Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
discussions, stats, and author profiles for this publication at: https://www.researchgate.net/publication/31754981
Article
Source: OAI
CITATIONS READS
0 1,341
2 authors, including:
Jose Seade
Universidad Nacional Autnoma de Mxico
111 PUBLICATIONS 702 CITATIONS
SEE PROFILE
All content following this page was uploaded by Jose Seade on 26 August 2015.
1. Geometra Euclidiana 5
1.1. Simetras . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.2. Transformaciones rgidas . . . . . . . . . . . . . . . . . . . . . . 22
1.3. Invariantes bajo transformaciones rgidas . . . . . . . . . . . . . 36
1.4. Cilindros y toros . . . . . . . . . . . . . . . . . . . . . . . . . . 47
1.5. Subgrupos finitos de E(2) y E(3) . . . . . . . . . . . . . . . . . 57
1.6. Frisos y mosaicos . . . . . . . . . . . . . . . . . . . . . . . . . . 71
2. Geometra Afn 89
2.1. La recta al infinito . . . . . . . . . . . . . . . . . . . . . . . . . 91
2.2. Transformaciones afines
y sus invariantes . . . . . . . . . . . . . . . . . . . . . . . . . . 99
5. Ap endices 229
5.1. Funciones diferenciables. . . . . . . . . . . . . . . . . . . . . . . 229
5.2. Relaciones de equivalencia . . . . . . . . . . . . . . . . . . . . . 231
5.3. El grupo simetrico
en cuatro smbolos: S4 . . . . . . . . . . . . . . . . . . . . . . . 232
5.4. Postulados euclidianos . . . . . . . . . . . . . . . . . . . . . . . 236
5.5. Topologa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 237
5.6. Algunos resultados
sobre la circunferencia . . . . . . . . . . . . . . . . . . . . . . . 239
6. Bibliografa 243
Introducci
on
DEDICATORIA
Agradecimientos
GLOSARIO DE SIMBOLOGIA
numeros naturales
numeros enteros
numeros racionales
numeros reales
numeros complejos
n
espacio cartesiano n-dimensional
Sn n-esfera: vectores de norma 1 en n+1
Sn grupo simetrico en n smbolos
Ro rotacion por un angulo en 2 en torno al origen
Re reflexion en la recta por el origen de pendiente tan en 2
E(n) grupo de transformaciones rgidas en n
GL(n, ) grupo lineal de orden n
SL(n, ) grupo lineal especial de orden n
O(n, ) grupo ortogonal en n
SO(n, ) grupo de rotaciones en torno al origen en n
A2 plano afn
A(2) grupo afn
P n( ) espacio proyectivo n-dimensional sobre
P 1( ) espacio proyectivo 1-dimensional sobre
G isometras de
GH + isometras de H +
1
Geometra Euclidiana
5
6
1.1. Simetras
El concepto de simetra es fundamental en Geometra y en la naturaleza
misma: el cuerpo humano es exteriormente simetrico con respecto a un plano, y
esa simetra determino la construccion de objetos que tambien lo son, como los
jarrones con dos asas o los pares de calzado; la simetra de un disco respecto
a su centro da lugar a m ultiples aplicaciones; y un cilindro circular infinito
es simetrico no solo respecto a muchos planos y muchos puntos, sino tambien
respecto a muchas rectas, en particular su eje; en este inciso mostraremos como
justificar estas u
ltimas afirmaciones a partir de la ecuacion del cilindro.
Para precisar que entendemos por cada tipo de simetra, empezaremos por
recordar como determinamos algunas distancias en el espacio tridimensional.
Las formulas las recordamos un poco mas adelante.
PSfrag replacements
Q(x2, y2, z2) P P
H
H Q
Q L
P (x1 , y1, z1)
Definici
on. La distancia de un punto P a otro punto Q es la longitud
del segmento de recta entre los puntos.
Definici
on. La distancia de un punto P a una recta L es la longitud
del segmento perpendicular del punto a la recta.
Definici
on. La distancia de un punto P a un plano es la longitud
del segmento perpendicular del punto al plano.
sen X
1 P
O
X
PSfrag replacements P0
1
(a)
P
/2 P
O O
P0 P0
(b) (c)
P P0
(a)
P
PSfrag replacements
P P0
P0
(b) (c)
P
P0
P
frag replacements
P0
Esto es u
til porque, salvo los casos en que el sistema coordenado esta dado
de antemano, podremos tomar el sistema de forma que el plano, la recta o
el punto respecto al cual nos interesa examinar la simetra, sea uno de esos
elementos coordenados. Y, ademas, la inclusion canonica de 2 en 3 nos
permite utilizar esos criterios en el caso del plano. La Figura 1.5 ilustra las
definiciones siguientes.
PZ
PSfrag replacements PY Z
PXZ P (x, y, z)
O
Y
X
PO
PX PY
PXY
Figura 1.5: Los simetricos de un punto respecto a los planos y ejes coordenados, y
al origen.
|
u v| ||
u|| ||
v||.
donde b, b y kb son los vectores de la base can onica de 3 : (1, 0, 0), (0, 1, 0) y
(0, 0, 1), respectivamente.
Con la norma del producto vectorial podemos calcular el a rea de un pa-
ralelogramo, pues si = 6 ( u, v), es facil demostrar que
||
u v|| = ||
u|| ||
v|| |sen |.
PSfrag replacements u
w
v
[
u, v, w] v w
=u = ||
u|| ||
v w||
cos ,
donde = 6 ( u, v w),
y como v w
es perpendicular a v y w,
el numero
||
u|| cos es la altura orientada de P(
u, v, w)
respecto a la base formada por
el paralelogramo determinado por v y w (vea la Figura 1.6), cuya area es
precisamente || v w||.
PSfrag replacements Z
Q
Q P0
L
P0 u
X
3
Figura 1.7: C
omo calcular la distancia de un punto a una recta en .
P0
1
Figura 1.8: La gr
afica de la funci
on seno es simetrica respecto al origen.
P 0 (x, y) PX (x, y)
Y
A
B E
X
C(d, 0) D(d, 0)
Con esas ecuaciones es inmediato comprobar que los puntos del lado CB
tienen sus simetricos respecto al eje Y en el lado DE, lo cual dejamos al lector.
Y tambien corresponde al lector demostrar que los simetricos de los puntos en
el lado BA se encuentran en el lado EA.
y como x y y aparecen con exponente par y z es libre, es claro que hay simetra
17
respecto al origen, a cada uno de los ejes coordenados y a cada uno de los planos
coordenados, en particular respecto al eje Z, al plano Y Z y al plano XY .
Z
PSfrag replacements
PZ P PY Z
PO Y
X
PXY
Tal vez en un principio el lector no creyera que hubiera otros ejes de simetra
distintos del eje de revolucion, pero la sencillez del criterio para demostrar la
simetra de una figura respecto a un eje coordenado, nos permitio descubrir
que el cilindro tiene infinitos ejes de simetra: cada una de las rectas que cortan
perpendicularmente al eje de revolucion.
esa es una de las ventajas del estudio de la Geometra utilizando algebra:
permite descubrir hechos geometricos que uno no se haba planteado.
las rectas por los centros de caras opuestas y a las rectas por los puntos medios
de aristas opuestas (obtenidas como interseccion de caras distintas), y al punto
en que se cortan todos los planos y ejes de simetra.
D
(a, a, a)
C(a, a, a)
A
(a, a, a)
B(a, a, a)
Y
U T (a, a, a)
(a, a, a)
X
R
(a, a, a) S(a, a, a)
donde 0 2a y 2a 0.
Cuando s = y t = , el segmento P P 0 es perpendicular al plano ART C,
pues P P 0 = (s, s, 0) es paralelo a (1, 1, 0), y las distancias de P a ART C y
20
|a s a| |s| |a a + s| |s|
= ; = ,
2 2 2 2
EJERCICIOS
1. De ejemplos de figuras con un n umero infinito de: centros de simetra;
ejes de simetra; planos de simetra.
2. Demuestre que si una figura en el plano cartesiano es simetrica respecto
a ambos ejes, necesariamente tiene un centro de simetra.
3. Dibuje una curva C en el plano y fije un punto O / C. Complete el dibujo
de suerte que la figura resultante sea simetrica respecto a O. Repita el
ejercicio fijando una recta L.
4. Analice las simetras de todas las conicas, incluidos los casos singulares
(esto es, cuando el plano de corte pasa por el vertice del cono). Analice
tambien las simetras de las cu
adricas.
5. Que caracterstica tiene la ecuaci
on can
onica de una cu
adrica que es
simetrica respecto a un plano coordenado? Y para que sea simetrica
respecto a un eje coordenado? Y respecto al origen?
6. Demuestre que si una figura en el espacio cartesiano es simetrica respecto
a cada uno de los planos coordenados, tambien lo es respecto a los ejes
coordenados y el origen.
7. Cu
antos ejes de simetra tiene un tri
angulo is
osceles? Y uno equil
atero?
8. Determine en un dibujo las proyecciones de P (x, y, z) en cada eje y plano
coordenados, y dibuje el paraleleppedo que determinan.
9. Demuestre la desigualdad de Schwarz a partir de la desigualdad
|| v ||2 0.
u + t
21
10. Justifique la F
ormula (1.2) para calcular la distancia de un punto a una
recta en 2 , y la F
ormula (1.3) para obtener la distancia de un punto a
un plano en 3.
11. Demuestre que el producto vectorial de dos vectores u
, v, es un vector
ortogonal a ambos.
12. Demuestre que tres vectores son coplanares si y s
olo si su triple producto
escalar se anula.
13. Demuestre las identidades siguientes
u v) w
( u w)
= ( v (
v w)
u,
u v) w
( v w)
+ ( u + (wu ) v =
0.
que implica la no asociatividad del producto vectorial.
14. De una f
ormula (y justifquela) para encontrar la distancia entre dos
rectas que se cruzan en el espacio (dos rectas se cruzan si no se cortan
ni son paralelas).
15. Demuestre que la gr afica de la funci
on seno no es simetrica respecto a
ninguno de los ejes coordenados.
16. Complete la demostracion de las simetras de un cono de revoluci
on y
haga un dibujo donde las exhiba todas.
17. Demuestre que en 2 se cumplen los axiomas euclidianos:
I. (Es posible) trazar una recta por cualesquiera dos puntos.
II. (Es posible) prolongar indefinidamente una recta finita 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, a ngulos
interiores que suman menos de dos a ngulos rectos, al prolongar inde-
finidamente las dos rectas, estas se cortan del lado en que los a
ngulos
interiores suman menos de dos a ngulos rectos.
18. Demuestre que el cubo es simetrico respecto a cada una de las rectas que
unen puntos medios de caras opuestas.
19. Note que en cada vertice del cubo concurren tres aristas; use eso pa-
ra convencerse de que las diagonales mayores del cubo no son ejes de
simetra.
20. Demuestre que las diagonales de un rect angulo no cuadrado no son ejes
de simetra. Hay alguna(s) rectas que sea(n) eje(s) de simetra del rec-
t
angulo? Hay alg un centro de simetra?
21. Cu
antos planos de simetra tiene el cubo? Y cu
antos ejes de simetra?
Y cu
antos centros? Justifique su respuesta.
22. Responda las preguntas anteriores en el caso de una esfera, y justifique
sus respuestas.
22
P +
a
a
Q
X
2
Figura 1.13: Traslaci
on en por un vector fijo a
.
(Ta)1 = Ta .
g ? h G para cualesquiera g, h G.
25
(g ? h) ? k = g ? (h ? k) .
e ? g = g ? e = g.
g 1 ? g = g ? g 1 = e.
g1 ? g 2 = g 2 ? g 1 ,
Y
PSfrag replacements
y(0, 1)
P (x, y)
(cos , sen )
X
Ro (P ) x(1, 0)
(sen , cos )
d(Ro (P ), Ro (Q)) = ||Ro (P )Ro (Q)|| = ||Ro (P Q)|| = ||P Q|| = d(P, Q).
Cada rotaci
on tiene una rotacion inversa: Al componer la rotacion por el
angulo con la rotacion por el angulo , resulta la rotacion por el angulo
0, que es el neutro para la composicion de rotaciones, pues si a = cos y
b = sen ,
a b a b a2 + b2 ab + ab 1 0
= = ,
b a b a ba + ab b2 + a2 0 1
(cos 2, sen 2) 2
P0 L
y(0, 1) P
X
x(1, 0)
(sen 2, cos 2)
S 1 = {(x, y) 2
| x2 + y 2 = 1},
que determina el radio que forma el angulo con la parte positiva del eje X. De
los puntos de la circunferencia podemos decir que tan cercanos estan, porque
sabemos medir distancias en S 1. Entonces, en este grupo tambien tenemos una
un, S 1 puede verse como el grupo multiplicativo
estructura geometrica. Mas a
de los n
umeros complejos de norma 1, y la correspondencia con SO(2, ) es
un isomorfismo.
El primero en estudiar este tipo de grupos fue Sophus Lie (1842-99), con-
temporaneo y amigo de Klein, y en su honor se les llama grupos de Lie.
Volveremos a ellos mas tarde, y en el caso de las rotaciones mostraremos la
conveniencia de utilizar coordenadas complejas.
Para una reflexion, pedimos que la base canonica se transforme en una base
ortonormal izquierda:
33
3 3 3
Definicion. Una reflexi on en es una funcion Re : cuyo
efecto sobre un punto P (x, y, z) es
u1 v1 w1 x xu1 + yv1 + zw1
Re(x, y, z) = u2 v2 w2 y = xu2 + yv2 + zw2 ,
u3 v3 w3 z xu3 + yv3 + zw3
donde ub = (u1 , u2, u3), vb = (v1, v2, v3 ), wb = (w1 , w2, w3) forman una base
ortonormal izquierda.
3
Ejemplos de matrices de reflexion en son
1 0 0 1 0 0 1 0 0
0 a b , 0 a b y 0 1 0 .
0 b a 0 b a 0 0 1
ii) U respeta el producto escalar. Para ello bastara desarrollar los dos miem-
bros de la igualdad, garantizada porque U es rgida,
a b||2 = ||U (
|| a) U (b)||2 ,
EJERCICIOS
1. Es {0} grupo respecto al producto?
2. Demuestre que GL(2, ), el conjunto de las matrices de 2 2 con en-
tradas reales y determinante distinto de cero, forman un grupo bajo la
multiplicaci
on llamado grupo general lineal de orden 2. Es conmu-
tativo?
3. Demuestre que el producto de matrices del tipo (1.4) es conmutativo.
4. Demuestre que una reflexi on en el plano respecto a una recta por el
origen, es una transformaci
on rgida.
5. Demuestre que la transformaci on inversa de una reflexi
on en el plano
respecto a L , es la misma reflexi
on.
6. Determine la recta de reflexion para la composici
on de una rotaci
on y una
reflexi
on, y verifique que la recta depende del orden de la composici on.
7. Demuestre que, en el plano, toda rotaci on en torno al origen es compo-
sici
on de dos reflexiones en rectas que pasan por el origen.
8. Demuestre que, en el plano, cualquier traslaci on es composici on de dos
reflexiones en rectas paralelas y perpendiculares a la direcci
on de la tras-
laci
on.
9. Demuestre que las afirmaciones de los dos ejercicios anteriores pueden
generalizarse as: La composicion de dos reflexiones en rectas arbitrarias
es una rotaci on, salvo el caso en que las rectas sean paralelas, donde se
obtiene una traslaci on, entonces tiene sentido afirmar que una traslaci
2
on
es lmite de rotaciones. Puede justificar esto ultimo?
10. Demuestre que, en el plano, una transformaci on rgida queda determina-
agenes A0 , B 0 , C 0 de tres puntos no colineales
da cuando se conocen las im
A, B, C.
11. Demuestre que cualquier transformaci on rgida en el plano es composi-
ci
on de a lo m as 3 reflexiones. Para ello, tome 3 puntos A, B y C y sus
im agenes, A0, B 0 y C 0 , y compruebe que eso ocurre en cada uno de los
casos siguientes, que agotan todos los posibles:
i) A = A0, B = B 0 y C = C 0 ;
ii) A = A0 , B = B 0 y C 6= C 0;
iii) A = A0, B 6= B 0 y C 6= C 0 ;
iv) A 6= A0, B 6= B 0 y C 6= C 0 .
36
rectas que se cortan en ese mismo angulo (considere el triangulo formado por
un punto en cada recta y el punto de interseccion). Por todo ello, bajo una
transformacion rgida, un cuadrado se transforma en otro cuadrado, etc.
Tambien el tipo de conica es invariante bajo una transformacion rgida;
por ejemplo, una elipse es el lugar geometrico de los puntos P del plano tales
que la suma de sus distancias a dos puntos fijos, F1 y F2, es una constante
(que solemos denotar por 2a). Entonces, si las imagenes de los focos bajo una
transformacion rgida T son F10 y F20 , el punto P 0 = T (P ) cumple la condicion
definitoria de elipse respecto a F10 y F20 . Y, desde luego, los semiejes mediran
lo mismo que en la elipse original.
El mismo razonamiento se aplica en los otros dos tipos de conica.
Para las superficies cuadricas, empecemos por precisar que entendemos por
una superficie cuadrica y como las hemos clasificado.
Una superficie cu adrica es el lugar geometrico de los puntos (x, y, z) que
satisfacen una ecuacion de segundo grado en 3 variables:
2o. Las u nicas formas canonicas de las superficies cuadricas son las siguientes,
porque agotan todos los casos posibles (damos un ejemplo de cada tipo,
y, salvo 1), 3), 7) y 13), los ilustramos en la Figura 1.16):
- Rango 3:
1) el conjunto vaco, correspondiente a la ecuacion x2 + y 2 + z 2 = 1;
2) un elipsoide, correspondiente a la ecuacion x2 + 2y 2 + 3z 2 = 1;
3) un punto, dado por la ecuacion x2 + 2y 2 + 3z 2 = 0;
4) un hiperboloide de 2 hojas, dado por la ecuacion x2 2y 2 3z 2 = 1;
5) un hiperboloide de 1 hoja, cuya ecuacion tpica es x2 + 2y 2 3z 2 = 1;
6) un cono, cuya ecuacion tpica es x2 + 2y 2 3z 2 = 0.
- Rango 2:
*) el conjunto vaco, dado por x2 + y 2 = 1;
7) una recta, dada por la ecuacion x2 + 2y 2 = 0;
8) dos planos que se cortan, cuya ecuacion es x2 2y 2 = 0;
9) un cilindro elptico, cuya ecuacion tpica es x2 + 2y 2 = 1;
10) un cilindro hiperbolico, dado por la ecuacion x2 2y 2 = 1;
11) un paraboloide hiperbolico, de ecuacion x2 2y 2 = z;
12) un paraboloide elptico, con ecuacion x2 + 2y 2 = z;
- Rango 1:
*) el conjunto vaco, dado por x2 = 1;
13) un plano doble, cuya ecuacion tpica es x2 = 0;
14) 2 planos paralelos, correspondientes a x2 = 1;
15) un cilindro parabolico, cuya ecuacion tpica es x2 = y.
39
PSfrag replacements
2 planos que se cortan 2 planos paralelos elipsoide
2
x2 2
y2 = kx2 x2 = k 2 a2 + yb2 + zc2 = 1
Es claro que no todos los lugares geometricos listados tienen derecho a lla-
marse superficies, como ocurre con el vaco (ecuaciones 1), *) y **)), un punto
(3), o una recta (7), que son casos lmite de un elipsoide y un cilindro elptico,
respectivamente, y por eso se llaman cu adricas degeneradas. Sin embar-
go, todos son lugares geometricos correspondientes a ecuaciones polinomiales
cuadraticas en 3 variables.
La demostracion de la invariancia del rango y la signatura de una matriz
41
Daremos ahora una primera version del invariante bajo isometras mas
importante en Geometra Diferencial, la curvatura de una superficie en
cada uno de sus puntos (como veremos, el valor de la curvatura puede
cambiar de punto a punto). Una referencia para quien desee profundizar en
este tema es [DoC].
Las figuras estudiadas en esa rama de la Geometra deben ser suaves, es
decir, si se trata de curvas requerimos que en cada uno de sus puntos este bien
definida la recta tangente, y si se trata de superficies, la condicion es que en
cada uno de sus puntos tenga bien definido su plano tangente.
El lector recordara que la utilidad de que una curva tenga bien definida
la recta tangente en cada uno de sus puntos, es la posibilidad de aproximar
a la curva por su tangente en una vecindad suficientemente peque na
del punto. Lo analogo ocurre con una superficie, si en cada punto esta bien
definido el plano tangente, habra muchos problemas donde pueda sustituirse,
localmente, la superficie por su plano tangente (vease la Figura 1.17).
Eso no siempre ocurre, pues en una superficie tan sencilla como un cono
de revolucion, no puede definirse el plano tangente en el vertice. Para con-
vencernos, basta considerar que cada una de las generatrices es una recta no
solo tangente al cono, sino contenida en el, y si existiera un plano tangente al
cono en el vertice, cada generatriz debera estar contenida en ese plano, lo cual
evidentemente es imposible.
El Calculo nos da una tecnica sencilla para detectar cuales superficies son
suaves, al menos si se trata de superficies definidas por una funcion diferencia-
ble F : 3 , como lo son E(x, y, z) = x2 +4y 2 +9z 2 , P (x, y, z) = x2 +y 2 z,
(x, y, z) = x + 2y + 3z (para aclarar algunos de los conceptos mencionados
en el resto de esta seccion, puede recurrirse al Apendice 5.1, o a [Cou]).
Un hiperboloide de dos mantos (4), y un cono (6) son superficies de nivel
de la funcion
F (x, y, z) = x2 y 2 z 2 ,
cuyo gradiente F es
PSfrag replacements
P1
N
N
H1
T1
H3 T2
H2
P3
P2 T3
que tiene norma 1/r y, ademas, apunta en todos los casos hacia la parte concava
de la circunferencia.
3 1 3
1 2
2
2 C2 1
PSfrag replacements C1 C2
C2
C3 C1 3
C3 C3
C1
Antes de finalizar esta seccion, definiremos otros dos conceptos que pueden
ser facilmente entendidos si los analizamos en los ejemplos de superficies que
hemos trabajado.
El primero es el de superficie homog enea. De forma intuitiva, decimos
que una superficie es homogenea si un trozo de superficie que rodee un punto
puede superponerse a la superficie en torno a cualquier otro punto; eso ocurre
con el plano, con la esfera y tambien con el cilindro, pero no con el toro de
revolucion ni con un elipsoide.
De manera formal, podemos decir que una superficie S es homogenea si
para cualesquiera dos puntos P y Q en la superficie, existe una transformacion
rgida que lleva una porcion de la superficie en torno a P en una porcion de la
superficie en torno a Q.
Al segundo concepto lo llamaremos isotropa, y se refiere al hecho de que
en un punto, la superficie muestre el mismo aspecto al mirar en cualquier
direccion. El plano y la esfera son isotropicos, pero el cilindro no lo es.
Decimos que un punto de una superficie es un punto umblico si todas
las curvaturas seccionales en el punto son iguales. Los puntos de un cilindro
no son umblicos, pero s lo son los de una esfera y los de un plano.
EJERCICIOS
1. Demuestre que el polinomio caracterstico de una matriz, es invariante
bajo transformaciones rgidas.
2. Para cada una de las cu adricas con un mismo rango y signatura, de
caractersticas metricas, como las simetras y la extensi
on, que muestren
la diferencia entre los distintos tipos.
3. Dibuje la superficie definida por la ecuaci
on
PSfrag replacements Y
(x,y) (x+1,y) (x+2,y) 2/
2
Figura 1.19: Al identificar los puntos de con la misma ordenada y x x0 ,
obtenemos un cilindro.
PSfrag replacements
(x, y) 2 (x0, y 0) si x x0 , y y 0 ,
es decir, ahora dos puntos del plano estan relacionados si tanto la diferencia
entre sus abscisas como la diferencia entre sus ordenadas, son enteros.
As como la primera condicion nos obligo a restringirnos a una banda ver-
tical, la segunda nos obliga a restringirnos a una banda horizontal, y como
estamos pidiendo ambas condiciones, una region fundamental en este caso es
51
Y
(x,y+1) (x+1,y+1)
PSfrag replacements
(x,y) (x+1,y) !
X
2
Figura 1.21: Al identificar los puntos de con x x0 y y y 0 , obtenemos
un toro plano (que no cabe bien en 3).
Esta vez hay dos clases de curvas cerradas que no pueden deformarse en
un punto, una clase por cada par de lados paralelos del cuadrado.
Pero si bien lo anterior establece una diferencia esencial entre el plano y el
toro plano, al plantearnos cuales son las geodesicas del toro basta considerar
que para cualesquiera dos puntos distintos P y Q en el toro, si P 0 2 se
aplica en P , hay un punto Q 2 que se aplica en Q y que es el mas cercano
a P 0 de entre los 9 posibles (vea la Figura 1.22).
El segmento de recta de P 0 a Q se aplica en una curva del toro que nece-
52
PSfrag replacements Q
P0
Q0
P
Un ejercicio interesante, sobre todo por las aplicaciones que tiene mas ade-
lante, es pensar en una recta dibujada en 2 cuya traza quisieramos conservar
al obtener las identificaciones que hemos planteado.
En el cilindro, obtendramos una helice, y como casos lmite tendramos
una recta y una circunferencia (vease la Figura 1.24).
En el toro, podemos obtener muchos tipos de curvas cerradas, como ocurre
con la recta por el origen y de pendiente 1, puesto que los cuatro vertices del
cuadrado acaban identificandose en uno solo, o con cualquier otra recta que
una dos puntos de coordenadas enteras, por la misma razon del caso anterior
(vea la Figura 1.24).
Pero cuando en el plano tomamos una recta por el origen de pendiente
irracional, la curva que se origina en el toro no se cierra y, ademas, se enrolla
en el de forma tal que para cualquier punto del toro hay puntos de la curva tan
cercanos como se quiera, esto es, la curva es un conjunto denso en el toro.
Para demostrar esto u ltimo, consideramos la recta y = mx con m 6 .
Entonces, los puntos en el lado izquierdo del cuadrado que son equivalentes a
puntos de la recta de la forma (n, mn) con n entero, son de la forma (0, mn
[mn]), donde [mn] es la parte entera de mn; escribiremos yn = mn [mn].
Si dividimos el lado izquierdo del cuadrado en k partes, con k , de los
puntos (0, yj ) provenientes de los k + 1 puntos (1, m), (2, 2m),..., (k + 1, (k +
1)m), por el principio de las casillashay dos en el mismo segmento de longitud
1/k, es decir, para algunos r, s {1, 2, ..., k + 1}, tenemos
1
ys y r < .
k
54
PSfrag replacements X
II I II 2
1 1 0, II
I
2 2
0 1
I
R
C C
R
c
PSfrag replacements
r c
r
El trozo de recta entre los puntos (r, mr) y (s, ms) es congruente con el
trozo de recta entre (0, 0) y (s r, (s r)m), lo cual significa que tambien
hay dos puntos de la curva en el primer segmento de longitud 1/k en el lado
izquierdo, y en consecuencia en cualquiera otra de las partes en que habamos
dividido al lado izquierdo.
Como k fue arbitrario, concluimos que hay puntos provenientes de la curva
tan cerca como se quiera de cualquier punto del lado izquierdo. Por tanto, hay
un conjunto denso de intersecciones de la curva con el lado izquierdo.
Lo mismo ocurre para cualquier otro segmento vertical, y por eso la curva
del toro plano originada por una recta de pendiente irracional es densa en el
toro y no tiene autointersecciones.
Aqu cabe mencionar que hay un fenomeno analogo para las curvas llamadas
hipocicloide y epicicloide, descritas por un punto fijo de una circunferencia
de radio r que gira sin resbalar dentro (o fuera) de otra circunferencia de radio
R (vea la Figura 1.25).
Cuando la razon entre los radios es racional, la curva se cierra, pero si la
razon es irracional, el punto toca a la circunferencia de radio R en puntos que
forman un conjunto denso en dicha circunferencia. La demostracion se deja
como ejercicio en esta seccion.
los puntos del plano bajo la accion del grupo T , cuyos elementos son las
traslaciones T(n,m) asociadas a vectores (n, m) con entradas enteras.
Son realmente dos lecturas diferentes de un mismo hecho geometrico, la
obtencion de superficies con una estructura euclidiana a partir de 2, ya sea
como espacios de identificaci on bajo una relacion de equivalencia, que es
el punto de vista topologico, o como el espacio de orbitas de los puntos de 2
bajo la accion de un grupo, que es el punto de vista algebraico.
No cualquier grupo tiene como espacio de orbitas un objeto geometrico
nuevo, o interesante; por ejemplo, si el grupo que act ua en 2 es T , donde
Tr T corresponde a la traslacion horizontal por un vector (r, 0) con r ,
resulta que la orbita de un punto P (0, y0 ) es toda la recta horizontal y = y0;
en consecuencia, el espacio de las orbitas de los puntos de 2 bajo la accion
del grupo T es solo una recta, que puede pensarse como el eje Y .
EJERCICIOS
1. De 4 ejemplos de superficies homogeneas, y analice cu
ales contienen pun-
tos umblicos.
4. En un toro de revoluci
on, dibuje la curva que en el toro plano corresponde
a m = 3/2.
cualquier otro?
57
una figura F que debe permanecer invariante bajo un subgrupo que contiene
(i)
a Ro , sus imagenes bajo las iteraciones de la rotacion, Ro (P ) = Ro ...
Ro (P ), tambien deben pertenecer a F .
este es el caso, por ejemplo, de un polgono regular de n vertices inscrito
en una circunferencia con centro en el origen; la figura siguiente muestra los
casos de un cuadrado y un pentagono regulares inscritos en C(O, 1).
El cuadrado permanece invariante bajo la rotacion por = 2/4 = /2
58
Es claro que cualquier sector del plano acotado por dos rayos que partan
del origen y formen un angulo 2/n contiene un representante de cada orbita,
excepto por los puntos en los bordes que, como en el caso del cilindro, deben
identificarse. Esta vez, un punto P en un rayo frontera se identifica con el punto
P 0 en el otro rayo frontera si ambos estan a la misma distancia del origen; se
forma as un cono infinito, aunque las generatrices no son rectas completas,
sino solo rayos por el origen. ese es el espacio de las orbitas de los puntos de
60
2
bajo la accion del grupo G; en el vertice, los vectores tangentes al cono no
forman un plano.
2 3
1
4
1 3
2
PSfrag replacements
2 5
4
3
8
7
5
6
6
1 5
5 4
3
1 9 6
2 4
14
10
2 3 10
6 15 8 13 9
7 19
20 8
11
11 12 18
16 7 12
17
Para empezar, los numeros del cubo (o hexaedro) y del octaedro se corres-
ponden, solo que con los numeros de vertices y caras intercambiados, y otro
tanto ocurre para el dodecaedro y el icosaedro. Eso se debe a que al tomar
los baricentros de las caras como vertices y formar poliedros regulares con las
mismas reglas que usamos antes, obtenemos el otro solido de la pareja, incluido
el caso del tetraedro que debe considerarse como su propia pareja.
Decimos que los miembros de una pareja son uno el dual del otro, por
razones que veremos mas adelante.
El otro hecho relevante consiste en que al formar en cada caso el n umero
X = V A + C,
3
PSfrag replacements
4
7
6
8
5 2
X = 8 24 + 16 = 0.
Veamos cuales son los grupos de simetras de los solidos platonicos. Deja-
remos el caso del tetraedro al lector (vea el Ejercicio 5 al final de la seccion),
pero esperamos que el analisis de los casos del cubo y del dodecaedro le per-
mitan demostrar que las simetras del tetraedro forman un grupo isomorfo al
grupo de permutaciones de cuatro smbolos (que corresponden a los vertices),
usualmente denotado por S4 y llamado el grupo sim etrico en cuatro letras
(vea el Apendice 5.2).
Como lo hicimos en la seccion 1.1, ubicamos al cubo de forma que sus caras
sean paralelas a los planos coordenados y el centro del cubo sea el origen; as
los vertices pertenecen a una esfera con centro en el origen, y entonces las
simetras del cubo forman un subgrupo de O(3, ) (vea la Figura 1.29, que
reproduce la Figura 1.12).
La tarea ahora es determinar el subgrupo de O(3, ) que deja invariante al
cubo. Por lo que hemos visto, basta restringirnos al subgrupo de las rotaciones,
65
D1 = AT ; D2 = BU ; D3 = CR; D4 = DS,
deben ir unas en otras bajo cualquier rotacion que deje invariante al cubo, esto
es, cualquier rotaci
on que fije al cubo da lugar a una permutaci on de cuatro
PSfrag replacements
objetos, las diagonales.
Z
D
C
A
B
Y
U T
X R
S
Figura 1.29: Las rotaciones que fijan el cubo, llevan diagonales en diagonales.
(23)(12) = (132).
Para contar las rotaciones, analicemos cuales son los ejes de rotacion y los
posibles angulos de rotacion que no producen la identidad:
67
- Si el eje es la recta que une los puntos medios de dos aristas opuestas,
el angulo de rotacion solo puede ser ; como hay 6 pares de aristas opuestas,
tenemos 6 rotaciones de este tipo.
- Si el eje es la recta que une los centros de caras opuestas, los angulos de
rotacion que fijan el cubo son m ultiplos enteros de /2; hay 3 de ellos que no
dan la identidad, y como hay 3 pares de caras opuestas, tenemos 9 rotaciones
de este tipo.
- Si el eje es la recta que une vertices opuestos, como en un vertice concurren
3 aristas, los angulos de rotacion posibles son m ultiplos enteros de 2/3, y de
ellos solo 2 no dan la identidad; como hay 4 pares de vertices opuestos, tenemos
8 rotaciones de este tipo.
vertices antpodas a la diagonal C 0D0 . Seran cuatro aristas paralelas del cubo.
Otro juego de diagonales paralelas resulta de considerar las diagonales AC,
A C , DB y D0 B 0 , todas paralelas a la arista T U del dodecaedro, y el u
0 0
ltimo
0 0 0 0
juego de diagonales paralelas esta formado por AD , A D, CB y C B, todas
paralelas a la arista LM del dodecaedro.
La regularidad del dodecaedro implica que el paraleleppedo cuyos vertices
son A, B, C, D, A0, B 0, C 0 y D0 , es verdaderamente un cubo.
Las 5 diagonales de cada cara del dodecaedro son aristas de un cubo dis-
tinto, as que hay 5 cubos inscritos en el dodecaedro, y es posible llevar uno en
cualquiera de los otros mediante rotaciones de los tipos siguientes:
- Rotaciones cuyo eje pase por los centros de dos caras opuestas, por un
angulo de 2k/5, con 1 k 4; hay 6 pares de caras opuestas y cuatro
rotaciones distintas de la identidad por cada par. Eso da 24 rotaciones de este
tipo.
- Rotaciones cuyo eje pase por dos vertices opuestos, por un angulo de
2k/3, con 1 k 3; hay 10 pares de vertices opuestos y 2 rotaciones distintas
de la identidad para cada par. Eso da 20 rotaciones de este tipo.
- Rotaciones cuyo eje pase por los puntos medios de aristas opuestas, por
un angulo de 2k/2, con k = 1, 2; hay 15 pares de aristas opuestas y solo una
rotacion distinta de la identidad para cada par. Hay entonces 15 rotaciones de
este tipo.
Si a estas 59 rotaciones les anadimos la identidad, tenemos 60 rotaciones
en total, que es precisamente el n umero de elementos de A5, el subgrupo
alternante, o de permutaciones pares, de S5 .
El lector debera comprobar que la correspondencia entre el grupo de rota-
ciones que dejan invariante al dodecaedro y los elementos de A5 es realmente
un isomorfismo, as como que
L0 B
A S
R
M0 U0
0
C
T T0 D
D0
R0
A0
S0
C
M
U
B0 L
EJERCICIOS
1. Demuestre que SO(2, ) es un grupo isomorfo al grupo multiplicativo
de los n
umeros complejos de norma 1.
2. Considere la funci
on determinante de GL(3, )a {0}. Es subgrupo
70
Para crear un friso, deberemos trazar una recta L y observar dos reglas:
PSfrag replacements
L
L
Figura 1.33: Un patr
on simple, sin simetras internas que fijen la base.
73
G5 =< > .
Note que si bien los grupos G1 y G5 son ambos cclicos infinitos, los ele-
mentos de E(2) que generan cada uno son isometras distintas, por eso el friso
F1 no queda invariante bajo un paso.
G6 =< RV , RL , T2a| R2V = Id, R2L = Id, (RL RV )2 = Id, RV T2aRV = T2a > .
Notese que tambien esta vez no hace falta incluir una traslacion entre los
generadores, porque (RV 2A )2 = T4a.
PSfrag replacements 75
G1 = hTai L
A 2A 3A
F2 queda
D invariante
E bajo
G2 = 1/2, Ta , donde ... ...
2
1/2 = Id, 1/2 Ta 1/2 = (Ta)1 L
PSfrag replacements ... ...
R2L = Id L
PSfrag replacements ... ...
L
PSfrag replacements ... ...
L
y (RV 2a) = T4aPSfrag replacements
2
... ...
Demostraci on. Las isometras que dejan invariante una recta L del plano y
que permiten observar la regla de utilizar una vez el patron en cada tramo de
longitud a son:
2. Si un grupo contiene una isometra del tipo (ii), con r = 1/2, el patron
se utiliza en ambos lados en cada tramo y la traslacion necesariamente
es Ta, as que el subgrupo que generan es G2 .
4. Si el subgrupo contiene una isometra del tipo (iv), podemos agregar otra
del tipo (i), con n = 2; el subgrupo que generan es precisamente G4 .
6. Si en el subgrupo figuran una isometra del tipo (ii) y la del tipo (iii),
automaticamente aparece una del tipo (iv), y como todas ellas son invo-
luciones (su cuadrado es la identidad), es necesario a
nadir una traslacion
que necesariamente corresponde a 2 a, as que el grupo es G6 .
7. Si ahora permitimos una isometra del tipo (ii) y otra del tipo (iv), el
grupo que generan es G7 .
8. Una isometra del tipo (ii) y otra del tipo (v) que no den lugar a una
superposicion del patron, son 1/2 y , pero entonces necesariamente la
recta V es un eje de simetra (demuestrelo), y el grupo es isomorfo a G7 .
9. Las isometras (iii) y (iv), cuando se componen, dan lugar a una del tipo
(ii), todas son involuciones, y entonces en el grupo debe introducirse la
traslacion por T2a, por lo que el grupo es G6 .
permite descubrir que varios de ellos quedan invariantes bajo pasos de largo
distinto al de . Si ademas resuelve el Ejercicio 6, podemos dar por concluida
la demostracion de la proposicion.
M1
pm
M2 M3
p2 pm
Sfrag replacements
M4 M5
pm pg
M6 M7
p4m pmg
Figura 1.35: Cinco de los 17 tipos de mosaicos.
80
I. Los grupos de rotaciones que permiten la invariancia de una region son los
grupos cclicos generados por un angulo de la forma 2/n con n ; de lo
contrario, las imagenes de la region se traslaparan.
R1 = R2 T.
81
Demostraci on. Sea Q 6= O otro n-centro del mosaico cuya distancia a O sea
mnima. Si R se obtiene rotando O en torno a Q por +2/n, y S se obtiene
rotando Q en torno a R por ese mismo angulo (haga un dibujo), R y S son
tambien n-centros del mosaico y tenemos las igualdades d(O, Q) = d(R, Q) =
d(R, S) y 6 OQR = 6 QRS.
Si S = O, los puntos O, Q, R forman un triangulo equilatero y n = 6, pero
si S 6= O, tenemos tambien la desigualdad d(O, Q) d(O, S), debida a la
eleccion de Q. Si se da la igualdad, tenemos un rombo con angulos contiguos
iguales, es decir, un cuadrado, lo cual da n = 4; y si d(O, Q) < d(O, S), el
angulo debe ser mayor que 2/4 y las u nicas posibilidades para n son 3 o 2,
como habamos afirmado.2
PSfrag replacements
(a) (b)
Tomemos ahora un hexagono basico con marcas como las ilustradas; en-
tonces, la reflexion en una diagonal no deja invariante a la pieza basica, pero
el centro de cualquier hexagono s es un 6-centro del mosaico. Por tanto, el
mosaico (b) de la Figura 1.36 queda invariante bajo un grupo distinto del
correspondiente al mosaico (a), pues el primero no contiene reflexiones y el
segundo s. El tipo del mosaico (a) se denota p6.
Si las marcas del hexagono basico son solo tres, como las ilustradas en la
Figura 1.37(a), nuevamente las diagonales del hexagono no son ejes de simetra,
y esta vez el centro de cualquier hexagono es un 3-centro del mosaico, como
tambien lo son los vertices. No hay 6-centros. Las siglas para su tipo son p3.
En cambio, si las tres marcas son apotemas del hexagono, como en la
Figura 1.37(b), y reflejamos el hexagono central sobre sus lados para generar los
hexagonos contiguos, y despues trasladamos en las direcciones de las apotemas
por m ultiplos de 4 veces el apotema, ocurre que el centro de cualquier hexagono
es un 3-centro, pero no lo son los vertices. No hay 6-centros, pero esta vez, s
hay ejes de simetra: las rectas que contienen a las apotemas. Los lados de los
hexagonos no son ejes de simetra, y las siglas correspondientes a este tipo de
mosaico son p3m1.
Finalmente, otro mosaico con solo 3-centros resulta al tomar como pieza
basica un triangulo equilatero con tres marcas, como en la Figura 1.37(c), y lo
reflejamos sobre sus lados para obtener los triangulos contiguos. El centro de
83
frag replacements
Vayamos ahora a los mosaicos con 4-centros. La pieza basica sera un cua-
drado, con o sin marcas.
Para eliminar reflexiones, marcamos el cuadrado como en la Figura 1.38(a),
y para generar los mosaicos contiguos solo trasladamos. El centro de cualquier
mosaico sera un 4-centro del mosaico, lo mismo que los vertices, pero no hay
ejes de simetra. El tipo de este mosaico se denota por p4.
Si no marcamos el cuadrado y lo trasladamos por a ya , los centros y los
vertices de los cuadrados son 4-centros, y tanto los lados como las diagonales
de los cuadrados son ejes de simetra del mosaico (Figura 1.38(b)). Todos los
4-centros pertenecen a ejes de simetra, y las siglas de este mosaico son p4m.
Finalmente, volvemos a marcar el cuadrado como en el primer caso, solo que
ahora lo reflejamos sobre sus lados para generar los cuadrados contiguos. La
Figura 1.38(c) muestra el mosaico resultante. Los centros de los cuadrados son
4-centros del mosaico, pero esta vez los vertices no son 4-centros; en cambio,
s hay ejes de simetra: los lados de los cuadrados. La diferencia con el mosaico
(a) es que los 4-centros no pertenecen a ejes de simetra. Las siglas para este
mosaico son p4g.
84
PSfrag replacements
PSfrag replacements
(d) (e)
Solo faltan cuatro mosaicos para completar los 17 prometidos; estos mosai-
cos comparten la caracterstica de carecer de centros de simetra.
Ya conocemos dos de ellos, son M1 y M5 de la Figura 1.35, ilustrados nue-
vamente en la Figura 40, como (d) y (b), respectivamente. El primero admite
ejes de simetra, las diagonales perpendiculares a las que dividen los dos colo-
res, y pasos; sus siglas cristalograficas son pm. El segundo solo admite pasos,
y sus siglas cristalograficas son pg.
Otro mosaico resulta del friso F3 , cuando la traslacion adicional no es
vertical, sino por m ultiplos enteros de l = 2
a + (1/2)
a. Eso da lugar a ejes de
pasos que no son ejes de simetra, como ocurre para el mosaico de la Figura
1.40(c), cuyas siglas cristalograficas son cm.
Para generar el u ltimo mosaico, tomamos como pieza basica un rectangulo
bicolor, como el de la Figura 1.40(a). Si trasladamos horizontal y verticalmente
al rectangulo por m ultiplos enteros de su base y de su altura, no hay ejes de
simetra, y las siglas cristalograficas son p1.
cos que permanezcan invariantes bajo un grupo de isometras del plano, puede
encontrase en [Mar] y en [Sp].
(a) (b)
PSfrag replacements
(c) (d)
EJERCICIOS
1. Busque ilustraciones de frisos de culturas antiguas (griega, celta, ma-
ya,etc.) e identifique el grupo que los preserva.
2. De un ejemplo de cada uno de los tipos de frisos, construidos usando un
mismo patron basico (distinto del usado en el texto).
3. Determine regiones fundamentales para cada uno de los frisos de la Fi-
gura 33, y tambien para los del Ejercicio 1.
4. Determine los centros y ejes de simetra de cada uno de los frisos de la
Figura 33.
5. Demuestre que el grupo que deja invariante a los frisos siguientes, es G7.
87
L L
PSfrag replacements ... ... ... ...
7. Dise
ne un mosaico para cada uno de los 17 grupos de isometras del plano
dados en la Tabla 1.
8. Para al menos tres de los grabados de Escher que tapizan el plano eu-
clidiano, identifique el grupo utilizado para construirlo (Sugerencia: con-
sulte [Co1]).
9. Averig
ue que es una teselaci
on no peri
odica. (Sugerencia: consulte [G-S].)
88
2
Geometra Afn
5
6 3
5 3
PSfrag replacements 3 4
2
2 4 2
4
1
1 1
Las reglas establecidas por los pintores lograron dar un tratamiento con-
sistente al comportamiento en el infinitode las rectas paralelas, y tiempo
despues Leonhard Euler llamo Geometra Afn a una geometra mas general
que la euclidiana que, en particular, permite dar un caracter matematico a los
puntos de fuga y a la lnea del horizonte, as como relacionar matematicamen-
91
1. Todas las rectas que en el espacio tridimensional son paralelas a una misma
direccion, se dibujan concurrentes en un mismo punto de fuga.
2. Los puntos de fuga de las rectas en el plano del piso, se dibujan como
pertenecientes a una misma recta, la lnea del horizonte.
caf Pars
Estas dos reglas bastan para dibujar correctamente en el plano de una hoja
o en un lienzo, un piso de mosaicos cuadrados en que estemos parados: una vez
que dibujemos uno de ellos (el cuadrilatero sombreado en la Figura 2.3, cuya
forma depende de la posicion de quien dibuja), el punto de fuga de los lados
horizontales, F1, y el punto de fuga de los lados verticales, F2, determinan
la lnea del horizonte, que puede no ser horizontal en el papel. Al cortar con
ella la recta a la que pertenece la diagonal ilustrada del cuadrilatero sombrea-
do, determinamos un tercer punto de fuga, F3, en el que deben concurrir los
trazos de todas las diagonales de los cuadrilateros que representen a los demas
mosaicos pues, en el plano del piso, son paralelas a la diagonal ilustrada.
Para comprobar que el dibujo de los demas mosaicos ya esta determinado,
basta trazar las rectas que pasan por F3 y cada una de las esquinas marcadas
con H1 y V1 . Esas rectas incluyen a las diagonales de los mosaicos derecho y
superior, respectivamente, del mosaico sombreado.
La interseccion de F3H1 con V1 F1, y la de F3V1 con F2 H1 determinan los
puntos M2 y N2 , respectivamente. El punto M2 es la esquina superior derecha
del mosaico derecho del sombreado, y el punto N2 es la esquina superior derecha
del mosaico superior del sombreado.
Si ahora trazamos la recta F2 M2 , su interseccion con la recta F1H1 da
93
F2 F3 F1
PSfrag replacements
N2
V2 M2
V1
H2
H1
Para formalizar estas ideas, los cientficos necesitaron resolver una cuestion
que nunca surge al dibujar:
Debe a nadirse uno o dos puntos al infinito.a una recta, puesto que al girar
180 , los bordes de un camino parecen juntarse tambien en el otro sentido ?
94
Desargues y Kepler resolvieron que para cada recta deba existir solo un
punto al infinito, lo cual significa que el aspecto topologico de una recta afn es
el de una curva cerrada, como la circunferencia, aunque el punto que cierra a
la curva es de una calidad distinta de los demas, pues es el punto al infinito.
La proyeccion de una circunferencia en una recta ilustrada en la Figura 2.4,
justifica intuitivamente esta decision.
En la Geometra Proyectiva esta diferencia entre los tipos de puntos desa-
parecera, como veremos en el captulo siguiente, y por eso el plano proyectivo
es homogeneo.
Llamaremos punto al infinito a un punto de fuga, es decir, sera un punto
en que concurren cualesquiera dos rectas de una misma familia de paralelas
(hay uno por cada direccion euclidiana), y con todos los puntos al infinito de
un plano conformaremos la recta al infinito, que viene a sustituir a la lnea
del horizonte.
Note que la recta al infinito tambien tiene el aspecto topologico de una
circunferencia, puesto que las pendientes de las rectas cartesianas pasan de
PSfrag replacements+ a seg un que el angulo entre la recta y la parte positiva del eje X
tienda a 90 por la derecha o por la izquierda, respectivamente. Eso significa
que la lnea del horizonte debera dibujarse ligeramente curva, pero para todo
proposito practico, dibujarla como (parte de) una recta, es correcto.
P O P
A F
B D
A0 B0 C0 C D0 E0 F0
Podemos crear un modelo del plano afn usando tres ejes coordenados,
como lo muestra la Figura 2.5: la recta al infinito, caracterizada porque la
tercera coordenada es nula: z = 0, y los dos ejes ordinarios (que no necesitan
ser perpendiculares, solo transversales), caracterizados por y = 0 y x = 0. En
estos u
ltimos, la tercera coordenada de los puntos debera ser 1.
Para poder localizar puntos en el plano afn, necesitamos fijar el punto
correspondiente a (1, 1, 1) porque entonces el punto correspondiente a 1 en
los ejes y = 0 y x = 0 resulta de cortarlos, respectivamente, con las lneas
determinadas por (0 : 1 : 0) y (1, 1, 1), y por (1 : 0 : 0) y por (1, 1, 1). Fijar el
96
(0:1:0)
( 12 ,3,1) (1:1:0)
z=0
(0,3,1)
(1:0:0)
(0,2,1)
(0,1,1) (1,1,1)
y=0
x=0
(2,0,1)
(1,0,1)
(0,0,1) ( 12 ,0,1)
( 31 ,0,1)
Ax + By + C = 0,
ahora basta ubicar en la recta al infinito el punto (al infinito) que le corres-
ponde: (B : A : 0), y tomar alguno de los puntos ordinarios, por ejemplo una
de las intersecciones con los ejes, y = 0 o x = 0.
En la Figura 2.6 ilustramos las rectas cuyas ecuaciones son 3x y + 2 = 0
y x + 2y + 4 = 0.
(0:1:0) (1:3:0) (1:1:0) (2:1:0) (1:0:0)
3xy+2=0
(0,3,1)
PSfrag replacements (0,2,1)
(0,1,1)
(0,0,1)
x+2y+4=0
(0,1,1)
(0,2,1)
EJERCICIOS
1. Encuentre las coordenadas del punto al infinito de la recta
3x + 4y 5 = 0.
F2 F1 F1
F2 F1
F2
V1 V1
H1 1
H
H1
V1
D1 D2
O O Ta
O
u
tiles; empezamos por definirlas formalmente.
cuya parte lineal es la composicion de las partes lineales (lo cual implica que es
no singular), y cuyo vector de traslacion resulta de sumar a 2 al vector obtenido
al aplicar la transformacion L2 al primer vector de traslacion, a 1.
ii) La asociatividad es valida para transformaciones cualesquiera.
iii) La identidad puede escribirse como una transformacion afn, si compo-
nemos a la traslacion por 0 con la identidad.
iv) La inversa A1 de una transformacion afn A es una transformacion
afn, A1 , que se obtiene as:
P 0 = L(P ) + a
P = L1 (P 0 a
)
= L (P ) + L1 (
1 0
a) = TL1 (a) L1 (P 0 ).
x = 3x0 y 0 + 4; y = 2x0 y 0 + 2.
x + 2y 3 = (3x0 y 0 + 4) + 2(2x0 y 0 + 2) 3
= x0 y 0 3 = 0
2
y 4x = (2x0 y 0 + 2)2 4(3x0 y 0 + 4)
= 4x02 + y 02 + 4x0y 0 + 4x0 12 = 0.
Note que nuestros calculos demostraron que, bajo una transformacion afn,
una ecuacion de primer grado se transforma en otra del mismo grado, y lo
analogo sucede con las ecuaciones de segundo grado.
Uno puede preguntarse si, bajo una transformacion afn, una elipse puede
transformarse en un parabola o una hiperbola. Pero eso no ocurre, pues el tipo
de conica es un invariante afn, como veremos a continuacion.
Como una traslacion no cambia el tipo de conica (pues es una transforma-
cion rgida), basta comprobar la afirmacion para una transformacion lineal no
singular L, procediendo de forma analoga a la que demuestra la invariancia del
discriminante de una conica bajo transformaciones ortogonales.
103
Ax2 + 2Bxy + Cy 2 + Dx + Ey + F = 0,
Esta propiedad concuerda con el hecho de que una elipse no tiene puntos
al infinito, pues la elipse es una conica acotada; una parabola tiene un punto
al infinito (P en la Figura 2.8), en el sentido de que la recta tangente a la
parabola en uno de sus puntos tiende a volverse paralela al eje focal cuando el
punto se aleja indefinidamente del vertice (ya sea por uno u otro lado del eje
focal); entonces, el punto al infinito del eje de la parabola es el lmite de los
puntos al infinito de las tangentes a la parabola cuando el punto de tangencia
se aleja del vertice por uno u otro lado del eje focal.
P
(0:1:0) A1 A2
z=0
x=0
y=0
(0,0,1)
En el mismo sentido, una hiperbola tiene dos puntos al infinito, dados por
las pendientes de sus asntotas (A1 y A2 en la Figura 48), pues la tangente
en uno de sus puntos tiende a una de las asntotas cuando el punto se aleja
indefinidamente del vertice de la rama a la que pertenece; cada rama de la
hiperbola queda de lados distintos de la recta al infinito, y el lector no debe
extranarse de la forma en que se pegan las dos ramas de la hiperbola, pues hay
de por medio una Banda de Mobius (vea la seccion 3.2).
De hecho, el concepto de asntota puede definirse as: una recta es asn-
tota de una curva si el punto al infinito de la tangente a la curva tiende al
punto al infinito de la recta cuando la distancia entre ambas tiende a cero.
Es decir, el concepto de asntota es un concepto de la Geometra Afn.
A estas alturas, esperamos que el lector admita un hecho que puede parecer
sorprendente: el dibujo de cada una de las conicas afines es una curva cerrada,
pues el punto al infinito del eje focal cierra.a la parabola, y los puntos al
infinito de la hiperbola pegan
una rama con otra.
El lector queda encargado de demostrar que el grupo afn A(2) tiene como
subgrupo al grupo de las transformaciones rgidas, E(2), y en consecuencia al
de las transformaciones ortogonales, O(2), al de las rotaciones, SO(2), y al de
las translaciones.
El grupo de transformaciones proyectivas, que estudiaremos en el captulo
siguiente, tendra al grupo afn como subgrupo, pues estaran dadas por matrices
de 3 3 con determinante distinto de cero.
Hay mas invariantes afines, en particular todos aquellos que sean invariantes
bajo el grupo de transformaciones proyectivas, pues las transformaciones afines
constituyen un subgrupo del grupo proyectivo, como lo vemos en el captulo
siguiente.
Pero hay un invariante afn que nos interesa destacar y que no es un in-
variante proyectivo: la raz on en que un punto P divide a un segmento
AB. Sabemos que las traslaciones preservan esa razon por ser transformaciones
rgidas, y es facil comprobarlo para transformaciones lineales L.
Supongamos que la razon en que el punto P divide al segmento AB es ,
es decir,
P A = (B P ).
EJERCICIOS
1. Encuentre la transformaci
on inversa de
3 1 2
T = 2 2 4
0 0 1
Esta es la geometra mas amplia de todas las que estudiamos en este libro, en
el sentido de que su grupo de transformaciones admite como subgrupos a los
que ya hemos estudiado y a los que a un nos faltan.
Ademas del grupo euclidiano y el grupo afn, hay otros subgrupos del gru-
po proyectivo que juegan un papel importante en Geometra; nos interesaran,
en particular, los que dan lugar a geometras no euclidianas. La llamada Geo-
metra Elptica sera la parte final de este captulo, mientras que la Geometra
Hiperbolica sera el tema del proximo.
Como en el captulo anterior, trabajaremos fundamentalmente en el ca-
so bidimensional, pero en algunos temas extenderemos sin dificultad nuestras
consideraciones a dimension mayor.
Desde luego, la Geometra Proyectiva debe su nombre a que en ella estaran
permitidas las proyecciones. Entonces, en esta geometra el tipo de conica no
es un invariante, pues cualquier conica puede obtenerse de otra mediante una
proyeccion adecuada, como lo muestra la Figura 3.1.
(x1, x2 , x3) (x01 , x02, x03) si existe {0} tal que xi = x0i . (3.1)
La clase definida por una terna no nula (a, b, c) se denota por (a : b : c);
110
los dos puntos entre las coordenadas tienen la finalidad de recordarnos que
estamos considerando clases de tercias, no las tercias mismas, y que al menos
una de las coordenadas es no cero.
Notese que esta relacion de equivalencia puede definirse entre los vectores no
cero de cualquier espacio vectorial V sobre un campo k (nosotros solo usaremos
k = o : dos vectores no nulos v, w
estan relacionados si y solo si uno se
obtiene del otro multiplicando por un escalar no cero:
v w
si y solo si v = w un k {0},
para alg
P 2( ) = P ( 3
),
O
P
S
Q
P0 Q0 R S0
R0
En cambio, los pares con w = 0 forman una sola clase, (1 : 0), correspon-
diente a la u nica direccion compleja que hay en : cualquier complejo no cero
P 1( ) = {}; sin embargo, esta es una mera notacion, pues los elementos
S 3 = {(x, y, u, v) 4
| x2 + y 2 + u2 + v 2 = 1}.
2
plejos de por el origen (menos el origen),
2
{(z, w) (0, 0)| w = kz, k fijo },
que puede leerse como un plano por el origen de 4 ; este corta a S 3 en una
circunferencia cuyos puntos son representantes de una misma clase (en el caso
real, los puntos antpodas de S 1 resultan de cortar S 1 con la recta por el origen
de los puntos en la misma clase). Por eso podemos escribir:
P 1( ) = P (
2
) = S 3 /S 1 .
S 2 = {(x, y, z) 3
| x2 + y 2 + z 2 = 1},
2 1
PSfrag replacementsestablece el homeomorfismo prometido entre S y P ( ) (vea el Apendice 5.5).
N
T
P
T0
S
R0
0
Q = Q0 P0
S
R
Ax + By + Cz = 0,
A0x + B 0y + C 0z = 0,
EJERCICIOS
1. Encuentre el punto en que se cortan las rectas proyectivas siguientes:
L1: 3x y + z = 0 y L1: x 2y + 2z = 0.
2. Diga cuales de las ecuaciones siguientes definen un lugar geometrico en
P 2( ), y justifique su afirmaci
on:
(a) 3x2 + xy z 2 = 0; (b) x3 y2 + x + z = 0;
(c) x4 + y4 z 4 = 0; (d) x2 + y2 + z 2 = 0.
3. Encuentre los representantes de (2 : 6 : 4) con la caracterstica que
se indica:
(a) x = 1; (b) z = 1; (c) (x, y, z) S 2 .
4. Demuestre que tres puntos proyectivos pertenecen a la misma recta pro-
yectiva, si y s
olo si el determinante de las coordenadas de sus represen-
tantes se anula.
5. Demuestre que si a cuatro puntos OHV U en posici on general, es
decir, tales que ninguna terna sea colineal, se les asigna las coordenadas
O(0 : 0 : 1), H(1 : 0 : 1), V (0 : 1 : 1), U (1 : 1 : 1), eso determina
coordenadas para todos los dem as puntos de P 2( ).
6. Dado un punto (x1 , x2, x3) S 2 , determine el n
umero complejo z = x+iy
asociado bajo la proyeccion estereogr afica desde el polo norte.
7. Defina P 3( ) y diga c
omo caracterizar las rectas proyectivas y los planos
proyectivos en este espacio proyectivo.
8. Defina P n( ) = P ( n+1
), y considere
||(z0, z1, ..., zn)|| = ||(x0, y0, x1, y1, ..., xn, yn )||,
116
donde zk = xk + iyk y ||(x0, x1, ..., xn, yn)|| es la norma definida por
el producto escalar en n+1. Demuestre que P n( ) = S 2n+1 /S 1 . (La
proyecci onica : S 2n+1 P n( ), se conoce como la fibraci
on can on
de Hopf, vea [Do].)
9. Demuestre que la proyecci on estereogr
afica es conforme, es decir, dos
curvas en la esfera que se cortan en un punto P formando un a ngulo
, se aplican bajo la proyecci on estereografica en curvas que forman
ese mismo a ngulo (en valor absoluto). (Sugerencia: considere la figura
siguiente, donde es el plano tangente a la esfera en el punto P , v y w
son los vectores tangentes a las curvas en la esfera; H y H 0 pertenecen a
la proyecci
on ortogonal de la recta N P en el plano : H es la intersecci
on
on con el plano tangente a la esfera en N y H 0 pertenece
de esa proyecci
al plano del ecuador, que es paralelo al anterior.)
N H
PSfrag replacements
P
v
w
v0
XY
H0
P0
w0
Este hecho es la clave de una de las propiedades mas bellas del plano proyectivo
real: la dualidad, la correspondencia biyectiva entre puntos y rectas del plano
proyectivo real que respeta la incidencia: un punto incide en una recta si el
punto pertenece a la recta, y una recta incide en el punto si la recta pasa por
el punto.
El Principio de Dualidad de la Geometra Proyectiva, afirma que
se aplican en 0 .
Ese lugar geometrico es un plano por el origen de 3 , que define una recta
proyectiva, y la correspondencia queda establecida por la clase (A : B : C),
pues (A, B, C) y (A, B, C) tienen mismo n ucleo.
Entonces, en P 2 ( ) hay una biyeccion entre puntos como rectas, y cualquier
afirmacion de incidencia entre puntos y rectas puede dualizarse, y siendo valida
la primera tambien lo es la segunda.
Por ejemplo, ya habamos pedido al lector demostrar la afirmacion siguiente
(vea el Ejercicio 4):
En ambos casos, estamos diciendo que hay una dependencia lineal entre los
tres objetos, puntos en un caso, rectas en el otro, y si dos de ellos satisfacen
(3.2), una combinacion lineal de ellos tambien lo hace.
Una recta puede verse como un haz de puntos, todos los que inciden en
ella, y un punto puede verse como un haz de rectas, todas las rectas que
inciden en el punto (vea la Figura 3.5).
Vale la pena mencionar que, en un lenguaje mas coloquial, a las rectas que
inciden en el mismo punto se les llama concurrentes, y a los puntos que inciden
en la misma recta les llamamos colineales.
119
En ambos casos, el haz esta determinado por dos de sus elementos, y los
restantes son combinacion de esos dos; lo escribiremos en forma de observacion.
inciden en una recta L, entonces tambien sucede que las rectas definidas por
vertices correspondientes: a b y a0 b0; b c y b0 c0 ; c a y c0 a0, inciden
en un punto O.
Las dos afirmaciones pueden resumirse as:
L
PSfrag replacements M Y A
S Z C
B
R
B0
A0
C0
T
Figura 3.6: Dos tri
angulos en perspectiva desde un punto, tambien lo est
an desde
una recta.
- si x 6= 0, (x : y : z) = (1 : y/x : z/x);
- si y 6= 0, (x : y : z) = (x/y : 1 : z/y);
6 0, (x : y : z) = (x/z : y/z : 1),
- si z =
EJERCICIOS
1. Dualice el concepto de cuadril
atero, dado al principio del Captulo 2.
on siguiente: En P 3( ), un tetraedro es autodual.
2. Justifique la afirmaci
3. Demuestre el Teorema de Desargues usando el Ejercicio 5 de la secci
on
3.1.
4. Defina P n( ) y generalice la noci on de dualidad, es decir, establezca
una biyecci on entre el conjunto de puntos (x0 : x1 : ... : xn) y el de
los hiperplanos proyectivos que respete la incidencia, entendiendo por
hiperplano proyectivo el suconjunto definido por una (n + 1)-ada, (A0 :
A1 : ... : An ) mediante la ecuaci
on
3.3. La forma de P 2( )
Despues de definir el plano proyectivo real, escribimos
P 2( ) = P ( 3
)=( 3
{0})/ = S 2 /(
x
x),
A A0 A A0 A A0
PSfrag replacements B0
A B0
B B0 B B0
B
B
A0
En cambio, P 2 ( ) s cabe en 4
sin autointersecciones. Para demostrarlo,
definimos f : S 2 4 dada por
El plano proyectivo es una superficie con un solo lado; para entender lo que
esto significa, tomamos nuevamente la esfera y marcamos en ella un cinturon
simetrico alrededor de un crculo maximo (vea la Figura 3.8).
Es claro que de los dos casquetes podemos eliminar uno, pues los puntos
de un casquete tienen sus antpodas en el otro casquete, y tambien es cierto
que podemos eliminar la mitad del cinturon, por ejemplo la que esta detras,
pues los antpodas de esos puntos estan en la mitad delantera del cinturon.
Los bordes izquierdo y derecho de la mitad delantera del cinturon, estan
formados por puntos antpodas y, por tanto, deben identificarse en la forma
indicada por las flechas; eso solo puede lograrse despues de voltear un extremo,
originando una Banda de M obius, llamada as en honor a su creador, F. A.
Mobius (1790-1808).
124
A B
A A0
PSfrag replacements B B0
B0 A0
Y
Z
frag replacements
X
D1 D2
Y
Hay tantos ejes de rotacion posibles como diametros en una esfera, y tantos
posibles angulos de rotacion como puntos en el intervalo [, ], salvo que, una
vez elegido el eje, rotar por tiene el mismo efecto que rotar por .
Entonces, en la esfera de 3 con centro en el origen y radio , los diametros
corresponden a los posibles ejes de rotacion, y los puntos del interior de esa
esfera, que necesariamente pertenecen a alg un diametro, determinan un angulo
de rotacion, definido por el punto del intervalo (, ) que corresponde al
128
diametro.
Todo lo anterior significa que podemos identificar cada punto del interior
de la esfera de radio , i.e., un punto de D3 , con una rotacion cuyo eje contiene
al diametro definido por el punto, y cuyo angulo esta definido por la distancia
orientada (, ) del punto al centro de la esfera. En cambio, los puntos
de la frontera, que es la esfera de centro en el origen y de radio , deberan
identificarse si son antpodas, como ocurre en la construccion de P 3 ( ).
Entonces SO(3) es el espacio resultante de D3 cuando identificamos los
puntos antpodas de su frontera, y como D3 y D3 son homeomorfos, tambien
lo son SO(3) y P 3 ( ).
EJERCICIOS
1. Construya tres Bandas de M obius utilizando tres tiras de papel. Pinte
la primera de alg un color, y corte las otra dos as: la primera a lo largo
de la lnea central, la segunda a lo largo de una curva que equidiste del
borde y de la lnea central. En cada uno de los casos, explique lo que
ocurre.
2. Dibuje un intervalo, divdalo en varios subintervalos y, despues de asignar
un sentido de recorrido en el primero (ponga una flecha), c opielo para los
restantes trasladando la flecha. Compruebe que es posible completar el
vector asociado a cada flecha, con otro vector que forme una base derecha
para el plano en el punto, de forma que esa elecci on sea compatible
despues de identificar los bordes del segmento original.
3. Compruebe que S 2 es orientable, por alguno de los metodos siguientes:
a)Triangulela esfera, y compruebe que es posible orientar los tri
angulos
de forma que los lados comunes queden recorridos en sentidos opuestos.
b) Calcule el gradiente de la funci on F (x, y, z) = x2 + y2 + z 2 (vea
el Apendice 5.1) y compruebe que en cualquier punto (x0 , y0, z0) S 2 ,
F (x0, y0 , z0) 6= (0, 0, 0). El hecho de que F (x, y, z) vare continuamen-
te con el punto (x, y, z) S 2 implica que puede definirse orientaciones
compatibles para curvas que rodean puntos cercanos (vea [DoC] para
otra definicion de orientabilidad).
4. Marque los lados horizontales de un cuadrado con flechas que apunten
a la derecha, y los lados verticales con flechas que apunten una hacia
abajo y otra hacia arriba. Pegue primero los lados horizontales haciendo
coincidir las flechas (que obtiene?), y explique por que no puede realizar
en 3 el pegado que falta haciendo coincidir las flechas verticales. El
129
- si x 6= 0, (x : y : z) = (1 : y/x : z/x);
- si y 6= 0, (x : y : z) = (x/y : 1 : z/y);
6 0, (x : y : z) = (x/z : y/z : 1);
- si z =
2
por eso en Geometra Diferencial se dice que las aplicaciones de en P 2( )
x
1(u, v) = (1 : u : v),
x
2(u, v) = (u : 1 : v),
x
3(u, v) = (u : v : 1), (3.3)
forman un atlas para P 2 ( ) (vea [DoC]).
130
: 2 P 2 ( ) en una parametrizaci
Cada una de las aplicaciones x on de
2
1 : U 2, permite
una region U P ( ), y como la aplicacion inversa, x
asignar coordenadas (u, v) a un punto P del plano proyectivo, se llama carta
coordenada). Si un punto admite mas de una de esas representaciones, como
ocurre para (2 : 3 : 4), el cambio de coordenadas es diferenciable, porque
(2 : 3 : 4) = x
1 (u1, v1) = x
2(u2 , v2) = x
3 (u3, v3)
implica
(2 : 3 : 4) = (1 : u1 : v1 ) = (u2 : 1 : v2 ) = (u3 : v3 : 1). (3.4)
De la primera igualdad de (3.4) resulta (u2, 1, v2 ) = u2 (1, u1 , v1), y, por
tanto, u2 u1 = 1 y u2v1 = v2. El cambio de coordenadas esta dado por
u2 = u1 1
1 , v 2 = v 1 u1 ,
u3 = u2v21 , v3 = v21 ,
La u
ltima parametrizacion en (3.3) fue la que utilizamos para los puntos
ordinarios del plano afn; si hubieramos elegido alguna de las otras dos, la
recta al infinito tendra como ecuacion x = 0 en el primer caso, o y = 0 en el
segundo.
De hecho, tiene sentido decir que el plano afn resulta de elegir una recta
del plano proyectivo, que debe permanecer invariante bajo las transformaciones
permitidas en la Geometra Afn.
Esto u ltimo justifica la tecnica de homogeneizar una ecuacion polinomial
con coeficientes reales en dos variables, F (x, y) = 0. Tomemos como ejemplo
la ecuacion cartesiana de una conica:
esta es la ecuacion proyectiva de una conica, y con ella sera sencillo de-
mostrar, una vez que hayamos introducido el grupo de transformaciones cuyos
invariantes nos interesan, la afirmacion hecha en la introduccion a este captulo:
que todas las conicas no singulares son proyectivamente equivalentes.
Por lo pronto, note que cualquier lugar geometrico proyectivo dado por
una ecuacion polinomial homogenea, puede estudiarse usando tres ecuaciones
afines, porque hay tres formas canonicas de deshomogeneizar.
En nuestro ejemplo, si z 6= 0, podemos dividir entre z 2 y recuperamos la
ecuacion original (3.5), pero tambien podemos dividir entre y 2 para los puntos
(x : y : z) con y 6= 0, y obtenemos la ecuacion (estamos escribiendo x en vez
de x/y y z en vez de z/y)
Desde luego, podemos hacer lo analogo para x: dividir entre x2, lo cual
tiene sentido para todos los puntos (x : y : z) P 2 ( ) tales que x 6= 0; esta
vez obtenemos una ecuacion de segundo grado en y y z que no escribiremos.
132
- si z 6= 0, (z : w) = (1 : w/z);
- si w 6= 0, (z : w) = (z/w : 1),
as que esta vez basta con dos parametrizaciones que aplican en P 1 ( ), para
1 (z1) = (1 : z1 ), z1
x
de : es el lmite (si existe) del cociente del incremento del valor de la funcion
entre el incremento de la variable, cuando este u ltimo tiende a cero (vea [A] o
[Ma]).
Entonces el cambio de coordenadas z1 = z21 , es diferenciable en todos los
puntos de su dominio (definido precisamente por z1, z2 6= 0), lo mismo que su
inversa; en Variable Compleja, una funcion diferenciable se llama holomorfa
o analtica, y cuando la inversa tambien es diferenciable, a la funcion original
se le llama biholomorfismo.
Debido a esta propiedad del cambio de coordenadas, se dice que P 1 ( )
EJERCICIOS
133
depende de su direccion:
a b c x (ax + by + cz)
d e f y = (dx + ey + f z) .
g h i z (gx + hy + iz)
En consecuencia, cualquier elemento de GL(3, ) lleva puntos proyectivos
en puntos proyectivos, y tambien las rectas proyectivas se transforman en rectas
proyectivas, por la dualidad (piense en el vector normal en 3 al subespacio
bidimensional correspondiente a la recta proyectiva que se debe transformar).
Finalmente, note que cualquier m ultiplo no cero de una matriz dada M
GL(3, ), define la misma proyectividad, pues las ternas resultantes solo di-
fieren por ese multiplo; por tanto, el punto proyectivo obtenido es el mismo y,
por la dualidad, lo mismo puede decirse para una recta proyectiva.
Por eso el grupo proyectivo sera P GL(3, ), el conjunto de las clases de
matrices en GL(3, ) definidas por la relacion de equivalencia
a b c a0 b0 c0
d e f d0 e0 f0
g h i g0 h0 i0
si existe {0} tal que
a0 b0 c0 a b c
0
d e0 f 0 = d e f .
g0 h0 i0 g h i
Es interesante ver como se relacionan el transformado de un punto y la
transformada de una recta bajo una misma proyectividad.
Tomemos como ecuacion de una recta Ax + By + Cz = 0, y escribamosla
como el producto de matrices
x
(A B C ) y = 0. (3.10)
z
Como la matriz M que define una proyectividad es invertible, la relacion
P 0 = M P , implica P = M 1 P 0 , y al sustituir
1
x a b c x0
0
y = d e f y ,
z g h i z0
135
Proposici
on. Una perspectividad no es transformacion afn.
Demostraci on. Consideremos la Figura 3.14, que ilustra el plano afn, donde las
rectas L y M corresponden a los ejes y = 0 y x = 0, y el punto O desde el cual
proyectaremos L en M tiene las coordenadas (1, 1, 1). El sistema coordenado
se completa con el eje z = 0, que en el plano afn corresponde a la recta al
infinito.
El dibujo muestra que bajo la proyeccion de L en M desde O, el punto al
infinito (0 : 1 : 0) del plano afn es la imagen de un punto finito (x, 0, 1) (de
hecho, sabemos que es el punto (1, 0, 1)), y en cambio el punto al infinito de
la recta L (el eje y = 0), (1 : 0 : 0), se proyecta en un punto finito (0, y, 1)
(tambien en este caso sabemos cual es el punto: (0, 1, 1)).
Como el tipo de punto es invariante bajo transformaciones afines, hemos
demostrado que una perspectividad no puede ser una transformacion afn.2
PSfrag replacements
136
(0 : 1 : 0) y=0 (1 : 0 : 0)
M y=0
(1, 1, 1)
x=0
L
(0, 1, 1) 2
(1, 0, 1)
O
(0, 0, 1)
Pero una perspectividad s esta dada por un elemento del grupo proyectivo:
Proposici
on. Una perspectividad es una proyectividad.
x 0 1
0 y 1 = 0,
1 1 1
(0 : 1 : 0)
PSfrag replacements
(0 : y : 1)
M
(1 : 1 : 1) (1 : 0 : 0)
(0 : 0 : 1) (x : 0 : 1) L
y eso restringe a
un mas a la matriz:
0 b 0
d e 0 , i 6= 0.
g h i
139
C 0 D0
O
B0 D
A0 O0
C L
M
B
A
N
A00
00 C 00 B 00
D
cuarta:
(a1, a2, a3 ) = (b01, b02, b03 ) + (c01, c02 , c03) + (d01 , d02 , d03 ).
Basta entonces tomar (b1, b2, b3 ) = (b01, b02, b03), (c1 , c2, c3 ) = (c01, c02 , c03),
y (d1 , d2 , d3 ) = (d01, d02 , d03), para obtener los representantes buscados.2
A = B
+ C + D,
A0 = B
0 + C 0 + D
0.
Entonces, si M GL(3, ) es la u C,
nica matriz que lleva la base B, D
de
3 0, C 0, D
en la base B 0 , la linealidad implica que A0t = M At .2
O L
M
C
C 00
B
A
B 00
B0 C0 L0
A0
O0
entradas a, b, c, d, son n
umeros complejos, y que actuan sobre un elemento de
(z : w) P 1 ( ) por multiplicacion:
a b z az + bw
= .
c d w cz + dw
Entonces, excepto para el punto de P 1( ) con w = 0, tiene sentido escribir
f () = a/c, f (d/c) = .
142
mente conformes.
EJERCICIOS
1. Haga los c
alculos omitidos en la demostraci
on de que una perspectividad
es elemento de P GL(3, ).
2. Demuestre que una perspectividad es una involuci
on (i.e., es su propia
inversa).
3. Encuentre la recta transformada de 2xy +4z = 0 bajo la proyectividad
dada por la matriz
0 1 0
1 1 1 .
1 1 1
143
PSfrag replacements A0
M0
A M B
D0
C0
B0
A0
D
C
A B
a1 c1 d1 b1
a c2 d 2 b2
2
(A, B; C, D) =
c1
. (3.14)
b1 a1 d1
c b2 a 2 d 2
2
2
de un punto P0 (x0 , y0) a la recta L de ecuacion Ax + By + C = 0:
Ax0 + By0 + C
d(P0 , L) = . (3.15)
A2 + B 2
Consideremos ahora dos rectas A y B, con ecuaciones
EJERCICIOS
1. Considere los puntos 2, 0, 3 y 5 de la recta real, y establezca todas las
posibles razones dobles entre ellos.
2. Demuestre que, para puntos en 2, las f ormulas para las coordenadas
on 6= 1, son
del punto P (x, y) que divide al segmento P1P2 en la raz
x1 x2 y1 y2
x= , y= .
1 1
(Sugerencia: considere los tri
angulos semejantes que se forman al trazar
una paralela al eje X por P1, y las paralelas al eje Y por P y P2 .)
3. En la Figura 3.19, demuestre (A, B; C, D) = (A0, B 0 ; C 0, D0 ) expresando
ambas razones dobles en terminos de los senos de los angulos , , y .
4. Demuestre que, fijos cuatro puntos colineales, los u
nicos valores posibles
para las razones dobles que pueden establecerse entre ellos son , 1
, /(1 ) y sus recprocos.
5. Demuestre que cuatro puntos de un haz forman un conjunto arm
onico si
y s
olo si (A, B; C, D) = (A, B; D, C).
6. Para rectas de un haz, enuncie y demuestre resultados an
alogos a los
propuestos en los ejercicios anteriores.
7. En cada caso, demuestre que la raz on cruzada tiene el valor propuesto
cuando los elementos del haz (que pueden ser puntos colineales o rectas
concurrentes), tienen las expresiones dadas (escribimos a
para (a1 : a2)):
h1 k 2
a, b; k1a
( + h1b, k2a
+ h2b) = ;
h2 k 1
k3 h3 k4 h4
k1 h1 k 2 h2
(k1a
+ h1b, k2a
+ h2b; k3a
+ h3 b, k4a
+ h4 b) = .
k3 h3 k4 h4
k2 h2 k 1 h1
149
Todas las c
onicas no singulares son proyectivamente equivalentes.
La forma de asignar una matriz simetrica (de hecho, una clase) a una conica
proyectiva, resulta de escribir como un producto de matrices la ecuacion:
x2 + y 2 z 2 = 0.
vaco.
Para evitar el problema de que una ecuacion pueda carecer de races, en
Geometra Algebraica las variables toman valores en campos algebraica-
mente cerrados, donde cualquier polinomio con coeficientes en el, tiene una
raz, y en consecuencia todas, en el campo. El Teorema Fundamental del al-
gebra, debido a Karl Friedrich Gauss (1777-1855), establece que tiene esa
propiedad (vea [B-ML] o [A]).
Solo para el resto de este inciso, supondremos que las variables toman
valores en ; entonces, la clasificacion de las conicas se simplifica porque el
u
nico invariante es el rango y la dejamos como ejercicio para el lector.
Al tomar al azar un elemento (A : B : C : D : E : F ) de P 5 ( ), lo mas
probable es que determine una conica no singular, puesto que eso equivale a
que el determinante de la matriz simetrica no se anule.
En cambio, cuando el determinante se anula, las coordenadas del punto
151
EJERCICIOS
1. Compruebe que al proyectivizar la ecuaci
on de una c
onica no singular,
la matriz asociada es no singular.
2. En 2, de las ecuaciones de dos c onicas que pasen por los mismos 4
onicas distintas en P 2( )
puntos. Utilice esas ecuaciones para dar dos c
que se corten en 4 puntos.
onicas en P 2( ). (Sugerencia: recuerde que en este caso
3. Clasifique las c
el u
nico invariante es el rango.)
4. Demuestre que la aplicaci
on de Veronese es inyectiva.
4
2 6
P R
Q
donde OA denota la recta del haz definido por O que contiene a A, O 0 A denota
la recta del haz definido por O0 que contiene a A, y analogamente para B, C, D.
154
O
O0
PSfrag replacements
A D
B C
xt )( 0x
( t ) = 0 y (0 x
t)( x
t) = 0.
xt )( 0x
r( t ) + s(0 x
t)( x
t) = 0.
xt )(0 x
( t + 0x
t ) = 0 y (0 x
t )(
xt + x
t) = 0.
155
Demostraci on. Elegimos denotar a los puntos por numeros porque entonces
los lados opuestos (obtenidos al brincar dos lados consecutivos), se obtienen
sumando 3 modulo 6 a los vertices del lado elegido: 12 y 45 con interseccion
P ; 23 y 56 con interseccion Q, y 34 y 61 con interseccion R.
La Figura 3.22, que reproduce la Figura 3.20, no solo marca las interseccio-
nes P , Q y R de los lados opuestos, sino tambien S = 1256 y T = 1645, que
nos serviran para establecer razones cruzadas en las rectas 56 y 16, cuya igual-
dad estableceremos mediante proyecciones en la conica y el uso del Teorema
de Steiner.
El objetivo, la colinealidad de P, Q y R, se debera a que la igualdad entre
las razones cruzadas de rectas en dos haces, obligara a P Q = P R.
Escribimos (Q, S; 6, 5) para la razon doble entre los cuatro puntos en el
lado 56 del hexagono. Si proyectamos estos puntos en la conica desde el vertice
2, obtenemos, respectivamente, 3, 1, 6 y 5; por tanto,
(Q, S; 6, 5) = (3, 1; 6, 5).
PSfrag replacements
156
1 3
5
4
2 6
S T
P R
Q
PSfrag replacements A D
B M C
Note que eso equivale a decir que (B, C; M, ) forman un conjunto armo-
nico de puntos, donde es el punto al infinito de la recta BC.
Como en la Geometra Proyectiva no hay paralelas, el enunciado toma la
forma siguiente.
PSfrag replacements
La igualdad del primer y el u
ltimo miembros es lo que buscabamos.2
G
D A
N
D
L
B M C F
EJERCICIOS
1. Demuestre que una c onica es el lugar geometrico de las intersecciones de
rectas correspondientes de dos haces ligados por una proyectividad.
2. Demuestre el Teorema de Pascal en el caso del hex
agono ilustrado.
5
PSfrag replacements 1
3
6
4 2
3. Dualice el concepto de c
onica utilizando la caracterizaci
on proyectiva de
c
onica.
(0 : 1 : 0)
PSfrag replacements
(0 : 0 : 1) (1 : 0 : 0)
2 (SM S t ) + 2(SM Rt ) + RM Rt = 0,
S1
PSfrag replacements
R
S2
L L0 B0
A
R
B A0
X Y
Definici
on. Un triangulo ABC se llama tri angulo autopolar respecto a
onica C, si cada lado es la polar del vertice opuesto.
una c
Dadas dos conicas, hay un triangulo que sea autopolar respecto a ambas?
Una pregunta como esta debe analizarse siempre desde el punto de vista de
los grados de libertad, esto es, de las dimensiones de los objetos involucrados.
El espacio de los triangulos en P 2( ) tiene dimension 6 (porque cada vertice
puede tomarse arbitrariamente en el plano proyectivo), y la dimension del
espacio de los triangulos autopolares respecto a una conica tiene dimension 3,
puesto que el primer vertice puede tomarse arbitrariamente en un espacio de
dimension 2, P 2 ( ), el segundo vertice puede tomarse arbitrariamente en un
espacio de dimension 1, la polar del primer vertice, y el u ltimo vertice ya no
tiene libertad alguna.
Si ahora tenemos dos conicas, pretender que haya triangulos autopolares
163
Teorema. Dadas dos conicas que se cortan en cuatro puntos, existe siempre
un triangulo autopolar respecto a ambas.
Lema. Dado un punto P que no pertenece a una conica C y una recta por P
que corta C en C y D, si M es la interseccion de la polar P de P , ocurre que
(P, M ; C, D) = 1. Y recprocamente, si M es tal que (P, M ; C, D) = 1, M
pertenece a la polar de P .
Demostraci on del Lema. Si las coordenadas de C y D son (1 : 0 : 0) para C y
(0 : 1 : 0) para D, la ecuacion de la conica es de la forma xy+z(kx+ly+mz) = 0
(porque la conica no es singular), con k, l, m constantes, y las coordenadas de
P y M son de la forma (1 : r : 0) y (1 : s : 0), respectivamente. Al establecer la
condicion de que P y M sean polares, resulta r + s = 0 y con ello, la condicion
de armonicidad. El recproco es obvio.2
El teorema es consecuencia de este lema y el de la seccion anterior:
C M L D
P
PSfrag replacements Q
M
B
C P
Para terminar esta seccion, vale la pena mencionar que la condicion im-
puesta en el enunciado del teorema se da naturalmente cuando el campo de
coeficientes es , seg
un lo establece un resultado muy importante sobre curvas
165
algebraicas que no demostraremos (vea [Fu]), pero que s explicamos, pues nos
permitira demostrar que el grado de una ecuacion polinomial es un invariante
proyectivo.
#{T (F ) T (G)} = m,
pues los puntos comunes van en puntos comunes y no puede haber nuevos
puntos comunes para las imagenes, por la inyectividad de T .
Como P GL(3, ) es un subgrupo de P GL(3, ), el resultado sigue siendo
EJERCICIOS
1. Demuestre que las polares de puntos colineales son concurrentes.
2. Demuestre que una recta por un punto del interior a una c
onica (carac-
tercelos), no puede ser tangente a la c
onica.
166
B
PSfrag replacements
El Principio del Mnimo Esfuerzo asegura que esa es la curva que minimiza
la tension en la liga porque la longitud tambien lo hace. (Por una deformacion
del lenguaje, no se le llama circunferencia maxima, sino crculo maximo, tal
vez porque de las secciones planas de una esfera solida, la de mayor area se
obtiene cuando el plano pasa por el centro.)
En Geometra Diferencial [vea DoC], se dice que una curva de una superficie
contenida en 3 es una geod esica de esa superficie en uno de sus puntos, si su
vector de aceleracion es ortogonal al plano tangente a la superficie en el punto.
Eso da lugar a un sistema de ecuaciones diferenciales de segundo orden
que determinan las geodesicas cuando se fijan las condiciones iniciales: un
punto por el que pase la geodesica y la velocidad con que lo hace. (La solucion
de ese sistema de ecuaciones existe y es u nica por el Teorema de Existencia y
Unicidad de Solucion de Ecuaciones Diferenciales, vea [L])
El motivo de pedir que se anule la componente tangencial de la acelera-
cion, es que las rectas del plano euclidiano tienen aceleracion cero, y es facil
demostrar que las curvas de una superficie en 3 con esa propiedad, minimizan
la distancia entre puntos suficientmente cercanos.
La u
ltima puntualizacion,suficientemente cercanos, se justifica si notamos
que dos puntos de un crculo maximo que no sean antpodas determinan dos
arcos, y solo uno de ellos da la ruta de longitud mnima.
En el plano, las rectas nos sirven para formar triangulos y polgonos, y
de ellos establecimos algunas propiedades en el Captulo 1; ahora podemos
plantearnos que resultados obtenemos cuando las geodesicas de la esfera juegan
el papel de rectas.
168
Este hecho es una de las negaciones posibles del Axioma de Playfair, mismo
que equivale al Postulado V; entonces, la Geometra Elptica es una geometra
no-euclidiana.
Otro resultado contrastante con el caso euclidiano es:
2. Las rectas elpticas tiene longitud finita (de hecho, ), y el plano elptico
mismo tiene area finita, 2 (la mitad del area de S 2).
T3 T2
T T
T30
T20
T1
Al sustituir en (3.26) el valor que acabamos de obtener para T +T1 +T2 +T3,
resulta
2T + 2 = 2( + + ), (3.28)
y como T > 0 porque es el area de un triangulo elptico, hemos demostrado
que la suma de los angulos de un triangulo elptico es mayor que . 2
Por u
ltimo, notemos que la ecuacion (3.28) nos dice que
r2 r1
PSfrag replacements
r1 r2
2 1
Los resultados que hemos obtenido son solo una parte de la Geometra
Elptica, y la esfera misma tiene propiedades muy importantes que no hemos
mencionado; para conocer varias de ellas, el lector puede consultar [H-C].
u nicamente mencionaremos el tema de los mosaicos esfericos, esto es, de-
terminar todas las formas posibles de tapizar la esfera con polgonos esfericos
regulares y congruentes entre s.
El total de las posibilidades resulta al proyectar los solidos platonicos en
la esfera desde el centro de esta, y solo hay que a
nn adir el caso degenerado de
dos hemisferios, cada uno de los cuales puede considerse un polgono de dos
lados (meridianos) que forman un angulo de 180 (por eso le llamamos caso
degenerado). La justificacion de que no hay mas posibilidades se la dejamos al
lector (vea el Ejercicio 4).
EJERCICIOS
1. Verifique la validez de los cuatro primeros postulados euclidianos en el
plano elptico.
tri
angulo elptico.
3. Determine la mnima cota superior para la longitud de una circunferencia
elptica.
4. Demuestre que hay unicamente cinco mosaicos regulares esfericos no de-
generados con los cuales puede tapizarse la esfera.
5. Un solido plat
onico est
a inscrito en una esfera S, pero si tomamos una
esfera con el mismo centro y de radio menor que el de S que corte a
cada arista del s
olido platonico en dos puntos, es posible utilizar esos
puntos para obtener otros enmosaicados de la esfera menor, que aunque
no estan formados u nicamente por polgonos esfericos congruentes, s
presentan ciertas simetras. Puede determinar el subgrupo de O(3) que
deja invariante a cada uno?
4
Geometra Hiperb
olica
173
174
PSfrag replacements
L
P
PSfrag replacements
cuerdas rectas hiperb olicas, y es claro que hay muchas de ellas que contienen
al punto P y que no cortan a la recta L: todas las cuerdas del sector en gris.
Se cumple as la negacion N 2 del Postulado V (vea el Apendice 5.3).
Como las rectas hiperbolicas de este modelo son segmentos de rectas eu-
clidianas, podra pensarse que no hemos hecho nada realmente nuevo. La di-
ferencia esta en la metrica que se da para este modelo (vea [Ve]), que no
esta inducida por el producto punto usual, y que tiene como consecuencia, por
ejemplo, que las rectas hiperbolicas tengan longitud infinita, es decir, un punto
que se desplace hacia la frontera con velocidad constante jamas la alcanzara.
La construccion de la metrica hiperbolica la haremos con cuidado mas
adelante, usando otro de los modelos.
La validez del Postulado I es inmediata (vea el Apendice 5.4), pues por
dos puntos del plano hiperbolico siempre es posible trazar el segmento co-
rrespondiente, y tambien es cierto que podemos extender esa segmento para
obtener una recta hiperbolica completa, esto es, una cuerda que, como veremos,
resultara tener longitud infinita. Por tanto, tambien sera valido el Postulado
II.
Cuando presentemos el modelo en el que definiremos la forma de medir
longitudes y angulos, el lector podra comprobar que las rectas con un mismo
punto al infinito son tangentes en el (note que cada recta tiene dos, no uno,
puntos al infinito). Eso no es lo que vemos en el modelo proyectivo, pues las
cuerdas que tienen un punto de la frontera en com un forman angulos distintos
de cero; entonces, en este modelo, un angulo es el que leemos al verlo (puesto
que la u nica intuicion que hemos desarrollado es la euclidiana), y otro el que
nos dara la formula.
La razon de llamar proyectivo a este modelo es que el grupo de transforma-
ciones permitidas en el, es el subgrupo de P GL(3, ) obtenido al fijar la conica
x2 + y 2 z 2 = 0. Para evitar confusiones debidas al termino proyectivo, a
este modelo lo llamaremos modelo de Beltrami.
x2 y 2 z 2 = 1.
origen, resulta una rama de hiperbola que es una recta hiperbolica de este
modelo.
El lector estara de acuerdo en que estamos proyectando (desde el origen)
las rectas del primer modelo en el hiperboloide; esta proyeccion es biyectiva
y, en consecuencia, en el modelo del hiperboloide es posible encontrar muchas
rectas M0 que pasan por un punto Q0 exterior a una recta L0 , sin cortarla.
Z
PSfrag replacements M0 L0
Q0
L z=1
Q
M
X
Y
Los otros dos modelos del plano hiperbolico se deben a Henri Poincare
(1854-1912), y son los mas adecuados para desarrollar la intuicion hiperbolica
porque s son conformes.
concavas a la izquierda.
L
PSfrag replacements
PSfrag replacements
X
P
El modelo del semiplano superior tiene un origen fsico, que se explica as.
Cuando una cuchara esta sumergida en el agua de un vaso, al mirar a
traves del vaso parece que la cuchara esta doblada; eso se debe a que la luz no
continua viajando en lnea recta cuando pasa de un medio (el aire) a otro (el
179
Ley de Refracci on (W. Snell, 1621). El producto del seno del angulo de
incidencia por el coeficiente de densidad del medio del que procede la luz, es
igual al producto del seno del angulo de refraccion por el coeficiente de densidad
del medio al que se introduce (vea la Figura 4.6, donde los angulos se miden
con respecto a la perpendicular).
d1 sen = d2 sen.
PSfrag replacements
1
d1
d1
d1
d2
2 d2
2
2
d2 d3
3
Concluimos este inciso exhibiendo las biyecciones entre los distintos mo-
delos; como ya tenemos una entre el modelo de Beltrami y el modelo del
hiperboloide, basta dar una biyeccion entre el modelo de Beltrami y los de
Poincare.
Para ello, consideramos la esfera S 2 de 3 y ubicamos el modelo proyectivo
en el disco del ecuador (vea la Figura 4.7 (a)).
180
(0, 0, 1) (0, 0, 1)
L
L 0
PSfrag replacements L
L0
Y Y
X X
(a) (b)
EJERCICIOS
1. Verifique que una parametrizaci
on de la tractriz es
t
(t) = sent, cos t + log tan( ) ,
2
donde t mide el angulo que el vector de posici
on de (t) forma con el eje
vertical (vea la Figura 4.1).
2. En el modelo proyectivo, encuentre dos rectas hiperb olicas que contengan
al punto (0 : 0 : 1) y que no corten a la recta 2x z = 0.
3. Determine la recta hiperb olica del modelo del hiperboloide, en que se
proyecta la recta del modelo proyectivo que pasa por los puntos (1 : 0 : 1)
y (0 : 1 : 1) de D1 .
4. Demuestre que la biyecci
on establecida entre los dos modelos de Poincare,
es conforme.
5. En el modelo del disco de Poincare, , marque cuatro puntos de la fron-
tera que la dividan en arcos congruentes (euclidianamente), y trace las
rectas hiperbolicas que unen dos puntos consecutivos. Divida ahora cada
arco en dos partes iguales, y trace las rectas hiperbolicas que unen los
nuevos puntos con sus adyacentes. Itere el proceso mientras pueda. Esos
polgonos se llaman ideales, porque sus vertices son puntos al infinito.
6. En el modelo del disco de Poincare, , marque en la frontera ocho puntos
1, 2,..., 8, que la dividan en arcos congruentes, y trace las rectas del mo-
182
delo que unen 1 con 3, 2 con 4, etc. Observe que estas rectas hiperb
olicas
determinan un oct agono regular. Tomando en cuenta que los modelos
de Poincare s son conformes, diga cu anto miden los a ngulos en que
se cortan dos cualesquiera de las rectas, y cuanto mide la suma de los
a
ngulos interiores de este oct
agono regular hiperbolico.
7. Generalice el metodo utilizado en el ejercicio anterior, para construir
polgonos hiperb
olicos regulares con n > 4 lados.
8. Proponga un proceso similar al anterior para construir un tri
angulo re-
gular hiperb
olico sin vertices al infinito.
9. Observe que en el segundo paso del Ejercicio 5 obtuvo un oct agono ideal
cuya suma de a ngulos interiores es 0 , mientras que para el oct agono
ordinario del Ejercicio 6 la suma de los a
ngulos interiores fue mayor que
2. Puede dar un argumento que justifique la existencia de oct agonos
hiperb
olicos regulares cuya suma de a ngulos interiores sea exactamente
2?
10. En el modelo del semiplano superior, H + , trace varios tri angulos y en
uno de ellos verifique que la suma de los a
ngulos interiores es menor que
180 (recuerde que los angulos se miden de la manera usual).
11. En cada uno de los modelos de Poincare, trace una recta hiperb olica L
y, para cada uno de sus dos puntos al infinito, trace varios elementos del
haz de paralelas a L.
4.2. Transformaciones
del Plano Hiperb
olico
Como tenemos varios modelos del plano hiperbolico. en cada uno de ellos
debemos dar transformaciones que no solo sean biyecciones entre los puntos,
sino tambien biyecciones entre las rectas. Empezamos con el modelo de Bel-
trami, y el del hiperboloide lo dejaremos como ejercicio para el lector.
x2 + y 2 z 2 = 0. (4.1)
183
decir:
z i
Q(z) = , (4.2)
iz + 1
- traslaciones: T (z) = z + b;
- composicion de la reflexion en el eje real con la inversion en la circunfe-
rencia unitaria (vea el Apendice 5.6): T (z) = 1/z.
Aunque eso basta para asegurar que una transformacion de Mobius necesa-
riamente lleva una circunferencia en otra (admitiendo las de radio infinito, las
rectas euclidianas), comprobaremos esto u ltimo directamente en un momento
con un calculo sencillo.
Entonces, el subgrupo de P SL(2, ) que lleve los puntos de cada modelo
en puntos de ese mismo modelo, tambien llevara rectas del modelo en otras
rectas del modelo, pues en ambos casos se trata de circunferencias ortogonales
a la frontera.
esas seran las isometras que preservan el sentido de los angulos, que hemos
llamado directas.
Las transformaciones de cada modelo que jugaran el papel de las reflexiones
euclidianas, se obtendran componiendo las isometras directas con una trans-
formacion que invierta el sentido de los angulos y que deje invariante al modelo
en cada caso.
185
az + b
f (z) = ,
cz + d
z + z z z
x= , y= , (4.4)
2 2i
186
a b z az + b
= ;
c d 1 cz + d
entonces, como el determinante de la matriz es 1, su inversa (que corresponde
a f 1 ) es:
d b
,
c a
y en consecuencia,
dw b
z = f 1 (w) = .
cw + a
El conjugado de una suma de n umeros complejos es la suma de los con-
jugados, y lo analogo ocurre con los productos; por eso, para obtener z basta
conjugar todos los terminos de la derecha, es decir,
dw b
z = .
cw+a
El lector queda encargado de comprobar que la expresion resultante de
sustituir z y z en (4.5),
! ! ! !
dw b dw b dw b b
dw
A +B +B + C = 0,
cw + a cw+a cw + a
cw +a
187
w1, w2 , w3. Si estos u ltimos se ubican en el eje real, la circunferencia C por z1, z2
y z3 se aplica en la recta real y para cualquier otro punto z C, la razon doble
(z1, z2; z3, z) es real porque (w1 , w2; w3 , T (z)) lo es.2
delo, basta pedir que la frontera orientada del conjunto considerado quede
invariante bajo las transformaciones permitidas, puesto que al conservarse el
sentido de los angulos, la region que se ubica a la izquierda cuando recorremos
la frontera como lo indica la Figura 4.8, se aplica nuevamente en la region
situada a la izquierda. Es claro que las transformaciones con esa propiedad
forman, en cada caso, un subgrupo de P SL(2, ).
Im Y
PSfrag replacements
+90o
+90o +90o
X
G+ +
H + , y al que fija al disco lo denotaremos G .
Tomemos primero el caso del semiplano superior H + .
Si f P SL(2, ) es tal f (z) H + para todo z H + , tambien ocurre que
188
az + b a(
z) + b
f (z) = o f (z) = ,
cz + d c(
z) + d
donde a, b, c, d y ad bc = 1.
az + b
f (z) = , donde |a|2 |b|2 = 1.
b+a
190
Por tanto, en el caso del disco hiperbolico, el grupo cuya geometra estu-
diaremos, G , tiene elementos de la forma:
az + b az+b
h(z) = o h(z) = ,
bz + a
b
z+a
EJERCICIOS
1. Demuestre que el conjunto de transformaciones T P GL(3, ) que fijan
la c
onica (4.1), es un grupo GC .
on z 7 z de
5. Demuestre que la aplicaci en , es un isomorfismo del
campo en s mismo que fija puntualmente .
cz 2 + (d a)z b = 0. (4.7)
El Teorema Fundamental del algebra asegura que las dos races pertenecen
a , y para obtenerlas usamos la formula de costumbre.
Las consecuencias geometricas de este hecho algebraico son muy interesan-
tes.
Examinemos primero el caso en que 6= ; del lema en 4.2 es inmediato
que cualquier circunferencia en el plano complejo extendido b que pase por
N c1 c2
c01
PSfrag replacements N
c1 c2
c02 c01
S S
c02
c2
L
= f () = f ()
(a)
f (c2)
c1
c2
= f ()
PSfrag replacements
(b)
c1
c2 f (c2)
(c)
Los dibujos analogos a los de la Figura 4.10 para el modelo debera rea-
lizarlos el lector.
Para este tema, la referencia clasica es [Be], y tambien puede consultarse
el Seminario Chileno de Geometra Compleja [G-R].
196
EJERCICIOS
omo se transforma la red de Steiner bajo Q1, y haga los dibujos
1. Analice c
correspondientes a la Figura 4.10 en el caso de .
2. Demuestre la afirmaci
on hecha en la Observaci
on final.
4.4. La m
etrica hiperb
olica
Mencionamos ya que sera necesario modificar la forma en que medimos
las longitudes para lograr encontrar, en nuestro espacio tridimensional, una
superficie que modele la Geometra Hiperbolica.
Los modelos que hemos propuesto son subconjuntos del plano, pero no
sera correcto decir que son subconjuntos del plano euclidiano precisamente
porque mediremos de una forma distinta, para la cual las rectas propuestas
son geodesicas, es decir, curvas que minimizan esa nueva distancia entre dos
de sus puntos.
Una consecuencia del resultado de Hilbert que mencionamos en la seccion
4.1, es que para poder ver al plano hiperbolico como subconjunto de un n
con la metrica inducida por el producto escalar usual, es necesario que n 4.
El Ejercicio 6 de esta seccion ayudara a convencer al lector de que el plano
hiperbolico no cabe en 3.
La motivacion fsica del modelo del semiplano superior planteo que cuando
el medio se vuelve mas denso a medida que nos aproximamos al borde, la
luz, cuya velocidad es constante, debe modificar su trayectoria a fin de seguir
avanzando con la misma velocidad. Si la densidad en el borde es infinita, la luz
no puede alcanzar el borde y por eso la longitud de una geodesica sera infinita.
Una forma muy sencilla de lograr eso es modificar el producto punto eucli-
diano (que es basico para medir distancias y angulos) de forma que las normas
se incrementen al acercarnos a la frontera.
Definici
on. El producto escalar hiperb
olico de dos vectores en el semi-
197
plano superior, u
y v, anclados en el punto z = x + iy, esta dado por
E v
u
u H v = ,
y2
donde E denota el producto punto usual del plano euclidiano (vea la Figura
4.11).
Note que este producto escalar hiperbolico hereda del producto escalar
usual, las propiedades necesarias para un producto escalar:
- su valor es un n
umero real para cualesquiera u y v anclados en un mismo
punto; es no negativo cuando u = 0;
= v y, en este caso, se anula solo si u
- abre sumas y saca escalares de cada factor, es decir, es bilineal;
- su valor no depende del orden de los factores: es simetrico.
PSfrag replacements
v
1 k
v kH
u
(x, 1) v
1
2 u
k
ukH
(x0, 12 )
Ciertamente, la forma de calcular la norma vara con el punto (t) en que esta
anclado el vector tangente, pero si la curva es suave la variacion es continua y
eso da sentido a la integral.
198
donde t (0, ).
Bastara demostrar que la longitud de la semirrecta correspondiente a (0, 1]
es infinita; recuerde que la forma de calcular la longitud de una curva es analoga
a la usual, solo que la norma del vector tangente es la norma hiperbolica:
Z 1 Z 1
0 0
||(x (t), y (t))||H dt = lm ||(0, 1)||H dt
0 a0 a
Z 1
1
= lm dt
a0 a t
= lm ln t|1a = lm(0 ln (a)) = +. (4.11)
a0 a0
az + b
f (z) = ,
cz + d
con a, b, c, d , y por (4.9) tenemos:
b a ai + b
= 1 : = 1; = i.
d c ci + d
Entonces,
b = d; a = c; ai + b = di c, que implica a = d, b = c.
dz d z1
f (z) = = .
dz + d z+1
Los puntos de la parte positiva del eje Y tienen la forma z = it, por lo que
al aplicarles f obtenemos:
c3
f (c1)
c2 f
f (c2)
c1
f (c3)
PSfrag replacements
Q1
Q5
Q4 P3 P4
Q3 P2
Q2 P1 L
Q1
H
Note que dos rectas hiperbolicas paralelas, es decir, con un punto al infinito
en com un, no son curvas equidistantes, pues la distancia hiperbolica entre ellas
(la longitud del segmento de perpendicular de P L a M) crece a medida
que el punto P se aleja del punto al infinito.
En la Figura 4.13 ilustramos el caso en que una de las rectas hiperbolicas es
una paralela M al eje imaginario: la distancia de L a la recta M crece tanto
como se quiera cuando P tiende al otro punto al infinito de L; en cambio,
cualquier semirrecta euclidiana E por H s es una curva equidistante de M. El
lector puede hacer la demostracion si nota que todos los arcos de Qi a M son
homoteticos.
No hemos analizado a un como se ve una circunferencia hiperbolica; el con-
cepto tiene sentido puesto que, fijo un punto C, en cualquier direccion a partir
de el podemos trazar una recta hiperbolica y medir sobre ella una distancia
fija de antemano r (vea la Figura 4.14).
202
Im
2i
PSfrag replacements
i
1
2i
Para terminar este inciso, conviene decir cual es la metrica en el caso del
disco, y expresar la distancia hiperbolica en terminos de la razon cruzada.
Habamos planteado que, al dar una metrica para uno de los modelos,
podramos definir la metrica en otro de los modelos utilizando una biyeccion
entre ambos.
Utilizando la biyeccion establecida por (4.2):
zi
Q(z) = ;
iz + 1
es posible demostrar que el producto escalar para el modelo del disco esta dado
por la formula
u E v
4
u v = , (4.13)
(1 r2 )2
donde r es la distancia del punto de apoyo de los vectores al centro del disco
(vea la Figura 4.15).
v
p u
PSfrag replacements r
Figura 4.15: C
omo medir en el modelo del disco de Poincare.
PSfrag replacements
z
z w
EJERCICIOS
1. Demuestre que la semirrecta euclidiana E de la Figiura 4.13, es una curva
olica M.
equidistante de la recta hiperb
2. Demuestre que dos rayos euclidianos que parten de un mismo punto al
infinito de H + , son curvas equidistantes con la metrica hiperb
olica.
on euclidiana z 7 z + b, con b
3. Es la translaci una traslaci
on en el
plano hiperbolico? Justifique su respuesta.
4. Demuestre la Proposici on 2. (Sugerencia: localice dos puntos A y B del
eje imaginario a la misma distancia hiperb olica r de i, y determine la
circunferencia euclidiana C de diametro AB. Para cualquier recta hiper-
olica L por i, calcule la longitud hiperb
b olica del segmento de i a L.)
5. Justifique la f
ormula (4.13).
6. Demuestre que hay polgonos hiperb
olicos regulares de n lados con todos
sus a
ngulos rectos si n > 4.
7. Construya varios hex agonos euclidianos regulares, todos congruentes, y
cortando a lo largo de un radio, a
nada a cada uno un tri
angulo congruente
con los seis que forman el hex agono. Ahora pegue los hex agonos unos
con otros a lo largo de uno de sus lados; si el n umero de hexagonos
modificados es grande, el objeto no es comodo de manipular, pese a que
s
olo en los centros de los hexagonos se tiene curvatura negativa. Esto
ilustra la imposibilidad de que el plano hiperb olico quepa en 3 con la
metrica inducida.
8. Demuestre, a partir de (4.14), que dH satisface la desigualdad del tri
an-
gulo.
A
PSfrag replacements
C
0
0
B
Demostraci on. Usamos una isometra para llevar el vertice A al centro del
disco, y as dos lados son radios, mientras que los otros dos vertices determinan
el lado BC, perteneciente a un arco perpendicular al borde del disco (vea la
Figura 4.17). Los angulos hiperbolicos y , son menores que los respectivos
angulos euclidianos 0 y 0; entonces,
180 = + 0 + 0 > + + .2
Im C
B
0
Figura 4.18: Area(ABC) = 180o (0 + + ).
area de P = 2 ( + + + ).
A
D
PSfrag replacements O A0
A00
Demostraci on. En este caso, tomamos el modelo del disco y, mediante una
isometra, ubicamos el vertice del haz en el centro O del disco. Para un punto
fijo arbitrario D , el punto correspondiente a D en una de las rectas del
haz, es el punto A tal que OAD es un triangulo isosceles, por eso no solo los
angulos miden lo mismo, sino que todos los segmentos OA miden lo mismo,
dH (O, D) (vea la Figura 4.19).
El resultado siguiente no debe sorprendernos, despues de la observacion
hecha en la demostracion de [1], pero tiene el merito de definir un n umero
asociado a la Geometra Hiperbolica.
PSfrag replacements
A1 B1
A2 B2
L
P1 P2
[5] (Janos Bolyai, (1802-1860)) El angulo 2 formado por las dos paralelas a
una recta L por un punto P exterior a ella, depende u nicamente de la distancia
del punto a la recta (y se llama a
ngulo de paralelismo).
P1
PSfrag replacements
a
L P1
2
P2 P
P2
Figura 4.21: El
angulo de paralelismo depende de a.
El u
ltimo resultado que mencionaremos, muestra como puede extenderse el
modelo del semiplano superior a dimensiones mayores, y tiene la particularidad
de hacer enfasis en el hecho de que en el espacio hiperbolico hay subconjuntos
(de dimension menor), para los cuales es valida la Geometra Euclidiana.
211
Y
X
EJERCICIOS
1. Demuestre que cualquier tri angulo en H + cuyos vertices sean puntos
hiperb
olicos, puede obtenerse a partir de tri
angulos con un vertice ideal.
Comencemos por observar que tanto para las traslaciones de 2 como para
la aplicacion antpoda en S 2, cada punto tiene una vecindad en la hay solo un
representante de las clases de equivalencia de cada uno de sus puntos (vea la
Figura 4.23), y por eso, en regiones suficientemente peque nas, el objeto nuevo
se comporta como el original en cuanto a la manera de medir.
Un subgrupo de un grupo de isometras con la propiedad anterior, se llama
subgrupo discontinuo.
No ocurre eso con un subgrupo generado por una rotacion o por una refle-
xion.
Si consideramos una rotacion por 2/n en 2, cualquier vecindad del pun-
214
PSfrag replacements
En el caso del subgrupo generado por una rotacion, tendramos una situa-
cion peculiar al formar el objeto cociente: una vecindad del punto fijo semeja
mas a un cono que a un plano, pues los vectores tangentes de curvas diferencia-
bles que pasan por ese punto no forman un plano. En el caso de una reflexion,
los puntos de la recta en la cual se refleja no tienen vecindades homeomorfas a
un disco, sino a medio disco con el diametro incluido; ese tipo de situaciones
exigen un tratamiento especial, pues se trata de variedades con frontera (vea
[G-R]).
R T (R)
|a| |a|
Figura 4.24: C
omo localizar T (R) para una transformaci
on hiperb
olica.
En vista del papel especial que juega la recta L para determinar el trans-
formado bajo T de cualquier punto R del plano hiperbolico, se dice que L es
el eje de T , y la distancia entre P L y T (P ) L se denomina distancia
de traslacion.
El hecho que deseabamos demostrar, es que la distancia entre un punto y
su transformado es mayor para puntos fuera del eje de traslacion que en el
caso de puntos en L, pues el arco de la geodesica determinada por R y T (R),
que ya euclidianamente tiene una longitud mayor que el arco de L, tiene una
longitud a
un mayor en la metrica hiperbolica. Por tanto, la distancia entre un
punto R y su transformado T (R) bajo una transformacion hiperbolica, toma
su mnimo en los puntos del eje L.
216
T2(L)
A D
|b|
L B |a| C
T1(M)
M
|b|
PSfrag replacements L
|a|
diferenciable.
Al final de la seccion 3.4 dijimos que las superficies con esa propiedad se
llaman superficies de Riemann, y es facil demostrar que resultan orientables.
En consecuencia, los objetos con los que trataremos seran superficies compactas
y orientables.
Ahora bien, las superficies con esas caractersticas han sido ampliamente
estudiadas, y sabemos como son gracias a dos teoremas muy importantes. No
damos aqu su demostracion, pero s proporcionamos al lector referencias donde
puede encontrarlas.
El primer teorema que mencionaremos pertenece a la rama de las matema-
ticas denominada Topologa, y a su demostracion esta dedicado [I], que es un
libro muy accesible, aunque aparece tambien en las referencias sobre superficies
de Riemann, como por ejemplo [Spr].
4.28).
PSfrag replacements
1
2
1
...
2
Figura 4.28: Las superficies compactas y orientables son: la esfera y toros con un
cierto n
umero de asas.
Note que cada asa da lugar a dos curvas cerradas i , i que no pueden
deformarse a un punto sin salir de la superficie, y se puede demostrar que
tampoco es posible deformar alguna de esas curvas correspondientes a un asa,
en otra de ellas correspondiente a otra asa.
Los topologos construyen toros con g asas a partir de un polgono con 4g
lados, cuyos lados identifican como lo muestran las flechas de la Figura 4.29
para el caso del toro de genero 2.
El n
umero g de asas se denomina el g enero de la superficie S, y entre el
genero y la caracterstica de Euler de la superficie, X (S), existe la relacion (vea
[I] o [Spr]):
X (S) = 2 2g,
El lector quedo encargado de demostrar que en el plano hiperbolico hay
polgonos regulares si el n
umero de lados es mayor que 4, y cuyos angulos
sumen 2.
Lo anterior asegura la existencia de elementos en G que identifican dos
220
lados con el mismo smbolo y orientaciones opuestas (como ocurrio con las
translaciones en el caso de un cuadrado euclidiano).
El otro teorema que nos interesa enunciar, afirma eso (y mas), y es conocido
como Teorema de Uniformizaci on.
Este Teorema pertenece a la rama de las matematicas denominada Geo-
metra Compleja, y a su estudio estuvieron dedicados muchos matematicos de
primera lnea, que inclusive debieron crear teoras nuevas para comprenderlo
cabalmente. La demostracion del Teorema de Uniformizacion, que es bastante
complicada, fue realizada simultanea e independientemente en 1907 por Paul
Koebe (1882-1945) y por Henri Poincare, pero su germen se encuentra en un
teorema celebre debido a Riemann:
-diferenciable.
Note que un biholomorfismo respeta los angulos, con todo y su sentido (por
que?), y eso justifica decir que si entre dos superficies hay un biholomorfismo,
las superficies son conformemente equivalentes.
Nosotros ya hemos exhibido un tal biholomorfismo en el caso de que R sea
un semiplano: la transformacion Q : H + dada por (4.2).
Las referencias para el Teorema de Uniformizacion son [Spr] y [F], y para
el Teorema de la Aplicacion de Riemann, [A].
Para las superficies que nos ocupan, las superfices de Riemann compactas,
la version coloquial del Teorema de Uniformizacion afirma que b tiene una
geometra (doblemente) elptica, que los toros con un asa tienen una geometra
parabolica (plana), y que los toros con g 2, tienen una geometra hiperbolica.
Eso, como consecuencia de que entre las superficies de Riemann mas sen-
cillas desde el punto de vista topologico, b ,
y , no es posible establecer
una funcion biyectiva f que sea un biholomorfismo (note que biholomorfismo
implica homeomorfismo):
imagen este contenida en el disco , es una funcion acotada; para ese tipo de
funciones, hay un teorema de Variable Compleja, el Teorema de Liouville (vea
[A]), que asegura que la funcion debe ser constante. Pero entonces la imagen de
la funcion no puede cubrir a , y por eso y tampoco son conformemente
equivalentes.
b1
1
a1
1
a2
b1
H1
H3
b2
a1
a1
2 b1
2
EJERCICIOS
1. Demuestre que si T es una transformaci olica con eje L, d(P, T (P ))
on hiperb
no depende de P L.
2. Utilice el homeomorfismo establecido por la funci
on tangente entre el
intervalo (/2, /2) y , para dar un homeomorfismo entre y .
3. Demuestre que cualquier toro con g asas puede obtenerse a partir de un
4g-
agono regular hiperb
olico usando transformaciones hiperb
olicas, si se
cuida de que los a
ngulos tengan el tama
no adecuado.
4. Que condici on f : 2 para que tenga
on debe satisfacer una funci
sentido decir que tambien define una funcion en el cilindro euclidiano
223
2
creado como cociente de por el subgrupo generado por la traslaci
on
T(1,0)?
5. Establezca las condiciones que debe cumplir una funci on f : 2
para que tenga sentido que tambien define una funci
on cuyo dominio sea
el toro plano del Captulo 1.
alogo en el caso de f :
6. Tiene sentido plantearse un problema an
y un toro con mas de un asa?
7. Agrande la Figura 4.30 y a nadale al menos los oct
agonos resultado de
aplicar hi y h1
i con i = 1, 2, 3, 4.
4.7. Mosaicos
Abordaremos ahora el problema de tapizar el plano hiperbolico con mo-
saicos congruentes, y encontrar el grupo de isometras que dejen invariante a
dicho enmosaicado.
A diferencia de los casos euclidiano y elptico, hay un n umero infinito de
maneras de tapizar el plano hiperbolico con mosaicos congruentes; como ve-
remos, eso es consecuencia de la forma en que se construye un enmosaicado
hiperbolico, y del hecho de que haya triangulos cuya suma de angulos es tan
peque na como se quiera.
Nuestro u nico proposito formal en este inciso sera mostrar como construir
enmosaicados hiperbolicos utilizando polgonos hiperbolicos de cualquier n u-
mero de lados. Construiremos nuestros ejemplos en el disco , y pediremos al
lector convertirlos en enmosaicados de H + .
En cuanto al lado l udico de este problema, quien lo utilizo en forma magis-
tral fue el ya mencionado grabador holandes M. C. Escher pese a que, al menos
al principio, no saba que estaba utilizando transformaciones hiperbolicas1.
Escher decoro los polgonos hiperbolicos con imagenes diversas para crear
varios de sus mas celebres grabados; si el lector los analiza desde el punto de
vista de este inciso (vea [Er] y [Es]), ganara en intuicion hiperbolica, pues en
1
En matem aticas nunca obtuve ni siquiera un suficiente. Lo curioso es que, a lo que
parece, me vengo ocupando de matem aticas sin darme cuenta bien de ello. Quien se iba a
imaginar que los matem aticos ilustraran sus libros con mis dibujos, que me codeara con
hombres tan eruditos como si fueran mis colegas y hermanos! Escher, en [Er]
224
Dos de las figuras de la seccion anterior, 4.27 y 4.30, muestran como cubrir
el disco de Poincare con mosaicos hiperbolicos: los primeros son cuadrilateros
ideales, con sus vertices en el infinito, los segundos seran octagonos regulares
(no estan dibujados, pero le pedimos al lector que lo hiciera en el Ejercicio
7, seccion 4.5) cuyos vertices son puntos ordinarios y cuyos angulos interiores
miden 2/8. Los octagonos que no estan dibujados se obtienen mediante las
transformaciones hiperbolicas utilizadas para pegar los lados con el mismo
smbolo y orientaciones opuestas, pues cada una de ellas translada el octagono
a lo largo de la perpendicular com un a esos lados; al utilizar todas las trans-
formaciones hiperbolicas generadas por esas transformaciones, podemos cubrir
con octagonos regulares.
En ambos casos, las transformaciones usadas para tapizar el disco fueron
u
nicamente transformaciones de tipo hiperbolico, que en un cierto sentido se
parecen a las traslaciones euclidianas. En el caso del cuadrilatero ideal, bas-
taron dos transformaciones hiperbolicas para generar el subgrupo que tapiza
, pero en el caso del octagono con vertices ordinarios, fue necesario utilizar
cuatro transformaciones hiperbolicas para generar el grupo que tapiza .
Entonces, tenemos ya un n umero infinito de maneras de tapizar con
mosaicos regulares y distintos:
Como hasta este punto no hemos utilizado las reflexiones hiperbolicas, vale
la pena ilustrar como trabajan en el caso del disco. En la literatura, las re-
flexiones hiperbolicas que describiremos se conocen como inversiones (vea el
Apendice 5.6).
Si la recta en que deseamos reflejar pasa por el centro del disco, la reflexion
hiperbolica coincide con la reflexion euclidiana, pero si la reflexion se lleva a
cabo en otra recta, lo que define al reflejado P 0 de un punto P respecto a una
recta L, es el hecho de que P 0 debe pertenecer a la recta perpendicular a L por
P , debe pertenecer al otro semiplano definido por L, y las distancias de ambos
puntos a L deben ser la misma, todo lo cual ocurre en el caso euclidiano (vea
la Figura 4.31):
d (P, L) = d (P 0, L).
L
PSfrag replacements P
P0
Figura 4.31: C
omo reflejar en una recta hiperb
olica para el modelo del disco.
Por otro lado, sabemos que la suma de los tres angulos debe ser menor que
; entonces, si 1 = /p, 2 = /q y 3 = /r, obtenemos una restriccion
umeros p, q, r :
sobre los n
1 1 1
+ + < 1. (4.17)
p q r
Una terna (p, q, r) que satisface la restriccion es (7, 2, 3); consideraremos
triangulos con uno de sus vertices en el centro del disco y donde el angulo en
227
EJERCICIOS
1. Marque al azar cuatro puntos en la frontera de y dibuje el cuadr angulo
hiperb
olico con esos vertices; de y justifique un algoritmo geometrico para
obtener las im
agenes de ese cuadr angulo bajo las reflexiones en sus lados.
2. En el modelo del disco, dibuje un pentagono regular con centro en (0, 0)
y divdalo en tri
angulos como se indic
o en el texto. Determine si es po-
sible generar con el triangulo marcado, un enmosaicado cuyo grupo de
isometras sea no trivial.
3. Considere el caso de un tri
angulo T cuyos vertices no sean todos idelales
ni todos ordinarios. Podemos tapizar con el? Justifique sus afirma-
ciones.
4. Para al menos tres de los grabados de Escher que tapizan el plano hiper-
b
olico, determine los valores p, q, r del tri
angulo b
asico, y el subgrupo de
G que deja invariante al enmosaicado. (Sugerencia: consulte [Es].)
5. Dise
ne al menos dos mosaicos hiperb
olicos.
5
Ap
endices
por el vertice, y eso muestra que los vectores tangentes a curvas por el vertice
no forman un plano, por eso no se puede definir el plano tangente al cono en
el vertice. Esto se debe a que 0 3 es punto crtico (el u nico) de la funcion
F (x, y, z) = x2 + y 2 z 2.
Cada punto de 3 esta contenido en una superficie de nivel de esta funcion,
y por eso se dice que las superficies de nivel de esta funcion folan al espacio,
lo llenan con sus hojas. Si r < 0 o si r > 0, las superficies son regulares, y el
cambio de un tipo de hiperboloide al otro pasa por el cono, que es la superficie
de nivel 0; el cono divide a los dos tipos de hiperboloides, y por eso se le llama
separatriz de la foliacion. Para profundizar en estos temas, consulte [Hi].
231
Los elementos relacionados unos con otros forman una clase de equi-
valencia y dos clases distintas no pueden tener elementos en com
un, por la
transitividad. Se dice por ello que
(132),
233
(13)(234) = (1342).
Es claro que (1342) = (3421) = (4213) = (2134), pues todas esas permuta-
ciones tienen el mismo efecto sobre cualquier ordenacion.
234
umero de 2-ciclos es 43
El n 2
= 6.
umero de 3-ciclos es 432
El n 3
= 8.
4321
El n
umero de 4-ciclos es 4 = 6.
El n
umero de productos de dos 2-ciclos ajenos es 6/2 = 3, pues debido a que
son ajenos, el orden de los factores no afecta el producto.
II. (Es posible) prolongar sin cesar una recta finita a una recta.
V. Si una recta que corta a otras dos forma, del mismo lado, angulos interio-
res que suman menos de dos angulos rectos, al prolongar indefinidamente
las dos rectas, estas se cortan del lado en que los angulos interiores suman
menos de dos angulos rectos.
M
PSfrag replacements L1
L2
PSfrag replacements P M
H
L
Figura 5.2: M es la u
nica paralela por P a L.
5.5. Topologa
En los cursos de Calculo se define la nocion de conjunto abierto de n :
es un conjunto A tal que cualquiera de sus puntos es centro de una bola de
radio positivo completamente contenida en A.
Es facil verificar que los conjuntos abiertos de n poseen las propiedades
siguientes:
238
n
1. El vaco y el total ( ) son conjuntos abiertos.
Por eso es posible definir funciones continuas entre dos espacios topologicos
cualesquiera E1 y E2 : basta pedir que la imagen inversa bajo f de cualquier
abierto de E2 sea un abierto de E1 .
Si la funcion f es continua y biyectiva, existe la funcion inversa, f 1 , y si
esta es tambien continua se dice que E1 y f (E1 ) E2 son homeomorfos (no
confundir con homomorfo, nocion perteneciente al algebra), y que f es un
homeomorfismo.
Es muy importante que el lector se pregunte cuales de las funciones que
conoce son continuas, y de estas cuales son homeomorfismos. Por ejemplo, la
proyeccion : 2 tal que (x, y) = x, es una funcion continua cuando
2
en y en consideramos los abiertos usuales, pero no es un homeomorfismo
porque no es inyectiva.
Cuando en un conjunto E tenemos definida una topologa, es posible con-
vertir cualquiera de sus subconjuntos, E 0 , en un espacio topologico relativizan-
do los abiertos, es decir, A0 E 0 es un abierto relativo de E 0, si existe un
abierto A de E cuya interseccion con E 0 es A0, es decir, A0 = A E. El lector
no tendra dificultad en comprobar que los abiertos relativos satisfacen las tres
condiciones de una familia de abiertos.
Ahora ya es sencillo demostrar que la proyeccion estereografica de una
circunferencia en la recta real a la que a
nadimos un punto (vea la Figura 3.3),
es un homeomorfismo.
239
Inversi
on respecto a una circunferencia euclidiana.
d(O, P )d(O, P 0 ) = R2 ,
z
T (z) = ,
z
|z |
= ,
|z |
C2 F2 que lo contienen.
4. Los puntos lmite son simetricos (inversos uno respecto al otro), respecto
a cada elemento C2 F2 , y solo con respecto a ellos.
6
Bibliografa
Er Ernst, B. El Espejo M
agico de M.C. Escher, Taschen, 1992.
G-S Gr
unbaum, B., Shepard, G.C. Tillings and Patterns, W.H.Freeman and
Co., 1987.
H-C Hilbert, D., Cohn Vossen, S. Geometry and the Imagination, Chelsea
Publishing Co., 1983. (Edicion facsimilar en Vnculos Matematicos No.
150, FC, UNAM, 2000.).
Ri Rincon, H. a
lgebra Lineal, Las Prensas de Ciencias, UNAM, 2001.
Ve Verjovsky, A. Introducci
on a la Geometra y las Variedades Hiperb
olicas,
Departamento de Matematicas, CINVESTAV, IPN, 1982.
Y Yaglom, I. Felix Klein and Sophus Lie, evolution of the idea of symmetry
in the nineteenth century, Birkhausser, 1988
Indice alfab
etico
trilatero, 117
triple producto escalar, 12
ultraparalelas, 177