Está en la página 1de 24

Geometras no euclidianas:

Una verdadera revolucin


Fasano Mara Victoria
Garcia Mara Eugenia
Ramirez Romina Andrea

Fasano Garcia Ramrez

Geometras no euclidianas:
una verdadera revolucin.

INDICE

EUCLIDES Y SUS ELEMENTOS ........................................................................................ 3


Euclides: ............................................................................................................................. 3
Los Elementos: ................................................................................................................... 4
EL V POSTULADO Y LOS INTENTOS POR DEMOSTRARLO ...................................... 5
LA VIA DEL ABSURDO:
SACCHERI, LAMBERT Y LEGENDRE ............................................................................. 7
11 DE FEBRERO DE 1826: EL NACIMIENTO. ............................................................... 10
APORTES DE GAUSS, BOLYAI Y LOVACHEVSKI ..................................................... 10
GEOMETRIA ELIPTICA E HIPERBOLICA ..................................................................... 15
GEOMETRIA Y REALIDAD ............................................................................................. 17
EL COSTADO FILOSOFICO Y SOCIAL
DE LA REVOLUCION GEOMETRICA. ........................................................................... 20
La posicin Kantiana: ....................................................................................................... 20
Influencia en el desarrollo de la geometra ....................................................................... 21
El sentido social ................................................................................................................ 22
BIBLIOGRAFIA...24

Introduccin a los Mtodos del


Conocimiento Cientfico

Pgina 2

Fasano Garcia Ramrez

Geometras no euclidianas:
una verdadera revolucin.

EUCLIDES Y SUS ELEMENTOS


A los pocos aos de la muerte de Alejandro Magno, y todava bajo el eco de sus
resonantes campaas militares, durante los aos en que el primero de los Ptolomeos se
esforzaba por convertir a Alejandra en el centro y depsito de toda la cultura del mundo
civilizado, fue escrito un libro al que se dio, modestamente, el nombre de Stoikhea
(Elementos). De su autor prcticamente no se conocen otros datos que el nombre: Euclides.
En su tiempo pasaron casi desapercibidos ambos, obra y autor. Sin embargo, con el
correr de los siglos, el influjo de los Elementos sobre la historia de la humanidad fue mucho
mayor que el de las victorias de Alejandro. Estos han sido el molde en que se ha
estructurado toda la matemtica, base de la ciencia y fundamento de la tcnica que preside
la civilizacin contempornea.
En los Elementos, toda la geometra, reunin hasta entonces de reglas empricas para
medir o dividir figuras, se convierte en ciencia deductiva. Se condensa toda ella en unos
pocos postulados, de los cuales deriva el resto por sucesivos razonamientos lgicos. Lo que
antes era emprico se convierte en obra del discurso y del pensamiento; la razn suple,
como instrumento, a los sentidos.

Euclides:

Poco se sabe con certeza de la vida de Euclides. Segn el


testimonio de Proclo, un matemtico que vivi en Bizancio entre los
aos 410 y 485 de nuestra era,
Euclides floreci durante el reinado de Ptolomeo primero (que
muri en 283 a.C.) pues es citado por Arqumedes, que naci hacia
fines del reinado de ese soberano.
Adems se cuenta que un da Ptolomeo pregunt a Euclides si
para aprender geometra exista un camino ms breve que el de los
Elementos, obteniendo la respuesta de que en geometra no existe
camino real.

De acuerdo a esto es costumbre ubicar a Euclides como habiendo vivido alrededor del
ao 300 antes de nuestra era. Sin embargo muchos historiadores ponen en duda tal fecha y
an la existencia misma de Euclides, atribuyendo sus obras ya sea a otro matemtico
griego, o a la labor conjunta de una escuela que habra pretendido compendiar todos los
conocimientos de la poca.

Introduccin a los Mtodos del


Conocimiento Cientfico

Pgina 3

Fasano Garcia Ramrez

Geometras no euclidianas:
una verdadera revolucin.

Los Elementos:
Los Elementos de Euclides forman un conjunto de 13 libros dedicados a los
fundamentos y al desarrollo, lgico y sistemtico, de la geometra. Es la obra cumbre de la
matemtica griega. Durante siglos ha sido el texto obligado de geometra en todas las
escuelas. Su tratado es, como los Principia, o los libros de Maxwell
sobre la teora electromagntica, o El origen de las especies de
Darwin, un libro de sntesis, donde se recolectan los conocimientos de
una ciencia y se relacionan hechos en apariencia disconexos. Es el
primer libro de fundamentacin geomtrica, y su estilo y ordenacin
fueron los moldes a los que se ajustaron todas las obras posteriores a la
matemtica.
No se trata, en absoluto, de un manual prctico o de un conjunto de
reglas tiles para calcular o medir, al estilo de los documentos egipcios
o babilnicos de pocas anteriores. Se trata de una estructura lgica
que responde exactamente al concepto de Platn de la geometra
(Repblica, Libro VII, 527):
Como si se tratara de alguna finalidad prctica, los gemetras hablan siempre de
cuadrar, prolongar, agregar, cuando en verdad la ciencia se cultiva con el nico fin de
conocer.
Las bases de las que parte Euclides para edificar su geometra son las definiciones, los
postulados y las nociones comunes (llamadas por algunos autores axiomas)1.

Las definiciones son veintitrs, al comienzo, aunque luego se van introduciendo otras
ms. Con ellas se intenta dar nombre a los elementos con los cuales se va a construir la
geometra. Algunos ejemplos son:
Punto es lo que no tiene partes.
Lnea es una longitud sin anchura.
Recta es aquella lnea que yace igualmente respecto de todos sus puntos.
Plano es la superficie igualmente situada respecto de sus rectas.
Rectas paralelas son aquellas que, estando en un mismo plano, no se encuentran al
prolongarlas indefinidamente en ambas direcciones.

1 Segn la RAE, en su segunda acepcin, axioma: cada uno de los principios fundamentales e indemostrables
sobre los que se construye una teora. Mientras que postulado: supuesto que se establece para fundar una
demostracin. Por su parte, Proclus, dio tres formas distintas de explicar la diferencia entre ambos vocablos.
La primera afirma que un postulado difiere del axioma como un problema difiere de un teorema.
Queriendo significar que un postulado afirma la posibilidad de una construccin.
La segunda forma dice un postulado es una proposicin con significado geomtrico, mientras que un
axioma es una proposicin comn a la geometra y a la aritmtica..
Finalmente, su tercera interpretacin fue dada por Aristteles, aunque ste no utilizara tales palabras con un
sentido matemtico exclusivamente. sta establece un axioma es aquello que es verdadero por s solo y
un postulado es aquello que, sin ser un axioma, es admitido sin demostracin.
Introduccin a los Mtodos del
Conocimiento Cientfico

Pgina 4

Fasano Garcia Ramrez

Geometras no euclidianas:
una verdadera revolucin.

Siguen despus los cinco postulados:


I.
II.
III.
IV.
V.

Desde cualquier punto a cualquier otro se puede trazar una recta.


Toda recta limitada puede prolongarse indefinidamente en la misma direccin.
Con cualquier centro y cualquier radio se puede trazar una circunferencia.
Todos los ngulos rectos son iguales entre s.
Si una recta, al cortar a otras dos, forma de un mismo lado ngulos internos menores
que dos rectos, esas dos rectas prolongadas indefinidamente se cortan del lado en
que estn los ngulos menores que dos rectos.

Finalmente, Euclides sienta unas cuantas nociones comunes cuyo nmero es variable
segn los textos, entre las cuales se encuentran:
1.
2.
3.
4.
5.

