Schwach affiner Raum

Schwach affine Räume s​ind in d​er synthetischen Geometrie e​ine Verallgemeinerung d​er affinen Geometrien. Emanuel Sperner führte s​ie Anfang d​er 1960er Jahre ein,[1] u​m auch für nichtdesarguessche affine Ebenen d​ie Einbettung i​n Räume höherer Dimension z​u ermöglichen. Sie werden z​u Ehren i​hres Erfinders a​uch als Sperner spaces[2] bezeichnet.

Definition

Gegeben ist ein System ${\displaystyle \left({\mathcal {P}},{\mathcal {G}},\parallel \right)}$, wobei die Elemente von ${\displaystyle {\mathcal {P}}}$ als Punkte bezeichnet werden, die Elemente von ${\displaystyle {\mathcal {G}}}$ als Geraden und die Relation ${\displaystyle \parallel }$ zwischen Geraden als Parallelitätsrelation. Die Menge ${\displaystyle {\mathcal {G}}}$ der Geraden soll als Elemente nur Mengen von Punkten enthalten. Dieses System wird als schwach affiner Raum bezeichnet, wenn die folgenden Axiome gelten:[2]

(A1) Zu zwei verschiedenen Punkten ${\displaystyle A,B\in {\mathcal {P}}}$ existiert genau eine Gerade ${\displaystyle g\in {\mathcal {G}}}$, die mit beiden Punkten inzidiert, für die also ${\displaystyle A,B\in g}$ gilt.

(A2) Die Anzahl der Punkte auf jeder Geraden ist gleich groß.

(A3) Die Parallelitätsrelation ist eine Äquivalenzrelation.

(A4) Für jedes Paar ${\displaystyle (P,g)\in {\mathcal {P}}\times {\mathcal {G}}}$ aus einem Punkt und einer Gerade gibt es genau eine Gerade ${\displaystyle h\in {\mathcal {G}}}$ mit den Eigenschaften ${\displaystyle h\parallel g}$ und ${\displaystyle P\in h}$.

Statt d​es Axioms (A2) w​ird auch e​ine schärfere Variante benutzt, d​ie nur e​ine endliche Anzahl v​on Punkten a​uf jeder Geraden zulässt u​nd einige Trivialfälle ausschließt:

(A2e) Es gibt eine natürliche Zahl ${\displaystyle s\geq 2}$, so dass jede Gerade ${\displaystyle g}$ genau ${\displaystyle s}$ Punkte enthält.

Wie b​ei affinen Ebenen w​ird die Anzahl d​er Punkte a​uf einer Geraden a​ls Ordnung d​es schwach affinen Raumes bezeichnet.

Eigenschaften

• Im Unterschied zu den Axiomen einer affinen Ebene (im axiomatischen Sinn) und einem affinen Raum (über einem Schiefkörper) wird die Parallelität bei einem schwach affinen Raum nicht inhaltlich bestimmt:

• Aus (A3) folgt, dass jede Gerade zu sich selbst parallel ist und aus der Eindeutigkeit der Parallelen (A4) folgt dann, dass Geraden, die parallel und nicht identisch sind, tatsächlich disjunkt sein müssen. Im Gegensatz zu affinen Ebenen und affinen Blockplänen gilt die Umkehrung im Allgemeinen nicht.

• Jede affine Ebene erfüllt die Axiome (A1) bis (A4) eines schwach affinen Raumes, ebenso jede affine Geometrie.
• Jede endliche affine Ebene und jeder endliche affine Raum erfüllt die Axiome (A1), (A2e), (A3) und (A4).
• Existiert eine leere Gerade ${\displaystyle g=\emptyset }$, so ist sie (nach A2) die einzige Gerade des schwach affinen Raumes.
• Wenn es mindestens zwei verschiedene Geraden gibt, dann enthält jede Gerade mindestens zwei verschiedene Punkte. Daher ist ein endlicher schwach affiner Raum genau dann ein linearer Raum, wenn er mehr als eine Gerade enthält. In linearen Räumen ist es dagegen im Allgemeinen nicht möglich, eine Parallelitätsrelation, die (A3) und (A4) erfüllt, einzuführen.
• Jeder endliche schwach affine Raum mit wenigstens zwei Geraden erfüllt die Axiome (A1), (A2e), (A3) und (A4) und ist ein 2-${\displaystyle (v,s,1)}$ Blockplan, wobei die Geraden die Blöcke sind und ${\displaystyle s}$ die Konstante aus dem Axiom (A2e) ist. Die Parallelitätsrelation des schwach affinen Raumes ist dann auch ein Parallelismus des Blockplanes, allerdings ist der schwach affine Raum damit im Allgemeinen kein affiner Blockplan.
• Während eine affine Geometrie immer den Satz von Desargues erfüllt, wenn ihre Dimension größer als 2 ist, muss dies für einen schwach affinen Raum nicht gelten. (Die Festlegung eines Dimensionsbegriffes für schwach affine Räume ist etwas delikat und wenig anschaulich. In dieser Aussage soll Dimension anschaulich und sehr eingeschränkt so verstanden werden: Die Dimension des schwach affinen Raumes ist genau dann kleiner oder gleich 2, wenn aus der Disjunktheit von zwei Geraden stets deren Parallelität folgt.)
• In gewissen Fällen ist es möglich, auch einen schwach affinen Raum, der keine affine Geometrie ist, analog zu einer affinen Geometrie mit einem Fernraum projektiv abzuschließen.[3]

