Kurs:Algebraische Kurven (Osnabrück 2017-2018)/Vorlesung 27/latex

Aus Wikiversity

\setcounter{section}{27}






\zwischenueberschrift{Der projektive Raum}






\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Loewenzahn_20.jpg} }
\end{center}
\bildtext {Die Geraden durch einen Punkt} }

\bildlizenz { Loewenzahn 20.jpg } {Waugsberg} {} {Commons} {CC-BY-SA-2.5} {}




\inputdefinition
{}
{

Es sei $K$ ein \definitionsverweis {Körper}{}{.} Der \definitionswort {projektive}{} $n$-\definitionswort {dimensionale Raum}{}
\mathl{{\mathbb P}^{n}_{K}}{} besteht aus allen Geraden des
\mathl{{ {\mathbb A}_{ K }^{ n+1 } }}{} durch den Nullpunkt, wobei diese Geraden als Punkte aufgefasst werden. Ein solcher Punkt wird repräsentiert durch \definitionswort {homogene Koordinaten}{}
\mathl{(a_0,a_1 , \ldots , a_n)}{,} wobei nicht alle
\mavergleichskette
{\vergleichskette
{a_i }
{ = }{ 0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} sein dürfen, und wobei zwei solche Koordinatentupel genau dann den gleichen Punkt repräsentieren, wenn sie durch Multiplikation mit einem Skalar
\mavergleichskette
{\vergleichskette
{ \lambda }
{ \in }{ K^{\times} }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ineinander übergehen.

}

Wir werden den projektiven Raum nach und nach mit zusätzlichen Strukturen versehen.





\inputfaktbeweis
{Der projektive Raum/Offene Standardüberdeckung mit affinen Räumen/Fakt}
{Satz}
{}
{

\faktsituation {}
\faktvoraussetzung {Es sei $K$ ein \definitionsverweis {Körper}{}{} und sei
\mathl{{\mathbb P}^{n}_{K}}{} ein \definitionsverweis {projektiver Raum}{}{.} Es sei
\mavergleichskette
{\vergleichskette
{i }
{ \in }{ \{ 0,1 , \ldots , n \} }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} fixiert.}
\faktfolgerung {Dann gibt es eine natürliche Abbildung \maabbeledisp {\varphi_i} { { {\mathbb A}_{ K }^{ n } } } { {\mathbb P}^{n}_{K} } {(u_1 , \ldots , u_n) } {(u_1 , \ldots , u_{i}, 1, u_{i+1} , \ldots , u_n) } {.} Diese Abbildung ist injektiv und induziert eine Bijektion zu denjenigen Punkten des projektiven Raumes, bei denen die $i$-te homogene Koordinate nicht $0$ ist. Die Umkehrabbildung wird durch \maabbeledisp {} {{\mathbb P}^{n}_{K} \supset D_+(X_i) \defeq { \left\{ (x_0,x_1 , \ldots ,x_n) \mid x_i \neq 0 \right\} }} { { {\mathbb A}_{ K }^{ n } } } {(x_0,x_1 , \ldots , x_n) } { { \left( \frac{x_0}{x_i}, \frac{x_1}{x_i} , \ldots , \frac{x_{i-1} }{x_i}, \frac{x_{i+1} }{x_i} , \ldots , \frac{x_{n} }{x_i} \right) } } {,} gegeben.}
\faktzusatz {Der projektive Raum wird überdeckt von diesen
\mathl{n+1}{} affinen Räumen. Das Komplement eines solchen affinen Raumes
\mavergleichskette
{\vergleichskette
{ { {\mathbb A}_{ K }^{ n } } }
{ \cong }{D_+(X_i) }
{ \subset }{ {\mathbb P}^{n}_{K} }
{ }{ }
{ }{ }
} {}{}{} ist ein
\mathl{(n-1)}{-}dimensionaler projektiver Raum.}
\faktzusatz {}

}
{

Die Abbildung ist offensichtlich wohldefiniert, da die $1$ sicher stellt, dass mindestens eine homogene Koordinate nicht $0$ ist. Die Abbildung ist injektiv, da aus einer Gleichung der Form \zusatzklammer {für homogene Koordinaten} {} {}
\mavergleichskettedisp
{\vergleichskette
{ (u_1 , \ldots , u_{i}, 1, u_{i+1} , \ldots , u_n) }
{ =} {\lambda (v_1 , \ldots , v_{i}, 1, v_{i+1} , \ldots , v_n) }
{ } { }
{ } { }
{ } { }
} {}{}{} sofort
\mavergleichskette
{\vergleichskette
{\lambda }
{ = }{1 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} wegen der $1$ folgt. Die Umkehrabbildung ist auf der angegebenen Teilmenge wohldefiniert, und ist invers zu der Abbildung. Die Überdeckungseigenschaft ist klar, da für jeden Punkt des projektiven Raumes mindestens eine homogene Koordinate nicht $0$ ist. Das Komplement zu
\mathl{D_+(X_i)}{} ist
\mavergleichskettedisp
{\vergleichskette
{ V_+(X_i) }
{ =} { { \left\{ (x_0,x_1 , \ldots , x_{i-1},0,x_{i+1} , \ldots , x_n) \mid x_j \in K , \, x_j \neq 0 \text{ für ein } j \right\} } }
{ } { }
{ } { }
{ } { }
} {}{}{} mit keinerlei weiteren Einschränkung an die übrigen $n$ Variablen und mit der Identifizierung von zwei solchen Tupeln, wenn sie durch Multiplikation mit einem Skalar ineinander übergehen.

}







\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Projektiveline1bb.jpg} }
\end{center}
\bildtext {} }

