Una geometría no euclidiana en la que no existen rectas paralelas; comúnmente presentada como la geometría obtenida al identificar puntos antipodales en una esfera (esfera proyectiva) o como modelos de curvatura positiva constante en los que cada par de 'rectas' se encuentra. Pone de relieve la incidencia global sin el postulado de las paralelas de Euclides.

Principio

La idea organizadora es que la identificación antipodal o la curvatura positiva global eliminan la posibilidad de paralelismo: dos geodésicas distintas que representan rectas se intersectan, lo que produce propiedades de incidencia y unicidad diferentes para rectas y segmentos en comparación con la geometría euclidiana.

Demostración

El plano proyectivo real RP^2, obtenido de la esfera S^2 identificando puntos antipodales, es el plano elíptico estándar: las geodésicas corresponden a rectas proyectivas y cada par de puntos distintos determina una única recta proyectiva, con sumas de ángulos de triángulos que exceden las euclidianas cuando se elevan a la esfera.

Aplicación incorrecta

Confundir la geometría elíptica con la geometría esférica ordinaria (no tener en cuenta la identificación antipodal) o intentar aplicar construcciones euclidianas basadas en paralelas producirá afirmaciones falsas sobre rectas, unicidad de uniones y conectividad global.

Consecuencia

Aplicada correctamente, la geometría elíptica produce teoremas de incidencia sin paralelas, impone propiedades de compacidad y finitud de geodésicas, y aporta modelos proyectivos útiles en topología y geometría algebraica donde la identificación de antipodas simplifica la estructura global.

Inversión

La reversión es la geometría euclidiana (existencia de paralelas) o la geometría hiperbólica (muchas paralelas por un punto); en ellos se contrasta la presencia o ausencia de paralelas y los efectos cualitativos del signo de la curvatura sobre las relaciones de incidencia.

Límite

La geometría elíptica se refiere típicamente a modelos de curvatura positiva constante con identificación antipodal (espacios proyectivos); excluye modelos esféricos sin identificación en los que los antipodas permanecen distintos y variedades de curvatura variable que no producen cocientes antipodales globales.

Tensión semántica

Existe tensión entre la geometría elíptica y la geome tría esférica: ambas son localmente idénticas (curvatura positiva) pero difieren globalmente por la identificación antipodal, lo que lleva a diferentes afirmaciones sobre unicidad de rectas, orientación y grupo fundamental.

Síntesis

La geometría elíptica une curvatura positiva e identificación antipodal para producir una geometría sin paralelas: conserva propiedades métricas locales esféricas mientras cambia características globales de incidencia y topología, ofreciendo un modelo proyectivo compacto del comportamiento no euclidiano.