Cosas iguales a una misma cosa, son iguales entre s.


Si a cosas iguales se les agrega cosas iguales, las sumas son iguales.
Si de cosas iguales se quitan cosas iguales, los restos son iguales.
Cosas que se pueden superponer unas a otras son iguales entre s.
El todo es mayor que la parte.

Tratndose de figuras, en vez de igualdad se acostumbra utilizar la palabra


congruencia.
Con los cinco postulados anteriores y las nociones comunes citadas se intenta edificar
toda la geometra. A la luz de la crtica moderna, el sistema presenta varios defectos. Sin
embargo, todos los defectos que pueden sealarse resultan insignificantes comparados con
el mrito extraordinario de haber construido una ciencia deductiva a partir del cmulo de
conocimientos dispersos, en su mayora empricos, que constituan la matemtica anterior a
la griega.
EL V POSTULADO Y LOS INTENTOS POR DEMOSTRARLO
De los cinco postulados del sistema de Euclides, los cuatro primeros traducen
propiedades ms o menos evidentes para nuestra intuicin geomtrica. El mrito consiste
en haber sabido seleccionar, de entre el sinnmero de tales propiedades, una cantidad muy
reducida de ellas que fuera suficiente para construir la geometra. El postulado V, en
cambio, llama la atencin, y ello desde el principio, por su mayor complicacin y por
carecer de la evidencia intuitiva de que gozan los dems. Es probable que al mismo
Euclides no se le escapara esta diferencia y procurase, en toda su obra, evitar lo ms posible
este postulado. Este esfuerzo de Euclides por evitar el uso de su postulado V, mientras
puede, y por construir la geometra con independencia del mismo, justifica la muy repetida
frase de que Euclides fue el primer gemetra no euclidiano, o bien, que la geometra
euclidiana naci negando su paternidad.
En realidad, la aparente artificialidad del quinto postulado proviene de que la idea de
paralelismo (rectas que no se cortan nunca) involucra el concepto de infinito. No es de
extraar, entonces, que durante mucho tiempo se quisiera demostrar el quinto postulado,
deducindolo de los otros.
Introduccin a los Mtodos del
Conocimiento Cientfico

Pgina 5

Fasano Garcia Ramrez

Geometras no euclidianas:
una verdadera revolucin.

Los sucesivos ensayos de demostracin no dieron otro resultado que llevarlo a otras
formas equivalentes, aunque a veces de apariencia muy distinta a la del postulado original.
Posidonio (siglo I a.n.e.):
Propone llamar rectas paralelas a dos rectas coplanares y equidistantes. Esta
definicin y la euclidiana se corresponden, sin embargo los hechos de que sean
equidistantes y no se corten pueden tratarse por separado, aspecto que aborda en
su obra Gemino.

Gemino (siglo. I a.n.e.): Plantea que pueden existir rectas paralelas en el sentido de
Euclides, pero no as en el sentido de Posidonio, es decir, que prolongadas hasta el infinito
no se corten y sin embargo que sean no equidistantes. Tal hecho es calificado por Gemino
como el ms paradjico de toda la Geometra.
Proclo (410-485): escribi un comentario sobre Los elementos en el cual comenta sobre
intentos de deducir el quinto postulado de los otros cuatro; hace notar en particular que
Tolomeo haba producido una 'prueba' falsa. Se apoya en la siguiente proposicin (que
atribuye a Aristteles, y toma como evidente):
La distancia entre dos puntos de dos rectas que se cortan puede hacerse tan grande como
se quiera, prolongando suficientemente las dos rectas.

Proclo prosigue dando una prueba falsa propia. Sin embargo s dio el siguiente
postulado, el cual es equivalente al quinto.
El Axioma de Playfair:
Por un punto exterior a una recta se pueden trazar
solo y solo una paralela a dicha recta.
Aunque es conocido desde la poca de Proclo, ste se conoce como Axioma de Playfair
despus de que John Playfair (matemtico ingls del siglo XVIII) escribiera un famoso
comentario sobre Euclides en 1795 en el cual propone reemplazar el quinto postulado de
Euclides por este axioma.

Aganis (S. VI): Su demostracin la basa en la hiptesis de que existan rectas equidistantes
que, como Posidonio, llama paralelas. De tal hiptesis deduce que la distancia entre dos
paralelas es la longitud de un segmento perpendicular comn a las dos rectas; que dos
rectas perpendiculares a una tercera son paralelas entre s; que dos paralelas cortadas por
una tercera forman ngulos internos de un mismo lado, suplementarios y recprocamente.
Nassir-Eddin (1201-1274): Hizo su contribucin personal al problema del V Postulado, a
pesar de adaptarse al criterio dado por Aganis, merece ser recordado por la idea original de
anteponer explcitamente el teorema sobre la suma de los ngulos interiores de un tringulo
y por la forma de su razonamiento.
Introduccin a los Mtodos del
Conocimiento Cientfico

Pgina 6

Fasano Garcia Ramrez

Geometras no euclidianas:
una verdadera revolucin.

Pietro A. Cataldi (1548- 1626): Primer gemetra moderno en publicar un trabajo


exclusivo sobre el problema de las paralelas. Brinda una demostracin del V Postulado
recurriendo a la hiptesis de que rectas no equidistantes convergen en una direccin y
divergen en la otra.
Giordano Vitale (1633-1711): Escribe su obra: Euclides restaurado o bien los antiguos
elementos geomtricos corregidos y facilitados. Trata de demostrar que los puntos
equidistantes a una recta forman otra recta, pero no logr grandes avances en este aspecto.
John Wallis (1616-1703): Abandon la idea de equidistancia, utilizada
sin xito por los matemticos que le precedieron y en 1663 crey haber
hallado una nueva demostracin del V Postulado pero en realidad haba
demostrado que era su equivalente:
Para cada tringulo existe un tringulo similar de magnitud arbitraria

En resumen, la geometra elemental estaba en ese entonces envuelta en los problemas


del postulado de las paralelas. DAlembert, en 1767, la llam el escndalo de la geometra
elemental.
Todos intentaron demostrar el famoso postulado y de hacer luz sobre esa mancha
oscura de la teora de las paralelas. Pero el resultado fue siempre la sustitucin del mismo
por otro equivalente, de enunciado ms o menos simple, o ms o menos evidente.

LA VIA DEL ABSURDO:


SACCHERI, LAMBERT Y LEGENDRE

Veinte siglos de esfuerzos intiles, y en particular las ltimas investigaciones


infructuosas sobre el V Postulado, convencieron a muchos de los gemetras, que florecan a
comienzos del ltimo siglo, que el asentamiento final de la teora de las paralelas
involucraba un problema cuya solucin era imposible.
La escuela de Gttingen haba declarado oficialmente la necesidad de admitir las
hiptesis de Euclides. A pesar de esto, el inters por el V Postulado no disminuy.
Otra orientacin, que hace ver bajo un nuevo aspecto la incidencia del postulado de las
paralelas sobre teoremas geomtricos al parecer distintos, es la iniciada por el jesuita
Girolamo Saccheri y seguida posteriormente por Johann Heinrich Lambert y Adrien Marie
Legendre, segn la cual se demuestra que dicho postulado es equivalente al siguiente:
La suma de los ngulos interiores de un tringulo es igual a dos rectos.

Introduccin a los Mtodos del


Conocimiento Cientfico

Pgina 7

Fasano Garcia Ramrez

Geometras no euclidianas:
una verdadera revolucin.

Girolamo Saccheri (1667-1733) llega a este resultado a travs de una figura de la que
hace muy frecuente uso (llamada cuadriltero de Saccheri). Sea AB un segmento arbitrario;
perpendicularmente a l se toman dos segmentos AD=BC, y se forma el cuadriltero
ABCD.