\bildlizenz { Projektiveline1bb.jpg } {Darapti} {} {Commons} {CC-BY-SA-3.0} {}







\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Projektiveline2bb.jpg} }
\end{center}
\bildtext {} }

\bildlizenz { Projektiveline2bb.jpg } {Darapti} {} {Commons} {CC-BY-SA-3.0} {}







\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Projektiveline3bb.jpg} }
\end{center}
\bildtext {} }

\bildlizenz { Projektiveline3bb.jpg } {Darapti} {} {Commons} {CC-BY-SA-3.0} {}





\inputbeispiel{}
{

Die projektive Gerade
\mathl{{\mathbb P}^{1}_{K}}{} ist als die Menge der Geraden durch den Nullpunkt in der affinen Ebene
\mathl{{\mathbb A}^{2}_{K}}{} gegeben. Eine solche Gerade ist entweder die $x$-Achse oder aber eine Gerade, die die Gerade
\mathl{V(y-1)}{} \zusatzklammer {also die zur $x$-Achse parallele Gerade durch \mathlk{(0,1)}{}} {} {} in genau einem Punkt schneidet. Umgekehrt liefert jeder Punkt
\mavergleichskette
{\vergleichskette
{P }
{ \in }{V(y-1) }
{ \cong }{{\mathbb A}^{1}_{K} }
{ }{ }
{ }{ }
} {}{}{} eine eindeutig bestimmte Gerade durch den Nullpunkt. D.h. die projektive Gerade besteht aus einer affinen Gerade und einem weiteren Punkt, den man den \anfuehrung{unendlich fernen}{} Punkt nennt. Wichtig ist dabei aber, dass dieser unendlich ferne Punkt nicht wesensverschieden von den anderen Punkten ist. Wenn man eine beliebige Gerade $G$ durch den Nullpunkt nimmt sowie eine dazu parallele Gerade
\mavergleichskette
{\vergleichskette
{L }
{ \neq }{G }
{ }{ }
{ }{ }
{ }{ }
} {}{}{,} so übernimmt $L$ die Rolle der affinen Geraden, und $G$ repräsentriert dann einen \zusatzklammer {von dieser affinen Geraden aus gesehen} {} {} unendlich fernen Punkt.


}






\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Projektiveplane1bb.jpg} }
\end{center}
\bildtext {} }

\bildlizenz { Projektiveplane1bb.jpg } {Darapti} {} {Commons} {CC-BY-SA-3.0} {}






\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Projektiveplane2bb.jpg} }
\end{center}
\bildtext {} }

\bildlizenz { Projektiveplane2bb.jpg } {Darapti} {} {Commons} {CC-BY-SA-3.0} {}






\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Projektiveplane3bb.jpg} }
\end{center}
\bildtext {} }

\bildlizenz { Projektiveplane3bb.jpg } {Darapti} {} {Commons} {CC-BY-SA-3.0} {}






\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Projektiveplane4bb.jpg} }
\end{center}
\bildtext {} }

\bildlizenz { Projektiveplane4bb.jpg } {Darapti} {} {Commons} {CC-BY-SA-3.0} {}





