Affine Geometrie

Die affine Geometrie ist eine Verallgemeinerung der euklidischen Geometrie, in der zwar das euklidische Parallelenaxiom gilt, aber Abstand und Winkel keine Bedeutung haben. Der Begriff „affine Geometrie“ wird für das mathematische Teilgebiet und für die dadurch beschriebenen „Räume“ aus Punkten und Geraden (und daraus abgeleitet, Ebenen etc.) verwendet. Eine affine Geometrie als Raum wird auch als affiner Raum bezeichnet. Dabei ist zu beachten, dass jeder affine Raum, wie ihn die Lineare Algebra charakterisiert, auch den Anforderungen einer affinen Geometrie genügt, aber nicht umgekehrt. Die affine Geometrie verallgemeinert den bekannteren Begriff aus der Linearen Algebra. In diesem Artikel wird der allgemeinere Begriff, mit dem sich die synthetische Geometrie befasst, daher durchgehend als „affine Geometrie“ bezeichnet.

Im Sinne des Erlanger Programms von Felix Klein kann die affine Geometrie auch als Inbegriff der unter bijektiven affinen Abbildungen invarianten geometrischen Eigenschaften eingeführt werden.

Definition

Von einer affinen Geometrie spricht man, wenn eine Menge von Punkten ${\mathfrak {P}}$ , eine Menge von Geraden ${\mathfrak {G}}$ , eine Inzidenzrelation $\mathrm{I}$ zwischen ${\mathfrak {P}}$ und ${\mathfrak {G}}$ sowie eine Parallelitätsrelation $\|$ auf ${\mathfrak {G}}$ gegeben ist und folgende Axiome erfüllt werden:

Durch zwei verschiedene Punkte $A,\,B$ geht genau eine Gerade (d.h. und ), die Verbindungsgerade (auch $g=A\lor B$ geschrieben).
Auf jeder Gerade liegen mindestens zwei Punkte.
Die Parallelitätsrelation $\parallel$ ist eine Äquivalenzrelation
Durch jeden Punkt geht genau eine Gerade, die zu einer gegebenen Gerade parallel ist.
Wenn ein Dreieck (drei nicht auf einer Gerade liegende Punkte) gegeben ist und zwei Punkte und derart, dass die Gerade parallel zu der Geraden liegt, so gibt es einen Punkt so, dass auch parallel zu und parallel zu liegen.

Schreib- und Sprechweisen, Grundeigenschaften

Punkte werden mit großen lateinischen Buchstaben bezeichnet. $A,B,C,...\in {\mathfrak {P}}$
Geraden werden mit kleinen lateinischen Buchstaben bezeichnet. $a,b,c,...\in {\mathfrak {G}}$
Gilt für $A\in {\mathfrak {P}}$ und $g\in {\mathfrak {G}}\ A{\mathrm {I}}g$ so sagt man, A inzidiert mit g, oder A liegt auf g oder g geht durch A.
Gilt für $g,h\in {\mathfrak {G}}\ g\|h$ so sagt man, g und h sind parallel.
Die zu einem Paar $(A,g)\in {\mathfrak {P}}\times {\mathfrak {G}}$ nach dem vierten Axiom eindeutig gegebene Parallele zu durch wird gelegentlich als $(A;\parallel g)$ notiert.

Inzidenz mengentheoretisch

Die Menge der Punkte, die mit einer bestimmten Gerade $g\in {\mathfrak {G}}$ inzidieren, heißt Trägermenge der Geraden, diese Menge wird häufig als $g^{{\circ }}$ notiert. Formalisiert: $g^{{\circ }}=\{A\in {\mathfrak {P}}:AIg\}$
Aus den ersten beiden Axiomen folgt, dass zwei Geraden genau dann übereinstimmen, wenn sie mit denselben Punkten inzidieren, das heißt, wenn ihre Trägermengen gleich sind. Aus diesem Grund wird in der neueren Literatur oft gleich davon ausgegangen, dass jede Gerade die Menge der mit ihr inzidierenden Punkte ist, also $g=g^{{\circ }}$ . Dann gilt genau dann, wenn $A\in g$ gilt und die Inzidenzrelation kann vollständig durch die mengentheoretische Enthalten-Relation ersetzt werden.

Ebenen

Aus dem dritten Axiom folgt, dass jede Gerade zu sich selbst parallel ist, aus dem vierten folgt dann, dass Geraden, die parallel sind und einen Punkt gemeinsam haben, identisch sind. Mit anderen Worten: Sind zwei Geraden verschieden und parallel, dann sind sie disjunkt.
Disjunkte Geraden müssen im Allgemeinen nicht parallel sein.
Das fünfte Axiom kann man mit Hilfe des vierten gleichwertig auch so formulieren:

Wenn ein Dreieck ABC

gegeben ist und zwei Punkte und derart, dass die Gerade

parallel zu der Geraden A'B'

