El plano hiperbólico es la variedad riemanniana bidimensional completa (o modelo métrico) de curvatura constante negativa, realizable mediante modelos como el disco de Poincaré, el semiplano superior con la métrica hiperbólica o el modelo de Klein.

Principio

La idea organizadora es la curvatura negativa: las geodésicas divergen exponencialmente, los triángulos tienen suma de ángulos menor que π y el espacio admite un rico grupo de isometrías que actúa transitivamente con estabilizadores isomorfos a rotaciones.

Demostración

Ejemplo: el semiplano superior H = {z ∈ C : Im z > 0} con métrica ds^2 = (dx^2 + dy^2)/y^2 tiene curvatura constante −1; las geodésicas son semicírculos ortogonales al eje real o líneas verticales, y el área de triángulos ideales es constante.

Aplicación incorrecta

Confundir la intuición euclidiana (paralelas que se comportan linealmente, sumas de ángulos euclidianas) con el comportamiento hiperbólico conduce a razonamientos incorrectos.

Consecuencia

El uso correcto conduce a resultados de rigidez y clasificación (p. ej., acciones de grupos discretos, teselaciones), crecimiento rápido de volumen y estructuras específicas en la frontera al infinito utilizadas en teoría geométrica de grupos.

Inversión

El reverso es el plano esférico de curvatura positiva constante, donde las geodésicas reconvergen, los triángulos tienen suma de ángulos > π y la topología global fuerza geodésicas cerradas y fenómenos de finitud ausentes en el hiperbólico.

Límite

Ámbito: variedades riemannianas bidimensionales, simplemente conexas y completas, de curvatura negativa constante (modelos y superficies de género ≥ 2 con métricas hiperbólicas); excluye superficies de curvatura negativa variable sin constancia y geometrías euclidianas o esféricas.

Tensión semántica

Tensión entre modelos (disco de Poincaré, semiplano superior, Klein) cuyas propiedades métricas, conformes y proyectivas difieren; elegir un modelo inadecuado puede ocultar isometrías o rasgos conformes.

Síntesis

El plano hiperbólico es la geometría bidimensional prototípica de curvatura negativa: un espacio métrico completo de curvatura constante negativa cuyas características métricas y topológicas (déficit angular, divergencia exponencial, frontera al infinito) sustentan fenómenos geométricos y dinámicos hiperbólicos.