Projektiv-metrische Geometrie
Eine projektiv-metrische Geometrie ist eine mindestens zweidimensionale projektive Geometrie über einem Körper mit einer metrischen Zusatzstruktur. Durch diese zusätzliche Struktur kann man die „Orthogonalitätsrelation“ einer metrischen absoluten Geometrie in dem projektiven Raum beschreiben, in den sich die metrische absolute Geometrie einbetten lässt. Zugleich zeichnet diese Zusatzstruktur eine bestimmte Untergruppe in der Gruppe aller Projektivitäten des Raumes aus: Sie ist die Invarianz- oder Verträglichkeitsgruppe der Polarität bzw. Polarinvolution, durch die die Orthogonalität der nichteuklidischen bzw. euklidischen Geometrie im projektiven Raum dargestellt wird.
In zwei Hauptfällen der absoluten Geometrie, der elliptischen Geometrie und der euklidischen Geometrie bestimmt der projektive Raum zusammen mit der „polaren Struktur“ die eingebettete Geometrie eindeutig. Nur im Falle der elliptischen Geometrie stellt der projektive Raum selbst mit seiner projektiven Polarität ein Modell der absoluten Geometrie dar.
Die projektiv-metrische Geometrie ist im folgenden Sinn reichhaltiger als die metrische absolute Geometrie: Nicht zu jedem projektiv-metrischen Raum existiert eine absolute Geometrie.
Andererseits ist die projektiv-metrische Geometrie „vergesslich“: Für den hyperbolischen Hauptfall und alle Nebenfälle, z. B. die halbelliptischen Ebenen, lässt sich die ursprüngliche metrische Ebene im Allgemeinen nur dann nach der Einbettung bis auf Isomorphie eindeutig zurückgewinnen, wenn man neben der Invarianzgruppe[1], die durch die polare Struktur eindeutig bestimmt ist, auch noch ein bestimmtes Erzeugendensystem dieser Invarianzgruppe, das in der metrischen Ebene die senkrechten Achsenspiegelungen und die Geraden der Geometrie repräsentiert, fest hält.
Definitionen und Grundbegriffe im ebenen Fall
BearbeitenDie Grundbegriffe werden hier zunächst für die Ebene dargestellt: Es sei ein Körper, und die projektive Ebene über , der zugehörige Koordinatenvektorraum. Die genannte Voraussetzung, dass die Charakteristik der betrachteten Körper nicht 2 ist, wird in diesem Zusammenhang (oft stillschweigend) gemacht, weil sonst Spiegelungen nicht sinnvoll definiert werden können.
Symmetrische Bilinearform und Polarinvolution/Polarität
BearbeitenAuf dem Koordinatenvektorraum sei eine symmetrische Bilinearform gegeben. Diese lässt sich in durch eine symmetrische Matrix darstellen: .
- Singulärer Fall: Hat die Matrix den Rang 2, so ist durch den Kern der linearen Abbildung das Radikal der symmetrischen Bilinearform gegeben, dies ist dann ein eindimensionaler Unterraum von .
- Nichteuklidischer, ordinärer Fall: Hat die Matrix den Vollrang 3, ist also regulär, dann beschreibt die lineare Abbildung die Punktabbildung einer projektiven Polarität auf .[2]
Für den singulären Fall 1 und vor allem für die höherdimensionalen Verallgemeinerungen dieses Falles ist es praktisch[3], in allen Fällen die eindimensionalen Teilräume von als Geraden der projektiven Ebene zu verwenden und die zweidimensionalen Teilräume als projektive Punkte. Diese Konvention ist dual zu dem Vorgehen, das sonst meistens üblich ist. Damit ist das Radikal im singulären Fall eine durch die Bilinearform ausgezeichnete projektive Ferngerade .
Orthogonalität und Polarinvolution im singulären Fall
BearbeitenIm singulären Fall unterscheidet man noch zwei Unterfälle:
- Alle isotropen Vektoren sind im Radikal enthalten, formal: oder
- es existieren isotrope Vektoren, die nicht im Radikal enthalten sind.
Im ersten Fall nennt man die projektive Ebene mit der Bilinearform auf singulär-elliptisch im zweiten singulär-hyperbolisch. Nur im ersten Fall ist die Ebene eine projektiv-metrische Ebene. Man bezeichnet sie in diesem Fall als singuläre projektiv-metrische Ebene.
In beiden singulären Unterfällen gilt nun: Auf dem „Büschel“ der zweidimensionalen Teilräume von , die die Ferngerade enthalten (projektiv: der Punktmenge, die mit der Ferngeraden inzidiert), wird durch die Bilinearform eine involutorische Orthogonalitätsabbildung definiert, durch die jedem dieser Teilräume der zu ihm (im Sinn der Bilinearform) senkrechte zweidimensionale Teilraum zugeordnet wird. Damit ist, da sich diese Zuordnung in als lineare Abbildung von Koordinatenvektoren darstellen lässt, eine projektive Polarinvolution auf der projektiven Ferngeraden gegeben.[4]
Eindimensionale Teilräume des Vektorraums, die vom Radikal verschieden sind, spannen jeweils mit dem Radikal einen zweidimensionalen Unterraum auf. Im projektiven Raum heißt das: Projektive Geraden , die von der Ferngeraden verschieden sind, bestimmen je einen Fernpunkt auf . Solche projektiven Geraden heißen orthogonal, wenn diese zugehörigen zweidimensionalen Unterräume (projektiv: die Fernpunkte von ) durch die Polarinvolution aufeinander abgebildet werden. Im singulär-elliptischen Fall ist keine projektive Gerade außer der Ferngeraden zu sich selbst senkrecht.
Es wird vereinbart: Der Pol einer projektiven Geraden ist der gemeinsame Fernpunkt aller zu ihr senkrechten Geraden. Die Ferngerade besitzt keinen Pol, Polare werden im singulären Fall nicht definiert.[5]
Polarität in den ordinären Fällen
BearbeitenEine projektive Ebene mit einer Bilinearform auf , die durch eine symmetrische Matrix von Vollrang beschrieben wird, heißt ordinäre projektiv-metrische Ebene. Man unterscheidet analog zum singulären Fall zwei Unterfälle:
- Nur der Nullvektor ist isotrop, formal: oder
- es existieren echt isotrope Vektoren.
Im ersten Unterfall heißt die projektiv-metrische Ebene elliptisch, im zweiten hyperbolisch. In beiden Unterfällen ist für jeden vom Nullvektor verschiedenen Vektor ein zweidimensionaler Unterraum, projektiv der Pol der durch dargestellten projektiven Geraden.
- Im elliptischen Fall gibt es keine echt isotropen Vektoren: Kein projektiver Punkt inzidiert mit seiner Polaren .
- Im hyperbolischen Fall gilt für die echt isotropen Vektoren : Für diese Vektoren inzidiert der projektive Punkt mit seiner Polaren .
Eigentlich-orthogonale Gruppe und Achsenspiegelungen im Vektorraum
BearbeitenDie Beschreibung der orthogonalen Gruppe und der Achsenspiegelungen ist von der projektiven Interpretation unabhängig. Der Vektorraum trägt durch die Bilinearform (die einem der drei oben beschriebenen Fälle singulär-elliptisch, elliptisch oder hyperbolisch entsprechen soll) eine Orthogonalitätsstruktur auf der Menge seiner Teilräume im üblichen Sinne der linearen Algebra.[6]
Eine bijektive lineare Abbildung heißt orthogonale Transformation, wenn sie mit der Bilinearform verträglich ist: Für alle muss dann gelten:
- , in Matrixschreibweise: .
Die orthogonalen Transformationen bilden eine Gruppe, die orthogonale Gruppe . Die orthogonalen Transformationen mit Determinante 1 bilden eine Untergruppe vom Index 2, die eigentlich-orthogonale Gruppe . Proportionale Formen definieren die gleiche orthogonale Gruppe.
Für einen nicht-isotropen Vektor ist die lineare Transformation , die jeden zu proportionalen Vektor auf sich und jeden zu senkrechten Vektor auf seinen Gegenvektor abbildet, also mit
- für und für
eine involutorische orthogonale Transformation. Sie lässt sich mit Hilfe der Bilinearform darstellen als
- .
Man nennt sie die Achsenspiegelung an .
Die Gruppe wird von den Achsenspiegelungen erzeugt. Zur Darstellung eines beliebigen Gruppenelements sind höchstens drei Achsenspiegelungen nötig.[7]
Übersicht über die zusammengehörigen Begriffe der projektiv-metrischen Ebene und des Vektorraums mit Bilinearform :
Projektiv-metrische Ebene | Vektorraum mit Bilinearform |
---|---|
Gerade | Eindimensionaler Teilraum |
Punkt | Zweidimensionaler Teilraum mit der homogenen Gleichung |
, inzident | |
orthogonal | das heißt |
selbstorthogonal/isotrop | isotrop das heißt |
Spiegelung (involutorische Perspektivität) mit der nicht selbst-orthogonalen Geraden als Achse und dem Pol von als Zentrum | Spiegelung , für |
Projektive Beschreibung der orthogonalen Gruppen und Achsenspiegelungen im ebenen Fall
BearbeitenIn allen drei Fällen, dem ordinär-elliptischen, ordinär-hyperbolischen und singulär-elliptischen Fall, bestimmt die Bilinearform zu jeder projektiven nicht-isotropen Gerade einen eindeutigen Pol, der nicht mit der Geraden inzidiert. Es wird definiert: Die Achsenspiegelung an der nicht-isotropen Gerade ist die eindeutig bestimmte involutorische Perspektivität, mit der Geraden als Achse und ihrem Pol als Zentrum. Nach Konstruktion ist das eine Projektivität.
Die Menge aller so definierten Achsenspiegelungen an nichtisotropen Geraden erzeugt eine Gruppe , die isomorph zu der oben im Vektorraum definierten eigentlich-orthogonalen Gruppe des jeweiligen Falls ist.[8]
Projektiv-metrische Ebenen in der Absoluten Geometrie
BearbeitenJede metrische Ebene im Sinne der metrischen absoluten Geometrie bestimmt eine projektiv-metrische Idealebene, in die sie eingebettet werden kann. Diese projektiv-metrische Ebene wird dadurch eindeutig, dass durch einen eigentlichen Punkt der Idealebene (also einen Punkt, der bereits in der metrischen Ebene vorhanden war) nur eigentliche Geraden gehen. Mit anderen Worten ist die metrische Ebene eine lokalvollständige Teilebene der projektiv-metrischen Ebene. Dadurch erfüllt die projektiv-metrische Ebene zwei Aufgaben in der absoluten Geometrie:
- Projektive Ebenen enthalten geometrisch mit den über ihrem Koordinatenvektorraum definierbaren symmetrischen Bilinearformen die metrischen Ebenen als lokalvollständige Teilebenen. Die Orthogonalität einer solchen Teilebene, als Relation zwischen deren Geraden, ist eindeutig bestimmt durch die ordinäre oder singulär-elliptische polare Struktur, die die Bilinearform auf der projektiven Ebene bestimmt, also deren „metrische Zusatzstruktur“.
- Die orthogonale Gruppe einer projektiv-metrischen Ebene enthält gruppentheoretisch die axiomatisch definierten Bewegungsgruppen als erzeugte Untergruppen und liefert damit eine Darstellung dieser Gruppen.
Unterschiedliche metrische Ebenen können die gleiche Idealebene besitzen. Folgende Zuordnung besteht zwischen den axiomatisch beschriebenen Bewegungsgruppen und ihrer projektiv-metrischen Idealebene:
Zusatzaxiome der metrischen Ebene | Bezeichnung | Idealebene |
---|---|---|
Axiome und | Präeuklidische Ebene | (singuläre) projektiv-euklidische Ebene |
Axiome und | metrisch-euklidische Ebene ohne eindeutige Parallele | |
Axiom | elliptische Ebene |
(ordinäre) projektiv-elliptische Ebene |
Axiome | halbelliptische Ebene | |
Axiome und | hyperbolische Ebene | (ordinäre) projektiv-hyperbolische Ebene |
Versucht man, ausgehend von einer projektiv-metrischen Ebene, eine metrische Ebene als aus Spiegelungen erzeugte Gruppe zu konstruieren, so hat man die eigentlich-orthogonale Gruppe[1] als Gruppe und muss noch ein invariantes Erzeugendensystem dieser Gruppe als Menge von Achsenspiegelungen definieren, so dass die erzeugte Gruppe die gewünschten Axiome erfüllt. Im elliptischen Fall kann man alle Spiegelungen an projektiven Geraden, im euklidischen Fall alle Spiegelungen an nichtisotropen Geraden (das sind alle projektiven Geraden außer einer, die dadurch zur Ferngeraden der metrischen Ebene wird) verwenden. Man hat dann als metrische Ebene den entsprechenden, in der Tabelle hervorgehobenen Hauptfall.
Im hyperbolischen Fall kann man nur dann eine Klasse von eigentlichen Geraden und damit erzeugenden Achsenspiegelungen auszeichnen, wenn der Körper angeordnet ist oder eine Anordnung zulässt, also formal-reell ist.
Im hyperbolischen Hauptfall der absoluten Geometrie ist die Existenz der projektiv-metrischen-Ebene (also einer hyperbolischen projektiven Polarität auf einer projektiven Ebene) nicht hinreichend für die Existenz einer entsprechenden metrischen Ebene. Die eigentlich-orthogonalen Gruppen der projektiv-hyperbolischen Ebenen werden in der absoluten Geometrie als H-Gruppen bezeichnet und lassen sich auf ähnliche Weise axiomatisch-abstrakt beschreiben, wie die metrischen erzeugten Bewegungsgruppen .
Verallgemeinerung und Sprachregelungen für höhere Dimensionen
BearbeitenIn einem n-dimensionalen projektiven Raum über einem Körper , dessen Charakteristik nicht zwei ist, kann man analog zum ebenen Fall über eine Bilinearform auf eine polare Struktur erklären. Dabei wird wieder im singulär-elliptischen Fall das eindimensionale Radikal zu einer Fernhyperebene, und in allen Fällen kann für das Erzeugnis nicht-isotroper Vektoren x (Hyperebenen des projektiven Raums) ein Pol (die wohlbestimmte Hyperebene des Vektorraums, die ggf. das Radikal enthält) definiert werden. An die Stelle der Achsenspiegelungen treten dann Hyperebenenspiegelungen bzw axiale Kollineationen usw.
Auch hier unterscheidet man die drei oben genannten Fälle. Eine Übersicht über die Bezeichnung für die jeweilige projektiv-metrische Geometrie gibt die folgende Tabelle, wobei auch der singulär-hyperbolische Fall aufgenommen ist, der in der absoluten Geometrie (im engeren Sinn) nicht untersucht wird.[9]
Jeder isotrope Vektor ist im Radikal enthalten. | Es existieren isotrope Vektoren außerhalb des Radikals. | |
Das Radikal ist der Nullraum. | ordinär-elliptisch, kurz elliptisch | ordinär-hyperbolisch, kurz hyperbolisch |
Das Radikal ist eindimensional. | singulär-elliptisch, kurz euklidisch | singulär-hyperbolisch, kurz minkowskisch |
Das jeweilige Kurz-Attribut kann dann metrisch ersetzen, zum Beispiel heißt eine dreidimensionale projektiv-metrische Geometrie, mit einer elliptischen Bilinearform vom Rang 4 dreidimensionale projektiv-elliptische Geometrie oder ein dreidimensionaler projektiv-elliptischer Raum und ein 5-dimensionaler projektiv-euklidischer Raum ist ein 5-dimensionaler projektiver Raum mit einer polaren Struktur, die durch eine nullteilige Bilinearform vom Rang 5 bestimmt ist usw.
Literatur
Bearbeiten- Lehrbuch (Hauptquelle)
- Friedrich Bachmann: Aufbau der Geometrie aus dem Spiegelungsbegriff. 2. ergänzte Auflage. Springer, Berlin/Heidelberg/New York 1973, ISBN 3-540-06136-3.
Einzelnachweise und Anmerkungen
Bearbeiten- ↑ a b Von vereinzelten Spezialfällen abgesehen, in denen auch die Bewegungsgruppe der metrischen Ebene selbst eine echte Untergruppe der eigentlich-orthogonalen Gruppe ist, Bachmann (1973) §18 Über die metrischen Bewegungsgruppen.
- ↑ Die Formalitäten der linearen Algebra – Koordinatenvektoren sind hier als Spalten-, Ebenenkoordinaten von zweidimensionalen Unterräumen als Zeilenvektoren dargestellt und sind Objekte des Dualraums – sind hier nicht zentral wichtig, sollen aber berücksichtigt werden, um Missverständnissen vorzubeugen. Bachmann (1973) verwendet zur Koordinatisierung die Indexschreibweise, ohne Matrizen. Diese ist ebenso koordinatenabhängig wie die Matrixschreibweise, Bachmann (1973), §8.3 Projektiv-metrische Koordinatenebenen und metrische Vektorräume.
- ↑ „Praktisch“ aber mathematisch nicht zwingend notwendig, Bachmann (1973), § 8.3
- ↑ Bachmann (1973) §8.3
- ↑ Bachmann (1973), S. 90. In der Literatur werden auch Fernpunkte, die einander durch die Polarinvolution zugeordnet sind zueinander polar genannt, dies im Einklang damit, dass die projektive Polarinvolution als eine projektive Polarität auf der Ferngeraden angesehen werden kann.
- ↑ Bachmann (1973), §8.4 Projektiv-metrische Koordinatenebenen und metrische Vektorräume.
- ↑ Bachmann (1973), §9.1, Satz 2
- ↑ Bachmann (1973), §9.1 Projektiv-metrische Geometrie Theoreme 4,5 und 6
- ↑ nach Bachmann (1973) §20,7 Supplement