Topologische projektive Ebene

Eine topologische projektive Ebene ist eine projektive Ebene, auf deren Punkt- und Geradenmenge je eine Topologie so erklärt ist, dass die Bildung des Schnittpunktes von zwei Geraden und die Bildung der Verbindungsgeraden stetige Operationen sind. Zusätzlich soll die Topologie der Punktmenge nicht indiskret sein. Bereits aus diesen schwachen Voraussetzungen folgen recht starke Trennungseigenschaften.

Geschichte

Bereits Anfang der 1930er Jahre hat Andrei Nikolajewitsch Kolmogorow den Begriff der topologischen Ebene verwendet, um sein unten beschriebenes, wichtiges Resultat zu beweisen. Dies wurde anscheinend damals außerhalb der Sowjetunion kaum zur Kenntnis genommen.

Von den Grundlagen der Geometrie herkommend und durch Ideen aus der Theorie angeordneter und topologischer Körper angeregt, sind dann in den 1950er Jahren die ersten breiteren Untersuchungen über topologische projektive Ebenen entstanden (zum Beispiel durch Oswald Wyler und L. A. Skornjakow). Danach wurde eine umfangreiche Theorie dieser Ebenen durch Helmut Salzmann und seine Schüler entwickelt.

In den 1960er Jahren wurde das Konzept von Sibylla Crampe und anderen auf Schließungssätze angewandt.

Definitionen und Schreibweisen

Es sei $\mathbb{P}=(𝒫,𝒢,\mathrm{I})$ eine projektive Ebene, $𝒫\cap 𝒢=\mathrm{\varnothing }$, $T_{𝒫}\subseteq 2^{𝒫},T_{𝒢}\subseteq 2^{𝒢}$ seien Systeme von Teilmengen der Punktmenge $𝒫$ bzw. Geradenmenge $𝒢$. Für Verbindung und Schnitt werden die folgenden Schreibweisen vereinbart:

$\bigsqcup :𝒫\times 𝒫\setminus \{(P,P)\in 𝒫\times 𝒫\}\to 𝒢:(P,Q)\mapsto P\bigsqcup Q:=g\iff (P\mathrm{I}g)\wedge (Q\mathrm{I}g)$

$\sqcap :𝒢\times 𝒢\setminus \{(g,g)\in 𝒢\times 𝒢\}\to 𝒫:(g,h)\mapsto g\sqcap h:=P\iff (P\mathrm{I}g)\wedge (P\mathrm{I}h)$

Dann heißt $(\mathbb{P},T_{𝒫},T_{𝒢})$ topologische projektive Ebene, wenn die nachfolgenden Bedingungen erfüllt sind:

1. $(𝒫,T_{𝒫})$ und $(𝒢,T_{𝒢})$ sind topologische Räume.
2. Die Operation $\bigsqcup$ ist stetig bezüglich der Produkttopologie auf $(𝒫,T_{𝒫})$ und
3. Die Operation $\sqcap$ ist stetig bezüglich der Produkttopologie auf $(𝒢,T_{𝒢})$.
4. Die Topologie auf dem Punktraum ist nicht die indiskrete Topologie, das heißt: Es existiert eine offene Punktmenge außer der leeren Menge und $𝒫$.

Man schreibt für die Umgebungsfilterabbildung sowohl für Punkte als auch Geraden $\mathrm{\Omega }$, man definiert also:

$\mathrm{\Omega }:(𝒫\cup 𝒢)\to T_{𝒫}\cup T_{𝒢}:\xi \mapsto \mathrm{\Omega }(\xi )=\{U|(\xi \in U)\wedge ((U\in T_{𝒫})\vee (U\in T_{𝒢}))\}$

Die zweite Bedingung lässt sich dann ausführlicher so formulieren: Zu verschiedenen Punkten $A,B$ und jeder offenen Geradenmenge $U_0\in \mathrm{\Omega }(A\bigsqcup B)$ gibt es offene Punktmengen $U_1\in \mathrm{\Omega }(A),U_2\in \mathrm{\Omega }(B)$, so dass aus $X\in U_1,Y\in U_2,X\ne Y$ stets $(X\bigsqcup Y)\in U_0$ folgt. Die dritte Bedingung lässt sich dual dazu ausformulieren. Dass die zur vierten duale Aussage in jeder topologischen Ebene gilt, folgt aus wesentlich stärkeren Aussagen, die im nächsten Abschnitt dargestellt werden.

