Une géométrie non euclidienne où il n'existe pas de droites parallèles ; souvent présentée comme la géométrie obtenue en identifiant les points antipodaux d'une sphère (sphère projective) ou comme des modèles de courbure positive constante dans lesquels toute paire de « droites » se rencontre. Elle met l'accent sur l'incidence globale sans le postulat des parallèles d'Euclide.

Principe

L'idée organisatrice est que l'identification antipodale ou la courbure positive globale supprime la possibilité de parallélisme : deux géodésiques distinctes représentant des droites s'intersectent, produisant des propriétés d'incidence et d'unicité différentes pour droites et segments par rapport à la géométrie euclidienne.

Démonstration

Le plan projectif réel RP^2, obtenu à partir de la sphère S^2 en identifiant les points antipodaux, est le plan elliptique standard : les géodésiques correspondent aux droites projectives et deux points distincts déterminent une droite projective unique, les sommes d'angles des triangles dépassant les valeurs euclidiennes lorsqu'on les relève sur la sphère.

Mauvaise application

Confondre la géométrie elliptique avec la géométrie sphérique ordinaire (ne pas tenir compte de l'identification antipodale) ou tenter d'appliquer des constructions euclidiennes basées sur les parallèles produira des affirmations fausses sur les droites, l'unicité des joins et la connectivité globale.

Conséquence

Appliquée correctement, la géométrie elliptique fournit des théorèmes d'incidence sans parallèles, impose des propriétés de compacité et de finitude des géodésiques, et fournit des modèles projectifs utiles en topologie et géométrie algébrique où l'identification des antipodes simplifie la structure globale.

Inversion

La réversion est la géométrie euclidienne (existence de parallèles) ou la géométrie hyperbolique (multiplicité de parallèles) ; elles contrastent la présence ou l'absence de parallèles et les effets qualitatifs du signe de la courbure sur les relations d'incidence.

Limite

La géométrie elliptique se réfère typiquement à des modèles de courbure positive constante avec identification antipodale (espaces projectifs) ; elle exclut les modèles sphériques sans identification où les antipodes restent distincts, et les variétés à courbure variable qui ne donnent pas de quotients antipodaux globaux.

Tension sémantique

Tension entre géométrie elliptique et sphérique : localement identiques (courbure positive), elles diffèrent globalement par l'identification antipodale, ce qui entraîne des déclarations différentes sur l'unicité des droites, l'orientation et le groupe fondamental.

Synthèse

La géométrie elliptique unit courbure positive et identification antipodale pour produire une géométrie sans parallèles : elle conserve les propriétés métriques sphériques locales tout en modifiant les caractéristiques d'incidence et topologiques globales, donnant un modèle projectif compact du comportement non euclidien.