Invitacion ALas Geometrias No Euclidianas

INVITACIO N A LAS GEOMETRIAS NO
EUCLIDIANAS
Ana Irene Ram
rez-Galarza
Guillermo Sienra Loera
Contenido
1 1 Euclides, los Elementos y el metodo deductivo
1.1
1.2
1.3
1.4
1.5
Euclides . . . . . . . . . . . . . . .
Los Cinco Postulados . . . . . . . .
Equivalencias del Postulado V . . .
Algunas omisiones en los Elementos
Las transformaciones permitidas . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
9
11
13
16
19
2 Pintores, ingenieros, losofos
23
3 Geometra Elptica
41
2.1 Reglas basicas de la perspectiva . . . . . . . . . . . . . . . . . . 25

2.2 Del arte a las matematicas . . . . . . . . . . . . . . . . . . . . . 32
2.3 Los losofos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
3.1 La contradiccion que no llego

3.2 Algunas consideraciones
sobre la esfera . . . . . . . . .
3.3 El Plano Proyectivo . . . . . .
3.4 El Plano Elptico . . . . . . .
3.5 Diferencias entre los planos
elptico y euclidiano . . . . . .
4 Geometra Hiperbolica
4.1
4.2
4.3
4.4
. . . . . . . . . . . . . . . . . . . 41
. . . . . . . . . . . . . . . . . . . 45
. . . . . . . . . . . . . . . . . . . 50
. . . . . . . . . . . . . . . . . . . 57
. . . . . . . . . . . . . . . . . . . 59
La lucha contra los beocios . . . . .

Como violetas en la primavera . . .
Los modelos del Plano Hiperbolico
Diferencias entre los planos
hiperbolico y euclidiano . . . . . . .
i
63
. . . . . . . . . . . . . . . . 64
. . . . . . . . . . . . . . . . 68
. . . . . . . . . . . . . . . . 74
. . . . . . . . . . . . . . . . 84
ii
4.5 Vericacion de los resultados de
Geometra Hiperbolica . . . . . . . . . . . . . . . . . . . . . . . 88
5 Grupos Kleinianos
5.1 Grupos de inversiones . . . . .

5.2 Un ejemplo concreto
con sus variantes . . . . . . .
5.3 Supercies de Riemann . . . .
5.4 Algunos Desarrollos Actuales
6 Apendices
Indice Analtico
97
. . . . . . . . . . . . . . . . . . . 101
. . . . . . . . . . . . . . . . . . . 103
. . . . . . . . . . . . . . . . . . . 107
. . . . . . . . . . . . . . . . . . . 114
123
151
Introduccion
Contaremos la historia de descubrimientos que cambiaron la forma del pensamiento en lo que respecta a los conceptos geometricos desarrollados por el
ser humano desde la antiguedad hasta el Renacimiento.
Estos descubrimientos tomaron forma en lo que se ha llamado Geometras
No Euclidianas.
La manera en que fueron descubiertas las Geometras No Euclidianas muestra claramente como lo que es se impone sobre lo que se crea, un poco a
la manera en que los personajes de Pirandello1, una vez bien denidos, cobran
vida propia y se rebelan a lo que el autor tena proyectado para cada uno de
ellos.
Las Geometras No Euclidianas surgen gracias a la actividad de muchos
estudiosos de actividades aparentemente tan distintas como la Geometra, el
Arte y la Logica. Eso explica en parte la dicultad que el ser humano tuvo
para integrar este nuevo conocimiento a los acumulados hasta entonces.
Una de las claves que propiciaron estos descubrimientos fue el concepto de
paralelismo introducido formalmente por el matematico griego Euclides alrededor del siglo III a.C. en su obra Elementos, uno de los libros mas editados de
todos los tiempos. En el Captulo 1 veremos que ya desde ese entonces hubo
discusiones en torno al llamado Postulado de las Paralelas, las cuales perduraron hasta el siglo XIX.
Desde el punto de vista del gran geometra Felix Klein, puede decirse que
la Geometra Euclidiana estudia aquellas propiedades de los cuerpos que no
cambian cuando los desplazamos, los rotamos o los re ejamos. La descripcion
de la propuesta euclidiana, as como una obligada referencia a la propuesta de
David Hilbert para subsanar las omisiones de Euclides, es la parte central del
Captulo 1.
1 Luigi
Pirandello,
Seis personajes en busca de autor
2
La evolucion de la Geometra fue muy pobre durante los 20 siglos siguientes
a la epoca de Euclides, sobre todo por la falta de conceptos fundamentales para
todas las matematicas como los de lmite y continuidad. Y tambien por la falta

de una notacion adecuada en el Algebra.
Pero hubo una contribucion importante, no matematica, debida al cambio
de losofa que en todos los ordenes de la vida introdujo el Renacimiento.
La preocupacion renacentista por obtener un metodo para lograr una buena
representacion plana de escenas o cuerpos tridimensionales llevo a los artistas
plasticos a precisar las nociones de punto de fuga (antecedente de los puntos al
innito en matematicas) y de lnea del horizonte, logrando con ello establecer
las reglas del dibujo en perspectiva.
Las cualidades de un escenario que permiten reconocerlo aun cuando las
fotografas esten tomadas desde angulos distintos, es decir, las que son invariantes aunque la posicion del fotografo cambie, son estudiadas por la llamada
Geometra Afn. Las peripecias de los artistas en su busqueda de las reglas de la
perspectiva y el camino que dichas reglas debieron recorrer hasta transformarse
en conceptos matematicos, seran el tema del Captulo 2.
Los primeros resultados en Geometras No Euclidianas fueron obtenidos
por dos estudiosos de la logica, Saccheri y Lambert. En los Captulos 3 y
4, presentaremos al lector modelos de las Geometras Elptica e Hiperbolica
(respectivamente), que le permitiran desarrollar la intuicion adecuada a cada
caso.
La parte dramatica de la historia de las Geometras Elptica e Hiperbolica
fue lograr la declaracion de su existencia por los cientcos mas reconocidos
de entonces, pues exista la conviccion de que la unica Geometra era la Euclidiana, y parte del discurso de losofos muy respetados se haba interpretado
en ese sentido. A la dicultad de entender el planteamiento matematico debio
a~nadirse el miedo a los beocios, seguidores a ultranza de los losofos mencionados.
Una vez extendida la nocion de Geometra, y habiendo superado el concepto euclidiano del espacio, se plantea su desarrollo a traves de los trabajos
de Bernhard Riemann, y su unicacion a traves de las ideas de Klein, quien
dene a la Geometra como el estudio de los invariantes bajo un grupo de
transformaciones.
En el Captulo 5, con la herramienta de los captulos anteriores, desarrollaremos algunos aspectos de la propuesta de Klein y veremos lo fructfera que
resulto para las matematicas.
3
El ultimo captulo, denominado Apendices, incluye algunos calculos o ejemplos tecnicos pero no demasiado complicados.
Las guras de cada captulo tienen una numeracion independiente, pero
cuando son mencionadas en otro, anteponemos el numero del captulo al que
pertenecen.
Y para los lectores que deseen profundizar en alguno de los temas, hemos
incluido una bibliografa disponible en las bibliotecas de nuestras universidades,
que incluye nuestras fuentes.
Las direcciones en que esperamos recibir comentarios y sugerencias son:
Ana Irene Ramrez Galarza
Cubculo 204, Departamento de Matematicas, Facultad de Ciencias
Ciudad Universitaria, CP 04510, D.F.
Guillermo Sienra Loera
Cubculo 124, Departamento de Matematicas, Facultad de Ciencias
Ciudad Universitaria, CP 04510, D.F.
AGRADECIMIENTOS
A nuestros colegas y amigos Juan Jose Rivaud, Patricia Souza, Oscar Palmas,
Alejandro Illanes, Leon Kushner, Ricardo Berlanga y Gerardo Hernandez (en
orden cronologico de colaboracion), por tener la paciencia de leernos y hacernos
sugerencias que mejoraron la primera version.
A Gabriela Sangines y Leonardo Espinosa, del IMUNAM, por su ayuda para
imprimir algunas partes durante la huelga.
Y al Comite Editorial de Aportaciones Matematicas de la SMM, por hacerse
cargo del arbitraje a peticion del Comite Evaluador del PAPIME.
Este libro fue nanciado por el Programa de Apoyos Institucionales para el

Mejoramiento de la Ense~nanza de la Universidad Nacional Autonoma de Mexico; los dibujos por computadora estuvieron a cargo de Juan Pablo Romero y
Bertha Zavala, el dise~no tipograco fue realizado por Guilmer Ferdinand Gonzalez Fernandez, y el dise~no de la cubierta fue realizado por Angelica Macas.
1 Euclides, los Elementos y el

metodo deductivo
El camino que debio recorrer la Geometra para adquirir un caracter propio,

es analogo al de muchas otras ramas de la ciencia.
Primero respondio a una necesidad practica, la de \medir la tierra", ya
fuera para restituir a los agricultores egipcios la extension que posean antes
de la beneca inundacion anual de sus tierras por el Nilo, o para dividir entre
nuevos poseedores alguna propiedad.
Por conveniencia para todos, los terrenos solan tener formas mas o menos
regulares y hacia el a~no 3 000 a.C., las civilizaciones mesopotamica y egipcia
registran ya algunas recetas obtenidas en forma emprica, no siempre correctas
y nunca justicadas, para calcular el area de algunas guras elementales como
rectangulos, crculos y trapecios.
Para el area de un crculo con diametro d, los egipcios empleaban la formula
A = (8d=9)2, que equivale a aproximar por 256=81; es decir, 3.1605, lo cual
es razonable puesto que no tiene una expresion decimal nita, ni siquiera
periodica, por ser un numero irracional.
En cambio, un ejemplo en que la formula solo es valida en casos muy
particulares es la utilizada para un paralelogramo, es decir, un cuadrilatero
cuyos lados opuestos: a y c; b y d; son paralelos.
d
a
c
b
d
d
b
a
Figura 1.1: Cuadrilateros con lados congruentes y areas distintas.

5
6
La formula propone sumar las longitudes de los lados opuestos, multiplicar
los numeros as obtenidos y nalmente dividir entre 4:
(a + c)(b + d)
:
4
La formula es valida para un cuadrado y para un rectangulo, pero no para
el rombo y el romboide de la Figura 1, que tienen areas mucho menores que
el cuadrado y el rectangulo adjuntos, aunque en cada par de guras los lados
tienen las mismas medidas.
El problema es que la formula ignora el papel fundamental jugado por los
angulos. Un ejercicio sencillo para entender la importancia de los angulos,
consiste en tomar cuatro trozos de alambre, dos de una longitud y dos de otra,
y unirlos de forma que puedan girar. El cuadrilatero de mayor area resulta
cuando todos los angulos son rectos, pues si dos angulos opuestos crecen los
otros dos disminuyen (y con ello la altura del paralelogramo), as que el area
abarcada puede ser tan peque~na como se quiera (vease la Figura 2).
A=
Figura 1.2: Cuadrilateros con igual permetro y areas cada vez menores.
Poco tiempo despues, hacia el a~no 2 000 a.C., encontramos ya en Ur, en la
Baja Mesopotamia, la evidencia del desarrollo de una nocion geometrica muy
importante: la simetra, presente en multitud de objetos de uso cotidiano.
Esta vez la necesidad no es solo practica, sino tambien estetica y muestra
el placer que en jugar y crear encuentra el ser humano. Como dice Jenofonte
(siglo IV a.C.):
Es bello ver el calzado dispuesto en la... los vestidos clasicados segun sus
usos...los utiles de cocina colocados con sentido y simetra. [Bow].
Los objetos esquematicos de la Figura 3 ejemplican los distintos tipos de

simetra (la hilera de mosaicos se supone innita):
P0
C
72o
P
O
P0
Figura 1.3: Cada gura permanece invariante bajo algun tipo de accion: re exion en un plano; re exion en un punto y en varias rectas; traslacion vertical;
rotacion en torno a O por 72 .
- La simetra bilateral de una gura ocurre cuando existe una recta (si
la gura es plana), o un plano (si la gura es tridimensional) tales que
al re ejar la gura en esa recta (resp., plano), la gura no cambia. Por
ejemplo, si P es un punto del jarron de la Figura 3, y P 0 es su re exion
en el espejo ilustrado, P 0 es tambien un punto del jarron. Decimos que el
jarron permanece invariante bajo la re exion en el plano del espejo.
- La simetra central ocurre cuando existe algun punto C (no necesariamente en la gura) tal que si P pertenece a la gura, tambien P 0
pertenece a la gura si C es punto medio del segmento P P 0 . Diremos
entonces que la gura permanece invariante bajo la re exion en el
punto C .
- La invariancia bajo traslacion ocurre cuando al desplazar una gura
una cierta distancia con una direccion y un sentido jos, la nueva gura
coincide con la original.
- La invariancia bajo rotacion en torno a un punto jo de un
plano, ocurre cuando al rotar una gura en torno a ese punto un cierto
angulo, la gura permanece invariante.
- La invariancia bajo rotacion en torno a un eje ocurre cuando al
rotar una gura tridimensional en torno a dicho eje por un cierto angulo,
la gura permanece invariante.
8
Y como una gura dice mas que mil palabras, invitamos al lector a examinar
con atencion las ilustraciones siguientes, para decidir bajo que tipo de accion
permanece invariante cada gura.
.
(a)
(b)
(c)
Figura 1.4: (a) Pectoral de oro de la tumba Senusert, XII dinasta (Egipto,
ca. 2000 a.C.); (b) Copa decorada, arte Celta, siglo V a.C.; (c) Trptico de
Herculano (Roma, siglo III a.C.).
9
Con este bagaje de conocimientos, llegamos a la etapa de consolidacion de
la Geometra como ciencia.
Tal consolidacion se debe sobre todo a la cultura griega, que especica
tanto los objetos de estudio de la Geometra como el metodo para validar los
resultados, el metodo deductivo.
Los orgenes de la civilizacion griega pueden ubicarse hacia el a~no 2 800
a.C., y en ella se dan dos periodos especialmente importantes, el clasico (de
600 a 300 a.C.) y el alejandrino o helenstico (de 300 a.C a 600 d.C.).
Al segundo corresponden dos trabajos capitales en Matematicas, Elementos
de Euclides y Secciones conicas de Apolonio. Nosotros tomaremos el primero
de ellos como punto de partida de nuestra narracion de la evolucion de la
Geometra.
1.1 Euclides
Euclides se establecio en Alejandra hacia el a~no 300 a.C. despues de formarse
en la Academia de Platon. Los trece libros que forman los Elementos reunen,
con rigor y orden sin precedente, los conocimientos matematicos y fsicos alcanzados hasta entonces. Se dice que el numero de sus ediciones, que llegan
hasta la actualidad, solo es comparable al de las ediciones de la Biblia.
Al principio del Libro I (dedicado a la Geometra), Euclides preciso los
conceptos basicos que utiliza mas adelante:
- Nociones comunes, como \Cosas iguales a una tercera son iguales entre
s".
- Deniciones de punto, recta, segmento, supercie, plano, angulo (y sus
diversos tipos), crculo y diametro.
- Postulados, en que describe aquello que puede hacerse con los elementos
denidos y como se relacionan entre s.
- Y, lo mas importante, establecio que la forma de obtener nuevos resultados era deducirlos logicamente de los postulados o de otros resultados
previamente obtenidos.
10
Los Elementos no es un tratado perfecto, pues varias de sus deniciones
fueron poco afortunadas (Un punto es aquello que no tiene partes), y los postulados enunciados no bastan para justicar todas las proposiciones que demuestra (en el inciso 4 mencionaremos algunas de las omisiones mas importantes),
pero no es exagerado decir que al preocuparse por sistematizar su exposicion,
Euclides sento las bases de la ciencia moderna.
Los defectos de la exposicion euclidiana se deben sobre todo a la carencia
de algunos conceptos que los matematicos tardaron mucho tiempo en precisar. Para lograr una exposicion sistematica, fue necesario esperar hasta 1898,
cuando David Hilbert (1862-1943) modico el sistema de postulados en un libro peque~no pero de gran trascendencia, Fundamentos de Geometra [H]. La
lectura de este libro es fundamental para los interesados en la Geometra.
El tratamiento axiomatico moderno consiste en partir de terminos no
denidos pero que deben relacionarse unos con otros segun ciertas reglas claramente establecidas y que juegan el papel de los postulados euclidianos.
El lector tal vez sospechara entonces que sistemas distintos pueden cumplir
las mismas reglas; tiene razon, pero entonces ambos sistemas son esencialmente
el mismo y la diferencia es unicamente aparente. En el Captulo 4 veremos un
ejemplo de este tipo de situaciones, y mostraremos sus ventajas.
Los matematicos llaman a esos sistemas isomorfos, precisamente porque
tienen la misma forma esencial, al menos en lo que concierne a las caractersticas consideradas.
No nos detendremos a consignar las deniciones euclidianas (el lector interesado puede recurrir a la version clasica [Eu], al Apendice I de [W] o al
Apendice A de [Ce]), pues seguramente terminos como punto, recta, plano,
circunferencia, etc., son utilizados correctamente en el sentido euclidiano por
cualquiera de nuestros lectores.
Pero no podramos comprender la genesis de las Geometras No Euclidianas
sin escribir los postulados euclidianos en su forma original, pues la redaccion
misma, aparentemente complicada, del Postulado de las Paralelas dio pie a una
controversia que perduro por mas de veinte siglos y cuyo punto nal represento
toda una revolucion no solo para las matematicas.
11
1.2 Los Cinco Postulados

Podemos considerar a un sistema de postulados como las reglas bajo las cuales
debe efectuarse un cierto juego; entonces es clara la importancia de que entre
los postulados no haya dos contradictorios (decimos que el sistema de postulados es consistente), as como la de que todos los postulados que se utilicen
se enuncien explcitamente (esto se discute con detalle en [H]).
La consistencia de un sistema de postulados suele demostrarse dando un
modelo, es decir, exhibiendo algun conjunto de objetos conocidos para el cual
se cumplen las reglas establecidas en los postulados. El plano cartesiano es
un modelo de la Geometra Euclidiana plana, as que el sistema de postulados
euclidiano es consistente.
En cambio, s veremos en otro inciso algunas de las omisiones en que incurrio Euclides, pues no enuncio todos los postulados que utiliza.
Salvo las palabras entre parentesis, la redaccion original de los postulados
es la siguiente:
I (Es posible) trazar una recta de un punto a otro punto.

II (Es posible) prolongar continuamente una recta nita a una recta.
III (Es posible) trazar una circunferencia dados un centro y un radio.
IV Todos los angulos rectos son iguales entre s.
V Si una recta que corta a otras dos forma, del mismo lado, angulos inte-
riores que suman menos de dos angulos rectos, al prolongar indenidamente las dos rectas, estas se cortan del lado en que los angulos interiores
suman menos de dos angulos rectos (180 ).
M
L
Figura 1.5: Como + < 180 ; las rectas L y M se cortan a la derecha.
12
Euclides denio como paralelas a dos rectas que no se cortan; en vista del
Postulado V, la suma de los angulos interiores que dichas rectas forman con
una transversal debe ser, tanto de un lado como del otro, igual a dos angulos
rectos.
Queremos hacer dos comentarios sobre este conjunto de postulados a partir
de los cuales se desarrollo la Geometra Euclidiana.
1. Euclides hace enfasis en la posibilidad de efectuar ciertas construcciones.
Eso se explica porque la Geometra siempre ha estado acompa~nada de guras

(de ellas nacio), aunque debemos reconocer que hubo en algun momento la
tendencia a prescindir de ellas y utilizar solo la logica para obtener nuevos
resultados. El Captulo 3 ayudara a entender el por que de esa tendencia, pues
el descubrimiento de las Geometras No Euclidianas fue un triunfo de la logica
sobre la unica intuicion hasta entonces desarrollada, la euclidiana.
La redaccion de los postulados euclidianos no solo resalta la importancia
de las guras, sino que hace explcitos los trazos admisibles: el de una recta
entre dos puntos (incluidas sus prolongaciones), o el de la circunferencia de un
centro y radio dados.
Los griegos tenan muchas restricciones en sus instrumentos de construccion geometrica, como las reglas no graduadas; nosotros haremos pocas construcciones, pero desde luego no pondremos ese tipo de restricciones, pues lo
importante es mostrar en que dieren las otras geometras de la euclidiana.
2. El lector estara de acuerdo en que el Postulado V tiene una forma bastante
mas complicada que los cuatro primeros. Hay que aclarar, en favor de Euclides,
que si bien existen formas mas sencillas de este postulado, la redaccion que el
era el
propone corresponde a la version que permite utilizar el postulado. Ese
proposito de Euclides: aplicar los postulados para derivar, utilizando la logica
y resultados ya demostrados, nuevos resultados.
Es claro que Euclides percibio el papel especial del Postulado de las Paralelas, pues evito utilizarlo en la deduccion de las primeras treinta proposiciones
de los Elementos.
Durante los veinte siglos que llevo demostrar la existencia de las Geometras
No Euclidianas, diversas personas creyeron haber deducido el quinto postulado
usando solo los cuatro primeros (una recopilacion de los intentos mas conocidos
13
puede encontrarse en [W]). Pero en todos los casos se haba utilizado un hecho
equivalente al Postulado de las Paralelas, es decir, si suponemos validos los
postulados I a V, podemos demostrar el hecho utilizado y este, a su vez, da
lugar al Postulado V si suponemos validos los primeros cuatro postulados.
Por su importancia para el resto del libro, a continuacion consignamos
varios de ellos; la demostracion de la equivalencia de cada uno de ellos con el
Postulado V, puede consultarse en el Apendice A.
1.3 Equivalencias del Postulado V

Enunciamos primero el llamado Axioma de Playfair, pues se le atribuye a John
Playfair (1748-1819) aunque Proclo lo enuncio en el siglo V d.C.); es la forma
en que suele ense~narse el Postulado de las Paralelas en las escuelas:
1o. Axioma de Playfair. Por un punto exterior a una recta es posible trazar
una y solo una paralela a la recta dada.
Figura 1.6: La unica paralela a L por P es M; la perpendicular a H por P:

El enunciado de Playfair resalta las dos cualidades que caracterizan al paralelismo euclidiano: la existencia de una paralela a una recta dada por un
punto exterior a ella, y la unicidad de dicha paralela.
Entonces es claro que hay dos formas de negar el Axioma de Playfair (y,
por tanto, el Postulado de las Paralelas): una forma es decir que por un punto
exterior a una recta no existe paralela alguna (como veremos, ese es el caso de
la Geometra Elptica); la otra consiste en decir que por un punto exterior a
una recta hay mas de una paralela (es el caso de la Geometra Hiperbolica).
14
La importancia de estas dos formas de negar el Postulado de las Paralelas
quedara clara cuando expongamos en el Captulo 3 los trabajos de Saccheri
y Lambert, pues ambos intentaron obtener una contradiccion a~nadiendo a los
cuatro primeros postulados una negacion del Postulado V.
Enunciaremos ambas posibilidades para poder hacer referencia a ellas:
N1. No existe paralela alguna por un punto P exterior a una recta L.

N2. Hay mas de una paralela por un punto P exterior a una recta L.
Un segundo hecho equivalente al Postulado de las Paralelas, tambien muy
conocido, es el relativo a la suma de los angulos de un triangulo:
2o. Suma de los angulos de un triangulo euclidiano. La suma de los

angulos interiores de cualquier triangulo es igual a dos angulos rectos (180).
En la Figura 7 y en el resto del libro, denotaremos a los vertices de un

triangulo con las mayusculas A; B y C ; a los lados (y sus longitudes) por a; b
y c : y a los angulos interiores (y sus medidas) por ; y :
c
B
b
a
Figura 1.7: La paralela a BC por A permite mostrar que la suma de los angulos
interiores de cualquier triangulo euclidiano es 180 :
La demostracion de la equivalencia de este hecho con el Postulado V se
encuentra en el Apendice A. En los captulos correspondientes, trataremos de
convencer al lector de que la suma de los angulos de un triangulo elptico o de
un triangulo hiperbolico no es igual a 1800 ; sino mayor en el caso elptico y
menor en el caso hiperbolico.
Otro hecho muy familiar para nosotros es el de obtener una reduccion o
15
una amplicacion de una fotografa o de un escrito. En un mundo elptico
o hiperbolico eso sera imposible, porque no existen guras semejantes, es
decir, con los mismos angulos y medidas diferentes.
3o. Existencia de triangulos semejantes no congruentes. Es posible
construir un triangulo con los mismos angulos y lados distintos a los de un

triangulo dado.
B0
B
C0

Figura 1.8: Existen triangulos euclidianos con angulos iguales y lados distintos.
Tambien en este caso, la demostracion de la equivalencia de existencia de
guras similares y el Postulado V puede consultarse en el Apendice A.
El ultimo hecho equivalente al Postulado de las Paralelas que analizaremos,
es la existencia de rectas equidistantes en la Geometra Euclidiana. La
denicion precisa de rectas equidistantes se encuentra en el enunciado siguiente.
4o. Existencia de rectas equidistantes. Es posible encontrar dos rectas L

y M tales que si desde cualquier punto de una de ellas trazamos el segmento
de perpendicular a la otra, todos los segmentos tienen la misma longitud.
P1
P2
M
L
Figura 1.9: Las paralelas son rectas equidistantes.
16
Para las Geometras Elptica e Hiperbolica, deberemos comenzar por
aclarar cuales curvas pueden llamarse rectas (o geodesicas) y entonces sera
sencillo demostrar, en cada caso, que ningun par de ellas puede ser equidistante.
Pero en el caso euclidiano s es posible un tal par. De hecho, en el Apendice
A demostramos que cualquier recta M paralela a una recta dada L es una recta
equidistante de esta.
Hay otros hechos equivalentes al Postulado de las Paralelas que tambien
son interesantes, pero hemos elegido los anteriores para analizar su validez en la
Geometra Elptica y en la Hiperbolica, pues siendo muy familiares a cualquier
lector interesado en la Geometra, su equivalencia con un postulado invalido
en esas otras geometras, da lugar en cada caso a hechos contrastantes con los
que estamos acostumbrados a manejar.
1.4 Algunas omisiones en los Elementos
Ya hemos mencionado la importancia de la intuicion geometrica, haciendola

responsable en parte de la creencia, sustentada por mas de 2 000 a~nos, de la
imposibilidad de otras geometras.
Pero la intuicion no es una iluminacion repentina, sino mas bien el resultado
de experiencias anteriores. Entonces, si solo hemos aprendido a jugar el juego
euclidiano y ni siquiera nos hemos planteado la posibilidad de un juego distinto,
careceremos de la experiencia que da lugar a la intuicion.
Para fabricar la experiencia no euclidiana bastara recurrir a conocimientos que ya posee el lector, y unicamente los examinaremos desde una optica
distinta. La verdad, muchas veces lo unico que hace falta para obtener un
conocimiento nuevo o para resolver un problema, es hacer una lectura novedosa de los hechos familiares.
La optica distinta consiste en partir de una propiedad muy familiar de los
caminos rectos: minimizan la distancia entre dos puntos. Pero si tomamos
una pelota y una trompeta y colocamos una hormiga en cada una de ellas, a
la pregunta
17
>cual es el camino mas corto que debe recorrer la hormiga para ir de A a B ?,
nadie respondera: \un segmento de recta", porque ni en la supercie de la

pelota ni en la de la trompeta existe un camino as. Un medico, Hermann
von Helmholtz (1821-94), fue el primero en observar que los organismos que
viven en la supercie de los charcos solo pueden desplazarse en la supercie,
sin utilizar la tercera dimension.
En la esfera, el camino mas corto, o geodesica, lo se~nala una liga tensa
entre los dos puntos. La Figura 10 muestra en cada caso el aspecto de algunas
geodesicas: un arco de circunferencia del mismo radio de la esfera correspondiente en el caso de la pelota, sin importar donde esten los puntos: y para
la trompeta, donde la liga a veces debe ponerse por adentro, la forma de la
geodesica cambia dependiendo de la ubicacion de los puntos. Como seguiremos
usandolas, advertimos al lector que las geodesicas de la esfera son llamadas
crculos maximos y no circunferencias maximas, como sera correcto.
B
A
A
A
A
Figura 1.10: Geodesicas de la esfera y de la seudoesfera.

