Korrelation (Projektive Geometrie)

Eine Korrelation ist in der projektiven Geometrie ein (Inzidenzstruktur-)Isomorphismus zwischen einer projektiven Ebene und ihrer dualen Ebene. Von der Ebene wird dabei in den wichtigsten Fällen zusätzlich gefordert, dass sie den Satz von Pappos erfüllt, also durch einen kommutativen Körper koordinatisiert werden kann. Die Darstellung und die Klassifikation von Korrelationen entsprechen weitgehend der von Kollineationen einer projektiven Ebene. Wichtige Unterschiede zu Kollineationen sind: Eine Korrelation der Ebene bildet Punkte auf Geraden und Geraden auf Punkte ab. Während Kollineationen einer projektiven Ebene immer existieren, müssen Korrelationen nicht existieren, wenn die projektive Ebene (oder allgemeiner der projektive Raum) nicht pappossch ist.

Eine wichtige Anwendung haben projektive Polaritäten, das sind doppelverhältnistreue, involutorische[1] Korrelationen in der absoluten Geometrie, weil eine solche Korrelation dort als absolute Polarität die „Metrik“ eines projektiv-metrischen Raumes kennzeichnet und seine Bewegungsgruppe definiert. Sie sind eine Verallgemeinerung der im Artikel Pol und Polare beschriebenen Zuordnung (einer hyperbolischen projektiven Polarität), die durch einen Kegelschnitt bestimmt ist. Hier kann auch eine projektive Polarität einer bestimmten projektiven Geraden innerhalb eines umfassenderen projektiven Raumes interessant sein: Sie lässt sich durch ein (nicht unbedingt positiv-definites, vielmehr ein formales) Skalarprodukt beschreiben, das auf einer Geraden des projektiven Raumes eine elliptische, projektive Polarinvolution, das heißt eine fixpunktfreie, projektive Polarität auf einer Geraden induziert. Diese Polarinvolution auf einer ausgezeichneten Ferngeraden liefert in der projektiven Beschreibung der absoluten Geometrie für den „euklidischen Sonderfall“ die Invariante, die die projektive Polarität im nichteuklidischen Fall liefert. Hier zeigt sich eine Verwandtschaft zum (zunächst projektiv-zwei-dimensionalen) Minkowski-Raum, der selbst kein Modell einer absoluten Geometrie ist: Die Minkowski-Metrik induziert auf einer ausgezeichneten Ferngeraden der Ebene eine hyperbolische projektive Polarinvolution.

Der Begriff Korrelation wird auch im naheliegenden Sinn allgemeiner bei projektiven Räumen höherer Dimension und für nichtdesarguessche Ebenen verwendet.

DefinitionenBearbeiten

KorrelationBearbeiten

Eine Korrelation einer pappusschen projektiven Ebene   ist eine inzidenzerhaltende[2] bijektive Abbildung dieses Raumes auf die duale Ebene  , wobei   bijektiv auf   und   bijektiv auf   abgebildet wird. Punktmenge und Geradenmenge sind in also in der dualen Ebene vertauscht.

Projektive KorrelationBearbeiten

Eine Korrelation   heißt projektiv, wenn jedes eindimensionale Grundgebilde projektiv, also doppelverhältnistreu abgebildet wird. Dies bedeutet konkret:

  1. Sind   vier Punkte auf einer Geraden, dann ist ihr Doppelverhältnis gleich dem Doppelverhältnis der vier Geraden  .
  2. Sind   vier Geraden, die durch einen gemeinsamen Punkt gehen, dann ist deren Doppelverhältnis gleich dem Doppelverhältnis der vier Punkte  .

Polarität, Pol, Polare und konjugierte ElementeBearbeiten

Eine involutorische Korrelation   (sie braucht nicht notwendig projektiv zu sein) wird als Polarität[3] bezeichnet. Sie ordnet jedem Punkt eine wohlbestimmte Gerade (seine Polare) und jeder Geraden einen wohlbestimmten Punkt (ihren Pol) zu, wobei der Pol der Polaren eines Punktes wieder der ursprüngliche Punkt ist und die Polare des Pols einer Geraden wieder die ursprüngliche Gerade.