\inputbeispiel{}
{

Die Punkte in der projektiven Ebene
\mathl{{\mathbb P}^{2}_{K}}{} entsprechen den Geraden durch den Nullpunkt im affinen Raum
\mathl{{ {\mathbb A}_{ K }^{ 3 } }}{.} Jeder Punkt der projektiven Ebene wird repräsentiert durch ein Tupel
\mathl{(x,y,z)}{,} wobei nicht alle
\mathl{x,y,z}{} gleichzeitig $0$ sein dürfen und wobei zwei Koordinatentupel identifiziert werden, wenn sie durch Multiplikation mit einem Skalar
\mavergleichskette
{\vergleichskette
{\lambda }
{ \neq }{0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ineinander überführt werden können. Die projektive Ebene wird überdeckt durch drei affine Ebenen, nämlich
\mathdisp {D_+(X),\, D_+(Y) \text{ und } D_+(Z)} { . }
Dabei besteht
\mathl{D_+(Z)}{} aus allen Punkten, deren dritte Koordinate nicht $0$ ist. Durch Multiplikation mit $z^{-1}$ kann man diese Punkte mit
\mavergleichskettedisp
{\vergleichskette
{ \left( { \frac{ x }{ z } } , \, { \frac{ y }{ z } } , \, { \frac{ z }{ z } } \right) }
{ =} { \left( u , \, v , \, 1 \right) }
{ } { }
{ } { }
{ } { }
} {}{}{} identifizieren, so dass wirklich eine affine Ebene vorliegt. Das Komplement der affinen Ebene
\mathl{D_+(Z)}{} ist die Menge
\mathl{V_+(Z)}{} der Punkte, wo die dritte Komponente $0$ ist. Da man nach wie vor Punkte identifiziert, die durch Multiplikation mit einem Skalar ineinander überführbar sind, ist
\mathl{V_+(Z)}{} eine projektive Gerade. Ein Punkt
\mathl{(x,y,0)}{} auf dieser Geraden und der Nullpunkt
\mathl{(0,0,1)}{} von
\mathl{D_+(Z)}{} definieren die Gerade durch den Nullpunkt mit dem Richtungsvektor
\mathl{(x,y)}{} \zusatzklammer {und der homogenen Geradengleichung \mathkon { yX-xY=0 } { bzw. } { V_+(yX-xY) }{ }} {} {.} Man kann sich also die projektive Ebene gut vorstellen als eine affine Ebene, in der jede Gerade durch den Nullpunkt noch einen zusätzlichen \zusatzklammer {\anfuehrung{unendlich fernen}{}} {} {} Punkt definiert.


}






\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Perspective_Projection_Principle.jpg} }
\end{center}
\bildtext {} }

\bildlizenz { Perspective Projection Principle.jpg } {} {Fantagu} {Commons} {CC-BY-SA-3.0} {}


Zwischen dem affinen Raum
\mathl{{ {\mathbb A}_{ K }^{ n+1 } }}{} und dem projektiven Raum
\mathl{{\mathbb P}^{n}_{K}}{} gibt es keine natürliche Abbildung. Allerdings gibt es die sogenannte \stichwort {Kegelabbildung} {,} die auf dem punktierten
\mathl{(n+1)}{-}dimensionalen affinen Raum definiert ist.


\inputdefinition
{}
{

Die Abbildung \maabbeledisp {} {{ {\mathbb A}_{ K }^{ n+1 } } \setminus\{0\} } {{\mathbb P}^{n}_{K} } { \left( x_0 , \, x_1 , \, \ldots , \, x_n \right) } { \left( x_0 , \, x_1 , \, \ldots , \, x_n \right) } {,} die einem Punkt $\neq 0$ die durch diesen Punkt und den Nullpunkt bestimmte Gerade zuordnet, heißt \definitionswort {Kegelabbildung}{.}

} Die Kegelabbildung ist also in der Spitze des Kegels nicht definiert.






\zwischenueberschrift{Nullstellen von homogenen Polynomen}