Sin el uso del postulado V se demuestra fcilmente que el ngulo C es igual al D. Caben
entonces tres casos, segn que este ngulo sea recto, agudo u obtuso. Se demuestra que
siempre se est en el mismo caso cualesquiera sean las dimensiones de la base AB y de los
segmentos iguales AD y BC. Aparecen as tres posibilidades que pueden tomarse como
hiptesis: la del ngulo recto, la del ngulo obtuso y la del ngulo agudo, segn sea el
ngulo C=D. Saccheri demuestra que el postulado de las paralelas equivale a la hiptesis
del ngulo recto, y trata luego de probar que las otras hiptesis llevan a un absurdo. Para la
hiptesis del ngulo obtuso consigue demostrar que ella conduce a la conclusin que las
rectas son finitas, lo que toma como el absurdo deseado, y por lo tanto excluye tal
posibilidad. En cambio, para la hiptesis del ngulo agudo no consigue llegar a
contradiccin alguna. Efectivamente, tal contradiccin no existe y es precisamente la
bsqueda de la misma lo que habra de conducir, un siglo ms tarde, al descubrimiento de
las geometras no euclidianas.
No es difcil demostrar que las tres hiptesis (del ngulo recto, obtuso y agudo)
equivalen respectivamente a suponer que la suma de los ngulos interiores de un tringulo
es igual, mayor o menos que dos rectos.

Los estudios de Saccheri fueron publicados en 1733, bajo el ttulo: Euclides


depurado de toda mcula, o la experiencia que establece los principios primordiales de la
Geometra Universal.
Si bien Saccheri fall en su esencia, su trabajo es considerado de gran importancia.
En l se hallaban los mayores aportes logrados hasta el momento a favor del V Postulado; y
el hecho que no tuviera xito en encontrar contradiccin alguna entre las consecuencias de
la Hiptesis del ngulo Agudo, ayud a plantearse la pregunta sobre si un sistema
geomtrico lgico consistente no podra ser construido sobre esta hiptesis y sobre la
imposibilidad de demostrar el Postulado de Euclides.

Introduccin a los Mtodos del


Conocimiento Cientfico

Pgina 8

Fasano Garcia Ramrez

Geometras no euclidianas:
una verdadera revolucin.

Es difcil establecer la influencia que tuvo el trabajo de Saccheri


entre los gemetras del siglo XVIII. Sin embargo, es probable que el
matemtico suizo Lambert (1728-1777) estuviese familiarizado con l. Su
trabajo Teora de las Paralelas fue publicado tras su muerte y est dividido
en tres partes.
La primera parte es de una naturaleza crtica y filosfica. Trata sobre
la doble pregunta que surge del V Postulado: si puede ser probado slo con
la ayuda de las proposiciones que le preceden o si es necesario recurrir a otras hiptesis
adicionales.
La segunda parte est dedicada a la discusin de distintos intentos en los que el
Postulado de Euclides es reducido a proposiciones muy simples, las cuales, sin embargo,
deben ser demostradas.
Finalmente, la tercera, y ms importante, parte contiene una investigacin similar a la de
Saccheri. Lambert en su obra, no afirma haber demostrado el V Postulado y llega a la
firme conclusin que las restantes tentativas en esta direccin no llevaron a la meta
deseada.
Las investigaciones de Saccheri y Lambert no lograron ser una prueba de la
imposibilidad de demostrar la hiptesis de Euclides. Tampoco podra alcanzarse una
demostracin si se continuaba por el camino abierto por estos dos gemetras y se dedujeran
una cantidad de otras proposiciones, que no contradijeran los teoremas fundamentales de la
geometra.
Sin embargo, el hecho que se pudiera seguir por este camino, sin la suposicin de
Saccheri de llegar a un absurdo, constituye histricamente un paso decisivo en el
descubrimiento que el Postulado de Euclides no poda ser demostrado y en la creacin de
las geometras no euclidianas.
Con la estrategia de negar el quinto postulado y ver qu pasaba, llegaban a propiedades
muy extraas y contrarias a la intuicin geomtrica y se dieron por satisfechos.
Pero tanto a uno como a otro se les escap una idea sutil: obtenan resultados extraos,
si, pero esos resultados eran extraos, nada ms: de ninguna manera encerraban
contradicciones, que son las que descalifican un razonamiento matemtico.
Pero desde los trabajos de Saccheri y Lambert hasta el de Lobatschevsky, que est
basado en la misma idea, faltaba an ms de medio siglo.
Adrien Marie Legendre (1752-1833): Es conocido por sus
trabajos en Anlisis, Teora de Nmeros y Mecnica, dej una
herencia importante en Geometra. A diferencia de los gemetras
que le precedieron, quienes se dedicaron a marcar las dificultades y
dar su opinin sobre el V Postulado, Legendre trat de
transformarlo en un teorema.
En su intento ms interesante, Legendre como Saccheri, se
acerc al tema desde el lado de la suma de los ngulos de un
tringulo, cuya suma quera mostrar era igual a dos ngulos rectos.
Crey haber solucionado las dificultades en torno a los fundamentos de la geometra.
Sin embargo, no aport nada nuevo al material y los resultados obtenidos hasta entonces.
Su mayor logro radica en la forma simple y elegante que fue capaz de darle a todos sus
Introduccin a los Mtodos del
Conocimiento Cientfico

Pgina 9

Fasano Garcia Ramrez

Geometras no euclidianas:
una verdadera revolucin.

manuscritos. Por esta razn gan una gran cantidad de lectores y ayud a aumentar el
inters de nuevos gemetras que en ese momento comenzaban a formarse.

As se fue llegando al convencimiento de que se trataba efectivamente de un verdadero


postulado, no de un teorema que pudiera demostrarse con el slo uso de los postulados
precedentes, y que, por lo tanto, iban a ser intiles todas las tentativas de demostracin.

11 DE FEBRERO DE 1826: EL NACIMIENTO.


APORTES DE GAUSS, BOLYAI Y LOVACHEVSKI
Si el postulado V, en la forma dada por Euclides u otra equivalente, es un verdadero
postulado, el hecho de negarlo, aceptando los dems, no debe conducir a contradiccin
alguna. Esta fue la idea que madur en la primera mitad del siglo XIX, y que dio por
resultado el nacimiento de las geometras no euclidianas, es decir, de las geometras en que
el postulado V de Euclides deja de ser vlido.
Como toda idea que llega a la madurez en un determinado momento de la historia,
dichas geometras no pueden atribuirse totalmente a una sola persona. Fueron gestadas por
la obra de todos los matemticos anteriores que intentaron ver claro el significado del
famoso postulado, y cosechadas simultneamente por varios matemticos, entre los cuales,
y como mas significativos, se cita siempre al gran matemtico alemn Kart Friedrich
Gauss, el ruso Nikolai Ivanovich Lobachevsky y al hngaro Johann Bolyai
Wolfang Bolyai (1775-1856):
Oriundo de Transilvania (parte sur oriental de Hungra), viaja a
Alemania a la Universidad de Gttingen, donde se dedic al estudio
de las Matemticas. En dicha Universidad conoci a un joven, dos
aos menor que l, este responda al nombre de Karl Friedrich
Gauss. Ambos jvenes entablaron una larga amistad y el joven Gauss
estimul los intereses de Wolfang por los fundamentos de la
Geometra y especialmente por la demostracin del V Postulado.
En esta poca Wolfang formul una demostracin, la cual reelabor
muchas veces y en la literatura se conoce con el nombre de La
teora Gottingeana de las paralelas, debido a l y a su amigo. En
1800 conoci a Susana Arkos, hija de un cirujano, con la cual entabl matrimonio.
En 1804 envi a Gauss su Teora de las Paralelas que era un intento por demostrar la
existencia de rectas equidistantes, pero Gauss le mostr que esta prueba era una falacia. Sin
embargo, Bolyai no se dio por vencido y sigui con sus intentos, aunque no logr llegar a
nada.