Tomaremos esas geodesicas como\rectasa n de entender cuales son algunas
de las omisiones en el conjunto de postulados euclidiano.
Apartandonos de la lnea historica, comenzaremos por el Postulado II,
donde Euclides establece la posibilidad de prolongar indenidamente un segmento de recta. Un gran matematico del siglo XIX, Friedrich Bernhard Riemann (1826-66), de quien hablaremos en el Captulo 3, hizo notar que es
necesario distinguir claramente entre la posibilidad de avanzar siempre sobre
una \recta"y el hecho de que tenga longitud innita, porque aunque la longitud
de un crculo maximo en la Tierra es 2 veces el radio de la Tierra, longitud
18
grande pero nita, es claro que tiene sentido recorrer una de esas geodesicas
tantas veces como se quiera.
En vista del parrafo anterior hay que preguntarse en que sentido debe
entenderse el termino prolongar incluido en el Postulado II: si se reere a la
posibilidad de avanzar indenidamente sobre la geodesica, eso es posible tanto
para las rectas euclidianas como para los crculos maximos de una esfera, pero
si se reere a que las geodesicas tengan longitud innita, eso no ocurre en la
Tierra ni en ninguna otra esfera.
Una esfera (con una modicacion muy importante que veremos cuidadosamente en el Captulo 3) es el modelo para la Geometra Elptica propuesto por
Felix Klein (1849-1925). Por tanto, hay que enunciar claramente si se pedira
a las \rectas"de una geometra ser de longitud innita.
Los griegos conocan bastante bien la geometra de la esfera, pero ni siquiera
se plantearon la posibilidad de que una \recta"tuviera longitud nita.
Para entender otros conceptos que no aparecen explcitamente en el
tratamiento euclidiano (y que llevo mucho tiempo poner en claro), haremos
referencia a medidas que se utilizan cotidianamente.
Una regla tiene marcados centmetros y milmetros, pero esas unidades,
10 2 m= 1 cm, y 10 3 m= 1 mm, se renan (en otros aparatos) para medir
microbios: 10 6 m= 1 micra, y todava mas para medir partculas subatomicas.
Si en la regla lograramos poner marcas correspondientes a los multiplos de
las unidades que hemos se~nalado, parecera que hemos llenado el borde. Pero
al mirar con un microscopio poderoso veramos un espectaculo muy parecido
al original: marcas separadas unas de las otras, aisladas, por lo que al conjunto
de esas marcas se le llamara conjunto discreto.
Si seguimos subdiviendo en 10 partes cada nueva unidad, jamas alcanzaramos todos los puntos que
p Euclides presupone en la recta. Nos faltaran
puntos correspondientes a 2, y e (y muchos, muchsimos mas), pues la
mayora de los puntos de una recta euclidiana corresponden a numeros irracionales, es decir, numeros cuya expresion decimal no es nita, ni siquiera
periodica.
Lo que s es cierto es que cualquiera de esos puntos tiene cerca, tan cerca
como queramos, puntos correspondientes a numeros racionales; por eso decimos que son puntos de acumulacion de los numeros racionales, y por eso
podemos escribir esos numeros con el grado de aproximacion deseada en nuestro sistema decimal. Mas aun, los racionales son un conjunto denso en los
19
numeros reales por acumularse en torno de cualquier numero real.
Para comprender el problema que signica no haber hecho explcito que las
rectas deben contener todos esos puntos, es decir, que sean completas, basta
considerar que si las rectas solo tuvieran puntos corrrespondientes a multiplo
de decimos, centesimos, milesimos, etc., de la unidad, podra ocurrir (y de
hecho sera lo mas probable), que dos rectas transversales se cortaran en un
punto correspondiente a un numero irracional en ambas y entonces el punto
comun no existira.
Como muchas demostraciones euclidianas requieren de la existencia de puntos de interseccion de dos rectas, o de una recta y una circunferencia, para
acabar con el problema, Hilbert decidio incluir en [H] el axioma de completez de la recta, que esencialmente dice que en una recta euclidiana hay
tantos puntos como numeros reales.
Desde el punto de vista geometrico, quien saco en limpio el concepto de
completez en 1817 fue Bernhard Bolzano (1781-1848), mientras que la completez del sistema de los numeros reales fue establecida en 1872 por Richard
Dedekind (1831-1916) (vease [Kl]).
1.5 Las transformaciones permitidas

La Proposicion 4 de los Elementos dice (vease la Figura 11):
Si dos triangulos tienen un par de lados iguales, e iguales los angulos comprendidos por esos pares, tendran tambien iguales las bases, los triangulos seran
congruentes y los angulos restantes, subtendidos por los lados iguales, seran
iguales.
Para demostrar esta proposicion, Euclides utilizo el metodo de superposicion, que consiste esencialmente en mover uno de los triangulos para
hacerlo coincidir con el otro. Para ello es necesario obtener en la direccion de
una recta dada (la determinada por A0 y B 0 ) un segmento congruente a otro
dado de antemano: AB:
A decir de Wolfe [W] y de Kline [Kl], Euclides no se senta a gusto con
el metodo de superposicion, y ambos justican ese malestar en terminos de la
es el caso
deformacion que puede sufrir un objeto cuando se le mueve. Ese
cuando medimos con una regla, porque incluso la barra de platino que sirvio
20
c
B
b0
C
A0
C0
0
a0
c0
B0
Figura 1.11: Si a = a0 ; b = b0 y = 0 ; los triangulos son congruentes.

para establecer la unidad universal de longitud, el metro, deba conservarse en
condiciones especiales para garantizar la estabilidad de su medida (la denicion
actual se da en terminos de longitud de onda).
As pues, la preocupacion de Euclides esta mas que justicada, y solo la
introduccion de coordenadas y la denicion de distancia en terminos de los
numeros dados por esas coordenadas permite obviar el problema.
Sin embargo, actualmente no solo no se evita el metodo de superposicion
sino que puede verse como una anticipacion del juego que Klein hizo explcito
mucho tiempo despues, en su famosa platica de ingreso a la Universidad de
Erlangen y conocida por ello como Programa de Erlangen. De ella puede
armarse que, para Klein,
Geometra es el estudio de los invariantes bajo un grupo de transformaciones.

Para explicar esta denicion, nada mejor que retomar los objetos de las
guras 3 y 4. Al armar que algunas quedan invariantes bajo traslaciones y
otras bajo una rotacion, estamos idealizando los objetos y haciendo abstraccion
de la deformacion que sufre un objeto fsico si lo movemos (las re exiones no
son movimientos).
Re exiones, traslaciones y rotaciones son transformaciones que llevan todo
el plano en el plano y que conservan la distancia entre cualesquiera dos puntos,
por lo que se llaman rgidas. Y si T y S son transformaciones rgidas, al aplicarlas sucesivamente, lo cual se escribe T S; dan lugar a otra transformacion
rgida.
La transformacion T S se denomina composicion de T con S; aplica
21
primero S al punto P y luego T a S (P ): En el Apendice B demostramos que
las transformaciones rgidas forman un grupo bajo la composicion, es decir,
si pensamos la composicion de transformaciones rgidas como una operacion
entre ellas, resulta tener propiedades semejantes a las de la suma de de numeros
enteros:
1. Al sumar dos numeros enteros resulta otro numero entero (cerradura
de la suma de enteros);
2. Si debemos sumar los numeros 7, 6 y 5, da lo mismo sumar primero 7
con 6 y al resultado sumarle 5, que sumar primero 6 con 5 y a~nadir el
resultado a 7 (asociatividad de la suma);
3. El numero cero puede sumarse a cualquier otro numero entero sin alterarlo (hay un elemento neutro para la suma);
4. Para cada numero entero hay otro tal que la suma es cero (cada elemento tiene su inverso para la suma).
R
Q
R 1
Q0
P0
T 1
Figura 1.12: La inversa de una traslacion es otra traslacion, y la inversa de

una rotacion es otra rotacion.
En el Apendice B comprobamos con cuidado todas estas propiedades de la
composicion entre transformaciones rgidas, pero es claro que cada traslacion
T tiene su inversa, T 1 ; que desplaza en la misma direccion y el mismo tramo,
pero en sentido contrario, porque entonces cada punto recupera su posicion
22
original, y la transformacion que manda cada punto en s mismo es la transformacion neutra. Otro tanto ocurre con una rotacion R en torno a un punto O :
la inversa es otra rotacion, R 1 ; con el mismo centro y por el mismo angulo
pero en sentido contrario (vease la Figura 12).
Entonces, superponer el triangulo ABC al triangulo A0 B 0 C 0 puede verse
como el resultado de trasladar primero el triangulo ABC segun el segmento
dirigido AA0 y despues rotarlo con centro en A0 por el angulo B 00 A0 B 0 (vease
la Figura 13).
B0
C
C 00
B
A
C0
T
B 00
A0
Figura 1.13: Para superponer el ABC al A0 B 0 C 0 ; primero trasladamos

segun el segmento dirigido AA0 y luego rotamos con centro A0 por el angulo
B 00 A0 B 0 :
El punto de vista de Klein sera el que adoptaremos para el resto del libro:
especicaremos que tipo de transformaciones permitimos en nuestras guras
y entonces estudiaremos cuales caractersticas se conservan despues de aplicar
dichas transformaciones.
Pintores, ingenieros, losofos
La aportacion de los artistas a la Geometra, tanto en el Renacimiento como

en epocas posteriores, tiene rasgos muy especiales.
Para que el lector conozca de primera mano detalles del primer caso, lo
invitamos a sumergirse en la obra capital de Vasari [Va], documento curiossimo donde las vidas de sus contemporaneos, entre otros Leonardo y Miguel
Angel, se mezclan con descripciones de las tecnicas usadas en las obras y con
los lamentos del autor por el tiempo que los artistas dedicaban al estudio de
la perspectiva, es decir, a lograr establecer las reglas para conseguir una representacion el de objetos tridimensionales en una hoja de papel o en un lienzo.
Vasari se lamenta de que Fillipo Brunelleschi (1377-1446), el primero en
darle un sesgo matematico a la solucion de este problema y quien concibio originalmente la idea de punto de fuga, hubiera decidido introducir en sus cuadros
elementos innecesarios solo para exhibir su dominio de la perspectiva, mientras
que Paolo Uccello (1397-1446), a quien consideraba un artista prometedor,
consagrara la mayor parte de su tiempo a resolver el problema:
Paolo Uccello hubiera sido el mas delicioso y original ingenio despues de
Giotto en el arte de la pintura si se hubiera esforzado tanto en las guras y
los animales como se esforzo y perdio tiempo en las cosas de la perspectiva,
pues aunque estas son ingeniosas y bellas, quien se dedica inmoderadamente
a ellas derrocha tiempo y mas tiempo...ademas, a menudo se vuelve solitario,
extra~no, melancolico y conoce la pobreza, como le ocurrio a Paolo Uccello que,
dotado por la naturaleza de un ingenio sofstico y sutil, no encontraba placer
mayor que el de investigar problemas difciles e imposibles de la perspectiva...
Y tanto se empe~no en esos problemas, que ideo recurso, modo y regla para
poner a las guras en los respectivos planos en que estan paradas, para establecer los escorzos y para determinar la disminucion gradual y proporcional a su
tama~no, cosas todas ellas que anteriormente se dejaban al azar...[Va]
Antes de mencionar las reglas basicas del dibujo en perspectiva, queremos

23
24
hacer notar que, como en muchos otros problemas matematicos, la teora completa fue fruto de una evolucion y del esfuerzo de muchos artistas, como puede
verse en los tratados sucesivos escritos por quienes consagraron parte de su
tiempo al estudio de este tema:
De la pintura (Della pittura) [A] de Leone Battista Alberti (1404-72),
quien es ampliamente reconocido como el fundador de la perspectiva
matematica. Alberti introdujo la idea de que un solo ojo forma con una
escena una \piramide de rayos o proyeccion"(vease la Figura 1), que al
ser cortados por una pantalla dan una \seccion", y anota que la seccion
forma con el ojo la misma piramide de rayos que la escena. Pero lo
mas importante es que observa que hay propiedades comunes al objeto
representado y a la seccion de la piramide correspondiente al dibujo .
Pintando con perspectiva (De prospettiva pingendi) de Piero della
Francesca (1410-92), cuya exposicion tiene ya el cuidado y la elegancia propios de un tratado matematico, donde aparecen incluso algunos
\teoremas"cuyas demostraciones se basan en construcciones y calculos aritmeticos de razones. Estaba considerado por sus contemporaneos como
un pintor matematico y el mejor geometra de su tiempo.
Tratado de la pintura (Trattato della pittura) [DV], recopilacion de las
notas de Leonardo da Vinci (1452-1519) escrita por Peladan. Leonardo
armaba que la pintura debe ser una reproduccion exacta de la realidad,
y la perspectiva matematica ayuda a lograrlo. Pintar es una ciencia
porque revela la realidad y la naturaleza, siendo por ello superior a la
poesa, la musica y la literatura:
\La ciencia de la pintura (que esta sujeta a la optica y la geometra),
reside en el relieve de los cuerpos y en el arte de que el fondo tenga profundidad, lo cual se consigue con las reglas de la perspectiva: disminucion
de guras, de cantidades, de colores."[DV]
Instrucciones para medir con regla y compas (Underweysung der Messung
mid dem Zyrkel und Rychtscheyd), de Alberto Durero (1471-1528), fue
escrito como resultado de un viaje a Italia realizado con el proposito de
difundir la perspectiva entre los artistas alemanes.
La perspectiva se ense~na en las escuelas europeas de pintura desde el

siglo XVI, aunque solo como una coleccion de reglas a seguir. Los tratados
25
matematicos sobre perspectiva aparecen hasta el siglo XVIII y son obra de
Brook Taylor (1685-1731) y Johann Heinrich Lambert (1723-1812).
Con base en la observacion de Alberti, uno puede preguntarse algo mas:
>por que reconocemos que se trata del mismo objeto al mirar imagenes de
el tomadas desde \angulos distintos"? Necesariamente hay caractersticas comunes a ambas, que aprendemos a reconocer sin verbalizarlas. Las transformaciones que llevan una imagen en otra forman un grupo mas amplio que el
de las transformaciones rgidas, como veremos en este captulo.
2.1 Reglas basicas de la perspectiva
Figura 2.1: Tecnica con la que cualquier cosa que se ve y no esta muy lejos de
la vista, ha de ser medida con tres hilos y as transferida a la pintura.[Du1]
26
El grabado anterior esta tomado de la portada de [Du1]; Durero lo realizo a n
de ilustrar el metodo introducido por Alberti para \transferir a la pinturaun
objeto que, colocado en una mesa, se ilustrara como visto desde el punto del
que cuelga la plomada que tensa un primer hilo atado a un punto del objeto.
El hilo atraviesa el plano del marco en un punto que se localiza usando
otros dos hilos, uno vertical y otro horizontal, sujetos a los lados del marco.
Cuando se retira el primer hilo, es posible colocar en el plano del marco la hoja
del dibujo y marcar en ella el punto de cruce de los hilos sujetos al marco. Con
sucientes marcas ya es posible completar el dibujo.
Pese al tiempo transcurrido desde que se descubrieron las leyes del dibujo
en perspectiva, todava hoy en da es frecuente encontrar anuncios publicitarios
monumentales que al ignorar el concepto de punto de fuga, ilustran de manera
chocante envases con forma de paraleleppedo.
El problema radica en que las aristas de la caja, paralelas en la realidad,
se ilustran con segmentos paralelos en el papel, cuando debieran ser parte de
rectas que comparten un punto de fuga, que es lo como lo vemos (vease la
Figura 2).
Tenis
Tenis
Figura 2.2: Dos ilustraciones de una caja. >Cual es la mas el?

Las paginas 27 y 28 muestran dos pinturas, una sin perspectiva y otra con
perspectiva. En la de Giotto, los bordes de los tejados azules abajo a la derecha
no dan la sensacion de pertenecer a rectas paralelas, pues no se cortaran en
un mismo punto de fuga, mientras que la de van Gogh logra la sensacion de
profundidad gracias al dominio de la perspectiva.
27
Figura 2.3: Giotto (1267-1337) Expulsion de los diablos de Arezzo (detalle).
28
Figura 2.4: Vincent van Gogh (1853-90) El cafe de noche.
29
Nosotros reduciremos las reglas del dibujo en perspectiva a solo dos:
1. Las rectas paralelas en la realidad, como las vas de un tren, deben
representarse en el papel como rectas concurrentes en un mismo punto de
fuga.
2. Para rectas de un mismo plano, todos los puntos de fuga se ubican en la

llamada lnea del horizonte, que suele representarse por una recta horizontal
(vease la Figura 5).
En el caso de una caja, que es un objeto tridimensional, las aristas pueden
agruparse en tres cuartetas de segmentos paralelos. Las aristas de la cara que
esta frente a nosotros suelen dibujarse como segmentos paralelos en el papel,
y aunque todas las aristas perpendiculares al piso miden lo mismo, debemos
dibujar mas peque~na la que esta atras de la A para respetar la incidencia
de las tres aristas que concurren en la esquina superior trasera (porque las
aristas superior e inferior de la cara marcada con A pertenecen a rectas con el
mismo punto de fuga).
La importancia de las dos reglas se entiende mejor si intentamos dibujar,
en una hoja de papel, un piso de mosaicos cuadrados. Es facil constatar que
despues de marcar los lados de uno solo de los mosaicos, los lados de los demas
quedan determinados.
Eso se debe a que los lados de ese mosaico determinan los puntos de fuga
de todos los lados verticales y horizontales de los mosaicos, V y H; y ellos jan
la lnea del horizonte. Entonces la diagonal del mosaico corta a la lnea del
horizonte en el punto de fuga D; donde deben concurrir todas las diagonales
de los mosaicos.
En la Figura 5, hemos utilizado el punto de fuga D y los vertices H1 y V1
del mosaico inicial, para trazar la diagonal H1 D del mosaico derecho, y la del
mosaico superior, V1 D: Estas diagonales cortan a las rectas del lado superior
(V1 H ) y del lado derecho (H1 V ), respectivamente, en los puntos R1 y R2 . Al
trazar la recta V R1 completamos el mosaico derecho H1 H2 R1 D1 , y al trazar
la recta HR2 completamos el mosaico superior V1 D1 R2 V2 : Ademas, esas dos
rectas determinan tambien el mosaico diagonal siguiente. El proceso puede
continuarse al trazar DH2 y DV2 ; etc.
En resumen, aunque en el dibujo los tama~nos de los mosaicos no son iguales,
ni los angulos son rectos, unos y otros guardan la relacion denida por los
30
puntos de fuga V; H y D.
V2
V1
O
R2
R1
H1
H2
Figura 2.5: Al dibujar un mosaico y la lnea del horizonte, el dibujo del resto
de los mosaicos queda determinado.
Es claro que si dos personas dibujan el mismo enmosaicado, la diferencia
de sus posiciones dara lugar a una diferencia en sus dibujos (en los angulos y
los tama~nos de los mosaicos), pero en ambos debe cumplirse la concurrencia de
los lados verticales, de los lados horizontales y de las diagonales en puntos de
la lnea del horizonte, y lo mismo ocurre con cada familia de recta paralelas.
es el invariante que nos permite reconocer que se trata de un suelo de
Ese
mosaicos, y algo analogo ocurre con cualquier otra escena.
Actualmente decimos, siguiendo a Leonhard Euler (1707-83), que un dibujo puede obtenerse de otro mediante una transformacion afn, esto es, una
transformacion del plano en el plano que respeta la incidencia: puntos colineales van en puntos colineales y rectas que se cortan van en rectas que se
cortan. Pediremos, ademas, que la transformacion aplique puntos distintos en
puntos distintos, es decir, que sea inyectiva.
La terminologa matematica actual llama puntos al innito a los puntos
de fuga, y recta al innito a la lnea del horizonte.
Bajo una transformacion afn los tama~nos de los segmentos y de los angulos
pueden cambiar (pero no anularse), y puede demostrarse (vease el Apendice
D) que al componer transformaciones anes inyectivas obtenemos otra transformacion afn inyectiva.
En el Apendice D mostraremos como introducir coordenadas para estudiar
la Geometra Afn, es decir, para determinar las propiedades que permanecen
31
invariantes bajo transformaciones anes.
Como en el caso de las transformaciones euclidianas, las transformaciones
anes tambien forman un grupo bajo la composicion, y aunque podemos llevar
cualquier elipse en otra elipse usando una transformacion afn, no podemos
transformar una elipse en una parabola ni en una hiperbola.
Por eso decimos que la clasicacion de las conicas en elipses, parabolas e
hiperbolas es una clasicacion afn, que puede darse en terminos del numero de
puntos al innito de cada tipo: ninguno para las elipses; uno para las parabolas;
dos para las hiperbolas.
F2
F1
F2
F1
Figura 2.6: En una elipse no hay puntos al innito, la parabola tiene uno, la
hiperbola tiene dos.
La justicacion de estas armaciones es simple si recurrimos al concepto
de pendiente de una recta, esto es, su inclinacion respecto a una recta ja
(en Geometra Analtica, solemos medir la inclinacion respecto al eje de las
abscisas).
La elipse es una curva acotada, pues puede encerrarse en un rectangulo,
como lo muestra la Figura 6, y por eso decimos que no tiene puntos al innito;
en la parabola, la tangente en un punto tiende a volverse paralela al eje focal
cuando el punto se aleja indenidamente del vertice V ; en la hiperbola, la
tangente en un punto tiende a volverse paralela a una de las dos asntotas
dependiendo de por donde se aleja el punto del vertice de su rama, V1 y V2 en
32
el dibujo.
Como dos rectas paralelas tienen la misma pendiente, podemos identicar
un punto al innito con la pendiente de su familia de paralelas y tiene sentido
decir que el punto al innito de la parabola es el de la pendiente del
eje focal, mientras que los dos puntos al innito de la hiperbola son
precisamente los de las pendientes de las asntotas.
En los captulos siguientes veremos que las \rectas"de la Geometra Elptica
no tienen puntos al innito, mientras que en la Geometra Hiperbolica las \rectas"tienen dos puntos al innito, como las ramas de la hiperbola. Precisamente
a este comportamiento de las rectas deben su denominacion dichas geometras,
y por eso podemos decir que la Geometra Euclidiana es Parabolica.
Pero ciertamente debio transcurrir casi un siglo para que las nociones de
punto de fuga y lnea del horizonte evolucionaran hasta incorporarse al lenguaje
matematico como puntos al innito y recta al innito. La seccion siguiente
describe justamente esa transicion.
2.2 Del arte a las matematicas

Un ingeniero militar frances, Gerard Desargues (1591-1661), autodidacta como
geometra y profesor en varias disciplinas, entre otras el canto, convencido de
la potencia de los metodos geometricos para resolver muchos problemas de
su profesion, fue quien concibio la idea de exponer de manera sistematica
los resultados de Apolonio (262-190 a.C.) sobre las secciones conicas, pero
utilizando solo las proyecciones y secciones introducidas por Alberti. Es decir,
Desargues convierte las ideas de los renancentistas en un metodo para justicar
resultados matematicos.
Desargues explica as su interes por la Geometra:
Coneso que nunca tuve gusto por estudiar o investigar fsica o geometra
excepto si sirven para obtener conocimiento sobre las causas...de lo bueno o
conveniente en la vida, ya sea para mantener la salud o para practicar algun
arte...y he observado que buena parte de las artes se basan en la geometra,
entre otras el corte de piedra en arquitectura, los relojes de sol y, en particular,
la perspectiva. [Kl]
33
Desargues publico en 1639 el primer libro en la historia de la Geometra
Proyectiva: Proyecto de tratado sobre los resultados de un cono cortado por un
plano, que tuvo poca difusion pues desgraciadamente empleaba la terminologa,
practicamente desconocida, introducida por Alberti.
Como antes ocurrio con los pintores renacentistas, Desargues enfrento la
crtica de sus contemporaneos, sobre todo de los cientcos, quienes crean imposible obtener contribuciones importantes a la Geometra si no se utilizaba el
lenguaje algebraico propiciado por las coordenadas, recientemente introducido y difundido por sus contemporaneos Pierre de Fermat (1601-65) y Rene
Descartes (1596-1650).
Sin embargo, es justo mencionar que cuando Descartes y Fermat leyeron
el texto, se manifestaron gratamente sorprendidos por lo poderoso del metodo
propuesto y por los resultados obtenidos.
Pero como el texto no tuvo el reconocimiento que esperaba, Desargues
decidio recluirse en su nca. Con el paso del tiempo, casi todos los ejemplares
del trabajo se perdieron y solo hasta 1950 se descubrio uno en la Biblioteca
Nacional de Pars.
Un primer problema por resolver para que el punto de fuga de los renacentistas pudiera incorporarse a las matematicas, es el surgido al girar 180
cuando nos encontramos en medio de un camino: los bordes parecen juntarse
tanto en un sentido como en el otro, lo cual parece sugerir la necesidad de
incorporar no uno sino dos puntos al innito por cada familia de paralelas.
Pero eso no es conveniente porque habra una diferencia radical con el
hecho de que dos puntos ordinarios determinan solo una recta, pues todas las
paralelas tendran dos puntos al innito en comun, y ademas la pendiente de
una recta no depende del sentido en que se recorre.
Ya Johannes Kepler (1571-1630) haba decidido que cada recta deba tener un unico punto al innito precisamente con base en el argumento de la
variacion continua de la pendiente al girar la recta (recuerdese que la tangente
es una funcion trigonometrica cuyo periodo no es 2; sino ). Kepler conceba
las rectas como circunferencias de radio innito, cerrandolas con su punto al
innito. Todos estos conceptos son correctos, y dan lugar a que la Geometra,

el Calculo y el Algebra
funcionen al unsono.
Desargues adopta la misma decision y ademas conforma con todos los puntos al innito de un plano, la recta al innito. Mas aun, generaliza la idea para
planos paralelos al establecer que dos planos paralelos tienen en comun una
recta al innito.
34
Resulta entonces que cualquier par de rectas en este plano ampliado con
la recta al innito, se cortan en un unico punto. El punto sera ordinario si las
rectas no son paralelas, o un punto al innito tanto si las rectas son ordinarias y
paralelas, como si una de las rectas es ordinaria y la otra es la recta al innito.
El plano proyectivo, que comentaremos cuidadosamente en el captulo
siguiente, requerira de eliminar la distincion entre puntos ordinarios y puntos
al innito, y la Geometra Proyectiva es el estudio de los invariantes bajo proyectividades, es decir, transformaciones que resultan al componer un
numero nito de proyecciones (o perspectividades) cuyos centros pueden ser
distintos.
V
Figura 2.7: Todas las conicas son equivalentes bajo proyecciones.
El dibujo clasico de la Figura 7, que exhibe los tres tipos de conica como
secciones de un mismo cono dependiendo del angulo entre el plano de corte y
el eje del cono, sirve para demostrar que el tipo de conica no es invariante bajo
proyecciones, aunque s sea un invariante el hecho de ser conica.
Es facil hacer el experimento de tomar un aro y una cartulina para obtener,
gracias al Sol o un foco alto, cada una de las conicas como sombras del aro al
variar la posicion de la cartulina: una circunferencia si la cartulina es paralela
al aro; elipses si la cartulina esta un poco inclinada; parabolas si la cartulina es
35
paralela a una generatriz del cono de luz; hiperbolas si la cartulina se inclina
aun mas .
Otra aportacion trascendental hecha por Desargues a la naciente Geometra Proyectiva, es la demostracion de la invariancia bajo proyecciones de la
razon doble de cuatro puntos colineales A; B; C y D (vease la Figura 8).
La razon doble es el cociente de las razones en que los puntos C y D dividen
al segmento AB (debe cuidarse de tomar con signos distintos las longitudes de
segmentos recorridos con sentidos opuestos):
Razon doble (A; B ; C; D) =
AC=CB
AD=DB
O
O
A0
A
C0
C
B0
B
Figura 2.8: La razon doble de cuatro puntos colineales es invariante bajo

proyecciones.
La invariancia parece sorprendente porque es muy facil comprobar que
la razon en que un punto C divide a un segmento AB no se conserva bajo
proyecciones. En el triangulo isosceles en la Figura 8, tanto el segmento A0 B
como el segmento AB 0 ; se proyectan (desde O), en el segmento AB que esta
dividido por el punto C segun la razon AC=CB que es 1, mientras que el punto
C 0 divide a A0 B segun A0 C 0 =C 0 B que es menor que 1, y al segmento AB 0 segun
la razon AC 0 =C 0 B 0 que es mayor que 1.
Pero cuando consideramos el cociente de las razones en que dos puntos C
y D dividen a un segmento AB , basta tomar en cuenta la Ley de los senos
para demostrar que la razon doble depende unicamente de los angulos ; ;
y ilustrados en la Figura 8. El calculo aparece en el Apendice C.
36
Desargues descubrio tambien la nocion de conjunto armonico de puntos, y aunque partio de un cuadrangulo completo (veanse [Ce] o [Ev]), la
condicion puede reducirse a que la razon doble (A; B ; C; D) de los cuatro puntos sea 1: El concepto procede de la musica, pues expresa la relacion de los
puntos en que una cuerda AB que produce una cierta nota, debe oprimirse para
obtener las otras notas de la triada mayor, es decir, si dos teclas blancas A y
B de un piano producen las notas do y sol, las teclas blancas correspondientes
a C y D son las que producen las notas mi y el siguiente do.
Dados tres puntos distintos A; B; y C; el punto D para el cual el conjunto
resulta armonico se llama el conjugado armonico de C respecto de A
y B: El conjugado armonico del punto medio de un segmento es el punto al
innito (vease [Ev]).
De los resultados obtenidos por Desargues, es muy famoso el teorema que
lleva su nombre.
Teorema de Desargues. Si dos triangulos ABC y A0 B 0 C 0 estan en perspectiva
desde un punto O (es decir, si AA0 , BB 0 y CC 0 concurren en O), entonces las
intersecciones de los lados correspondientes pertenecen a la misma recta (es
decir, R = AB \ A0 B 0 , S = BC \ B 0 C 0 y T = CA \ C 0 A0 son colineales).
El teorema tiene la propiedad de que su recproco coincide con su dual,

que es la armacion obtenida al intercambiar los terminos \recta"y \punto"y
las frases \incidencia de rectas"(entendida como interseccion de rectas) e \incidencia de puntos"(entendida como la colinealidad de puntos). Por ejemplo,
las armaciones siguientes son una dual de la otra:
Dos puntos determinan una recta.
Dos rectas determinan un punto.
En Geometra Proyectiva ambas son ciertas, pero en Geometra Euclidiana nos vemos obligados a hacer la excepcion de las rectas paralelas para la
segunda.
La comprobacion del Teorema de Desargues puede hacerse utilizando en el
espacio el metodo de proyecciones y secciones, y el hecho de que al cortar una
piramide triangular por dos planos no paralelos (que tienen una recta comun),
obtenemos dos triangulos en perspectiva (desde el vertice de la piramide),
37
cuyas intersecciones de lados correspondientes necesariamente son colineales,
pues pertenecen a la recta comun de los planos secantes. En la Figura 9, la
piramide tiene vertice en O y como secciones los triangulos P BC y P 0B 0 C 0 :
E
R0
R
O
P
P0
S
A0
C
B
T
T0
B0
Figura 2.9: Teorema de Desargues: Como AA0 , BB 0 y CC 0 concurren en O,