Für ein beliebiges Polynom
\mavergleichskette
{\vergleichskette
{F }
{ \in }{ K[X_0 , \ldots , X_n] }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ergibt es keinen Sinn zu sagen, ob ein Punkt
\mavergleichskette
{\vergleichskette
{P }
{ \in }{ {\mathbb P}^{n}_{K} }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} eine Nullstelle davon ist, da diese Eigenschaft nicht invariant unter der Multiplikation mit einem Skalar ist und daher vom Repräsentanten von $P$ abhängt. Für \definitionsverweis {homogene Polynome}{}{} sieht das anders aus.





\inputfaktbeweis
{Der projektive Raum/Homogenes Polynom/Nullsein ist wohldefiniert/Fakt}
{Lemma}
{}
{

\faktsituation {}
\faktvoraussetzung {Es sei $K$ ein \definitionsverweis {Körper}{}{} und sei
\mavergleichskette
{\vergleichskette
{F }
{ \in }{ K[X_0 , \ldots , X_n] }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ein \definitionsverweis {homogenes Polynom}{}{} vom \definitionsverweis {Grad}{}{} $d$.}
\faktfolgerung {Dann gilt für einen Punkt
\mathl{\left( x_0 , \, \ldots , \, x_n \right)}{} und einen Skalar $\lambda$ die Beziehung
\mavergleichskettedisp
{\vergleichskette
{ F \left( \lambda x_0 , \, \ldots , \, \lambda x_n \right) }
{ =} { \lambda^d F \left( x_0 , \, \ldots , \, x_n \right) }
{ } { }
{ } { }
{ } { }
} {}{}{.}}
\faktzusatz {Insbesondere verschwindet $F$ in
\mathl{\left( x_0 , \, \ldots , \, x_n \right)}{} genau dann, wenn $F$ für ein beliebiges
\mavergleichskette
{\vergleichskette
{\lambda }
{ \neq }{0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} in
\mathl{\lambda \left( x_0 , \, \ldots , \, x_n \right)}{} verschwindet.}
\faktzusatz {}

}
{

Dies kann man auf den Fall eines \definitionsverweis {Monoms}{}{} vom Grad $d$ zurückführen. Für \mathkon { X_0^{d_0} \cdots X_n^{d_n} } { mit } { \sum_{i=0}^n d_i=d }{ } und
\mavergleichskette
{\vergleichskette
{ \lambda }
{ \in }{K }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} gilt
\mavergleichskettedisp
{\vergleichskette
{ (\lambda X_0)^{d_0} \cdots (\lambda X_n)^{d_n} }
{ =} { (\lambda^{d_0} X_0^{d_0}) \cdots ( \lambda^{d_n} X_n^{d_n} ) }
{ =} { \lambda^d ( X_0^{d_0} \cdots X_n^{d_n}) }
{ } { }
{ } { }
} {}{}{.}

}


Man beachte, dass es durch diese Aussage zwar wohldefiniert ist, ob ein homogenes Polynom an einem projektiven Punkt verschwindet oder nicht, dass es aber keinen Sinn ergibt, einem homogenen Polynom einen Wert an jedem Punkt des projektiven Raumes zuzuordnen. Ein homogenes Polynom definiert keine Funktion auf dem projektiven Raum.




\inputdefinition
{}
{

Es sei $K$ ein Körper. Zu einem \definitionsverweis {homogenen Polynom}{}{}
\mavergleichskette
{\vergleichskette
{F }
{ \in }{ K[X_0,X_1 , \ldots , X_n] }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} bezeichnet man die Menge
\mavergleichskettedisphandlinks
{\vergleichskettedisphandlinks
{ V_+(F) }
{ =} { { \left\{ P=(x_0 , \ldots , x_n) \in {\mathbb P}^{n}_{K} \mid F(x_0 , \ldots , x_n) = 0 \right\} } }
{ } { }
{ } { }
{ } { }
} {}{}{} als die \definitionswort {projektive Nullstellenmenge}{} zu $F$.

}

Wenn man
\mavergleichskette
{\vergleichskette
{ V_+(F) }
{ \subseteq }{ {\mathbb P}^{n}_{K} }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} bestimmen möchte, so kann man die disjunkte Zerlegung
\mavergleichskettedisp
{\vergleichskette
{ {\mathbb P}^{n}_{K} }
{ =} { D_+(X_0) \uplus V_+(X_0) }
{ } { }
{ } { }
{ } { }
} {}{}{} \zusatzklammer {ebenso für jede andere Variable} {} {} ausnutzen. Zur Bestimmung von
\mathl{V_+(F) \cap D_+(X_0)}{} setzt man in $F$ die Variable $X_0$ gleich $1$ und muss die Lösungen im affinen Raum
\mavergleichskette
{\vergleichskette
{ { {\mathbb A}_{ K }^{ n } } }
{ \cong }{ D_+(X_0) }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} von
\mavergleichskette
{\vergleichskette
{ F { \frac{ 1 }{ X_0 } } }
{ = }{ 0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} finden. Dabei wird das Polynom inhomogen, gleichzeitig eliminiert man eine Variable. Die Dimension bleibt gleich, die Situation wird aber affin. Zur Bestimmung von
\mathl{V_+(F) \cap V_+(X_0)}{} setzt man in $F$ die Variable $X_0$ gleich $0$ und muss die Lösungen im projektiven Raum
\mavergleichskette
{\vergleichskette
{ {\mathbb P}^{n-1}_{K} }
{ \cong }{ V_+(X_0) }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} von
\mavergleichskette
{\vergleichskette
{ F { \frac{ 0 }{ X_0 } } }
{ = }{ 0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} finden. Hier eliminert man eine Variable, das Polynom bleibt homogen, man bleibt projektiv, die Dimension reduziert sich um $1$.




\inputbeispiel{}
{

Die einfachsten \definitionsverweis {homogenen Polynome}{}{} in
\mathl{K[X_0,X_1 , \ldots , X_n]}{} sind die vom Grad $1$, also Ausdrücke der Form
\mavergleichskettedisp
{\vergleichskette
{F }
{ =} {a_0X_0 + a_1X_0 + \cdots + a_nX_n }
{ } { }
{ } { }
{ } { }
} {}{}{,} wobei nicht alle Koeffizienten gleichzeitig $0$ sein dürfen. Die \definitionsverweis {affine Nullstellenmenge}{}{}
\mathl{V(F)}{} im
\mathl{{ {\mathbb A}_{ K }^{ n+1 } }}{} ist ein $n$-dimensionaler affiner Raum durch den Nullpunkt, die \definitionsverweis {projektive Nullstellenmenge}{}{}
\mathl{V_+(F)}{} im
\mathl{{\mathbb P}^{n}_{K}}{} ist isomorph zu einem $(n-1)$-dimensionalen projektiven Raum.


}




\inputdefinition
{}
{

Es sei $K$ ein Körper und
\mavergleichskette
{\vergleichskette
{ {\mathfrak a} }
{ \subseteq }{ K[X_1 , \ldots , X_n] }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ein \definitionsverweis {Ideal}{}{.} Das Ideal heißt \definitionswort {homogen}{,} wenn für jedes
\mavergleichskette
{\vergleichskette
{H }
{ \in }{ {\mathfrak a} }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} mit der homogener Zerlegung
\mavergleichskette
{\vergleichskette
{H }
{ = }{\sum_{i } H_i }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} auch
\mavergleichskette
{\vergleichskette
{H_i }
{ \in }{{\mathfrak a} }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} für alle homogenen Bestandteile $H_i$ ist.

}




\inputdefinition
{ }
{

Zu einem \definitionsverweis {homogenen Ideal}{}{}
\mavergleichskette
{\vergleichskette
{ {\mathfrak a} }
{ \subseteq }{ K[X_0 , \ldots , X_n] }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} nennt man
\mavergleichskettedisphandlinks
{\vergleichskettedisphandlinks
{ V_+( {\mathfrak a}) }
{ =} { { \left\{ P = (x_0 , \ldots ,x_n) \in {\mathbb P}^{n}_{K} \mid F(P)=0 \text{ für } \text{alle homogenen } F \in {\mathfrak a} \right\} } }
{ } { }
{ } { }
{ } { }
} {}{}{} das \definitionswort {projektive Nullstellengebilde}{} oder die \definitionswort {projektive Varietät}{} zu ${\mathfrak a}$.

}




\inputdefinition
{}
{

Der \definitionsverweis {projektive Raum}{}{} ${\mathbb P}^{n}_{K}$ wird mit der \definitionswort {Zariski-Topologie}{} versehen, bei der die Mengen
\mavergleichskette
{\vergleichskette
{ V_+( {\mathfrak a} ) }
{ \subseteq }{ {\mathbb P}^{n}_{K} }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} zu einem \definitionsverweis {homogenen Ideal}{}{}
\mavergleichskette
{\vergleichskette
{ {\mathfrak a} }
{ \subseteq }{ K[X_0, X_1 , \ldots , X_n] }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} als \definitionsverweis {abgeschlossen}{}{} erklärt werden.

}

Die offenen Mengen des projektiven Raumes sind demnach die Mengen der Form
\mavergleichskette
{\vergleichskette
{ D_+({\mathfrak a}) }
{ \defeq }{ V_+({\mathfrak a}) }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} zu einem homogenen Ideal
\mavergleichskette
{\vergleichskette
{ {\mathfrak a} }
{ \subseteq }{ K[X_0, X_1 , \ldots , X_n] }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} Dabei sind die offenen Mengen
\mathl{D_+(X_i)}{} isomorph zu einem affinen Raum der Dimension $n$.






\inputbemerkung
{}
{

Ein Punkt
\mavergleichskette
{\vergleichskette
{P }
{ = }{(a_0 , \ldots , a_n) }
{ \in }{{\mathbb P}^{n}_{K} }
{ }{ }
{ }{ }
} {}{}{} ist abgeschlossen, und zwar ist
\mavergleichskette
{\vergleichskette
{P }
{ = }{V_+({\mathfrak a}) }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} mit
\mavergleichskettedisp
{\vergleichskette
{ {\mathfrak a} }
{ =} { { \left( a_iX_j-a_jX_i:\, 0 \leq i,j \leq n \right) } }
{ } { }
{ } { }
{ } { }
} {}{}{.} Wenn
\mavergleichskette
{\vergleichskette
{a_0 }
{ \neq }{ 0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ist, so kann man dies auch als
\mathl{{ \left( X_j- \frac{a_j}{a_0}X_0:\, j \neq 0 \right) }}{} schreiben. Die Erzeuger
\mathbed {a_iX_j-a_jX_i} {}
{i \neq 0} {}
{} {} {} {,} sind dann überflüssig. Dieses Ideal ist offenbar homogenen, und $P$ liegt in
\mathl{V_+({\mathfrak a})}{.} Sei
\mavergleichskette
{\vergleichskette
{a_0 }
{ \neq }{ 0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} angenommen. Für einen weiteren Punkt
\mavergleichskette
{\vergleichskette
{Q }
{ = }{ (b_0 , \ldots , b_n) }
{ \in }{ V_+({\mathfrak a}) }
{ }{ }
{ }{ }
} {}{}{} folgt sofort
\mavergleichskette
{\vergleichskette
{ b_j - \frac{a_j}{a_0}b_0 }
{ = }{0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} für alle $j$ bzw.
\mavergleichskettedisp
{\vergleichskette
{ (b_0 , \ldots , b_n) }
{ =} {\frac{b_0}{a_0} (a_0 , \ldots , a_n) }
{ } { }
{ } { }
{ } { }
} {}{}{,} so dass es sich projektiv um den gleichen Punkt handelt.

Das Ideal ${\mathfrak a}$ ist kein \definitionsverweis {maximales Ideal}{}{} im Polynomring, es ist aber maximal unter allen homogenen Idealen, die von
\mathl{(X_0 , \ldots , X_n)}{} verschieden sind. In
\mathl{{ {\mathbb A}_{ K }^{ n+1 } }}{} definiert es eine Gerade durch den Nullpunkt, und zwar die Gerade, die dem projektiven Punkt $P$ entspricht.

}






\zwischenueberschrift{Der projektive Raum über $\R$ und über ${\mathbb C}$}

Wir wollen uns ein Bild über die projektiven Räume für \mathkon { {\mathbb K} =\R } { und } { {\mathbb K} ={\mathbb C} }{ } machen. Die \zusatzklammer {reell} {} {} $n$-dimensionale Sphäre ist
\mavergleichskette
{\vergleichskette
{S^n }
{ = }{ { \left\{ x \in \R^{n+1} \mid \Vert {x} \Vert = 1 \right\} } }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} Dabei ist
\mavergleichskette
{\vergleichskette
{ \Vert {x} \Vert }
{ = }{ \sqrt{x_0^2 + \cdots + x_n^2} }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} die \stichwort {euklidische Norm} {.}





\inputfaktbeweis
{Projektiver Raum/R oder C/Repräsentiert durch Sphäre/Fakt}
{Satz}
{}
{

\faktsituation {}
\faktfolgerung {Man kann den reell-projektiven Raum
\mathl{{\mathbb P}^{n}_{\R}}{} durch die $n$-dimensionale Sphäre
\mavergleichskette
{\vergleichskette
{S^n }
{ \subset }{ \R^{n+1} }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} modulo der \definitionsverweis {Äquivalenzrelation}{}{} repräsentieren, die antipodale Punkte miteinander identifiziert.

Den komplex-projektiven Raum
\mathl{{\mathbb P}^{n}_{{\mathbb C}}}{} kann man durch die
\mathl{(2n+1)}{-}dimensionale Sphäre
\mavergleichskette
{\vergleichskette
{ S^{2n+1} }
{ \subset }{ \R^{2n+2} }
{ \cong }{{\mathbb C}^{n+1} }
{ }{ }
{ }{ }
} {}{}{} modulo der Äquivalenzrelation repräsentieren, die zwei Punkte
\mathl{z,w \in S^{2n+1}}{} miteinander identifiziert, wenn man
\mavergleichskette
{\vergleichskette
{z }
{ = }{\lambda w }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} mit einem
\mavergleichskette
{\vergleichskette
{ \lambda }
{ \in }{ S^1 }
{ \subseteq }{ {\mathbb C} }
{ }{ }
{ }{ }
} {}{}{} schreiben kann.}
\faktzusatz {}
\faktzusatz {}

}
{

Wir behandeln die beiden Fälle parallel. Jeder Punkt der Sphäre $S$ definiert eine \zusatzklammer {reelle oder komplexe} {} {} Gerade durch den Nullpunkt im umliegenden Raum \mathkon { \R^{n+1} } { oder } { {\mathbb C}^{n+1} }{ } und damit einen Punkt im projektiven Raum. Zwei Punkte
\mavergleichskette
{\vergleichskette
{z,w }
{ \in }{ S }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} definieren genau dann die gleiche Gerade, wenn es einen Skalar
\mavergleichskette
{\vergleichskette
{ \lambda }
{ \in }{ {\mathbb K} }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} mit
\mavergleichskette
{\vergleichskette
{ z }
{ = }{ \lambda w }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} gibt. Wegen der Multiplikativität der Norm ist dann auch
\mavergleichskette
{\vergleichskette
{ \Vert {z} \Vert }
{ = }{ \betrag { \lambda } \cdot \Vert {w} \Vert }
{ }{ }
{ }{ }
{ }{ }
} {}{}{,} woraus sich wegen
\mavergleichskette
{\vergleichskette
{z,w }
{ \in }{ S }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} sofort
\mavergleichskette
{\vergleichskette
{ \betrag { \lambda } }
{ = }{ 1 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ergibt. Dies bedeutet im reellen Fall
\mavergleichskette
{\vergleichskette
{\lambda }
{ = }{ \pm 1 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} und im komplexen Fall, dass
\mavergleichskette
{\vergleichskette
{ \lambda }
{ \in }{S^1 }
{ \subset }{ {\mathbb C} }
{ }{ }
{ }{ }
} {}{}{} ist, also zum Einheitskreis gehört.

}


Wir haben insgesamt Abbildungen
\mathdisp {S^{n} \subset \R^{n+1} \setminus \{0\} \longrightarrow {\mathbb P}^{n}_{\R}} { }
\zusatzklammer {im reellen Fall} {} {} bzw.
\mathdisp {S^{2n+1} \subset \R^{2n+2} \setminus \{0\} \cong {\mathbb C}^{n+1} \setminus \{0\} \longrightarrow {\mathbb P}^{n}_{{\mathbb C}}} { }
\zusatzklammer {im komplexen Fall} {} {.} Nach dem vorstehenden Satz sind die Gesamtabbildungen jeweils surjektiv. Man versieht die reell und die komplex-projektiven Räume mit der \definitionsverweis {Quotiententopologie}{}{} zur metrischen Topologie des reellen Vektorraumes unter dieser Abbildung, d.h. man erklärt eine Teilmenge
\mavergleichskette
{\vergleichskette
{U }
{ \subseteq }{ {\mathbb P}^{n}_{ {\mathbb K} } }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} für offen, wenn das Urbild in
\mathl{{\mathbb K}^{n+1} \setminus \{0\}}{} offen ist. \zusatzklammer {dies ist äquivalent dazu, dass das Urbild auf der jeweiligen Sphäre offen ist} {} {.} Mit dieser \zusatzklammer {\stichwort {metrischen} {} oder \stichwort {natürlichen} {}} {} {} Topologie auf dem projektiven Raum sind diese Abbildungen stetig. Dies hat folgende Konsequenz.





\inputfaktbeweis
{Projektiver Raum/R oder C/Offen überdeckt und Mannigfaltigkeit/Fakt}
{Lemma}
{}
{

\faktsituation {}
\faktvoraussetzung {Für den reell-projektiven und den komplex-projektiven Raum sind}
\faktfolgerung {die Teilmengen
\mathl{D_+(X_i)}{} offen in der natürlichen Topologie und homöomorph zu $\R^n$ bzw. ${\mathbb C}^n$.}
\faktzusatz {Insbesondere sind die reell- und komplex-projektiven Räume \definitionsverweis {topologische Mannigfaltigkeiten}{}{.}}
\faktzusatz {}

}
{

Das Urbild von
\mathl{D_+(X_i)}{} unter der \definitionsverweis {kanonischen Abbildung}{}{} \maabb {} { { {\mathbb A}_{ {\mathbb K} }^{ n+1 } } \setminus \{0\} } { {\mathbb P}^{n}_{{\mathbb K} } } {} ist
\mathl{D(X_i)}{,} also das Komplement eines $n$-dimensionalen Untervektorraumes und damit offen in der natürlichen Topologie. Wir betrachten die stetigen Abbildungen
\mathdisp {{\mathbb K}^n \cong V(X_i-1) \subset D(X_i) \longrightarrow D_+(X_i)} { . }
Die Gesamtabbildung ist eine Bijektion und
\mathl{D_+(X_i)}{} trägt die \definitionsverweis {Quotiententopologie}{}{} unter der zweiten Abbildung. Wir müssen zeigen, dass die Bijektion eine \definitionsverweis {Homöomorphie}{}{} ist. Dazu genügt es, die \definitionsverweis {Offenheit}{}{} der Abbildung zu zeigen. Es sei also
\mavergleichskette
{\vergleichskette
{ U }
{ \subseteq }{V(X_i-1) }
{ \cong }{ {\mathbb K}^n }
{ }{ }
{ }{ }
} {}{}{} offen und $U'$ das zugehörige Bild in
\mathl{D_+(X_i)}{.} Die Offenheit von $U'$ ist nach Definition der Quotiententopologie äquivalent dazu, dass das Urbild
\mavergleichskette
{\vergleichskette
{ U^{\prime \prime} }
{ \subseteq }{ D(X_i) }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} von $U'$ offen ist. Diese Menge $U^{\prime \prime}$ besteht aus allen Punkten in
\mathl{D(X_i)}{,} die auf einer Geraden durch den Nullpunkt und durch einen Punkt aus $U$ liegen. Es sei $Q$ ein solcher Punkt, und \mathkon { Q=\lambda P } { mit } { P \in U }{ } und
\mavergleichskette
{\vergleichskette
{ \lambda }
{ \in }{ {\mathbb K}^\times }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} Es sei $B$ eine offene Ballumgebung um $P$ in
\mathl{V(X_i-1)}{.} Dann ist auch der dadurch definierte Kegel in
\mathl{D(X_i)}{} offen und liegt ganz in $U^{\prime \prime}$.

}







\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Blue-sphere.png} }
\end{center}
\bildtext {Die projektive Gerade über ${\mathbb C}$ ist eine Sphäre.} }

\bildlizenz { Blue-sphere.png } {} {Kieff} {Commons} {PD} {}





\inputfaktbeweis
{Projektiver Raum/R oder C/Kompakt/Fakt}
{Korollar}
{}
{

\faktsituation {}
\faktfolgerung {Die reell-projektiven und die komplex-projektiven Räume sind \definitionsverweis {kompakt}{}{} und \definitionsverweis {hausdorffsch}{}{} in der natürlichen Topologie.}
\faktzusatz {}
\faktzusatz {}

}
{

Es gibt eine surjektive stetige Abbildung von einer Sphäre auf einen jeden projektiven Raum. Die Sphäre ist eine abgeschlossene und beschränkte Teilmenge eines reellen endlichdimensionalen Vektorraumes und daher nach dem Satz von Heine-Borel kompakt. Da das Bild einer kompakten Menge unter einer stetigen Abbildung nach Satz Anhang B.12 (Lineare Algebra (Osnabrück 2017-2018)) wieder kompakt ist, folgt, dass die projektiven Räume kompakt sind.

Für die Hausdorff-Eigenschaft seien
\mavergleichskette
{\vergleichskette
{P,Q }
{ \in }{ {\mathbb P}^{n}_{{\mathbb K} } }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} zwei verschiedene Punkte. Man kann annehmen, dass sie beide auf einem der affinen überdeckenden Räume
\mathl{D_+(X_i)}{} liegen. Damit gibt es nach Lemma 27.14 trennende Umgebungen.

}