Introduccin a los Mtodos del


Conocimiento Cientfico

Pgina 10

Fasano Garcia Ramrez

Geometras no euclidianas:
una verdadera revolucin.

De este casamiento naci en Diciembre de 1802 Johann Bolyai2, el cual super a su


padre en el talento, pero hered de su madre la histeria.
Probablemente, el primero que obtuvo un concepto claro sobre una
Geometra distinta a la de Euclides fue Karl Friedrich Gauss (17771855), el ms grande matemtico del siglo XIX y quizs de todos los
tiempos. A los 22 aos termin su tesis doctoral en matemtica.
Estudi astronoma, creo mtodos para trazar mapas y se gan con
justicia el epteto que lo recuerda como el princeps mathematicorum
(prncipe de las matemticas).
Escribi en sus cuadernos de notas:
"Estoy convencido de que prescindir del postulado de las paralelas no lleva a ninguna
contradiccin, aunque se obtengan propiedades que resulten paradjicas"
Gauss estudi durante 40 aos la teora de las paralelas y despus de muchas
reflexiones formul una nueva Geometra que llamo no euclidiana y comenz su desarrollo.
Los documentos que permitieron una reconstruccin aproximada de las investigaciones
gaussianas sobre la teora de las paralelas son:
-

la correspondencia de Gauss con W. Bolyai, Olbers, Schumacher, Gerling, Taurinus


y Bessel;
dos pequeas notas en Gottgelehrte Anzigen (1816-1822)
y algunos apuntes encontrados entre sus cartas en 1831.

Revisando las cartas de Gauss se pudo fijar como fecha de partida de sus Meditaciones
sobre la teora de las paralelas el ao 1792. El segundo perodo en el estudio de la teora de
las paralelas es despus del 1813, ilustrado principalmente por algunas cartas dirigidas a
Wachter en 1816, a Gerling en 1819, a Taurinus en 1824 y Schumacher en 1831 y por los
apuntes encontrados en las cartas de Gauss.
De una de esas cartas dirigida a Wolfang Bolyai en 1799 podemos saber que el primer
intento de Gauss fue seguir el camino iniciado por Saccheri y Lambert: querer mostrar el V
Postulado asumiendo que es falso. En una parte de esa carta dice:
he hecho algn progreso en mi trabajo. Sin embargo, el camino que he elegido no
lleva de ninguna manera al objetivo buscado, el cual afirmas haber alcanzado3. Por el
contrario, me lleva a dudar de la verdad misma de la geometra
Por todas las cartas recolectadas, se lleg a la conclusin que este gran gemetra no
reconoci la existencia de una geometra lgica no euclidiana por intuicin o por simple
2 Utilizamos la versin alemana de los nombres de los Bolyai, padre e hijo. Para respetar la forma hngara,
en la que el nombre sigue al apellido, en algunos libros Wolfang Bolyai aprece como Bolyai Farkas, y su hijo
Johann como Bolyai Jnos
3 Para esta poca, Wolfang Bolyai crea haber solucionado el problema del v Postulado.
Introduccin a los Mtodos del
Conocimiento Cientfico

Pgina 11

Fasano Garcia Ramrez

Geometras no euclidianas:
una verdadera revolucin.

inspiracin; sino que por el contrario, gast largas horas de trabajo en este tema antes de
emitir juicio alguno.
En un segundo intento, Gauss comenz el desarrollo de los teoremas fundamentales de
una nueva geometra, la cual llam primero Antieuclideana, despus Geometra Astral y
finalmente no euclidiana.
Sin embargo, Gauss no dej que corriera ningn rumor sobre sus opiniones pues
siempre temi que las relativas a la teora de las paralelas fueran consideradas por sus
contemporneos como divagaciones insensatas del orden de la curvatura del crculo o del
movimiento continuo. Adems l saba el golpe que una tal Geometra significaba para las
concepciones filosficas imperantes, el Kantismo. Su creador, el filsofo Enmanuel Kant
(1724-1804), sostena la doctrina que la Geometra Euclidiana es inherente a la naturaleza
del mundo fsico. As, mientras Platn deca que slo Dios haca Geometra, Kant afirmaba
que Dios hace Geometra de acuerdo a los Elementos de Euclides.
Slo a algunos amigos ntimos confi algo de sus investigaciones y cuando por
necesidad se vio obligado a escribir a Taurinus en 1824, le ruega que guarde silencio sobre
las comunicaciones que le hace. Entonces comenz a escribir sus avances en sus
Meditaciones, con el objetivo que sus pensamientos no se perdieran tras su muerte.

Similares resultados obtuvo Johann Bolyai (1802-1860)- hijo de


Wolfang Bolyai, que lleg a obsesionarse de tal forma con el
problema que su padre conmovido, lleg a escribirle:
"Te ruego que no intentes t tambin luchar con las teora de las
lneas paralelas. Perderas el tiempo y sus teoremas quedaran sin
demostrar. Estas impenetrables tinieblas pueden derribar a miles de
torres como Newton. Nunca se aclarar en la Tierra, y el
desdichado gnero humano nunca poseer en el mundo nada
completo, ni an en la geometra. Esto constituye una grande y
eterna herida en mi alma.
Johann no atendi los ruegos de su padre y lleg a convencerse muy pronto que el
postulado, adems de ser indemostrable, era independiente de los restantes y de su negacin
poda crearse un sistema diferente geomtricamente coherente.
Johann estudi las consecuencias que se derivan de negar el V Postulado, suponiendo
que no existe ninguna paralela o que existen ms de una. La primera hiptesis se pudo
rechazar fcilmente, como lo habra sido la hiptesis del ngulo obtuso de Saccheri; fue la
segunda hiptesis la que condujo a Bolyai a una nueva e interesante Geometra derivada del
ngulo agudo de Saccheri. Sin embargo, los puntos de vista de Bolyai y Saccheri son
distintos por completo: cuando Saccheri se hallaba convencido de que encontrara una
contradiccin si llegaba suficientemente lejos en su estudio, Bolyai saba que estaba
desarrollando una nueva Geometra.
Este matemtico hngaro escribi, en 1832, en un apndice de 26 pginas los resultados
de sus investigaciones sobre la nueva Geometra, y que public en el libro de su padre
Introduccin a los Mtodos del
Conocimiento Cientfico

Pgina 12

Fasano Garcia Ramrez

Geometras no euclidianas:
una verdadera revolucin.

titulado Tentamen Juventutem Studiosam in Elementa Matheseos Purae Introducenci