liegt, dann schneiden sich $(A';\parallel AC)$ und $(B';\parallel BC)$ .

Insbesondere ist der Punkt aus dem fünften Axiom eindeutig bestimmt.
Wenn es nun ein Dreieck gibt, also drei Punkte die nicht auf der gleichen Geraden liegen, dann kann man mit dem fünften Axiom einen sinnvollen Begriff einer Ebene $\varepsilon (ABC)$ definieren, die durch das Dreieck bestimmt ist. Eine mögliche Definition lautet so: Ein Punkt liegt genau dann in $\varepsilon (ABC)$ , wenn $(D;\parallel BC)$ die Geraden und schneidet.

Aus dem fünften Axiom kann man nun (mit einigem technischen Aufwand und mehreren Fallunterscheidungen) nachweisen, dass für Geraden, die in $\varepsilon (ABC)$ liegen, gilt: Sind zwei Geraden der Ebene disjunkt, dann sind sie parallel. Damit erfüllen diese „Ebenen“ alle Axiome einer affinen Ebene.

Zusammenfassend gilt:

Eine affine Geometrie, die zusätzlich das Reichhaltigkeitsaxiom

„Es gibt drei verschiedene Punkte aus ${\mathfrak {P}}$ (ein „Dreieck“), die nicht alle auf einer Geraden aus ${\mathfrak {G}}$ liegen.“

erfüllt, enthält eine Ebene $\varepsilon$ , so dass die Punkte auf dieser Ebene (als Punktmenge ${\mathfrak {P}}_{\varepsilon }={\mathfrak {P}}\cap \varepsilon$ ) mit ihren Verbindungsgeraden ( ${\mathfrak {G}}_{\varepsilon }=\{AB:(A,B)\in {\mathfrak {P}}_{\varepsilon }\times {\mathfrak {P}}_{\varepsilon }\;\land A\neq B\}$ als Geradenmenge) mit der eingeschränkten Parallelität ( $g\parallel _{\varepsilon }h\Leftrightarrow g\parallel h\land g,h\in {\mathfrak {G}}_{\varepsilon }$ ) die Axiome einer affinen Ebene erfüllen.

Genau dann, wenn außerdem ${\mathfrak {P}}_{\varepsilon }={\mathfrak {P}}$ gilt, wenn es also keine vier Punkte gibt, die nicht auf einer gemeinsamen Ebene liegen, ist die affine Geometrie eine affine Ebene.

Beispiele

Durch Vektorräume über einem Körper erzeugte affine Räume:
- Der euklidische Anschauungsraum kann durch einen dreidimensionalen Vektorraum über $\mathbb {R}$ erzeugt werden.
- Die euklidische Ebene kann durch einen zweidimensionalen Vektorraum über $\mathbb {R}$ erzeugt werden.
- Triviale Beispiele sind:
  - Kein Punkt, keine Geraden (-dimensionale affine Geometrie)
  - ein einzelner Punkt und keine Geraden (nulldimensionale affine Geometrie),
  - eine Gerade, auf der alle Punkte liegen (eindimensionale affine Geometrie),

Eine höchstens nulldimensionale Geometrie kann als Vektorraum über jedem beliebigen Körper angesehen werden, ist also auch ein affiner Raum der gleichen Dimension. Aus jeder Menge M, die wenigstens zwei Elemente enthält, kann man eine eindimensionale affine Geometrie machen: ${\mathfrak {P}}=M;{\mathfrak {G}}=\{M\},\parallel =\{(M,M)\}$ . Als eine affine Gerade über einem Körper kann diese genau dann angesehen werden, wenn der Körper sich bijektiv auf abbilden lässt.

Die kleinste affine Geometrie, die eine Ebene enthält, ist die affine Ebene, die durch den zweidimensionalen Vektorraum über dem endlichen Körper ${\mathbf {F}}_{2}$ erzeugt werden kann. Sie besteht aus den Punkten ${\mathfrak {P}}=\{A,B,C,D\}$ und den Geraden ${\mathfrak {G}}=\{AB,AC,AD,BC,BD,CD\}$ , die Verbindungsgeraden bestehen hier genau aus den beiden angegebenen Punkten. Ferner gilt $AB\parallel CD,AC\parallel BD,AD\parallel BC$ . → Siehe dazu auch die Abbildungen in Affine Ebene.

Desarguessche und nichtdesarguessche Geometrien

Alle durch Vektorräume über einem Körper und sogar alle auf die gleiche Weise durch Linksvektorräume über einem Schiefkörper erzeugten affinen Geometrien erfüllen den großen affinen Satz von Desargues, sie sind affine Räume im Sinne der linearen Algebra. Für mindestens dreidimensionale affine Geometrien gilt auch die Umkehrung: Sie lassen sich immer durch Linksvektorräume über einem Schiefkörper beschreiben. Es gibt aber auch ebene affine ("nichtdesarguessche") Geometrien (→ siehe Affine Ebene), die den desarguesschen Satz nicht erfüllen. Sie können mithin nicht durch einen Vektorraum erzeugt werden. Stattdessen kann man ihnen als Koordinatenbereich stets einen Ternärkörper zuordnen.