Beispiele

Trivialfälle

Bei d​en folgenden Beispielen i​st mit „Raum“ o​hne Zusätze i​mmer ein schwach affiner Raum i​m Sinne d​er Axiome (A1)-(A4) gemeint. Mit „Affiner Raum“ i​st ein Raum i​m Sinne d​er linearen Algebra, a​lso ein affiner Raum über e​inem Schiefkörper gemeint, e​s gilt d​ie dort übliche Parallelität, b​ei den projektiven Räumen m​uss diese Relation ggf. hinzugefügt werden, a​uch diese s​ind als projektive Erweiterung v​on affinen Räumen z​u verstehen. Dagegen i​st eine „Affine Geometrie“ h​ier die axiomatisch beschriebene Struktur, d​ie nur d​ann desarguessch s​ein muss, w​enn ihre Dimension größer a​ls 2 ist. Eine Affine Ebene i​st gleichbedeutend m​it zweidimensionale affine Geometrie.

• Die leeren Räume:

• Das System ${\displaystyle (\emptyset ,\emptyset ,\emptyset )}$ bildet einen Raum, der auch (A2e) leer erfüllt. Es beschreibt einen affinen und projektiven Raum und eine affine Geometrie der Dimension −1.
• Ebenso bildet ${\displaystyle \left(\emptyset ,\{\emptyset \},\{(\emptyset ,\emptyset )\}\right)}$ einen Raum. Dies ist der einzige schwach affine Raum mit einer leeren Geraden und weder ein affiner noch ein projektiver Raum und auch keine affine Geometrie.

• Die einpunktigen Räume:

• Ein Raum aus einem Punkt ohne Geraden und damit mit leerer Parallelitätsrelation erfüllt (A2e) und ist zugleich ein affiner und projektiver Raum und eine affine Geometrie der Dimension 0.
• Andererseits kann der eine Punkt einziger Punkt auf der einzigen Geraden des Raumes sein, die Gerade ist dann zu sich selbst parallel. Dieser Fall genügt nicht den Bedingungen an einen affinen oder projektiven Raum oder eine affine Geometrie.

• Zu jeder beliebigen Punktmenge mit mehr als einem Punkt gibt es einen Raum mit genau einer Geraden, die alle Punkte des Raumes enthält und nur zu sich selbst parallel ist. Alle eindimensionalen affinen und projektiven Räume haben diesen Typ und erfüllen die Axiome (A1) bis (A4). (Im projektiven Fall muss hier die Parallelitätsrelation entsprechend ergänzt werden.) Bei einer endlichen Zahl von Punkten größer 1 auf der einzigen Geraden erfüllt der Raum das schärfere Axiomensystem (A1), (A2e), (A3), (A4) und ist immer eine eindimensionale affine Geometrie.
• Der kleinste Raum mit mehr als einer Geraden ist das Minimalmodell einer affinen Ebene. Dies ist ein linearer und affiner Raum, aber kein projektiver Raum.

Eine Klasse endlicher Modelle

Sei ${\displaystyle K}$ ein endlicher Linksfastkörper, ${\displaystyle n\in \mathbb {N} ,n\geq 2}$. Dann verwendet man als Punktmenge ${\displaystyle K^{n}}$. Eine Gerade ${\displaystyle g}$ wird durch einen Punkt ${\displaystyle p_{0}\in K^{n}}$ und die Vielfachen eines „Vektors“ ${\displaystyle v\in K^{n}\setminus \lbrace 0\rbrace }$[4] bestimmt, das heißt durch die Parametergleichung