(Intento de introducir la juventud estudiosa en los elementos de Matemticas Puras) en
dos tomos, de ah que el nombre con el cual paso a la historia fuera Appendix. Luego que
Bolyai obtuvo la geometra no euclidiana, su padre escribi a Gauss con el objetivo de que
el Prncipe de las Matemticas diera su opinin con respecto al trabajo del hijo.
Al respecto, Gauss respondi:
Si comienzo por decir que no soy capaz de admirar este trabajo, seguramente te
sorprender por un momento. Pero no puedo decir otra cosa. Si lo admirara, sera
admirarme a m mismo. En efecto, todos los contenidos del trabajo, el camino tomado por
tu hijo, los resultados a los que es conducido, coinciden casi por completo con mis
Meditaciones, que han ocupado mi mente parte de los ltimos 30 o 35 aos. A m me
dej bastante estupefacto.
Esto fue un golpe muy duro para Johann, en primer lugar porque no poda creer que
Gauss hubiera tenido esas ideas antes que l y estimaba que ste quera arrancarle la
prioridad de su descubrimiento.
Ya a finales de su vida Johann sufri una nueva decepcin que le afect mucho ya que
el 17 de Octubre de 1841 recibi de su padre un folleto escrito por Lobatchevsky en el cual
se trataba la geometra no euclidiana y que Lobatchevski habra publicado en el ao 1829,
es decir, tres aos antes que l.
Johann por esto, perdi inters en el tema y no volvi a publicar nada ms. Hay que
tener en cuenta que Johann era oficial de caballera y que para l las matemticas eran
slo un hobby.

Lobatchevsky (1793-1856) estudi Matemticas en la Universidad


de Kazan bajo la direccin del alemn J.M.C. Bartels (17691836), amigo y compatriota de Gauss, se licenci en 1813 y
permaneci en la Universidad de Kazan primero como profesor
auxiliar, despus como profesor enseando todas las ramas de la
Matemtica, la Fsica y la Astronoma . En 1815, se ocupa de la
teora de las paralelas, y en un manuscrito suyo relativo a las
lecciones de 1815-1817, se encuentran tentativas por demostrar el
V Postulado e investigaciones semejantes a Legendre.
Pero slo despus de 1823 concibi la ya mencionada Geometra
no euclidiana. El 11de Febrero del ao 1826 en la reunin de la
seccin de ciencias fsico-matemticas de la Universidad de
Kazn expuso su obra con una conferencia y por primera vez inform de los resultados de
sus investigaciones sobre la teora de las paralelas, bajo el nombre de Exposicin breve de
los fundamentos de la Geometra con una demostracin lgica del teorema de las
paralelas, este da se puede considerar como el certificado de nacimiento de las geometras
no euclidianas.
En 1829, edit su obra, en forma ampliada, bajo la denominacin: Sobre los elementos de
la Geometra. En lo sucesivo Lobatchevsky desarrollo una nueva Geometra, publicando
Introduccin a los Mtodos del
Conocimiento Cientfico

Pgina 13

Fasano Garcia Ramrez

Geometras no euclidianas:
una verdadera revolucin.

una serie de trabajos, entre los que se encuentran: Geometra Imaginaria (1835),
Aplicacin de la Geometra Imaginaria a ciertas Integrales (1836), Nuevos Elementos de
la Geometra con una teora Completa de las Paralelas (1834-1838), un pequeo libro,
Investigaciones Geomtricas (1840), Pangeometra (1855).
El punto de partida de las investigaciones de Lobatchevski sobre la Geometra fue el
axioma de las paralelas de Euclides, que supuso no se cumpla, conserv los restantes
postulados y sustituy el axioma de las paralelas por su negacin.
De hecho, a Lobachevsky no le fue mejor que a Bolyai para atraer el reconocimiento
pblico de su trascendental obra. Public Investigaciones geomtricas sobre la teora de las
paralelas en 1840, la cual, en sus 61 pginas, da la narracin ms clara del trabajo de
Lobachevsky. La publicacin de un recuento en francs en el Diario de Crelle en 1837 llev
su trabajo sobre geometra no euclidiana a una gran audiencia pero la comunidad
matemtica no estaba lista para aceptar ideas tan revolucionarias.
En el folleto de Lobachevsky de 1840 se explica claramente cmo funciona su
geometra no euclidiana:
Todas las rectas que en un plano salen de un punto pueden con respecto a una recta dada
en el mismo plano, ser divididas en dos clases -en las que cortan y las que no cortan. Las
lneas fronteras de cada clase de rectas se llamarn paralelas a la recta dada.
Desde aqu Lobachevsky ha reemplazado el quinto postulado de Euclides por el
Postulado de las paralelas de Lobachevsky:
Existen dos lneas paralelas a otra dada y que pasan por un punto dado que no est en la
lnea dada.

A pesar de que Lobatchevsky fue instruido por Bartels, amigo de Gauss, y que pas con
ste dos aos en Brunswick antes de ser elegido para trabajar en Kazn (1807), no pudo
haberle trasmitido a Lobatchevski algo positivo de los trabajos de Gauss sobre las paralelas,
pues hasta 1807, Gauss no tena an clara la idea sobre la geometra no euclidiana. Luego,
se puede concluir que Lobatchevsky creo su Geometra independientemente de cualquier
influjo gaussiano.
Puede suponerse que Lobatchevsky conoca las obras de Saccheri y Lambert, lo que le
habra permitido recibir otros influjos, aunque esto es pura suposicin y no existe nada que
pueda probarlo. De todos modos, o la falta de demostraciones de sus predecesores, o la
inutilidad de sus primeras investigaciones (1815-1817), indujeron a Lobatchevsky, como
antes a Gauss, a pensar en el desarrollo de una nueva teora. Lobatchevsky expresa
claramente esta idea en 1835 cuando escribe:
La infructuosidad de las tentativas, hechas desde la poca de Euclides por espacio de
dos milenios despert en m la sospecha de que en los mismos datos no estuviese contenida
la verdad que se habra querido demostrar, y que para su conformacin pudieran servir,
como en el caso de otras leyes naturales, las experiencias, a ejemplo de las observaciones
astronmicas... (Bonola, 1951, p.97)

Introduccin a los Mtodos del


Conocimiento Cientfico

Pgina 14

Fasano Garcia Ramrez

Geometras no euclidianas:
una verdadera revolucin.

En sntesis, los resultados obtenidos por Lobatchevsky pueden resumirse de la siguiente


forma:
El axioma de las paralelas no es una consecuencia de los restantes axiomas de la
geometra euclidiana, o sea, es independiente de ellos.
Al lado de la geometra de Euclides donde si se cumple el axioma de las paralelas, existe
otra, la geometra no euclidiana en la cual no se cumple.
Los trabajos de Lobachevsky y Bolyai no fueron bien recibidos en su publicacin como
ellos esperaban. Sin embargo, esto no debera sorprendernos. La historia de los grandes
descubrimientos cientficos muestra que todo cambio radical necesita tiempo para ser
digerido. Al igual que sucedi con otros grandes hitos en la ciencia como ocurri, por
ejemplo, con el clculo diferencial que inventaron casi al mismo tiempo Newton y
Leibniz, la idea de una geometra no euclidiana surgi de muchos autores.
La aceptacin de la geometra no euclidiana fue dilatada por razones especiales, entre
ellas la dificultad de entender los trabajos de Lobachevsky por estar escritos en ruso, el
hecho que quienes lo descubrieron fueran dos desconocidos en el mundo cientfico y
finalmente se le agrega el hecho que Kant dominaba los pensamientos de la poca.
En 1867 se publica una traduccin al francs del libro de Lobachevsky que fue
acompaada por algunos extractos de correspondencias entre Gauss y Schumacher. El
hecho de juntar las visiones de Lobachevsky y Bolyai a las de Gauss fue muy afortunado ya
que el nombre y la aprobacin de Gauss a este descubrimiento le daba ms credibilidad al
trabajo de estos dos gemetras hasta entonces desconocidos.

