Topologische projektive Ebene

aus Wikipedia, der freien Enzyklopädie
Zur Navigation springen Zur Suche springen

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.

Bereits Anfang der 1930er Jahre hat Andrei Nikolajewitsch Kolmogorow den Begriff der topologischen Ebene verwendet, um sein unten beschriebenes, wichtiges Resultat zu beweisen.[1][2] 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[3] und L. A. Skornjakow[4]). Danach wurde eine umfangreiche Theorie dieser Ebenen durch Helmut Salzmann und seine Schüler entwickelt.[5]

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

Definitionen und Schreibweisen

[Bearbeiten | Quelltext bearbeiten]

Es sei eine projektive Ebene, ,[7] seien Systeme von Teilmengen der Punktmenge bzw. Geradenmenge . Für Verbindung und Schnitt werden die folgenden Schreibweisen vereinbart:[8]

Dann heißt topologische projektive Ebene, wenn die nachfolgenden Bedingungen erfüllt sind:

  1. und sind topologische Räume.
  2. Die Operation ist stetig bezüglich der Produkttopologie auf und
  3. Die Operation ist stetig bezüglich der Produkttopologie auf .
  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[9] für die Umgebungsfilterabbildung sowohl für Punkte als auch Geraden , man definiert also:

Die zweite Bedingung lässt sich dann ausführlicher so formulieren: Zu verschiedenen Punkten und jeder offenen Geradenmenge gibt es offene Punktmengen , so dass aus stets 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.

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 ) zu einem Büschel (der Menge der Geraden durch einen Punkt ) ist ein Homöomorphismus.[10]
  • Je zwei Punktreihen sind zueinander homöomorph.
  • Die Topologie der Ebene ist genau dann diskret, wenn die auf einer Punktreihe induzierte Topologie diskret ist.[11]
  • Die Punktmenge einer affinen Ebene ist homöomorph zum topologischen Produkt einer affinen Punktreihe mit sich selbst.[12][4][13]
  • Jede Punktreihe und jede einelementige Punktmenge ist abgeschlossen (im topologischen Raum der Punkte).[12][14]
Damit ist die Punktmenge ein - oder Kolmogoroff-Raum. Es folgt daraus auch, dass die Topologie diskret sein muss, falls die Ebene endlich ist.
Damit erfüllen sie, da sie auch erfüllen, zusätzlich 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.[12][15]
  • 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.[16]
  • Ist die Punktmenge der Ebene lokalkompakt, dann besitzt diese eine abzählbare Umgebungsbasis.[17][18]

Folgerungen aus topologischen Eigenschaften für den Koordinatenbereich

[Bearbeiten | Quelltext bearbeiten]

In beiden Aussagen ist mit der Topologie auf diejenige gemeint, die von ihrem jeweiligen Koordinatenraum als reellem Vektorraum mit dessen gewöhnlicher Topologie induziert wird.

  • 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 über den rationalen Zahlen ist mit der durch die Ordnungstopologie von 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.

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.

Einzelnachweise und Anmerkungen

[Bearbeiten | Quelltext bearbeiten]
  1. a b Kolmogorow (1932)
  2. V. M. Tikhomirow: Selected Works of A. N. Kolmogorov. Mathematics and Mechanics. Band I. Kluwer Academic Publishers, Dordrecht/Boston/London 1992 (Buchbesprechung link.springer.com [PDF; abgerufen am 10. August 2013]).
  3. Wyler (1952)
  4. a b c Skornjakow (1954)
  5. Prieß-Crampe (1983), Vorwort
  6. zum Beispiel Crampe (1960)
  7. Diese formale Bedingung, die besagt, dass kein Punkt einer Geraden gleicht, wird ohnehin meist für projektive Ebenen vorausgesetzt. Sie ist hier nötig, damit sich Umgebungsfilter etwas vereinfacht darstellen lassen. Nach Pickert (1975), S. 361
  8. Es gibt keine allgemein übliche Schreibweise für diese Operationen. Die hier gewählten Verknüpfungszeichen sind die abstrakten für einen Verband und bringen die Dualität der beiden Operationen gut zum Ausdruck
  9. nach Pickert (1975), S. 361f
  10. Prieß-Crampe (1983), V §2 Satz 1
  11. Prieß-Crampe (1983), V §2 Satz 6
  12. a b c d Salzmann (1955)
  13. Prieß-Crampe (1983), V §2 Satz 5
  14. Prieß-Crampe (1983), V §2 Satz 4
  15. Prieß-Crampe (1983), V §2 Satz 11
  16. Prieß-Crampe (1983), V §2 Satz 12
  17. Salzmann (1957)
  18. Prieß-Crampe (1983), V §2 Satz 16
  19. Pickert (1975) 10.1. Satz 9
  20. Salzman (1967), Th. 7.12
  21. Pickert (1975), S. 267