Projektive Ebenen

Wie sieht eine Geometrie ohne parallele Geraden aus? Um dies zu untersuchen verwenden wir die folgenden Axiome: Inz4

Inz5

Eine Struktur, die den Axiomen Inz1 bis Inz5 genügt heißt projektive Ebene.

Auf Inz2 können wir verzichten, da Inz5 es umfasst. Wegen Satz WH94 genügt für Inz4 die schwächere Formulierung, dass sich verschiedene Geraden in mindestens einem Punkt schneiden.

Durch die oben gewählte Formulierung der Axiome gilt jedoch offensichtlich:

Jede projektive Ebene ist eine Inzidenzebene.
Die Umkehrung muss natürlich nicht gelten, wie die minimale Inzidenzebene aus Beispiel AJ15 zeigt, bei der auf jeder Gerade nur zwei Punkte liegen. Natürlich ist eine affine Ebenen keine projektive Ebene, da nach Axiome Inz4 keine Parallelen existieren.

In einer projektiven Ebene gehen durch jeden Punkt mindestens drei Geraden.

Nach Satz QQ23 bleibt lediglich der Fall auszuschließen, dass durch einen Punkt genau zwei Geraden gehen. Angenommen, der Punkt $P$ liegt genau auf zwei Geraden $g$ und $h$. Dann gibt es nach Inz5 auf jeder dieser Geraden mindestens einen weiteren Punkt $A\in g$ bzw. $B\in h$. $P$ liegt nicht auf der Verbindungsgerade $A\vgr B$, da sonst nach Satz WI24 die Geraden $g$ und $h$ gleich wären, im Widerspruch dazu, dass durch $P$ zwei verschiedene Geraden gehen. Nach Axiom Inz5 enthält die Gerade $A\vgr B$ einen weiteren Punkt $Q$, der von $A$ und $B$ verschieden ist. Nach Inz1 existiert die Verbindungsgerade $P\vgr Q$, diese kann aber weder mit $P\vgr A$ noch mit $P\vgr B$ identisch sein. Damit gibt es eine dritte Gerade durch den Punkt $P$, im Widerspruch zur Annahme, dass durch $P$ genau zwei Geraden gehen. $\qed$
Satz ME69 erlaubt es ein Dualitätsprinzip für projektive Ebenen aufzustellen. Tauschen wir nämlich die Begriffe Punkte mit Geraden und "Punkt liegt auf Gerade" mit "Gerade enthält Punkt", dann erhalten wir wieder eine projektive Ebene, nämlich die duale Ebene.

Inz5 fordert, dass alle Geraden mindestens drei Punkte enthalten und nach Satz ME69 wissen wir, dass durch jede Gerade mindestens drei Punkte gehen. In der in Abb. IP96 veranschaulichten projektiven Ebene hat jede Gerade genau drei Punkte und durch jeden Punkt gehen genau drei Geraden. Sie heißt Fano-Ebene^[1].

Wir betrachten als Punkte alle Punkte auf der Oberfläche der Einheitskugel. Die Geraden seien die Großkreise. Dann sind die Axiome Inz2 und Inz3 und sogar Inz5 erfüllt, jedoch Inz1 nicht, denn für zwei diametral gegenüberliegende Punkte gibt es unendlich viele Großkreise, die diese Punkte enthalten.

Identifizieren wir wie in Abb. AK83 angedeutet diese diametral gegenüberliegenden Punkte und definieren diese Paare als Punkte, ist nun auch Inz1 erfüllt. Die "Gerade" $g$ ist z.B. genau der Großkreis durch die Punkte $P$ und $Q$. Die Geraden $g$ und $h$ schneiden sich im Punkt $Q$. Damit handelt es sich nicht nur um eine Inzidenzstruktur, sondern sogar um eine projektive Ebene.

In einer projektiven Ebene gibt es wenigstens vier verschiedene Punkte, von denen jeweils drei nicht kollinear sind. Es existieren also echte Vierecke.
Man kann die Axiomatik der projektivem Ebene auch basierend auf diesem Satz und den Axiomen Inz1 und Inz4 aufbauen. Der von uns gewählte Weg erscheint uns jedoch besser zu sein, da die gewählten Axiome anschaulicher sind.

Wir werden die vier gesuchten Punkte konstruieren und zeigen, dass sie die geforderten Eigenschaften haben, dabei mag dem Leser Abb. TU01 beim Nachvollziehen der Beweisschritte helfen. Wir benutzen häufig Satz WI24 ohne darauf explizit hinzuweisen.

Wir gehen von drei nicht kollinearen Punkten $A$, $B$ und $C$ aus, deren Existenz nach Inz3 gesichert ist. Auf der Verbindungsgeraden $B\vgr C$ liegt nun nach Inz5 ein weiterer Punkt $P$. Es gilt außerdem $P\neq A$, denn andererseits wäre $A\vgr B=P\vgr B=B\vgr C$, also $A\in B\vgr C$, im Widerspruch dass $A$,$B$ und $C$ nicht kollinear sind. Weiterhin liegt $P$ weder auf $A\vgr B$ noch auf $A\vgr C$. Denn mit $P\in A\vgr B$ und $P\in B\vgr C$ wäre $P=B$ der eindeutig bestimmte Schnittpunkt der beiden Verbindungsgeraden. Für $P\notin A\vgr C$ argumentiert man analog.

