El Disco de Poincaré

Una ventana a un universo donde las líneas rectas son curvas, los triángulos tienen menos de 180°, y el infinito cabe dentro de un círculo. Bienvenido a la geometría hiperbólica.

¿Qué Observarás?

Tres Geometrías

Durante más de dos mil años, los matemáticos asumieron que solo existía una geometría: la de Euclides. Pero al cuestionar un solo axioma (el quinto postulado, sobre las paralelas), surgieron dos geometrías alternativas igualmente válidas.

Esférica

Suma de ángulos > 180°

Sin paralelas

Curvatura positiva

Euclidiana

Suma de ángulos = 180°

Una paralela

Curvatura cero

Hiperbólica

Suma de ángulos < 180°

Infinitas paralelas

Curvatura negativa

El Quinto Postulado de Euclides: "Por un punto exterior a una recta, pasa una única paralela." En geometría hiperbólica, pasan infinitas paralelas. Este cambio aparentemente menor transforma toda la geometría.

La Métrica de Poincaré

El disco de Poincaré representa todo el plano hiperbólico infinito dentro de un círculo unitario. ¿Cómo es posible? La clave está en la métrica: la forma de medir distancias.

ds² = 4(dx² + dy²) / (1 - x² - y²)²
Métrica de Poincaré: las distancias aumentan hacia el borde

A medida que te acercas al borde del disco (donde x² + y² → 1), el denominador tiende a cero, haciendo que las distancias tiendan a infinito. Por eso los polígonos cerca del borde parecen pequeños: están igual de lejos unos de otros en términos hiperbólicos, pero nuestra visualización los comprime.

El Centro

En el origen, la métrica es casi euclidiana. Los polígonos se ven "normales".

El Borde

Representa el infinito. Nunca se puede alcanzar: siempre hay más espacio.

Geodésicas

Las líneas más cortas son arcos de círculo perpendiculares al borde.

Isometrías

Las transformaciones de Möbius preservan distancias hiperbólicas.

Notación de Schläfli: {p, q}

Las teselaciones regulares se describen con la notación {p, q}:

(p - 2)(q - 2) > 4 → Hiperbólica
(p - 2)(q - 2) = 4 → Euclidiana
(p - 2)(q - 2) < 4 → Esférica
Condición que determina el tipo de geometría

Teselaciones Disponibles

{7, 3}
Heptágonos
3 por vértice
{5, 4}
Pentágonos
4 por vértice
{4, 5}
Cuadrados
5 por vértice
{3, 7}
Triángulos
7 por vértice
{6, 4}
Hexágonos
4 por vértice
{8, 3}
Octógonos
3 por vértice

Comparación con Euclides

Teselación Tipo (p-2)(q-2)
{4, 4} - Cuadrados, 4 por vértice Euclidiana = 4
{6, 3} - Hexágonos, 3 por vértice Euclidiana = 4
{3, 6} - Triángulos, 6 por vértice Euclidiana = 4
{5, 4} - Pentágonos, 4 por vértice Hiperbólica = 6 > 4
{7, 3} - Heptágonos, 3 por vértice Hiperbólica = 5 > 4

Experimentos Guiados

Experimento 1: Violando Euclides

  1. Selecciona la teselación {4, 4} (cuadrados euclidianos)
  2. La simulación mostrará "Teselación no válida"
  3. Cambia a {4, 5}: ahora 5 cuadrados caben en cada vértice
  4. Observa cómo los cuadrados se "curvan" para encajar

Insight: En el plano euclidiano, 4 cuadrados de 90° llenan 360°. En el hiperbólico, los ángulos suman menos de 90°, permitiendo que quepan 5.

Experimento 2: Hacia el Infinito

  1. Selecciona {7, 3} con profundidad 4
  2. Aumenta la profundidad a 5, luego 6, luego 7
  3. Observa cómo aparecen más y más heptágonos cerca del borde
  4. Nota: no importa cuánto aumentes, nunca llegarás al borde

Reflexión: El borde representa el infinito. Cada nivel de profundidad adicional añade exponencialmente más polígonos, pero todos caben en el espacio "infinito" cerca del borde.

Experimento 3: Geodésicas

  1. Activa "Mostrar geodésicas" en los controles
  2. Observa los arcos de círculo que cruzan el disco
  3. Nota que todos cortan el borde en ángulos de 90°
  4. Estas son las "líneas rectas" de la geometría hiperbólica

Concepto: En el modelo de Poincaré, las geodésicas son arcos de círculos ortogonales al borde, o diámetros que pasan por el centro.

