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 Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbb{P}=(\mathcal{P},\mathcal{G},\operatorname{I})} eine projektive Ebene, Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathcal{P}\cap\mathcal{G}=\empty} , Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle T_\mathcal{P}\subseteq 2^\mathcal{P},T_\mathcal{G}\subseteq 2^\mathcal{G}} seien Systeme von Teilmengen der Punktmenge ${\mathcal {P}}$ bzw. Geradenmenge ${\mathcal {G}}$. Für Verbindung und Schnitt werden die folgenden Schreibweisen vereinbart:

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \sqcup: \mathcal{P}\times\mathcal{P} \setminus\{(P,P)\in \mathcal{P}\times\mathcal{P}\}\rightarrow \mathcal{G}\colon (P,Q)\mapsto P\sqcup Q:= g \Leftrightarrow (P\operatorname{I}g)\land (Q\operatorname{I}g)}

$\sqcap :{\mathcal {G}}\times {\mathcal {G}}\setminus \{(g,g)\in {\mathcal {G}}\times {\mathcal {G}}\}\rightarrow {\mathcal {P}}\colon (g,h)\mapsto g\sqcap h:=P\Leftrightarrow (P\operatorname {I} g)\land (P\operatorname {I} h)$

Dann heißt Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (\mathbb{P},T_\mathcal{P}, T_\mathcal{G})} topologische projektive Ebene, wenn die nachfolgenden Bedingungen erfüllt sind:

1. Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (\mathcal{P},T_\mathcal{P})} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (\mathcal{G},T_\mathcal{G})} sind topologische Räume.
2. Die Operation Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \sqcup} ist stetig bezüglich der Produkttopologie auf Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (\mathcal{P},T_\mathcal{P})} und
3. Die Operation $\sqcap$ ist stetig bezüglich der Produkttopologie auf Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (\mathcal{G},T_\mathcal{G})} .
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 ${\mathcal {P}}$.

Man schreibt für die Umgebungsfilterabbildung sowohl für Punkte als auch Geraden Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \Omega} , man definiert also:

$\Omega \colon ({\mathcal {P}}\cup {\mathcal {G}})\rightarrow {T_{\mathcal {P}}}\cup {T_{\mathcal {G}}}\colon \quad \xi \mapsto \Omega (\xi )=\{U|(\xi \in U)\land \left((U\in T_{\mathcal {P}})\lor (U\in T_{\mathcal {G}})\right)\}$

Die zweite Bedingung lässt sich dann ausführlicher so formulieren: Zu verschiedenen Punkten Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A,B} und jeder offenen Geradenmenge Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle U_0\in\Omega(A\sqcup B)} gibt es offene Punktmengen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle U_1\in\Omega(A), U_2\in\Omega(B)} , so dass aus Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X\in U_1,Y\in U_2, X\neq Y} stets Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (X\sqcup 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

[[Hilfe:Cache|Fehler beim Thumbnail-Erstellen]]:

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 Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle a\in {\mathcal {G}}} ) zu einem Büschel (der Menge der Geraden durch einen Punkt $Z\in {\mathcal {P}};\;\neg (Z\operatorname {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 Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A_g=\mathcal{P}\setminus \{ P|P\operatorname{I}g\;\};\;(g\in\mathcal{G})} 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 Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 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

• (Ein Satz von Kolmogorow) Eine desarguessche, lokalkompakte, zusammenhängende topologische projektive Ebene ist zu Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbb{P}^2(S)} stetig isomorph, wobei der Schiefkörper Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 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 Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbb{P}^2(C)} , wobei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 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 Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \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 Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbb{P}^2(\Q)} über den rationalen Zahlen ist mit der durch die Ordnungstopologie von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \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

• Sibylla Crampe: Schließungssätze in projektiven Ebenen und dichten Teilebenen. In: Archiv der Mathematik. Band 11, Nr. 1. Birhäuser, 1. Dezember 1960, ISSN 1420-8938, S. 136–145, doi:10.1007/BF01236921. 
• Andrei Nikolajewitsch Kolmogorow: Zur Begründung der projektiven Geometrie. In: Ann. of Math. Band 33, 1932, S. 175–176. 
• Helmut Salzmann: Über den Zusammenhang in topologischen projektiven Ebenen. In: Mathematische Zeitschrift. Band 61, Nr. 1. Springer, 1955, ISSN 1432-1823, S. 489–494, doi:10.1007/BF01181361. 
• Helmut Salzmann: Topologische projektive Ebenen. In: Mathematische Zeitschrift. Band 67, Nr. 1. Springer, Dezember 1957, ISSN 1432-1823, S. 436–466, doi:10.1007/BF01258875. 
• Helmut Salzmann: Topological planes. In: Advances in Mathematics. Band 2, 1967, S. 1–60. 
• L. A. Skornjakow: Topologische projektive Ebenen. In: Trudy Moskov. Math. Obšč. Band 3, 1954, S. 347–373. 
• Oswald Wyler: Order and topology in projective planes. In: American Journal of Mathematics. Band 74, Nr. 3. Johns Hopkins University Press, 1952, S. 656–666, JSTOR:2372268. 

Lehrbücher

• Günter Pickert: Projektive Ebenen. 2. Auflage. Springer, Berlin / Heidelberg / New York 1975, ISBN 3-540-07280-2, 10. Topologische Ebenen. 
• Sibylla Prieß-Crampe: Angeordnete Strukturen. Gruppen, Körper, projektive Ebenen (= Ergebnisse der Mathematik und ihrer Grenzgebiete. Band 98). Springer, Berlin / Heidelberg / New York 1983, ISBN 3-540-11646-X, V §2 Grundbegriffe topologischer projektiver Ebenen, S. 189–217.