Eine nicht-euklidische Geometrie, in der es keine parallelen Geraden gibt; üblicherweise dargestellt als die Geometrie, die durch Identifikation antipodaler Punkte auf einer Kugel (projektive Kugel) entsteht, oder als Modelle konstanter positiver Krümmung, in denen jedes Paar von ‚Geraden‘ sich schneidet. Sie betont globale Inzidenz ohne Euklids Parallelenaxiom.

Prinzip

Die ordnende Idee ist, dass Antipodenidentifikation oder globale positive Krümmung Parallelen unmöglich macht: Zwei verschiedene Geodäten, die Geraden repräsentieren, schneiden sich, was andere Inzidenz- und Eindeutigkeitsaussagen für Geraden und Strecken als in der euklidischen Geometrie zur Folge hat.

Demonstration

Die reelle projektive Ebene RP^2, gewonnen aus der 2-Sphäre durch Identifikation antipodaler Punkte, ist die Standard-elliptische Ebene: Geodäten entsprechen projektiven Geraden und je zwei verschiedene Punkte bestimmen genau eine projektive Gerade; die Winkelsummen von Dreiecken übersteigen die euklidischen Werte, wenn man sie auf die Sphäre hebt.

Fehlanwendung

Elliptische Geometrie mit gewöhnlicher sphärischer Geometrie zu verwechseln (Antipodenidentifikation nicht zu berücksichtigen) oder euklidische, auf Parallelen basierende Konstruktionen anzuwenden, führt zu falschen Aussagen über Geraden, Eindeutigkeit von Verbindungslinien und globale Konnektivität.

Konsequenz

Richtig angewendet liefert elliptische Geometrie Inzidenzsätze ohne Parallelen, erzwingt Kompaktheits- und Finitheitseigenschaften von Geodäten und bietet projektive Modelle, die in Topologie und algebraischer Geometrie nützlich sind, wo die Antipodenidentifikation die globale Struktur vereinfacht.

Umkehrung

Die Umkehr ist die euklidische Geometrie (Existenz von Parallelen) oder die hyperbolische Geometrie (viele Parallelen durch einen Punkt); diese kontrastieren das Vorhandensein oder Fehlen von Parallelen und die qualitativen Effekte des Krümmungszeichens auf Inzidenzrelationen.

Abgrenzung

Elliptische Geometrie bezieht sich typischerweise auf Modelle konstanter positiver Krümmung mit Antipodenidentifikation (projektive Räume); sie schließt sphärische Modelle ohne Identifikation aus, wenn Antipoden unterschieden bleiben, und varikruemmige Mannigfaltigkeiten, die keine globalen antipodalen Quotienten liefern.

Semantische Spannung

Es besteht Spannung zwischen elliptischer und sphärischer Geometrie: Lokal identisch (positive Krümmung), unterscheiden sie sich global durch die Antipodenidentifikation, was zu unterschiedlichen Aussagen über Eindeutigkeit von Geraden, Orientierung und Fundamentalgruppe führt.

Synthese

Elliptische Geometrie vereint positive Krümmung und Antipodenidentifikation zu einer Geometrie ohne Parallelen: Sie behält lokale sphärische Metrikeigenschaften bei, verändert jedoch globale Inzidenz- und topologische Merkmale und liefert ein kompaktes, projektives Modell nicht-euklidischen Verhaltens.