Geometría de espacios de curvatura constante negativa o, más generalmente, de espacios métricos modelados sobre métricas de curvatura negativa (por ejemplo, modelos del disco de Poincaré, semiplano o hiperboloide). Se caracteriza por la divergencia exponencial de geodésicas, la existencia de muchas paralelas por un punto y sumas de ángulos de triángulos menores que en el caso euclidiano.

Principio

El principio organizador es la curvatura negativa: la curvatura seccional acotada superiormente por una constante negativa implica divergencia de geodésicas, propiedades métricas a gran escala específicas y relaciones trigonométricas hiperbólicas que gobiernan ángulos y distancias.

Demostración

En el modelo del disco de Poincaré, las geodésicas son arcos circulares ortogonales a la frontera; los triángulos ideales con vértices en la frontera tienen suma de ángulos tendiendo a cero y área ligada a su defecto angular. Las bolas crecen exponencialmente con el radio, rasgo que afecta a acciones de grupos y propiedades espectrales.

Aplicación incorrecta

Aplicar intuición euclidiana (unicidad de paralelas, escalado lineal del área) o fórmulas trigonométricas euclidianas para cálculos de distancia/ángulos conduce a conclusiones incorrectas; igualmente, asumir compacidad o área finita sin verificar curvatura o topología es erróneo.

Consecuencia

El uso correcto permite controlar grupos de isometrías, obtener resultados de rigidez y clasificación, relaciones explícitas entre curvatura y volúmenes y comportamientos distintivos en teoría geométrica de grupos y combinatoria.

Inversión

La inversión contrasta con espacios de curvatura positiva (esférica/elíptica), donde las geodésicas se reconvergen y los triángulos tienen suma de ángulos mayor que la euclidiana; destaca cómo cambiar el signo de la curvatura altera fenómenos geométricos cualitativos.

Límite

Se aplica a variedades simplemente conexas completas de curvatura constante negativa y a espacios CAT(k) con k<0, pero muchas propiedades hiperbolicas se degradan cuando la curvatura es meramente no positiva o variable sin cota inferior negativa.

Tensión semántica

Existe tensión entre la geometría hiperbólica y la geometría no positivamente curvada (CAT(0)): ambas impiden el comportamiento euclidiano plano pero difieren en divergencia exponencial vs polinómica, estructura de la frontera al infinito y propiedades de rigidez.

Síntesis

La geometría hiperbólica sintetiza un signo de curvatura en un conjunto coherente: la curvatura negativa produce crecimiento métrico exponencial, topología característica de la frontera al infinito, leyes triangulares y trigonométricas modificadas y consecuencias profundas para la topología y las acciones de grupos.