Zwei Punkte   heißen zueinander konjugiert (bezüglich der Polarität), wenn jeder auf der Polaren des anderen liegt:  , zwei Geraden   heißen zueinander konjugiert (bezüglich der Polarität), wenn jede durch den Pol der anderen geht:  . Ein Punkt heißt selbstkonjugiert, wenn er auf seiner Polaren liegt, eine Gerade, wenn sie ihren Pol enthält.[3]

Hyperbolische und elliptische PolaritätenBearbeiten

Eine Polarität heißt hyperbolisch, falls sie selbstkonjugierte Punkte (und damit gleichwertig selbstkonjugierte Geraden) hat, sonst heißt sie elliptisch.[3]

Darstellung und EigenschaftenBearbeiten

  • Sind   Korrelationen auf der gleichen projektiven Ebene, so ist die Verkettung   eine Kollineation dieser Ebene (und ebenso eine Kollineation der dualen Ebene).
  • Sind die Korrelationen   projektiv, dann ist die Verkettung   eine Projektivität sowohl der Ebene (als Punktmenge) als auch der dualen Ebene (als Abbildung auf der Geradenmenge).
  •   kann auch dann eine Projektivität im Sinne der vorigen Aussage sein, wenn keine der beiden Korrelationen projektiv ist.
  • Eine Korrelation   einer Ebene ist genau dann eine Polarität, wenn   die identische Abbildung der Ebene (ihrer Punktmenge und ihrer Geradenmenge) ist.

KoordinatendarstellungBearbeiten

Sei   ein Körper.[4] Der Vektorraum   liefert das Standardmodell der projektiven Ebene über  . Nach Auswahl einer projektiven Punktbasis, also eines geordneten vollständigen Vierecks, lässt sich auch eine abstrakte projektive Ebene dann mit dem Standardmodell identifizieren. Es wird vereinbart: Spaltenvektoren   stehen für die homogenen Koordinaten von Punkten, Zeilenvektoren   für die homogenen Koordinaten von Geraden[5]. Ein Punkt   und eine Gerade   inzidieren genau dann, wenn das formale Matrixprodukt   den Wert   hat.

Für eine projektive Korrelation   muss die Zuordnung die Koordinaten jedes Punktes linear abbilden, also ist   mit einer regulären  -Matrix A. Ebenso muss für die Geradenkoordinaten   gelten. Damit die „Inzidenzform“   in sich selbst übergeht, muss zwischen den regulären Matrizen   der Zusammenhang   gelten. Die Korrelation ist genau dann involutorisch, wenn   ist.

Bei einer beliebigen Korrelation   müssen die Zuordnungen semilinear sein, dann ist   für die Koordinatenvektoren von Punkten und   für die Koordinatenvektoren von Geraden. Dabei ist   ein Körperautomorphismus von K. Der Körperautomorphismus ist vom gewählten Koordinatensystem unabhängig, vergleiche hierzu: Kollineation#Koordinatendarstellung. Auch hier muss zwischen den regulären Matrizen   der Zusammenhang   gelten. Die Korrelation ist genau dann involutorisch, wenn   und   ist.

Projektive Polaritäten und KegelschnitteBearbeiten

Ist eine hyperbolische Polarität projektiv, so bilden die selbstkonjugierten Punkte und Geraden einen Kegelschnitt   der nach Karl von Staudt als Fundamentalkurve der Polarität bezeichnet wird.[3] Der Pol einer beliebigen Geraden heißt dann auch „ihr Pol in Bezug auf  “ und die Polare eines beliebigen Punktes „seine Polare in Bezug auf  “, wie dies im Artikel Pol und Polare erläutert wird.

Für elliptische Polaritäten existiert keine definierende Fundamentalkurve.

Projektive Korrelationen und BilinearformenBearbeiten

Man kann die durch die Zuordnung   für Punkte auf Hyperebenen gegebene Abbildung auch losgelöst von der geometrischen Interpretation betrachten. Die Begriffe Radikal und die Attribute isotrop und nullteilig, die in der abstrakten linearen Algebra definiert werden, kommen auch in der geometrischen Literatur vor. Sie überschneiden sich mit teilweise gleich bezeichneten, aber nicht ganz äquivalenten Begriffen aus der Klassifikation von Quadriken. Die hier gegebenen Erklärungen richten sich nach Bachmann (1973).[6]

