Algebraische Menge

In der Mathematik, genauer in der Algebraischen Geometrie, ist eine algebraische Menge ein Gebilde in der Ebene, im Raum, oder allgemeiner im n-dimensionalen Raum, die durch eine oder mehrere Polynomgleichungen gegeben ist. Das heißt, eine algebraische Menge ist die Lösungsmenge eines Systems von Polynomgleichungen.

Im dreidimensionalen Raum zum Beispiel ist der Kreis in der Ebene z=1 mit Mittelpunkt (0,0,1) und Radius 2 eine algebraische Menge, denn es handelt sich um die Lösungsmenge der beiden Gleichungen {\displaystyle x^{2}+y^{2}=4} und z=1.

In älteren Quellen und auch in einigen modernen Einführungen werden algebraische Mengen auch Varietäten genannt. Nach dem modernen Gebrauch aber gelten nur die irreduziblen algebraischen Mengen als Varietäten.

Definition

Sei k ein Körper, und seien {\displaystyle f_{1},f_{2},\ldots ,f_{s}} Elemente des Polynomrings {\displaystyle k[X_{1},X_{2},\ldots ,X_{n}]} in n Unbestimmten. Die Verschwindungsmenge {\displaystyle V(f_{1},f_{2},\ldots ,f_{s})} dieser Polynome ist dann die Teilmenge von k^{n} gegeben durch

{\displaystyle V(f_{1},f_{2},\ldots ,f_{s})=\{P\in k^{n}\mid f_{1}(P)=f_{2}(P)=\cdots =f_{s}(P)=0\}\,.}

Eine Teilmenge {\displaystyle V\subseteq k^{n}} heißt affine algebraische Menge, wenn es Polynome {\displaystyle f_{1},f_{2},\ldots ,f_{s}} gibt derart, dass {\displaystyle V=V(f_{1},f_{2},\ldots ,f_{s})} gilt.

Zum Beispiel ist die Parabel y=x^{2} die algebraische Menge {\displaystyle V(Y-X^{2})\subseteq \mathbb {R} ^{2}}.

Ist allgemeiner T eine Menge von Polynomen aus {\displaystyle k[X_{1},X_{2},\ldots ,X_{n}]}, so setzt man {\displaystyle V(T)=\{P\in k^{n}\mid \forall \,f\in T:f(P)=0\}}. Nun sei {\displaystyle I\trianglelefteq k[X_{1},X_{2},\ldots ,X_{n}]} das durch T erzeugte Ideal. Man zeigt dann, dass {\displaystyle V(T)=V(I)} gilt. Nach dem Hilbertschen Basissatz ist wiederum das Ideal I durch endlich viele Polynome {\displaystyle g_{1},g_{2},\ldots ,g_{t}\in k[X_{1},X_{2},\ldots ,X_{n}]} erzeugt. Somit gilt {\displaystyle V(T)=V(I)=V(g_{1},g_{2},\ldots ,g_{t})}. Das heißt, jede algebraische Menge lässt sich durch endlich viele Polynome beschreiben.

Irreduzibilität

Eine algebraische Menge heißt irreduzibel, wenn sie sich nicht in einfachere Teile zerlegen lässt. Genauer ist eine algebraische Menge V irreduzibel, wenn V nicht leer ist und für jedes Paar algebraischer Mengen {\displaystyle U,W\subset V} mit

{\displaystyle U\cup W=V}

gilt, dass {\displaystyle U=V} oder W=V ist.

Mit anderen Worten: V ist eine irreduzible algebraische Menge, wenn V irreduzibel bezüglich der Zariski-Topologie ist.

Zum Beispiel ist {\displaystyle V(XY)\subseteq \mathbb {R} ^{2}} die Vereinigung der x-Achse {\displaystyle V(Y)} und der y-Achse V(X). Somit ist XY reduzibel.

Verschwindeideal

Ist V\subset k^n eine algebraische Menge, so ist ihr Verschwindeideal definiert als

{\displaystyle I(V):=\{f(X_{1},\ldots ,X_{n})\in k\left[X_{1},\ldots ,X_{n}\right]\mid \forall (\alpha _{1},\ldots ,\alpha _{n})\in V:f(\alpha _{1},\ldots ,\alpha _{n})=0\}}.

I(V) ist ein Radikal-Ideal, es gilt also {\displaystyle {\sqrt {I(V)}}=I(V)}.

Primideale

Nehmen wir jetzt an, dass der Körper k algebraisch abgeschlossen ist. Es stellt sich dann heraus, dass eine algebraische Menge genau dann irreduzibel ist, wenn ihr Verschwindeideal ein Primideal des Polynomrings ist. Ferner ist die Abbildung der Radikalideale auf Varietäten, gegeben durch J \to V(J) bijektiv. Die Umkehrabbildung ist gegeben durch {\displaystyle V\to I(V)}. Die Abbildungen tauschen Mengeninklusionen um; maximale Ideale entsprechen genau den Punkten des k^{n}. Dies ist eine Konsequenz aus dem Hilbertschen Nullstellensatz.

Im Falle eines von einem Polynom P\in K\left[x_1,\ldots,x_n\right] erzeugten Hauptideals I(X)=(P) ist (P) genau dann ein Primideal, wenn P ein irreduzibles Polynom ist, sich also nicht als Produkt nichtkonstanter Faktoren zerlegen lässt.

Zerlegung einer Varietät in irreduzible Komponenten

Jede algebraische Menge kann auf eindeutige Weise als endliche Vereinigung irreduzibler Untervarietäten X_{i} mit X_i\not\subset X_j für i\not= j dargestellt werden.

Beispiele

Trenner
Basierend auf einem Artikel in: Wikipedia.de
Seitenende
Seite zurück
©  biancahoegel.de
Datum der letzten Änderung:  Jena, den: 16.02. 2020