Abzählbarkeit rationaler Zahlen

Eine Technik zum Lösen partieller Differentialgleichungen (PDE) erster und hyperbolischer zweiter Ordnung. Die Methode reduziert eine PDE auf eine Familie gewöhnlicher Differentialgleichungen (ODEs) entlang bestimmter Kurven, sogenannter „Charakteristiken“. Entlang dieser Kurven vereinfacht sich die PDE, sodass die Lösung durch Integration des Systems der ODEs gefunden werden kann. Diese Methode ist besonders leistungsfähig bei Problemen im Zusammenhang mit Transport und Wellenausbreitung.

Eine direkte Folge des Fundamentalsatzes der Algebra ist, dass jedes nichtkonstante Polynom mit reellen Koeffizienten in ein Produkt aus linearen Faktoren und irreduziblen quadratischen Faktoren zerlegt werden kann, die alle reelle Koeffizienten haben. Die linearen Faktoren entsprechen den reellen Wurzeln, während die irreduziblen quadratischen Faktoren den Paaren komplexer konjugierter Wurzeln [latex]a \pm bi[/latex] entsprechen.

Eine transzendente Zahl ist eine reelle oder komplexe Zahl, die nicht algebraisch ist, d. h. sie ist keine Wurzel einer Polynomgleichung ungleich Null mit ganzzahligen (oder rationalen) Koeffizienten. Alle transzendentalen Zahlen sind irrational, aber nicht alle irrationalen Zahlen sind transzendent (z. B. ist [latex]\sqrt{2}[/latex] irrational, aber algebraisch, da es eine Wurzel von [latex]x^2 - 2 = 0[/latex] ist).

Der Hilbertsche Nullstellensatz stellt eine grundlegende Korrespondenz zwischen Geometrie und Algebra her. Er besagt, dass für ein algebraisch geschlossenes Feld [latex]k[/latex], wenn ein Polynom [latex]p[/latex] auf der Nullstellenmenge eines Ideals [latex]I[/latex] verschwindet, eine Potenz von [latex]p[/latex] zu [latex]I[/latex] gehören muss. Formal ist [latex]I(V(I)) = \sqrt{I}[/latex], das Radikal von [latex]I[/latex].

Eine affine Varietät ist die Menge der Punkte in einem affinen Raum, deren Koordinaten die gemeinsamen Nullstellen einer endlichen Menge von Polynomen sind. Für eine Menge von Polynomen [latex]S = \{f_1, \dots, f_k\}[/latex] in einem Polynomring [latex]k[x_1, \dots, x_n][/latex] ist die entsprechende affine Varietät [latex]V(S) = \{x \in k^n | f(x) = 0 \text{ for all } f \in S\}[/latex]. Sie ist ein zentraler Untersuchungsgegenstand der klassischen algebraischen Geometrie.

Das Bézout-Theorem ist eine grundlegende Aussage der Schnittpunkttheorie. Es besagt, dass die Anzahl der Schnittpunkte zweier ebener algebraischer Kurven mit den Graden [latex]m[/latex] und [latex]n[/latex] genau [latex]mn[/latex] beträgt, vorausgesetzt, man arbeitet in einer projektiven Ebene über einem algebraisch geschlossenen Feld, zählt Punkte mit Vielfachheit und schließt Punkte im Unendlichen ein, an denen sich parallele Asymptoten treffen.

Der Fundamentalsatz der Algebra besagt, dass jedes nichtkonstante einstellige Polynom mit komplexen Koeffizienten mindestens eine komplexe Wurzel hat. Dies garantiert, dass der Bereich der komplexen Zahlen algebraisch abgeschlossen ist, was bedeutet, dass Polynomgleichungen, die mit reellen Zahlen nicht gelöst werden können, mit komplexen Zahlen gelöst werden können. Für ein Polynom [latex]p(z) = a_n z^n + \dots + a_1 z + a_0[/latex] gibt es ein [latex]z_0 in \mathbb{C}[/latex], sodass [latex]p(z_0) = 0[/latex] gilt.

Dieses Theorem besagt, dass jede ganze Zahl größer als 1 entweder eine Primzahl ist oder eindeutig als Produkt von Primzahlen dargestellt werden kann, wobei die Reihenfolge der Faktoren nicht berücksichtigt wird. Zum Beispiel: [latex]1200 = 2^4 \mal 3^1 \mal 5^2[/latex]. Diese eindeutige Faktorisierung ist ein Eckpfeiler der Zahlentheorie, da sie eine grundlegende multiplikative Struktur für die ganzen Zahlen liefert.

Die kanonische Darstellung oder Standardform einer positiven ganzen Zahl [latex]n[/latex] ist ihre eindeutige Primfaktorzerlegung, geschrieben als Produkt von Primzahlpotenzen mit den Primzahlen in aufsteigender Reihenfolge. Für jede ganze Zahl [latex]n > 1[/latex] kann sie geschrieben werden als [latex]n = p_1^{a_1} p_2^{a_2} \cdots p_k^{a_k}[/latex] geschrieben werden, wobei [latex]p_1 < p_2 < \cdots < p_k[/latex] Primzahlen und die Exponenten [latex]a_i[/latex] positive ganze Zahlen sind.

Ein grundlegender Existenz- und Eindeutigkeitssatz für partielle Differentialgleichungen im Zusammenhang mit Cauchy-Anfangswertproblemen. Er besagt, dass, wenn die partielle Differentialgleichung und die Anfangsbedingungen „analytisch“ sind (durch konvergente Potenzreihen darstellbar), eine eindeutige analytische Lösung in einer Umgebung der Anfangsfläche existiert. Er bietet eine lokale Existenzgarantie, berücksichtigt jedoch nicht das globale Verhalten oder die Wohlgestelltheit.

Für eine Primzahl [latex]p[/latex] bilden die p-adischen Zahlen eine Erweiterung der rationalen Zahlen, die sich topologisch von den reellen Zahlen unterscheidet. Während reelle Zahlen eine Vervollständigung von [latex]\mathbb{Q}[/latex] in Bezug auf die übliche Absolutwertmetrik sind, sind die p-adischen Zahlen die Vervollständigung von [latex]\mathbb{Q}[/latex] in Bezug auf die p-adische Metrik, wobei Zahlen "klein" sind, wenn sie durch eine hohe Potenz von [latex]p[/latex] teilbar sind.

Die Sheaf-Kohomologie ist ein zentrales Instrument der modernen algebraischen Geometrie zur Untersuchung globaler Eigenschaften geometrischer Räume. Für eine Garbe [latex]\mathcal{F}[/latex] auf einem Raum [latex]X[/latex] sind die Kohomologiegruppen [latex]H^i(X, \mathcal{F})[/latex] Vektorräume, deren Dimensionen wichtige Invarianten liefern. Die Gruppe [latex]H^0[/latex] repräsentiert globale Schnitte, während höhere Gruppen [latex]H^i[/latex] für [latex]i > 0[/latex] die Hindernisse messen, die dem Zusammenfügen lokaler Schnitte zu einem globalen Schnitt entgegenstehen.