GEOMETRASNO-EUCLIDIANAS

GEOMETRASNO-EUCLIDIANAS
Dbora Mara Tejada
Universidad Nacional de Colombia, Sede Mede//n
FriedrichGauss,1777-1855;JuanBolyai,1802-1860;
NikolaiLobachebsky,1793-1856; BernhardRiemann,1826-1856
Resumen: Relatamos aqu una de las piezas ms emocionantes de la Historia de las
Matemticas: El descubrimiento de las Geometras No-Euclidianas. Los actores
principales, Gauss, Solyai, Lobachebsky y Riemann jugaron su papel sin ser
conscientes de su importancia. Solamente despus de la muerte de Riemann la
comunidad matemticaentendisu legado,
MarcoHistrico:
La historia de la aparicin de las Geometras No-Euclidianas, corresponde a una
poca revolucionaria en la historia de la Matemtica, no solamente porque estas
geometras se desarrollaron prcticamente en el aire, sin un apoyoen la "realidad" de
ese momento, sino porque, tambin, su aparicin cuestiona lo que es un sistema
axiomtico, lo que es un axioma independiente y lo que significa la consistencia de
una teora matemtica. Estaspreguntasestaban presentesen el momentode la crisis
de los fundamentos de la Matemtica (a finales del Siglo XIX ycomienzos del XX) y
daran comienzo, un poco msadelante, alaestructuracindela Lgica Matemtica.
Acomienzos del Siglo XIX, la Matemtica se encontraba madura para tratar de
entender aquellos conceptos que se venan utilizando en las distintas ciencias, pero
que realmente no se comprendan del todo, Por ejemplo, desde los trabajos de
Fourier, la pregunta de lo que era una funcin no tena an una respuesta clara y
formal. As mismo, el concepto de inf,nito utilizado regularmente en el Clculo
necesitaba urgentementeseraclarado.
La Esttica, la Mecnica Celeste, la Geodesia, el Clculo Diferencial, la Geometra
Analtica estaban apoyadas camadamente sobre la Geometra Euclidiana. Una base
aparentemente firme y slida como para sostener prcticamente todos los
conocimientos matemticos de la poca. Nada estaba ms lejos de la realidad. El
quinto postulado estaba en equilibrio inestable. Y es, precisamente, esta inestablidad
la quepermitirael surgimientodelas Geometras No-Euclidianas.
La Geometra Euclidiana (o Plana), como su nombre lo indica se le debe a Euclides
(300 a,c.), El Libro I de los Elementos de Euclides, recoge los conocimientos de
Geometra Plana de la poca en 48 Proposiciones, las cuales se deducen
lgicamente de un conjunto de 23 definiciones, 5 axiomas y 5 postulados. Se dice
que ste es el primer tratado de la Matemtica pura, El mtodo axiomtico y
deductivo empleado por Euclides es el preferido por la mayora de los matemticos
de hoyen da, pues garantizala soldez relativa delateoraque lo utilice,
145
'1:
En la Geometra Euclidiana, las 23 definiciones explican los conceptos ms bsicos
como "punto", "lnea", "plano", "crculo", etc, Los 5 axiomas recogen principios quese
tomancomoverdadesevidentesen cualquiercienciaylos5postuladosestablecenlas
verdadesevidentesquecumplenalgunosdelosconceptosbsicosincluidosen las23
definiciones, son por tanto, restringidos a la Geometra Plana. Escribimos la lista de
losaxiomasypostuladosacontinuacin.
,
Axiomas,'
I
1.
Lascosasquesean igualesa la mismacosason igualesentres.
2.
Si acantidadesigualesselesumancantidadesiguales, lostotalesserniguales.
i;
~ j
3, S acantidadesigualesselerestancantidadesiguales, losresultadossern
iguales.
~
4.
Lascosasquecoinciden entresison igualesentre s.
5.
El todoesmayorqueunaparte.
Postulados:
1. Unarecta puede trazarsedesdeun puntocualquierahastaotro,
2, Unarectafinita puede prolongarsecontinuamenteyhacerseunarecta ilimitadao
indefinida.
3, Unacircunferenciapuededescribirsecon un centroyunadistancia.
4. Todoslosngulosrectos son igualesentres.
5, Si una recta que corte a otras dos, forma con stas ngulos interiores del mismo
lado de ella que sumados sean menores que dos rectos, las dos rectas, si se
prolongan indefinidamente, se cortarn del lado en que dicha suma sea menor
que dos rectos.
Observamos que el quinto postulado difiere de los otros postulados por su especial
complejidad. Esta caracterstica llam la atencin de los matemticos desde el
principio, pues lo colocaba mscerca de las proposiciones que de los postulados. El
mismoEuclideslo sabiay lointrodujosolamentedespusdela Proposicin28; quizs
esperando poderdeducirlo lgicamentede losotros postulados. Lo introducejustoen
el momentoen elcual ya leerainevitabletenerqueusarlo.
Muchos fueron los matemticos que se quemaron las pestaas tratando de probaro
de simplificareste postulado. Como muestratenemos a: Ptolomeo (S, II a.c.); Proclus
(412-485); Nadir-al-din-al-Tusi (1201-1274); Saccheri (1667-1733); Lambert (1728-
1777); D'Alembert (1717-1783); Lagrange (1736-1813); Legendre (1752-1833);
Playfair (1748-1819); Laplace (1749-1827); Farkas Bolyai (1775-1856); Wachter
(1792-1818); Schweikart(1780-1859); Taurinus(1794-1874).
Algunos deellos estaban convencidos de que dicho postulado no era independiente ,
de los otros cuatro, es decirque sera posible deducirlo deellos. Proclus afirmque I \
dicho postulado deba ser posible demostrarlo a partir de los otros, ya que su
recproco era la Proposicin 17, Otros trataron de reemplazarlo por enunciados
equivalentes y ms evidentes, restndole complejidad y acercndolo a los otros
146
. postulados. Hoy en da, utilizamos como quinto postulado el enunciado equivalente
. reencontrado por Playfair en el Siglo XVII (Proclus ya lo haba utilizado). Este dice:
, 'Por una punto dado exteriora una recta slo puede trazarse otra (nica) paralela a
ella".
Los trabajos de Saccheri y de Lambert fueron especialmente importantes en el
descubrimiento de las Geometras No-Euclidianas, es decir, Geometras donde el
quinto postuladonoessupuestocomocierto.
Tanto Saccheri como Lambert se empearon en demostrar la no independencia del
quinto postulado. Trataron infructuosamente de demostrarlo, y en su camino
descubrieron muchos de losteoremas delas GeometrasNo-Euclidianas. Porello son
considerados comoprecursores.
Saccheri trabajcon la afirmacinsiguiente, la cualesequivalenteal quintopostulado:
'S en un cuadriltero un par de lados opuestos son iguales y si los ngulos
adyacentes al tercer lado son rectos, entonces los otros dos ngulos tambin son
rectos". Sin dificultad prob que los otros dos ngulos son iguales, y en seguida
empleandoel mtododedemostracin"porel absurdo"considertres posibilidades:
A) Losngulossonagudos.
B) Los ngulosson rectos. (Posibilidadequivalentealquintopostuladode Euclides)
C) Losngulos son obtusos.
tisabia que si desechaba las posibilidades A) y e)quedaria probada la B), es decir,
probara elquinto postuladade Euclides. Teniendoen cuentael Postulado2, quedice
que toda recta se puede extender ilimitadamente, Saccheri prob la imposibilidad de
C) y cometiendo varios errores prob la imposibilidad de A), concluyendo,
errneamente, que el postulada de Euclides era cierto. Se cree que Saccheri se di
cuenta desu erroryretuvo la publicacin desu libro. ste se public slo despusde
su muerte.
Por su parte, Lambert trabaj con el enunciado: "Si en un cuadriltero tres de sus
ngulos son rectos, el cuano tambin lo es", ste tambin es equivalente al quinto
postulado. En su recorridofuemsallqueSaccheri, puesencontrmsteoremasde
las Geometras No-Euclidianas, pero su empeo por demostrarel quinto postulada lo
llev, igualmente, acometererroresyaconcluirfalsamentequeel quintopostuladono
era independiente. Este error se los cobraria la Historia al llamarlos solamente
precursoresyno descubridoresdelasGeometrasNo-Euclidianas.
Algunos de los sorprendentes teoremas encontrados por Saccheri y Lambert se
refieren ala sumade losngulosinterioresde un tringulo. Porejemplo: '
1) En el caso de la posibilidad A), la suma de los ngulos interiores de un
tringuloesmenorque 180
0
2) En el caso de la posibilidad C), la suma de los ngulos interiores de un
tringuloesmayorque 180
0
.
147
En la GeometraEuclidianaoen la posibilidad B) setieneque la suma de losngulos
interioresdeun tringuloes 180
0

