UNA REVOLUCIN MATEMTICA

LA INTUICIN DE UN GENIO

Como vimos la semana pasada, todos los intentos de demostrar el controvertido V Postulado de Euclides resultaron fallidos hasta finales del siglo XVIII. Pero en el siguiente siglo la matemtica asistir a una de sus primeras revoluciones. Tras ms de 2.000 aos y por primera vez, la indiscutible verdad geomtrica de Euclides dejar paso a un sistema geomtrico tambin axiomtico, lgicamente impecable pero intuitivamente difcil de asimilar. El hombre, no sin esfuerzos, tuvo que aceptar que hay otros mundos posibles y que como dijo Gauss la necesidad fsica de nuestra Geometra Eucldea no puede ser demostrada al menos para la razn humana.

por Lolita Brain

Y NACI UNA NUEVA GEOMETRA

omo en muchas otras situaciones, la respuesta definitiva a las inquietudes de Gauss vinieron simultneamente de dos personas que no tuvieron contacto. Un hngaro, Jnos Bolyai, hijo de Wolfang Bolyai, amigo personal de Gauss, public en 1832 el ensayo de 26 pginas La ciencia del espacio absoluto como apndice de un libro de su padre, en JNOS BOLYAI el que present lo que l 1802 - 1860 llam Geometra Absoluta. Lobachevsky, un oficial ruso y rector de la universidad de Kazan, present sus puntos de vista en 1826 al departamento de su universidad, pero no fue tomado realmente en serio. En 1829 public el artculo Sobre los fundamentos de la geometra en una revista de Kazan, por lo que no tuvieron mucha difusin hasta que en 1840 public su libro en alemn Investigaciones sobre la teora de las paralelas. Llam a su geometra Geometra Imaginaria. Ambos autores suponen que el V Postulado es falso y, buscando una contradiccin que no NIKOLAI IVANOVICH existe, se convencen de LOBACHEVSKY que una nueva teora es 1792 - 1856 posible.

arl F. Gauss (1777 -1855) no public ningn trabajo definitivo sobre sus ideas acerca de la Geometra No-Eucldea por miedo al ridculo, como l mismo dijo. Sin embargo, con slo 17 aos, le dijo a su amigo Schumacher que pensaba que poda existir una geometra lgica en la que el postulado de las paralelas de Euclides no se cumpliera. Pero l continu intentando encontrar una demostracin del famoso postulado que hiciera compatible lo que l entenda como la geometra de nuestro mundo fsico, la eucldea. Desde 1799 se tom en serio la imposibilidad de demostrar el V Postulado, y comenz a desarrollar lo que l llam Geometra Antieucldea o Astral. Su conclusin fue que era lgicamente posible esta otra geometra, aun cuando equipado con un teodolito se march a medir los ngulos del tringulo formado por los picos Brocken, Hohehagen e Inselo berg, buscando medidas que confirmaran que en efecto la suma de los ngulos de un tringulo es de 180 . o Su suma excedi en 14 este valor, pero el propio error del instrumento le impidi concluir nada.

LA NECESIDAD DE UN MODELO

LA PSEUDOESFERA
eltrami encontr el modelo en una superficie de dos dimensiones inmersa en un espacio tridimensional eucldeo. La superficie que cumpla los axiomas era la pseudoesfera. Esta superficie se obtiene por la rotacin de la curva tractrix de la que ya te hemos hablado. Es una superficie de curvatura constante, como la esfera, pero negativa, es decir, se curva hacia dentro.

s importante destacar que ni Bolyai ni Lobachevsky probaron que su nueva geometra era consistente, es decir, que no contena ninguna contradiccin lgica. Pero lo cierto es que tampoco nadie hizo lo propio con la teora de Euclides. Los cientos de aos de utilizacin de la geometra del alejandrino dejaban fuera de toda sospecha la posi- EUGENIO BELTRAMI 1835 - 1900 bilidad de que fuera inconsistente. La primera persona que puso en paridad ambas teoras fue el italiano Beltrami, quien en 1868 encontr un modelo en el que los axiomas de Bolyai-Lobachevsky se satisfacan. Encontrado un modelo, la consistencia estaba garantizada. Su modelo fue posteriormente completado por Felix Klein.

QU HAY DE NUEVO EN ESTA GEOMETRA?

a Geometra No-Eucldea coincide completamente en sus fundamentos con la de Euclides, excepto en el V Postulado. La hiperblica sostiene que por un punto exterior a una recta se pueden trazar infinitas rectas paralelas. Todos los teoremas de Euclides en los que este quinto axioma no interviene siguen siendo vlidos en la geometra hiperblica. En cambio, las proposiciones de Euclides en las que interviene este postulado no son verdaderas en la geometra hiperblica. Por ejemplo, ahora los ngulos de un o tringulo no miden 180 , el rea de un cuadrado no es su lado al cuadrado, y un crculo no tiene de superficie PI por el cuadrado de su radio. La existencia de estos modelos es una prueba de la independencia lgica de los axiomas, es decir, el V Postulado no puede demostrarse a partir de los otros. Esto no quiere decir que el espacio que nos rodea no sea eucldeo, sino slo que, desde el punto de vista lgico, tiene igual coherencia la Geometra Eucldea que la No-Eucldea. Nuestra vida cotidiana es eucldea pero el espacio relativista no.

EL MODELO DE POINCAR
l matemtico y fsico francs construy un original modelo para la Geometra Hiperblica del plano llamado Modelo de Poincar. Si consideramos una circunferencia C, los punJULES HENRI tos de ese plano seran POINCAR todos los puntos interio1854 - 1912 res a dicha circunferencia sin considerar el borde. Las rectas de dicho plano son los arcos interiores de las circunferencias que cortan perpendicularmente a la circunferencia C y los dimetros de C. Observa que en este modelo las rectas no son rectas sino arcos. Pero en l se pueden trazar tringulos, paralelas, hacer simetras, etc. Es un modelo artificial de geometra en el que no se cumple el V Postulado de Euclides.

Rectas del Modelo de Poincar

Infografa y textos: Lolita Brain - www.lolitabrain.com