Kurs:Algebraische Kurven (Osnabrück 2008)/Vorlesung 1/latex
\setcounter{section}{1}
\zwischenueberschrift{Algebraische Kurven – Einige Beispiele}
Was ist eine algebraische Kurve? Zum Beispiel das, was auf den folgenden schönen Bildern zu sehen ist:
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Linear_function.svg} }
\end{center}
\bildtext {} }
\bildlizenz { Linear function.svg } {} {Luks} {Commons} {PD} {}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Polynomialdeg4.png} }
\end{center}
\bildtext {} }
\bildlizenz { Polynomialdeg4.png } {} {Derbeth} {Commons} {CC-BY-SA-2.5} {}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {RationalDegree2byXedi.gif} }
\end{center}
\bildtext {} }
\bildlizenz { RationalDegree2byXedi.gif } {Sam Derbyshire} {Ylebru} {en-wikipedia.org} {CC-BY-SA-3.0} {}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Disk 1.svg} }
\end{center}
\bildtext {} }
\bildlizenz { Disk 1.svg } {} {Paris 16} {Commons} {CC-BY-SA-4.0} {}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Ellipse.svg} }
\end{center}
\bildtext {} }
\bildlizenz { Ellipse.svg } {} {Zorgit} {Commons} {CC-BY-SA-3.0} {}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Cusp.png} }
\end{center}
\bildtext {} }
\bildlizenz { Cusp.png } {} {Satipatthana} {Commons} {PD} {}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Elliptic_curve_simple.svg} }
\end{center}
\bildtext {} }
\bildlizenz { Elliptic curve simple.svg } {Sean κ.} {Giro720} {en-wikipedia.org} {CC-BY-SA-3.0} {}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Tschirnhausen_cubic.svg} }
\end{center}
\bildtext {} }
\bildlizenz { Tschirnhausen cubic.svg } {Oleg Alexandrov} {Oleg Alexandrov} {Commons} {PD} {}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Eudoxus.png} }
\end{center}
\bildtext {} }
\bildlizenz { Eudoxus.png } {Donald Hosek} {Oleg Alexandrov} {Commons} {PD} {}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Conchoid_of_Pascal.png} }
\end{center}
\bildtext {} }
\bildlizenz { Conchoid of Pascal.png } {} {Luke33} {Commons} {PD} {}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Bifolium.png} }
\end{center}
\bildtext {} }
\bildlizenz { Bifolium.png } {Oleg Alexandrov} {Oleg Alexandrov} {Commons} {PD} {}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Limacon.png} }
\end{center}
\bildtext {} }
\bildlizenz { Limacon.png } {} {Berto} {Commons} {PD} {}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Quadrifolium.svg} }
\end{center}
\bildtext {} }
\bildlizenz { Quadrifolium.svg } {} {Gunther} {Commons} {PD} {}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Lemniscate_of_Bernoulli.svg} }
\end{center}
\bildtext {} }
\bildlizenz { Lemniscate of Bernoulli.svg } {} {Zorgit} {Commons} {CC-BY-SA-3.0} {}
Nun kann man natürlich viel malen. Schön sind auch die folgenden Kurven, doch das sind keine algebraischen Kurven:
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Cicloide.svg} }
\end{center}
\bildtext {} }
\bildlizenz { Cicloide.svg } {} {Elborgo} {Commons} {CC-BY-SA-2.5} {}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Logarithmic_spiral.png} }
\end{center}
\bildtext {} }
\bildlizenz { Logarithmic spiral.png } {} {Anarkman} {en.wikipedia.org} {CC-BY-SA-3.0} {}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Sin.svg} }
\end{center}
\bildtext {} }
\bildlizenz { Sin.svg } {Keytotime} {Ysae} {Commons} {PD} {}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Quadratic_Koch.png} }
\end{center}
\bildtext {} }
\bildlizenz { Quadratic Koch.png } {Alexis Monnerot-Dumaine} {Prokofiev} {Commons} {CC-BY-SA-2.5} {}
Das \anfuehrung{algebraisch}{} in algebraische Kurve kommt daher, dass zu ihrer Definition nur algebraische Operationen verwendet werden dürfen, d.h. Addition und Multiplikation, nicht aber analytische Prozesse wie Limes nehmen, unendliche Summen, Approximieren, Differenzieren und Integrieren. Die erlaubten Abbildungen in unserem Kontext sind durch Polynome in mehreren Variablen gegeben. In den obigen Bildern geht es um ebene algebraische Kurven, die durch ein Polynom in zwei Variablen definiert werden. Die beiden ersten Bilder sind \stichwort {Graphen} {} zu einer polynomialen Funktion in einer Variablen, sie werden beschrieben durch
\mathdisp {Y=P(X)} { }
wobei im ersten Bild
\mathl{P(X)=X}{} ist
\zusatzklammer {es liegt also ein lineares Polynom vor} {} {}
und im zweiten Bild etwas wie
\mathdisp {P(X)=a_4X^4+a_3X^3+a_2X^2+a_1X+a_0} { }
mit gewissen Koeffizienten $a_i$ aus einem Körper $K$ vorliegt. In der algebraischen Geometrie fixiert man einen \stichwort {Grundkörper} {} $K$. Wichtige Körper sind für uns die \stichwort {reellen Zahlen} {}
\zusatzklammer {insbesondere sind die Bilder so zu verstehen} {!} {} oder die \stichwort {komplexen Zahlen} {} ${\mathbb C}$. Ein solcher Graph ist insofern ein einfaches Gebilde, dass es zu jedem Wert für $X$ genau einen Wert für $Y$
\zusatzklammer {den Funktionswert} {} {} gibt, und den man auch noch einfach ausrechnen kann, wenn man im gegebenen Körper rechnen kann. Der Graph ist in gewissem Sinne eine \anfuehrung{gebogene}{} Kopie der Grundlinie, der $X$-Achse.
Betrachten wir das dritte Bild. Das ist der Graph einer \stichwort {rationalen Abbildung} {,} d.h. man hat zwei Polynome $P,Q$ in einer Variablen $X$ und schaut sich den Quotienten
\mathl{\frac{P(X)}{Q(X)}}{} an. Dieser Ausdruck macht nur dort Sinn, wo der Nenner nicht null ist. An den Nullstellen des Nennerpolynoms ist die rationale Funktion nicht definiert
\zusatzklammer {wenn Nenner und Zähler an der gleichen Stelle beide null sind, so kann man durch kürzen manchmal erreichen, dass der Quotient auch an dieser Stelle einen Sinn bekommt} {} {.}
Wenn der Nenner null ist, der Zähler aber nicht, so ist die Undefiniertheitsstelle ein \anfuehrung{Pol}{}
\zusatzgs {der reelle Graph strebt nach $+ \infty$ bzw. $-\infty$} {}
Es ist verlockend zu sagen, dass der Wert der rationalen Funktion an diesen undefinierten Stellen \anfuehrung{unendlich}{} ist, und im Kontext der projektiven Geometrie macht das durchaus Sinn, wie wir später sehen werden. Die \anfuehrung{Graphengleichung}{}
\mathl{Y=\frac{P(X)}{Q(X)}}{} ist jedenfalls wegen den Undefinierbarkeitsstellen keine optimale Beschreibung für die Kurve. Wenn man sie hingegen mit dem Nenner multipliziert, so erhält man die Bedingung (oder \stichwort {Gleichung} {})
\mathdisp {Y Q(X) = P(X) \text{ bzw. genauer } { \left\{ (x,y) \in K^2 \mid yQ(x) = P(x) \right\} }} { , }
in der links und rechts wohldefinierte Polynome stehen. Die \stichwort {Erfüllungsmenge} {}
\zusatzklammer {oder \stichwort {Lösungsmenge} {}} {} {}
ist eindeutig definiert, wobei bei
\mathl{Q(x)=0}{} für ein bestimmtes $x$ die linke Seite null ist, und es dann dort bei
\mathl{P(x) \neq 0}{} keine Lösung gibt
\zusatzklammer {wie im Bild} {} {} und bei
\mathl{P(x)=0}{} jeder $Y$-Wert erlaubt ist. In letzterem Fall gehört also eine zur $X$-Achse senkrechte Gerade durch
\mathl{(x,0)}{} zu dem Gebilde.
\inputbeispiel{}
{
Ein typisches und wichtiges Beispiel für eine rationale Funktion ist
\mavergleichskette
{\vergleichskette
{ Y
}
{ = }{ 1/X
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Den zugehörigen Graphen nennt man
\definitionswortenp{Hyperbel}{} $H$. Nennerfrei geschrieben ergibt sich die Gleichung
\mathdisp {XY=1 \text{ bzw. } H = { \left\{ (x,y) \mid xy = 1 \right\} }} { . }
Diese rationale Funktion ist auf
\mathl{K^\times= K \setminus \{0\}}{} eine echte Funktion
\zusatzklammer {mit $H$ als Graphen} {} {}
und stiftet eine \anfuehrung{natürliche}{} Bijektion
\maabbeledisp {} {K^{\times}} {H
} {x} {{ \left( x,{ \frac{ 1 }{ x } } \right) }
} {.}
$K^\times$ und $H$ sind also in einem später zu präzisierenden Sinn \anfuehrung{äquivalent}{} oder \anfuehrung{isomorph}{.}
Beide Beschreibungen haben etwas für sich. Die Beschreibung als
\mathl{K^\times \subset K}{} spielt sich auf einer Geraden ab
\zusatzklammer {wenn man an
\mathl{K=\R}{} denkt} {} {,}
dafür gehört der Punkt $0$, der ein \stichwort {Häufungspunkt} {} von $K^\times$ ist, nicht zu $K^\times$. D.h., $K^\times$ ist nicht \stichwort {abgeschlossen} {.} Dagegen ist die Hyperbel in $\R^2$ abgeschlossen, für die abgeschlossene Realisierung muss man also in eine höhere Dimension gehen. Die Frage, was eine gute Beschreibung für ein Objekt der algebraischen Geometrie ist, wird immer wieder auftauchen.
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Rectangular_hyperbola.svg} }
\end{center}
\bildtext {} }
\bildlizenz { Rectangular hyperbola.svg } {} {Qef} {Commons} {PD} {}
Im reellen Fall, also bei
\mathl{K=\R}{,} besteht
\mathl{\R^\times}{}
\zusatzklammer {und entsprechend \mathlk{H_{\R}}{}} {} {}
aus zwei disjunkten \anfuehrung{Zweigen}{}, ist also nicht \stichwort {zusammenhängend} {.} Im komplexen Fall, also bei
\mathl{K=\Complex}{,} ist
\mathl{\Complex^\times}{}
\zusatzklammer {und entsprechend \mathlk{H_{\Complex}}{}} {} {}
eine punktierte reelle Ebene, also zusammenhängend. Dies ist ein typisches Phänomen der algebraischen Geometrie, dass wichtige Eigenschaften vom Grundkörper abhängen. Besonders wichtig sind dann aber Eigenschaften, die nur von den beschreibenden Gleichungen abhängen und für die Lösungsmengen zu allen Körpern gelten.
}
Das vierte Bild ist ein \stichwort {Kreis} {,} seine Gleichung ist
\mathdisp {K={ \left\{ (x,y) \mid x^2+y^2 = r^2 \right\} }} { , }
wobei $r$ den Radius des Kreises bezeichnet. Schon das Bild zeigt, dass dieses Gebilde nicht der Graph einer Funktion
\zusatzklammer {Abbildung} {} {}
sein kann, da bei einem Graphen zu einem $x$-Wert stets genau ein $y$-Wert gehört. Man kann aber keine Funktion finden mit
\mathl{y=\varphi(x)}{} und
\mathl{K={ \left\{ (x,\varphi(x)) \mid x \in \R \right\} }}{.}
Die Frage, ob man ein algebraisches Lösungsgebilde als einen Graphen realisieren kann, ist äquivalent dazu, ob man die definierende Gleichung nach $y$ \anfuehrung{auflösen}{} kann. Im Beispiel kann man
\mathl{y^2=r^2-x^2}{} und damit
\mathdisp {y= \sqrt{r^2-x^2} = \sqrt{(r-x)(r+x)}} { }
schreiben. Ist es also doch ein Graph? Hier gibt es zwei Interpretationen:
\auflistungzwei{Wenn man sich auf reelle Zahlen und auf positive Wurzeln beschränkt, so hat man im letzten Schritt keine Äquivalenzumformung durchgeführt, und Information \anfuehrung{hinzugefügt}{,} die in der ursprünglichen Gleichung nicht vorhanden war. Die positive Wurzel zu nehmen bedeutet, sich auf den oberen Halbkreis zu beschränken (Information, also Bedingungen hinzufügen, bewirkt, dass die Lösungsmenge verkleinert wird).
}{Wenn man stattdessen unter $\sqrt{\, }$ alle Lösungen berücksichtigt
\zusatzklammer {d.h. im Reellen die positive und die negative Quadratwurzel, was man häufig als $\pm \sqrt{\, }$ schreibt} {} {,}
so hat man keine Information dazugetan, aber auch nicht nach einer Funktion aufgelöst
\zusatzklammer {sondern nur, wie man manchmal sagt, nach einer \anfuehrung{mehrwertigen Funktion}{}} {} {}
}
Beide Standpunkte haben etwas für sich. Dass man für einen Teil des geometrischen Objektes
\zusatzklammer {dem oberen Halbbogen} {} {} versucht, eine einfache Beschreibung als Graph zu finden, kehrt im Satz über implizite Funktionen, im Potenzreihenansatz, in Parametrisierungen und in der lokalen Theorie wieder.
\zwischenueberschrift{Gleichungen der Form
\mathl{Y^2=G(X)}{} }
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Newtonbig.gif} }
\end{center}
\bildtext {} }
\bildlizenz { Newtonbig.gif } {} {Pokipsy76} {Commons} {CC-BY-SA-3.0} {}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {GodfreyKneller-IsaacNewton-1689.jpg} }
\end{center}
\bildtext {Isaac Newton (1643–1727)} }
\bildlizenz { GodfreyKneller-IsaacNewton-1689.jpg } {Godfrey Kneller} {} {Commons} {PD} {}
Eine Kreisgleichung kann man auffassen als eine Gleichung der Form
\mathdisp {Y^2=G(X)} { , }
wobei $G$ ein Polynom in der einen Variablen $X$ bezeichnet
\zusatzklammer {im Fall eines Kreises ist \mathlk{G=-X^2+1}{}} {} {.}
Das ist kein Graph, aber die \anfuehrung{Wurzel}{} eines Graphen. Betrachten wir generell eine solche Situation, wo
\mathl{G(X)}{} komplizierter sein darf. Das Nullstellengebilde repräsentiert hier die Quadratwurzel
\mathl{\sqrt{G(X)}}{.} Wenn man sich für $X$ einen beliebigen Wert $x$ vorgibt, so gibt es
\zusatzklammer {im Reellen} {} {}
drei Möglichkeiten für zugehörige Lösungen:
\auflistungdrei{Wenn
\mathl{G(x)}{} negativ ist, so gibt es keine Lösung.
}{Wenn
\mathl{G(x)=0}{} ist, so gibt es genau die Lösung
\mathl{y=0}{.}
}{Wenn
\mathl{G(x)}{} positiv ist, so gibt es die beiden Lösungen
\mathl{y= \pm \sqrt{G(x)}}{.}
}
Das gibt auch einen Ansatz, wie das reelle Bild aussieht: Für jedes $x$ berechnet man $G(x)$ und markiert bei
\mathl{(x, \sqrt{G(x)})}{}
\zusatzklammer {falls die Wurzel nichtnegativ ist} {} {} einen Punkt.
Im Komplexen sind nur die Fälle
\mathl{G(x)=0}{} oder
\mathl{G(x) \neq 0}{} zu unterscheiden. Wenn $G$ selbst nur den Grad zwei besitzt, so handelt es sich um einen \stichwort {Kegelschnitt} {,} die schon in der Antike betrachtet wurden. Mit dem Fall, dass $G(X)$ ein kubisches
\zusatzklammer {reelles} {} {} Polynom ist
\zusatzklammer {also den Grad drei besitzt} {} {,} hat sich Isaac Newton intensiv beschäftigt. Dieses Beispielmaterial ist schon sehr reichhaltig.
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {ECexamples01.png} }
\end{center}
\bildtext {} }
\bildlizenz { ECexamples01.png } {} {Dake} {Commons} {CC-BY-SA-3.0} {}
Betrachten wir den Fall
\mathl{G(X)=X^3}{,} also das durch
\mathdisp {{ \left\{ (x,y) \mid y^2=x^3 \right\} }} { }
beschriebene Gebilde. Dieses Gebilde nennt man die \stichwort {Neilsche Parabel} {.} Hier tritt ein neues Phänomen auf, nämlich, dass der Nullpunkt anders ist als alle anderen Punkte. Man spricht von einer \stichwort {Singularität} {;} im Gegensatz dazu nennt man die anderen Punkte \stichwort {glatt} {} oder \stichwort {nicht-singulär} {.} Eine genaue Definition zu geben ist Teil dieses Kurses, als erste ungenaue Formulierung kann man sagen, dass eine Kurve in einem glatten Punkt lokal und in geeigneten Koordinaten so aussieht wie der
\zusatzklammer {gedrehte} {} {} Graph einer differenzierbaren Funktion.
Die Singularität in der Neilschen Parabel nennt man auch eine \stichwort {Spitze} {}
\zusatzklammer {oder eine \stichwort {Kuspe} {,} was einfach Spitze bedeutet} {} {.} Dagegen ist die Singularität im Bild 8 ein \stichwort {Kreuzungspunkt} {} oder \stichwort {Doppelpunkt} {.}
Im Bild 7 vom Anfang und oben sieht man ebenfalls Nullstellengebilde der Form
\mathl{Y^2=G(X)}{,} wobei $G(X)$ ein Polynom vom Grad drei ist. Wie sieht $G(X)$ aus, damit sich solch eine Kurve ergibt? Die zuletzt genannten Beispiele zeigen auch, dass es von der genauen Gestalt von $G(X)$ abhängt, ob die Kurve eine Singularität besitzt oder nicht.
Bleiben wir noch bei der Neilschen Parabel $C$. Wenn $t$ irgendeine reelle oder komplexe Zahl ist, so liegt der Punkt mit den Koordinaten
\mathl{(x,y)= (t^2,t^3)}{} stets auf der Neilschen Parabel, da ja
\mathl{(t^2)^3=t^6=(t^3)^2}{} ist. Man kann auch umgekehrt zeigen, dass jeder Punkt der Neilschen Parabel eine solche Gestalt besitzt, dass es also zu
\mathl{(x,y)}{} mit
\mathl{y^2=x^3}{} ein
\zusatzklammer {und zwar genau ein} {} {} $t$ gibt mit
\mathl{(x,y)= (t^2,t^3)}{.} Man sagt, dass die Abbildung
\maabbeledisp {} {\R} {C
} {t} {(t^2,t^3)
} {,}
eine
\zusatzklammer {bijektive polynomiale} {} {} \stichwort {Parametrisierung} {} der Neilschen Parabel ist. Es ist eine nicht-triviale Frage, welche algebraischen Kurven eine polynomiale Parametrisierung besitzen. Eine Kurve der Form
\mathl{Y^2=G(X)}{,} die glatt ist und wo $G$ den Grad drei hat, besitzt keine solche Parametrisierung. In der elementaren Zahlentheorie lernt man, dass alle \stichwort {pythagoreischen Tripel} {} auf eine einfache übersichtliche Gestalt gebracht werden können. Äquivalent dazu ist eine
\zusatzklammer {rationale} {} {} Parametrisierung des rationalen Einheitskreises. Siehe Kurs:Zahlentheorie (Osnabrück 2008)/Vorlesung 10.
Wir kommen zur ersten allgemeinen Definition.
\inputdefinition
{}
{
Es sei $K$ ein
\definitionsverweis {Körper}{}{.}
Eine \definitionswort {ebene affin-algebraische Kurve}{} über $K$ ist das
\definitionsverweis {Nullstellengebilde}{}{}
\mavergleichskette
{\vergleichskette
{V(F)
}
{ \subseteq }{K^2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eines nicht-konstanten Polynoms $F$ in zwei Variablen, also
\mathdisp {F=\sum_{0 \leq i,j \leq m} \, a_{ij} X^{i}Y^{j} \, (\text{mit } a_{ij} \in K)} { . }
D.h. es ist
\mavergleichskettedisphandlinks
{\vergleichskettedisphandlinks
{ V(F)
}
{ =} { { \left\{ (x,y) \in K^2 \mid F(x,y) = \sum_{0 \leq i,j \leq m} \, a_{ij} x^{i}y^{j} = 0 \right\} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}
Noch ein Lemma, aus dem folgt, dass die oben zuletzt angeführten Kurven nicht algebraisch sind.
\inputfaktbeweis
{Ebene algebraische Kurven/Schnitt mit Geraden/Ist endlich oder voll/Fakt}
{Lemma}
{}
{
Es sei $C$ eine
\definitionsverweis {ebene affin-algebraische Kurve}{}{}
und sei $L$ eine Gerade in $K^2$. Dann ist der Durchschnitt
\mathl{C \cap L}{} die ganze Gerade, oder er besteht nur aus endlich vielen Punkten.
}
{
Eine ebene algebraische Kurve
\mavergleichskette
{\vergleichskette
{C
}
{ = }{V(F)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist nach Definition immer die Nullstelle eines Polynoms $F$ in zwei Variablen. Die Gerade $L$ sei durch die Gleichung
\mavergleichskette
{\vergleichskette
{ aX+bY+c
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gegeben. Ohne Einschränkung sei
\mavergleichskette
{\vergleichskette
{a
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
dann kann man nach $X$ auflösen und erhält die Geradengleichung
\mavergleichskette
{\vergleichskette
{X
}
{ = }{ \alpha Y + \beta
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Ein Schnittpunkt
\mavergleichskette
{\vergleichskette
{P
}
{ \in }{ C \cap L
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
muss sowohl
\mavergleichskette
{\vergleichskette
{ F(P)
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
als auch die Geradengleichung erfüllen. Mit der Geradengleichung kann man $X$ in $F$ durch
\mathl{\alpha Y + \beta}{} ersetzen. Dadurch wird $F$ zu einem Polynom in der einen Variablen $Y$, das wir $\tilde{F}$ nennen. Dann ist
\mavergleichskette
{\vergleichskette
{P
}
{ \in }{ C \cap L
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
äquivalent dazu, dass
\mavergleichskette
{\vergleichskette
{P
}
{ \in }{L
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{ \tilde{F}(P)
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist. D.h. die Schnittmenge wird durch das Polynom $\tilde{F}$ beschrieben. Bei
\mavergleichskette
{\vergleichskette
{ \tilde{F}
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist die ganze Gerade der Schnitt. Bei
\mavergleichskette
{\vergleichskette
{ \tilde{F}
}
{ \neq }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gibt es nach
Fakt *****
nur endlich viele Nullstellen.
In den obigen Beispielen gibt es aber Geraden, die die Kurven in unendlich vielen Punkten schneiden – deshalb sind sie nicht algebraisch.
\zwischenueberschrift{Polynomringe}
Nach diesen einführenden Beispielen fixieren wir ein paar Begrifflichkeiten, die wahrscheinlich schon bekannt sind.
\inputdefinition
{}
{
Der \definitionswort {Polynomring}{} über einem
\definitionsverweis {kommutativen Ring}{}{}
$R$ besteht aus allen
\definitionswortenp{Polynomen}{}
\mathbedtermdisp { P=a_0 + a_1X+a_2X^2 + \cdots + a_nX^n }
{ mit } { a_i \in R, \, i = 0 , \ldots , n }
{ } { n \in \N } { } { } { , }
und mit komponentenweiser Addition und einer Multiplikation, die durch distributive Fortsetzung der Regel
\mavergleichskettedisp
{\vergleichskette
{ X^n \cdot X^m
}
{ \defeq} { X^{n+m}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
definiert ist.
}
Darauf aufbauend kann man auch Polynomringe in mehreren Variablen definieren. Man setzt
\mathdisp {K[X,Y] \defeq (K[X] )[Y], \, K[X,Y,Z] \defeq (K[X,Y])[Z]} { , }
etc. Ein Polynom in $n$ Variablen hat die Gestalt
\mathdisp {F=\sum_{(\nu_1, \ldots ,\nu_n)} a_{(\nu_1, \ldots ,\nu_n)} X_1^{\nu_1} \cdots X_n^{\nu_n}} { . }
Es wird dabei summiert über eine endliche Summe von \stichwort {Exponententupel} {}
\mathl{(\nu_1, \ldots ,\nu_n)}{.} Die Ausdrücke
\mathl{X_1^{\nu_1} \cdots X_n^{\nu_n}}{} nennt man auch \stichwort {Monome} {.} Ein Polynom schreibt man zumeist abkürzend als
\mathl{F=\sum_{\nu} a_{\nu} X^{\nu}}{.} Das Produkt von zwei Monomen bedeutet Addition der Exponententupel, also
\mathdisp {(X_1^{\nu_1} \cdots X_n^{\nu_n}) \cdot (X_1^{\mu_1} \cdots X_n^{\mu_n}) :=X_1^{\nu_1+\mu_1} \cdots X_n^{\nu_n+ \mu_n}} { . }
Für uns, im Kontext der algebraischen Geometrie, ist hauptsächlich der Fall interessant, wo der Grundring $R$ ein Körper ist. In der algebraischen Geometrie interessiert man sich für die Gestalt von Nullstellengebilden von Polynomen in mehreren Variablen. Wir werden später sehen, dass die Beziehung zwischen algebraischen und geometrischen Eigenschaften besonders stark ist, wenn der Grundkörper algebraisch abgeschlossen ist.
\inputdefinition
{}
{
Ein
\definitionsverweis {Körper}{}{}
$K$ heißt \definitionswort {algebraisch abgeschlossen}{,} wenn jedes nichtkonstante
\definitionsverweis {Polynom}{}{}
\mavergleichskette
{\vergleichskette
{F
}
{ \in }{K[X]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine Nullstelle in $K$ besitzt.
}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Carl_Friedrich_Gauss.jpg} }
\end{center}
\bildtext {Carl Friedrich Gauss (1777–1855)} }
\bildlizenz { Carl Friedrich Gauss.jpg } {} {Bcrowell} {Commons} {PD} {}
{Fundamentalsatz der Algebra/Algebraisch abgeschlossen/Fakt}
{Satz}
{}
{
Der \definitionsverweis {Körper}{}{} $\mathbb C$ der \definitionsverweis {komplexen Zahlen}{}{} ist \definitionsverweis {algebraisch abgeschlossen}{}{.}
}}
{Wir werden den Satz hier nicht beweisen. Die Beweise dafür benutzen topologische oder analytische Mittel.
Der Fundamentalsatz der Algebra wurde erstmals von Gauss bewiesen.