Comohabamosdicho, Lambertavanzaun poco msyencuentra porejemploqueen
el casodela posibilidad A), el reade un tringuloesproporcionalal nmeron menos
la sumadesusngulos. Esta cantidad se llamael defectodeltringulo. En cambioen
la Geometra de Euclides, el rea depende del tamao de los lados y no de los
ngulos.
Tal insistencia para demostrar el quinto postulado se vea fortalecida por las
consideracionesfilosficasde Kant (1724-1804) quienen su "Crtica de la razn pura"
(1781) sostena que el espacio euclidiano es "inherente en la estructura de nuestra
mente" ydeclaraba, an ms, queel conceptodeespacio(euclidiano) no esemprico
sinoqueesuna necesidad inevitableen el pensamientohumano.
Este es el marco histrico en el cual Bolyai y Lobachebsky se atreven a negar
pblicamenteel quintopostulado yconstruyen con su negacin (independientemente)
una nueva geometra, tan consistente como la de Euclides, aunque en vida nunca lo
supieran.
Quizs un poco ms anticipadamente, Gauss (1777-1855) ya haba hecho lo mismo
en su mente, pero el temor al aullido de los Beocios y a ser el centro de polmica
contradiciendo a los kantianos, le impidieron escribir y publcar sus resultados. Se
sabedeestoporcartaspersonalesfechadasen 1817(a Olbers), en 1824(a Taurinus)
yen1829(a Bessel).
A continuacin, nos detendremos en las vidas deJuan Bolyai, Nikolai Lobachebskyy
Friedrich Riemann. Mostraremos tangencialmente el papel jugado por Karl F. Gauss
en esta pieza histrica. Al mismotiempo. conoceremos un poco del significadode las
geometrascreadasporestosactores.
Jnos (Juan) Bolyai
(15dediciembrede 1802, Kolozsvar, Hungra, hoyCluj, Rumania-
27deenerode1860Marosvrrhely, Hungra, hoyTirgu-Mures, Rumania).
Su padre Farkas (Wolfgang) Bolyai, eratambin matemtico yhaba sido compaero
de Gauss en la Universidad. Se dicedel quefue el primermatemtico hngaroque
obtuvo resultados originales. Podemos ubicarlo en la lista de los matemticos
empeados en probar el quinto postulado. Por supuesto, fue el primer instructorde
Juan, quien ya alos 13aosdominabaelClculoylaMecnicaAnaltica.
Bolyai estudien el Colegio Real de Ingenieraen Vienaentre losaos 1818al 1822.
Ya en ese entonces, la matemtica ocupaba gran parte de su tiempo y, quizs
influenciadoporsu padre, trataba, tambin, dedemostrarel quintopostulado.
148
Ilos Juego pas al Cuerpo de Ingeniera de la Armada Austro-Hngara. All logr
. distinguirse entre sus compaeros por ser un enrgico soldado, un experto
espadachn, violinista y bailarn. Su personalidad era pendenciera, aunque su padre
en
fue el nico cientfico que lo entendi durante su vida, el estado natural entre ellos era
os
de pelea y de discusin. Estando en el Cuerpo de Ingeniera se bati en duelo con
Irece compaeros con la condicin de que entre duelo y duelo, s ganaba, le dejaran
os
locar una pieza de violn. iTOC las trece piezas' En esa poca aprendi 9 lenguas
extranjeras, entre ellas el Chino y el Tibetano.
Cuando su padre, se dio cuenta que estaba tratando de probar el quinto postulado le
advierte en una carta de 1820
'Por amor de Dios te lo ruego, olvidalo. Tmelo como a las pasiones sensuales,
porque lo mismo que ellas, puede llegar a absorber todo tu tiempo y privarte de tu
salud, de la paz del espritu y de la felicidad en la vida. Este abismo oscuro puede,
quizs devorar unos mil Newtons, uno sobre otro, nunca habr luz sobre la tierra."
Sin embargo, Bolyai no le hace caso y por esa misma poca llega al convencimiento
de la independencia del quinto postulado, es decir, de la imposibilidad de probarlo a
partir de los otros postulados. Para 1823, segn carta a su padre, se ve claro que ya
ha madurado sus ideas.
'He resuelto publicar un trabajo sobre la teora de las paralelas, tan pronto como
ponga el material en orden .. Todava no he completado el trabajo... pero he hecho tan
maravillosos descubrimientos que he sido prcticamente aplastado por ellos y sera la
causa de continuo remordimiento dejarlos perder. .. He creado un universo nuevo de la
nada... "
Ante esta decisin, su padre, en forma premonitoria, lo alienta a escribir:
'Si es Cierto que has llegado a la solucin del problema, hay que publicarlo
rpidamente por dos razones primero porque las ideas pasan fcilmente de uno a
otro, quien pudiera anticiparse a la publicacin; y segundo porque parece cierto que
muchas cosas tienen su poca, en las cuales ellas son encontradas al mismo tiempo
en distintas partes, as como las violetas aparecen en primavera en todos lados."
Despus de superar muchos inconvenientes econmicos, su trabajo lo publica en
1832 como un apndice (de un libro de su padre) de 26 pginas titulado "Apndice
que exhibe la ciencia del espacio absolutamente verdadera; esto es la independencia
de la verdad o falsedad del Axioma XI de Euclides (a priori indecidible para siempre): a
la que se adjunta -en caso de falsedad- una cuadratura geomtrica del crculo"
("Scientiam spatii absolute veram exhibens: a veritate aut falsitate Axiomatis XI
Euclidei (a priori haud unquam decidenda) independentem: adjecta ad casum falsitatis,
quadratura circuli geometrica"}. Este titulo se ha traducido modernamente como "La
Ciencia Absoluta del Espacio"
149
El libro tiene una nota de recepcin de 1829. Hubo una pre-publicacin en 1831 la
cual fue enviada por Farkas a Gauss, pero parece que se perdi en el correo. En
enero de 1832, Farkas vuelve a enviarle una copia a Gauss, pidindole su concepto y
Gauss le responde en menos de un mes dicindole:
"Si yo comenzara con la afirmacin de que no me atrevo a hablar con admiracin de
este trabajo, usted estara sorprendido por un momento, pero yo no puedo hacer otra
cosa; alabarlo sera alabarme a m mismo, pues el contenido de ste, el camino que
su hijo ha seguido, los resultados que l ha obtenido, coinciden casi exactamente con
mis meditaciones, las cuales han ocupado mi mente entre 30 y 35 aos... estoy
gratamente sorprendido de no tener que hacer este esfuerzo* y estoy muy contento de
que sea el hijo de mi viejo amigo quien lo hace mejor que yo de esta notable manera."
Termina la carta proponindole a Juan el problema de calcular el volumen de un
tetraedro, lo que muestra que Gauss si entendi el trabajo del joven BolyaL
Esta carta desconcierta a Bolyai. quien acusa a su padre de haberle estado pasando
sus resultados a Gauss sin su consentimiento. Frustrado, Bolyai no vuelve a publicar
nada, aunque despus de su muerte deja por lo menos 20.000 pginas de
manuscritos, los cuales reposan hoy en la biblioteca de Tirgu-Mures. En estos
manuscritos se ve la insistencia de Juan, por mostrar que su teora era consistente,
es decir, que no alojaba en s misma una contradiccin. Este era el principal
impedimento, como lo veremos ms adelante, que tena Gauss para publicar sus
resultados.
Bolyai enferma de fiebres peridicas y en 1833 se jubila de la Armada. Poco despus,
enamorado quiere casarse, pero el gobierno no se lo permite, ya que una pensin de .
jubilacin no sera suficiente para mantener una familia. Decide entonces vivir con su
novia en la ciudad donde estaba establecida su madre, pues las relaciones con su
padre estaban demasiado tensas.
El otro intento de Bolyai por hacer pblico uno de sus trabajos matemticos fue
cuando particip en un concurso para darle una interpretacin geomtrica a ~ s
nmeros complejos. Su trabajo no fue entendido, all di una interpretacin por parejas
de nmeros reales, muy parecida a la que usamos hoy en da. Adems, cit su
apndice, donde sugiri que la geometra que all apareca se dara en una esfera de
radio imaginario.
Infortunadamente, Bolyai nunca conoci la siguiente frase de Gauss, refirindose a l
en carta a Gerling del 14 de febrero de 1832: "Yo tengo a este joven gemetra Bolyai
por un genio de primera magnitud". Probablemente hubiera sido otra la Historia si
Bolyai la hubiese conocido. Farkas Bolyai muere, ya reconciliado con su hijo, en 1854
y seis aos despus morira Juan BolyaL
* Se refiere a escribir los resultados.
150
I
Nikolai Ivanovich Lobachebsky
(2 de noviembre de 1793, Makarief, Novgorod, Rusia -
24 de febrero de 1856, Kazan, Rusia)
Teniendo 7 aos queda hurfano de padre. A los 8 aos entra al Instituto de Kazan ya
los 14 logra ser admitido en la Universidad de Kazan, donde transcurrieron sus
siguientes 40 aos. A los 18 obtuvo su ttulo de maestra en Fsica (uno de sus
maestros fue Bartels, quien conoca a Gauss), a los 21 fue nombrado profesor
asistente, a los 23 profesor ordinario y a los 34 Rector de la Universidad, cargo del
que fue retirado sin explicaciones en 1846. Durante muchos aos fue el encargado de
la biblioteca y del museo de la Universidad Se cuenta que era un trabajador
incansable, y siendo an rector no le daba pena estar en mangas de camisa quitando
el polvo en la biblioteca. Una vez lleg un visitante muy importante, quien lo confundi
con el portero, y le pidi lo guiara por la biblioteca. Este visitante extranjero qued
maravillado de lo cultos que eran los porteros en Rusia y le quizo dar una propina, la
cual Lobachebsky no acept ofendido. Esa noche, cual no sera la sorpresa cuando se
encontraron en una cena que ofreca el gobernador.
, Para 1815, Lobachebsky comienza a tratar de demostrar el quinto postulado siguiendo
los caminos de Legendre. En 1823, en unas notas suyas aparece escrito al lado del
postulado de Euclides que ste an no tiene demostracin. En 1826 present la
. conferencia "Una sucinta exposicin de los principios de la geometra con una
demostracin rigurosa del teorema de las paralelas". (Este manuscrito se perdi,
quizs l mismo lo recogi al darse cuenta que era imposible lo de la demostracin.)
En 1829 publica una memoria en el Bulletln de la Universidad de Kazan sobre "Los
Principios de la Geometra", adelantndose a Bolyai con su publicacin. Parece que
en esta memoria se recoge gran parte del manuscrito del 26, pero por ningn lado
aparece lo de la prueba rigurosa del teorema de las paralelas. La Historia lo premia
dndole su nombre a la geometra descubierta por l
En 1840 publica en alemn "Investigaciones geomtricas de la teora de las paralelas".
La cual iba acompaada de un resumen en alemn. Esta obra la conoce Gauss y en
1841 le escribe a J. F. Encke: "Estoy haciendo considerables progresos en ruso ... Mr.
Knorre me envi una pequea memoria de Lobachebsky (de Kazan) escrita en ruso y
esta memoria as como su opsculo en alemn sobre lneas paralelas ... ha despertado
en m el deseo de averiguar ms acerca de este inteligente matemtico"
Tambin le escribe a Schumaker, en 1846, recordndole que, l mismo -Gauss-,
desde 1792 ya tena la conviccin de la existencia de esta "geometra imaginaria"
(como la llama Lobachebsky) siempre y cuando la geometra euclidiana no sea
verdadera. De todas maneras, Gauss reconoce en la obra de Lobachebsky un
"verdadero espritu geomtrico" y gracias a Gauss, Lobachebsky fue nombrado en
1842 miembro de la Sociedad Real de Gotinga.
151
Despus de su relevo de la rectora, enferm y comenz a perder la vista. En 1855,
poco antesde morir y ya completamenteciego, Lobachebskypublic su obra cumbre
"La Pangeometra", escrita simultneamente en Ruso y en Francs y dedicada al
aniversario50 dela Universidadde Kazan.
Karl Fredrch Gauss
(30deabril de 1777, Brunswick, Alemania
23defebrerode 1855,Gotinga, Alemania)
Paratenerla ideadel papeljugadoporGaussenel descubrimientodelasGeometras
No-Euclidianas, nada mejorquecitarextractosdealgunas de suscartas.
Carlaa FarkasBolyaide 1799:
"Casitodos, escierto, quisieron darastoel ttulo de axioma; yo no; podraen efecto,
ocurrir que por lejanos que entre s estuvieran los vrtices de un tringulo en el
espacio, su rea fuese, sin embargo, inferior a un lmite asignado. Poseo muchas
afirmacionescomosta peronoencuentroningunadeellassatisfactoria."
Carlaa H. W. Olbersde 1817.'
"Estoycada vez msconvencido deque la necesidad de nuestra geometra no puede
serprobada... "
Carla a F. A. Taurinusde 1824:
"La hiptesis de que la suma de los tres ngulos es menor que 180
0
conduce auna
curiosa geometra, muy diferente de la nuestra (la Euclidiana), pero completamente
consistente, la cual he desarrollado a mi entera satisfaccin, de manera que puedo
resolver cualquier problema de ella, a excepcin de la determinacin de una
constante, que no puede ser designada a priori; cuanto ms grande se tome la
constante, msse aproximaesta geometraala Euclidiana; ycoincidecon ellacuando
la constante es infinitamente grande. Los teoremas de esta geometra parecen j
paradjicos y al no iniciado absurdos; pero una pausada y constante reflexin revela
que no contienen nada imposible en absoluto. Por ejemplo, los tres ngulos de un
tringulo pueden llegara sertan pequeoscomose desee, con slo alargarlos lados
suficientemente; sin embargo, el rea del tringulo nunca puede pasar de un lmite
definido, no importaloquese alarguen loslados, ni tampocoalcanzarlo.
Todos mis esfuerzos por descubrir una contradiccin, una inconsistencia, en esta
geometra no Euclidiana han sido vanos, y la nica cosa en la que se opone a
nuestras concepciones es que si fuese cierta, existira en el espacio una magnitud'
lineal, determinada porella misma(pero desconocida para nosotros). Pero me parece
que, a pesarde la verborrea de los filsofos, la cual ignora todo, sabemospocoocasi
nada, dela naturalezareal del espacio..."
152
\
:55, carta aBessel de 1829:
bre
al 'Puede tomar mucho tiempo, antes de que publique mis investigaciones sobre este
ema; en efecto, puede que no lo sea durante mi vida, pues temo el aullido de los
Beocios"
Comentario de Bolyai despus de la muerte de Gauss.
...todas las razones expuestas por Gauss para explicar porque no publicara nada
sobre este tema estando en vida. no tienen fuerza y son vacas; pues en ciencia. as
como en la vida diaria, es necesario clarificar las cosas de inters pblico que sean
s todava vagas... "
Agrega, ms adelante, que no son razones para dejar la ciencia en su estado
letrgico.
La Geometra de Bolyai-Lobachebsky-Gauss
La geometra creada por Bolyai, Lobachebsky y Gauss es conocida hoy como la
Geometra Lobachebskiana o Hiperblica. En esta geometra se suponen las
definiciones, axiomas y los cuatro primeros postulados de la Geometra Euclidiana.
Pero el quinto postulado es diferente. Este dice as 'Por un punto exterior a una
recta pasan infinitas rectas que no cortan la primera".
Con este cambio. aparece una geometra totalmente sorprendente para quien est
acostumbrado a pensardentro de la Geometra Euclidiana. En esta nueva Geometra
se pueden deducir. entreotros, lossiguientesteoremas
La suma de los ngulos interiores de un tnngulo es menor que 180, pudiendo tomar
cualquier valor mayor que 0 y menor que 180
0
. Ya vimos que este teorema haba
sido encontrado porSaccheri yLambert
El rea de un tringulo esproporcional al nmero nmenos la suma de los ngulos
interiores. O sea que, el rea de un tringulo no puede superar una constante
predeterminada. Este teorema descubierto por Lambertera bien conocido por Gauss,
tal como lo podemosveren su cartaaTaurinus.
No existen tringulos semejantes. Es decir, si dos tringulos tienen los mismos
ngulos, ellos son congruentes. Observamos que la Trigonometra Plana est basada
en la existencia de los tringulos semejantes. Sin embargo, tanto Bolyai como
Lobachebskydesarrollaron una trigonometra consistentecon su geometra.
El hechode que Bolyai, Lobachebsky yGaussestaban plenamenteconvencidos de la
independencia del quinto postulado hace que la Historia los reconozca como los
verdaderos descubridores de la Geometra Lobachebskiana. Sin embargo, el
problema de la consistencia de esta geometra, es decir, estar seguros de que la
1 teora no era contradictoria, no lo pudieron resolver ellos estando en vida. Era,
153
entonces, necesaria la participacin de otros actores que pudieran aclarar este
problema.
Georg Friedrich Bernhard Riemann
(17 de septiembre de 1826, Breselenz, Hannover, Alemania-
20 de julio de 1866, Selasca, Italia)
Hijo de pastor luterano, era el segundo entre 6 hermanos. Al igual que Juan Bolyai, su
padre fue su primer instructor. Ya a los 6 aos se le notaba su genio creador; le
gustaba exasperar a sus hermanos proponindoles problemas de Aritmtica.
Teniendo 10 aos comenz a recibir, formalmente, lecciones de Aritmtica y
Geometra y a los 14 fue enviado a Hannover, donde su abuela, para entrar al tercer
grado superior de la secundaria. Era supremamente tmido, lo que haca que sus
compaeros de escuela se burlasen de l continuamente. Este rasgo hara de l una
persona introvertida en sociedad e intimamente ligada a su familia. Cuando su abuela
muri, pas al Instituto de Luneburg, donde el director se dio cuenta de sus aptitudes y
le permiti entrar a su biblioteca personal. En esta poca conoci la obra "Teora de
Nmeros" de Legendre y el "Clculo" de Euler. En 1846 (de 19 aos) entra a la
Universidad de Gotinga como estudiante de Filosofa y Teologa, ambicionando ser
pastor, con el fin de complacer a su padre. Pero su atraccin por las matemticas lo
lleva a las conferencias de Stern, Gauss y Goldschmidt y, finalmente, con el
consentimento de su padre, cambia de carrera.
Comienza estudiando un ao en Gotinga, luego dos en la Universidad de Berln y
finalmente otros dos en Gotinga. Sus maestros, en Berln, fueron Jacobi, Dirichlet,
Steiner y Einseinstein. All se originan sus ideas sobre las funciones analticas de una
variable compleja, tema que desarrollara en su disertacin doctoral. En esta
disertacin introdujo las hoy llamadas Superficies de Riemann de n-hojas, concepto
que comenzara a abrir las puertas de la Topologa, una rama nueva de la
Matemtica. Por la misma poca en que escribe su disertacin, se dedica a la Fsica
experimental y suea con una Fsica geometrizada, vislumbrndose el deseo de tener
una teora unificadora.
En 1850 escribi: "... puede ser establecida una teora matemtica completa que vaya
desde las leyes elementales para los puntos individuales hasta los procesos que
aparecen ante nosotros en el plenum (espacio continuamente lleno) de la realidad, sin
distincin entre gravitacin, electricidad, magnetismo o termodinmica ... "
Una vez graduado, deseaba ser conferencista en la universidad. Esto le dara el
derecho de dar clases y de recibir un pago segn el nmero de alumnos asistentes.
Como deba presentar un examen de habilitacin, le propone al jurado tres temas;
siendo el tercer tema sobre fundamentos de la Geometra. Gauss, quien era uno de
los jurados, escoge dicho tema, en el cual Bernhard no se senta bien preparado. Esto
lo sabemos por una carta llena de angustia que escribi a su padre. En esta poca
decae su salud y se demora dos aos preparando el examen. Finalmente, en junio de
1854 presenta su habilitacin con la exposicin: "Sobre las hiptesis que sirven de
154
fundamentos de la Geometra". Despus de sta, Gauss sali entusiasmado y,
prcticamente, es la nica vez que se le oy manifestar pblicamente admiracin por
el trabajo de otro.
Este trabajo de Riemann revolucion completamente la Geometra. La Geometra
Euclidiana y la creada por Bolyai, Lobachebsky y Gauss son casos particulares de la
Geometra Riemannana.
En 1859 es nombrado profesor titular en reemplazo de Dirichlet, quien haba
reemplazado a Gauss en 1855. Mejorando sus condiciones econmicas, se casa pero
un mes despus enferma de pleuresa, la cual se convierte en tuberculosis falleciendo
. a causa de sta a orillas del Lago Mayor en Italia. Su muerte prematura,
probablemente, impidi que fuese el creador de la Teora de la Relatividad.
La Geometra de Riemann
La genialidad de Remann se da al concebir espacios de n dimensiones (n-variedades)
dotados de una mtrica (es decir, de una manera o forma para medir distancias entre
puntos infinitamente cercanos) relativa al punto de localizacin en el espacio.
Asignarle a cada punto una mtrica es darle "rigidez" a la n-variedad. Una mtrica
. determina las geodsicas, es decir, las lneas ms cortas entre dos puntos y, tambin,
hace posible medir sobre la variedad longitudes de curvas; distancias entre puntos
. lejanos; ngulos entre curvas; reas, volmenes, etc.
Riemann define para cada punto (X1, X2,"" x
n
) de la n-variedad, la mtrica por medo
. de la forma diferencial:
donde las funciones 9ij dependen del punto (X1, X2 ,... , x
n
)
Con esta definicin, la Geometra Euclidiana se realiza en una 2-variedad
2 2
(precisamente, el plano eucldeo) con mtrica definida por d s =d x1 + d2X2. Aqu 911
=922 =1 Y 912 = O. Uno de los ejemplos que present Riemann en su conferencia es la
llamada Geometra Esfrica (mal llamada Geometra Riemanniana), la cual se realiza
en una 2-variedad (precisamente, una esfera) con mtrica definida por la forma
2
cuadrtica d
2
s = R
2
COS2(X2/R)d2X1 + d
2
x2 Aqu 911 = R Cos(X2/R), 922 = 1 Y 912 = 0,
donde R es una constante que representa el radio de la esfera.
Ni Riemann ni Gauss, cayeron en cuenta que la Geometra Lobachebskiana (o
tambin se realiza en una 2-variedad con mtrica definida por la forma
d
2
s= Cosh (x2/K)d2Xl +d2X2' Aqu 9" = Cosh2(X2/K), 922 =1 Y 912 = 0, donde K es una
constante.
155
El problema de la consistencia
El haberse dado cuenta de este hecho les hubiera resuelto el problema de la
consistencia de la Geometra Lobachebskiana (Hiperblica). Sin embargo, tuvo que
morir el respetado Gauss, para que con la publicacin de sus notas personales, la
comunidad matemtica comenzara a aceptar la posibilidad de las ideas de la
Geometra Hiperblica El universo creado de la nada de Bolyai y la geometra
imaginaria de Lobachebsky comenzaban a materializarse como algo posiblemente
real.
En 1868 Beltrami (1834-1900), utilizando la Geometra Riemanniana construy la
pseudoesfera y mostr que las geodsicas (lneas que realizan la distancia ms corta
entre dos puntos) de sta cumplan los axiomas de la Geometra Hiperblica. Beltrami
haba encontrado un modelo de la Geometra Hiperblica, dentro de la Geometra
Euclidiana. Este modelo probaba que la consistencia de la Geometra Hiperblica
dependa de la consistencia de la Geometra Euclidiana, pues cualquier contradiccin
que la Geometra Hiperblica tuviese, estara inmersa en la Geometra Euclidiana.
Recprocamente, ms adelante, se descubre que las Orosferas son modelos de la
Geometra Euclidiana dentro de la Geometra Hiperblica, es decir, una contradiccin
en la Geometra Euclidiana conllevara, tambin, una contradiccin en la Geometra
Hiperblica. Se tiene de esta manera probada la consistencia relativa de estas dos
Geometras.
En 1872 Felix Klein, partiendo de la definicin de geometra como el estudio de
aquellas propiedades que permanecen invariantes bajo la accin de un grupo de
transformaciones, caracteriza las geometras y observa que las Geometras
Euclidiana, Esfrica e Hiperblica son slo parte de la Geometra Proyectiva, la cual
haba sido desarrollada por Poncelet (1788-1867) en 1822 en su "Tratado sobre las
propiedades proyectivas de las figuras". Desde ese entonces, la Geometra Eucldea
se conoce, tambin, con el nombre de Geometra Parablica; la Geometra Esfrica
con el nombre de Geometra Elptica y la Geometra Lobachebskiana con el nombre
de Geometra Hiperblica.
Geometras en el Siglo XX
A finales del Siglo XIX, los trabajos de Cantor desataron una crisis en los fundamentos
de la Matemtica. Con el fin de darle una base firme a la Matemtica se recurri a las
teoras axiomatizadas. El primer ejemplo de una teora de este estilo, era la Geometra
Euclidiana, la cual fue revisada y reescrita por Hilbert en 1900. Este trabajo de Hilbert,
permiti entender muy bien lo que era una teora axiomatizada y sera la semilla para
el nacimiento de la Lgica Matemtica y de la Meta-matemtica.
Hasta ese entonces, la Geometra Riemanniana no dejaba de ser una simple rama
extica de la Matemtica sin muchas aplicaciones. Pocos aos despus se revelara
su poder. Teniendo en cuenta el experimento de Michelson y Morley (1877), que
prob que la velocidad de la luz es independiente del emisor, es decir que para todo
156
3
i
la
le
a
'a
observador la velocidad de la luz es la misma, Einstein comenz a madurarsu teora
de la relatividad. Para que su teora tuviese fortaleza necesitaba fundamentarla
matemticamente. La Geometra Euclidiana no le serva, pues necesitaba una
geometra quefuera relativa acadaobservador, necesitaba unageometraquevariara
de un lugar aotro en el espacio segn la concentracin de la materia presente en el
lugardel observador. La Geometra Riemanniana era la apropiada. Desde entonces,
la GeometraRiemanniana marchadela manode la FsicaModerna.
Porel ladode lamatemticapura, lasteorasyconjeturasdeWilliam Thurston (1974),
las cuales tratan declasificarlas 3-variedades, resaltan de nuevo la importancia de la
Geometra Hiperblica.
El siguiente paralelo nos puede aclarar la relacin entre las geometras que hemos
mencionadoaqu.
__" Paralelo entre lasgeometras
I I H12erblic8__.__I Parablica
IAutores I Bolyai, 1Griegos
_
' 'Imaginaria,
! Otrosnombres I Lobachebskiana,
Postulados
r
,
Quinto
Postulado
I
l
4postulados
i
Plana,
Euclidiana,
.. __
primeros4
postulados
Porun Porunpunto
exteriorauna recta

,exteriorauna
,pasan infinitas :recta pasa una
rectasparalelasala Inicarecta
.. Elptica I
Riemann
j
I Esfnca,-"-"-"'
I Riemanniana
postulados 1,3Y
4. Las lneas no
sepueden
extender '
I indefinida-mente.
Porun punto
exteriorauna
,rectano pasan
i paralelasala
I
rectadada. paralelaa rectadada. !
1
sum-a---de-+j ,ESmayor
ngulos de un numeron. n. I
1
i tringulo. I .
157
Las 3 ISon agudos.
Son rectos. Son obtusos.
posibilidades
de Saccheri. Si
en un
cuadriltero un
par de lados
opuestos son
iguales y si los
ngulos
adyacentes al
tercer lado son
rectos,
entonces los
otros dos
ngulos...
Negativa. Cero. Positiva.
La curvatura es
constante y ...
El rea de un
Proporcional a 11 No depende de Proporcional a la
tringulo es ...
menos la suma de los ngulos. Si suma de los
los ngulos. No depende de los ngulos menos
depende de los lados. n. No depende
lados. de los lados,
La longitud de Mayor que dos Igual a dos Menor que dos
una
veces n por r, veces n por r. veces n por r.
circunferencia
de radio res...
!
158
BIBLIOGRAFA
1. Bell, E. T "Historia de las Matemticas". Fondo de Cultura Econmica, Mxico,
1949.
2. Blanch R. "La axiomtica. Traduccin de Fedrico OsorioAltzar. Mxico. Centro
deestudiosfilosficos de la UNAM.
3. Bonola, R. "Non-Euclidian Geometry". Oover, Toronto, 1955.
4. Boyer, C. B. "Historiade la Matemtica". Alianza Editorial, Madrid, 1966.
5. DoCarmo, M. P. "RiemannianGeometry". Birkhauser, Boston, 1993.
6. Eves, H. "Estudio de las geometras", Centro Regional de Ayuda Tcnica, AIO.
Uningrfica S.A., Mxico, 1969.
7. Faber, R. L. "Foundations of Euclidean and Non-Euclidian Geometry". Marcel
Oekker, NewYork, 1983.
8. Greenberg, M. J. "Euclidian and Non-Euclidian Geometries". W.H. Freeman and
Company, San Francisco, 1974.
9. Karteszi, F. y SZnssy, B. "Jnos Bolyai, Appendix the theory of space".
Akadmiai Kiad. Budapest, 1987. Traduccin al ingls.
10. Kline, M. "Mathematicalthoughtfrom ancientto moderntimes". Oxford University
Press, NewYork, 1972.
11. Milnor, J. "HiperbolicGeometry: the first 150years". Bull. A.M.S., Vol. 6, No. 1,
Jan. 1982.
12. Montesinos, J. M. "Las geometras no-eucldeas: Gauss, Lobachebski y Bolyai".
Real Academia de las Ciencias Exactas, Fsicas y Naturales de Madrid, Madrid,
1987.
13. Newman, J. R. "Enciclopedia Sigma El Mundo de las Matemticas", Vol. 2y 5,
EditorialGrijalbo, Barcelona, 1994.
14. Poincar, H. "Scienceand Hypothesis". OoverPublications, NewYork, 1952.
15. Ratcliffe, J. G. "Foundations of Hyperbolic Manifolds". Springer-Verlag, New
York,1994.
16. Rosenfeld, B. A. "A History of Non-Euclidian Geometry". Springer-Verlag, New
York, 1988.
17. Smith, O. E. "HistoryofMathematics". Oover, NewYork, 1953.
18. Stillwell, J. "Sources ofHyperbolicGeometry". American Mathematical Society,
Rhode Island, 1996.
19. Stillwell, J. "Mathematicsand ts History". Springer-Verlag, NewYork, 1989.
20. Struik, O. J. "A Concise History of Mathematics". Editorial Oover, New York,
1967.
21. Weeks, J. R. "TheShapeofSpace". Marcel Oekker, NewYork, 1985.
159