Tanto Lobachevsky como Bolyai ponen en estos trabajos las bases de la geometra y de
la trigonometra no euclidiana. Bolyai se dedica especialmente a distinguir las
proposiciones geomtricas que necesitan el postulado de Euclides de aquellas que son
independientes del mismo, a las que llama propiedades absolutas o absolutamente
verdaderas. Lobachevsky construye ms decididamente la geometra no euclidiana, al negar
de entrada el postulado V y suponer, en cambio, que por un punto exterior a una recta pasa
ms de una paralela.

GEOMETRIA ELIPTICA E HIPERBOLICA


Dejando de lado el desarrollo histrico, as como la difcil tarea de distinguir a quin
pertenece cada una de las ideas que forman la geometra no euclidiana, vamos a
presentarlas tal como quedaron una vez pulidas y sedimentadas.
Sea una recta r AB y un punto P exterior a ella (ver figura). Tomemos un punto
cualquiera M sobre r, y consideremos la recta a PM . Supongamos que el punto M se
mueve sobre r, alejndose infinitamente, tanto hacia un lado como hacia el otro.

Introduccin a los Mtodos del


Conocimiento Cientfico

Pgina 15

Fasano Garcia Ramrez

Geometras no euclidianas:
una verdadera revolucin.

Pueden presentarse tres casos:


1. Existe una nica posicin LL, de la recta variable a, en la cual no corta a r. Esta
nica posicin lmite ser la paralela por P a r. Estamos en el caso euclidiano: por P
pasa una sola paralela.
2. Cualquiera que sea la recta que pasa por P, siempre corta a r: por P no pasa
ninguna paralela.
3. Existen dos posiciones lmites, EEy FF, para las rectas secantes; son las
correspondientes a los dos sentidos en que M puede alejarse infinitamente. Las
rectas que pasan por P y estn comprendidas en el ngulo FPE cortarn a r: sern
secantes. Las que pasan por P y estn comprendidas en el ngulo EPF no cortarn
a r: sern no secantes. Las EE y FF, de separacin entre ambos tipos de rectas, se
llaman paralelas. Es decir, en este caso: por el punto P pasan dos paralelas a r e
infinitas no secantes.
Obsrvese que las rectas no secantes responden tambin a la definicin de rectas
paralelas dada por Euclides; sin embargo, las posiciones lmites tienen ciertas propiedades
particulares que hacen conveniente conservar slo para ellas el nombre de paralelas, para
as distinguirlas de las no secantes.
Los casos 2 y 3 corresponden a las geometras no euclidianas, llamadas,
respectivamente, elptica e hiperblica.

La geometra no euclidiana elptica es la que resulta de sustituir el


postulado de las paralelas por el siguiente:
Por un punto exterior a una recta no pasa ninguna paralela, es decir,
todas las rectas que pasan por un punto exterior a otra cortan a esta
ltima.
La geometra elptica es la geometra sobre la superficie esfrica cuando se consideran
como rectas las circunferencias mximas. Solamente hay que convenir, para evitar que dos

Introduccin a los Mtodos del


Conocimiento Cientfico

Pgina 16

Fasano Garcia Ramrez

Geometras no euclidianas:
una verdadera revolucin.

rectas se corten en dos puntos diferentes, que los puntos diametralmente opuestos sean un
solo punto.
Se tiene as el primer ejemplo de geometra en que no se cumple el postulado V. Por
tratarse de un ejemplo muy familiar, es muy til para comprender algunos hechos que a
primera vista parecen paradjicos. Por ejemplo, el resultado de Wallis, de que no puede
haber figuras semejantes en una geometra no euclidiana, se cumple evidentemente sobre la
esfera, donde un tringulo queda determinado completamente por sus ngulos.
Con esta interpretacin de la geometra elptica es fcil deducir todas sus propiedades.
As: la suma de los ngulos de un tringulo es mayor que dos rectos, en un cuadriltero
de Saccheri se cumple la hiptesis del ngulo obtuso, etc.
Como la idea de estudiar la geometra sobre una superficie determinada, en el caso
actual la esfera, tomando como rectas las geodsicas o curvas de longitud mnima entre dos
de sus puntos (suficientemente prximos) es de B. Riemann (1826-1866), a las geometras
elpticas y esfricas se las suele llamar geometras no euclidianas de Riemann.
La geometra no euclidiana hiperblica es la geometra no
euclidiana propiamente dicha. Es la geometra desarrollada por
Gauss, Lovachevki y Bolyai, a la que Klein dio el nombre de
geometra hiperblica. Se cumplen los cuatro primeros postulados de
Euclides y deja de cumplirse el quinto, el cual se sustituye por el
siguiente:
Por un punto exterior a una recta pasan dos paralelas, que separan
las infinitas rectas no secantes de las infinitas secantes.
La posibilidad de esta geometra deriva de que, sin contradecir los primeros postulados,
puede haber rectas que no se corten (por lo tanto paralelas, segn Euclides) y cuya distancia
mutua sea variable, llegando a ser tan pequea como se quiera.
En ella la suma de los ngulos de un tringulo es menor que dos rectos y, por lo tanto,
corresponde a la hiptesis del ngulo agudo de Saccheri.

GEOMETRIA Y REALIDAD
Es curioso observar cmo los creadores de la geometra no euclidiana de la primera
mitad del siglo XIX, a pesar de su obra capital, parecieran alejarse del concepto platnico
que preside Los Elementos de Euclides y, retrocediendo, vuelven a considerar la
geometra como una ciencia destinada a medir las cosas de la tierra. En efecto, al
vislumbrar la posibilidad de geometras distintas de la euclidiana, en lugar de adquirir el
convencimiento de que el postulado V es indemostrable, y que en consecuencia, existen
otras geometras igualmente verdaderas, mostraron una constante preocupacin por

Introduccin a los Mtodos del


Conocimiento Cientfico

Pgina 17

Fasano Garcia Ramrez

Geometras no euclidianas:
una verdadera revolucin.

averiguar, por va experimental, cul era la verdadera geometra, es decir, cul era la
geometra vlida para la naturaleza4.
El mejor mtodo que a uno se le ocurre pensar, para ello, consiste en medir la suma de
los ngulos de un tringulo y comprobar si ella es igual, mayor o menor que dos rectos.
El primer ensayo lo hizo Gauss, midiendo los ngulos del tringulo formado por las
cimas de los montes Brocken, Hohenhagen e Inselberg, tringulo cuyos lados miden
varias decenas de kilmetros. El resultado fue que la suma difera de 180 en cantidades
muy pequeas, atribuibles a errores de observacin.

A la izquierda: La cima del


monte Brocken, que es la ms
famosa de las montaas
del Harz, tal como se vea a
finales del siglo 19. Y a la
derecha: Vista de la Torre
Gauss (Gaussturm) que se erigi
en
la cima
del
monte
Hohenhagen, donde Gauss en
persona realiz tareas de
medicin geodsica para el
gran tringulo. La torre de 35
m. fue erigida en 1908, pero
tuvo que ser demolida en 1963.

Lobachevsky ensay lo mismo con el tringulo formado por los extremos de un