Die Verbindungsgerade $A\vgr Q$ enthält wegen Inz5 auch noch einen dritten Punkt $Q$. Wir zeigen zunächst, dass dieser nicht mit $B$ oder $C$ übereinstimmen kann, daher also alle fünf von uns konstruierten Punkte verschieden sind, insbesondere dann auch $A$,$B$,$C$ und $Q$ verschiedene Punkte sind. Angenommen $Q=B$, dann wäre wegen $A\vgr P=A\vgr Q=A\vgr B$ nun sicher $P\in A\vgr B$, dies hatten wir jedoch oben widerlegt. Man argumentiert wieder analog für $Q\ne A$.

Bleibt nur noch zu zeigen, dass für die vier Punkte $A$,$B$,$C$ und $Q$ jedes Tripel nicht auf einer Geraden liegt. Für $A$,$B$ und $C$ ist dies klar, da sie genauso gewählt waren.

Wäre $Q\in A\vgr B$, dann wäre auch $A\vgr P=Q\vgr A=A\vgr B$, also $P\in A\vgr B$, was wir oben widerlegt haben. Die drei Punkte $A$,$B$ und $Q$ sind nicht kollinear.

Wäre $Q\in A\vgr C$, dann wäre auch $A\vgr P=Q\vgr A=A\vgr C$, also $P\in A\vgr C$, was wir oben widerlegt haben. Die drei Punkte $A$,$C$ und $Q$ sind nicht kollinear.

Wäre $Q\in B\vgr C$, dann wäre $Q\vgr B=B\vgr C=P\vgr B$ Sowohl $P$ als auch $Q$ wären der eindeutige Schnittpunkt von $B\vgr C$, und damit $P=Q$ im Widerspruch zu oben. Die drei Punkte $B$,$C$ und $Q$ sind nicht kollinear.$\qed$

Inz2 ist eine schwächere Formulierung von Inz5, daher können die Axiome Inz1 bis Inz5 nicht unabhängig sein. Es gilt jedoch:

Die Axiome Inz1, Inz3, Inz4 und Inz5 sind voneinander unabhängig.

In Abb. NE34 haben wir Beispiele für Strukturen angegeben, die jeweils ein Axiom erfüllen und die anderen drei verletzen.

Insbesondere gibt es in Abb. NE34 b) keine drei Punkte in allgemeiner Lage, zwei Geraden schneiden sich aber in einem Punkt, denn dies gilt trivial, da es nur eine Gerade gibt.

In Abb. NE34 c) gibt es parallele Geraden. Es handelt sich hier um eine affine Ebene. Jede affine Ebene mit Geraden mit wenigstens drei Punkten kann hier als Beispiel angeführt werden, also auch die euklidische Anschauungsebene. $\qed$

Das Axiom Inz5 können wir durch eine schwächere Version ersetzen. Es reicht schon aus, wenn es zwei Geraden mit drei Punkten gibt:

Gelten die Axiome Inz1, Inz3, Inz4 und gibt es zwei verschiedene Geraden mit mindestens drei Punkten, dann handelt es sich um eine projektive Ebene.

Seien $g$ und $h$ die zwei Geraden mit mindestens drei Punkten, dann zeigen wir, dass eine beliebige Gerade $k$ ($k\ne g$,$k\ne h$) ebenfalls mindestens drei Punkte enthält. Nach Inz4 existiert der Schnittpunkt $P=g\cap h$. Die beiden folgenden Fälle sind in Abb. NA26 veranschaulicht.

Fall 1: $P$ liegt nicht auf $k$. Seien $A=g\cap k$ und $B=h\cap k$ die Schnittpunkte mit der Geraden $k$, welchen nach Inz4 existieren und auch verschieden sind. Wegen der Voraussetzung existieren auf $g$ und $h$ jeweils ein weiterer Punkt $A'$ bzw. $B'$. Ihre Verbindungsgerade $A'\vgr B'$ existiert nach Inz1 und ist sicher von $k$ verschieden. Sei nun $Q=(A'\vgr B')\cap k$ der Schnittpunkt dieser Verbindungsgeraden mit $k$. Damit sind $A$,$B$ und $Q$ drei verschiedene Punkte auf der Geraden $k$.

Fall 2: $P$ liegt auf $k$. Seien nun $A$ bzw. $B$ von $P$ verschiedene Punkte, die auf $g$ bzw. $h$ liegen und $g'=A\vgr B$ die Verbindungsgerade von $A$ und $B$. Da $g'$ nicht durch $P$ geht, können wir Fall 1 anwenden und so zeigen, dass $g'$ mindestens drei Punkte enthält. Nun liegen $g$, $g'$ und $k$ wie im Fall 1, wobei $A$ die Rolle von $P$ übernimmt, da $k$ nicht durch $A$ geht, können wir Fall 1 tatsächlich anwenden und so zeigen, dass auf $k$ mindestens drei Punkte liegen. $\qed$