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

Bearbeiten

Von einer affinen Geometrie spricht man, wenn eine Menge von Punkten  , eine Menge von Geraden  , eine Inzidenzrelation   zwischen   und   sowie eine Parallelitätsrelation   auf   gegeben ist und folgende Axiome erfüllt werden:[1]

  1. Durch zwei verschiedene Punkte   geht genau eine Gerade   (d. h.   und  ), die Verbindungsgerade   (auch   geschrieben).
  2. Auf jeder Geraden liegen mindestens zwei Punkte.
  3. Die Parallelitätsrelation   ist eine Äquivalenzrelation
  4. Durch jeden Punkt geht genau eine Gerade, die zu einer gegebenen Gerade parallel ist.
  5. 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

Bearbeiten
  • Punkte werden mit großen lateinischen Buchstaben bezeichnet.  
  • Geraden werden mit kleinen lateinischen Buchstaben bezeichnet.  
  • Gilt für   und   so sagt man, A inzidiert mit g, oder A liegt auf g oder g geht durch A.
  • Gilt für   so sagt man, g und h sind parallel.
  • Die zu einem Paar   nach dem vierten Axiom eindeutig gegebene Parallele zu   durch   wird gelegentlich als   notiert.

Inzidenz mengentheoretisch

Bearbeiten
  • Die Menge der Punkte, die mit einer bestimmten Gerade   inzidieren, heißt Trägermenge der Geraden, diese Menge wird häufig als   notiert. Formalisiert:  
  • 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,[2] also  . Dann gilt   genau dann, wenn   gilt und die Inzidenzrelation kann vollständig durch die mengentheoretische Enthalten-Relation ersetzt werden.
  • 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   gegeben ist und zwei Punkte   und   derart, dass die Gerade   parallel zu der Geraden   liegt, dann schneiden sich   und  .
  • 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   definieren, die durch das Dreieck   bestimmt ist. Eine mögliche Definition lautet so: Ein Punkt   liegt genau dann in  , wenn   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   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   (ein „Dreieck“), die nicht alle auf einer Geraden aus   liegen.“
erfüllt, enthält eine Ebene  , so dass die Punkte auf dieser Ebene (als Punktmenge  ) mit ihren Verbindungsgeraden (  als Geradenmenge) mit der eingeschränkten Parallelität ( ) die Axiome einer affinen Ebene erfüllen.
  • Genau dann, wenn außerdem   gilt, wenn es also keine vier Punkte gibt, die nicht auf einer gemeinsamen Ebene liegen, ist die affine Geometrie eine affine Ebene.

Beispiele

Bearbeiten
  • Durch Vektorräume über einem Körper erzeugte affine Räume:
    • Der euklidische Anschauungsraum kann durch einen dreidimensionalen Vektorraum über   erzeugt werden.
    • Die euklidische Ebene kann durch einen zweidimensionalen Vektorraum über   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:  . 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   erzeugt werden kann. Sie besteht aus den Punkten   und den Geraden  , die Verbindungsgeraden bestehen hier genau aus den beiden angegebenen Punkten. Ferner gilt  . → Siehe dazu auch die Abbildungen in Affine Ebene.

Desarguessche und nichtdesarguessche Geometrien

Bearbeiten

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

Bearbeiten

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:[1]

  1. Der Raum hat eine bestimmte Dimension  , das ist die Dimension des Vektorraumes. Zusatzdefinition: Die leere Menge hat die Dimension  .
  2. 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[3]) Kollineationen, die aber für mindestens zweidimensionale affine Räume auch durch Affinitäten und Körperautomorphismen darstellbar ist.
  3. Zu jeder kleineren Dimension   als   gibt es affine Teilräume  , denen sich ein  -dimensionaler  -Unterraum zuordnen lässt.
  4. 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:[4]

  • 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.[4]

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.
  1. 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).
  2. Die strukturerhaltenden Abbildungen sind geradentreue (und damit im ebenen Fall trivialerweise auch parallelentreue) bijektive Selbstabbildungen der Ebene, die affinen Kollineationen.
  3. Jede Gerade der Ebene ist ein Teilraum und natürlich eine eindimensionale affine Geometrie, die einpunktigen Teilmengen sind 0-dimensionale Teilräume.
  4. Eine Einbettung in eine Geometrie mit höherer Dimension ist unmöglich.[5]
  • 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.

Literatur

Bearbeiten
  • Günter Ewald: Geometrie. Eine Einführung für Studenten und Lehrer (= Moderne Mathematik in elementarer Darstellung. Band 14). Vandenhoeck & Ruprecht, Göttingen 1974, ISBN 3-525-40536-7 ([Inhaltsverzeichnis: DNB 750005521/04 Online] [abgerufen am 25. Dezember 2011] amerikanisches Englisch: Geometry, an introduction. Übersetzt von Anneliese Oberschelp).
  • Rudolf Fritzsch: Synthetische Einbettung Desarguesscher Ebenen in Räume. Mathematisch-Physikalische Semesterberichte, Nr. 21. 1974, S. 237–249 (Online [PDF; 953 kB; abgerufen am 30. Juli 2021]).
  • Jeremy Gray: Worlds out of nothing: a course of the history of geometry of the 19. Century. 1. Auflage. Springer, Berlin / Heidelberg / New York 2007, ISBN 978-0-85729-059-5.
  • Günter Pickert: Projektive Ebenen (= Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete. Band 80). 2. Auflage. Springer, Berlin / Heidelberg / New York 1975, ISBN 3-540-07280-2.
  • Daniel Richard Hughes, Fred. C. Piper: Projective planes. Springer, Berlin / Heidelberg / New York 1973, ISBN 0-387-90044-6.

Einzelnachweise und Anmerkungen

Bearbeiten
  1. a b Ewald (1974)
  2. Gray (2007)
  3. 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.
  4. a b Pickert (1975)
  5. Fritzsch (1974)