Documente Academic
Documente Profesional
Documente Cultură
Geometras no euclidianas:
una verdadera revolucin.
INDICE
Pgina 2
Geometras no euclidianas:
una verdadera revolucin.
Euclides:
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.
Pgina 3
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
Geometras no euclidianas:
una verdadera revolucin.
Finalmente, Euclides sienta unas cuantas nociones comunes cuyo nmero es variable
segn los textos, entre las cuales se encuentran:
1.
2.
3.
4.
5.
Pgina 5
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
Geometras no euclidianas:
una verdadera revolucin.
Pgina 7
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.
Pgina 8
Geometras no euclidianas:
una verdadera revolucin.
Pgina 9
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.
Pgina 10
Geometras no euclidianas:
una verdadera revolucin.
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
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.
Pgina 12
Geometras no euclidianas:
una verdadera revolucin.
Pgina 13
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)
Pgina 14
Geometras no euclidianas:
una verdadera revolucin.
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.
Pgina 15
Geometras no euclidianas:
una verdadera revolucin.
Pgina 16
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
Pgina 17
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.
Pgina 18
Geometras no euclidianas:
una verdadera revolucin.
Pgina 19
Geometras no euclidianas:
una verdadera revolucin.
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
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.
Pgina 21
Geometras no euclidianas:
una verdadera revolucin.
Pgina 22
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.
Pgina 23
Geometras no euclidianas:
una verdadera revolucin.
BIBLIOGRAFIA
Pgina 24