entonces R; S y T son colineales.
Tomemos el punto E exterior al plano de los triangulos y en la recta EA
elijamos un punto P distinto de O y A: Sea P 0 el punto donde se cortan EA0
y OP:
Como P A y P 0A0 se cortan en E; los planos de los triangulos P BC y
P 0 B 0 C 0 no son paralelos y se cortan en una recta L0 a la que pertenecen las
intersecciones R0 , S 0 y T de los lados correspondientes P B y P 0B 0 , BC y B 0 C 0 ,
CP y C 0 P 0 , respectivamente.
Al proyectar desde E los dos triangulos P BC y P 0 B 0 C 0 al plano original,
recuperamos los triangulos ABC y A0 B 0 C 0 y la recta L0 da lugar a una recta
L del plano original a la que pertenecen R, S y T , como arma Desargues.
Para concluir esta sucinta descripcion del trabajo de Desargues, debemos
mencionar que obtuvo numerosos resultados sobre polos y polares (veanse
[Ce] o [Ev]), un tema de gran belleza abordado por Apolonio en su tratado
sobre conicas.
38
2.3 Los losofos

Las dos personalidades cuyas aportaciones a la Geometra describiremos brevemente en esta seccion, fueron verdaderos cientcos por la trascendencia de sus
aportaciones, aunque ambos tuvieron como actividades principales la Teologa
y la Filosofa.
Blaise Pascal (1623-62), asistio desde peque~no a las reuniones semanales de
la Academia Mersenne, llamada despues Academia de las Ciencias, y durante
sus multiples periodos de reposo obligado debido a su mala salud, reconstruyo
buena parte de las matematicas de su tiempo.
Invento una maquina de calcular a los 19 a~nos para facilitar el trabajo
de su padre, contribuyo a fundar la Teora de la Probabilidad, y utilizo con
propiedad la idea de cambio continuo (ya usada por Kepler), pues permitio,
por ejemplo, que dos de los vertices de una gura se acercaran hasta coincidir.
En 1640 escribe un Ensayo sobre las Conicas (Essay on Conics), basado en
el metodo de proyecciones y secciones sugerido por Desargues. Al conocerlo,
Descartes se manifesto sorprendido por la importancia de la obra y la juventud
de su autor.
El teorema que lleva su nombre, verdadera joya matematica, es uno de los
muchos resultados sobre conicas que obtuvo con el metodo de proyecciones y
secciones sugerido ppor Desargues. Pascal demostraba el resultado para una
circunferencia y despues lo extenda a cualquier conica por proyeccion.
C
D
Figura 2.10: Para un hexagono inscrito en una conica, las intersecciones de

lados opuestos son colineales.
39
Teorema del Hexagono Mstico (Pascal). Si A; B; C; D; E y F son los vertices
de un hexagono inscrito en una conica, las intersecciones de los lados opuestos:
AB y DE; BC y EF; CD y F A; son colineales.
Si en una circunferencia marcamos seis puntos y los unimos mediante segmentos para obtener un hexagono (convexo o no), vericaremos que las intersecciones de lados opuestos resultan colineales (vease la Figura 10). Una
demostracion formal que utiliza solo la razon doble puede encontrarse en [Re].
Nuestro segundo personaje, Rene Descartes, es famoso por su Discurso del
metodo para guiar la razon y buscar la verdad de las ciencias. Esta obra, uno
de cuyos apendices esta dedicado a la Geometra, gozo de gran difusion gracias
a la claridad de su exposicion.
Descartes tiene como aportacion mayor a la Geometra no la introduccion
de coordenadas, credito que ya hemos mencionado comparte con Fermat, sino
la observacion de que mientras la deduccion de un resultado a partir de los
axiomas requiere de construcciones especiales para cada caso, la utilizacion de
coordenadas permite utilizar la generalidad de los metodos algebraicos. En

particular, el Algebra
da lugar a clasicaciones y jerarquas que han sido de
gran utilidad en el desarrollo de la Geometra.
Como Desargues, Rene Descartes no tiene como n ultimo la obtencion de
nuevos resultados en Geometra, sino que trabaja en esta para explicar mejor
los fenomenos naturales:
Las largas cadenas de razonamientos simples y faciles por las cuales los geometras suelen alcanzar las conclusiones de las demostraciones mas difciles, me
han llevado a imaginar que todas las cosas cuyo conocimiento es de interes
para el hombre, se relacionan entre s de esa misma manera. [Kl]

La propuesta cartesiana es justamente unir Algebra
y Geometra para estudiar mejor los fenomenos naturales. En eso radica la potencia del uso de las
coordenadas, que permitio sacar a la Geometra de un letargo profundo para
volverla nuevamente fuente de inspiracion y de resultados.
Por eso en el resto del libro, incluyendo al Apendice D, trabajaremos en el
plano cartesiano, es decir, seleccionaremos dos rectas perpendiculares, que
suelen ilustrarse por una horizontal, el eje X , y otra vertical, el eje Y , cuya
interseccion es el origen comun. Al seleccionar una unidad, los puntos de cada
eje se corresponden con los numeros reales.
As, cada punto P del plano tiene coordenadas (x; y ) que resultan de
40
trazar perpendiculares a los ejes desde P; y tomar como x el numero asociado
al pie de la perpendicular al eje X y como y el numero asociado al pie de
la perpendicular al eje Y . Las ecuaciones de primer grado en dos variables
corresponden a rectas, las de segundo grado a conicas, etc. (Vease [Ra].)
Y en los ultimos captulos requeriremos incluso de coordenadas complejas,
pues sin esos numeros una ecuacion como x2 + 1 = 0 no tiene solucion.
Ciertamente, en tiempos de Descartes todava no se entenda como manejar
los numeros surgidos como raz de un numero negativo; la mejor prueba es el
calicativo de imaginario acu~nado para ellos por Girolamo Cardano (150176) (vease [Pe]). Pero faltaba poco para la aparicion de uno de los mas grandes
matematicos de todos los tiempos, Karl Friedrich Gauss (1777-1855), personaje importante en el captulo siguiente, quien en su tesis doctoral demostro
propiedades fundamentales de los numeros complejos.
Para concluir, mencionemos que de las cuatro verdades fundamentales establecidas por Descartes:
(a) cogito, ergo sum (pienso, luego existo);
(b) cada fenomeno tiene una causa;
(c) un efecto no es mayor que su causa;
(d) la mente tiene a priori las ideas de perfeccion, espacio, tiempo y
movimiento;
la cuarta debe haber contribuido a reforzar la idea de que la unica geometra

admisible es la euclidiana. El losofo Immanuel Kant tambien hizo armaciones que fueron interpretadas en ese sentido, dando lugar a la reticencia del
propio Gauss a divulgar sus resultados sobre las Geometras No Euclidianas.
Geometra Elptica
No es facil mencionar todas las ideas y todas las personas que contribuyen
a crear una nueva rama de una ciencia. En el caso de las Geometras No
Euclidianas fue necesario construir y destruir, corregir el rumbo y volver a
empezar.
Claudius Ptolomeo (?-168 d.C.), Proclo (410-85 d.C.), Nas^r-Edd^n (120174) y John Wallis (1616-1703) guran en la lista de quienes creyeron haber
demostrado el Postulado V a partir de los anteriores, cuando en realidad haban
utilizado en su argumentacion alguna de las equivalencias de dicho postulado
(vease [W]).
Jean le Rond d'Alembert (1717-83), fsico, matematico y astronomo, miembro del grupo de los enciclopedistas, en uno de sus escritos dedicados a la
Geometra, al abordar el problema de las paralelas, hizo este comentario:
La denicion y las propiedades de la recta, as como de las paralelas, son el
escollo y, por as decirlo, el escandalo de los elementos de la Geometra. [Bon]
Lo anterior solo muestra la suspicacia que tanto fracaso haba generado. Y

sin embargo, todava fue necesario un ultimo intento de mostrar la dependencia
del Postulado de las Paralelas de los postulados anteriores para que algunos
cientcos decidieran comprobar, desarrollando toda la teora, la existencia de
geometras distintas de la euclidiana.
3.1 La contradiccion que no llego

Dos estudiosos de la logica, uno lombardo y otro alsaciano, impresionados por
el metodo de demostracion por reduccion al absurdo decidieron a~nadir
cada una de las negaciones posibles del Postulado de las Paralelas a los cuatro
primeros postulados euclidianos para, al obtener de los dos nuevos sistemas
41
42
una contradiccion, deducir que el Postulado V resulta necesariamente valido
si se han supuesto los primeros cuatro.
Como se recordara, la demostracion por reduccion al absurdo consiste en
negar la tesis y, partiendo de la hipotesis y la negacion de la tesis, llegar a una
contradiccion.
La contradiccion esperada, suponiendo validos solo los cuatro primeros
postulados y no las omisiones que hemos comentado, simplemente no llego.
En su lugar, en el tratamiento que cada uno hizo, aparecieron varios de los
resultados, sorprendentes entonces, que ahora son parte de esta nueva rama de
la Geometra.
La importancia de este ultimo intento radica en haber mostrado que era
posible obtener no un resultado aislado, sino todo un conjunto de proposiciones cuyo conjunto posea belleza y elegancia. Eso contribuyo a desarrollar
la sospecha de que era posible desarrollar teoras alternas a la euclidiana.
Girolamo Saccheri (1667-1733), profesor de gramatica, estudioso de la logica y acionado a las matematicas, estaba convencido, como todos sus contemporaneos, de la dependencia del Postulado de las Paralelas de los cuatro
primeros. Para demostrarla, decidio tomar un cuadrilatero isosceles con dos
angulos rectos (vease la Figura 1(a)).
C D0
B
(a)
C0
A0
B0
(b)
Figura 3.1: (a) Cuadrilatero de Saccheri; (b) Cuadrilatero de Lambert.

Sin el uso del Postulado V, se puede demostrar que los angulos en C y D
de un cuadrilatero de Saccheri, son iguales (vease el Apendice E).
Si dividimos al cuadrilatero como lo muestra la Figura 2, y suponemos que
la suma de los angulos interiores de un triangulo es 180 ; es muy facil vericar
43
que la suma de los angulos interiores del cuadrilatero es 360: Entonces los
angulos en C y en D resultan rectos. A esto llama Saccheri la hipotesis del
angulo recto.
"
360o
'
Figura 3.2: En un cuadrilatero, los angulos interiores suman (4 2)180 :

El hecho de que la suma de los angulos interiores de un triangulo sea 180 es,
como vimos en el Captulo 1, equivalente al Postulado V. Por tanto, al suponer
que los angulos en C y D son ambos obtusos o ambos agudos, Saccheri esperaba llegar a una contradiccion. Llamo a estas suposiciones, respectivamente,
hipotesis del angulo obtuso e hipotesis del angulo agudo.
Entre los resultados demostrados por Saccheri estan los siguientes, cuya
redaccion hemos tomado de [W] (vease [Bon] para una exposicion que incluye
demostraciones):
1. Si una de las hipotesis es valida para un cuadrilatero del tipo considerado,
lo mismo ocurre para todos esos cuadrilateros.
2. Bajo la hipotesis del angulo recto, la del angulo obtuso o la del angulo
agudo, la suma de los angulos de un triangulo es, respectivamente, siempre
igual, mayor o menor que dos angulos rectos.
3. Si existe un solo triangulo para el cual la suma de los angulos sea igual,
mayor o menor que dos angulos rectos, entonces es valida (respectivamente),
la hipotesis del angulo recto, la del angulo obtuso o la del angulo agudo.
4. Dos rectas en el mismo plano, o bien tienen una perpendicular comun, o
bien inciden una vez a distancia nita, o bien se aproximan continuamente una
a otra.
44
A poco de trabajar con la hipotesis del angulo obtuso, Saccheri creyo obtener una contradiccion, pues en ese caso las rectas resultan tener longitud nita
(vease el Apendice F), y por ello desecho esta hipotesis. Como lo comentamos
en el Captulo 1, la innitud de la recta es uno de los postulados omitidos por
Euclides.
Pero en el caso de la hipotesis del angulo agudo, que es equivalente a la
negacion N2:
N2. Existe mas de una paralela por un punto P exterior a una recta L,
Saccheri obtuvo varios resultados sobre el haz de paralelas a L por P; los cuales
comentaremos en el Captulo 4 a partir de un modelo. Desgraciadamente, en
su deseo de llegar a una contradiccion, decidio refutar por \absurdo"el comportamiento de las rectas en el innito que, como veremos en el modelo, es
propio de la hipotesis del angulo agudo; con ello perdio la oportunidad de ser
el descubridor de la Geometra Hiperbolica.
El ttulo del libro que recoge los trabajos de Saccheri, parece mostrar el
reconocimiento de su fracaso, pues se llama Euclides reivindicado (Euclides
ab omni naevo vindicatus). A decir de otro gran geometra italiano, B. Segre
(1863-1924), la publicacion en 1773 de este libro ejercio gran in uencia en
el desarrollo de las Geometras No-euclidianas. Ciertamente, todos los que
abordaron el tema posteriormente utilizan su trabajo como punto de partida.
Saccheri tiene el merito de haber sido el primero en permitirse negar el
Postulado V para estudiar sus consecuencias, lo cual le da la primicia sobre
varios resultados ahora clasicos.
El otro precursor de esta nueva rama de la Geometra es J. H. Lambert, mencionado ya por su trabajo en perspectiva, un profesor alsaciano de
matematicas que fue atrado al tema por un escrito de George S. Klugel (1739
1812). Este,
despues de examinar el trabajo de Saccheri, hizo la observacion
de que
La certeza con que el hombre acepta la validez del axioma de las paralelas
se basa en la experiencia.
En otras palabras, al contar solo con la intuicion euclidiana, la unica desarrollada por la ense~nanza escolar de la Geometra, al hombre se le diculta
aceptar cualquier otra alternativa. Hemos prometido que la lectura desde un
45
angulo distinto de hechos familiares, permitira entender no solo la Geometra
Elptica, sino tambien la Hiperbolica, y desarrollar las respectivas intuiciones.
Lambert utilizo para sus investigaciones un cuadrilatero con tres angulos
rectos, la \mitad"del cuadrilatero de Saccheri (vease la Figura 1 (b)).
Al igual que su predecesor, Lambert desecha la hipotesis del angulo obtuso
al suponer que las rectas deben tener longitud innita. Pero tiene la virtud
de hacer notar que los resultados obtenidos bajo esta hipotesis, tienen gran
parecido con la geometra de una supercie esferica.
Bajo la hipotesis del angulo agudo, tambien obtuvo resultados importantes
que describiremos en el Captulo 4, como la existencia de una unidad de longitud absoluta y el llamado defecto de un polgono hiperbolico. Y se~nalo
explcitamente la belleza y elegancia del conjunto de resultados.
Lambert recopilo sus resultados en un libro llamado Teora de las Paralelas
(Theorie der Parallellinien), escrito en 1766 y publicado despues de su muerte.
En el Captulo 4 terminaremos de narrar los descubrimientos que nalmente
permitieron establecer la existencia de nuevas geometras, porque si bien se
haba desechado la hipotesis del angulo obtuso, en el caso de la hipotesis del
angulo agudo la cantidad y la calidad de resultados no contradictorios invitaron
a los geometras seguidores de Saccheri y Lambert a intentar desarrollar la
teora correspondiente a esta hipotesis, dando lugar a lo que ahora llamamos
Geometra Hiperbolica.
3.2 Algunas consideraciones

sobre la esfera
Decidimos no seguir el orden historico y presentar primero la teora correspondiente a la hipotesis del angulo obtuso, porque su modelo se construye a
partir de uno de los objetos geometricos mas conocidos: la esfera. Aunque,
ciertamente, deberemos modicarla para adecuarla a nuestros propositos.
La esfera tiene multitud de propiedades, once de las cuales se listan en
el bellsimo libro de Hilbert Geometra e Imaginacion (Geometry and the
Imagination) [H-CV]. Aqu veremos algunas que involucran conceptos de Geometra Diferencial.
46
La Geometra Diferencial consiste en aplicar el Calculo para estudiar objetos geometricos tales como curvas y supercies suaves, es decir, que admiten
una recta tangente o un plano tangente (respectivamente) en cada uno de sus
puntos (vease la Figura 3).
Figura 3.3: Una circunferencia, una parabola y una helice son curvas suaves.
Jean Bernoulli (1667-1748) propuso en 1697 encontrar el camino mas corto,
la geodesica, entre dos puntos de una supercie convexa (recuerdese la Figura
1.10, que muestra geodesicas de una esfera y de una trompeta). El problema
fue resuelto en 1698 por su hermano Jacques (1655-1705) para cilindros, conos
y supercies de revolucion.
Como los cilindros y los conos pueden construirse a partir de un trozo de
carton, para obtener el camino mas corto entre los dos puntos basta deshacer
la construccion, es decir, abrir el cono o el cilindro por una de sus generatrices,
extender el carton, trazar la recta entre los dos puntos dados y volver a pegar.
La Figura 4 muestra que, como en el caso de la trompeta, en un cilindro la
forma de la geodesica depende de la posicion de los puntos.
Jean Bernoulli dio en 1728 una de las condiciones que debe cumplir una
curva para ser geodesica de una supercie, y en ese mismo a~no un matematico
muy joven, Leonhard Euler, ya mencionado en relacion a la Geometra Afn,
encontro la condicion que las caracteriza. Esa condicion tiene la forma de una
ecuacion diferencial sobre la tangente a la curva, y por eso se llama ecuacion
diferencial de segundo orden (vease el Apendice G).
Euler fue un matematico excepcional; empezo a publicar sus resultados a los
18 a~nos y continuo haciendolo de manera prolca incluso despues de quedarse
ciego. En casi todas las ramas de las matematicas y la fsica se encuentran
teoremas y ecuaciones que llevan su nombre (vease [Kl]).
Euler dio la primera denicion de uno de los conceptos mas importantes
47
E
C
C
B
Figura 3.4: Geodesicas de un cilindro.

en Geometra Diferencial, la curvatura de una supercie en uno de sus
puntos. Para ello tomo el haz de planos que contienen a la perpendicular N
al plano tangente en el punto P (vease la Figura 5), y considero las curvas
resultantes de cortar la supercie con cada uno de esos planos.
N
P
Figura 3.5: Curvas obtenidas al cortar un cilindro con planos del haz denido
por la perpendicular al plano tangente en el punto.
La curvatura de una curva en uno de sus puntos mide la rapidez con
que la curva se aparta de su tangente. Por ejemplo, en la elipse de la Figura
6, los vertices V1 y V2 son los puntos en que la curvatura alcanza su maximo,
mientras que los extremos del eje menor, M1 y M2 , son los puntos de curvatura
mnima.
48
En el caso del cilindro, la recta generatriz por el punto P tiene la menor
curvatura, y la circunferencia tiene la curvatura mayor.
M1
V2
V1
M2
Figura 3.6: En los vertices de una elipse, la curvatura es maxima.
Algo analogo ocurre para cualquier otra supercie suave: una de las secciones tiene curvatura maxima y otra tiene curvatura mnima, y Euler multiplico los numeros correspondientes a la mayor y la menor de las curvaturas
para denir la curvatura K (P ) de la supercie en el punto P . En el caso de
la esfera, para cualquier punto todas las secciones son crculos maximos y por
eso la curvatura de la esfera no depende del punto, es constante.
Esta denicion de curvatura fue mejorada por Gauss, mencionado ya en el
Captulo 2.
Gauss recibio el encargo de hacer el estudio geodesico de la ciudad de
Hannover, y la realizacion de ese trabajo lo llevo a publicar en 1828 el libro
Disquisiciones generales sobre las supercies curvas (Disquisitiones generales
circa supercies curvas), que sirvio para consolidar la Geometra Diferencial
como una nueva rama de las matematicas.
Gauss concibe la curvatura de una supercie en uno de sus puntos
como la medida de la rapidez con que la supercie se aparta de su plano
tangente, y como una supercie puede tener puntos en ambos lados de su
plano tangente en un punto P , como ocurre en el paraboloide hiperbolico de
la Figura 7, ese caso se distingue del de una esfera o un elipsoide diciendo que
tiene curvatura negativa en ese punto (y, de hecho, en todos), mientras que
la esfera o el elpsoide tienen curvatura positiva en todos sus puntos.
El valor de la curvatura de una supercie en uno de sus puntos es el mismo
si se calcula segun Euler o segun Gauss, pero la denicion de Gauss es mas
49
rica en interpretaciones y, de hecho, mas esencial (vease [DoC1]).
Pues bien, Gauss establecio una relacion entre curvatura y geodesicas de
gran relevancia para el tema que nos ocupa.
P1 P
P2
Figura 3.7: Las parabolas P1 y P2 del paraboloide hiperbolico se encuentran
en lados distintos del plano tangente en el punto P .

(a)
(b)
Figura 3.8: Triangulos geodesicos: (a) en la esfera; (b) en el cilindro.

El llamado Teorema de Gauss demuestra (usando Calculo de Varias
Variables) que si la curvatura se ve como funcion del punto, K (P ) y el punto
vara en una region triangular T acotada por geodesicas, la integral de K (P )
sobre T; esta dada as (vease el Apendice H):
Z Z
K (P ) dS = + +
180 :
50
La importancia de esta formula es que proporciona otra evidencia de que
las tres hipotesis de Saccheri son igualmente admisibles:
- Como en el plano euclidiano las geodesicas son rectas, todas las curvaturas
seccionales son cero, y K (P ) = 0 para cualquier punto. Por tanto, el lado
izquierdo de la formula es cero y entonces tenemos otra demostracion de que
la suma de los angulos de un triangulo euclidiano es 180 :
- En el caso de la esfera, K es constante y positiva, y entonces el lado
izquierdo es positivo. Por tanto, la suma de los angulos de un triangulo esferico
excede 180: Para el caso de la esfera hay una demostracion elemental de este
hecho que veremos mas adelante.
- Finalmente, en el caso de que la curvatura sea constante y negativa, lo
cual ocurre para una supercie parecida a una trompeta, la seudoesfera que
presentaremos en el Captulo 4, el Teorema de Gauss implica que la suma de
los angulos de un triangulo geodesico es menor que 180 :
El plano euclidiano, la esfera y plano hiperblico (que veremos en el captulo siguiente), tienen las propiedades de homogeneidad e isotropa. La homogeneidad signica que un trozo de supercie recortado en torno a un punto,
puede acomodarse en torno a cualquier otro punto, si se rota convenientemente,
y la isotropa signica que al ubicarnos en un punto de una supercie, la supercie tiene el mismo aspecto no importa en que direccion estemos mirando.
Con toda esta informacion, para Gauss deba ser cada vez mas clara la
existencia de geometras alternativas a la euclidiana. Y Riemann pudo tener
todo esto a su disposicion para concebir a la esfera como modelo del plano
doblemente elptico porque fue alumno de Gauss en la Universidad de Gottingen.
3.3 El Plano Proyectivo

Las geodesicas de la esfera tienen varios inconvenientes que seguramente in uyeron en que, antes de Riemann, se desechara como modelo de la geometra
resultante de la hipotesis del angulo obtuso. Por ejemplo, dos crculos maximos
se cortan en dos puntos y no en uno solo, y tambien ocurre que dos puntos
de la esfera, si son antpodas, como el polo norte y el polo sur de la Tierra,
51
determinan un numero innito de geodesicas, como ocurre con los meridianos.
Para llegar al modelo del plano elptico, donde dos \rectas"se corten en
unico punto, primero deberemos describir el plano proyectivo. Observemos
nuevamente la Figura 2.7 y convengamos en que las generatrices del cono,
que son las rectas por el vertice del cono y contenidas en el, denen un punto
de cada seccion, lo cual muestra una correspondencia inyectiva (uno a uno)
entre los puntos de cualesquiera dos conicas.
La correspondencia la establecen las generatrices del cono, de la manera
siguiente: si el vertice del cono es el origen de coordenadas y su eje, el eje
Z (vease la Figura 9), los puntos en la misma generatriz tienen coordenadas
(a; b; c) donde puede ser cualquier numero real y, para que la direccion
este denida, la tercia (a; b; c) 6= (0; 0; 0)
Q0
P0
P
Q
X
E
Y
O
Figura 3.9: Las coordenadas de puntos de la misma generatriz, dieren por un

escalar: (a; b; c) y (a; b; c):
Eso sugiere que, desde el punto de vista de una proyeccion desde el origen, todos los puntos en la misma recta por el origen, con exclusion del origen mismo, deben considerarse como una sola cosa. Por eso se dene punto
proyectivo como la clase de todos los puntos en la misma recta por el origen (excluyendo al origen), y recta proyectiva como el conjunto de puntos
52
proyectivos correspondientes a rectas euclidianas por el origen que pertenezcan
al mismo plano por el origen.
El origen juega el papel del ojo colocado en el punto del que cuelga la
plomada del grabado de Durero (vease la Figura 2.3).
El conjunto de todos los puntos proyectivos forma el plano proyectivo,
y las transformaciones proyectivas son las transformaciones del espacio
cartesiano en s mismo que mandan rectas por el origen en rectas por el origen
de forma tal que, ademas, los planos por el origen vayan tambien en planos por
el origen. Como de costumbre, pedimos que puntos distintos vayan en puntos
distintos para que todas esas transformaciones conformen un grupo (vease el
Apendice I).
Con esas condiciones, los puntos proyectivos van en puntos proyectivos y las
rectas proyectivas van en rectas proyectivas. En el Apendice I veremos, muy
brevemente, como trabajar con coordenadas proyectivas y transformaciones
proyectivas.
La re exion en un plano por el origen, o cualquier rotacion en torno a una
recta por el origen, son ejemplos de transformaciones proyectivas.
En la Figura 9 hemos vuelto a dibujar las secciones de un cono que originan una elipse y una parabola para hacer ver que, desde el punto de vista
proyectivo, los puntos ordinarios pueden ir en puntos al innito, y viceversa,
como le ocurre al punto E de la elipse que, bajo la proyeccion, se corresponde
con el punto al innito E 0 de la parabola. El punto E pertenece a la generatriz
paralela al eje de la parabola.
Pero entonces, a diferencia de la Geometra Afn, en la Geometra Proyectiva todos los puntos tienen la misma calidad, como ocurra en la Geometra
Euclidiana ... y como ocurre en la esfera.
Observemos ahora que para tener representantes de todos los puntos
proyectivos, basta tomar un punto en cada una de las direcciones, sin importar
cuanto se aleje el punto del origen.
Entonces podemos quedarnos con solo los puntos de la esfera de radio 1
y centro en el origen del espacio cartesiano. Incluso sobran puntos, porque
dos puntos diametralmente opuestos, los antpodas, pertenecen a la misma
recta por el origen y, en consecuencia, representan al mismo punto proyectivo,
por eso decimos que la esfera es el modelo de la Geometra Doblemente
Elptica.
>Que podramos hacerle a la esfera para tener solo un representante de
cada punto proyectivo? La respuesta a esta pregunta la dio Klein, y es sencilla
53
si consideramos un objeto muy interesante y facil de fabricar, llamado Banda
de Mobius en honor a su descubridor.
Basta tomar una tira de papel larga, dar media vuelta a uno de su bordes
cortos, y pegar los dos bordes cortos. Es famoso el grabado de Maurits Cornelis
Escher (1898-1972) [Er], donde las hormigas permiten apreciar que, a diferencia
de una esfera, la Banda de Mobius tiene solo un lado. En la Figura 10, el ni~no
que pinta la Banda llega a la posicion opuesta a la original despues de caminar
sobre la curva central, y tendra que volver a hacer el recorrido para acabar de
pintar la Banda.
Ferdinand August Mobius (1790-1868), tambien alumno de Gauss, invento
la Banda que lleva su nombre a los 70 a~nos. Un ejercicio divertido es cortar
la Banda a lo largo de la lnea central; al terminar de cortar no obtenemos
dos Bandas, sino un solo anillo, retorcido, del doble de largo y con dos lados.
Eso muestra que la lnea central no divide en dos partes a la Banda, es decir,
si caminamos a un lado de la lnea central apareceremos del otro lado de la
lnea <sin haberla cruzado jamas! Eso sera importante al tratar con el Plano
Elptico.
Figura 3.10: Por el medio giro, el ni~no pintara el doble que en el caso del anillo,
para alcanzar la parte en que empezo a pintar.
Entre las contribuciones de Mobius a la Geometra, encontramos un antecedente de las coordenadas proyectivas, las llamadas coordenadas baricentricas (vease [Y]), y el desarrollo de la Geometra Inversiva, es decir, el estudio
de los invariantes bajo inversiones en circunferencias, que sera el tema del
Captulo 5, y para lo cual utilizo las transformaciones que llevan su nombre.
Veremos algo de las Transformaciones de Mobius cuando abordemos el modelo de Poincare de la Geometra Hiperbolica.
54
Pues bien, como dos puntos antpodas en la esfera representan un mismo
punto proyectivo, lo que debemos hacer es tomar solo la mitad de la esfera y
pegar el borde de manera muy parecida a como lo hicimos en la Banda, tal
como lo indican las echas en la Figura 11. Si en el borde marcamos dos pares
de puntos antpodas, A y A0 ; B y B 0 , es facil pegar el arco de A a B con el
arco de A0 a B 0 , pero entonces los arcos BA0 y B 0 A quedan separados por el
primer pegado y necesitaramos atravesarlo para unir los ultimos arcos.
Note, ademas, que el semicrculo maximo de B a B 0 se cierra para dar una
recta proyectiva; lo mismo ocurre con todos los semicrculos maximos, porque
B y B 0 son puntos antpodas cualesquiera.
La ilustracion de la derecha en la Figura 11 tiene el defecto de que sugiere que los puntos del segmento grueso son comunes a las dos uniones, pero
nosotros sabemos que no.
La imposibilidad de construir un modelo del plano proyectivo es solo material y se debe a las limitaciones del espacio en que vivimos, pues matematicamente el modelo esta bien denido.
A
B0
A0
A0
A=A0
B =B 0
Figura 3.11: En nuestro espacio, es imposible construir correctamente el plano