Einbettungsproblem und Koordinatenbereiche

Ein affiner Raum (im Sinne der linearen Algebra) ist immer zusammen mit seinem Koordinatenbereich, einem (Schief-)Körper und einem -(Links-)Vektorraum definiert (mit der Ausnahme des leeren affinen Raumes, der aber doch als Teilraum eines bestimmten Raumes zu einem Schiefkörper angesehen wird). In der linearen Algebra beschränkt man sich in der Regel auf Vektorräume über kommutativen Körpern, aber die wesentlichen geometrischen Tatsachen (außer dem Satz von Pappus) gelten auch allgemeiner für Linksvektorräume über Schiefkörpern.

Dadurch gilt für affine Räume:

Der Raum hat eine bestimmte Dimension $n={\mathrm {dim}}(A)$ , das ist die Dimension des Vektorraumes. Zusatzdefinition: Die leere Menge hat die Dimension .
Durch die algebraische Struktur des Vektorraums ist bei jeder Dimension klar, was die strukturerhaltenden Selbstabbildungen sind: Sie lassen sich als Affinitäten im Wesentlichen durch die strukturerhaltenden Abbildungen der Vektorräume beschreiben. Berücksichtigt man allein die Inzidenzstruktur und nicht die Vektorraumstruktur, dann kommt man zur größeren Gruppe der (ebenentreuen^[1]) Kollineationen, die aber für mindestens zweidimensionale affine Räume auch durch Affinitäten und Körperautomorphismen darstellbar ist.
Zu jeder kleineren Dimension als $n\;(-1<m<n)$ gibt es affine Teilräume $B\subset A$ , denen sich ein -dimensionaler -Unterraum zuordnen lässt.
Zu jeder größeren Dimension lässt sich als Teilraum eines affinen Raumes der Dimension auffassen, dem ein -dimensionaler -Vektorraum zugeordnet ist (Einbettung).

Für affine Geometrien gilt nun:

Wenn die Geometrie eine Ebene enthält, aber nicht mit ihr zusammenfällt, dann ist sie desarguesch und durch ihre Inzidenzstruktur und ihre Parallelität ist ein eindeutiger Schiefkörper und eine eindeutige Dimension (mindestens 3) über für den „Koordinatenvektorraum“ gegeben.

Wenn die Geometrie eine Ebene ist, die den Satz von Desargues erfüllt, gilt das Gleiche mit der Dimension 2.

Genau in diesen Fällen werden die Begriffe affine Geometrie und affiner Raum gleichbedeutend. Man übernimmt in den Punkten 1. bis 4. einfach die Begriffe der linearen Algebra.

Eine nichtdesarguesche Ebene bestimmt ebenfalls eine eindeutige Koordinatenstruktur, einen Ternärkörper, der allerdings im Allgemeinen viel schwächere Eigenschaften als ein Schiefkörper hat.

Die Dimension der Geometrie ist vereinbarungsgemäß 2, denn die Geometrie hat mehr als eine Gerade (daher mehr als eindimensional) und disjunkte Geraden sind immer parallel (daher weniger als dreidimensional).
Die strukturerhaltenden Abbildungen sind geradentreue (und damit im ebenen Fall trivialerweise auch parallelentreue) bijektive Selbstabbildungen der Ebene, die affinen Kollineationen.
Jede Gerade der Ebene ist ein Teilraum und natürlich eine eindimensionale affine Geometrie, die einpunktigen Teilmengen sind 0-dimensionale Teilräume.
Eine Einbettung in eine Geometrie mit höherer Dimension ist unmöglich.

Für null- und eindimensionale Geometrien, die nicht als Teilräume von mindestens zweidimensionalen Geometrien auftreten, ist offenbar eine Strukturuntersuchung uninteressant: Durch ihre Inzidenzstruktur ist über die reine Punktmenge hinaus nichts gegeben.

Eine Verallgemeinerung des Begriffes affine Geometrie ist der Begriff schwach affiner Raum. Jede affine Geometrie ist auch ein schwach affiner Raum. Einige nichtdesarguessche affine Ebenen sind echte Teilräume von schwach affinen Räumen, obwohl solche Ebenen niemals in umfassendere affine Geometrien eingebettet werden können.

Anmerkungen

↑ Man kann zeigen, dass für einen Raum mit mehr als 2 Punkten auf jeder Geraden jede geradentreue, bijektive Selbstabbildung, also jede Kollineation, zugleich ebenentreu ist. Für Räume mit genau zwei Punkten auf jeder Geraden muss die Ebenentreue zusätzlich gefordert werden. Dieser Sonderfall ist im Artikel „Kollineation“ ausführlich dargestellt.

Basierend auf einem Artikel in:

Wikipedia.de