Es sei zunächst   eine beliebige  -Matrix mit Einträgen aus einem Körper  ,   der  -dimensionale Vektorraum über   mit seiner Standard-Vektorraumbasis. Dann ist durch

 

eine Bilinearform   definiert.

Radikal
  • Das Linksradikal ist der Kern der linearen Abbildung  , also der Lösungsraum der Gleichung  , formal ist das eine Abbildung des Vektorraums in seinen (algebraischen) Dualraum  , denn   wirkt als Linearform auf Vektoren.
  • Das Rechtsradikal ist der Kern der linearen Abbildung  .
  • Für einen Unterraum   ist  .
  • Für einen Unterraum   ist  .
  • Ist die Bilinearform   symmetrisch, dann sind Links- und Rechtsradikal identisch, man nennt diese Menge dann Radikal von   bezüglich der Form  . Dafür reicht es hin, dass   eine symmetrische Matrix ist  . Dies ist für eine projektive Polarität stets gegeben.
Isotrope Vektoren, Nullteiligkeit

Für den Begriff der Isotropie kommt es nur auf die Formwerte   der Bilinearform an. Ein Vektor   heißt isotrop, wenn   ist. Aus der Definition folgt, dass jeder Vektor, der dem Rechts- oder Linksradikal angehört, isotrop ist.

Ist umgekehrt bei einer symmetrischen Bilinearform jeder isotrope Vektor im Radikal enthalten, dann heißt die Bilinearform nullteilig

Für die in diesem Artikel beschriebenen Fälle gilt folgendes Wörterbuch (alle genannten Abbildungen seien projektiv in der ersten Spalte und linear bzw. bilinear in der zweiten und dritten):

Projektive Geometrie Matrixdarstellung Vektorraum
Punktabbildung einer Korrelation  , Matrix   ist regulär Rechts- und Linksradikal sind der Nullvektorraum
Korrelation ist eine Polarität Matrix A ist regulär und symmetrisch Bilinearform   ist symmetrisch, ihr Radikal ist der Nullvektorraum
ab hier eine projektive Polarität: ab hier eine, reguläre, symmetrische Matrix: ab hier eine, nichtausgeartete, symmetrische Bilinearform:
Punkt   ist selbstkonjugiert.     ist isotrop
Hyperebene   ist selbstkonjugiert     ist isotrop
Punkt   und Hyperebene   sind polar     gleichwertig  
Polarität ist elliptisch   Jeder isotrope Vektor liegt im Radikal, ist also hier  .   ist nullteilig
Polarität ist hyperbolisch   Es gibt isotrope Vektoren, die nicht im Radikal liegen.   ist nicht nullteilig.

BeispieleBearbeiten

Eine nicht-projektive, elliptische PolaritätBearbeiten

Sei   der Körper der komplexen Zahlen. Dann wird durch   (  sei die  -Einheitsmatrix) und  , die komplexe Konjugation eine Korrelation auf der projektiven Ebene   definiert, die involutorisch, aber nicht projektiv ist, also eine Polarität. Diese ist elliptisch, denn die Gleichung   für selbstkonjugierte Vektoren   hat keine Lösung außer dem Nullvektor.

