La mayoría de la gente aprende geometría en la escuela y asume que se trata sólo de superficies planas. Los triángulos suman 180 grados. Las líneas paralelas nunca se encuentran. Esa es la geometría euclidiana. Funciona bien para tu tarea. Funciona bien para construir una casa. Pero falla cuando miras las estrellas o planificas una ruta de vuelo a través del Pacífico.
La geometría no euclidiana es simplemente cualquier sistema que rompa esas reglas de superficie plana. Si bien el término se utiliza a menudo como abreviatura de geometría hiperbólica, en realidad cubre cualquier forma en la que no se aplican las antiguas reglas de Euclides. Los dos grandes jugadores aquí son la geometría esférica y la geometría hiperbólica.
Cómo el postulado paralelo lo cambia todo
El verdadero problema comenzó con el quinto postulado de Euclides, el de las rectas paralelas. Dice que si tienes una recta y un punto que no está en esa recta, hay exactamente una recta que pasa por el punto y que corre paralela a la primera.
Durante siglos, los matemáticos odiaron esta regla. Se sintió torpe. No parecía tan “evidente” como los demás. Pasaron 2.000 años intentando demostrarlo utilizando los otros cuatro postulados. Fallaron.
Finalmente, dos hombres dejaron de intentar demostrarlo y empezaron a jugar con lo que sucedería si lo quitaras. Nikolay Lobachevsky en Rusia y János Bolyai en Hungría publicaron de forma independiente sus hallazgos alrededor de 1829 y 1831. Descubrieron una geometría que funcionaba perfectamente sin el postulado de las paralelas. Era geometría hiperbólica.
Así es como se comparan los tres sistemas cuando cambia las reglas:
- Euclidiano: Hay exactamente una línea paralela que pasa por el punto. El postulado es verdadero. Los ángulos de un triángulo suman exactamente 180 grados.
- Esférico: No hay líneas paralelas. Cualquiera de las dos “líneas” (grandes círculos) eventualmente se cruzarán. El postulado es falso. Los ángulos de un triángulo suman más de 180 grados.
- Hiperbólico: Hay infinitas líneas paralelas que pasan por el punto. El postulado es falso. Los ángulos de un triángulo suman menos de 180 grados.
El cielo y el mar: nacimiento de la geometría esférica
Una rama de la geometría no euclidiana surgió de mirar hacia arriba. Los astrónomos antiguos necesitaban rastrear estrellas y planetas en un cielo hemisférico. El propio Euclides escribió sobre la geometría esférica en su obra Phaenomena alrededor del año 300 a.C.
La otra rama surgió de mirar hacia abajo, o mejor dicho, al otro lado del océano. Los navegantes necesitaban comprender la forma de la Tierra para encontrar su camino. Si la Tierra es redonda, las líneas rectas en un mapa te mienten. Esta necesidad práctica impulsó el estudio de la geometría esférica. No fue sólo teoría. Se trataba de no perderse.
Los grandes círculos son las nuevas líneas rectas
En geometría esférica, el concepto de “línea recta” se vuelve extraño. En un globo, la distancia más corta entre dos puntos es una ruta de círculo máximo. Imaginemos una cuerda tensa entre Nueva York y Londres. Esa cuerda no vuela en línea recta por el aire. Se curva a lo largo de la superficie.
Ptolomeo anotó esto en Geografía alrededor del año 150 d.C. Escribió que la superficie de la tierra y del agua es una esfera. Cualquier plano que pase por el centro de la Tierra corta la superficie en un círculo máximo.
Estos grandes círculos son las “líneas rectas” de esta geometría. Son intrínsecamente rectos. Si caminas por uno, no giras. Te mueves lo más recto posible sobre una superficie curva.
Cuando tres de estos arcos se cruzan, forman un triángulo esférico. Parece distorsionado en un mapa plano. Pero en la esfera, es sólo un triángulo. La diferencia entre triángulos en una esfera pequeña y una grande es simplemente la escala. En términos de geometría diferencial, la geometría esférica es el estudio de superficies con curvatura positiva constante.
Por qué los mapas te mienten
Si la geometría esférica es tan útil, ¿por qué no la vemos en todas partes? Porque nos encantan los mapas planos.
Los cartógrafos tienen que proyectar porciones de una esfera en un plano. Esto es imposible de hacer sin distorsión. Puedes mantener la distancia. Puedes preservar el área. Puedes conservar los ángulos. No puedes hacer las tres cosas a la vez.
La necesidad de equilibrar estas compensaciones en la elaboración de mapas dio al estudio de la geometría esférica un impulso práctico temprano. No se trataba sólo de matemáticas abstractas. Se trataba de representar al mundo sin mentir demasiado.
La geometría oculta del espacio hiperbólico
Luego está la geometría hiperbólica. Es la otra mitad de la familia no euclidiana. No coincide con nuestro globo físico. No combina con el suelo plano de nuestras aulas. Describe un espacio que se curva hacia adentro, como una silla de montar o una pastilla Pringles.
En este espacio, las reglas se doblan en sentido contrario. Las líneas divergen. Los triángulos se vuelven delgados. Los ángulos se reducen. Parece contradictorio porque no experimentamos esta forma en la vida diaria. Pero existe en matemáticas. Y más tarde, en física.
El cambio de lo euclidiano a lo no euclidiano no fue una revelación repentina. Fue un lento desmoronamiento de la certeza. Los matemáticos tuvieron que admitir que sus “verdades” eran sólo suposiciones. Supuestos sobre la planitud. Suposiciones sobre rectas paralelas.
Cuando abandonas el postulado de las paralelas, toda la estructura cambia. El camino que tomes (esférico o hiperbólico) depende de si el espacio que estás mapeando se curva sobre sí mismo o se abre para siempre.
La geometría elíptica es básicamente geometría esférica con un ajuste de regla específico. Imagine un globo donde el Polo Norte y el Polo Sur se consideran exactamente el mismo lugar. Ésa es la idea central detrás de la formalización axiomática de la geometría elíptica. No es sólo un ejercicio teórico. Bernhard Riemann, un matemático alemán, desarrolló una visión analítica intrínseca de esto en el siglo XIX. La llamó esfera de Riemann. Probablemente lo encontrará en cursos universitarios de análisis complejos.
Algunos libros de texto confunden el tema. Etiquetan este modelo específico como geometría riemanniana. Eso es engañoso. El término geometría riemanniana en realidad se refiere a una rama más amplia de la geometría diferencial. Proporciona las herramientas para describir cualquier superficie intrínsecamente, no sólo la esfera. Cíñete a la distinción. La geometría elíptica es la formalización de la esfera con puntos antípodas fusionados. La geometría de Riemann es el marco para estudiar espacios curvos en general.
El rompecabezas de la geometría hiperbólica
Si la geometría elíptica dobla el espacio hacia adentro, la geometría hiperbólica lo dobla hacia afuera. Las primeras descripciones de la geometría hiperbólica surgieron de la fricción de intentar probar el quinto postulado de Euclides. Los matemáticos asumieron que si eliminaban el postulado de las paralelas, obtendrían una tontería. En cambio, obtuvieron una alternativa consistente.
Tomó tiempo ordenar los detalles. Los investigadores demostraron que todas las geometrías hiperbólicas se diferencian sólo en la escala. Piense en ello como esferas. Una pelota de baloncesto y una pelota de playa tienen la misma geometría. Sólo se diferencian en tamaño. La escala no cambia las reglas del espacio.
A mediados del siglo XIX, las matemáticas se solidificaron. Quedó claro que las superficies hiperbólicas deben tener una curvatura negativa constante. La curvatura positiva define espacios elípticos/esféricos. La curvatura plana y cero define el espacio euclidiano. La curvatura negativa es la firma del tipo hiperbólico.
Pero aquí está el truco. Las ecuaciones funcionaron. La lógica se mantuvo. Sin embargo, los matemáticos aún no podían decir con seguridad si tal superficie realmente existía. Los modelos eran abstractos. La pregunta seguía siendo: ¿proporcionó la naturaleza, o incluso las matemáticas puras, una superficie concreta que satisficiera estas condiciones? La existencia del objeto todavía era una cuestión abierta, a la espera de una construcción física o matemática rigurosa que demostrara que no era sólo una ficción inteligente.
La forma imposible finalmente encontrada
Durante décadas, los matemáticos pensaron que se habían topado con un muro. ¿El problema? Encontrar una representación física de la geometría hiperbólica que no rompiera las reglas del universo.
Comenzó con Eugenio Beltrami en 1868. Describió una superficie llamada pseudosfera. Tenía una curvatura negativa constante, el rasgo definitorio del espacio hiperbólico. Pero fue defectuoso. Las líneas intrínsecamente rectas de la pseudoesfera se cruzan entre sí. También golpean un círculo saltador y se detienen en seco. No es así como funciona la geometría hiperbólica. Las líneas continúan para siempre sin retroceder ni tocar un borde duro.
Luego vino David Hilbert en 1901. Demostró algo que efectivamente acabó con el proyecto. Hilbert demostró que no se puede definir una superficie hiperbólica completa utilizando funciones analíticas reales. Esas son las fórmulas estándar y suaves que utilizamos para describir formas. En aquel entonces, una superficie era una función analítica. Como Hilbert resultó imposible, los investigadores abandonaron la búsqueda. El mundo matemático aceptó el límite.
Pero el límite estaba mal.
En 1955, el matemático holandés Nicolaas Kuiper demostró que la limitación de Hilbert no se aplicaba a todas las superficies posibles. Demostró que existe una superficie hiperbólica completa. Simplemente no se puede dibujar con fórmulas simples y fluidas.
Décadas más tarde, en la década de 1970, el matemático estadounidense William Thurston detalló cómo construirlo. No se limitó a teorizar. Describió la geometría real. Y aquí está la parte extraña: no se necesita una supercomputadora para construirlo.
Puedes tejerlo.
Por qué el crochet cambia el juego
La superficie hiperbólica de Thurston no es sólo un objeto teórico. Es tangible. Si sigues patrones de crochet específicos, creas un modelo físico de curvatura negativa infinita.
¿Por qué esto importa? Porque convierte una prueba abstracta en algo que puedes sostener. La técnica del crochet hiperbólico utiliza puntadas crecientes para forzar a la tela a curvarse hacia afuera. Cada fila agrega más material que la anterior, creando esa apariencia ondulada y acampanada característica de la geometría hiperbólica.
No es sólo un proyecto artesanal. Es una aplicación directa de la prueba de existencia de Kuiper. Es la construcción de Thurston hecha realidad.
De la pseudoesfera al modelo práctico
El viaje desde la pseudoesfera incompleta de Beltrami hasta la superficie hiperbólica tejida muestra cómo evolucionan las definiciones matemáticas. Nos mudamos de:
- 1868: La pseudoesfera (incompleta, autointersectada)
- 1901: Prueba de imposibilidad de Hilbert (basada únicamente en funciones suaves)
- 1955: La prueba de existencia de Kuiper (ampliando la definición de superficie)
- Década de 1970: Construcción de Thurston (modelos prácticos y visualizables)
Hoy en día, estudiantes y artistas utilizan el crochet para visualizar estos conceptos complejos. Es una forma concreta de captar la curvatura negativa. No se requieren cálculos avanzados. Sólo hilo y un gancho.
La forma existe. Está completo. Y está en tus manos.
Los mapas planos de la Tierra son siempre una mentira. Se estiran, encogen y se rasgan para encajar una esfera en el papel. La geometría hiperbólica enfrenta el mismo problema. No se puede aplanar una superficie en forma de silla de montar sin romper algo. Sin embargo, en el siglo XIX los matemáticos no se dieron por vencidos. Construyeron tres modelos distintos para mapear esta realidad curva. Estos no son sólo acertijos abstractos. Son herramientas. Úselos juntos y la forma invisible del espacio hiperbólico comenzará a tener sentido.
La historia realmente comienza entre 1869 y 1871. Eugenio Beltrami y Felix Klein, un matemático alemán, descifraron el código. Crearon el primer marco completo para lo que literalmente llamaron geometría “hiperbólica”. Antes de esto, el concepto era inestable. Ahora tenía una casa.
La paradoja de la línea recta en el modelo de Klein-Beltrami
Mire la parte superior izquierda de la figura de referencia. Ese es el modelo Klein-Beltrami. Comprime todo el plano hiperbólico dentro de un círculo. Sencillo, ¿verdad?
Aquí está el truco. En este modelo, las líneas rectas (llamadas geodésicas en el mundo hiperbólico) se convierten en cuerdas rectas en el círculo. Si quieres ir del punto A al punto B, dibuja una línea recta. Parece euclidiano. Se siente familiar.
Pero hay un impuesto por esta comodidad. El modelo conserva la “rectitud” pero arruina los ángulos. Las cosas que deberían estar a noventa grados parecen torcidas. Es un mapa que te indica exactamente en qué dirección está el norte, incluso si el paisaje parece deformado.
Caminos curvos y ángulos preservados
Avance rápido hasta aproximadamente 1880. Henri Poincaré, un matemático francés, entra al chat y lanza dos modelos más al ring. Estos son diferentes. Mucho más diferente.
Primero, el modelo de disco de Poincaré (arriba a la derecha). Nuevamente estamos mirando un círculo. Pero las reglas cambian. Las geodésicas ya no son líneas rectas. Son arcos circulares. O diámetros. Estos arcos tocan el límite exterior del círculo en ángulos rectos perfectos.
¿Por qué esto importa? Porque Poincaré no sólo quería mostrar la forma. Quería preservar los ángulos.
En el disco de Poincaré, la geometría local se parece al plano euclidiano, incluso si la estructura global es tremendamente diferente.
A esto se le llama conformismo. Las distancias se alargan. Los bordes del disco están infinitamente lejos. Pero si mides un ángulo con un transportador, se lee correctamente. Para tareas que implican navegación o ilusiones ópticas, este es el estándar de oro.
El semiplano superior infinito
El tercer modelo es el modelo de semiplano superior de Poincaré (parte inferior de la figura). Olvídate del círculo. Aquí, la superficie hiperbólica se asigna a todo el medio espacio sobre el eje x.
Las geodésicas aquí son semicírculos o rayos verticales. Siempre se encuentran con el eje x en ángulo recto. Es un diseño limpio y lineal.
Al igual que el modelo de disco, esta configuración distorsiona la distancia. Cuanto más te acercas al eje x, más se expande el espacio. Pero nuevamente, se conservan los ángulos. si dibujas