Eigenschaften

Perspektive Zuordnung einer Punktreihe zu einem Büschel. Diese Abbildung ist in einer topologischen projektiven Ebene samt ihrer Umkehrung stetig.

In einer topologischen projektiven Ebene gilt:

• Die perspektive Zuordnung einer Punktreihe (der Menge der Punkte auf einer Geraden $a\in 𝒢$) zu einem Büschel (der Menge der Geraden durch einen Punkt $Z\in 𝒫;\mathrm{\neg }(Z\mathrm{I}a)$) ist ein Homöomorphismus.
• Je zwei Punktreihen sind zueinander homöomorph.
• Die Topologie der Ebene ist genau dann diskret, wenn die auf einer Punktreihe induzierte Topologie diskret ist.
• Die Punktmenge einer affinen Ebene $A_g=𝒫\setminus \{P|P\mathrm{I}g\};(g\in 𝒢)$ ist homöomorph zum topologischen Produkt einer affinen Punktreihe mit sich selbst.
• Jede Punktreihe und jede einelementige Punktmenge ist abgeschlossen (im topologischen Raum der Punkte).

Damit ist die Punktmenge ein $T_0$- oder Kolmogoroff-Raum. Es folgt daraus auch, dass die Topologie diskret sein muss, falls die Ebene endlich ist.

• Die Punktmenge und die Geradenmenge der Ebene sind reguläre Räume.

Damit erfüllen sie, da sie auch $T_0$ erfüllen, zusätzlich $T_1,T_2,T_3$ und sind Hausdorff-Räume.

• Der Punktraum der Ebene ist entweder zusammenhängend oder nirgends zusammenhängend. Die gleiche Alternative gilt für eine Punktreihe, affine Punktreihe und die Punktmenge einer affinen Ebene, jeder dieser Teilräume ist genau dann zusammenhängend wenn es der ganze Punktraum ist.
• Die lokale Kompaktheit der gesamten Punktmenge, einer Punktreihe, einer affinen Punktreihe und die der Punktmenge einer affinen Ebene sind gleichwertig: Entweder sind alle diese Räume lokalkompakt oder keiner.
• Ist die Punktmenge der Ebene lokalkompakt, dann besitzt diese eine abzählbare Umgebungsbasis.

Folgerungen aus topologischen Eigenschaften für den Koordinatenbereich Vorlage:Anker

• (Ein Satz von Kolmogorow) Eine desarguessche, lokalkompakte, zusammenhängende topologische projektive Ebene ist zu ${\mathbb{P}}^2(S)$ stetig isomorph, wobei der Schiefkörper $S$ entweder der Körper der reellen Zahlen, der Körper der komplexen Zahlen oder der Quaternionenschiefkörper ist.
• Wenn in einer topologischen projektiven Ebene eine (und damit jede) der Punktreihen eine Mannigfaltigkeit ist, dann ist sie eine Moufangebene und stetig isomorph zu ${\mathbb{P}}^2(C)$, wobei $C$ einer der Schiefkörper aus der vorigen Aussage oder der Alternativkörper der (reellen) Oktonionen ist.

In beiden Aussagen ist mit der Topologie auf ${\mathbb{P}}^2(C)$ diejenige gemeint, die von ihrem jeweiligen Koordinatenraum als reellem Vektorraum mit dessen gewöhnlicher Topologie induziert wird.

Beispiele

• Jede projektive Ebene wird mit der diskreten Topologie auf ihrer Punkt- und Geradenmenge zu einer topologischen projektiven Ebene. Wie oben schon angemerkt, ist dies für endliche Ebenen die einzige mögliche Topologie.
• Die projektive Ebene ${\mathbb{P}}^2(\mathbb{Q})$ über den rationalen Zahlen ist mit der durch die Ordnungstopologie von $\mathbb{Q}$ in der affinen Ebene induzierten und auf deren projektiven Abschluss übertragbaren Topologie ein Beispiel einer topologischen Ebene, die nirgends zusammenhängend aber nicht diskret ist.

Literatur

Originalartikel

• Vorlage:Literatur
• Vorlage:Literatur
• Vorlage:Literatur
• Vorlage:Literatur
• Vorlage:Literatur
• Vorlage:Literatur
• Vorlage:Literatur

Lehrbücher

• Vorlage:Literatur
• Vorlage:Literatur