Hyperbolische PolaritätenBearbeiten

  • Der Einheitskreis   der affinen Ebene über den reellen Zahlen   wird im projektiven Abschluss   dieser Ebene zur Fundamentalkurve einer Polarität. Wählt man   als Ferngerade, dann lautet die Kreisgleichung projektiv  . Die „Formmatrix“ dieser Quadrik die Diagonalmatrix   ist zugleich die Punktabbildungsmatrix der zugehörigen Polarität. Es geht also der affine Punkt  , projektiv   in die projektive Polare  , affin   über. Dies ist eine Gerade, die für vom Ursprung verschiedene affine Punkte   senkrecht zur Geraden OP steht und durch den Punkt   geht, der spiegelbildlich zu   bezüglich der Einheitskreislinie liegt.
  • Polare des Ursprungs ist die Ferngerade,
  • Polare eines Fernpunktes   sind die Geraden durch den Ursprung, deren senkrechte Richtung   ist, affin die Geraden  ,
  • die Punkte auf dem projektiven Kegelschnitt   sind genau die selbstkonjugierten Punkte der Polarität (genau sie inzidieren mit ihrer Polaren). Die Polarität ist also, da es selbstkonjugierte Punkte gibt, hyperbolisch.
  • Die Hyperbel   der affinen Ebene über   wird im projektiven Abschluss zu   mit der Formmatrix  , äquivalent ist   mit der Formmatrix  , die den Vorzug hat ähnlich zu der Formmatrix aus dem vorigen Beispiel zu sein (projektiv ist der Kegelschnitt in diesem Beispiel äquivalent zum Einheitskreis). Die Permutationsmatrix   bildet (als Projektivität) den Einheitskreis   auf   ab, es ist   mit der Formmatrix   des Einheitskreises. Ist also   ein Pol-Polare-Paar bezüglich des Einheitskreises, dann ist   ein Pol-Polare-Paar bezüglich der Hyperbel.
  • Die durch   bestimmte Polarität ist hyperbolisch und projektiv.
  • Der Fernpunkt der  -Achse   hat die Polare  , das ist  , also die affine  -Achse.
  • Der Fernpunkt der  -Achse   hat die Polare  , das ist  , also die affine  -Achse.
  • Die selbstkonjugierten Punkte liegen auf dem Kegelschnitt h, die selbstkonjugierten Geraden sind dessen Tangenten.
  • Zum Beispiel berühren die beiden Winkelhalbierenden des Koordinatensystems als Asymptoten der affinen Hyperbel den projektiven Kegelschnitt h in ihrem jeweiligen Fernpunkt, dieser Fernpunkt ist jeweils Pol der Asymptote. (Rechnerisch für die erste Winkelhalbierende:  ).
  • Wie beim Kreis (und bei jedem Kegelschnitt mit einem Mittelpunkt) ist der affine Mittelpunkt des Kegelschnitts, hier der Ursprung, polar zur Ferngerade.

Eine elliptische PolaritätBearbeiten

 
Elliptische Polarität auf der Kugel: Einem elliptischen Punkt (Antipodenpaar)  wird der Großkreis   als Polare zugeordnet, der durch die zu   senkrechte Ebene durch   aus der Kugel   geschnitten wird.

Sei  . Wir betrachten im dreidimensionalen Vektorraum   die Zuordnung, die jedem Vektor   den zu ihm (im Sinne des üblichen Skalarprodukts) senkrechten zweidimensionalen Unterraum   zuordnet. Im projektiven Raum   entspricht dies der Korrelation mit  . Dies ist eine projektive Polarität. Es existieren keine selbstkonjugierten Punkte (eindimensionale Unterräume von  ) oder Geraden (zweidimensionale Unterräume von  ), also ist die Polarität elliptisch.

Die reelle projektive Ebene kann man als Modell der reellen elliptischen Geometrie auffassen, indem man die Unterräume von   mit einer Kugel   um den Nullpunkt von   schneidet: Aus dem projektiven Punkt   wird dann das Punktepaar in dem die „Gerade“   die Kugel   trifft (Antipoden der Kugel werden also zu einem elliptischen Punkt „verklebt“), aus der projektiven Geraden   wird der Großkreis, in dem die Vektorraumebene die Kugel schneidet.

Also verhalten sich Polare und Pol wie der Erdäquator zu den geographischen Polen. Die Polare zu einem (elliptischen) Punkt (also zu einem Paar aus einem Punkt und seinem Gegenpunkt) ist dann der Großkreis, der am weitesten von diesem entfernt ist. Der Pol zu einem Großkreis   (der Polaren) ist dadurch gekennzeichnet, dass alle Großkreise, die senkrecht zu   stehen, sich dort schneiden.

Definiert man in der projektiven Ebene   eine Senkrechtrelation durch

  soll genau dann gelten wenn   den Pol (im Sinn der oben definierten Polarität) von   enthält“,

dann hat man mit der beschriebenen elliptischen projektiven Polarität eine „Metrik“ auf   eingeführt, mit der diese projektive Ebene zu einer elliptischen Ebene, genauer zu der (bis auf Isomorphie eindeutigen) elliptischen Ebene über dem Körper der reellen Zahlen wird. Jede elliptische Polarität der reellen projektiven Ebene lässt sich nämlich durch geeignete Wahl des Koordinatensystems auf die Form dieser elliptischen Polarität bringen.