${\displaystyle g:x=p_{0}+v\cdot \lambda$ :\quad \lambda \in K.}

Zwei Geraden mit den erzeugenden Vektoren ${\displaystyle v,w\in K^{n}\setminus \lbrace 0\rbrace }$ sind genau dann parallel, wenn Skalare ${\displaystyle \lambda ,\mu \in K\setminus \lbrace 0\rbrace }$ existieren, mit denen ${\displaystyle v\cdot \lambda +w\cdot \mu =0}$ gilt.

Die s​o definierten Räume s​ind schwach a​ffin und genügen d​em schärferen Axiomensystem (A1), (A2e), (A3), (A4).

• Für ${\displaystyle n=2}$ sind diese Räume affine Translationsebenen und genau dann desarguessch, wenn ${\displaystyle K}$ ein Körper ist.
• Für ${\displaystyle n>2}$ sind sie nur dann affine Räume (und dann natürlich auch affine Geometrien), wenn ${\displaystyle K}$ ein Körper ist.

Unendliches Beispiel

Die Punktmenge sei ${\displaystyle {\mathcal {P}}=\mathbb {Z} ^{2}}$, das Gitter der Punkte mit ganzzahligen Koordinaten in der reellen Ebene, ${\displaystyle {\mathcal {H}}}$ die Menge der rationalen Geraden, also die Geradenmenge der affinen Ebene ${\displaystyle \mathbb {Q} ^{2}}$ über den rationalen Zahlen. Jede rationale Gerade, die überhaupt einen Punkt mit ganzzahligen Koordinaten enthält, trifft unendlich viele solche Punkte, daher erfüllt die Geradenmenge ${\displaystyle {\mathcal {G}}=\lbrace h\cap \mathbb {Z} ^{2}:\;h\in {\mathcal {H}}\rbrace \setminus \lbrace \emptyset \rbrace }$ das Axiom (A2), jede „Gerade“ aus ${\displaystyle {\mathcal {G}}}$ ist abzählbar unendlich. Die Parallelitätsrelation ${\displaystyle \parallel }$ soll die von den rationalen „Trägergeraden“ geerbte sein ${\displaystyle \left(g_{1}\parallel g_{2}\Leftrightarrow \exists h_{1},h_{2}\in {\mathcal {H}}:g_{1}\subset h_{1}\land g_{2}\subset h_{2}\land h_{1}\parallel h_{2})\right)}$. Dann ist ${\displaystyle \left({\mathcal {P}},{\mathcal {G}},\parallel \right)}$ ein unendlicher schwach affiner Raum. Er ist weder ein affiner noch ein projektiver Raum und auch keine affine Geometrie.

Literatur

• Hans-Joachim Arnold: Über Fernräume schwach affiner Räume. In: Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg. Band 30, Nr. 1-2. Universität Berlin, Hamburg 1967, S. 75–105, doi:10.1007/BF02993993.
• Tomáš Kepka, Petr Němec: Trilinear constructions of quasimodules. In: Commentationes Mathematicae Universitatis Carolinae. Vol. 21, Nr. 2, 1980, ISSN 1213-7243, S. 341–354 (online).
• Aleksandar Samardžiski: A class of finite Sperner spaces. In: Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg. Volume 42, Nr. 1, ISSN 1435-5345, S. 205–211, doi:10.1007/BF02993547.
• Werner Seier: Eine Kennzeichnung der schwach affinen Räume über Skalarensystemen. In: manuscripta mathematica. Volume 8, Nr. 1, 1960, ISSN 1435-5345, S. 39–57, doi:10.1007/BF01317576.
• Emanuel Sperner: Affine Räume mit schwacher Inzidenz und zugehörige algebraische Strukturen. In: Journal für die reine und angewandte Mathematik (Crelles Journal). Band 1960, Nr. 204. Universität Berlin, 1960, ISSN 1435-5345, S. 205–215, doi:10.1515/crll.1960.204.205.
• Emanuel Sperner: On non-desarguesian geometries. In: Seminari dell’Istituto Nazionale di Alta Matematica. Serie 3, Band 17, Nr. 4. UNIONE MATEMATICA ITALIANA, Roma 1962 (online [PDF; abgerufen am 25. Juni 2012]).

Einzelnachweise

1. Sperner (1960) und (1964)
2. Samardžiski (1972)
3. Arnold (1967)
4. ${\displaystyle K^{n}}$ wird bei Sperner (1960) als „verallgemeinerter Vektorraum“ bezeichnet, bei Kepka und Němec (1980) als Quasimodul über ${\displaystyle K}$.