Experimento 4: Comparación de Teselaciones

  1. Prueba cada preset: {7,3}, {5,4}, {4,5}, {3,7}, {6,4}, {8,3}
  2. Observa cómo polígonos con más lados parecen "más curvados"
  3. Compara los esquemas de color para ver la estructura
  4. ¿Cuál teselación genera más polígonos por nivel de profundidad?

Análisis: Teselaciones con mayor q (más polígonos por vértice) se ramifican más rápidamente, generando más polígonos en cada nivel.

El Arte de M.C. Escher

El artista holandés M.C. Escher (1898-1972) creó su serie "Circle Limit" usando teselaciones hiperbólicas. En estas obras, figuras como ángeles, demonios, peces y pájaros se repiten infinitamente hacia el borde del disco.

Escher trabajó con el matemático H.S.M. Coxeter, quien le explicó la geometría del disco de Poincaré. El resultado fue una de las colaboraciones más famosas entre arte y matemáticas.

Circle Limit III (1959) muestra peces que nadan en cuatro direcciones, con líneas geodésicas visibles como arcos. Cada pez tiene el mismo "tamaño hiperbólico", aunque los del borde parecen diminutos.

Propiedades de la Geometría Hiperbólica

Triángulos

La suma de ángulos es siempre menor que 180°. El "defecto angular" es proporcional al área.

Circunferencia

C = 2π sinh(r), crece exponencialmente con el radio, no linealmente.

Área

A = 4π sinh²(r/2), también crece exponencialmente con el radio.

Paralelas

Por un punto exterior pasan infinitas rectas que no cortan a una dada.

Defecto = π - (α + β + γ) = Área / K
El defecto angular de un triángulo es proporcional a su área (K = curvatura)

Contexto Histórico

El Descubrimiento de las Geometrías No Euclidianas

~300 a.C.

Euclides escribe los Elementos, estableciendo 5 postulados. El quinto (paralelas) siempre pareció diferente a los demás.

1829-1832

Lobachevsky y Bolyai, independientemente, desarrollan la geometría hiperbólica negando el quinto postulado.

1868

Beltrami demuestra que la geometría hiperbólica es consistente usando la "pseudoesfera".

1882

Henri Poincaré introduce el modelo del disco, donde todo el plano hiperbólico cabe en un círculo finito.

1915

Einstein usa geometría no euclidiana en la Relatividad General: el espacio-tiempo se curva por la masa.

Transformaciones de Möbius

Las isometrías (transformaciones que preservan distancias) del disco de Poincaré son transformaciones de Möbius de la forma:

T(z) = e^(iθ) · (z - a) / (1 - ā·z)
Transformación de Möbius en el disco (θ = rotación, a = traslación)

Estas transformaciones permiten "mover" la teselación por el disco. Lo que vemos en el centro podría estar en cualquier parte; el disco se puede rotar y trasladar manteniendo todas las distancias hiperbólicas.

Conexiones Interdisciplinarias

Relatividad Especial

El espacio de velocidades en relatividad es hiperbólico. La "velocidad" de la luz es el borde inalcanzable.

Teoría de Cuerdas

Espacios Anti-de Sitter (AdS) tienen geometría hiperbólica, cruciales en la correspondencia AdS/CFT.

Redes Complejas

Internet y redes sociales tienen estructura "hiperbólica": muchos nodos en la "periferia", pocos hubs centrales.

Biología

Estructuras como la lechuga de mar o corales tienen geometría hiperbólica intrínseca (curvatura negativa).

Topología de Superficies

Superficies de género g ≥ 2 (dos o más agujeros) admiten métricas hiperbólicas.

Criptografía

Algunos protocolos criptográficos propuestos usan grupos hiperbólicos por su complejidad computacional.

El Modelo del Semiplano

Además del disco, existe otro modelo equivalente: el semiplano superior de Poincaré, donde el plano hiperbólico se representa como {z : Im(z) > 0}.

ds² = (dx² + dy²) / y²
Métrica del semiplano: las geodésicas son semicírculos verticales o líneas verticales

Ambos modelos son equivalentes vía una transformación conforme. La elección depende de qué propiedades se quieran visualizar mejor.

Para Explorar Más

Reflexión Final: El disco de Poincaré demuestra que nuestras intuiciones geométricas, formadas en un mundo aproximadamente euclidiano, no son universales. Existen universos matemáticos igualmente coherentes donde el espacio se comporta de formas radicalmente diferentes. Esta flexibilidad conceptual es exactamente lo que Einstein necesitó para formular la Relatividad General, donde el espacio mismo se curva.