Projektive Polarität in projektiven Räumen beliebiger, endlicher DimensionBearbeiten

In einem mindestens zweidimensionalen, pappusschen projektiven Raum   über einem Körper, hat man durch eine feste projektive Polarität eine bestimmte Eins-Zu-Eins-Zuordnung zwischen den Punkten und Hyperebenen des Raumes. Diese ist besonders einheitlich im elliptischen Fall: Die Tatsache, dass es keine selbstkonjugierten Punkte gibt, bedeutet geometrisch, dass kein Punkt auf der zu ihm polaren Hyperebene liegt.

Polaritäten über endlichen Räumen Bearbeiten

Durch ein Schubfachargument, das auch zu einer Abzählung der selbstkonjugierten Elemente bei einer endlichen Polarität verfeinert werden könnte, lässt sich beweisen: Existiert auf  ,   eine projektive, elliptische Polarität und ist die Charakteristik von   nicht  , dann muss   unendlich sein.

Gleichwertig: Ist K endlich mit   Elementen und  ,   und ist   eine reguläre Matrix, dann besitzt die Gleichung für selbstkonjugierte Punkte

 

eine nichttriviale Lösung  .

Es genügt, den Fall   zu betrachten: Man kann unter den genannten Voraussetzungen die Matrix mit den im Artikel projektive Quadrik dargestellten Methoden, insbesondere durch quadratische Ergänzung   auf die Diagonalform   bringen, geometrisch gesprochen wählt man eine Orthogonalbasis des  .[7] Die zu lösende Gleichung ist dann  , gleichwertig

 .

Setzt man   und betrachtet alle Elemente, die sich auf der linken Seite der Gleichung ergeben, wenn für   alle q Körperelemente eingesetzt werden, dann sind dies   verschiedene Zahlen, denn jeweils für genau zwei verschiedene Zahlen   ergibt sich derselbe Wert, die Einsetzung   liefert einen Zusätzlichen. Ist 0 unter den so dargestellten Werten, dann setzt man   und hat eine nichttriviale Lösung, ist 0 nicht darunter, sind also alle durch den Term auf der linken Seite der Gleichung (+) darstellbaren Zahlen in   enthalten, dann muss darunter auch eine Quadratzahl sein, denn   zerfällt in genau zwei Quadratklassen, die Klasse   der Quadratzahlen, die eine echte Untergruppe von   ist, und deren echte Nebenklasse  , beide Klassen enthalten je   Elemente, also weniger, als sich beim Einsetzen in die linke Seite von (+) ergeben. Damit muss es wieder eine nichttriviale Lösung der Gleichung (+) für selbstkonjugierte Punkte geben.

→ Die genauen Anzahlen selbstkonjugierter Punkte für Polaritäten über endlichen Räumen ergeben sich in den wichtigsten Fällen aus den Sätzen über Quadratische Mengen.

Polarinvolution als Polarität auf einer GeradenBearbeiten

Hinführendes Beispiel

Es sei   – die folgenden Überlegungen gelten aber über beliebigen Körpern mit  . Wir betrachten die „Geometrie“ im  , die nur aus den Ursprungsgeraden, also den eindimensionalen Teilräumen besteht. Jeder Teilraum   ist durch eine „Richtung“   gekennzeichnet. Es ist  . Andererseits gilt genau für die Punkte   einer Geraden   die homogene Gleichung  . Der Koeffizientenvektor   ist Normalenvektor der Geraden. Da sowohl die Richtungs- als auch die Normalenvektoren „homogen“ sind (nur bestimmt bis auf eine Multiplikation mit  ), ist die betrachtete Geometrie eine eindimensionale projektive Geometrie und die Zuordnung   mit   ist eine projektive, involutorische Korrelation dieser projektiven Geraden, also eine eindimensionale projektive Polarität. Beschreibt man die affine Ebene über   mit „Orthogonalität“ als eigentliche Ebene innerhalb der projektiven Ebene über  , dann hat man durch diese eindimensionale projektive Polarität auf der Ferngeraden  , also der Geraden mit den Koordinaten   eine projektive Invariante, die die (im beschriebenen Falle gewohnte) Orthogonalität projektiv beschreibt: Die projektive Geometrie selbst ordnet jeder Parallelenschar einen Fernpunkt als Richtung zu, die Polarinvolution ordnet jeder Richtung die zu ihr „polare“ Richtung zu, die wiederum die zu der Parallelenschar, von der man ausgegangen ist, senkrechte Schar ist.