proyectivo.
La generalizacion del concepto de supercie que permite esta construccion,
es parte de lo que Riemann explico en una platica celebre sustentada en 1854
para ser admitido como profesor asistente en la Universidad de Gottingen,
die Hypothesen,
titulada Sobre las Hipotesis en que se basa la Geometra (Uber
welche der Geometrie zu Grunde liegen), que logro sorprender al propio Gauss
(vease [Sp]).
Una caracterstica muy importante del plano proyectivo es tener solo un
lado, como la Banda de Mobius. Eso podemos verlo muy facilmente si en lugar
de dividir a la esfera en dos hemisferios, marcamos un cinturon alrededor de
55
un crculo maximo, como lo muestra la Figura 12.
De los dos casquetes podemos eliminar uno, porque todos sus puntos tienen
un representante en el otro. Y del cinturon podemos quitar la mitad de atras
porque todos sus puntos tienen un representante en la mitad delantera. Ahora
debemos pensar que pasa con los puntos de los bordes.
AC
A
B
D
C
A
P
B
BD
P0
C
Figura 3.12: El plano proyectivo contiene una Banda de Mobius.

Los bordes largos del cinturon, el dentado de A a D y el punteado de B a
C; deben pegarse con los bordes igualmente marcados en el casquete, porque
los puntos de la parte punteada son antpodas de los puntos de la parte del
borde igualmente marcada en el casquete, y los puntos de la parte dentada del
cinturon son los mismos puntos de la parte dentada del casquete.
El pegado es posible (en un espacio de cuatro dimensiones, vease [Re])
porque los bordes cortos del cinturon, de A a B y de C a D; deben pegarse
uno con el otro exactamente como lo hicimos para formar la Banda pues P y
P 0 son puntos antpodas, y entonces el borde dentado se continua en el borde
punteado (observe que los puntos A y C tambien son antpodas, como B y D).
Por tanto, si estamos parados en el plano proyectivo y recorremos una
trayectoria adecuada, correspondiente a una recta proyectiva, podemos llegar
al mismo punto, pero de cabeza.
Para concluir esta seccion, es justo mencionar que el mismo Mobius reconoca estar en deuda con los matematicos franceses. Ya hemos mencionado
a Desargues, Descartes y Pascal; aqu anotaremos a otros cuatro franceses y
dos alemanes mas, muy brevemente. El lector interesado en ampliar la lista,
puede consultar [Kl] y [Y].
- Philippe La Hire (1640-1718), fue pintor en su juventud y despues se
dedico a las matematicas y la astronoma. Como Pascal, aplico el metodo de
56
proyecciones y secciones para trabajar en las secciones conicas, y aunque estaba
convencido de que este metodo era superior al analtico, fue el primero en
combinar ambos. Escribio un tratado sobre Secciones Conicas que, publicado
por primera vez en 1685, fue por mucho tiempo el unico texto disponible sobre
el tema, pues el de Pascal se perdio para siempre.