dimetro de la eclptica terrestre y la estrella Sirio, siempre con el mismo resultado que la
diferencia era del orden de los posibles errores de observacin. Estos errores, inevitables
por precisas que sean las mediciones, hacen que mediante este tipo de experiencia no sea
posible decidir cul es la geometra real de la naturaleza; a lo sumo sirven para llegar a la
conclusin que, para los usos corrientes de las ciencias experimentales, la geometra
euclidiana es perfectamente vlida. Las no euclidianas tienen inters puramente terico,
cuando se considera que conocer es el nico fin de la geometra, pero tienen valor escaso
como geometra para medir u observar los fenmenos naturales. Para ello la euclidiana es
suficiente, y es tambin la ms prctica, por ser la ms simple y la ms adaptada a la
intuicin.
Es explicable que as sea. Los postulados en que se basa una geometra se eligen lo
mas evidentes posibles para la intuicin. Pero sta es producto de la observacin de la
naturaleza por los sentidos. Por lo tanto, al menos mientras nos mantengamos en el orden
4 Henri Poincar ha rechazado la posibilidad de decidir, por medio de la experiencia, cul es la verdadera
geometra. Ms an, sostiene que el problema en s carece de sentido, ya que una geometra no es ms o
menos verdadera sino ms o menos cmoda para ser aplicada a un cierto mundo. Para el nuestro, este
carcter es posedo por la geometra euclidiana. (La ciencia y la hiptesis, 1943, caps. III, IV y V)
Introduccin a los Mtodos del
Conocimiento Cientfico

Pgina 18

Fasano Garcia Ramrez

Geometras no euclidianas:
una verdadera revolucin.

de magnitudes apreciables por los sentidos, la geometra euclidiana ser la ms acorde


con la naturaleza, por ser el postulado de Euclides el ms evidente para la intuicin.
Otra cosa puede ocurrir al tratar fenmenos cuyo orden de magnitud sea muy
diferente del que aprecian directamente los sentidos, como distancias estelares o
dimetros de partculas elementales. En estos casos podra ser que la intuicin fallara y
que otras geometras fueran ms apropiadas, de la misma manera como para grandes
velocidades, superiores a las observadas directamente por los sentidos, deja de ser exacta
la mecnica newtoniana (la ms evidente para la intuicin) y debe ser sustituida por la
einsteiniana.
Descripciones no euclidianas del mundo fsico, utilizadas por ejemplo en la teora de
la relatividad y en las investigaciones sobre fenmenos pticos y sobre la propagacin de
ondas, se revelaron bastante adecuadas. Las nuevas geometras colaboraron as mismo en
la interpretacin de modelos representativos de conceptos abstractos muy utilizados hoy
en da en fsica y otras reas de la ciencia, como por ejemplo la estadstica.
A modo de ejemplo: Newton entenda a la gravitacin como una accin de fuerzas.
Dos masas (imaginemos dos esferas) ejercen entre s una fuerza que se
"mueve"(figurativamente hablando) a lo largo de la recta que pasa por sus centros. Para
Einstein la gravedad se debe a una "curvatura" del espacio tiempo. Para l toda masa
producira una distorsin, una curvatura en el espacio por el cual nosotros nos
"deslizaramos". Imaginemos una cama bien tendida, su superficie se asemeja a una
superficie euclidiana, una superficie plana. Si sobre esa superficie se apoya un libro
pesado esa superficie deja de ser plana para transformarse en "curva". Cualquier objeto
que se encuentre sobre la sbana cerca del libro se deslizar hacia l por efecto de la
curvatura. En el caso del espacio tiempo, la Tierra, por ejemplo, curvara nuestro
espacio de manera que cuando soltamos un lpiz l se deslizara por "esa curvatura" hacia
el suelo.
Actualmente las geometras no euclidianas aparecen vinculadas a trabajos de
investigacin concernientes a los ms diversos campos de inters de la matemtica, as
por ejemplo a los sistemas dinmicos, funciones automorfas y la teora de los nmeros.
Su utilidad es muy destacada en el estudio de variedades (superficies) tridimensionales.

Introduccin a los Mtodos del


Conocimiento Cientfico

Pgina 19

Fasano Garcia Ramrez

Geometras no euclidianas:
una verdadera revolucin.

EL COSTADO FILOSOFICO Y SOCIAL DE LA REVOLUCION GEOMETRICA.

La posicin Kantiana:
Aunque la geometra de Gauss era aplicable al espacio fsico, no se
atrevi a hacer pblico su descubrimiento, debido a la poderosa
influencia filosfica de Kant. Para Kant:
la geometra de Euclides no slo era la nica posible sino tambin
la nica verdadera, la nica que era capaz de establecer reglas
mtricas con el mundo.
Para Kant el espacio es una intuicin pura que es otorgada al sujeto a priori lo que
es independiente de la experiencia- con propiedades inmutables y eternas. Tenemos idea
del espacio puro a travs de formas bsicas de la intuicin que son apriorsticas.
En la introduccin de su Crtica de la Razn Pura Kant expresa:
No hay duda alguna de que todo nuestro conocimiento comienza con la experiencia. Pues
por dnde iba a despertarse la facultad de conocer como no fuera por medio de objetos
que hieren los sentidos... y elaboran as, con la materia bruta de las impresiones
sensibles, un conocimiento de los objetos que llamamos experiencia?...
Mas si todo nuestro conocimiento comienza con la experiencia no por ello se origina todo
l en la experiencia. Bien podra ser que nuestro conocimiento emprico fuera compuesto
de lo que recibimos por medio de impresiones y de lo que nuestra facultad de conocer (...)
proporciona por s misma sin que distingamos este aadido de aquella materia
fundamental....

Para Kant nuestras experiencias sensoriales son posibles como fenmenos que se
desarrollan en el espacio y en el tiempo. Pero, espacio y tiempo son las formas de
sensibilidad mediante las cuales el intelecto capta las experiencias. Las formas de
sensibilidad son innatas. Sin ellas las experiencias son imposibles.
Esta concepcin apriorstica del espacio es la que asegura la verdad de los teoremas y
axiomas de la geometra euclidiana. Debido a esta poderosa influencia kantiana que hizo
que la difusin de las geometras no euclidianas haya sido tan lenta- los escritos de Gauss
sobre estos temas fueron encontrados despus de su muerte.
El error de Kant es natural y proviene de atribuir al espacio en su totalidad un
comportamiento que es derivado de nuestra experiencia local de ese espacio, all estaba la
clave de su aparente euclidianidad.
Sin embargo Emmanuel Kant fue el primero en concebir la posibilidad de una
geometra diferente de la geometra clsica desarrollada por los griegos y expuesta por
Introduccin a los Mtodos del
Conocimiento Cientfico

Pgina 20

Fasano Garcia Ramrez

Geometras no euclidianas:
una verdadera revolucin.

Euclides en la obra Los elementos. En su primera obra publicada, Gedanken von der
wahren Schtzung der lebendigen Krfte und Beurteilung der Beweise derer sich Herr von
Leibniz und anderer Mechaniker in dieser Streitsache bedient haben (1746), Kant
considera espacios de ms de tres dimensiones y afirma:
Una ciencia de todas estas posibles clases de espacio sera sin duda la empresa ms
elevada que un entendimiento finito podra acometer en el campo de la Geometra.... Si es
posible que existan extensiones con otras dimensiones, tambin es muy probable que Dios
las haya trado a la existencia, porque sus obras tienen toda la magnitud y variedad de que
son capaces.
Esas posibles geometras que Kant entrev son las que hoy se llamara geometras
eucldeas de dimensin mayor que 3.

Influencia en el desarrollo de la geometra