Allgemein nennt man eine Polarität auf einer projektiven Geraden, die Teil eines (mindestens zweidimensionalen) projektiven Raumes ist, Polarinvolution. Da bei einer projektiven Geraden die Menge der Punkte zu sich selbst dual ist, ist jede Korrelation der Geraden auch eine Kollineation, jede projektive Korrelation eine Projektivität und in der Regel ist nur dieser Fall einer projektiven Korrelation auf einer Geraden in einem größeren projektiven Raum geometrisch interessant.

Spezielle PolarinvolutionenBearbeiten

  • Eine Polarinvolution heißt projektiv, wenn sie als Kollineation projektiv, also eine (eindimensionale) Projektivität ist.
  • Eine Polarinvolution heißt elliptisch, wenn sie keine Fixpunkte hat. Diese Definition überträgt die entsprechende Eigenschaft der zweidimensionalen Polarität, mit der Verschärfung, dass hier Inzidenz für Punkte Gleichheit bedeutet.
  • Eine Polarinvolution heißt hyperbolisch, wenn sie wenigstens einen Fixpunkt hat.

Die eindimensionale projektive Gruppe   operiert scharf dreifach transitiv auf der Geraden  , deshalb kann eine nichtidentische projektive Kollineation hier nur keinen, einen oder genau zwei Fixpunkte haben. Damit zeigt sich eine Analogie zum zweidimensionalen Fall: Die Fixelementmengen, die bei einer hyperbolischen, projektiven Polarinvolution auftreten können, bestehen aus einem „(doppelt zählenden) Punkt“ oder einem Punktepaar. Das sind genau die „Kegelschnitte“, die im eindimensionalen Raum neben der leeren Menge und der ganzen Geraden auftreten können.

Im Fall einer endlichen Geraden ist die Gesamtzahl der Punkte auf der Geraden   wegen der generellen Voraussetzung   gerade, da die Ordnung   der Geraden ungerade ist und der Fall genau eines Fixpunktes für eine Involution ausgeschlossen.

Eine hyperbolische, projektive Polarinvolution ist aber im Allgemeinen durch die Menge ihrer Fixpunkte nicht eindeutig bestimmt, anders als im zweidimensionalen Fall eine hyperbolische, projektive Polarität durch die Menge ihrer selbst-konjugierten Punkte.

VerallgemeinerungenBearbeiten

Desarguessche Räume beliebiger, endlicher DimensionBearbeiten

Geraden, Punkte

Auf einer projektiven Geraden ist die Menge der Punkte zu sich selbst dual und der Begriff Korrelation fällt mit dem Begriff Kollineation zusammen. Jede Bijektion der Punktmenge (also der Punkte auf der einzigen Geraden) ist eine Korrelation. Interessant ist hier nur die Untersuchung der involutorischen, projektiven Kollineationen. Projektive „Räume“ der Dimension   (Punkte) und   (leere Menge) liefern offensichtlich nichts Interessantes.

Mindestens dreidimensionale Räume

