Die Geometrie der auf der Oberfläche einer Kugel mit der Standardmetrik gezeichneten Figuren, wobei Geodäten Großkreise sind, Dreiecke Winkelsummen größer als euklidische Werte haben und die Krümmung konstant und positiv ist.

Prinzip

Die ordnende Idee ist positive Krümmung: Geodäten divergieren zunächst, konvergieren aber schließlich wieder, was zu geschlossenen Geodäten (Großkreisen), sphärischem Überschuss für Dreiecksflächen und endlicher Gesamtfläche bei kompakten Kugeln führt.

Demonstration

Auf der Einheitskugel in Dimension zwei ist die Fläche eines geodätischen Dreiecks gleich seinem sphärischen Überschuss (Summe der Winkel minus π). Großkreise sind Geodäten und zwei verschiedene Großkreise schneiden sich in zwei antipodalen Punkten; das Cut-Locus eines Punktes ist dessen Antipode.

Fehlanwendung

Großkreise als gerade Linien im euklidischen Sinn zu behandeln oder planare trigonometrische Flächenformeln anzuwenden führt zu Fehlern; etwa ist die Anwendung von Basis·Höhe/2 zur Berechnung der Fläche eines sphärischen Dreiecks ungültig, und das Annehmen von Parallelen führt zu Widersprüchen.

Konsequenz

Korrekte Anwendung ergibt konkrete Formeln, die Krümmung, Fläche und Winkeldifferenz verknüpfen, erklärt Phänomene wie Antipodalität und geschlossene Geodäten und liefert Modelle für elliptische Geometrie bei Identifikation antipodaler Punkte.

Umkehrung

Die Umkehr besteht darin, Räume negativer Krümmung (hyperbolische Geometrie) zu betrachten, in denen Geodäten exponentiell divergieren und Dreiecke Winkelsummen unter den euklidischen Werten haben, wodurch viele qualitative Merkmale sphärischer Räume invertiert werden.

Abgrenzung

Gilt für die Standardkugel S^n mit ihrer Rundmetrik und für Mannigfaltigkeiten konstanter positiver Krümmung; viele sphärische Intuitionen versagen auf Flächen mit variabler Krümmung oder nichtkompakten positiven Modellen.

Semantische Spannung

Es besteht Spannung zwischen sphärischer und elliptischer Geometrie: Beide haben lokal positive Krümmung, doch elliptische Geometrie identifiziert antipodale Punkte und besitzt andere globale Inzidenzeigenschaften; außerdem besteht Spannung mit ebenen Approximationen in Navigation und Kartografie.

Synthese

Sphärische Geometrie fasst konstante positive Krümmung in einem klaren Regelwerk zusammen: Großkreise als kürzeste Wege, Dreiecksexzess bestimmt Fläche, Geodäten konvergieren wieder und die Gesamtfläche ist endlich, mit direkten Folgen für Topologie und globale Inzidenzbeziehungen.