El descubrimiento de las geometras no euclidianas fue, para la matemtica, uno de los
principales del siglo XIX. Tanto por el descubrimiento en s, que termin con los trabajos y
discusiones de ms de dos milenios acerca de la posibilidad de demostrar o no del
postulado de Euclides, como por las consecuencias que tuvo en la fundamentacin y
desarrollo de la geometra y an de otras ramas de la matemtica.
Con las geometras no euclidianas, sistemas lgicos elaborados por el pensamiento con
completa independencia de la experiencia, se recuperaba el sentido platnico de la
geometra y se volva a lo que la obra de Euclides signific para el pensamiento
matemtico. Se termin con la idea de la geometra como ciencia del espacio o de la
realidad circundante, idea que an el propio Gauss pareca sustentar cuando en 1817
escriba, en una carta a Olbergs:
Tal vez en otra vida tengamos otros puntos de vista sobre la esencia del espacio, que
ahora nos son inasequibles. Mientras tanto, la geometra no debera compararse con la
aritmtica, que existe puramente a priori, sino, ms bien, ser colocada en el mismo plano
que la mecnica.
Por otra parte, el hecho de obtener tan vasto campo de novedades con slo sustituir un
postulado por otro, despert, por un lado, la idea de axiomatizar todas las ramas de la
matemtica, analizando a fondo sus principios bsicos, y por otro, la aficin al juego de
sustituir postulados y obtener, as, una gran variedad de geometras, muchas de ellas sin
inters intrnseco, pero siempre tiles para comprender mejor las bases sobre las que
descansa la geometra.
Fue en la segunda mitad del siglo XIX cuando tuvo lugar la gran revisin de la
matemtica desde el punto de vista del rigor. Conceptos usados tradicionalmente fueron por
primera vez enunciados con claridad y puestos en el lugar que como postulado o teorema le
corresponda. Ejemplo tpico es el postulado de la continuidad y la consecuente definicin
de los nmeros reales por Dedekind.
Introduccin a los Mtodos del
Conocimiento Cientfico

Pgina 21

Fasano Garcia Ramrez

Geometras no euclidianas:
una verdadera revolucin.

Respecto a la fundamentacin rigurosa de la geometra, el mximo exponente fue la


obra Fundamentos de la geometra de Hilbert, de la cual existen numerosas ediciones y que
puede considerarse como la rplica moderna de los Elementos de Euclides.
Aparte de esta influencia sobre la fundamentacin, el ambiente matemtico creado a
raz de los estudios sobre las diversas geometras posibles motiv un gran florecimiento de
ideas nuevas, que a su vez repercutieron en el desarrollo de la geometra.
El fracaso de la intuicin, lejos de reducir el campo de la geometra fue un estmulo
para su progreso. Riemann abre horizontes inmensos al definir el espacio como conjunto de
puntos dados por sus coordenadas y con una mtrica, que puede ser muy general, para
medir la distancia entre dos de ellos o la longitud de una curva. Se encuentra que las
geometras no euclidianas son las correspondientes a espacios muy particulares (los de
curvatura constante), caracterizados por la libre movilidad, en ellos, de las figuras. Se
entra de esta manera en la llamada geometra de los espacios de Riemann, base de toda la
geometra moderna y punto de partida de gran nmero de generalizaciones.
Con respecto a la teora general de la relatividad, las ideas de Einstein sobre la
gravitacin son profundamente geomtricas. La presencia de una masa gravitacional altera
la estructura del espacio-tiempo, curvndolo. Por ello, para establecer sus ecuaciones del
campo gravitatorio, Einstein emple los conceptos de la geometra de espacios curvos,
propuesta por Riemann.
Como es comn en la historia de la matemtica, por suerte para ella, la conclusin
del milenario enigma del postulado de Euclides no fue un punto final, sino ms bien punto
de partida de otras investigaciones y de nuevos problemas.
El sentido social
Los conceptos y mtodos matemticos, en general, no son el producto de una o dos
mentes aisladas. Varios cientficos aportaron sus resultados creando un terreno frtil para
dar pasos ms decisivos y ambiciosos. Ah estaban Sacchieri, Lambert y muchos otros que
durante siglos trabajaron el postulado de las paralelas para buscar una mejor comprensin
de la geometra.
As funciona la ciencia, es posible ver hacia adelante pero siempre sobre los
hombros de muchos otros. Las influencias de unos sobre los otros son claras. Eso s: los
caminos son muchos dependiendo de la poca y las circunstancias.
En siglos pasados, la correspondencia personal o el viaje itinerante de unos cientficos
lograban la comunicacin y el intercambio social y colectivo de ideas y opiniones. La
construccin cientfica es un hecho histrico, social y colectivo.
Si lo anterior nos lleva a tener que considerar las construcciones de las ciencias como
resultados complejos con la participacin de muchos, la geometra no euclidiana tambin es
un ejemplo de cmo en la construccin matemtica intervienen los factores no
matemticos, opiniones y percepciones ideolgicas.
Saccheri se detuvo y crey que haba reivindicado a Euclides, al ver una contradiccin
sobre lo que pensaba era la naturaleza de la geometra. La "contradiccin'' a la que le
condujo la hiptesis del ngulo agudo no era lgica sino ideolgica. Un siglo despus, el
Introduccin a los Mtodos del
Conocimiento Cientfico

Pgina 22

Fasano Garcia Ramrez

Geometras no euclidianas:
una verdadera revolucin.

contexto social e ideolgico permiti otro resultado. La "contradiccin'' poda ser vista no
como una contradiccin sino como una proposicin vlida, que se poda sostener
perfectamente. Para Saccheri la geometra euclidiana (con todos sus postulados y axiomas)
era autoevidente, su verdad era necesaria, y describa el mundo que nos rodea. Suponer el
postulado quinto falso y no llegar a una contradiccin o encontrar una geometra que
violase nuestra percepcin de la realidad era impensable.
Admitir que una nueva geometra no euclidiana poda ser lgicamente vlida constituy
un paso hacia adelante. Pero ms lejos fue Gauss: asumi que no solo era una geometra
vlida en trminos lgicos sino que sta poda explicar o describir partes de nuestra
realidad. Evidentemente, el nuevo contexto ideolgico y social as como el desarrollo
mismo de las matemticas y de las otras ciencias haca posible sostener este tipo de ideas.
Gauss asumi la geometra como basada en la experiencia emprica al igual que la
mecnica y la aritmtica como conocimiento a priori compuesto de verdades autoevidentes
y necesarias. Esta ltima apreciacin era tambin ideolgica y sera comn a otros
matemticos y lgicos del siglo XIX.
Es interesante que resultados de tanta trascendencia terica no hayan tenido el impacto
inmediato en la comunidad matemtica de la poca. No slo se trataba de la ausencia de
medios de comunicacin, tambin pesaban hechos como que la comunidad matemtica se
inclinaba por estudiar otras cosas: la geometra proyectiva o los fundamentos del Clculo
Diferencial e Integral por ejemplo; o, tambin pesaba, la inercia y conservadurismo de la
comunidad matemtica para aceptar resultados tan revolucionarios.

Introduccin a los Mtodos del


Conocimiento Cientfico

Pgina 23

Fasano Garcia Ramrez

Geometras no euclidianas:
una verdadera revolucin.

BIBLIOGRAFIA

L. Santal, Geometras no euclidianas. EUDEBA, 1961.


Roberto Bonola, Non-euclidean geometry, Dober, New York, 1955.
Angel
Ruiz,
Geometra
no
euclidiana,
Monografa,
1997.
http://www.cimm.ucr.ac.cr/aruiz/Libros/No%20euclidianas/Secciones/Prefacio.htm
Jorge Flores Valds, La gran ilusin III, las ondas gravitacionales. Proyecto la
ciencia para Todos, Fondo de Cultura Econmica, Mexico, 1997.
http://omega.ilce.edu.mx:3000/sites/ciencia/volumen1/ciencia2/41/htm/sec_2.html
Luis Moreno Armella, La construccin del espacio Geomtrico, un ensayo
histrico-crtico. Grupo Editorial Iberoamericana, Mexico, 1998. Pag. 157-171.

Introduccin a los Mtodos del


Conocimiento Cientfico

Pgina 24

También podría gustarte