Jede mindestens dreidimensionale projektive Geometrie ist desarguesch, also als  -dimensionaler Raum   über einem Schiefkörper   darstellbar. Hier kann der Begriff Korrelation fast ohne Einschränkungen übertragen werden, wenn   isomorph zu seinem Gegenring ist:[8]   ist als Inzidenzstruktur mit den Grundgebilden Punkt, Gerade, …, Hyperebene isomorph zur dualen Struktur (Inzidenz kehrt sich dabei ggf. um). Jede bijektive Abbildung, die jedem Punkt eine Hyperebene, jeder Geraden einen  -dimensionalen Teilraum usw. inzidenztreu[9] zuordnet ist eine Korrelation. Wie im ebenen Fall gilt:

  • Die vollständige Korrelation ist durch die Bilder der Punkte bestimmt. Ist ein Koordinatensystem fest gewählt, dann bestimmt jede semilineare Abbildung   (  reguläre  -Matrix,   Schiefkörperautomorphismus von K) der Punktkoordinatenvektoren auf Hyperebenenkoordinatenvektoren die Korrelation eindeutig, jede Korrelation ist so darstellbar.
  • Eine Korrelation ist genau dann projektiv, wenn die Punktabbildung bezüglich eines Koordinatensystems (und dann in jedem Koordinatensystem) linear also der Körperautomorphismus   identisch ist.
  • Eine solche Korrelation ist unter den gleichen Bedingungen involutorisch wie im zweidimensionalen Fall.
  • Für die Komposition von zwei Korrelationen und das Quadrat einer Korrelation gelten die gleichen Beziehungen zu Kollineationen bzw. zur Identität wie sie oben für den zweidimensionalen Fall angegeben sind.
  • Die selbstkonjugierten Punkte einer projektiven involutorischen Korrelation bilden eine (eventuell leere) Hyperfläche zweiter Ordnung und die selbstkonjugierten Hyperebenen sind genau die Tangentialhyperebenen dieser Hyperfläche, falls   kommutativ ist und seine Charakteristik nicht   ist. Ohne diese Voraussetzungen muss dies nicht gelten! Daher setzt man in der Regel eine pappussche Geometrie, die dem Fano-Axiom genügt, voraus, wenn man von Polaritäten spricht.

Nichtdesarguessche EbenenBearbeiten

Für eine beliebige projektive Ebene   ist die duale Ebene   stets wieder eine projektive Ebene. Im Allgemeinen ist die Ebene aber nicht isomorph zu ihrer dualen Ebene. Nur wenn   ist, existiert also überhaupt eine Korrelation, dann wird sie auch so bezeichnet. Eine Korrelation existiert immer unter der folgenden Bedingung:

E ist eine desarguessche Ebene über einem Schiefkörper, der zu seinem Gegenring isomorph ist.[8]

Dann gilt über die Darstellung der Korrelation als semilineare Punktabbildung das im vorigen Abschnitt Gesagte.

LiteraturBearbeiten

Projektive Geometrie (im Sinne der üblichen Linearen Algebra)
  • Günther Eisenreich: Lineare Algebra und analytische Geometrie. 3., erw. und berichtigte Auflage. Akademie-Verlag, Berlin 1991, ISBN 3-05-501301-8, S. 286–290.
  • Benno Klotzek: Analytische Geometrie und Lineare Algebra. Harri Deutsch, Thun/ Frankfurt am Main 1997, ISBN 3-8171-1532-6, S. 218 f.
  • Uwe Storch, Hartmut Wiebe: Lehrbuch der Mathematik, Band II: Lineare Algebra. In: Lehrbuch der Mathematik für Mathematiker, Informatiker und Physiker: in 4 Bänden. BI-Wissenschafts-Verlag, Mannheim/ Leipzig/ Wien/ Zürich 1990, ISBN 3-411-14101-8.
Anwendung in der absoluten Geometrie

Einzelnachweise und AnmerkungenBearbeiten

  1. In diesem Zusammenhang ist eine Involution eine Abbildung   mit  , also nie die Identität, nach Konstruktion kann eine Korrelation ohnehin nicht identisch sein, da sie Punkte auf Geraden abbildet. Bachmann (1973)
  2. Sieht man die Inzidenzrelation   nicht als symmetrisch an, wie das manchmal in der Literatur geschieht, so wird diese Relation umgekehrt.
  3. a b c d Bachmann (1973), S. 88f.
  4. Oft wird noch verlangt, dass die Charakteristik dieses Körpers nicht 2 sei, geometrisch bedeutet das: die projektive Ebene erfülle das Fano-Axiom.
  5. Also für das Koeffiziententripel einer homogenen Ebenengleichung im  
  6. dort §8.2: Metrische Vektorräume und orthogonale Gruppen.
  7. Eine Basis aus 3 Vektoren, die bezüglich der gegebenen nicht ausgearteten Bilinearform paarweise orthogonal sind.
  8. a b Ist K kommutativ, also ein Körper, dann ist diese Bedingung trivial erfüllt.
  9. Bei symmetrischer Inzidenzrelation.