- Gaspard Monge (1746-1816), fundador de la Ecole
Polytechnique, por su
origen humilde estuvo siempre interesado en los problemas sociales. Introdujo
el lenguaje de la Geometra en el Analisis, armando que ambas ramas se enriquecen mutuamente y son equiparables; eso promovio la revaloracion de la
Geometra, pues el siglo XVIII estuvo dominado por el Analisis. Monge se dio
cuenta de que mientras los problemas sobre curvas llevan a ecuaciones diferenciales ordinarias, los problemas sobre supercies llevan a ecuaiones diferenciales
parciales. Su trabajo sobre supercies desarrollables, es decir, supercies
que pueden aplicarse en un plano, supera al de Euler, que le era desconocido
por no dominar el aleman (vease [DoC1]). Escribio dos tratados importantes:
Geometra Descriptiva (Geometrie Descriptive), donde explica su metodo de
proyectar las futuras construcciones en tres planos mutuamente perpendiculares, y Aplicaciones del Analisis a la Geometra (Applications de l'Analyse a
la Geometrie).
- Jean Victor Poncelet (1788-1867). Preso durante la campa~na napoleonica
en Rusia, ocupo su tiempo en ense~nar Geometra a sus ociales, todos gra
duados en la Ecole
Polytechnique, y al regresar, constato que algunas de sus
ense~nanzas eran completamente nuevas. Es el primero en advertir que la Geometra Proyectiva es una rama nueva, y en su libro Tratado de las propiedades
proyectivas de las guras (Traite des proprietes projectives des gures) editado en 1822, se propone estudiar las propiedades invariantes bajo proyeccion
y seccion. Denomina homologas a las guras obtenidas una de otra por ese
metodo, llamado (perspectividad), o por una sucesion de perspectividades:
una proyectividad.
- Michael Chasles (1793-1880), quien redescubre resultados previamente
establecidos por el aleman Jacob Steiner (1796-1863), como la caracterizacion
de conica como el lugar geometrico de puntos de interseccion de rectas correspondientes bajo una proyectividad entre dos haces de rectas (vease [Re]). En
1837 publica su Rese~na historica sobre el origen y los metodos de la Geometra
57
(Apercu historique sur l'origine et le development de la Geometrie).
- Karl Georg Christian von Staudt (1798-1867), demostro que la Geometra

Proyectiva es mas general que la Euclidiana, y en 1847 publico un tratado:
Geometra de la Incidencia (Geometrie der lage).
3.4 El Plano Elptico

Ahora ya podemos describir el modelo propuesto por Klein para una geometra
donde no hay paralelas. Recuerdese que la existencia de un modelo implica,
como lo mencionamos en el Captulo 1, la consistencia de la teora correspondiente a un sistema de axiomas.
El plano elptico tiene como \puntosa los puntos del plano proyectivo
resultantes de identicar los puntos antpodas de la esfera de radio 1 y centro
en el origen. Y las \rectas"resultan de hacer esa misma identicacion en cada
geodesica de la esfera.
En el plano elptico podemos medir longitudes de segmentos (de \recta") y
el angulo entre dos \rectas", aprovechando que sabemos medir tanto un arco
de crculo maximo, pues es un arco de circunferencia, como el angulo entre
dos crculos maximos de la esfera, pues podemos medir el angulo entre sus
tangentes en cualquiera de sus puntos de interseccion (vease la Figura 13).
Entonces, mediremos los angulos como de costumbre, euclidianamente,
mientras que las distancias entre puntos las mediremos a lo largo del crculo maximo que contiene a los puntos. Y para que la distancia entre dos puntos
este bien denida, convenimos en medir el arco mas corto de la \recta"que los
contiene.
As, tiene sentido hablar de triangulos elpticos, tomando tres\puntos"A,
B y C; un arco de A a B , otro de B a C y otro de C a A: Como siempre
existe un hemisferio que contiene representantes de los tres puntos y de los
tres arcos, en la esfera de la Figura 14 podemos ignorar el otro hemisferio y el
otro triangulo esferico A0 B 0 C 0 : Conviene notar que los triangulos as obtenidos
tienen las mismas medidas, pues usaremos ese hecho en un calculo.
Tambien podemos medir areas de regiones elpticas, del mismo modo que
lo hacemos en la esfera. El calculo del area de un triangulo esferico es muy
sencillo y hacerlo aqu nos permitira agilizar la exposicion del siguiente y ultimo
58
inciso de este captulo.
Recordemos que el area de la supercie de una esfera de radio r es 4r2 ;
entonces es claro que el area de un hemisferio es la mitad, 2r2 ; y si el angulo
entre dos meridianos es , el area de la porcion de esfera entre los dos es 2r2 :
Para justicar esto, solo hemos considerado a la esfera completa como la region
cuyo angulo entre los meridianos es 2 = 360 ; y a un hemisferio como la region
entre dos meridianos que forman un angulo ; entonces, por proporcionalidad,
el huso de angulo tiene area 2r2 (vease la Figura 13).
C0
B
T
A0
T10
C0
T0
C
(a)
T3
B0
T1
(b)
T2
A0
B0
T30
Figura 3.13: Un triangulo elptico, (a) en la esfera y (b) \desplegado".

Como para el plano elptico r es 1; el area de la region entre dos meridianos
es simplemente el doble del angulo. El triangulo \desplegado"de la Figura 14
sirve para mostrar que el triangulo elptico T forma parte de tres regiones, una
con angulo ; otra con angulo y la ultima con angulo :
Los triangulos T10 ; T20 y T30 ; son congruentes a los triangulos T1 ; T2 y T3 ;
respectivamente, pues sus vertices son antpodas
Cada uno de los crculos de la derecha representa un hemisferio, con area
2 , por lo que, si denotamos las areas con las mismas letras que las regiones,
tenemos:
T + T1 + T20 + T3 = 2;
y como para cada una de las regiones ahusadas que contienen a T; las areas
son
2 = T + T1 ; 2 = T + T2 ; 2 = T + T3 ;
59
si sumamos estas tres igualdades y tomamos en cuenta la anterior y la congruencia de T2 y T20 ; resulta
y, nalmente,
2( + + ) = 3T + T1 + T20 + T3 = 2T + 2;
+ + = T + ; ()

2
Figura 3.14: Si el angulo entre dos meridianos es , el area del huso que denen
es 2r2 :
que, como el area de T es positiva, implica que la suma de los angulos interiores
de un triangulo elptico es mayor que 180 : Hemos marcado esta igualdad con
(*) para referirnos a ella en la seccion siguiente.

elptico y euclidiano
Antes de comentar algunas de las diferencias de la Geometra Elptica con
la Geometra Euclidiana, vale la pena releer los cuatro primeros postulados
euclidianos. Solo debemos recordar que punto, segmento, recta deben interpretarse ahora como punto, segmento y recta elpticos.
60
I De un punto, P; a otro, Q; es posible trazar un segmento (puesto que hay

un crculo maximo que contiene a los dos representantes P y P 0; Q y Q0 ;
de cada uno, y que resulta de cortar la esfera con el plano que contiene
a los dos diametros P P 0 y QQ0 );
II Un segmento se puede prolongar a una recta (en el sentido se~nalado por

Riemann, como lo comentamos en el Captulo 1);
III Dados un centro y un radio, es posible trazar una circunferencia con ese
centro y ese radio (los radios son segmentos de crculo maximo y sobre
estos crculos medimos una distancia igual al radio; todos esos puntos
pertenecen a una circunferencia, como ocurre con los paralelos del globo
terraqueo (vease la Figura 15);
IV Todos los angulos rectos son iguales entre s (porque medimos los angulos
euclidianamente).
r r
C
Figura 3.15: La circunferencia con un centro y un radio dado.

El Postulado V no puede ser valido porque, como veremos a continuacion,
ninguna de las equivalencias que mencionamos en el Captulo 1, es valida.
Pero antes, hay que hacer notar que Euclides demuestra la existencia (no la
unicidad) de una paralela a una recta L por un punto P; sin utilizar el Postulado
V (Proposicion 28 [Eu]). Cuando se revisa cuidadosamente la demostracion
de esta proposicion, se encuentra que tambien aqu Euclides utilizo un hecho
no postulado, referente esta vez a que, en el plano, cualquier rectas separa al
plano en dos regiones; nosotros ya vimos que la lnea central de la Banda de
Mobius, que es una recta proyectiva, no separa a la Banda y, en consecuencia,
tampoco al plano proyectivo.
61
Veamos ahora que ocurre con las equivalencias del Captulo 1.
1a. No es valido el Axioma de Playfair, porque cualesquiera dos rectas se
cortan en un unico punto, puesto que dos crculos maximos se cortan en

dos puntos antpodas. No existen paralelas en la Geometra Elptica.
2a. La suma de los angulos interiores de un triangulo excede 180 ; segun el

calculo (*) de la seccion anterior.
3a. No hay triangulos semejantes no congruentes, porque si los angulos de un

triangulo son ; y ; dados dos crculos maximos C1 y C2 que se corten
con un angulo ; hay solo dos crculos maximos C3 y C30 que cortan a
los anteriores en los angulos y ; respectivamente, y los dos triangulos
esfericos as obtenidos son congruentes (vease la Figura 16, donde r1 ; r2 y
r3 son radios perpendiculares a los planos P1 ; P2 y P3 ; respectivamente).
La justicacion de esto aparece en el Apendice J.
r2
P1
A

r3

r1

P3
P2
B
Figura 3.16: Los angulos de un triangulo elptico determinan el triangulo.
4a. No hay rectas equidistantes, porque la distancia entre dos crculos maximos de la esfera empieza por ser cero, cuando el punto es comun, alcanza
su maximo cuando el punto ha recorrido la cuarta parte del crculo, y
nuevamente empieza a decrecer hasta alcanzar el punto antpoda.
Para nalizar este captulo, a continuacion mencionamos algunos otros resultados validos en el plano elptico (hay mas en [Ce]):
62
- La longitud de una recta es ; la mitad de la longitud de un crculo
maximo de la esfera de radio 1.
- Como las rectas tienen longitud ; lo mas que pueden distar dos puntos
proyectivos es la mitad, =2:
- Todas las rectas perpendiculares a una recta ja, pasan por un mismo
punto (piensese en el ecuador y los polos).
Geometra Hiperbolica
El trabajo de Saccheri y Lambert, de origen puramente logico, haba ya mostrado que no era facil deducir la imposibilidad de una geometra alternativa a la
euclidiana. Y problemas de origen puramente practico, como la determinacion
de las geodesicas de una supercie suave, haban llevado a Gauss a establecer
conceptos nuevos, como el de curvatura de una supercie en uno de sus puntos,
que al ser cultivados indicaban la posibilidad de comportamientos distintos del
euclidiano.
Por eso parece natural que varias personas decidieran emprender el desarrollo de una teora correspondiente a reemplazar el Postulado de las Paralelas
por alguna de sus negaciones. Ello a pesar de la creencia generalizada, basada
en la interpretacion de opiniones de cientcos y losofos muy importantes,
como Isaac Barrow (1630-77), maestro y amigo de Newton, y Emmanuel Kant
(1724-1804), el losofo mas in uyente de su tiempo, de que la unica Geometra
admisible era la Euclidiana.
Como un reconocimiento mnimo, antes de describir el trabajo de los
primeros y poco conocidos descubridores conscientes de una parte de la Geometra Hiperbolica, mencionaremos a dos personas que fueron capaces de
distinguir una faceta muy importante del problema.
La primera es Gottfried Wilhelm Leibniz (1646-1716), uno de los creadores
del Calculo Diferencial, quien se~nalo que era preciso distinguir entre los mundos
conocidos y los mundos posibles.
La otra es David Hume (1711-76), losofo, quien, en el Tratado de la Naturaleza Humana (Treatise of Human Nature), armo que si bien el ser humano
haba observado en el mundo ciertos comportamientos y sucesiones de eventos,
eso no implicaba que necesariamente ocurrieran siempre de esa manera.
Entenderemos mejor la importancia de estos pronunciamientos cuando
veamos a Gauss, ya poseedor de gran fama y el correspondiente respeto, pedir
a Taurinus guardar silencio sobre sus investigaciones sobre las Geometras No
63
64
Euclidianas, y posponer la publicacion de las mismas por el miedo de los beocios que lo molestaran como moscardones sobre la cabeza si fuera en contra
de las ideas establecidas.
4.1 La lucha contra los beocios

Por entonces, se requera no solo perspicacia sino valor para reconocer que la
Geometra es una ciencia experimental, cuyos postulados y consecuencias se
aceptan unicamente si son convenientes y concuerdan con los datos experimentales. [W]
El descubrimiento de las Geometras No Euclidianas llevo nalmente a la
destruccion de la concepcion kantiana del espacio y termino por revelar no
solo la verdadera distincion entre concepto y experiencia, sino lo que es mas
importante, su interrelacion. [W]
Al principio del Captulo 3, dijimos que es difcil listar a todas las personas
que intervienen en el surgimiento de una nueva teora matematica.
Ahora diremos, al hacer una breve historia del descubrimiento de estas
nuevas geometras, que es muy facil notar la importancia de la comunicacion
entre cientcos y de la existencia de Escuelas, entendiendo por estas los centros
donde hay un cuerpo importante de maestros de preparacion solida, trabajando
sobre problemas no resueltos y dispuestos a debatir sus ideas.
Veamos ahora quienes son algunos de los precursores; iremos numerando
algunos resultados obtenidos por los diversos autores, a n de comprobarlos
en el modelo:
- Girolamo Saccheri, al desarrollar la hipotesis del angulo agudo, haba llegado
a la conclusion de que
[1] En el haz de paralelas por un punto exterior a una recta, hay dos que
son propiamente paralelas, las que comparten alguno de los dos puntos al
innito, y llamo a las demas ultraparalelas.
- Johann Heinrich Lambert descubrio, que existe una unidad de longitud ab-
65
soluta (si todos los puntos y todas las direcciones tienen la misma calidad), y
que el defecto de un polgono hiperbolico es proporcional al area, esto es,
[2] La diferencia de la suma de los angulos interiores de un polgono hiperbolico

con la correspondiente a un polgono euclidiano del mismo numero de lados,
es proporcional al area.
- Georg S. Klugel se~nalo que la experiencia origina, mas que conrma, el Postulado de las Paralelas (recuerdese que, en el Captulo 1, ya habamos dicho que
la intuicion es producto de la experiencia). Sobre el trabajo de Saccheri, resalta
que no llega a una contradiccion, sino a resultados distintos de los usuales. Y,
ademas, sugiere
[3] La posibilidad de que rectas que no se cortan sean divergentes,

lo cual ocurre muy claramente en los modelos de la Geometra Hiperbolica que
presentaremos mas adelante. Como resultado de sus observaciones, manifesto
abiertamente sus dudas sobre la posibilidad de probar el Postulado V.
- Abraham G. Kastner (1719-1800), profesor en Gottingen, en un escrito de
1763 dirigido a Klugel, armo la necesidad de admitir que el Postulado de las
Paralelas es independiente del resto (vease [Bon]).
- Friedrich Ludwig Wachter (1792-1817), profesor de matematicas en Dantzig
y alumno de Gauss en Gottingen, trato de demostrar el Postulado V en su
forma \cuatro puntos no coplanares determinan una esfera", y llego a concebir
una Geometra Antieuclidiana que comentaba as con Gauss:
No es posible demostrar la validez necesaria de nuestra geometra...(que)
debe colocarse en el mismo status no de la aritmetica, que tiene un fundamento
a priori, sino de la mecanica (clasica). [W]
Gauss apreciaba el trabajo de Wachter \a pesar de sus imperfecciones".

Aqu vale la pena mencionar que la Geometra Euclidiana realmente corresponde a la mecanica clasica en el sentido de que los conceptos de esta son
invariantes bajo movimientos rgidos (vease [Ar]).
- Farkas Bolyai (1775-1856) compartio con Gauss una temprana acion por el
66
problema de las paralelas cuando ambos eran estudiantes en Gottingen. Enva a Gauss su libro Teora de las Paralelas (Theoria Parallelarum), donde
cree probar la existencia de rectas equidistantes (Equivalencia 4a., Captulo
1). Gauss le demuestra que tiene una falla y el continua investigando, llegando a otras equivalencias (e.g., \tres puntos no colineales determinan una
circunferencia"). Farkas Bolyai acabo por dudar que el Postulado V pudiera
demostrarse, y sugirio, en consecuencia, que no puede suprimirse.
- Ferdinand Karl Schweikart (1780-1859), fue estudiante de Leyes en Marburg,
donde tomo una clase de matematicas con J.K.F. Hau, quien era una autoridad en la Teora de las Paralelas. En 1818, cuando ya era profesor de
Jurisprudencia en Konigsberg, pide a un amigo, estudiante de Gauss, llevar a
este una nota donde arma la existencia de una Geometra Astral, ademas
de la euclidiana, para la cual se verican varios hechos :
[4] La suma de los angulos interiores de un triangulo es menor que 180 ;

[5] Mientras menor es la suma de los angulos de un triangulo, mayor es el area;
[6] La altura de un triangulo rectangulo e isosceles crece al crecer los lados,
pero sin llegar a rebasar una cierta longitud que llamo la constante.
El comentario de Gauss al amigo de Schweikart fue [W]:
Expresele mi sincero reconocimiento. Casi podra haberlo escrito yo mismo.
Schweikart no publico sus resultados, pero conmino a su sobrino a dedicarse

a la Geometra Astral que tanto haba complacido a Gauss.
- Franz Adolf Taurinus (1794-1874), sobrino de Schweikart, tambien comenzo
como estudiante de Leyes, pero decidio seguir los consejos de su to y en 1824
aborda el problema de las paralelas. En un principio no cree en la existencia
de otra geometra y comienza por tratar de demostrar el Postulado V. Luego,
al reemplazarlo, obtiene unas formulas trigonometricas para la Geometra Esferica y descubre que al sustituir en ellas el radio por un numero imaginario,
puede demostrar que la suma de los angulos interiores de un triangulo es menor
que 180 :
Taurinus publico dos libros: Teora de las Paralelas (Theorie der Paral-
67
lellinien), en 1825, donde rehace el trabajo de Saccheri y Lambert que el desconoca, y calcula la constante de Schweikart, y Geometriae Prima Element
en 1826, en cuyo Apendice desarrolla la trigonometra hiperbolica mediante el
uso de exponentes y logaritmos (vease [W]).
Consciente de la importancia de sus resultados, los comunica a Gauss, quien
le responde de esta manera (hemos omitido partes de la carta, pues es bastante
extensa y puede leerse completa en [W]):
Respecto a su intento, tengo poco (o mucho) que decir, excepto que es incompleto. Es cierto que a su demostracion de que la suma de los tres angulos
de un triangulo no puede ser mayor que 180; le falta algo de rigor geometrico...que puede remediarse facilmente...Pero la situacion es diferente en la segunda parte, referente a que la suma de los angulos no puede ser menor que
180 ; este es el punto crtico, el risco donde todo se estrella...Lo he meditado
por mas de treinta a~nos y no creo que alguien lo haya pensado mas que yo,
aunque nunca he publicado algo al respecto. Al suponer que la suma de los
tres angulos es menor que 180 ; se llega a una geometra curiosa, bastante distinta de la nuestra (la euclidiana), y sin embargo consistente...(donde) puedo
resolver cualquier problema excepto la determinacion de una constante que no
puede designarse a priori. Mientras mayor es esa constante, mas parecido hay
con la Geometra Euclidiana, y cuando su valor es innito, ambas coinciden.
Los teoremas de esta geometra suenan paradojicos al no iniciado, pero una
re exion cuidadosa revela que no contienen algo imposible...y la unica cosa
opuesta a nuestra concepcion es que debera existir en el espacio una magnitud
lineal determinada por s misma ...Pero me parece, pese a lo que digan los
metafsicos, que sabemos muy poco, o casi nada, sobre la verdadera naturaleza
del espacio como para considerar absolutamente imposible lo que nos parece
antinatural... a veces he expresado el deseo de que la Geometra Euclidiana no
fuera valida, porque tendramos una medida canonica a priori.
No temo que una persona con conocimientos matematicos malentienda lo
antes dicho, pero en cualquier caso considere lo anterior una comunicacion
privada de la que no puede hacerse uso publico, ni divulgarse en forma alguna.
Tal vez en un futuro, si llego a disponer de mas tiempo que ahora, haga publicas
mis investigaciones.
Ante la negativa de Gauss de hacer publicos sus resultados para asegurar

el reconocimiento de esta nueva rama de la geometra, Taurinus cayo en la
68
desesperacion, busco todos los ejemplares de sus libros y los quemo.
En rigor, Schweikart y Taurinus son los primeros descubridores de las Geometras No Eucldianas, pero su obra no pudo trascender por falta de divulgacion.
Antes de terminar este inciso, solo comentaremos que cuando Gauss ya
haba comenzado a escribir sus resultados porque \deseo que todo esto no
muera conmigo", recibio un libro de su amigo Farkas Bolyai con un Apendice
de su hijo, Janos Bolyai (1802-60), que desarrollaba de manera sistematica la
teora correspondiente a una nueva geometra.
As que la paternidad de Gauss sobre la que el haba bautizado como Geometra No Euclidiana, la Hiperbolica, no es unica; como veremos, ademas
de Schweikart y Taurinus en Alemania y Janos Bolyai en Hungra, todava
aparecera otro descubridor en Rusia, Nikolai Lobachevski (1793-1856). Sin
embargo, en el inciso siguiente, al trazar una breve semblanza de Gauss, veremos que hizo tanto por la Geometra en particular y por la matematica en
general (se le llama Prncipe de las Matematicas), que no fue para el una
tragedia perder la primaca sobre el descubrimiento de esta rama.
4.2 Como violetas en la primavera

...hay algo de cierto en que muchas cosas tienen su epoca, y se descubren
simultaneamente en varios lugares, as como las violetas brotan por doquier al
llegar la primavera. (Carta de F. Bolyai a su hijo)
La cita anterior es parte de una carta donde Farkas Bolyai apremia a su

hijo a publicar sus resultados lo antes posible para recibir el credito por el
esfuerzo que haba realizado.
Desde luego, estamos de acuerdo con Morris Kline en que los descubridores
de las Geometras No Euclidianas no son totalmente independientes, pues la
liga con Gottingen aparece en todos ellos, como veremos al hacer una breve
semblanza de Gauss, Bolyai y Lobachevski.
Karl Friedrich Gauss (1777-1855), fue un verdadero ni~no prodigio que al
verse obligado a sumar los numeros del 1 al 100, encuentra un procedimiento
69
que da lugar a una formula, pues descubre que la tarea se facilita al duplicarla:
(1 + 100) + (2 + 99) + (3 + 98) + ::: + (100 + 1) da cien veces 101, es decir,
2(5050):
No sorprende entonces que a pesar de un origen modesto que le hubiera impedido seguir estudiando, logre ingresar a la Universidad de Gottingen en 1795.
Por entonces inventa el metodo de los mnimos cuadrados, y a los dieciocho
a~nos demuestra la constructibilidad del polgono regular de diecisiete lados.

Hacia 1800 obtiene el doctorado con el Teorema Fundamental del Algebra: todo polinomio con coecientes complejos tiene una raz compleja (el
polinomio x2 + 1 no se anula para ningun numero real, es decir, no tiene races
reales).
En 1801 publica un libro fundamental en Teora de Numeros, Disquisitiones
Arithmeticae, que lo revela como una autoridad en una materia que escapa a
toda sistematizacion. A esta area pertenece el Teorema de Fermat (veanse el
Captulo 5 y [Si]), y aunque Gauss declaraba no estar interesado en ese tema
por parecerle \una proposicion aislada", s respondio a las consultas de Sophie
Germaine (1776-1831), la primera en demostrar dicho teorema para toda una
clase de exponentes. El trabajo de Germaine ceso cuando Gauss interrumpe la
correspondencia por haber sido designado Director del Observatorio de Gottingen, lo cual le obligo a tomar la Astronoma como actividad fundamental
a partir de 1807. Con respecto al Teorema de Fermat, no parece casual que
entre las notas no publicadas de Gauss haya aportaciones al tema de Funciones
Elpticas, que fue basico para que Andrew Wiles lograra convertir la Conjetura
de Fermat en teorema en 1994.
En 1809 publica un tratado en Mecanica Celeste, Theoria Motus Corporum
Celestium, y hacia 1840 sus investigaciones en optica sientan nuevas bases para
el manejo de los problemas en esta area.
Sobre Geometra Diferencial, ya habamos mencionado que su obra de 1827,
Disquisitiones generales circa supercies curvas, aporto conceptos y resultados
que elevaron de rango a esta parte de las matematicas.
En lo referente a las Geometras No Euclidianas, pese a la opinion de Kastner, todava en 1799 intentaba demostrar el Postulado V y crea que la Geometra Euclidiana corresponda al espacio fsico, pero en 1826, la carta a
Taurinus muestra ya una actitud totalmente opuesta, y su correspondencia de
1829 evidencia que estaba convencido de la independencia del Postulado.
Aunque Gauss no tenga la primaca sobre la teora completa de la Geometra No Euclidiana, fue indispensable su in uencia para difundir el trabajo
70
de los descubridores reconocidos, que permanecio practicamente ignorado durante mas de treinta a~nos hasta que, en 1855, tras la muerte de Gauss, se
publican sus notas y cartas sobre el tema. Tena mucha razon Taurinus al
pensar que la opinion de Gauss era indispensable para lograr la aceptacion de
la nueva teora.
Entre las aportaciones de Gauss a la que el llamo Geometra No euclidiana,
se encuentran tres deniciones; dos de ellas son:
La recta AM es paralela a la recta BN si no se cortan y cualquier recta

por A entre AM y AB corta a BN (vease la Figura 1 (a)) (Hay implcito un
sentido de paralelismo, denido por M y B; indicado por las echas.)
Puntos correspondientes en rectas concurrentes o paralelas), son puntos A y B tales que AB forma, del mismo lado, angulos internos iguales con
las paralelas (vease la Figura 1 (b)).
Y algunos resultados relacionados con esos conceptos, que seran claros

cuando veamos el modelo:
[7] La independencia, respecto a los puntos A y B; del paralelismo de las

rectas AM y BN (aunque el sentido del paralelismo debe conservarse) (vease
la Figura 1 (c)).
[8] La reciprocidad del paralelismo, esto es, si AM es paralela a BN , tambien

BN es paralela a AM (vease la Figura 1 (d)).
[9] La transitividad del paralelismo, es decir, si L es paralela a M y M es
paralela a N , entonces tambien L es paralela a N (vease la Figura 1 (e)).
[10] La tercera denicion es la de circunferencia como el lugar geometrico

de los puntos en las rectas de un haz (concurrentes en un punto O) correspondientes a un punto jo P (vease la Figura 1 (f)).
71
(a)
A0
B0
(b)
N
B
(c)
(d)
N
C
(e)
(f)
Figura 4.1: Paralelas, puntos correspondientes y hechos relacionados.
72
Gauss tambien dio la formula para calcular la longitud de una circunferencia
de radio r:

k er=k
r=k
que coincide con la formula euclidiana usual cuando el valor de k es innito.

Desde luego, la denicion de circunferencia coincide con la usual, como veremos
cuando demos en los modelos la manera de medir distancias entre puntos.
Hay que recalcar que Gauss fue el primero en reconocer, en su respuesta a
Taurinus, lo poco que se saba por entonces sobre el espacio en que vivimos,
discrepando abiertamente de los in uyentes \metafsicos"de su epoca (vease
[Bon])
Vayamos ahora a uno de los descubridores reconocidos de la Geometra
estuvo en una situacion privilegiada
Hiperbolica, Janos Bolyai (1802-1860). El
para realizar esa tarea, pues ya hemos visto que su propio padre haba incursionado en el tema y, por ser amigo de juventud de Gauss, haba obtenido
siempre respuesta a todas sus inquietudes al respecto.
Como todos los demas estudiosos de esta rama, Janos Bolyai intento demostrar el Postulado V (1817), pero despues de 1820 ya opinaba que
Uno no debe violentar la naturaleza ni moldearla de acuerdo a una quimera
formada ciegamente, mas bien se la debe considerar razonable y naturalmente,
porque se quiere la verdad y solo se esta a gusto con una representacion de ella
que yerre lo mnimo posible. [Bon]
Decide entonces prescindir del Postulado V y crear la Ciencia absoluta del

espacio. Para 1823 ya tiene la mayor parte de la teora, que aparece publicada
como un Apendice del primer volumen de un libro de su padre, Tentamen
Juventutem studiosam in Elementa Matheseos purae....
Con su amigo Carl Szasz, dene paralela asintotica de una recta dada,
AM; por un punto exterior B; como la primera recta por B que deja de ser
secante.
Entre las aportaciones de Bolyai a la Geometra Hiperbolica, sobresalen:
[11] El concepto de angulo de paralelismo y la relacion entre la distancia
de un punto a una recta y dicho angulo, que es la clave de la trigonometra

hiperbolica (vease la Figura 2):
73
ea=k = tan( (a)=2)
[12] El concepto de circunferencia de radio innito, horociclo, que en este

caso diere de \recta", como veremos en el modelo (vease la Figura 24).
A0
(a)
a0
(a0 )
M
L
Figura 4.2: El angulo de paralelismo, (a), depende del punto A de M.

Su satisfaccion por lo que ha logrado se resume en la frase siguiente, incluida
en una carta a su padre:
...solo puedo decir esto: he creado un nuevo universo de la nada.
Y el comentario de Gauss al leer el Apendice, no puede ser mas elogioso;

...mis Meditaciones (sobre el tema) me han llevado los ultimos 30 o 35
a~nos. As que me he quedado estupefacto...mi intencion era no dejar que se
publicaran mientras vivo...pero quera escribirlas para que no murieran conmigo...Por tanto, es para m una agradable sorpresa haber sido relevado de ese
trabajo, y estoy muy complacido de que sea precisamente el hijo de mi viejo
amigo quien me preceda en forma tan notable. [Bon]
Por absurdo que parezca, Janos Bolyai nunca creyo que Gauss hubiera
obtenido muchos resultados antes de conocer los suyos, as que la carta anterior
le provoco un gran disgusto.
El otro descubridor de esta nueva geometra es Nicolai Ivanovich Lobachevski (1793-1856), quien estudio en Kazan con J.M.C. Bartels (1764-1863), un
74
profesor aleman que coincidio en Brunswick con Gauss cuando este todava
intentaba demostrar el Postulado V.
Lobachevski, conocedor de los trabajos de Saccheri y Lambert, empieza a
estudiar el problema de las paralelas desde 1815. En 1823 ya haba elaborado
una Geometra Imaginaria, y para 1826 trabaja en una geometra\mas general
que la ordinaria"donde puede trazarse un haz de paralelas a una recta desde
un punto exterior a ella.
Lobachevski establece todos los conceptos que hemos mencionado: direccion de paralelismo, angulo de paralelismo, horociclo, etc.
Obtiene el angulo de paralelismo en funcion de la distancia del punto a la
recta, y se~nala que
[12] En una esfera de radio innito, horoesfera, es valida la Geometra Euclidiana.
Sus publicaciones sobre el tema abarcan mas de diez a~nos: Sobre los principios de la Geometra, Boletn de Kazan, (1829-30); Geometra Imaginaria,
1835; Investigaciones Geometricas sobre la Teora de las Paralelas, 1840.
Gauss conocio esta ultima, y opino al respecto:
El autor ha tratado el tema con maestra en el mas puro espritu geometrico.
Pienso que debo recomendar este libro, que no dejara de proporcionar el mayor
placer.
Actualmente es facil atender la recomendacion de Gauss, pues en [Bon]

estan incluidas traducciones del Apendice de Janos Bolyai y del ultimo libro
de Lobachevski.
Los modelos que presentaremos a continuacion ilustran muy claramente
todos los conceptos y resultados mencionados en este inciso.
4.3 Los modelos del Plano Hiperbolico

Al exhibir un modelo para la Geometra Hiperbolica, habremos comprobado
la consistencia del sistema de postulados, y ademas lograremos desarrollar la
intuicion hiperbolica porque los elementos geometricos son sencillos.
75
Por eso era una tarea importante encontrar dicho modelo, que fue concebido como una supercie donde ciertas curvas hicieran las veces de \rectas",
y en la cual la manera de medir longitudes de \segmentos"y angulos entre
\segmentos"(y curvas), permitiera realizar los postulados de esta geometra.
Como en el caso de la Geometra Elptica, la tarea no fue sencilla porque
en el espacio euclidiano tridimensional no existen supercies que puedan servir
de modelo a la Geometra Hiperbolica (vease el Teorema de Hilbert (1901) en
[DoC1]). Y tambien como en ese caso, en este resulta muy interesante recorrer
el camino seguido para obtener los modelos.
Hemos hablado ya de Georg Friedrich Bernard Riemann, quien llego a
Gottingen a estudiar teologa. Sin embargo, pronto se convirtio en alumno de
Gauss, obteniendo el doctorado en 1851 con una tesis sobre Variable Compleja.
Riemann declaraba abiertamente que su interes principal era la fsica y la
relacion de las matematicas con el mundo fsico.
Para tener derecho a impartir clases particulares, Riemann debio preparar
varios temas para exponerlos ante los profesores mas importantes de Gottingen;
el tema elegido por Gauss fue Sobre las hipotesis en que se basa la Geometra
(1854), una pieza ahora clasica que puede leerse en [Sp], vol. 2.
En ella, Riemann logra generalizar el concepto de supercie al de variedad,
en una forma que haba sido sugerida al menos por dos personas: Euler, al observar que, en torno a cualquier punto, los puntos de una supercie pueden
darse mediante dos parametros, y el medico Hermann von Helmholtz, ya mencionado, para quien los microbios de la supercie de los charcos se comportan
como si vivieran en un mundo de dos dimensiones.
Para jar ideas, piensese en la esfera de radio 1, x2 + y 2 + z 2 = 1.
Cada punto de la esfera pertenece, al menos, a uno de los seis hemisferios
ilustrados
enpla Figura 3. Los puntos del hemisferio superior tienen coordenadas x; y; 1 x2 y 2 ; que dependen solo de los parametros x y y; y los

p
puntos del hemisferio inferior tienen coordenadas x; y; 1 x2 y 2 :
Faltan solo los puntos del ecuador, que estan incluidos en al menos
uno de los hemisferios anterior, posterior, derecho o izquierdo.
En los dos
p
primeros casos, los puntos tienen cordenadas de la forma 1 y 2 z 2 ; y; z
p

y
1 y 2 z 2 ; y; z ; respectivamente, que dependen de y y z ; en los
p

2 z2 ; z y
dos
u

ltimos
casos,
las
coordenadas
son
de
la
forma
x;
1
x

p
x; 1 x2 z 2 ; z ; donde los parametros son x y z:
76
Casi todos los puntos admiten coordenadas de dos o tres de los tipos, y
para un mismo punto esos tipos se relacionan mediante transformaciones de
un grupo mas amplio que los mencionados hasta ahora (vease [DoC1]).
Z
(x;
1 x2
(x; y; 1
z2; z)
y2 )
p1 y2 z2 ; y; z)
p 2 2
(x; 1 x
p
( 1 y 2 z 2 ; y; z )
x2
(x; y;
z ; z)
p1 x2 y2 )
Figura 4.3: Para regiones peque~nas, los puntos de una supercie pueden darse
con solo dos parametros.
Riemann indico tambien que la forma de medir puede variar de punto a
punto, siempre y cuando la variacion sea suave; cuando eso sucede, la variedad
se llama variedad riemanniana (vease [DoC2]).
Como varios de los matematicos mencionados en este libro, Riemann creo
muchos conceptos fundamentales para la Geometra y la Fsica; as, lo veremos
aparecer con un nuevo tipo de supercies en el Captulo 5, y ser citado como
fuente de inspiracion para el trabajo de Albert Einstein (1879-1955) sobre
Relatividad. En [D-S-S] hay una demostracion sencilla de que la geometra del
espacio de velocidades relativista, es hiperbolica.
Riemann pensaba que nuestro espacio fsico es una variedad, cuyas
propiedades distintivas de otra variedad tridimensional deben obtenerse de
la experiencia, y estaba rmemente convencido de que la Astronoma sera la
ciencia que decidiera el tipo de espacio en que vivimos (vease [Br]).
Para nuestro proposito, lo mas importante es que, con esas generalizaciones,
las variedades ya no necesitan ser subconjuntos de nuestro espacio euclidiano
tridimensional (recuerdese que el modelo del plano elptico no puede realizarse
all). Gracias a ello, fue posible encontrar no uno, sino varios modelos de la
77
El modelo de Beltrami-Klein
El primer modelo para la Geometra Hiperbolica fue obra de Eugenio Beltrami (1835-1900), un profesor de matematicas en la Universidad de Bolo~na
que se intereso por el trabajo de Riemann al publicarse en 1860 la platica ya
referida.
Riemann y Ferdinand Minding (1806-85) haban buscado supercies de curvatura constante negativa, pero sin relacionarlas con la Geometra Hiperbolica.
Beltrami se dio cuenta de que una tal supercie debe tener una geometra no
euclidiana y exhibe la seudoesfera, superce de revolucion generada por una
tractriz que gira en torno a su asntota (veanse las guras 4 y 5).
La tractriz es la curva dibujada en la arena por el carrito de un ni~no,
cuando este gira 90 con respecto a la direccion que tena la cuerda tensa.
Figura 4.4: Al rotar la tractriz en torno a su asntota, resulta la seudoesfera.

La Figura 5 muestra que la seudoesfera tiene curvatura gaussiana negativa,
porque los puntos de la circunferencia que describe un punto de la tractriz al
rotarla y los puntos de la tractriz a la que pertenece el punto, quedan de lados
distintos del plano tangente. Y si un punto pertenece a una circunferencia mas
peque~na, en la tractriz que le toca queda en una parte mas recta, por eso el
producto de las curvaturas de estas curvas, que es la curvatura gaussiana en
el punto, permanece constante.
Es facil demostrar que, en una supercie de revolucion, las generatrices son
geodesicas, y entonces se entiende el defecto de la seudoesfera se~nalado por
Hilbert: sobre una tractriz, no es posible avanzar tanto como se quiera en la
direccion del borde, y eso imposibilita a la seudoesfera para ser un modelo de
78
Figura 4.5: La seudoesfera tienen curvatura constante negativa 1.

la Geometra Hiperbolica.
Pero Beltrami tambien haba propuesto otro modelo, donde la forma de
medir tanto longitudes como angulos diere de la euclidiana e involucra logaritmos, razon doble y numeros complejos (vease el Apendice K).
En este modelo, los puntos son los del interior de un disco; los puntos
en la circunferencia frontera son los puntos al innito, las cuerdas son las
\rectas" (que tienen dos puntos al innito), y la forma de medir los angulos
entre dos \rectas"concurrentes a y b es (vease la Figura 6):
6 (a; b) = (1=2i) log(a; b; m; n):
donde i es el numero complejo cuyo cuadrado es 1, y (a; b; m; n) es la razon

doble de las rectas a; b; m; n; siendo m y n las tangentes desde el vertice del
angulo al borde del crculo. Notese que hablamos de tangentes imaginarias,
pues el punto de interseccion es interior al disco; esas tangentes se obtienen
algebraicamente, como races dobles, imaginarias, de la ecuacion que resulta al
considerar la interseccion de la circunferencia con una recta por el vertice del
abgulo. Por eso Lobachevski llamo Geometra Imaginaria a la Geometra
Hiper bolica.
es el modelo de Beltrami-Klein, porque fue Klein dio la formula
Este
para medir la distancia entre dos puntos P1 y P2 (S y T son los puntos al
innito de la \recta"determinada por P1 y P2 ):
d(P1 ; P2 ) = c log(P1 ; P2 ; S; T ):
De la denicion de razon doble, es muy facil vericar que cuando cualquiera
79
de los puntos tiende a S o a T , el valor de la distancia tiende a innito, es
decir, sobre una recta de este modelo es posible avanzar en ambos sentidos
tanto como se quiera.
Aunque no trabajaremos con este modelo, proveniente de la Geometra
Proyectiva, podemos utilizar los conceptos proyectivos que ya describimos para
entender por que el modelo de Beltrami-Klein da lugar al modelo del hiperboloide propuesto por Poincare.
En la Figura 6, hemos ilustrado el disco de radio 1 colocandolo en el plano
de altura 1 sobre el plano XY; y hemos dibujado una hoja del hiperboloide
de dos mantos (vease [Ra]). Los puntos del disco y los de esa hoja del
hiperboloide se corresponden biunvocamente (la correspondencia esta dada
por las rectas por el origen), y una \recta"del modelo (i.e., una cuerda del
disco), se corresponde con la seccion de la hoja del hiperboloide obtenida al
cortar con el plano determinado por la cuerda y el origen.
a
b
z=1
S
T
P2
P1
Y
Figura 4.6: Modelo de Beltrami-Klein de la Geometra Hiperbolica.

Desde el punto de vista de las transformaciones, se puede decir que las
transformaciones hiperbolicas son las transformaciones proyectivas que jan
a una conica. Como planos por el origen (rectas proyectivas) van en planos
por el origen, tanto para el modelo del disco como para el del hiperboloide,
\rectas"van en \rectas".
Como este modelo utiliza guras y conceptos de la Geometra Euclidiana,
80
la consistencia de la Geometra Hiperbolica queda implicada por la consistencia
de la primera.
Los modelos de Poincare

Los modelos que utilizaremos para visualizar los conceptos y postulados
hiperbolicos, se deben a Henri Poincare (1854-1912).
Poincare fue profesor de la Universidad de Pars, y sus resultados en Fsica Teorica, Electromagnetismo, Dinamica, Mecanica de Fluidos, Astronoma,
Topologa Combinatoria y Teora Cualitativa de las Ecuaciones Diferenciales,
lo convirtieron en el lder de las Matematicas de nes del siglo XIX y principios
del XX.
Klein haba comunicado a Poincare los avances de su trabajo para combinar
el concepto algebraico de grupo creado por Evariste Galois (1811-32), con los
conceptos geometricos de Riemann.
Entonces, las ideas a disposicion de Poincare eran muchas, y poderosas:
en el modelo, las transformaciones de una geometra deben llevar \rectas"en
\rectas", no solo puntos en puntos (Klein); las transformaciones proyectivas
que jan una conica preservan el interior y necesariamente llevan las \`rectas"del modelo de Beltrami-Klein en otras \rectas"; las Transformaciones
de Mobius de los numeros complejos en s mismos pueden extenderse al (uni
co) punto al innito de manera que combinan el Algebra,
la Variable Compleja
y la Geometra.
La forma de una transformacion de Mobius es muy simple:
az + b
;
cz + d
donde z es un numero complejo arbitrario y a, b, c y d son numeros complejos
jos que satisfacen la condicion ad bc 6= 0.
Lo importante es que las transformaciones de Mobius son conformes, es
decir, respetan angulos, y por eso llevan circunferencias y rectas del plano
euclidiano en circunferencias y rectas (vease el Apendice L).
Poincare concibio la relacion entre la Geometra Hiperbolica y las transformaciones de Mobius cuando no estaba pensando conscientemente en el problema, al subir a un autobus. Para un matematico (y, de hecho, para cualquiera
preocupado profundamente por algun problema de cualquier tipo) es imposible
impedir que el subconsciente trabaje en eso todo el tiempo, aun al dormir.
T (z ) =
81
Pues bien, el modelo propuesto por Poincare consta tambien de los puntos
del interior de un disco, solo que esta vez las \rectas"son arcos de circunferencia
perpendiculares al borde (los diametros del disco son un caso particular), como
lo muestra la Figura 7.
Como las transformaciones de Mobius respetan el angulo en que se cortan
dos curvas, si nos restringimos al grupo de las transformaciones TC que llevan
la circunferencia de radio 1 en s misma (aunque no jen cada punto), los
arcos de circunferencia perpendiculares a la primera van en otros arcos que
es
conservan dicha perpendicularidad. Por tanto, \rectas"van en \rectas". Este
el modelo del disco de la Geometra Hiperbolica.
T
P2
P1
Figura 4.7: Modelo del disco de Poincare para la Geometra Hiperbolica.

Poincare encontro un modelo extraordinario, pues basta una poca de familiaridad con los numeros complejos para poder vericar todos los postulados
y, sobre todo y por eso es muy importante, para visualizar los resultados de la
Esto ultimo se debe a que la manera de medir el angulo con que se cortan
dos \rectas"del modelo de Poincare es la euclidiana, es decir, es el angulo que
forman las tangentes. En el modelo de Poincare, las paralelas corresponden
a arcos tangentes y forman un angulo nulo; en contraste, en el modelo de
Beltrami-Klein, las cuerdas correspondientes a dos \rectas"que comparten un
punto al innito no se cortan con un angulo nulo, aunque con la formula s lo
hagan.
La distancia entre dos puntos nuevamente se da en terminos de la razon
doble (vease la Figura 7):
d(P1 ; P2 ) = log(P1 ; P2 ; S; T ):
82
a
b
a
b
Figura 4.8: Las paralelas forman un angulo nulo en el punto al innito comun.
Para acostumbrarnos a relacionar esta manera de medir con los \segmentos"que vemos, es conveniente utilizar el \otro"modelo dado por Poincare, el
modelo del semiplano superior. Las comillas se deben a que existe una transformacion de Mobius que permite pasar de uno a otro de forma que conserva
las medidas, y por eso ambos modelos son practicamente uno solo y se utilizan
de manera indistinta.
Aqu vuelve a aparecer Riemann, quien establecio una correspondencia
muy sencilla e importante entre una esfera y los numeros complejos a los que
se a~nade un punto al innito, correspondiente a la unica direccion compleja del
plano de los numeros complejos, pues podemos pasar de una recta por el origen
a otra al multiplicar por un numero complejo adecuado (vease el Apendice K).
La Figura 9 ilustra una esfera de radio 1 y un plano que pasa por el ecuador.
Entonces, si desde el polo norte proyectamos los puntos de la esfera en el plano
como lo muestra la gura, solo el polo norte mismo carece de correspondiente
es la llamada
en el plano, y eso se remedia al a~nadir el punto al innito. Esta
proyeccion estereograca, y la esfera de Riemann es la union de los
b.
numeros complejos con el punto al innito y se denota C
Bajo esta proyeccion, los puntos del hemisferio inferior corresponden biunvocamente con los puntos del disco de radio 1 y centro en el origen. Y los
puntos del hemisferio derecho corresponden al semiplano superior, donde
los numeros complejos tienen parte imaginaria positiva (vease el Apendice K).
83
N
P
Imaginarios
P0
Q
Reales
Q0
Figura 4.9: Proyeccion estereograca.

De hecho, hay una transformacion de Mobius que lleva el interior del disco
en el semiplano superior:
iz + 1
:
z i
Esta vez las \rectas"son arcos de circunferencia con centro en el eje real y
las semirrectas perpendiculares a dicho eje. La manera de medir los angulos
entre \rectas"que se cortan es nuevamente la euclidiana, y la distancia entre
dos puntos es la longitud hiperbolica del \segmento"que determinan.
Para relacionar la longitud hiperbolica con la longitud euclidiana, conviene
pensar en un rayo de luz que deba viajar en un medio cuya densidad aumenta
a medida que se esta cerca del eje real. Entonces, el tiempo que tarda la luz
en recorrer un \segmento"de longitud euclidiana l que esta arriba, es igual al
tiempo que tarda en recorrer un segmento de longitud euclidiana mucho menor
y que esta mas abajo.
La longitud hiperbolica corresponde al tiempo empleado en recorrer el \segmento", no a la longitud euclidiana del mismo (vease la Figura 10).
Como las transformaciones de Mobius conservan los angulos y las circunfe-rencias, mediante la transformacion Q las \rectas"de un modelo van en \rectas"del otro, y as como hemos considerado el grupo de las transformaciones
de Mobius que llevan al disco en s mismo, podemos considerar el grupo de
las transformaciones de Mobius que llevan al semiplano superior en s mismo.
es el modelo del semiplano superior para la Geometra Hiperbolica.
Este
En el modelo del semiplano, es facil comprobar que cualquier \recta"puede
llevarse (por una de las transformaciones admisibles en este modelo), en la
Q(z ) =
84
Imaginarios
Reales
Figura 4.10: Todos los \segmentos" marcados tienen la misma longitud hiperbolica.
\recta"correspondiente al semieje imaginario. Entonces, usando dicho eje como
pivote, cualquier\recta"puede llevarse en otra mediante una transformacion del
grupo. Y si en cada recta marcamos un punto y pedimos que se correspondan
bajo la transformacion, eso es posible y la transformacion que lo logra es unica.
Maurits Cornelis Escher, mencionado en el Captulo 2, utilizo ambos modelos, con todo y los grupos de transformaciones correspondientes, para crear
varios de sus grabados mas famosos (vease [Er]).
Vamos ahora a sacar provecho de estos modelos.

hiperbolico y euclidiano
Como lo hicimos en el caso de la Geometra Elptica, primero veremos que
ocurre con los cuatro primeros postulados euclidianos cuando los puntos son
los del disco o los del semiplano de Poincare, las rectas son los arcos de circunferencia perpendiculares a la frontera en cada modelo, y la manera de medir
angulos y segmentos es la indicada en el inciso anterior. Despues tomaremos las equivalencias del Postulado V para ver lo que ocurre en la Geometra
Hiperbolica.
I De un punto P a otro punto Q es posible trazar un segmento, porque
85
hay una unica circunferencia euclidiana que pasa por esos dos puntos y
con centro en el eje real: el centro es la interseccion de la mediatriz del
segmento euclidiano con dicho eje (Vease la Figura 11).
Imaginarios
Q
P
Reales
Figura 4.11: Es posible trazar el segmento entre dos puntos.
II Un segmento se puede prolongar a una recta (ya habamos observado que

con la manera hiperbolica de medir, las rectas tienen longitud innita).
III Dado un centro y un radio, es posible trazar una circunferencia con ese
centro y ese radio (en el modelo del disco, si el centro es el origen, la

circunferencia hiperbolica con ese centro y un radio prescrito es una circunferencia euclidiana, aunque el radio es mas peque~no; si el centro es
otro punto, aplicamos una transformacion adecuada, vease la Figura 12).
Figura 4.12: Es posible trazar una circunferencia con un centro y un radio

prescritos.
IV Todos los angulos rectos son iguales entre s (porque los angulos son los
euclidianos).
86
Desde luego, el Postulado V no es valido, puesto que por un punto exterior
a una recta se puede trazar todo un haz de rectas que no cortan a la primera,
como lo evidencia la Figura 13.
L
Figura 4.13: Por un punto exterior a una recta, hay todo un haz de rectas que
no cortan a la primera.
En cuanto a las equivalencias 1a.-4a del Postulado V euclidiano del x1.3,
en el caso hiperbolico tenemos lo siguiente:
1a. No es valido el Axioma de Playfair, como lo muestra la Figura 13.

2a. La suma de los angulos interiores de un triangulo es menor de 180 ;
porque si en el modelo del disco colocamos uno de los vertices es el origen

(vease la Figura 14), lo cual implica que dos de los lados son segmentos
euclidianos, el otro lado debe ser un arco de circunferencia perpendicular al borde del disco, lo cual cierra los otros dos angulos con respecto
al triangulo euclidiano con los mismos vertices (una demostracion que
utiliza Calculo Integral aparece en [Re]).
3a. No hay triangulos hiperbolicos no congruentes, porque al igual que en
el caso elptico, un triangulo queda determinado por sus angulos. Como

un ejemplo particularmente simple, tomemos como angulos = 30 y
= = 60 : La Figura 15 muestra el caso en que el vertice con angulo
es el origen.
Entonces los lados iguales son segmentos euclidianos, y como el triangulo
es isosceles, por simetra el lado restante debe cortar perpendicularmente
87
a la bisectriz del angulo : Pero de todos los arcos perpendiculares a la
bisectriz, solo uno corta en angulos de 60 a los lados del angulo :
A

B
Figura 4.14: La suma de los angulos interiores de un triangulo hiperbolico es

menor que 180 :
80o
60o
45o
0o
Figura 4.15: Los angulos de un triangulo hiperbolico determinan el triangulo.
4a. No hay rectas equidistantes, como es facil constatar en el modelo del
semiplano si tomamos como recta al semieje imaginario. Recordemos

que la forma de medir en este modelo depende solo de la altura sobre
el eje real (porque la densidad del medio es mayor a medida que nos
acercamos al eje real). Por tanto, en cada paralela euclidiana al eje real,
la forma de medir no cambia y diere de la euclidiana solo por el factor
1=h donde h es la altura. Entonces, todos los segmentos marcados en
88
la Figura 16 miden lo mismo y los extremos que no pertenecen al eje
imaginario pertenecen a la recta euclidiana que forma un angulo de 45
con el eje real, que no es una recta hiperbolica.
Imaginarios
Reales
Figura 4.16: No hay rectas equidistantes en la Geometra Hiperbolica.
En la version preliminar de [T], el matematico contemporaneo William
Thurston hace descender un hombrecillo a lo largo de una escalera hiperbolica como la ilustrada a la izquierda en la Figura 16, para ilustrar una
\curva"equidistante a una recta hiperbolica.
4.5 Vericacion de los resultados de

Geometra Hiperbolica
En esta seccion utilizaremos indistintamente los modelos del disco y del semiplano superior, para ilustrar los resultados numerados [1] a [13] en el x2 y
obtenidos por los distintos autores mencionados.
[1] (Saccheri) En el haz de paralelas por un punto exterior a una recta, hay
dos que son propiamente paralelas (las demas se llaman ultraparalelas).
Si por paralelas entendemos rectas que comparten un punto al innito,
como las rectas hiperbolicas tienen dos puntos al innito, del haz de rectas por
el punto P exterior a la recta L hay dos, M y N ; que comparten un punto al
innito con L: una el punto S y otra el punto T; (vease la Figura 17).
89
Imaginarios
L
S
Reales
Figura 4.17: Una recta hiperbolica tiene dos puntos al innito, por eso hay dos
paralelas e innitas ultraparalelas.
[2] (Lambert) La diferencia de la suma de los angulos interiores de un polgono

hiperbolico con la correspondiente a un polgono euclidiano del mismo numero
de lados, es proporcional al area.
Este resultado puede comprobarse si se divide el polgono en triangulos,

como lo muestra la Figura 18. Entonces basta utilizar el Teorema de Gauss: en
un triangulo hiperbolico, el area es igual a ; donde es la medida
en radianes de un angulo llano (vease [Re]). Para los modelos hiperbolicos
propuestos, la constante de proporcionalidad es 1.

Figura 4.18: El area de un polgono hiperbolico es igual al defecto de la suma

de sus angulos interiores.
[3] (Lambert) Es posible que rectas que no se cortan sean divergentes (es decir,
90
la distancia entre ellas crece sin cota).
Hay dos tipos de rectas que no se cortan: las paralelas y las ultraparalelas.
En el modelo del semiplano es evidente que la distancia de la paralela L
a M crece sin cota cuando P se aleja del punto al innito comun, porque la
distancia euclidiana crece cuando el punto P se acerca (euclidianamente) al eje
real, y la distancia hiperbolica resulta de dividir la distancia euclidiana entre
la altura (que tiende a cero) del P respecto del eje real (vease la Figura 19).
M
P4
P3
L P5
P2
P1
Figura 4.19: Las rectas que no se cortan son divergentes.

En cuanto a las ultraparalelas, podemos razonar como antes cuando R
avanza, en uno u otro sentido, sobre la ultraparalela N a M:
[4] (Schweikart) Los angulos interiores de un triangulo suman menos de 180 ;

(Vease la equivalencia 2a.).
[5] (Schweikart) Mientras menor es la suma de los angulos de un triangulo,

mayor es el area.
En el modelo del disco, tomaremos un triangulo rectangulo (cualquier triangulo puede subdividirse en dos triangulos rectangulos, como lo muestra la Figura 20) y colocaremos otro de los angulos, ; en el centro del disco. Para que
la suma de los angulos disminuya, basta hacer mas peque~no el otro angulo,
; lo cual obliga al lado a a alejarse del vertice A: El triangulo cuya suma de
angulos es menor, tiene area mayor porque contiene al primero.
[6] (Schweikart) La altura de un triangulo rectangulo e isosceles crece al crecer
91
los lados, pero sin llegar a rebasar una cierta longitud llamada la constante.
Tomemos nuevamente el modelo del disco, y coloquemos en el centro el
angulo recto (vease la Figura 21). Para que los lados crezcan conservando
la condicion de que el triangulo sea isosceles, el lado a debe alejarse del centro
del disco siendo siempre perpendicular a la bisectriz de ; y tiene como lmite
el caso en que a se vuelve tangente a los lados iguales, b y c: Eso ja como
lmite de la altura la distancia de H a A; que es nita.
H1
B1
a
a
H2
B2
Figura 4.20: A menor suma de angulos, mayor area.
a
a
a

Figura 4.21: Ilustracion de la constante de la Geometra Hiperbolica.
92
[7] (Gauss) El paralelismo de las rectas AM y BN es independiente de los

puntos A y B (el sentido del paralelismo debe conservarse).
A0
A
B
B0
M
N
Figura 4.22: El paralelismo denido por Gauss es independiente de los puntos

A y B.
Gauss llamo paralelas a dos rectas AM y BN tales que cualquier otra recta
por A entre AM y AB corta a BN: En el modelo del semiplano superior, es
claro que las rectas que entran a un triangulo por uno de los vertices (diferentes
de los lados), cortan siempre al lado opuesto (Axioma de Pasch, vease [B] o
[W]): de lo contrario, habra dos rectas distintas con dos puntos en comun y
eso es imposible porque la mediatriz euclidiana de dos puntos determina el
centro de la circunferencia perpendicular al eje real que es la recta hiperbolica
por dichos puntos (vease la Figura 21).
[8] (Gauss) La reciprocidad del paralelismo, esto es, si AM es paralela a

BN , tambien BN es paralela a AM:
Recuerdese que paralelismo signica tener un punto al innito en comun.
[9] La transitividad del paralelismo, es decir, si L es paralela a M y M es
paralela a N , entonces tambien L es paralela a N (la direccion de paralelismo

debe ser la misma).
Como la direccion de paralelismo se conserva, el punto al innito comun a
L y M y el punto al innito comun a M y N es el mismo, y eso hace paralelas
a L y N (vease la Figura 23).
[10] (Gauss) Una circunferencia es el lugar geometrico de los puntos en las

rectas de un haz (concurrentes en un punto O) correspondientes a un punto
jo P:
93
Los puntos A y B en rectas distintas de un haz son correspondientes si el
segmento AB forma angulos interiores iguales con las dos rectas.
Para el modelo del disco, si el punto O es el centro del disco, el punto en
cada recta del haz que es correspondiente a un punto P; debe distar euclidianamente lo mismo de O que P; es decir, el lugar geometrico de los puntos
correspondientes a P es una circunferencia euclidiana que, por tener su centro
en el centro del disco, tambien es una circunferencia hiperbolica. Cuando
el centro no coincide con el centro del disco, aplicamos una transformacion
de Mobius que respeta distancias hiperbolicas y circunferencias euclidianas
(Apendice L).
L
M
Figura 4.23: Si se conserva la direccion de paralelismo, este es transitivo.
[11] (Bolyai) El concepto de angulo de paralelismo y la relacion entre
la distancia de un punto a una recta y dicho angulo, que es la clave de la

trigonometra hiperbolica (vease la Figura 24):
2 (a)
t1
L
a
t2
Figura 4.24: La distancia del punto a la recta determina el angulo de paralelismo.
94
En el modelo del disco, dada una recta L y un punto P fuera de ella (que
en la Figura 24 suponemos en el diametro del disco perpendicular a L), la
distancia a de P a L determina el angulo entre las tangentes t1 y t2 ; que es el
doble del angulo de paralelismo, (a).
[12] Una circunferencia de radio innito, horociclo, no es una recta.

i
C
1
Q(C )
Imaginarios
1
Reales
(a)
(b)
Figura 4.25: Una circunferencia de radio innito no es una recta.

Las circunferencias hiperbolicas son circunferencias euclidianas, aunque el
centro hiperbolico y el euclidiano solo coinciden si se trata del centro del disco en el modelo del disco. Entonces, cuando la circunferencia euclidiana es
tangente al borde del disco, su radio hiperbolico es innito, y al no ser perpendicular al borde no es una recta hiperbolica (vease la Figura 25 (a)).
Si el punto de tangencia corresponde al numero complejo i; la transformacion Q lleva las circunferencias tangentes al borde del disco en i en rectas
es la razon de que a lo largo de los horociclos la
paralelas al eje real. Esa
manera de medir sea proporcional a la euclidiana (vease la Figura 25 (b)).
[13] En una esfera de radio innito, horoesfera, es valida la Geometra Euclidiana.
En este ultimo resultado hiperbolico estamos considerando el espacio

hiperbolico tridimensional, uno de cuyos modelos es el semiespacio superior del espacio euclidiano tridimensional, como generalizacion natural del
modelo del semiplano superior. Las \rectas"son nuevamente semicircunferencias, y esta vez el centro puede ser cualquier punto del plano XY (vease la
Figura 26). La distancia entre dos puntos P y Q es la longitud hiperbolica del
95
arco de \recta"que determinan, y la longitud hiperbolica de un segmento es la
misma que en al caso del semiplano superior.
Q
X
Figura 4.26: En una horoesfera, la forma de medir es proporcional a la euclidiana.

Entonces, las horoesferas son esferas de radio innito que pueden visualizarse como planos paralelos al plano XY , y como todos los puntos de uno
de esos planos tienen la misma distancia euclidiana al plano XY; la forma de
medir es proporcional a la euclidiana, con un factor que permanece constante
en cada horoesfera (o plano euclidiano paralelo al XY ).
96
Grupos Kleinianos
Como hemos visto en los captulos anteriores, el proyecto de Klein de caracterizar cada geometra por un grupo de transformaciones y los invariantes bajo
este grupo, ha sido muy fructfero. Mas aun, se pueden crear subgeometras
de una geometra estudiando los invariantes de subgrupos de transformaciones.
En una geometra dada, cuando una transformacion preserva la distancia
entre cualesquiera dos puntos se le llama isometra.
Por ejemplo en la seccion 1.5 vimos que las isometras del plano (con la
metrica euclidiana), son las re exiones, las traslaciones y las rotaciones. Y en
el captulo anterior, vimos como se obtiene la geometra hiperbolica de la geometra proyectiva, mediante el modelo del hiperboloide. Las transformaciones
de Mobius que preservan el Disco, son, como hizo notar Poincare, isometras
del Disco.
El estudio de subgrupos de transformaciones es muy importante, mas aun,
si esas transformaciones son isometras. El proposito de este captulo es hacer
ver la riqueza que los subgrupos de isometras poseen.
Para ello, trabajaremos primero con el plano euclidiano y posteriormente
con la esfera de Riemann. De este estudio obtendremos otras subgeometras
que estan relacionadas de una manera natural con los espacios que Riemann
construyo en sus estudios de funciones analticas.
Estos espacios llamados precisamente Superces de Riemann, tambien resultan intersantes porque se enlazan con conjuntos de naturaleza geometrica
misteriosa llamados conjuntos fractales, cuyas imagenes hemos representados
en las guras de la 10 a la 14 y de la 16 a la 18.
El marco teorico donde se realiza esta conjuncion es en la teora de Sistemas
Dinamicos.
En realidad los Sistemas Dinamicos nacieron dentro de otro contexto como
es el de la Fsica al estudiar las ecuaciones que rigen los movimientos de los
cuerpos, y por lo tanto su estudio se remonta principalmente a Galileo, Newton y Laplace; sin embargo, Poincare es quien sienta las bases para la teora
moderna de los Sistemas Dinamicos en sus estudios sobre el Sistema Solar.
97
98
En este captulo veremos, la manera de interaccionar entre las geometras
que hemos visto, sus trasformaciones y la dinamica que estas generan,
cumpliendo con el Programa propuesto por Klein.
Para crear un Sistema Dinamico hay que tener primero un espacio base y
enseguida un algoritmo sobre dicho espacio que nos diga como vamos a mover
los puntos en el. Una vez que se tiene esto, se itera el algoritmo una y otra vez.
En el caso de la Fsica clasica, el algoritmo proviene de una ecuacion diferencial,
pero en general el algoritmo proviene de un conjunto de transformaciones en
el espacio base, que se eligen segun la naturaleza del problema a tratar.
Comenzaremos por considerar como espacio base el plano complejo con la
metrica euclidiana. En los captulos anteriores vimos que las transformaciones
del plano son las re exiones, las rotaciones y las traslaciones, que son las
isometras del plano euclidiano. En este caso utilizaremos dos traslaciones
que en notacion compleja son: T1 (z ) = z + 1 y T2 (z ) = z + i, que son ademas
transformaciones de Mobius. Ahora tomemos todas las posibles composiciones
de estas dos funciones y sus inversos. El conjunto de todas estas composiciones
forma un grupo (vease seccion 1.5). Dicho grupo se llama el grupo generado
por T1 y T2 , que denotaremos por G. Veamos como actua en los puntos del
plano.
Cuadriculemos el plano con rectas verticales separadas por una distancia
igual a uno, y similarmente por rectas horizontales separadas tambien a distancia uno. En la Figura 1, representamos una porcion del plano con la cuadrcula.
Esta cuadrcula es como un rompecabezas innito.
Figura 5.1: Cuadrcula en el plano euclidiano.

Si tomamos una de las rectas verticales y le aplicamos la transformacion
T1 , vemos que dicha recta ira a la siguiente recta vertical; si aplicamos de
99
nuevo esta transformacion, la recta se movera a la siguiente recta vertical y as
sucesivamente. Lo mismo sucede con respecto a las rectas horizontales usando
la transformacion T2 y sus composiciones. Esto signica que el grupo G no
altera la cuadrcula. Por ejemplo si ahora tomamos uno de los cuadros de la
cuadrcula y le aplicamos la transformacion T1 , el cuadro se transforma en el
cuadro de la derecha. Aplicando sucesivamente esta transformacion, se observa
que el cuadro se mueve a cada uno de los cuadrados que estan a su derecha.
Si aplicamos la inversa de esta transformacion, el cuadro se mueve hacia la
izquierda, sobre los otros cuadros. Cuando aplicamos la transformacion T2 , el
cuadro se mueve un cuadro hacia arriba. Si aplicamos la inversa, el cuadro se
mueve hacia abajo, etc.
Entonces el grupo G actua en el plano moviendo el cuadrado elegido hacia
los demas cuadrados y es claro que el cuadrado puede ocupar cualquier otro
cuadrado mediante una de las transformaciones en G.
Diremos ahora que dos puntos del plano x, y , estan relacionados, si existe
algun elemento T del grupo G, tal que T (x) = y . La construccion de Klein es:
pegar todos los puntos que esten relacionados, en un solo punto. El conjunto
de todos los puntos relacionados se llama la clase del punto al que se pegan.
La pregunta es entonces, >que representan las clases?.
Figura 5.2: La region y la Curva Elptica.

Si queremos entender las clases, de todo el rompecabezas nos podemos
quedar con una sola pieza, puesto que cualquier cuadrado esta relacionado con
cualquier otro. Quedemonos solamente con un cuadrado al que le llamaremos
. Sin embargo tiene su frontera que corresponde a dos lneas horizontales
100
y dos verticales, como en la Figura 2.
Recordemos que el grupo G tiene dos elementos (T1 y T2 ) que mueven la
lnea vertical de la derecha en la de la izquierda y la horizontal inferior a la
superior. As que tenemos que pegar las lneas de la frontera de como nos
indica el grupo G, es decir las verticales entre s y las horizontales entre s.
El resultado es la Supercie representada a la derecha de la Figura 2 y que
recibe el nombre de Curva Elptica. El nombre de Curva Elptica es porque
su estudio provino de las integrales que miden longitudes de arcos de elipses,
y no tiene que ver con las curvas que normalmente utilizamos.
La geometria de la Supercie es, por construccion, la geometria de la region
, que es una region del plano.
Dado que las transformaciones en G son isometras del plano, cada elemento
de G manda rectas en rectas. Por lo que si tomamos una recta en el plano y
tomamos los puntos que la representan en la region theta como en la Figura 3,
hemos representado una geodesica en la region y por lo tanto tenemos una
curva en nuestra Supercie y que es en consecuencia una geodesica. Tambien
es cierto que cualquier geodesica de la Curva Elptica proviene de una recta en
el plano.
A
A
B
A
B
Figura 5.3: Geodesica en la region y en la Curva Elptica.
Otras variantes de esta curva se obtienen al sustituir la transformacion T2

por la transformacion T2;t = z + t, donde t es cualquier numero complejo que
no es real. Para cada t, obtenemos una Curva Elptica.
En las siguientes secciones construiremos ejemplos del Programa de Klein
101
similar a como lo hicimos en esta seccion, utilizando ahora la geometra hiperbolica.
5.1 Grupos de inversiones

Comenzaremos con \ La esfera de Riemann"de la que hablamos en el Captulo
4, a la cual la vamos a dotar con la dinamica de un grupo para construir
Supercies como en la seccion anterior.
El algoritmo lo construiremos en varios pasos.
Construiremos las transformaciones de la esfera que nos interesan de la
siguiente manera:
L
p
Figura 5.4: Re exion a lo largo de L

Recordemos que por medio de la proyeccion estereograca que se vio en
la seccion 4.3, se puede ver que si tomamos una recta en el plano, cuando
agregamos el punto al innito se convierte en un crculo, e inversamente, si
tomamos un crculo en la esfera que pasa por el innito, cuando quitamos el
innito se convierte en una recta.
Si tomamos una recta L, podemos hacer una re exion a lo largo de dicha
lnea, es decir, la imagen de un punto p se construye tomando la unica recta
que pasa por p y es ortogonal a L y sobre dicha ortogonal se mide la misma
distancia que hay de p a L, obteniendose un punto q , como en la Figura 4.
102
La recta L separa al plano en dos y la re exion manda uno de los lados en
el otro y viceversa. Notese que los unicos puntos que no se mueven (llamados
puntos jos) son los puntos que estan en L. De esta manera la recta L funciona
como un espejo, siendo la re exion una isometra del plano.
En la Figura 5, describimos una generalizacion de la re exion descrita anteriormente, pero usando un espejo circular. La gura esta en el plano ya que
por medio de la proyeccion estereograca, podemos trasladar los fenomenos de
la esfera al plano.
IC (w)
r
IC (z )
z
p w
C
Figura 5.5: Inversion sobre el crculo C .

Si el espejo es un crculo C , con centro en p y radio r, entonces la transformacion esta dada por la funcion:
z!
r2
+p
z p
(donde el smbolo z , signica el conjugado de z , ver Apendice K)
que tiene las siguientes propiedades:
(a) Transforma el punto p al innito y el innito al punto p.
(b) Transforma el interior del crculo al exterior del mismo y viceversa.
(c) Transforma cada rayo que pasa por p en s mismo.
Por lo que puntos muy cercanos al punto p se transforman en puntos muy
lejanos a p, es decir muy cercanos al innito. De la misma forma, puntos
cercanos al espejo circular se transforman en puntos cercanos al espejo.
(d) El conjunto de puntos jos es el crculo C .
103
(e) Transforma crculos y rectas en crculos y rectas. Ademas, preservan
los angulos entre cualesquiera dos rectas. Si se aplica dos veces la misma
transformacion, se obtiene la identidad.
(f) Si el crculo C es ortogonal a la frontera del Disco de Poincare, entonces
la transformacion es una isometra del Disco (con la metrica hiperbolica).
(g) Toda isometra del Disco de Poincare es composicion de estas transformaciones con C ortogonal al disco.
Al espejo C se le llama el crculo de inversion.
Como estas dos ultimas propiedades las utilizaremos mas adelante, las
analizaremos mas detenidamente. Denotemos por al Disco de Poincare y
a la frontera de por @ , que es su notacion tradicional. Sea C el crculo
de inversion que es ortogonal a @ , entonces C toca a @ en los puntos p1 y
p2 . Por lo tanto, divide a @ en dos arcos que denotaremos por 1 interior a
C , y 2 exterior a C . La re exion en C manda al crculo @ en algun crculo
por la propiedad (e), y como la re exion preserva angulos, dicho crculo debe
ser ortogonal a C . Como los puntos p1 y p2 son puntos jos de la re exion,
entonces la imagen de @ coincide con s misma. Por la propiedad (b), el arco
1 se transforma en el arco 2 y viceversa. Entonces la re exion manda la parte
de que esta en el interior de C a la parte que esta en el exterior y viceversa.
Las re exiones en crculos reciben el nombre generico de inversiones. Por
IC , denotaremos la inversion en un crculo C . Un hecho importante es que
la transformacion obtenida de invertir en un numero par de crculos es una
Transformacion de Mobius. Pero tambien, toda Transformacion de Mobius se
obtiene de invertir en un numero par de crculos.
5.2 Un ejemplo concreto

con sus variantes
Continuando con nuestra construccion, el siguiente paso sera considerar grupos
generados por inversiones; para facilitar la comprension del texto usaremos
como ejemplo tres crculos ajenos C1 , C2 , C3 , ortogonales a la frontera del
Disco de Poincare y con sus centros colocados en un triangulo equilatero.
Ahora podemos considerar el grupo F generado por las inversiones en cada
uno de los tres crculos y extraer el subrupo G que consiste de aquellos ele-
104
mentos de F que tienen un numero par de inversiones, es decir, G es un grupo
formado por las Transformaciones de Mobius que hay en F . Desde luego, estos
grupos dependen del centro y radio de los crculos.
En nuestro ejemplo, si F esta generado por las inversiones IC1 , IC2 , IC3 ,
entonces se puede demostrar que G esta generado por las transformaciones
siguientes: T1 = IC2 IC1 y T2 = IC3 IC2 . Por lo tanto, cualquier composicion
de estas funciones y sus inversos estan en G y representan Transformaciones
de Mobius.
Nuestro algoritmo es aplicar a un punto cualquiera de la esfera cada uno
de los elementos del grupo de transformaciones G.
Si estudiamos un poco mas detenidamente nuestro ejemplo concreto, podemos ver que al aplicar los elementos del grupo F a los crculos C1 ; C2 y C3 , vamos obteniendo un conjunto de crculos mas peque~nos que por pares, aparecen
dentro de cada uno de los crculos anteriores, como se muestra en la Figura 6.
Los nuevos crculos son ortogonales a la frontera del Disco de Poincare puesto
que estas transformaciones preservan angulos.
En el lmite de esta construccion, los crculos tienen radio cero, es decir son
puntos y estan todos colocados a lo largo de la frontera del Disco de Poincare.
Entonces, cualquier punto en la Esfera tiende bajo la accion del grupo G
a este conjunto de puntos, que (en nuestro caso) es un conjunto innito de
puntos de acumulacion como lo explicamos en el Apendice M.
El conjunto hacia el cual un punto cualquiera se acumula, al aplicarle la accion de un grupo de Transformaciones de Mobius se llama Conjunto Lmite.
Hay que hacer notar que los conjuntos lmite de los grupos F y G coinciden.
Realizaremos ahora algunas variantes del grupo G, que nos daran idea de
la riqueza de esta teora. Imaginemos que los radios de los crculos de inversion
C1 ; C2 ; C3 empiezan a crecer hasta llegar el momento donde son tangentes.
Desde luego, los crculos siempre deben permanecer ortogonales a la frontera
del Disco de Poincare.
As, para cada tiempo t, tenemos un valor para el radio de los tres crculos.
Por lo que, para cada tiempo t, nuestros tres crculos denen tres transformaciones y por lo tanto todas las combinaciones entre ellas forman un grupo
(como se hizo en el parrafo anterior) que denotaremos por Ft , con su respectivo
subgrupo Gt . De esta manera F0 es nuestro grupo inicial y F1 es el grupo que
se genera cuando los tres crculos tienen el radio necesario para ser tangentes
dos a dos.
Para cada t < 1, el Conjunto Lmite de Ft es esencialmente el mismo, ex-
105
IC1 (C2 )
IC1 (C3 )
C2
C1
C3
IC3 (C2 )
IC1 (IC3 (C1 ))

IC3 (C1 )
Figura 5.6: Inversiones del grupo F y su Conjunto Lmite

cepto que cada vez llena mas el crculo que es la frontera del Disco de Poincare,
de tal forma que cuando los crculos son tangentes (t = 1), el Conjunto Lmite
de F1 coincide con la frontera del Disco de Poincare. Vease la Figura 7, y
comparese con la Figura 6.
En otras palabras, hemos descrito un proceso en donde el Conjunto Lmite
pasa de ser un conjunto discreto a uno continuo; aqu conviene que se recuerde
la discusion sobre la continuidad de la recta en el Captulo I.
Ahora bien, otras variantes del fenomeno anterior, suceden cuando siendo
tangentes los tres crculos, les cambiamos un poquito el radio, cuidando que la
tangencia entre los tres crculos se preserve; esto se logra si los crculos dejan
de ser ortogonales a la frontera del disco de Poincare, el resultado es que el
106
Figura 5.7: Inversiones de F1 y su Conjunto Lmite.

Conjunto Lmite es como en la Figura 8, dicha curva es una curva cerrada llena
de picos.
Un problema muy interesante y que todava no se ha terminado de resolver
(aunque la teora esta muy desarrollada), es entender el Conjunto Lmite de
un grupo F , generado por inversiones en un numero cualquiera de crculos
colocados en cualquier posicion.
Es una consecuencia de un teorema profundo llamado Teorema de Uniformizacion (demostrado por Poincare y Koebe, independientemente en 1907)
que el espacio resultante de quitar a la esfera cualquier conjunto con mas de
dos puntos, admite una geometra de tipo hiperbolico.
Esto implica naturalmente que la esfera menos los Conjuntos Lmites que
hemos visto, admiten una geometra hiperbolica, cosa sorprendente y no tan
facil de visualizar. En nuestro ejemplo del grupo G1 , el Conjunto Lmite es un
crculo que separa a la esfera en dos discos, y desde luego cada disco admite
una geometra de tipo hiperbolico.
Tanto Klein como Poincare trataron de dar una demostracion de este teo-
107
Figura 5.8: Conjunto Lmite de un grupo que no preserva el Disco de Poincare.

rema, en 1882 Klein publico una demostracion que no estaba completa y en
1883, Poincare dio a conocer otra demostracion que tampoco estaba completa.
5.3 Supercies de Riemann

Ahora aplicaremos el Programa de Klein a nuestro ejemplo de la seccion anterior, siguiendo los lineamientos generales de la construccion de la Curva Elptica.
Comenzaremos por denotar por
, la region de la Esfera que es exterior
a los tres crculos disjuntos. Esta region es especial porque al aplicarle todos
y cada uno de los elementos del grupo F llenamos toda la Esfera menos el
Conjunto Lmite, vease la Figura 9 con detenimiento para convencerse de este
hecho. En esta gura, que esta basada en la Figura 6, hemos puesto punteado
el Disco de Poincare, y el lector debe inferir que cada region bordeada por los
108
crculos tiene su etiqueta que es la transformacion que manda la region
a
ella.
Como el grupo que nos interesa es el grupo G, la region que verdaderamente
debemos considerar es la\duplicaci
on"de esta por algun elemento perteneciente
S
a G, esto es, consideremos a
IC1 (
). Llamemos a esta region . La frontera
de esta formada por los crculos C2 ; C3 ; IC1 (C2 ); IC1 (C3 ). Entonces la union
de las imagenes de la region por todos y cada uno de los elementos de G es
toda la esfera menos el Conjunto Lmite. La impresion de lo que se ve es la de
un rompecabezas limitado por el Conjunto Lmite (valga la redundancia).
Recordemos que se dene una relacion entre los puntos de la esfera de la
siguiente manera: diremos que dos puntos x y y estan relacionados si existe
un elemento g 2 G, tal que g (x) = y . Todos los puntos relacionados entre s,
denen una clase.
Las clases denidas de esta manera denen un espacio llamado Supercie
de Riemann en honor a Bernhard Riemann, que por el a~no de 1850 fue el
primero en introducirlas, aunque su construccion inicial proviene de un dominio
natural para las funciones complejas.
Tratando de entender estos trabajos de Riemann, Alfred Clebsh (1833-72)
relaciono las Supercies de Riemann con las parejas de puntos (x; y ) que satisfacen una ecuacion algebraica como por ejemplo y 3 = Ax2 + Bx + C . Aqu las
variables x y y estan cada una en el plano complejo. Con la ayuda de los estudios que Karl Wierstrass (1815-1897) haba hecho de las llamadas funciones
elpticas, Clebsh demostro que las Supercies de Riemann que satisfacen la
ecuacion anterior son precisamente las Curvas Elpticas, y a toda Curva Elptica le corresponde una ecuacion como la anterior.
Los trabajos de Riemann y Clebsch establecen un vnculo entre el analisis,
la geometra y el algebra de las Supercies de Riemann.
En nuestro ejemplo el lector puede convencerse de que las clases estan
representadas por la region y su frontera que consta de los cuatro crculos
C2 ; C3 ; IC1 (C2 ); IC1 (C3 ) que se tienen que identicar por pares de manera que
C2 se identica con IC1 (C2 ) y C3 con IC1 (C3 ).
Por lo que el resultado es la supercie que esta representada a la derecha
en la Figura 10. Esta representacion de la supercie es solo de su forma mas
no de su geometra, ya que al ser de tipo hiperbolico no se puede representar
en el espacio euclidiano de tres dimensiones, teorema que fue demostrado por
Hilbert (seccion 4.3).
Otra forma menos tecnica de decir lo que expusimos en el parrafo anterior
109
C2
IC1 (
)
C1
C3
IC1 (IC3 (
))
Figura 5.9: La region

y sus imagenes bajo los elementos de F .
pero que signica lo mismo es: separemos las regiones del rompecabezas y
quedemonos con una region (que es representativa de todas y que puede ser
), construccion que es similar a como lo hicimos en el caso plano al comienzo
del captulo. A continuacion peguemos los lados de dicha region de acuerdo
a como nos lo indica el grupo G. El resultado es como se se~nala en la Figura
10; en la parte izquierda se esquematiza la manera del pegado de los crculos
correspondientes, dando lugar a dos asas sobre la esfera. Esto de cortar y
pegar ya lo hicimos en la seccion del espacio Proyectivo en la seccion 3.3 y al
comienzo del Captulo.
Si nos jamos bien en esta construccion, podremos observar que si consideramos las variantes del grupo G, es decir, los grupos Gt donde t < 1, la
Supercie de Riemann resultante son aparentemente la misma, es decir una
bola con dos asas (como aparece en la Figura 10).
110
La variacion del grupo G0 a Gt , da una variacion en la estructura geometrica de dicha supercie y es como tomar la bola con asas y como si fuere de hule
la empezaramos a torcer pero cuidando siempre de que la supercie sea de tipo
hiperbolico, debido esto, al Teorema de Uniformizacion. Por lo que siempre
deben tener curvatura igual a 1. Estas variaciones enriquecen aun mas la
estructura de estas Supercies, el libro [GP] aunque es tecnico y especializado
explica de manera muy geometrica estos resultados.
Ahora bien, cuando t = 1, realmente hay un cambio en la forma de la Supercie de manera que el grupo G1 dene la Supercie de Riemann representada
en la Figura 15(d).
C2
IC1 (C2 )
IC1 (C3 )
C3
Figura 5.10: Supercie de Riemann asociada al grupo G.

En el caso general, como ya lo hemos mencionado, puede haber los crculos
de inversion que se quieran, estar colocados donde sea y dependiendo de estos
se genera un grupo cuyo Conjunto Lmite tiene unas caractersticas que varan
desde ser un conjunto disconexo como el de nuestro ejemplo, hasta llegar a ser
inclusive toda la Esfera. Dichos Conjuntos Lmite estan considerados dentro de
los conjuntos llamados conjuntos fractales"que tienen formas muy interesantes
y caprichosas.
El concepto de conjunto fractal tiene hoy en da su propio campo de estudio, y aparecen frecuentemente dentro de los Sistemas Dinamicos. Al parecer
estos conjuntos se conocen desde el siglo pasado pero haban sido considerados
como fenomenos aislados. En contraste, hoy en da en casi cualquier estudio de
dinamica aparecen estos conjuntos tan especiales. Para una introduccion sobre
111
este tema en particular y gran cantidad de ejemplos y guras, recomendamos
al lector los libros [PJS] y [Ba] y [GL].
Figura 5.11: Conjunto Lmite del grupo K1 .
112
En las guras 11, 12 y 13 estan representados otros ejemplos de Conjuntos
Lmites cuya explicacion excede nuestro proposito, pero el lector interesado
puede consultar el artculo explicativo de [K]. En la Figura 15 hemos representado otros ejemplos de Supercies de Riemann, en particular la Supercie
15(a) corresponde a los grupos que tienen como Conjuntos Lmites las guras
antes mencionadas y que hemos denotado por K1 ; K2 y K3 .

Los grupos que expusimos en los parrafos anteriores y sus generalizaciones
fueron estudiados por H. Poincare, Felix Klein, L. Fuchs, R. Friecke, entre
otros, siendo Poincare el que mas descubrimientos hizo.
113
Poincare haba bautizado a estos grupos de transformaciones como Grupos
Fuchsianos, pero Klein protesto y entonces Poincare decidio llamar a estos
grupos como Grupos Kleinianios y a los que dejan invariante el disco unitario
como Grupos Fuchsianos.
Los conjuntos de las Figuras 11 a 14 son los Conjuntos Lmites de Grupos
Kleinianos que fueron obtenidos recientemente mediante computadoras y su
estudio particular se remite a artculos recientes.
Figura 5.14: Conjunto Lmite de un Grupo Cuspide.

Como hemos visto, los Grupos Kleinianos y las Supercies de Riemann
estan indisolublemente ligados.
De nuevo, el Teorema de Uniformizacion que mencionamos antes nos dice
que las Supercies de Riemann que se construyen a la manera que lo hicimos
114
en esta seccion admiten una geometra de tipo hiperbolico.
Por lo tanto estas Supercies de Riemann tienen en todo punto curvatura
constante igual a 1.
Figura 5.15: Otros ejemplos de Supercies de Riemann.
5.4 Algunos Desarrollos Actuales

La Teora de las Supercies de Riemann es un area de las matematicas que
esta en estrecha relacion con casi todas las demas areas, sus generalizaciones
y desarrollo ha dado lugar a nuevas areas fundamentales y es de importancia
115
primordial en la solucion de muchos problemas de las matematicas, e inclusive
en algunas nuevas teoras de la Fsica.
Hoy en da por ejemplo se ha establecido un lazo entre la dinamica de
funciones en la esfera y los Grupos Kleinianos; el \algoritmo de Newton"para
encontrar los ceros de un polinomio es un ejemplo de dinamica en la Esfera y,
para tratar de entenderlo, los matematicos franceses Gaston Julia (1893-1978)
y Pierre Fatou (1878-1929) estudiaron cada uno por su cuenta, alrededor de los
a~nos '20, la teora general. Esta teora recibe el nombre concreto de Dinamica
de Funciones Racionales.
El espacio base del que hablabamos al principio de este captulo es de
nuevo la esfera de Riemann y el algoritmo que se aplica esta dado por una
unica funcion. De esta manera se estudia el comportamiento de los puntos de
la esfera segun se aplica la funcion dada una y otra vez.
Al estudiar la Dinamica de Funciones Racionales, Julia y Fatou demostraron que tambien existe un Conjunto Lmite al cual se le conoce como
Conjunto de Julia y a su complemento como el Conjunto de Fatou. Se sabe
que los conjuntos de Julia son generalmente, conjuntos de tipo fractal, donde
los mas simples son los Conjuntos de Cantor, que pueden irse complicando
cada vez mas hasta llenar toda la esfera inclusive.
En las Figuras 16, 17 y 18 se muestran algunos conjuntos de Julia, el de
la primera de ellas es una estilizacion artstica de un Conjunto de Cantor. La
coloracion indica la cantidad de iteraciones necesarias que un punto necesita
para salirse de la pantalla. El libro de Devaney [D], explica las bases de los
elementos de esta teora.
116
.
Figura 5.16: Un Conjunto de Julia tipo Cantor.
117
.
Figura 5.17: Conjunto de Julia de f (z ) = z 2 + ( 0:068 + 0:6666i).
118
.
Figura 5.18: Conjunto de Julia de la funcion exponencial.
119
El matematico estadounidense Dennis Sullivan y su escuela han explorado las similaridades entre los Grupos Kleinianos y la Dinamica de Funciones
Racionales para crear tecnicas comunes a ambas teoras, por lo que las tecnicas
de una se aplican a la otra y viseversa.
Esos resultados estan inspirados en parte a los trabajos de William
Thurston, quien en los '80s, ha estudiado las gemetras tridimensionales. Ha
demostrado que existen ocho geometras tridimensionales basicas, en lugar de
las tres geometras bidimensionales que hemos relatado en los captulos de este
libro.
Ha construdo una gran cantidad de objetos hiperbolicos tridimensionales
analogos a los de la Figura 15, y ha conjeturado un Teorema de Uniformizacion
para variedades tridimensionales, usando estas geometras. Todo esto debido
a la observacion de Poincare, de que cualquier transformacion de Mobius en
la esfera se extiende a su interior (que es la bola tridimensional) y es una
isometra con la metrica hiperbolica:
ds2 = (dx2 + dy 2 + dz 2 )=((1 x2 y 2 z 2 )2 )
donde x; y; z son las coordenadas de la bola en el espacio real tridimensional.
Figura 5.19: Conjuntos Lmites de grupos muy importantes en la teora tridimensional.

En la Figura 19 hay dos tipos de Conjuntos Lmites relacionados con teo-
120
remas de Geometra Hiperbolica tridimensional.
Ademas, esta area de estudio tiene que ver con los nudos que normalmente utilizamos para amarrar cosas que aunque no lo pueda parecer, sirven
en matematicas para clasicar las variedades tridimensionales.
Para los fundamentos basicos de estos trabajos el libro de A.Verjovsky [Ve]
es excelente bibliografa. Si el lector quiere un trabajo un poco mas especializado, entonces recomendamos el artculo [Mi].
En la Figura 20, tenemos una teselacion por dodecaedros del espacio hiperbolico tridimensional, vista desde el interior. En esta gura se puede observar
las caras pentagonales del dodecaedro y se puede sentir la curvatura hiperbolica.
Diremos que tambien esta de moda el estudio de las teoras de campo del
universo, en las que se trata de entender (entre muchas otras cosas) la relacion
entre las fuerzas de las partculas elementales como el electron y el campo
gravitatorio como el de los planetas.
Pues bien, en estas teoras tambien aparecen las Supercies de Riemann,
sobre todo en las llamadas Teoras de Cuerdas en las que se supone que las
partculas estan representadas por cuerdas (curvas) y no por puntos; de tal
manera que cuando las partculas se mueven en el tiempo, van describiendo una
Superce de Riemann como en la Figura 21. A partir de Einstein la gravitacion
se entiende como la curvatura del espacio; por lo que las tecnicas de las Teoras
de la Gravitacion son las mismas que las de la Geometra Diferencial.
Este es el sue~no de Kepler de geometrizacion del espacio y la materia, que
el matematico y losofo escoces William Cliord (1845-79) haba profetizado poco antes que Einstein lo llevara a cabo. Cliord in uenciado por los
geometras no-euclidianos escribio un libro titulado Sobre la teora espacial de
la materia , en 1870, donde presenta la idea de que la materia y la energa son
simplemente diferentes tipos de curvatura en el espacio. Ademas uso su teora
de bicuaternios para estudiar el movimiento en el espacio no-euclidiano. En
este captulo hemos utilizado algunas de sus ideas geometricas referentes a las
Supercies de Riemann.
De hecho hay una busqueda sobre la forma del Universo en que vivimos,
donde se aplica todo lo que hemos visto. Vease el artculo [C-W], que habla
de estas cosas.
121
Figura 5.20: Teselacion del espacio hiperbolico tridimensional por dodecaedros.

Figura tomada del espacio video Not-Knot, producida por: The Geometry
Center, Universidad de Minnesota
122
Muy importante tambien es la demostracion del matematico ingles Andrew
Wiles de la Universidad de Cambridge, que dio en 1994 al ultimo Teorema de
Fermat que dice que no hay enteros x,y ,z tales que resuelvan la ecuacion
xn + y n = z n
si n > 2. En la solucion a este problema que tena sin resolverse cerca de
350 a~nos, estan ivolucradas de manera central las Curvas Elpticas de las que
hablamos al comienzo de este captulo. El libro de Simon Singh [Si] relata de
una manera muy amena la historia y solucion a este problema.
Figura 5.21: Dos cuerdas que se acercan y hacen colision.

Finalmente terminaremos este captulo con una frase de Johanes
Kepler(1571-1630) que dice: Donde hay materia hay geometra.
Apendices
A. Demostracion de las equivalencias

1a. a 4a.
Recuerdese que estamos suponiendo validos los postulados I a IV y las primeras
30 proposiciones del Libro I de los Elementos. De estas, enunciaremos solo las
que utilicemos, haciendo referencia a [Eu].
En cada caso, demostraremos primero que el Postulado V implica la otra
armacion, y despues veremos como los primeros cuatro postulados y la armacion en turno, dan lugar al Postulado V o a alguna de las equivalencias
previamente demostradas.
Equivalencia 1. Axioma de Playfair. Por un punto P exterior a una recta
L, pasa una unica recta M que no corta a L.

a) Postulado V ) Axioma de Playfair.
En la Figura 1.6, P es un punto fuera de L por el cual trazamos la perpendicular H a L: Tambien por P trazamos la perpendicular M a H; los angulos
y , que son alternos, son ambos rectos, por tanto iguales y, nalmente, L
es paralela a M por la Proposicion 27 [Eu]; la paralela es unica debido a la
unicidad de la perpendicular.
Proposicion 27. Si una recta corta a otras dos formando angulos alternos
iguales, estas rectas son paralelas.
123
124
L2
L1
Figura 6.1: Si los angulos alternos son iguales, las rectas L1 y L2 son paralelas.
b) Axioma de Playfair ) Postulado V.

En la Figura A2, T es transversal a L y a N : Suponemos que los angulos
interiores del mismo lado de T ; y ; son tales que + < 180 :
M
N
L

Figura 6.2: Si + < 180; entonces L y N se cortan del lado derecho.
Entonces, 6= y por la Proposicion 27, la recta M tal que 0 = es
paralela a L; y por Playfair es la unica que no corta a L; lo cual implica que
N s la corta, y lo hace del lado derecho porque si lo hiciera del lado izquierdo
tendramos un triangulo con dos angulos interiores que suman mas de 180 ;
contradiciendo la Proposicion 17 [Eu]:
Proposicion 17. Para todo triangulo, la suma de cualesquiera dos angulos
125
es menor que 180.
Equivalencia 2. Suma de los angulos interiores de un triangulo.
(Saccheri) La suma de los angulos interiores de cualquier triangulo es 180:
a) Postulado V ) + + = 180 .
A
0
Figura 6.3: La paralela por A muestra que + + = 180 .

Usamos el Postulado en la forma del Axioma de Playfair para trazar por A
la unica paralela a BC: La unicidad y la Proposicion 27 implican que = 0
y = 0 , si en un caso consideramos como transversal a AB y en otro a AC
(vease la Figura A3).
Entonces, como + 0 + 0 = 180 ; tambien + + = 180.
b) + + = 180 ) Postulado V.
Como la Proposicion 27 asegura la existencia de una paralela M a L por
P; solo falta la unicidad para obtener el Axioma de Playfair. En la Figura
A4 hay una sucesion de triangulos isosceles P HA1 ; P A1 A2 ; P A2 A3 ; etc.,
obtenidos al tomar A1 tal que P H = HA1 (donde H es el pie de la perpendicular H de P a L); A2 tal que P A1 = A1 A2 ; A3 tal que P A2 = A2 A3 ; etc.,
cuyos angulos agudos miden cada uno la mitad del anterior por la hipotesis.
Si el proceso se repite sucientes veces, cualquier recta N distinta de M
queda entre P An y P An+1 para algun valor de n (porque la suma 1 + 2 + ::: +
n es tan cercana a 90 como se quiera), y eso implica que N queda atrapada
126
3
1 2
A1
A2
A3
Figura 6.4: Cualquier recta distinta de M corta a L:

en un triangulo, y entonces corta a L; segun otro de los postulados no explcitos
utilizados por Euclides y sacado a la luz por Moritz Pasch (1843-1930):
Axioma de Pasch. Si una recta entra a un triangulo por uno de sus
vertices, la recta sale del triangulo por el lado opuesto a dicho vertice.
Equivalencia 3. Triangulos semejantes. (Wallis) Existen triangulos cuyos
angulos correspondientes son iguales sin que los lados correspondientes sean
iguales. (Vease la Figura A5.)
a) Postulado V ) existen triangulos semejantes no congruentes.

A

0
B0
B
C0

Figura 6.5: El triangulo AB 0 C 0 es semejante y no congruente al triangulo ABC:

Dado el triangulo ABC; sea B 0 un punto en el segmento AB distinto de los
extremos. Tracemos por B 0 la paralela a BC: La unicidad de las paralelas y la
127
Proposicion 27 implican que = 0 y = 0 : Entonces, los triangulos ABC y
AB 0 C 0 son semejantes pero no congruentes porque AB 6= AB 0 :
b) Existen triangulos semejantes no congruentes ) Postulado V.

Si los triangulos ABC y A0 B 0 C 0 tienen los mismos angulos pero las medidas
de sus lados son distintas (vease la Figura A6), por ejemplo AB > A0 B 0 ;
podemos tomar un punto D en AB tal que AD = A0 B 0 y un punto E en AC
tal que AE = A0 C 0 :
El punto E debe quedar entre A y C; pues los triangulos ABC y AED son
congruentes por la Proposicion 4 [Eu], mencionada en la seccion 5:
Proposicion 4. Dos triangulos que tienen un par de lados iguales, e igual
el angulo comprendido por cada par, son congruentes.
A0
D

B
C0
B0
E
Figura 6.6: Si existen triangulos semejantes y no congruentes, la suma de los

angulos interiores de un triangulo es 180 :
Pero entonces la suma de los angulos interiores del cuadrilatero BCED es
360 ; y como la suma de los angulos interiores de un triangulo no es mayor que

180 por la Proposicion 17 [Eu] antes enunciada, la unica posibilidad para la
suma de los angulos de cualquiera de los triangulos DBE y EBC es 180:
Ya solo falta mencionar que Adrien Marie Legendre (1752-1833) demostro
que si en un triangulo la suma de los angulos interiores es 180 ; lo mismo ocurre
128
para todo triangulo.
Equivalencia 4. Rectas equidistantes. Existen rectas tales que la longitud

del segmento de perpendicular desde un punto de cualquiera de ellas a la otra,
es constante. (Vease la Figura A7.)
a) Postulado V ) existen rectas equidistantes.

Si M es paralela a L; al bajar desde A y A0 perpendiculares a L (vease la
Figura A7), obtenemos (por la unicidad de la paralela a L; tanto desde A como
desde A0 ; y por la Proposicion 27), que AHH 0A0 es un rectangulo y tambien
las igualdades siguientes entre angulos: = 0 ; = 0 :
Como los triangulos AHH 0 y H 0 A0 A tienen dos angulos agudos iguales e
igual el lado comprendido, resultan congruentes por la Proposicion 26 [Eu]:
Proposicion 26. Si dos triangulos tienen un par de angulos iguales y un lado

correspondiente de la misma longitud, ya sea el adyacente a uno de los angulos
iguales o el que esta entre los angulos iguales, los triangulos son congruentes.
A0
0
H0
Figura 6.7: Dos rectas paralelas son equidistantes.
b) Existen rectas equidistantes ) Postulado V.

Nuevamente demostraremos que la suma de los angulos de un cierto triangulo es 180 ; y usaremos la tercera equivalencia. (Vease la Figura A8.)
Desde A y A0 en M trazamos perpendiculares a L; y desde B en L trazamos
el segmento de perpendicular a M: Por hipotesis, AH = A0 H 0 = BR; y enc
tonces el angulo HAR
es recto (de lo contrario, podramos trazar la perpen-
129
A00 A

A0
0 '
B
'0
0
H0
Figura 6.8: Si hay rectas equidistantes, la suma de los angulos de un triangulo

es 180 :
dicular desde H a M y el triangulo HAA0 sera isosceles con angulos rectos en
A y en A0 ).
Por la Proposicion 27 [Eu], AH es paralela a BR y, en consecuencia, = 0
y = 0 ; analogamente, A0 H 0 es paralela a BR y, por tanto, = 0 y = 0 :
Como + 0 + + 0 = 180 ; las igualdades anteriores implican que en el
triangulo ABA0 la suma de los angulos interiores es 180 :
B. Transformaciones rgidas
Una funcion T del plano euclidiano en s mismo se llama rgida si
i) Respeta las distancias entre cualesquiera dos puntos, es decir, la distancia
de T (P ) a T (Q) es igual a la distancia de P a Q;
ii) Es suprayectiva, es decir, cualquier punto P 0 del plano es la imagen bajo
T de algun punto P:
Es inmediato vericar que las transformaciones rgidas deben ser inyectivas, es decir, que puntos distintos no pueden tener la misma imagen. Lo que
interesa demostrar es
Las transformaciones rgidas del plano en el plano forman un grupo bajo la

composicion.
130
1. Cerradura: Si S y T son transformaciones rgidas, tambien T S lo es,
porque al aplicarla a dos puntos P y Q tenemos:
d(T S (P ); T S (Q)) = d(T (S (P )); T (S (Q))) (por denicion)

= d(S (P ); S (Q)) (porque T es rgida)
= d(P; Q)
(porque S es rgida).
2. Asociatividad: es valida para la composicion de funciones cualesquiera,
porque si R; S y T son aplicaciones del plano en el plano, por denicion
de composicion de funciones tenemos que (T S ) R y T (S R) dan
la misma imagen de cualquier punto P del plano :
(T S ) R(P ) = T S (R(P )) = T (S (R(P )))
T (S R)(P ) = T (S R(P )) = T (S (R(P ))):
3. Elemento neutro: La transformacion identidad, I (P ) = P para todo
punto P del plano, puede componerse con cualquier otra, por el lado que
sea, sin afectarla, y es desde luego rgida:
d(I (P ); I (Q)) = d(P; Q):

4. Elemento inverso de uno dado: Si T es una tansformacion rgida, como
es suprayectiva cada punto P 0 del plano es imagen bajo T de un unico
punto P (porque T es inyectiva) y entonces tiene sentido denir la transformacion T 1 ; inversa de T como T 1 (P 0) = P si T (P ) = P 0 : Es claro
que T 1 T es la transformacion identidad I; y T 1 es rgida porque:
d(T 1(P 0 ); T 1 (Q0 )) =

=
=
=
d(T 1 (T (P )); T 1(T (Q)))

d(P; Q)
d(T (P ); T (Q))
d(P 0; Q0 ):
donde la primera igualdad se debe a que P 0 = T (P ); Q0 = T (Q); la

segunda a que T 1 T = I y la tercera a que T es rgida.
131

Con Algebra
Lineal elemental, es sencillo demostrar que toda transformacion rgida del plano en el plano es composicion de una traslacion con una
rotacion o una re exion (vease [Ra]).
C. Razon doble
Invariancia de la razon doble bajo proyecciones
La Ley de los senos establece (vease el triangulo de la Figura C1):
a
b
c
=
=
sen sen sen
Si aplicamos la Ley de los Senos a los triangulos OAC; OCB; OBD y
OAD; del haz mostrado en la Figura C1, obtenemos, respectivamente:
AC
OC
=
sen sen
CB
OC
=
sen sen
BD
OD
=
sen sen(180 )
AD
OD
=
sen sen
) AC = OCsensen
) CB = OCsensen

) BD = ODsensen

) AD = ODsensen

Por tanto, (AC=CB )=(AD=DB ) = (AC )(DB )=(CB )(AD) se reduce a
OC sen sen OD sen sen sen sen

=
sen OC sen sen OD sen sen sen
que depende solo de los angulos entre las rectas y no de la transversal que corta
el haz. Por eso, al proyectar desde O los puntos A; B; C y D de una recta en
los puntos A0 ; B 0 ; C 0 y D0 de otra recta, la razon doble de ambas cuartetas es
la misma.
132

C
Figura 6.9: La Ley de los senos permite demostrar la invariancia de la razon

doble bajo proyecciones.
D. Transformaciones anes
Las transformaciones anes forman un grupo
Una transformacion del plano cartesiano en s mismo que tiene la forma
L(x; y ) = (ax + by; cx + dy ) con ad bc 6= 0;

lleva rectas en rectas, rectas paralelas en rectas paralelas y rectas distintas en
rectas distintas. Se llama por eso transformacion lineal no singular.
Todas ellas forman un grupo bajo la composicion, porque L2 L1 = L3
tiene las mismas caractersticas, y la inversa de L, L 1 , que existe por la
inyectividad, resulta tambien lineal no singular.
Las transformaciones anes inyectivas del plano afn en s mismo resultan de componer una traslacion con una transformacion lineal no singular:
A = T L;
pues rectas van en rectas, rectas distintas van en rectas distintas y rectas
paralelas van en rectas paralelas (lo cual implica que puntos al innito van en
puntos al innito).
133
Al componer dos de ellas resulta otra del mismo tipo, porque si
A(x; y ) = L(x; y ) + (r; s); y B (x0 ; y 0) = M (x0 ; y 0 ) + (u; v );

la composicion da
B A(x; y ) = B (L(x; y ) + (r; s)) = B (ax + by + r; cx + dy + s)

= ((ax + by + r) + (cx + dy + s) + u; (ax + by + r) + (cx + dy + s) + v )
= ((a + c)x + (b + d)y + r + s + u;
( a + c)x + ( b + d)y + r + s + v );
que tiene la forma de una transformacion afn inyectiva.
La transformacion inversa de una transformacion afn inyectiva A es la
transformacion afn inyectiva B donde M = L 1 y (u; v ) = L 1 (r; s); como
es directo comprobar al componer B A:
Una forma muy comoda de operar con las transformaciones anes inyectivas
es asignar coordenadas (x; y; 1) a un punto ordinario, y ( : ; 0) a un punto
al innito, donde la pendiente correspondiente al punto al innito es m = =
si 6= 0, y 1=m = = = 0 si = 0:
Entonces a cada transformacion afn inyectiva le corresponde una matriz
del tipo
0
a
Bc
@
b r
d sC
A
0 0 1
que se aplica sobre las tercias de las coordenadas escritas como columna para
dar (vease [Bi]):
(ax + by + r; cx + dy + s; 1) si el punto es ordinario (x; y; 1);
y
(a + b : c + d; 0) para un punto al innito ( : ; 0):
134
E. Cuadrilatero de Saccheri
El cuadrilatero de la Figura E1 tiene angulos rectos en A y en B; y AD = BC ;
entonces los triangulos DAB y CBA; son congruentes por la Proposicion 4
[Eu], usada ya en el Apendice A. Por tanto, los angulos y son iguales,
Figura 6.10: Un cuadrilatero de Saccheri tiene iguales los angulos superiores.

Pero entonces los triangulos DAC y CBD tambien son congruentes por
tener tres lados iguales, segun la Proposicion 8 [Eu]:
Proposicion 8. Si dos triangulos tienen los dos lados iguales a los dos lados,
y tambien tienen iguales las bases, entonces tendran iguales los angulos.
Por tanto, tambien 0 = 0 : Entonces, los angulos en C; + 0 ; y en D;

+ 0 ; de un cuadrilatro de Saccheri son iguales.
F. Finitud de las rectas si es valida N1

En la recta L marcamos puntos A1 ; A2 ;...,An ;... tales que todos los segmentos Ai Ai+1 sean congruentes, y construimos triangulos tambien congruentes
Ai Ai+1 Bi (vease la Figura F1).
Entonces los triangulos Bi 1 Ai Bi resultan congruentes, porque tienen
dos lados iguales e igual el angulo comprendido, pues en todos los casos,
135
+ 6 Bi Ai+1 Bi+1 + = 180 por formar un angulo llano. Denotaremos

6 Bi Ai 1 Bi+1 = :
B1
B2
B3
B4

A1
A2
Bn 1
Bn
A3
...
A4
...
A5
...

An 1

An
...
An+1
Figura 6.11: Si + + > 180 ; no es valido el Postulado de Arqumedes.

Bajo la hipotesis de que no existe paralela alguna por un punto exterior a
una recta, la suma de los angulos de un triangulo es mayor que 180 (vease
[Bon]); por tanto,
+ + > 180;
y, en vista de la igualdad anterior, < : Entonces, por la Proposicion 18 [Eu]:
Proposicion 18. En cualquier triangulo, el angulo mayor subtiende al lado
mayor,
resulta el segmento A1 A2 mayor que el segmento B1 B2 : Si aplicamos reiteradamente la Proposicion 20 [Eu]:

Proposicion 20. En cualquier triangulo, dos de los lados (su suma) exceden
al tercero,
es claro que la lnea quebrada A1 B1 :::Bn+1 An+1 tiene longitud mayor que la
del segmento A1 An+1 ; es decir,
A1 B1 + n(B1 B2 ) + An+1 Bn+1 > n(A1 A2 );

y, en consecuencia,
136
2A1 B1 > n(A1 A2
B1 B2 ):
Pero como n puede ser cualquier numero natural, resulta que no es valido el
Postulado Arquimedeano, asumido implcitamente por Euclides, y que equivale
a la innitud de la longitud de una recta:
Postulado Arquimedeano. Para cualesquiera dos longitudes a y b, existe
siempre un numero natural n tal que a < nb.
G. Ecuacion de las geodesicas

Una recta del plano euclidiano tiene no solo la propiedad de que el segmento
entre dos de sus puntos es la trayectoria de longitud mnima entre los puntos,
sino que tambien satisface que al ser recorrida con rapidez constante, tiene
aceleracion cero: el vector velocidad conserva tambien su direccion, que es la
de la recta.
Para una curva C dibujada en una supercie del espacio euclidiano tridimensional y recorrida con rapidez constante 1 (vease la Figura G1), el vector
velocidad pertenece siempre al plano tangente, pero si la supercie no es un
plano, el plano tangente no es constante (vease la Figura G1, que ilustra un
paralelo y un crculo maximo de una esfera).
Si el vector aceleracion de la curva C es perpendicular al plano tangente a
la supercie en el punto, su proyeccion en el plano tangente es nula y para un
ente bidimensional viviendo en la supercie, la curva tiene la misma propiedad
que una recta del plano: la componente tangencial de su aceleracion es cero.
En la esfera, un crculo maximo s es una geodesica, pero un paralelo no
lo es, porque un calculo simple (vese [DoC1]), muestra que para cualquier
circunferencia el vector aceleracion tiene la misma direccion del radio de la
circunferencia, y dicha direccion coincide con la del radio de la esfera solo en
el caso de un crculo maximo.
Entonces, la condicion para que una curva sea geodesica de una supercie es que
la componente tangencial de su aceleracion sea cero.
(*)
137
p(a)
N^
a
a
N^
Figura 6.12: En una esfera, los paralelos no son geodesicas.

El hecho de que la curva C este inscrita en una supercie permite expresar
los puntos de la curva no con tres coordenadas, sino unicamente con dos:
(u(t); v (t)), donde las funciones u y v satisfacen la condicion que caracteriza a
la supercie. Y para que la curva sea geodesica de esa supercie, las derivadas
primera y segunda u0 ; u00 y v 0 ; v 00 de las funciones u(t) y v (t); respectivamente,
deben satisfacer
u00 +
v 00 +
1 (u0 )2 + 2
11
2 (u0 )2 + 2
11
1 u0 v 0 +
12
2 u0v 0 +
12
1 (v 0 )2 = 0;
22
2 (v 0 )2 = 0;
22
que son las ecuaciones (diferenciales) de las geodesicas. Los smbolos

i ; llamados s
mbolos de Christoel, se calculan de forma sencilla cuando
jk
se tiene la parametrizacion de la supercie en terminos de u y v (vease [DoC1]).
H. Teorema de Gauss
Como los puntos de una parte peque~na de una supercie estan dados por dos
coordenadas (u; v ); la curvatura gaussiana en un punto es funcion de esas dos
138
coordenadas, K (u; v ); y por eso tiene sentido integrarla doblemente, respecto
a u y a v:
La demostracion de la formula dada en el Teorema de Gauss para la integral de la curvatura en los puntos del interior de un triangulo acotado por
geodesicas,
Z Z
K (u; v )du dv = + + 180

escapa al proposito de este libro (puede consultarse en [DoC1]), pero queremos
dar una idea de por que se da la igualdad entre ambos miembros, de contenidos
aparentemente tan distintos.
Para empezar, interviene una generalizacion del Teorema Fundamental del
Calculo conocida como Teorema de Green. Este importantsimo teorema
permite reducir (para funciones de cierto tipo) la integral sobre una region
(como el interior del triangulo), a la integral sobre la frontera de la region (los
lados del triangulo), de otra funcion.
En el caso de un triangulo geodesico, la curvatura gaussiana K (u; v ) es la
primera funcion, y mediante un calculo puede demostrarse que la otra funcion
resulta ser la derivada del angulo que forma la tangente a la frontera (los lados
del triangulo) con las curvas parametrizadas v = cte. Por eso la integral, a
lo largo de la frontera, de la derivada de dicho angulo puede entenderse como
la variacion total de dicho angulo cuando la tangente recorre toda la frontera
(vease la Figura H1).
T
Figura 6.13: Variacion de la tangente a la frontera de un triangulo geodesico.

Si la frontera es suave, como una circunferencia o una elipse, la variacion
139
total de angulo es 2; esto es, 360 pues regresa a su posicion original sin
brincos. Pero en el caso de un triangulo, a 2 hay que descontarle los brincos,
es decir, los angulos exteriores del triangulo, que son ; y :
Entonces la variacion total es el numero dado por la formula de Gauss:
2
(3
) = + +
:
I. Transformaciones proyectivas
Las transformaciones del plano proyectivo en s mismo corresponden a transformaciones lineales del espacio cartesiano tridimensional en s mismo, pues
mandar puntos proyectivos en puntos proyectivos, equivale a mandar rectas
euclidianas por el origen en otras del mismo tipo, y como una recta proyectiva
debe ir en otra recta proyectiva, eso implica que los planos euclidianos por el
origen van en otros del mismo tipo.
Para que al componer dos de estas transformaciones resulte un grupo, pedimos ademas que puntos distintos vayan en puntos distintos.
Cada una de estas transformaciones tiene asociada una familia de matrices
del tipo (vease [Bi])
0
a
B
@d
b c
e fC
A
h i j
donde el numero = aej + cdi + bfh ceh afi bdj; llamado el determinante de la matriz, es distinto de cero. Los elementos de la familia tienen la
caracterstica de que las entradas correspondientes en dos elementos distintos
dieren solo en un mismo multiplo, por ejemplo, a0 = a; b0 = b; etc.
Las transformaciones proyectivas se aplican sobre los puntos proyectivos
escribiendo alguna de las tercias (x : y : z ) que representa un punto, como
columna a la derecha para obtener (la regla es tomar cada uno de los renglones
de la matriz, multiplicar sus entradas por las coordenadas correspondientes del
punto, y sumar):
140
0
a
Bd
@
10 1
b c
x
ax + by + cz
B y C = B dx + ey + fz C :
e fC
A@ A @
A
h i j
z
hx + iy + jz
La composicion de transformaciones proyectivas corresponde a la multiplicacion de las matrices respectivas, y es claro que si en lugar de una matriz
representante de la transformacion se toma otra, al aplicarla al mismo punto
el resultado solo diere en el representante del punto proyectivo transformado.
La comparacion con las matrices correspondientes a transformaciones
anes, muestra enseguida que las transformaciones proyectivas generalizan a
las anes, as como las anes generalizan a las rgidas.
J. No hay triangulos elpticos

semejantes no congruentes
Si los angulos de un triangulo son ; y ; tomemos dos crculos maximos C1
y C2 que se corten con un angulo en A:
P2
P1
A

r2
C2
C1
r3
r2
r1
r3
r1
Figura 6.14: Los angulos de un triangulo elptico determinan el triangulo.

En la Figura J.1 (a), si r1 es el radio perpendicular al plano P1 que determina al primer crculo maximo, y r2 es el radio perpendicular al plano P2 que
determina al segundo, el angulo entre esos radios debe ser igual al angulo
141
entre las tangentes t1 y t2 a los crculos maximos en el vertice A; porque r1 es
perpendicular a t2 y r2 es perpendicular a t1 :
Un razonamiento analogo muestra que si r3 es el radio perpendicular a un
plano P3 que forme un angulo con el plano P2 y un angulo con el plano
P1 ; el angulo entre los radios r3 y r2 debe ser y el angulo entre los radios r1
y r3 debe ser :
Entonces, el radio r3 debe pertenecer tanto al cono C1 con eje en la direccion
de r1 y como angulo entre el eje y una generatriz, como al cono C2 con eje
en la direccion de r2 y como angulo entre el eje y una generatriz (vease la
Figura J.1 (b)).
La interseccion de dos conos con el vertice comun, ejes distintos y la condicion de que + + > 180 ; es un par de generatrices, r3 y r30 ; simetricas
respecto del plano determinado por los dos ejes. Los planos perpendiculares a
estas generatrices determinan dos crculos maximos que dan triangulos esfericos congruentes y simetricos uno del otro.
K. Geometra de los numeros complejos

Un numero complejo, denotado generalmente por z; es una suma formal
z = a + bi; donde a; b son numeros reales e i2 = 1; es decir, i es el numero
imaginario que resuelve la ecuacion x2 + 1 = 0:
El numero a es la parte real y el numero b es la parte imaginaria.
La suma y el producto de dos numeros complejos se realizan de acuerdo a
las reglas siguientes (las sumas y productos en los parentesis de la derecha son
la suma y el producto de numeros reales):
z1 + z2 = (a + bi) + (c + di) = (a + c) + (b + d)i;

z1 z2 = (a + bi)(c + di) = (ac bd) + (ad + bc)i;
()
y son validas la asociatividad y la conmutatividad de ambas operaciones, as
como la distributividad del producto sobre la suma (vease [Bi]).
Precisamente por tratarse de una suma formal, un numero complejo z =
a + bi puede representarse como un punto (a; b) de un plano cartesiano, si el
eje vertical se toma para ubicar los imaginarios puros mientras que los reales
puros quedan en el eje horizontal.
142
Imaginarios
z = a + bi
bi
i

1
Reales
Figura 6.15: Forma trigonometrica de un numero complejo.

Entonces, cada numero complejo tiene bien denido su modulo, la distancia de (a; b) al origen (que corresponde al cero), y su argumento, el angulo
que forma el vector (a; b) con el eje real (vease la Figura K1). Entonces es
claro que
a = cos ;
b = sen;
y por eso hay una forma trigonometrica de escribir cada numero complejo:
z = (cos + i sen):
Es inmediato comprobar que la suma de dos numeros complejos puede
visualizarse como la suma de los vectores correspondientes, y si a cada numero
complejo z le sumamos un numero complejo jo z0 ; el efecto es el de una
traslacion en el plano complejo.
Para el producto la lectura es mucho mas interesante, porque las formulas
trigonometricas para el coseno y el seno de la suma de dos angulos permiten
comprobar que el producto z1 z2 toma la forma
z1 z2 = 1 2 (cos(1 + 2 ) + i sen(1 + 2 )) ;
que dice lo siguiente:
el modulo del producto de dos numeros complejos, es el producto de los modulos, y el argumento del producto es la suma de los argumentos.
143
Un caso muy interesante resulta cuando multiplicamos cada numero complejo z por otro jo, w = (cos + i sen) : el modulo de cada numero
complejo se alarga o encoge segun el numero real positivo jo (a eso se le
llama una homotecia), y al argumento se le suma el angulo jo ; que
equivale a rotar z un angulo .
Es decir, la multiplicacion por un numero complejo jo equivale a una
homotecia seguida de una rotacion en el plano complejo.
Como ejemplo particularmente interesante esta la multiplicacion por i; que
equivale a una rotacion por 90 :
Finalmente, el conjugado z del numero complejo z = x + iy; es el numero
complejo x iy; re ejado de z respecto al eje real. Es inmediato comprobar
que
z z = x2 + y 2 ;
x = (1=2)(z + z);
y = (1=2i)(z z):
La conjugacion tiene muchas propiedades importantes (vease [Bi]).
L. Transformaciones de Mobius
Como las transformaciones de Mobius tienen la forma
az + b
;
cz + d
donde a; b; c; d son numeros complejos y ad bc 6= 0; el Apendice K muestra
que tiene las siguientes como caso particular:
T (z ) =
- las traslaciones, si T (z ) = z + b;
- las rotaciones si T (z ) = az y el modulo de a es 1;
- las homotecias cuando T (z ) = az y a es real;
- la inversion en la circunferencia unitaria seguida de una re exion en el eje
real, cuando T (z ) = 1=z; porque si 1=z = w;
resulta z w = 1 (vease el Captulo
5 y [Ev]). Notese que esta transformacion aplica 0 en 1; lo cual tiene sentido
144
porque en los numeros complejos hay un unico punto al innito, puesto que la
multiplicacion por un complejo adecuado permite cambiar la direccion (vease
x4.3).
Todas esas transformaciones mandan \circunferencias"en \circunferencias",
si por \circunferencia"entendemos tambien las de radio innito, las rectas euclidianas.
Para traslaciones, rotaciones y homotecias eso es evidente, y para la transformacion T (z ) = 1=z; basta observar que la ecuacion de una \circunferencia",
A(x2 + y 2) + Dx + Ey + F = 0; donde A; D; E y F son numeros reales, puede
escribirse como
Az z + D(z + z) + (E=2i)(z
()
z) + F = 0
con solo sustituir x = 1=2(z + z); y = (1=2i)(z z):

Si llamamos al transformado de z bajo T (z ) = 1=z; al despejar z de =
1=z y sustituirlo en (), despues de efectuar las operaciones y multiplicar por
el denominador (que podemos suponer no cero), resulta una ecuacion analoga
a (),
A + D( + ) + (E=2i)( ) + F = 0;

que es otra \circunferencia".
Una transformacion de Mobius es composicion de transformaciones de los
tipos anteriores, como lo exhibe el miembro derecho de la igualdad siguiente
(la comprobacion de la igualdad es muy sencilla):
az + b
bc ad
a
= 2
+ ;
cz + d c (z + d=c) c
cuando lo leemos as:
d
z 7! z +
c
7 c2
!
d
z+
c
7!
c2
1
z + dc
7! 2bc add !
7 2bc add + ac :
c z+c
c z+c
En el Captulo 5 se utiliza el efecto geometrico que las transformaciones de

Mobius tienen sobre las familias de circunferencias.
145
M. Conjunto de Cantor
Cuando hablamos de Conjuntos Lmites en el Captulo 5, mencionamos el
conjunto que aparece en la Figura 3, proveniente del grupo F0 . En este apendice
hablaremos un poco mas detalladamente de este conjunto, que recibe el nombre
de Conjunto de Cantor.
Se construye por pasos y, como lo hicimos en el Captulo 5, es el resultado
de un proceso al lmite.
Construiremos el modelo tpico del Conjunto de Cantor.
1o. Se considera el intervalo cerrado [0,1], se divide en tres partes y se le
extrae el intervalo formado por los puntos x tales que 1=3 < x < 2=3, el tercio
central. De esta forma se obtienen dos intervalos que denotaremos por I y D
(I de izquierda y D de derecha).
2o. A cada uno de los intervalos I y D se les divide en tres partes y se les
extrae el intervalo central, que son los puntos x de la forma 1=9 < x < 2=9 y
7=9 < x < 8=9. De esta manera se obtienen 4 intervalos.
3o. Se continua este proceso (innito numero de veces) en cada uno de los
intervalos que quedan. El conjunto resultante es el Conjunto de Cantor.
De esta construccion se ineren los resultados siguientes que no demostraremos:
i) La longitud de los intervalos que extraemos es cada vez mas peque~na y
tiende a cero.
ii) Los puntos de los extremos de los intervalos que se quedan
en cada etapa, forman el Conjunto de Cantor y son los puntos
0; 1=3; 2=3; 3=3; 1=9; 2=9; 7=9; 8=9; 1=27; 2=27; 7=27; 8=27, etc.
iii) Cada punto del Conjunto de Cantor es un punto de acumulacion, como
se hablo en el Captulo I, al hablar de las marcas de una regla y la completez de
una recta. Y quiere decir que para cualquier punto en el Conjunto de Cantor
existe una secuencia de puntos (del mismo conjunto) que se acercan tanto como
se quiera a dicho punto, por lo que aunque hay puntos que estan alejados unos
146
de otros, como el 1=3 y el 2=3; sin embargo no estan aislados en el conjunto.
As que lo interesante del Conjunto de Cantor es que ningun punto esta
aislado y sin embargo tampoco es como la recta.
Otros Conjuntos de Cantor se pueden construir tomando intervalos arbitrarios y extrayendo cualquier numero de intervalos, en un proceso innito
como el que hicimos. Igualmente en lugar de intervalos en la recta, se pueden
tomar discos en el plano y dentro de ellos otros discos mas peque~nos y as
sucesivamente, cuidando que los radios de dichos discos tiendan a cero. En el
lmite se dene tambien un Conjunto de Cantor.
Las propiedades (i), (ii) y (iii), se satisfacen para cualquier Conjunto de
Cantor.
Bibliografa
[Al] Alberti, L.B. De la Pintura, Mathema, UNAM, 1966. (Ed. R. Martnez.)
[Ar] Arnold, V.I. Mathematical Methods of Classical Mechanics, Graduate
Texts in Mathematics 60, Springer-Verlag, 1989.
[Ba] Barnsley, M. Fractals Everywhere, Academic Press, 1988.
[B-B-R] Berlanga, R., Bosch, C., Rivaud, J.J. Las matematicas, perejil de todas
las salsas, La Ciencia para todos 163, FCE, 1999.
[Bi] Birkho & MacLane A Survey of Modern Algebra, MacMillan, 1963.
[Bon] Bonola, R. Non-Euclidean Geometry, Dover, 1955.

[Bow] Bowra, C.M. La Grecia Clasica, Las Grandes Epocas
de la Humanidad,
Time-Life, 1967.
[Br] Bracho, J. >En que espacio vivimos?, La Ciencia desde Mexico 77, FCE,
1989.
[C-W] Cornish, N. & Weeks, J. Measuring the Shape of the Universe, Notices
of the AMS, Vol 45, 11, 1998.
[Ce] Cederberg, J. A Course in Modern Geometries, Springer-Verlag, 1989.
[Co] Coxeter, H.S.M. Fundamentos de Geometra, Limusa, 1971.
[D-S-S] Dubrovski, Smorodinski, Surkov. El mundo relativista, MIR, Fsica al
Alcance de Todos, 1987.
147
148
[Des] Descartes, R. El Discurso del Metodo, Coleccion Austral 6, Espasa-Calpe,
1940.
[Dev] Devaney, R. An Introduction to Chaotic Dynamical Systems, AddisonWesley, 1989.
[DoC1] Do Carmo, M.P. Geometra Diferencial de Curvas y Supercies,
Vnculos Matematicos 183, 185, 193, 194, 197, FC, UNAM. 1991. (Trad.
O. Palmas.)
[DoC2] Do Carmo, M.P. Riemannian Geometry, Birkhauser, 1992.
[Du1] Durero, A. Instituciones de Geometra, Fuentes 3, IIB, UNAM, 1987.
[Du2] Durero, A. Los Cuatro Libros de la Simetra de las Partes del Cuerpo
Humano, Fuentes 6, IIB, UNAM, 1987.
[DV] Da Vinci, L. Tratado de la Pintura, Coleccion Austral 70, Espasa Calpe,
1964.
[Er] Ernst, B. El Espejo Magico de M.C. Escher, Taschen, 1992.
[Eu] Euclides. Euclid's Elements, Dover, 1979.
[Ev] Eves, H. Estudio de las Geometras, UTEHA, 1969.
[G] Graustein, W. Introduction to Higher Geometry, The Macmillan Co, 1949.
[G-P] Gallo, D., Porter, M. Conferencias del Taller de Grupos Kleinianos, IV
Coloquio del Departamento de Matematicas, CINVESTAV, IPN, 1986.
[Gl] Gleick, J. Chaos, making a new science, Penguin Books, 1988.
[H] Hilbert, D. Foundations on Geometry, Open Court Publishing Co., 1962.
[H-CV] Hilbert & Cohn Vossen. Geometry and the Imagination, Chelsea
Publishing Co., 1968.
[Ka] Kant, I. Crtica de la Razon Pura, Bilioteca Filosoca, Losada, 1957.
149
[Kl] Kline, M. Mathematical Thought from Ancient to Modern Times, Oxford
University Press, 1990.
[Ma] Markushevich, A. Teora de las Funciones Analticas, MIR, 1987.
[Mi] Milnor, J. Hyperbolic Geometry: The rst 150 years, Bull. Amer. Math.
Soc., Vol. 6, No. 1, 1982.

[Pe] Pe~na, J.A. de la. Algebra
en todas partes, La Ciencia para todos 166,
FCE, 1999.
[Po] Poincare, H. Filosofa de la Ciencia, Nuestros Clasicos 32, U.N.A.M.,

1988.
[P-J-S] Pitgen, Jurgens, Saupe. Fractals for the classroom, Springer-Verlag,
1991.
[Ra] Ramrez, A.I. Geometra Analtica: Una Introduccion a la Geometra, Las
Prensas de Ciencias, UNAM, 1998.
[Re] Rees, E. Notes on Geometry, Universitexts, Springer-Verlag, 1983.
[Se] Selva, J. Artes Aplicadas de la Edad Antigua, Speculum Artis, Ramon
Sopena, 1957.
[Si] Singh, S. Fermat's Enigma, Anchor Books, 1999.
[Sp] Spivak, M. A Comprehensive Introduction to Dierential Geometry,
Publish or Perish, 1970.
[SV] Los Celtas, Saber Ver (lo contemporaneo del arte), 24, 1995.
[T] Thurston, W. Three Dimensional Geometry and Topology, Vol. 1,
Princeton Mathematical Series 35, 1997.
[Va] Vasari, G. Vidas de los mas Excelentes Pintores, Escultores y Arquitectos,
Nuestros Clasicos 74, UNAM, 1996.
[Ve] Verjovsky, A. Introduccion a la Geometra y las Variedades Hiperbolicas,
150
Departamento de Matematicas, CINVESTAV, IPN, 1982.
[W] Wolfe, H.E. Introduction to Non-Euclidean Geometry, Holt, Reinhert and
Winston, 1945.
[Y] Yaglom, I. Felix Klein and Sophus Lie, evolution of the idea of symmetry
in the nineteenth century, Birkhauser, 1988.
Indice de Materias
A
Banda de Mobius, 52
Bartels, J., 71
Barrow, I., 61
Beltrami, E., 74
Bernoulli, J., 46
Bolyai, F., 64
Bolyai, J., 66, 70
Bolzano, B., 19
Brunelleschi, F., 23
armonico, 35
conjunto
armonico, 35
de Cantor, 140
de Julia, 117
discreto, 18
fractal, 109
lmite, 103
denso, 18
constante (hiperbolica), 64, 90
coordenadas
cartesianas, 38
cuadrilatero
de Lambert, 42
de Saccheri, 42, 130
curva elptica, 98
curvatura
de una curva, 47
de una supercie, 47
Chasles, M., 55
circunferencia hiperbolica, 68
crculo
de inversion, 101
maximo, 17
Clebsh, A., 107
Cliord, W., 120
conjugado139
Dedekind, R., 19
Descartes, R., 32
defecto de un polgono, 63
Desargues, G., 31
determinante, 136
dual, 35
Durero, A., 24
ecuacion de las geodesicas, 134
Acotada, curva, 31
Alberti, L.B., 24
Alembert, J.d', 41
angulo de paralelismo, 70, 91
Apolonio, 31
axioma
de Pasch, 123
de Playfair, 13, 121
151
152
Einstein, A., 74
Escher, M.C., 52, 81
esfera de Riemann, 80
Euclides, 9
Euler, L., 29
Fatou, P., 113

Fermat, P., 32
Francesca, P., 24
Galois, E., 78
Gauss, K. F., 39, 48, 66-70
generatriz de un cono, 50
geodesicas, 16, 17, 46
geometra
afn, 30
astral, 64
doblemente elptica, 52
diferencial, 45
imaginaria, 76
no euclidiana, 66
proyectiva, 33
Germaine, S., 67
Giotto (di B.), 25
grupo20
generado, 96
fuchsiano, 110
kleiniano, 110
Haz de paralelas, 71
Helmholtz, H., 17
Hilbert, D., 10
hiperboloide de dos mantos, 77
hipotesis
del angulo agudo, 43
del angulo obtuso, 43

del angulo recta, 43
homotecia, 139
horociclo, 70
horoesfera, 72, 92
Hume, D., 61
incidencia, 29
isometra, 95
invariancia7
bajo re exion en un plano, 7
bajo re exion en un punto, 7
bajo rotacion, 7
bajo traslacion, 7
inversion, 101
Julia, G., 113
Kant, E., 61
Kastner, A.G., 63
Kepler, J., 32
Klein, F., 18
Klugel, G., 44, 63
Lambert, J.H., 44
Leibnitz, G.W., 61
ley de los senos, 128
lnea del horizonte, 28
Lobachevski, N., 66, 71
longitud hiperbolica, 80
metodo de superposicion, 19
Minding, F., 74
153
Mobius, F.A., 52
modelo(s)
del semiplano superior, 81
de Beltrami-Klein, 76
de Poincare, 77
Monge, G., 55
Nasir-Eddi, 41
numero
complejo, 138
argumento de un, 138
forma trigonometrica, 138
modulo de un, 138
imaginario, 39
irracional, 18
Pascal, B., 37
paralela(s),
asintotica, 70
euclidianas, 12
pendiente, 31
Pirandello, L., 1
plano
cartesiano, 38
doblemente elptic, 50
elptico, 56
proyectivo, 33, 36, 50, 51
Playfair, J., 13
Poincare, H., 77
Poncelet, J.V., 55
postulados11
completez de un sistema de, 11
consistencia de un sistema de,
11
de Euclides, 11
equivalencia de, 13
Proclo, 41
proyeccion estereograca, 80
proyectividad, 33
Ptolomeo, C, 41
punto(s)
al innito, 30, 76
antpoda, 52
de acumulacion, 18
de fuga, 28
correspondientes, 68
proyectivo, 50
razon doble, 34, 128

recta(s),
al innito, 30
completa, 18, 19
equidistantes, 15, 125
hiperbolica, 76
proyectiva, 51
reduccion al absurdo, demostracion

por, 41
Riemann, F.B., 17, 54, 73
Saccheri, G., 42
Schweikart, F.K., 64
Segre, B., 44
semejanza, 15
semiespacio superior, 92
smbolos de Christoel, 134
simetra6
bilateral, 7
central, 7
Sullivan, D, 117
154
supercie de Riemann, 107
Tamayo, R., 26
Taurinus, F.A., 64
teorema
de Fermat, 120
de Gauss, 49, 86
de Green, 135,
fundamental del algebra, 67
Thurston, W., 85, 117
transformacion(es)
afn, 29, 129
composicion de, 20
de Mobius, 78, 140
lineal no singular, 129
proyectiva, 51, 135
rgida, 20, 126
tractriz, 75
trada mayor, 35
triangulo elptico, 56
seudoesfera, 75
Ucello, P., 23
ultraparalela, 62, 86
variedad73
riemanniana, 74
Vinci, L., 24
Wachter, F.L., 63
Wallis, J., 41
Weierstrass, K., 107
Wiles, A., 67, 120

Invitacion ALas Geometrias No Euclidianas

Diunggah oleh

Informasi Dokumen

Judul Asli

Hak Cipta

Format Tersedia

Bagikan dokumen Ini

Bagikan atau Tanam Dokumen

Opsi Berbagi

Apakah menurut Anda dokumen ini bermanfaat?

Apakah konten ini tidak pantas?

Hak Cipta:

Format Tersedia

Invitacion ALas Geometrias No Euclidianas

Diunggah oleh

Hak Cipta:

Format Tersedia

INVITACIO N A LAS GEOMETRIAS NO

2 Pintores, ingenieros, losofos

2.1 Reglas basicas de la perspectiva . . . . . . . . . . . . . . . . . . 25

3.1 La contradiccion que no llego

La lucha contra los beocios . . . . .

5.1 Grupos de inversiones . . . . .

Seis personajes en busca de autor

Este libro fue nanciado por el Programa de Apoyos Institucionales para el

1 Euclides, los Elementos y el

El camino que debio recorrer la Geometra para adquirir un caracter propio,

Figura 1.1: Cuadrilateros con lados congruentes y areas distintas.

Los objetos esquematicos de la Figura 3 ejempli can los distintos tipos de

1.2 Los Cinco Postulados

I (Es posible) trazar una recta de un punto a otro punto.

Figura 1.5: Como + < 180 ; las rectas L y M se cortan a la derecha.

1. Euclides hace enfasis en la posibilidad de efectuar ciertas construcciones.

Eso se explica porque la Geometra siempre ha estado acompa~nada de guras

2. El lector estara de acuerdo en que el Postulado V tiene una forma bastante

1.3 Equivalencias del Postulado V

Figura 1.6: La unica paralela a L por P es M; la perpendicular a H por P:

N1. No existe paralela alguna por un punto P exterior a una recta L.

2o. Suma de los angulos de un triangulo euclidiano. La suma de los

En la Figura 7 y en el resto del libro, denotaremos a los vertices de un

3o. Existencia de triangulos semejantes no congruentes. Es posible

construir un triangulo con los mismos angulos y lados distintos a los de un

4o. Existencia de rectas equidistantes. Es posible encontrar dos rectas L

Figura 1.9: Las paralelas son rectas equidistantes.

1.4 Algunas omisiones en los Elementos

Ya hemos mencionado la importancia de la intuicion geometrica, haciendola

nadie respondera: \un segmento de recta", porque ni en la super cie de la

Figura 1.10: Geodesicas de la esfera y de la seudoesfera.

1.5 Las transformaciones permitidas

Figura 1.11: Si a = a0 ; b = b0 y = 0 ; los triangulos son congruentes.

Geometra es el estudio de los invariantes bajo un grupo de transformaciones.

Figura 1.12: La inversa de una traslacion es otra traslacion, y la inversa de

Figura 1.13: Para superponer el ABC al A0 B 0 C 0 ; primero trasladamos

Pintores, ingenieros, losofos

La aportacion de los artistas a la Geometra, tanto en el Renacimiento como

Antes de mencionar las reglas basicas del dibujo en perspectiva, queremos

La perspectiva se ense~na en las escuelas europeas de pintura desde el

2.1 Reglas basicas de la perspectiva

Figura 2.2: Dos ilustraciones de una caja. >Cual es la mas el?

Figura 2.3: Giotto (1267-1337) Expulsion de los diablos de Arezzo (detalle).

Figura 2.4: Vincent van Gogh (1853-90) El cafe de noche.

2. Para rectas de un mismo plano, todos los puntos de fuga se ubican en la

2.2 Del arte a las matematicas

Figura 2.8: La razon doble de cuatro puntos colineales es invariante bajo

El teorema tiene la propiedad de que su recproco coincide con su dual,

Figura 2.9: Teorema de Desargues: Como AA0 , BB 0 y CC 0 concurren en O,

2.3 Los losofos

Figura 2.10: Para un hexagono inscrito en una conica, las intersecciones de

la cuarta debe haber contribuido a reforzar la idea de que la unica geometra

Lo anterior solo muestra la suspicacia que tanto fracaso haba generado. Y

3.1 La contradiccion que no llego

Figura 3.1: (a) Cuadrilatero de Saccheri; (b) Cuadrilatero de Lambert.

Figura 3.2: En un cuadrilatero, los angulos interiores suman (4 2)180 :

3.2 Algunas consideraciones

Figura 3.4: Geodesicas de un cilindro.

Figura 3.8: Triangulos geodesicos: (a) en la esfera; (b) en el cilindro.

3.3 El Plano Proyectivo

Figura 3.9: Las coordenadas de puntos de la misma generatriz, di eren por un

Figura 3.11: En nuestro espacio, es imposible construir correctamente el plano

Figura 3.12: El plano proyectivo contiene una Banda de Mobius.

INVITACIO N A LAS GEOMETRIAS NO

2 Pintores, ingenieros, losofos

2.1 Reglas basicas de la perspectiva . . . . . . . . . . . . . . . . . . 25

3.1 La contradiccion que no llego

El camino que debio recorrer la Geometra para adquirir un caracter propio,

Figura 1.1: Cuadrilateros con lados congruentes y areas distintas.

Los objetos esquematicos de la Figura 3 ejemplican los distintos tipos de

1. Euclides hace enfasis en la posibilidad de efectuar ciertas construcciones.

Eso se explica porque la Geometra siempre ha estado acompa~nada de guras

2. El lector estara de acuerdo en que el Postulado V tiene una forma bastante

Figura 1.6: La unica paralela a L por P es M; la perpendicular a H por P:

2o. Suma de los angulos de un triangulo euclidiano. La suma de los

En la Figura 7 y en el resto del libro, denotaremos a los vertices de un

3o. Existencia de triangulos semejantes no congruentes. Es posible

construir un triangulo con los mismos angulos y lados distintos a los de un

Ya hemos mencionado la importancia de la intuicion geometrica, haciendola

nadie respondera: \un segmento de recta", porque ni en la supercie de la

Figura 1.10: Geodesicas de la esfera y de la seudoesfera.

Figura 1.11: Si a = a0 ; b = b0 y = 0 ; los triangulos son congruentes.

Geometra es el estudio de los invariantes bajo un grupo de transformaciones.

Figura 1.12: La inversa de una traslacion es otra traslacion, y la inversa de

Pintores, ingenieros, losofos

La aportacion de los artistas a la Geometra, tanto en el Renacimiento como

Antes de mencionar las reglas basicas del dibujo en perspectiva, queremos

2.1 Reglas basicas de la perspectiva

Figura 2.2: Dos ilustraciones de una caja. >Cual es la mas el?

Figura 2.3: Giotto (1267-1337) Expulsion de los diablos de Arezzo (detalle).

Figura 2.4: Vincent van Gogh (1853-90) El cafe de noche.

2.2 Del arte a las matematicas

Figura 2.8: La razon doble de cuatro puntos colineales es invariante bajo

El teorema tiene la propiedad de que su recproco coincide con su dual,

2.3 Los losofos

Figura 2.10: Para un hexagono inscrito en una conica, las intersecciones de

la cuarta debe haber contribuido a reforzar la idea de que la unica geometra

Lo anterior solo muestra la suspicacia que tanto fracaso haba generado. Y

3.1 La contradiccion que no llego

Figura 3.1: (a) Cuadrilatero de Saccheri; (b) Cuadrilatero de Lambert.

Figura 3.2: En un cuadrilatero, los angulos interiores suman (4 2)180 :

Figura 3.4: Geodesicas de un cilindro.

Figura 3.8: Triangulos geodesicos: (a) en la esfera; (b) en el cilindro.

Figura 3.9: Las coordenadas de puntos de la misma generatriz, dieren por un

Figura 3.12: El plano proyectivo contiene una Banda de Mobius.

- Karl Georg Christian von Staudt (1798-1867), demostro que la Geometra

3.4 El Plano Elptico

Figura 3.13: Un triangulo elptico, (a) en la esfera y (b) \desplegado".

1a. No es valido el Axioma de Playfair, porque cualesquiera dos rectas se

cortan en un unico punto, puesto que dos crculos maximos se cortan en

2a. La suma de los angulos interiores de un triangulo excede 180 ; segun el

3a. No hay triangulos semejantes no congruentes, porque si los angulos de un

Figura 3.16: Los angulos de un triangulo elptico determinan el triangulo.

[2] La diferencia de la suma de los angulos interiores de un polgono hiperbolico

[4] La suma de los angulos interiores de un triangulo es menor que 180 ;

Schweikart no publico sus resultados, pero conmino a su sobrino a dedicarse

Ante la negativa de Gauss de hacer publicos sus resultados para asegurar

Y algunos resultados relacionados con esos conceptos, que seran claros

[8] La reciprocidad del paralelismo, esto es, si AM es paralela a BN , tambien

[10] La tercera denicion es la de circunferencia como el lugar geometrico

que coincide con la formula euclidiana usual cuando el valor de k es innito.

[11] El concepto de angulo de paralelismo y la relacion entre la distancia

de un punto a una recta y dicho angulo, que es la clave de la trigonometra

ea=k = tan( (a)=2)

[12] El concepto de circunferencia de radio innito, horociclo, que en este

Figura 4.2: El angulo de paralelismo, (a), depende del punto A de M.

Y el comentario de Gauss al leer el Apendice, no puede ser mas elogioso;

[12] En una esfera de radio innito, horoesfera, es valida la Geometra Euclidiana.

Actualmente es facil atender la recomendacion de Gauss, pues en [Bon]

4.3 Los modelos del Plano Hiperbolico

Figura 4.4: Al rotar la tractriz en torno a su asntota, resulta la seudoesfera.

donde i es el numero complejo cuyo cuadrado es 1, y (a; b; m; n) es la razon

Figura 4.6: Modelo de Beltrami-Klein de la Geometra Hiperbolica.

Los modelos de Poincare

Figura 4.7: Modelo del disco de Poincare para la Geometra Hiperbolica.

Figura 4.9: Proyeccion estereograca.

II Un segmento se puede prolongar a una recta (ya habamos observado que

1a. No es valido el Axioma de Playfair, como lo muestra la Figura 13.

porque si en el modelo del disco colocamos uno de los vertices es el origen

3a. No hay triangulos hiperbolicos no congruentes, porque al igual que en

el caso elptico, un triangulo queda determinado por sus angulos. Como

Figura 4.14: La suma de los angulos interiores de un triangulo hiperbolico es

4a. No hay rectas equidistantes, como es facil constatar en el modelo del