Professional Documents
Culture Documents
bidimensional
Antonio Lascurain Orive
2 de febrero de 2005
ii
Prefacio
La geometra hiperbolica ha cobrado enorme importancia en las ultimas
decadas por su interrelacion con m ultiples ramas centrales de la matematica.
A principio de los a nos ochenta, Troels Jrgensen y Wiliam Thurston (meda-
lla Fields) revolucionaron la topologa al mostrar que la geometra hiperbolica
es una poderosa herramienta en el estudio de las 3-variedades y los nudos (cf.
[22] y [3] pp. 190-272). Dennis Sullivan y Curt Mc Mullen (medalla Fields),
por su parte, han encontrado un importante paralelismo entre la geometra
hiperbolica y los sistemas dinamicos, lo cual se hace patente al observar la
asombrosa similitud que existe entre el conjunto lmite de un grupo kleiniano
y el conjunto de Julia de una funcion racional (cf. [13] y Figura 3.1). Por
otro lado, en el modelo del hiperboloide, el grupo completo de isometras
es precisamente el grupo de Lorentz, lo cual reeja la estrecha relacion de la
teora de la relatividad con la geometra hiperbolica. En otro ambito, el grupo
clasico modular y sus subgrupos son centrales en la teora de los n umeros y
tambien en la geometra hiperbolica. Mas a un, recientemente se han probado
importantes resultados sobre grupos aritmeticos kleinianos, que vinculan la
teora de n umeros, la topologa y la geometra hiperbolica (cf. [12]). Es impor-
tante destacar tambien que en el contexto de la variable compleja, cualquier
supercie de Riemann es el cociente de la accion discontinua de un grupo de
Mobius en la esfera (cf. [2] pp. 120 y 121 y [19]). Existen ademas conexiones
de muchas otras ramas con la geometra hiperbolica; mencionamos dos de
gran importancia en la actualidad: la teora de los mapeos cuasiconformes y
la teora de Teichm uller (cf. [11] y [16]).
Este texto esta dirigido principalmente a los estudiantes de los ultimos
niveles de la licenciatura que han aprobado un primer curso de variable com-
pleja; sin embargo, considero que puede ser tambien de utilidad para los
alumnos de posgrado y para los profesores e investigadores que no son es-
pecialistas en geometra hiperbolica. La idea original de este trabajo fue
adaptar para la licenciatura algunos temas del libro de maestra de Joseph
iii
iv
Lehner [10]; texto recomendado por Troels Jrgensen, y muy adecuado para
llegar de manera rapida y formal al estudio de las regiones fundamentales.
No obstante, la materia fundamental del presente libro son las notas que
elabore para los seminarios de geometra, algebra y analisis, de los ultimos
niveles de la licenciatura, donde ense ne temas basicos de geometra hiperboli-
ca, los grupos fuchsianos y las transformaciones de Mobius. Es mi intenci on
tambien en este trabajo hacer mas accesibles algunas de las ideas del impor-
tante libro de Alan F. Beardon [2], en particular el estudio del grupo general
de Mobius. Aunque la naturaleza del contenido es en general bidimensional,
en diversas partes se se nalan generalizaciones a dimensiones mayores, y al-
gunas veces tambien se prueban. El espritu del libro es el de mostrar que las
matematicas no son ramas aisladas sino que interact uan fuertemente unas
con otras. En este texto el lector podra observar como se mezclan temas de
los cursos de algebra moderna I, analisis matematico I, variable compleja I
y topologa. El texto puede ser cubierto en un curso semestral, omitiendo si
es necesario la mayora de los resultados de la ultima seccion del segundo
captulo.
El enfoque del libro es analtico y no axiomatico.
Este inicia con el estu-
dio de las transformaciones de Mobius complejas actuando en la esfera para
posteriormente mostrar los grupos completos de isometras hiperbolicas en el
modelo del semiplano y en el del disco de Beltrami-Poincare, as como algu-
nas propiedades de los grupos discretos de PSL(2, C) y del caracter fractal
de su conjunto lmite. El texto concluye en el ambito de las teselaciones con
la construccion de las regiones fundamentales de Dirichlet y Ford. Uno de los
objetivos es presentar de manera formal y sistematica una introduccion a los
polgonos fundamentales. Para el caso de los subgrupos modulares, estos do-
minios son de gran utilidad para visualizar resultados numericos, vease, por
ejemplo, [7] y [9]. En el caso kleiniano, el conocimiento de poliedros funda-
mentales es una herramienta muy importante en la topologa tridimensional
(cf. [12]).
Se han escrito muchos textos avanzados sobre el tema en las ultimas
decadas, probablemente los mas importantes son [2], [3], [12], [14], [16], [20]
y [22]. Algunos otros libros en espa nol, dirigidos a los estudiantes de licen-
ciatura, sobre otros temas de la geometra hiperbolica de los que se presentan
en este libro o con otros enfoques son [17], [18], [15] y [23].
Las Figuras 2.9 y 3.1 fueron tomadas de las paginas de Curt Mc Mullen
y David Wright, respectivamente. Asmismo, la Figura 4.11 fue tomada del
libro de Joseph Lehner [10].
Agradecimientos
A Troels Jrgensen, por sus invaluables ense nanzas.
A mi esposa, Adda Stella Ordiales de la Garza, por su apoyo constante y
por la correccion de estilo del texto.
A mis padres, que me guiaron al conocimiento.
A Pablo Rosell Gonzalez, por la cuidadosa elaboracion de las guras del
texto.
A mis tesistas y alumnos de los seminarios, con quienes compart el estu-
dio de la geometra hiperbolica, particularmente, Alejandro Mozo Cruz, que
inicio la captura de algunos temas del libro.
A mis colegas del seminario sobre el libro de Alan Beardon que se llevo a
cabo a principio de los a nos noventa, en particular, a Pilar Martnez Tellez
y Francisco Struck Chavez, miembros permanentes del seminario.
A las autoridades de la Facultad de Ciencias y la Direccion General de
Asuntos del Personal Academico que me apoyaron en la publicacion de este
libro, con el proyecto de PAPIME EN107-403.
v
vi
Contenido
1. Transformaciones de Mobius complejas 1
1.1. Proyeccion estereograca, metrica cordal . . . . . . . . . . . . 1
1.2. Propiedades basicas . . . . . . . . . . . . . . . . . . . . . . . . 8
1.3. Clasicacion por conjugacion . . . . . . . . . . . . . . . . . . . 20
1.4. Geometra . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
1.4.1. Transformaciones elpticas . . . . . . . . . . . . . . . . 26
1.4.2. Transformaciones hiperbolicas . . . . . . . . . . . . . . 27
1.4.3. Transformaciones loxodromicas . . . . . . . . . . . . . 29
1.4.4. Transformaciones parabolicas . . . . . . . . . . . . . . 29
1.5. Transformaciones que preservan discos . . . . . . . . . . . . 32
1.6. Clasicacion por la traza . . . . . . . . . . . . . . . . . . . . . 37
2. Metrica hiperbolica 43
2.1. Densidades . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
2.2. El modelo del semiplano . . . . . . . . . . . . . . . . . . . . . 47
2.3. El modelo del disco de Poincare . . . . . . . . . . . . . . . . . 59
2.4. El grupo completo de isometras . . . . . . . . . . . . . . . . . 64
3. Grupos fuchsianos 87
3.1. Discontinuidad . . . . . . . . . . . . . . . . . . . . . . . . . . 87
3.2. Grupos Discretos. . . . . . . . . . . . . . . . . . . . . . . . . . 101
3.3. Conjunto lmite de un grupo discreto . . . . . . . . . . . . . . 118
4. Regiones fundamentales 131
4.1. Regiones fundamentales . . . . . . . . . . . . . . . . . . . . . 131
4.2. Construccion del polgono de Dirichlet . . . . . . . . . . . . . 140
4.3. Polgono de Ford . . . . . . . . . . . . . . . . . . . . . . . . . 156
vii
Captulo 1
Transformaciones de Mobius
complejas
Se proyecta el plano complejo extendido a la esfera de Riemann, uno de los
espacios naturales donde act uan las transformaciones de Mobius complejas,
y de esta manera se introduce la metrica cordal. Posteriormente, estas fun-
ciones se identican con los elementos del grupo PSL(2, C) y se exhiben sus
propiedades basicas. Mediante la conjugacion a formas canonicas, se clasi-
can y se muestran sus propiedades geometricas elementales. Finalmente, se
caracterizan las transformaciones que preservan el semiplano superior y el
disco unitario, y se establece la clasicacion por la traza.
1.1. Proyeccion estereograca, metrica cordal
La proyeccion central descrita en la Figura 1.1 sugiere que el plano complejo
se puede pensar como la esfera unitaria en R
3
sin el polo norte. Resulta
natural, entonces, pensar que el polo norte corresponde a un punto ideal que
representa al innito.
Denicion 1 Los puntos del plano complejo junto con forman el plano
complejo extendido, denotado por
C.
El incluir el smbolo es particularmente util en el contexto de las
transformaciones de Mobius complejas
z
az + b
cz + d
, ad bc ,= 0, a, b, c, d C.
1
2 CAP
ITULO 1. TRANSFORMACIONES DE M
OBIUS COMPLEJAS
Mostraremos que estas funciones son las unicas biyecciones meromorfas de
C en
C. La esfera unitaria,
S
2
= x R
3
[x[ = 1,
llamada esfera de Riemann, es el modelo requerido para incluir el punto
al innito. Para asociar cada punto en el plano con uno en S
2
, usamos la
siguiente idea geometrica: se toma el plano x
3
= 0 como el plano complejo
C, y la lnea que proyecta el polo norte e
3
= (0, 0, 1) de la esfera de Riemann
a cualquier otro punto x = (x
1
, x
2
, x
3
) en dicha esfera.
Esta lnea cruza el plano complejo en un unico punto, para encontrarlo
se parametriza
e
3
+ t(x e
3
), t R
y se debe cumplir
[e
3
+ t(x e
3
)] e
3
= 0,
1 + t(x e
3
) e
3
= 0,
t =
1
1 x
3
.
De donde, el punto asociado a x es
e
3
+
1
1 x
3
(x e
3
)
= e
3
+
_
x
1
1 x
3
,
x
2
1 x
3
,
x
3
1
1 x
3
_
=
_
x
1
1 x
3
,
x
2
1 x
3
, 0
_
Una prueba geometrica de este hecho se obtiene observando que la proyec-
cion de x debe tener la direccion de (x
1
, x
2
), y por semejanza se obtiene
que
[z[
1
=
_
x
2
1
+ x
2
2
1 x
3
(vease la Figura 1.1). Con base en estas ideas, se dene la funcion
: S
2
e
3
C, dada por (x
1
, x
2
, x
3
)
x
1
+ ix
2
1 x
3
.
Se arma que es una biyeccion de S
2
e
3
al plano complejo C.
1.1. PROYECCI
ON ESTEREOGR
AFICA, M
ETRICA CORDAL 3
e
3
z
(x
1
, x
2
, x
3
)
|z|
1
x
3
x
2
1
+ x
2
2
Figura 1.1: La proyeccion estereograca
1. es inyectiva. Para demostrar esto se construye la inversa. Observese
que si z = (x
1
, x
2
, x
3
), como (x
1
, x
2
, x
3
) S
2
, se tiene que
[z[
2
=
x
1
+ ix
2
1 x
3
2
=
x
2
1
+ x
2
2
(1 x
3
)
2
=
1 x
2
3
(1 x
3
)
2
=
1 + x
3
1 x
3
y despejando
x
3
=
[z[
2
1
[z[
2
+ 1
. (1.1)
Tambien
z + z =
2x
1
1 x
3
,
y
x
1
=
(z + z)(1 x
3
)
2
=
z + z
2
_
1
[z[
2
1
[z[
2
+ 1
_
=
z + z
2
_
2
[z[
2
+ 1
_
,
x
1
=
z + z
[z[
2
+ 1
. (1.2)
Finalmente, como
z z =
2ix
2
1 x
3
,
se sigue que
x
2
=
z z
i([z[
2
+ 1)
. (1.3)
4 CAP
ITULO 1. TRANSFORMACIONES DE M
OBIUS COMPLEJAS
Por consiguiente, es inyectiva, ya que z determina (x
1
, x
2
, x
3
).
Observese tambien que la funcion
(z) =
_
z + z
[z[
2
+ 1
,
z z
i([z[
2
+ 1)
,
[z[
2
1
[z[
2
+ 1
_
es inversa por la izquierda de .
2. es sobre. Un calculo sencillo muestra que es tambien una inversa
derecha de (ejercicio).
Haciendo corresponder con el polo norte e
3
se obtiene una biyeccion
de S
2
en
C y el modelo buscado. A esta biyeccion se le llama la proyeccion
estereograca. Geometricamente es evidente que el hemisferio sur (x
3
< 0)
corresponde al disco unitario
= z C
[z[ < 1
y el hemisferio norte (x
3
> 0) al exterior de este disco; la formula (1.1)
tambien, muestra este hecho de manera analtica.
En esta representacion esferica del plano complejo no hay una inter-
pretacion facil de la suma y el producto, su ventaja radica en que no
es un punto distinguido. Convendremos que toda recta es un subconjunto
de
C que incluye al smbolo , es decir, que toda recta pasa por . Una
propiedad fundamental de la proyeccion estereograca la exhibe el siguiente
resultado.
Proposicion 1.1.1 Bajo la proyeccion estereograca, rectas en
C y crculos
en C se transforman en crculos en S
2
y viceversa.
Demostraci on.
1. Un crculo en S
2
es la interseccion de un plano con la esfera, por lo
que sus puntos satisfacen una ecuacion de la forma
ax
1
+ bx
2
+ cx
3
= d.
Por lo tanto, este crculo es la imagen bajo la proyeccion estereograca
de un conjunto cuyos puntos satisfacen la siguiente ecuacion en el plano
a
_
z + z
[z[
2
+ 1
_
+ b
_
z z
i([z[
2
+ 1)
_
+ c
_
[z[
2
1
[z[
2
+ 1
_
= d.
1.1. PROYECCI
ON ESTEREOGR
AFICA, M
ETRICA CORDAL 5
Escribiendo z = x + iy, se obtiene
2ax + 2by + c(x
2
+ y
2
1) = d(x
2
+ y
2
+ 1),
que es la ecuacion de una recta o un crculo en el plano, dependiendo si
d = c o si d ,= c (al completar cuadrados no se puede obtener un radio
negativo, puesto que se trata de la imagen de un conjunto no vaco).
2. Viceversa, una recta en el plano esta denida por la ecuacion
ax + by = c.
Estos puntos bajo la proyeccion estereograca son llevados al conjunto
de puntos en la esfera denidos por la ecuacion
a
_
x
1
1 x
3
_
+ b
_
x
2
1 x
3
_
= c,
a x
1
+ b x
2
= c(1 x
3
),
los cuales estan contenidos en la interseccion de un plano y la esfera,
es decir, se trata de un crculo. Como () = (0, 0, 1) satisface dicha
ecuacion, este crculo pasa por el polo norte, lo cual tambien es evidente
a partir de la construccion geometrica.
Finalmente, un crculo en el plano esta denido por las siguientes
ecuaciones
[ z a [
2
= r
2
,
(z a)(z a) = r
2
,
[z[
2
az az +[a[
2
= r
2
,
por lo que usando 1.1, se tiene
1 + x
3
1 x
3
2Re(az) = r
2
[a[
2
.
Si a = a
1
+i a
2
, z = x+iy, entonces Re(az) = a
1
x+a
2
y y la imagen
del crculo en la esfera esta denida por las siguientes ecuaciones
1 + x
3
1 x
3
2(a
1
x + a
2
y) = r
2
[a[
2
,
1 + x
3
1 x
3
2a
1
x
1
1 x
3
2a
2
x
2
1 x
3
= r
2
[a[
2
,
1 + x
3
2a
1
x
1
2a
2
x
2
= (r
2
[a[
2
)(1 x
3
).
6 CAP
ITULO 1. TRANSFORMACIONES DE M
OBIUS COMPLEJAS
Se sigue entonces que estos puntos estan contenidos en un plano y por
lo tanto constituyen un crculo en la esfera.
Es util obtener, en terminos de z y z
1
, x
2
, x
3
), se tiene
(x
1
x
1
)
2
+ (x
2
x
2
)
2
+ (x
3
x
3
)
2
= 2 2(x
1
x
1
+ x
2
x
2
+ x
3
x
3
).
Ahora, usando (1.1), (1.2) y (1.3), se sigue que
x
1
x
1
+ x
2
x
2
+ x
3
x
3
=
_
z + z
[z[
2
+ 1
__
z
+ z
[z
[
2
+ 1
_
_
z z
[z[
2
+ 1
__
z
[z
[
2
+ 1
_
+
_
[z[
2
1
[z[
2
+ 1
__
[z
[
2
1
[z
[
2
+ 1
_
=
2 z z
+ 2 z z
+[z z
[
2
[z[
2
[z
[
2
+ 1
(1 +[z[
2
) (1 +[z
[
2
)
=
2(z z
)(z z
) + (1 +[z[
2
) (1 +[z
[
2
)
(1 +[z[
2
) (1 +[z
[
2
)
(el ultimo paso equipara numerador y denominador).
Por consiguiente,
(x
1
x
1
)
2
+ (x
2
x
2
)
2
+ (x
3
x
3
) = 2 2
_
1
2[z z
[
2
(1 +[z[
2
) (1 +[z
[
2
)
_
=
4[z z
[
2
(1 +[z[
2
) (1 +[z
[
2
)
.
Esta nueva formula de distancia en
C es particularmente novedosa y util
por incluir el punto al innito. En este caso, si z
= , se tiene
x
1
x
1
+ x
2
x
2
+ x
3
x
3
=
[z[
2
1
[z[
2
+ 1
,
por lo que
(x
1
x
1
)
2
+ (x
2
x
2
)
2
+ (x
3
x
3
) = 2 2
_
[z[
2
1
[z[
2
+ 1
_
=
4
1 +[z[
2
.
Estos calculos inducen la metrica buscada en
C.
1.1. PROYECCI
ON ESTEREOGR
AFICA, M
ETRICA CORDAL 7
Denicion 2 Se dene la metrica cordal en el plano complejo extendido de
la siguiente manera
d
C
(z
1
, z
2
) =
_
_
2[z
1
z
2
[
_
1 +[z
1
[
2
_
1 +[z
2
[
2
, si z
1
, z
2
,= .
2
_
1 +[z
1
[
2
, si z
2
= .
Como S
2
es un subespacio metrico de R
3
, esta distancia dene en efecto
una metrica en
C. El termino cordal proviene de que se miden cuerdas en
la esfera
d
C
(z
1
, z
2
) = [(z
1
) (z
2
)[.
Proposicion 1.1.2 Las metricas cordal y euclideana inducen la misma topo-
loga en C, es decir, denen los mismos abiertos en C. Ademas
d
C
(z
n
, ) 0 si y solo si [z
n
[ .
Demostraci on. Para la primera parte hay que probar que la funcion iden-
tidad
Id : C
E
C
C
es bicontinua, donde C
E
es el plano complejo provisto con la metrica eucli-
deana y C
C
, con la metrica cordal.
Si [z
n
z[ 0, cuando n , entonces [(z
n
) (z)[ 0, cuando
n , ya que la funcion es continua, lo cual prueba que la funcion Id es
tambien continua. Ahora, por la continuidad de , si d
C
(z
n
, z) 0, cuando
n , entonces [(z
n
) (z)[ 0 y [ (z
n
) (z)[ = [z
n
z[ 0,
cuando n .
Para la segunda parte, sea z
n
, n N, una sucesion en C, tal que
[z
n
[ , cuando n , como
d
C
(z
n
, ) =
2
_
1 +[z
n
[
2
,
se sigue que d
C
(z
n
, ) 0 (ejercicio).
Por otra parte, si d
C
(z
n
, ) 0, cuando n , dado > 0, existe N
,
tal que si n > N
, se tiene
2
_
1 +[z
n
[
2
< y por lo tanto [z
n
[ >
_
4
2
1
8 CAP
ITULO 1. TRANSFORMACIONES DE M
OBIUS COMPLEJAS
(ya que se puede tomar < 2). Por lo que, dado M > 0, tomando tal que
M =
_
4
2
1,
se obtiene [z
n
[ > M, si n > N
y [z
n
[ .
EJERCICIOS 1.1
1. Demuestre que la funcion estereograca (x
1
, x
2
, x
3
)
x
1
+ix
2
1x
3
de la esfera
de Riemann en el plano complejo extendido es suprayectiva.
2. Demuestre que si z
n
, cuando n , entonces d
c
(z
n
, ) 0,
cuando n .
1.2. Propiedades basicas
Recordamos que a las transformaciones de variable compleja de la forma
T(z) =
az + b
cz + d
,
a, b, c, d C, ad bc ,= 0, se les llama de Mobius. Estas funciones estan
tambien denidas en los puntos del plano complejo extendido, donde no se
aplica el algebra:
(i) Si c = 0, se dene T() = .
(ii) Si c ,= 0, se dene T() = a/c y T(d/c) = .
Si ad bc = 0, se trata de una funcion constante (ejercicio). Para otros
valores ad bc = k ,= 0, la transformacion
z
a
k
z +
b
k
c
k
z +
d
k
tiene la misma regla de correspondencia que la transformacion original, sin
embargo,
a
k
d
k
c
k
= 1.
1.2. PROPIEDADES B
ASICAS 9
De este hecho se sigue que todas las transformaciones de Mobius pueden
denirse por matrices de la forma
_
a b
c d
_
, a, b, c, d C, ad bc = 1.
A este grupo de matrices se le denota por SL(2, C). El centro de este grupo
consiste de las matrices Id (ejercicio).
Proposicion 1.2.1 Las transformaciones de Mobius complejas son funciones
continuas en
C con la metrica cordal.
Demostraci on. Se sigue de la proposicion 1.1.2 que basta probar la con-
tinuidad en y en d/c, si c ,= 0, y en , si c = 0.
Ahora, si c ,= 0 y z
n
d/c, cuando n , se tiene que como
az
n
+ b
c
(d/c) a + b
c
y
1
z
n
(d/c)
,
entonces
az
n
+ b
cz
n
+ d
=
az
n
+ b
c(z
n
(d/c))
y por lo tanto
d
C
_
az
n
+ b
cz
n
+ d
,
_
0, cuando n .
La prueba de la continuidad en es similar y queda como ejercicio para
el lector.
Por otra parte, el producto de matrices se corresponde con la composicion
de transformaciones de Mobius, es decir, si
T(z) =
az + b
cz + d
y S(z) =
z +
z +
son dos transformaciones de Mobius denidas por las matrices
T =
_
a b
c d
_
, S =
_
_
,
entonces la transformacion S T es de Mobius y esta denida por la matriz
S T =
_
_ _
a b
c d
_
=
_
a + c b + d
a + c b + d
_
.
10 CAP
ITULO 1. TRANSFORMACIONES DE M
OBIUS COMPLEJAS
Esto se sigue ya que z C, salvo por un n umero nito de puntos (donde
el algebra no se aplica), se tiene
S
_
T(z)
_
=
_
az + b
cz + d
_
+
_
az + b
cz + d
_
+
=
(az + b) + (cz + d)
(az + b) + (cz + d)
=
(a + c)z + b + d
(a + c)z + b + d
.
Por lo cual, las transformaciones S T y la denida por la matriz S T coin-
ciden en
C, excepto, quiza, por un n umero nito de puntos, sin embargo, al
ser ambas funciones continuas, son iguales.
En particular, las transformaciones de Mobius son biyecciones, ya que si
T esta denida por la matriz
T =
_
a b
c d
_
SL(2, C),
la transformacion inversa T
1
esta denida por
T
1
=
_
d b
c a
_
.
Por consiguiente, estas transformaciones forman un grupo, la identidad
es la funcion
z
1 z + 0
0 z + 1
.
Con frecuencia es importante distinguir las transformaciones de las matrices
que las denen, por lo que denotaremos las primeras con una barra arriba y
las segundas sin barra.
Proposicion 1.2.2 Dos transformaciones de Mobius
T(z) =
az + b
cz + d
y S(z) =
a
z + b
z + d
, b = kb
, c = kc
, d = kd
.
1.2. PROPIEDADES B
ASICAS 11
Demostraci on. La condicion de suciencia es inmediata. Para probar la
necesidad observese primero que como T y S coinciden en 0 y , se
tiene que si a = 0, entonces a
= 0, y si b = 0, entonces b
= 0, etcetera.
Probamos primero el caso a, b, c, d ,= 0, se tiene que
T
1
() = d/c = d
, y T
1
(0) = b/a = b
/a
.
Escribiendo
d/d
= c/c
= , b/b
= a/a
= ,
se sigue que
az + b
cz + d
=
a
z + b
z + d
(a
z + b
)
(c
z + d
)
.
En particular, al evaluar S y T en la preimagen de 1, se tiene / = 1,
por lo cual = .
Los casos en los que alg un coeciente es cero son mas sencillos, mostramos
dos de ellos y dejamos los cuatro restantes como ejercicio.
(i) Si b, c = 0, evaluando en 1 se tiene a/d = a
/d
y a/a
= d/d
.
(ii) Si c = 0 y b ,= 0, como el primer caso, b/b
= a/a
= y para alguna
, d = d
, etcetera.
De la proposicion anterior se sigue que hay exactamente dos matrices
unimodulares que determinan una transformacion de Mobius dada. Esto es,
ya que si T es de Mobius y esta denida por las matrices
_
a b
c d
_
,
_
a
_
SL(2, C),
entonces
1 = a
= k
2
(ad bc) = k
2
y
k = 1, i.e.
_
a
_
=
_
a b
c d
_
.
Al cociente de SL(2, C) sobre su centro Id se le llama su proyec-
tivizaci on, este grupo cociente, denotado por PSL(2, C), es isomorfo al
grupo de transformaciones de Mobius complejas. La armacion anterior es
12 CAP
ITULO 1. TRANSFORMACIONES DE M
OBIUS COMPLEJAS
consecuencia de las ultimas observaciones y del primer teorema de isomors-
mo de grupos (cf. [4] p. 50), ya que si
C
denota el grupo de transformaciones
de Mobius, se tiene el siguiente diagrama de sucesiones exactas
Id SL(2, C) PSL(2, C).
ASICAS 13
z
az
ITULO 1. TRANSFORMACIONES DE M
OBIUS COMPLEJAS
1/ z
1/z
z
Figura 1.5: z 1/z
En general, dada una funcion holomorfa f denida en una vecindad de
, se dice que f es holomorfa en (o que f tiene un polo de orden k en
), si la funcion g denida en una vecindad del cero por
g(z) = f (1/z)
es holomorfa en cero ( o tiene un polo de orden k en cero). Observese que si
no es una singularidad esencial, entonces necesariamente se tiene una de
las dos posibilidades antes mencionadas.
La eleccion 1/z en esta denicion no es arbitraria. Por una parte, es
una eleccion natural de cartas coordenadas para proveer de estructura de
supercie de Riemann a la esfera S
2
(cf. [2], p. 117), por otra parte, la
accion de z 1/z en S
2
esta dada por la rotacion
(x
1
, x
2
, x
3
) (x
1
, x
2
, x
3
)
(ejercicio).
Con esta convencion se tiene que si
f(z) =
az + b
cz + d
es de Mobius y c ,= 0, entonces f es holomorfa en y tiene un polo simple
en d/c. Para el caso c = 0, f tiene un polo simple en . Mostramos la
primera armacion y dejamos las dos restantes como ejercicio. Cerca de
f(z) =
az + b
cz + d
=
a + b/z
c + d/z
a
c
,
1.2. PROPIEDADES B
ASICAS 15
cuando z , y cerca de 0
g(z) =
a/z + b
c/z + d
=
a + bz
c + dz
a
c
,
cuando z 0, por lo que 0 es una singularidad removible de g.
Volviendo al contexto general de una funcion f :
C
C meromorfa,
se sigue del teorema de Liouville que si f es entera en
C, entonces f es
constante. Por otra parte, si f es entera en C y f tiene un polo en ,
entonces f es necesariamente un polinomio. Esto es consecuencia del teorema
de las desigualdades de Cauchy y el principio de continuacion analtica; queda
como ejercicio la vericacion de los detalles. Estos resultados basicos de la
variable compleja se pueden consultar, por ejemplo, en [5] (pp. 170, 397).
Este hecho tiene una interesante y fundamental consecuencia: toda fun-
cion meromorfa en la esfera es necesariamente racional. Esto se sigue, ya que
si f :
C
C es meromorfa, entonces por compacidad f tiene solamente un
n umero nito de polos, y es claro que al multiplicar a f por un polinomio
adecuado, se obtiene una funcion constante u otro polinomio. En particular,
las unicas biyecciones meromorfas de la esfera en la esfera son las de Mobius.
Denicion 3 Sea A un abierto en R
n
y f : A R
n
R
n
diferenciable
en A, se dice que f es conforme en x
0
A, si Df(x
0
) es un m ultiplo
escalar de una transformacion ortogonal.
Se sigue de las ecuaciones de Cauchy-Riemann que la denicion de confor-
malidad para funciones analticas de los cursos basicos de variable compleja
es una caso particular de esta denicion mas general, que ademas incluye a las
reexiones. Observese tambien que la conformalidad implica que se preservan
los valores absolutos de los angulos.
Para el caso de una transformacion de Mobius
T(z) =
az + b
cz + d
, se tiene T
(z) =
ad bc
(cz + d)
2
,
si T no ja a y T
(z) = a/d, si es un punto jo. Por lo cual, estas
transformaciones son conformes en el plano complejo, salvo en el punto d/c,
si c ,= 0. Sin embargo, si se considera las transformaciones de Mobius como
biyecciones de la esfera S
2
en s misma, provista con estructura de supercie
de Riemann, no es difcil probar que hay conformalidad en todos los puntos,
incluyendo .
16 CAP
ITULO 1. TRANSFORMACIONES DE M
OBIUS COMPLEJAS
Alternativamente, se puede tomar el grupo formado por las composi-
ciones nitas de reexiones en esferas o planos en
R
3
, denominado tambien
de Mobius, que contiene como subgrupo a las extensiones de PSL(2, C) a
R
3
(llamadas de Poincare). Resulta que la reexion en la esfera con centro
en e
3
= (0, 0, 1) y radio
ASICAS 17
El siguiente resultado muestra que las transformaciones de Mobius tienen
un caracter inversivo, ya que preservan la familia de todos los crculos. Este
resultado se generaliza a cualquier dimension (vease [2] p. 28).
Teorema 1.2.4 Las funciones de Mobius en PSL(2, C) transforman crcu-
los en crculos.
Demostraci on. Basta probar que la transformacion z 1/z tiene la
propiedad mencionada, ya que evidentemente las traslaciones, las rotaciones
y las homotecias transforman crculos en crculos y rectas en rectas. Para
estas ultimas funciones, una prueba analtica de este hecho es muy simple,
por ejemplo, si k C, la funcion z kz transforma la recta
z = a + bt, a, b C, t R,
en la recta
w = kz = ka + k b t, t R,
y el crculo
[z a[ = r,
en el crculo
[kz ka[ = kr.
El caso de la traslacion es tambien trivial (ejercicio).
Para mostrar que la transformacion z 1/z tiene dicha propiedad,
usamos la ecuacion general del crculo
A(x
2
+ y
2
) + Bx + Cy = D. (1.4)
Escribiendo z = x + iy y 1/z = u + iv, como
u =
x
x
2
+ y
2
, v =
y
x
2
+ y
2
y u
2
+ v
2
=
1
x
2
+ y
2
,
sustituyendo en 1.4 se obtienen la ecuaciones
A
_
1
u
2
+ v
2
_
+ B
_
u
u
2
+ v
2
_
+ C
_
v
u
2
+ v
2
_
= D
y
D(u
2
+ v
2
) + Bu Cv = A,
18 CAP
ITULO 1. TRANSFORMACIONES DE M
OBIUS COMPLEJAS
que es de nuevo la ecuacion de un crculo. Esto se sigue, ya que si D ,= 0,
se puede completar cuadrados y obtener la ecuacion de un crculo (no hay
radios negativos, ya que se trata de la imagen de un crculo).
Este argumento algebraico no se aplica en 0 y en , si el crculo pasa
por ellos. Sin embargo, probar el resultado para estos puntos es muy sencillo,
por ejemplo, si se trata de un crculo por el origen, entonces D = 0 y los
puntos de la imagen satisfacen la ecuacion de la recta BuCv = A. Como
es la imagen del 0 y esta en dicha recta, se sigue el argumento, vease la
Figura 1.6. Dejamos como ejercicio vericar los otros dos casos.
W
1 1
T(W)
Figura 1.6: Imagen del crculo W bajo z 1/z
Otra demostracion del teorema anterior se sigue de que la funcion
z 1/z
es una rotacion de radianes alrededor del eje x en la esfera de Riemann,
y del hecho de que la proyeccion estereograca manda crculos en
C en
crculos de la esfera. El siguiente resultado muestra que las funciones de
Mobius complejas son transitivas en ternas de puntos en la esfera de Riemann.
Teorema 1.2.5 Dados z
1
, z
2
, z
3
C distintos y w
1
, w
2
, w
3
C tambien
distintos, existe una unica transformacion en PSL(2, C) que enva z
j
en
w
j
, j = 1, 2, 3.
Demostraci on. Primero probamos que si T es de Mobius y T ja 0, 1 e
, entonces T es la identidad. Sea
T(z) =
az + b
cz + d
1.2. PROPIEDADES B
ASICAS 19
con dicha propiedad, como T(0) = b/d y T() = a/c, se tiene b, c = 0,
por lo que T(1) = a/d = 1 y a = d. En consecuencia, T(z) = z z.
Ahora, si z
1
, z
2
, z
3
C, la transformacion
S
1
(z) =
_
z
1
z
3
z
1
z
2
__
z z
2
z z
3
_
es de Mobius y enva z
1
, z
2
, z
3
en 1, 0, e , respectivamente. Para adaptar
esta formula al caso en que alguno de los puntos sea , simplemente se
omiten los dos factores donde aparece este punto, por ejemplo, si z
2
= ,
la transformacion
S
1
(z) =
z
1
z
3
z z
3
tiene la propiedad deseada. Dejamos como ejercicio para el lector vericar
los otros dos casos.
El mismo argumento muestra la existencia de una transformacion de
Mobius S
2
que manda w
1
, w
2
, w
3
en 1, 0, e y por lo tanto la trans-
formacion
S
1
2
S
1
PSL(2, C)
manda z
j
en w
j
, j = 1, 2, 3.
La unicidad se sigue ya que si T
1
y T
2
envan z
j
en w
j
, j = 1, 2, 3, se
tiene
S
2
T
1
S
1
1
= S
2
T
2
S
1
1
(puesto que ambas funciones son la identidad), por lo que T
1
= T
2
.
z
1
z
2
z
3
w
1
w
2
w
3
T
Figura 1.7: Transitividad de PSL(2, C) en crculos
Este teorema y los resultados anteriores implican que las transformaciones
de Mobius actuan transitivamente en la familia de todos los crculos de la
esfera de Riemann. Esta util y fundamental propiedad se generaliza tambien
a cualquier dimension (cf. [2] p. 31).
20 CAP
ITULO 1. TRANSFORMACIONES DE M
OBIUS COMPLEJAS
Corolario 1.2.6 Dados dos crculos A y B en
C, existe T PSL(2, C),
tal que T(A) = B, es decir, este grupo actua transitivamente en los crcu-
los de
C.
Demostraci on. El crculo A esta determinado por tres puntos distintos,
digamos z
1
, z
2
, z
3
, asimismo el crculo B esta determinado por otros tres
puntos distintos w
1
, w
2
, w
3
. Se sigue entonces del teorema anterior que existe
T PSL(2, C), tal que T(z
i
) = w
i
i y el resultado es consecuencia del
hecho de que las transformaciones de Mobius mandan crculos en crculos
(vease la Figura 1.7).
EJERCICIOS 1.2
1. Sea T(z) =
az+b
cz+d
, tal que ad bc = 0, demuestre que T es constante.
2. Demuestre que el centro de SL(2, Z) es Id. Sugerencia: usar las matrices
(
1 1
0 1
) , (
1 0
1 1
) .
3. Termine la prueba de la Proposicion 1.2.1.
4. Termine la prueba de la Proposicion 1.2.2.
5. Demuestre que la transformacion z 1/z es una rotacion en la esfera de
Riemann de radianes alrededor del eje x.
6. Sea T(z) =
az+b
cz+d
de Mobius, demuestre que T tiene un polo simple en
d/c, si c ,= 0, y en , si c = 0.
7. Sea f una funcion entera en C, tal que f() = , demuestre que f
es un polinomio.
8. Demuestre que las traslaciones preservan la familia de crculos y la familia
de rectas.
9. Termine las pruebas de los Teoremas 1.2.4 y 1.2.5.
1.3. Clasicacion por conjugacion
Una primera clasicacion de las transformaciones de Mobius se obtiene al
considerar los puntos jos en
C. Observese primero que si T es de Mobius
y no es la identidad, entonces T ja a lo mas dos puntos. Esto se sigue ya
1.3. CLASIFICACI
ON POR CONJUGACI
ON 21
que si T() ,= , entonces
T(z) =
az + b
cz + d
= z az + b = cz
2
+ dz
y si es un punto jo, la ecuacion
a
d
z +
b
d
= z
tiene a lo mas una solucion.
Denicion 4 Sea T de Mobius, tal que ja exactamente un punto en
C,
entonces a T se le llama parabolica.
Lema 1.3.1 Sean T y transformaciones de Mobius, entonces T ja a un
punto w en
C (o preserva un subconjunto A
C) si y solo si S = T
1
ja (w) (o preserva (A)).
Demostraci on.
T(w) = w T(w) = (w) T
1
((w)) = (w).
Esta misma demostracion prueba la armacion del lema sobre un conjunto
A preservado por T.
Observese que el lema anterior tambien se aplica en otras dimensiones y
en contextos mas generales.
Proposicion 1.3.2 Sea T una transformacion de Mobius. Entonces:
(i) si T es parabolica, T es conjugada en PSL(2, C) a una traslacion;
(ii) si T no es parabolica, T es conjugada en PSL(2, C) a una transfor-
macion de la forma z z, C.
Demostraci on. Sea T parabolica con punto jo z
0
y PSL(2, C) tal
que (z
0
) = , por ejemplo,
(z) =
1
z z
0
,
22 CAP
ITULO 1. TRANSFORMACIONES DE M
OBIUS COMPLEJAS
entonces S = T
1
ja , y por lo tanto es de la forma
S(z) = z + .
Se sigue del lema anterior que S no tiene otro punto jo, por lo cual = 1
(si ,= 1, la ecuacion z + = z tendra una solucion nita).
Para probar la segunda parte, supongamos que T ja 2 puntos distintos
w
1
, w
2
y que
(z) =
z w
1
z w
2
(si w
2
= , se toma (z) = z w
1
). Bajo estas hipotesis la funcion
S = T
1
ja 0 e , por lo cual si
S(z) =
az + b
cz + d
,
se tiene b, c = 0.
El resultado anterior muestra que cualquier transformacion de Mobius es
conjugada a una transformacion canonica. El siguiente resultado examina la
conjugacion entre estas transformaciones canonicas.
Proposicion 1.3.3 Sean k
1
, k
2
complejos no nulos, supongase tambien que
k
1
,= k
2
, k
1
2
, entonces las transformaciones T(z) = k
1
z y S(z) = k
2
z no
son conjugadas en PSL(2, C).
Demostraci on. Si la transformacion PSL(2, C) conjuga T y S,
digamos S = T
1
, entonces se sigue del Lema 1.3.1 que preserva
0, .
Si ja 0 e , entonces es de la forma z z, C, por lo que
conmuta con T, pero entonces T = S, lo cual contradice las hipotesis.
Por otra parte, si (0) = y () = 0, escribiendo
(z) =
az + b
cz + d
,
como (0) = b/d y () = a/c, se tiene que a, d = 0 y que
(z) =
b
cz
.
1.4. GEOMETR
IA 23
En este caso es una involucion, es decir, =
1
y
T
1
(z) = T
_
b
cz
_
=
_
k
1
b
cz
_
=
b
c
_
k
1
b
cz
_ =
z
k
1
,
lo cual contradice k
2
,= 1/k
1
.
Podemos ahora obtener una clasicacion de los elementos de PSL(2, C),
en relacion a las transformaciones canonicas actuando en la esfera de Rie-
mann.
Denicion 5 Sea T PSL(2, C), tal que T ja exactamente 2 puntos en
ITULO 1. TRANSFORMACIONES DE M
OBIUS COMPLEJAS
de crculos. Con este proposito se toman
1
,
2
C distintos y
(z) =
z
1
z
2
. (1.5)
[z
1
[
[z
2
[
= r
_
.
Estos conjuntos son crculos ya que
1
es de Mobius. A estos crculos
se les llama de Apolonio con respecto a los puntos lmite
1
y
2
. Notese
1.4. GEOMETR
IA 25
que estos crculos estan caracterizados por la propiedad de ser el conjunto
de puntos del plano cuyas distancias a dos puntos jos tienen una razon
constante. No es difcil probar analtica y geometricamente que para un solo
valor de r, el crculo de Apolonio es una recta (ejercicio) .
Denotamos por C
1
a la familia de crculos que pasan por
1
y
2
, y
por C
2
la familia de los crculos de Apolonio con respecto a estos puntos
(vease la Figura 1.8). Esta conguracion, llamada de Steiner, cumple las
siguientes propiedades:
P1: p
C, p ,=
1
,
2
, se tiene que p esta exactamente en un crculo
de la familia C
1
y uno de la familia C
2
.
P2: cada crculo en C
1
intersecta a cada crculo de C
2
ortogonalmente
en dos puntos.
P3:
C
1
,
2
es la union ajena de los crculos de la familia C
2
.
Estas propiedades son evidentes cuando se trata de crculos concentricos
al origen y rectas por el origen, el caso general se sigue por biyectividad y
conformalidad.
z
T(z)
1
2
Figura 1.9: Las transformaciones elpticas rotan los crculos de Apolonio
26 CAP
ITULO 1. TRANSFORMACIONES DE M
OBIUS COMPLEJAS
1.4.1. Transformaciones elpticas
Sean T elptica con puntos jos
1
,
2
, y como en (1.5), entonces
S(z) = T
1
= e
i
z.
Armacion 1 Si C es un crculo de Apolonio con puntos lmite
1
y
2
, entonces T(C) = C.
Demostraci on. Como S preserva (C), entonces T =
1
S preserva
1
(C) = C.
Armacion 2 Si A es un crculo por
1
y
2
, entonces T(A) es un
crculo por
1
y
2
, que forma con A un angulo en
1
, y en
2
.
Demostraci on. Como T ja
1
y
2
, T(A) es un crculo por
1
y
2
. Ahora (A) y S (A) forman un angulo en el origen y por la
conformalidad de
1
se tiene que A =
1
(A) y T(A) =
1
S (A)
tambien se intersectan en un angulo en
1
. Para probar la amacion en
el punto
2
, se intercambian los papeles de
1
y
2
en la expresion de
(vease la Figura 1.11).
Figura 1.10: Accion de las transformaciones elpticas en la esfera
En resumen, una transformacion elptica es una rotacion en los crculos
de Apolonio en la esfera de Riemann, o en el plano complejo. Vease las
Figuras 1.9 y 1.10. La accion geometrica de estas transformaciones en
R
3
consiste de una rotacion alrededor de un crculo de puntos jos, cf. [2]
p. 67. En el siguiente captulo se analizara de nuevo la geometra de las
transformaciones de Mobius, usando la metrica hiperbolica.
1.4. GEOMETR
IA 27
S(A)
(A)
A
T(A)
1
2
Figura 1.11: Las transformaciones elpticas intercambian los crculos por
los puntos jos (rotandolos)
1.4.2. Transformaciones hiperbolicas
1
2
C
T(C)
(C)
S(C)
Figura 1.12: Las transformaciones hiperbolicas intercambian los crculos
de Apolonio
Como en el caso elptico consideramos (z) como en (1.5) y T hiperbolica
con puntos jos
1
y
2
, por lo cual
S(z) = T
1
= kz, k R
+
.
En este caso T preserva los crculos por
1
y
2
e intercambia los crcu-
los de Apolonio. La primera armacion se sigue de manera inmediata (vease
la Figura 1.13). Ahora, si C es un crculo de Apolonio, entonces (C) y
S (C) son crculos distintos concentricos al origen y
1
S (C) = T(C)
28 CAP
ITULO 1. TRANSFORMACIONES DE M
OBIUS COMPLEJAS
es otro crculo de Apolonio (vease la Figura 1.12).
1
2
z
T(z)
T
n
(z)
z
T(z)
T
n
(z)
Figura 1.13: Crculos jos de las transformaciones hiperbolicas
Figura 1.14: Accion de las transformaciones hiperbolicas en la esfera
Observese que al iterar T, si n N, se tiene
T
n
(z) =
_
1
S
_
n
(z) =
1
S
n
(z).
Por lo cual, si k > 1 y z ,=
1
, entonces T
n
(z)
2
, cuando n , ya
que S
n
(z) se acerca a . En este caso los puntos uyen hacia
2
y se
dice que
2
es el atractor. Tambien, S
n
(z) se aleja de 0 y T
n
(z) de
1
,
se dice que
1
es el repulsor. Si k < 1, es claro que se invierten los papeles,
1
es ahora el atractor (vease las Figuras 1.13 y 1.14).
1.4. GEOMETR
IA 29
1.4.3. Transformaciones loxodromicas
Las loxodromicas son una composicion de hiperbolicas y elpticas, por lo que
su dinamica consiste de una rotacion de los crculos de Apolonio, seguida
de una traslacion a lo largo de los crculos por
1
y
2
(o viceversa,
ya que estas funciones conmutan). De manera analoga al caso hiperbolico,
uno de los puntos jos es un atractor y el otro un repulsor. En este caso, no
hay crculos jos, sin embargo, estas transformaciones preservan espirales
que se enrollan en los puntos jos (vease la Figura 1.15). Si los puntos jos
son 0 e , esto se sigue al considerar T(z) = az, a = e
r+i
, loxodromica
y z
0
C 0; se tiene entonces que las imagenes de este punto bajo las
iteraciones de T son los puntos
z
0
e
nr+in
, n Z,
por lo cual, la espiral
z
0
e
xr+ix
, x R
es invariante bajo T. El caso general se sigue por conjugacion, queda como
ejercicio para el lector la vericacion de los detalles.
0
z
0
z
0
e
nr+in
0
Figura 1.15: Espirales invariantes bajo las transformaciones loxodromicas
1.4.4. Transformaciones parabolicas
Las traslaciones de la forma S(z) = z +b tienen como familia de crculos
jos a las rectas paralelas al vector b, las cuales se intersectan en (vease
30 CAP
ITULO 1. TRANSFORMACIONES DE M
OBIUS COMPLEJAS
la Figura 1.16). Al iterar S los puntos de C se mueven hacia en la
direccion del vector b.
En el caso general, si T es parabolica y ja , conjugando con
(z) =
1
z
,
se tiene que la familia de crculos jos cubren
C y se intersectan solamente
en . Al iterar T algunos puntos uyen a lo largo de estos crculos hacia ,
otros se alejan de este punto, para posteriormente acercarse a el (vease
las Figuras 1.16 y 1.17). Estas armaciones se pueden probar de manera
analoga a las del caso hiperbolico.
z +b
z
IA 31
Figura 1.17: Accion de las transformaciones parabolicas en la esfera
En este sentido, las parabolicas se pueden pensar como un caso degenerado
de las elpticas, al conservarse en el lmite ese caracter rotacional por los
crculos de Apolonio (vease la Figura 2.6). La otra familia, que denotamos
por C
1
, es la familia ortogonal, esto es, los crculos obtenidos al rotar
(por multiplicacion por i) alrededor de , los crculos de la familia C
2
.
Para el caso = , la rotacion puede ser sobre cualquier punto del plano.
Los crculos de esta familia C
1
son intercambiados por las parabolicas,
esto es, se rotan entre si, alrededor de (vease la Figura 1.18). Todas estas
armaciones son evidentes para el caso de las traslaciones, el caso general se
sigue por biyectividad y conformalidad al conjugar.
z
z +b
Figura 1.18: Conguracion de Steiner degenerada
32 CAP
ITULO 1. TRANSFORMACIONES DE M
OBIUS COMPLEJAS
EJERCICIOS 1.4
1. Demuestre analitica y geometricamente que existe solamente una recta de
Apolonio.
2. Demuestre la existencia de espirales invariantes bajo las transformaciones
loxodromicas.
3. Demuestre que una transformacion loxodromica tiene como puntos jos
un atractor y un repulsor.
1.5. Transformaciones que preservan dis-
cos
Se denotara por discos a discos o semiplanos en el plano complejo (o discos
en la esfera de Riemann). Se describe primero las transformaciones de Mobius
que preservan el semiplano superior,
H
2
= z C
Im(z) > 0.
Mostraremos en el siguiente captulo que este semiplano es uno de los mode-
los mas importantes del plano hiperbolico y que las transformaciones de
PSL(2, C) que lo preservan, actuan como isometras hiperbolicas.
Al subgrupo de las matrices en SL(2, C) con entradas reales se le denota
por SL(2, R). La misma prueba del caso complejo muestra que el centro de
SL(2, R) es Id y que se puede identicar a las transformaciones de Mobius
denidas por estas matrices con PSL(2, R), donde este ultimo grupo es el
cociente de SL(2, R) sobre su centro. Esta armacion se sigue del siguiente
diagrama de sucesiones exactas, donde
R
denota las transformaciones de
Mobius denidas por las matrices en SL(2, R).
Id SL(2, R) PSL(2, R).
R) =
R. Ahora, como
T(i) =
a i + b
c i + d
=
(a i + b)(c i + d)
c
2
+ d
2
,
se tiene que
Im(T(i)) =
1
c
2
+ d
2
> 0,
y se sigue entonces por conexidad que T preserva H
2
.
Por otra parte, si una funcion en PSL(2, C)
T(z) =
az + b
cz + d
, ad bc = 1,
preserva H
2
, entonces la continuidad y la biyectividad implican que T tam-
bien preserva la recta real extendida
R.
Ahora, si
S(z) =
az + b
cz + d
,
resulta que T y S coinciden en
R, ya que si z
R, entonces
T(z) = T(z) = S(z) = S(z).
Por lo tanto, como T y S coinciden en mas de dos puntos, T = S y
a = a, b = b, c = c, d = d.
Hay que probar que a, b, c y d no son imaginarios puros, si as fuera, se
tendra
T(i) =
a i + b
c i + d
=
(a i + b)(c i + d)
[c i + d[
2
y
Im T(i) =
a d b c
[c i + d[
2
=
a d b c
[c i + d[
2
< 0,
lo cual contradice que T preserva H
2
.
34 CAP
ITULO 1. TRANSFORMACIONES DE M
OBIUS COMPLEJAS
Se quiere describir las transformaciones de Mobius que preservan el disco
unitario
= z C [ [z[ < 1.
Esto es muy importante, porque este disco, llamado de Poincare, es un segun-
do modelo del plano hiperbolico, mas homogeneo que el semiplano superior,
ya que todos los puntos en la recta al innito, es decir, en el crculo uni-
tario, son similares; en contraste con la recta real extendida, en la cual
juega un papel muy particular. Con este objeto, se encuentra una funcion en
PSL(2, C) que transforme H
2
en . Para esto basta mandar tres puntos
distintos de la recta real extendida, a tres puntos distintos del crculo unitario
. Una eleccion, que resulta muy adecuada, es enviar 1, 0, 1 a i, 1, i.
Si T PSL(2, C),
T(z) =
az + b
cz + d
,
tiene esta propiedad, evaluando en 0, se tiene
b/d = 1 y b = d.
Evaluando ahora en 1, se sigue que
a + b
c + d
= i y
a + b
c + d
= i.
Por consiguiente
a d = i(c + d) y a d = i(c + d),
sumando y restando estas ecuaciones se obtiene
2 d = 2 i c y 2 a = 2 i d.
Finalmente, si d = i se obtiene la transformacion buscada
T(z) =
z i
z + i
,
ya que como T(i) = 0 y por construccion T manda la recta real en el crculo
unitario, se sigue por conexidad que
T(H
2
) = .
Esta transformacion llamada de Cayley es una rotacion de orden 3 en la
esfera de Riemann (cf. [16]).
1.5. TRANSFORMACIONES QUE PRESERVAN DISCOS 35
Teorema 1.5.2 Las transformaciones de Mobius en PSL(2, C) que preser-
van el disco unitario son de la forma
S(z) =
z +
z +
, [[
2
[[
2
= 1 , C.
Demostraci on. Observese primero que si
T(z) =
z i
z + i
y S es una funcion en PSL(2, C) que preserva , entonces la transforma-
cion
U = T
1
S T PSL(2, R)
y
S = T U T
1
.
Escribiendo
T =
_
1 i
1 i
_
y U =
_
a b
c d
_
SL(2, R),
basta calcular T U T
1
.
Como
T
1
=
_
i/2 i i/2 i
1/2 i 1/2 i
_
= (1/2) I
_
1 1
i i
_
,
se tiene
T U T
1
= (1/2) I
_
1 i
1 i
_ _
a b
c d
_ _
1 1
i i
_
= (1/2) I
_
a ic b id
a + ic b + id
_ _
1 1
i i
_
= (1/2) I
_
a + d + i(b c) a d i(b + c)
a d + i(b + c) a + d + i(c b)
_
,
la cual es una matriz de la forma
_
_
, [[
2
[[
2
= 1, , C.
36 CAP
ITULO 1. TRANSFORMACIONES DE M
OBIUS COMPLEJAS
Denotaremos por M() a este subgrupo de transformaciones de PSL(2, C)
que preservan . La funcion
z
az + c
cz + a
, [a[
2
[c[
2
= 1,
se puede modicar a otra util expresion, de la siguiente manera:
az + c
cz + a
=
a
_
z +
c
a
_
cz + a
=
a
[a[
_
z +
c
a
_
c
[a[
z +
a
[a[
=
_
a
[a[
_
2 _
z
_
c
a
__
ac
[a[
2
z +
aa
[a[
2
=
e
i
(z z
0
)
z
0
z + 1
, z
0
, (1.6)
donde e
i
= (a/[a[)
2
y z
0
= c/a (como [a[
2
[c[
2
= 1, z
0
).
Viceversa, se sigue por biyectividad y conexidad, que toda transformaci on
de la forma (1.6) preserva , ya que T(z
0
) = 0 y si [z[ = 1, entonces
[z z
0
[
[ z
0
z + 1[
=
[zz z
0
z[
[ z
0
z + 1[
= 1.
Las transformaciones de Mobius que preservan son conformes en ,
ya que los unicos puntos donde una funcion en PSL(2, C) puede no ser
conforme son y su preimagen.
EJERCICIOS 1.5
1. Sea f : una biyeccion conforme, demuestre que f es de Mobius.
Sugerencia: usar la unicidad del teorema del mapeo de Riemann.
2. Demuestre que PSL(2, R) esta generado por homotecias, traslaciones por
reales y la funcion z 1/z.
1.6. CLASIFICACI
ON POR LA TRAZA 37
1.6. Clasicacion por la traza
Ahora exhibimos una caracterizacion de los elementos de PSL(2, C) en
terminos de la traza, esta clasicacion es de gran utilidad, por ejemplo, per-
mite detectar de manera inmediata de que tipo es una transformacion de
Mobius dada.
Denicion 6 Sea T una transformacion de Mobius distinta de la identidad.
(i) Si T es parabolica se dene su multiplicador como 1.
(ii) Si T es conjugada a una transformacion de la forma z kz, k ,= 0, 1,
a los n umeros k y 1/k se les llama los multiplicadores de T.
Se sigue de la clasicacion denida por la conjugacion a formas canonicas
que los multiplicadores estan bien denidos. El grupo de matrices de 2 2
con entradas complejas y determinante distinto de 0 se denota por GL(2, C),
se dene la traza de A GL(2, C) como la suma de los elementos diagonales,
esta se denota por tr(A). Usaremos el siguiente resultado basico del algebra
lineal.
Lema 1.6.1 La traza es invariante bajo conjugacion en GL(2, C).
Demostraci on. Basta probar que tr(AB) = tr(BA), A, B GL(2, C), ya
que entonces tr(ABA
1
) = tr(A
1
AB) = tr(B). Escribiendo
A =
_
a b
c d
_
, B =
_
_
,
se tiene
AB =
_
a + b
c + d
_
y BA =
_
a + c
b + d
_
,
por lo que tr(AB) = tr(BA).
La traza de una transformacion de Mobius esta bien denida salvo un
signo, puesto que existen dos matrices unimodulares que la denen.
Denicion 7 Dada T PSL(2, C),
T(z) =
az + b
cz + d
,
se dene la traza de T como
a + d
ad bc
.
38 CAP
ITULO 1. TRANSFORMACIONES DE M
OBIUS COMPLEJAS
Denotaremos la traza de T por (T), o simplemente por . Para muchas
aplicaciones es util tener formulas explcitas de las coordenadas de los puntos
jos. Obtenemos ahora una expresion en terminos de la traza, para esto
consideramos
T(z) =
az + b
cz + d
, ad bc = 1, T ,= Id
y se tienen dos casos.
Caso 1: c ,= 0. En este caso, como
T(z) = z az + b = (cz + d) z cz
2
+ (d a)z b = 0,
los puntos jos de T estan dados por
a d
_
(a d)
2
+ 4 b c
2c
,
y usando la condicion unimodular, esta formula se simplica a
a d
_
2
4
2c
. (1.7)
Caso 2: c = 0. En este caso
T(z) =
a
d
z +
b
d
.
Si T es parabolica, es el unico punto jo. De otra manera, como
T(z) = z
_
a
d
1
_
z =
b
d
,
el segundo punto jo esta dado por
b
d a
.
Teorema 1.6.2 Sea T PSL(2, C), T ,= Id, entonces
k +
1
k
+ 2 =
2
,
donde k, 1/k son los multiplicadores de T y es su traza.
1.6. CLASIFICACI
ON POR LA TRAZA 39
Demostraci on.
Caso 1: T es parabolica.
Como el cuadrado de la traza es invariante bajo conjugacion, se tiene
2
(T) = tr
2
_
1 t
0 1
_
= 4
y se sigue el resultado.
Caso 2: T no es parabolica.
En este caso T es conjugada a una transformacion de la forma S(z) = kz,
la cual esta denida por la matriz
S =
_
_
k 0
0
1
k
_
_
SL(2, C).
Por lo cual
2
(T) =
2
(S) =
_
k +
1
k
_
2
= k +
1
k
+ 2.
ITULO 1. TRANSFORMACIONES DE M
OBIUS COMPLEJAS
Para el caso de una transformacion en PSL(2, C) que ja dos puntos,
uno de los cuales es , es decir, de la forma T(z) = z + , los multi-
plicadores se encuentran con facilidad, estos son precisamente y 1/. Lo
cual se sigue, ya que con esta notacion el segundo punto jo esta dado por
1
,
y conjugando con
(z) = z
1
,
se obtiene
S(z) = T
1
(z) = T
_
z +
1
_
= z
(como el termino constante es cero, no es necesario efectuar mas cuentas).
Esta facilidad para detectar los multiplicadores de una transformacion
que ja , permite tambien clasicarla de manera inmediata, por ejemplo,
z i z + 5
es elptica, sin embargo
z 7 z + 8 +i
es hiperbolica. El siguiente resultado es muy importante, exhibe un criterio,
tambien sencillo, para clasicar cualquier transformacion en PSL(2, C).
Teorema 1.6.3 Sea T PSL(2, C), T ,= Id y la traza de T. Entonces
(i) T es parabolica si y solo si = 2;
(ii) T es eliptca si y solo si (2, 2);
(iii) T es hiperbolica si y solo si (2, ) (, 2);
(iv) T es loxodromica si y solo si / R.
Demostraci on. Probamos primero las condiciones de necesidad. El caso
parabolico ya se probo.
Si T es elptica, entonces T es conjugada a una transformacion de la
forma S(z) = e
i
z, (0, 2), la cual esta determinada por la matriz
_
e
i/2
0
0 e
i/2
_
SL(2, C).
1.6. CLASIFICACI
ON POR LA TRAZA 41
Por lo tanto, (T) = (S) = 2 cos(/2) (2, 2).
Si T es hiperbolica, entonces T es conjugada a una transformacion deni-
da por la matriz
_
k 0
0 1/
k
_
SL(2, C), k R
+
,
por lo cual
2
(T) =
2
(S) =
_
k +
1
k
_
2
= k + 2 +
1
k
> 4,
puesto que
_
k
1
k
_
2
> 0.
Ahora, si T es loxodromica y e
i
, ,= 0, 1, (0, 2), es uno de sus
multiplicadores, se sigue del Teorema 1.6.2 que
(cos + i sen) +
1
(cos i sen) + 2 =
2
(T).
Si (T) R, se tendra
2
(T) R
+
y ( 1/) sen = 0, por lo cual
sen = 0 y = . Al tomar la parte real se tiene ( +1/) +2 R
+
, lo
que es una contradiccion, ya que + 1/ > 2.
Para probar la suciencia, observese que si
2
(T) = 4, se sigue de la
primera parte que T no es elptica, ni tampoco hiperbolica o loxodromica,
por lo que debe ser parabolica. Los otros casos se siguen de manera analoga.
2
(T) =
2
(S).
42 CAP
ITULO 1. TRANSFORMACIONES DE M
OBIUS COMPLEJAS
Damos ahora unos ejemplos, las transformaciones
z
2 z + 3
z + 2
y z
2 z + 9
z 4
son hiperbolica y parabolica, respectivamente. Por otra parte, las funciones
z
1
z
y z
i z 2
z + i z
son elptica de orden 2 y loxodromica, respectivamente.
EJERCICIOS 1.6
1. Sea T PSL(2, C), demuestre que T preserva un disco si y solo si T
no es loxodromica.
2. Demuestre que una transformacion en PSL(2, C) es de orden dos si y solo
si su traza es 0.
3. Demuestre que los puntos jos de una transformacion elptica en PSL(2, R)
son conjugados.
4. Demuestre que los puntos jos nitos de una transformacion hiperbolica
o parabolica en PSL(2, R) son reales.
5. Demuestre que la funcion z
zi
z+i
es elptica de orden 3.
6. Demuestre el Corolario 1.6.4.
Captulo 2
Metrica hiperbolica
Primeramente se demuestra como una densidad induce una metrica y como
bajo biyecciones conformes se obtienen isometras. Usando estos resultados
se presentan dos modelos del plano hiperbolico, el del semiplano superior H
2
y el del disco de Poincare . En cada uno de estos modelos, se describen
formulas de la distancia, as como los grupos de isometras, las geodesicas
o curvas que minimizan la distancia y los crculos. Tambien, se muestran
algunas aplicaciones, como el paralelismo. Posteriormente, se estudia el grupo
general de isometras en ambos modelos y se describen los haces parabolicos,
elpticos e hiperbolicos, probando algunas propiedades de estos. Por ultimo,
se prueban algunos resultados de la geometra hiperbolica 3-dimensional.
2.1. Densidades
Recordamos que si A es un abierto en R
n
y f es una funcion diferenciable
de A en R
n
, se dice que f es conforme en x
0
A, si Df(x
0
) es el producto
de una matriz ortogonal por la matriz k I, k R
+
. Al n umero k se le llama
el factor de conformalidad y se le denota por
f
(x
0
), o simplemente por
(x
0
).
Denicion 8 Sea A una region en R
n
, una densidad en A es una funcion
continua : A R
+
.
Las densidades nos permiten medir longitudes de curvas de distintas
maneras. Mas precisamente, dada una densidad en una region A y
43
44 CAP
ITULO 2. M
ETRICA HIPERB
OLICA
una curva de clase C
1
en A, se dene la -longitud de como
_
b
a
((t)) [
(t) [ dt,
donde :[a , b] A. Esta denicion se extiende de manera natural a curvas de
clase C
1
por tramos. Denotamos a esta longitud por l
(),
donde el nmo es sobre todas las curvas de clase C
1
por tramos que unen
z
1
con z
2
. A esta distancia se le denota por
(z
1
, z
2
).
Teorema 2.1.1 Sea una densidad denida en una region A de R
n
, en-
tonces la distancia
() =
_
b
a
_
(t)
_
[()
(t)[ dt =
_
b
a
_
(a + b t)
_
[
(a + b t)[ dt
=
_
b
a
_
(s)
_
[
(s)[ ds = l
().
Evidentemente, (x, x) = 0, x A y es no negativa. Ademas, se
cumple la desigualdad del triangulo: si (x, z) > (x, w) +(w, z), entonces
existe > 0, tal que (x, z) > (x, w) + (w, z) + . Sin embargo, en este
caso se podran tomar dos curvas,
1
y
2
, cuyas longitudes aproximaran
(x, w) y (w, z) por una cantidad menor a /2 , respectivamente. Esto sera
una contradiccion, ya que la curva
1
+
2
unira x con z y tendra longitud
menor a (x, z).
Falta solamente probar que si x ,= y, entonces (x, y) > 0. Para probar
esto, sea D un disco cerrado con centro en x, radio r y tal que y / D. Por
2.1. DENSIDADES 45
compacidad y continuidad existe m tal que (z) m, z D. Ahora, sea
: [a , b] A una curva que une x con y y t
0
[a , b], tal que (t
0
) es el
primer punto donde la curva sale del disco abierto D(vease la Figura 2.1).
En este caso se tiene
l
()
_
t
0
a
((t)) [
(t)[ dt mr,
puesto que cualquier curva que une x con un punto en D tiene una longitud
mayor o igual a r. Por lo tanto (x, y) mr > 0.
x
y
(t
0
)
Figura 2.1: Positividad de la metrica denida por una densidad
La siguiente observacion es de gran utilidad para obtener espacios isometri-
cos, por ejemplo, al exhibir diferentes modelos del plano hiperbolico. Sean A
y B dos regiones en R
n
y f : A B, una biyeccion conforme, supongase
tambien que la region A esta provista de una metrica denida por una densi-
dad . Bajo estas hipotesis, se puede proveer a la region B con una densidad
, de tal manera que f sea una isometra. Esto se obtiene deniendo
(f(x)) =
(x)
(x)
, (2.1)
donde (x) es el factor de conformalidad de f en x. Esto se sigue, ya que
si : [a , b] A es una curva de clase C
1
, entonces se tiene
l
(f()) =
_
b
a
(f )
(t)
_
f ((t))
_
dt
46 CAP
ITULO 2. M
ETRICA HIPERB
OLICA
=
_
b
a
((t)) [
(t)[
((t))
((t))
dt = l
().
Como toda curva de clase en C
1
en B es de esta forma, se sigue la obser-
vacion, puesto que este analisis se puede generalizar facilmente a curvas de
clase C
1
por tramos.
Es importante destacar que el argumento funciona tambien en el sentido
inverso, es decir, si se tienen dos regiones A y B con metricas denidas por
densidades y respectivamente y una biyeccion conforme entre ellas que
satisface (2.1), entonces A y B son regiones isometricas.
En particular, si se tiene una region A en R
n
provista con una metrica
denida por una densidad y una biyeccion conforme f : A A, que
satisface la ecuacion
(f(x)) =
(x)
(x)
, (2.2)
entonces, f es una isometra.
Si se tiene denida una densidad , en una region A R
n
, es claro
que la -longitud de una curva C en A no esta unvocamente determina-
da, ya que al parametrizarla se puede hacer de tal manera que se recorra
alg un segmento de la curva, mas de una vez. Sin embargo, si la curva C
esta parametrizada por una funcion C
1
por tramos, de modo que la deriva-
da se anule solamente en un n umero nito de puntos y recorra la curva en
la misma direccion; entonces la -longitud de C es unica. Para probar es-
to, observese primero que se tienen dos parametrizaciones
1
: [a , b] A,
2
: [c , d] A, de clase C
1
, que recorren el mismo segmento de la curva C,
en la misma direccion y con derivada no nula, entonces se sigue del teorema
de parametrizacion unitaria, que existe un difeomorsmo : [a , b] [c , d],
tal que
2
=
1
. Ahora, bajo estas hipotesis, se tiene por el teorema de
cambio de variable real, que
l
(
1
) = l
(
2
) =
_
b
a
(
2
)
(t)
2
_
(t)
_
_
dt
=
_
b
a
(t)
_
(t)
_
2
_
(t)
_
_
dt =
_
d
c
(s)
2
(s)
_
ds = l
(
2
).
Usando este argumento se sigue facilmente la armacion en el caso general.
EJERCICIOS 2.1
1. Demuestre formalmente la existencia del punto t
0
descrito al nal de la
demostracion del Teorema 2.1.1.
2.2. EL MODELO DEL SEMIPLANO 47
2. Demuestre formalmente la validez de la desigualdad descrita al nal de la
demostracion del Teorema 2.1.1:
_
t
0
a
((t)) [
(t)[ dt mr.
3. Sea f : A R
n
una funcion diferenciable en una abierto A de R
n
y que
tambien es conforme en x
0
A, demuestre que lm
xx
0
|f(x)f(x
0
)|
|xx
0
|
existe y
es precisamente el factor de conformalidad.
2.2. El modelo del semiplano
La discusion sobre densidades nos permite presentar un primer modelo del
plano hiperbolico, donde PSL(2, R) act ua como un grupo de isometras.
Denicion 10 El plano superior H
2
provisto con la metrica denida por
la densidad
(z) =
1
Im z
se le llama el plano hiperbolico y a esta metrica se le llama la metrica
hiperbolica.
En este modelo, llamado del semiplano, es intuitivamente claro que si se
tiene una curva C en H
2
y se traslada en direccion vertical, su longitud
hiperbolica puede crecer tanto como se quiera (si se mueve hacia abajo), o
puede decrecer tanto como se quiera (si se mueve hacia arriba); sin embargo
la longitud euclideana siempre es la misma. Viceversa, existen curvas que
euclideanamente miden cualquier valor que se quiera, pero que hiperboli-
camente siempre miden lo mismo, por ejemplo, los segmentos de crculos
concentricos de la Figura 2.2. Esto se sigue del Teorema 2.2.1, ya que las
homotecias son isometras hiperbolicas, al estar denidas por matrices en
SL(2, R).
Teorema 2.2.1 El grupo PSL(2, R) act ua como un grupo de isometras en
H
2
con la metrica hiperbolica.
Demostraci on. Observese primero que si
T(z) =
az + b
cz + d
esta denida por la matriz
_
a b
c d
_
SL(2, R),
48 CAP
ITULO 2. M
ETRICA HIPERB
OLICA
entonces
Im
_
T(z)
_
= Im
_
az + b
cz + d
_
= Im
_
(az + b)(cz + d)
[cz + d[
2
_
= Im
_
adz + bcz
[cz + d[
2
_
=
Im(z)
[cz + d[
2
.
Tambien, como
T
(z) =
1
(cz + d)
2
,
se sigue de las ecuaciones de Cauchy-Riemann que
T
(z) =
1
[cz + d[
2
.
Estos hechos muestran que se cumple la relacion (2.2), ya que
1
Im
_
T(z)
_ =
[cz + d[
2
Im(z)
=
1
Im(z)
_
1
T
(z)
_
,
por lo que se sigue el resultado.
0
Figura 2.2: Curvas de la misma longitud hiperbolica
Algunos ejemplos de isometras hiperbolicas son las traslaciones por reales
y la funcion z 1/z, esto se sigue ya que las matrices
_
1 t
0 1
_
,
_
0 1
1 0
_
, t R,
2.2. EL MODELO DEL SEMIPLANO 49
pertenecen a SL(2, R). Observese que esto implica que al trasladar cualquier
curva horizontalmente su longitud hiperbolica permanece invariante.
La reexion en el eje imaginario
(z) = z
es tambien una isometra hiperbolica de H
2
(ejercicio). De hecho, probaremos
que el grupo de todas las isometras hiperbolicas del modelo del semiplano
superior esta generado por PSL(2, R) y .
Se establece ahora como son las curvas en el modelo del semiplano que
minimizan la distancia. Para ello se considera primero una caso sencillo: se
toman los puntos i, k i, k > 1 y : [a , b] H
2
, de clase C
1
, tal que
(a) = i y (b) = k i. Si l
h
() denota la longitud hiperbolica de y
(t) = (
1
(t),
2
(t)), se tiene
l
h
() =
_
b
a
_
(
1
(t))
2
+ (
2
(t))
2
2
(t)
dt
_
b
a
_
(
2
(t))
2
2
(t)
dt
_
b
a
(t)
2
(t)
dt = log(
2
(t))
b
a
= log
2
(b) log (a) = log(k) log(1) = log k.
En particular, la curva : [1 , k] H
2
, dada por (t) = i t, alcanza esta
cota
l
h
() =
_
k
1
1
t
dt = log k.
Como este argumento se generaliza facilmente a curvas de clase C
1
por
tramos, se sigue que
(i, k i) = log k,
donde denota la distancia hiperbolica. Se tiene tambien que este segmento
del eje imaginario es la unica curva que minimiza la distancia, ya que para
cualquier otra curva con componente real y parametrizada por una funcion
, se tiene l
h
() > log k (ejercicio).
Si 0 < k < 1, se aplican los mismos argumentos, considerando ahora que
las curvas inicien en k i y terminen en i, y que el dominio de la curva de
longitud mnima sea el intervalo [k , 1], obteniendose como distancia log k.
50 CAP
ITULO 2. M
ETRICA HIPERB
OLICA
Alternativamente, como la transformacion z 1/z esta en PSL(2, R) y
ja i, se sigue del caso anterior que
(k i , i) = (i/k , i) = log (1/k) = log k.
Estos resultados implican tambien, que si t > m > 0, entonces
(t i , mi) = log t log m
(ejercicio).
De manera analoga se puede denir un modelo del espacio hiperbolico
n-dimensional, usando el semiespacio superior en R
n
H
n
= (x
1
, x
2
, ..., x
n
) R
n
[ x
n
> 0 ,
con la densidad
(x) =
1
x
n
,
donde x = (x
1
, x
2
, ..., x
n
). Resulta que una prueba, casi identica a la del
caso del semiplano superior, muestra que en este caso la longitud hiperbolica
entre puntos alineados verticalmente, es decir, con el eje denido por el vector
e
n
= (0, ..., 0, 1) esta tambien dada por el logaritmo.
Volviendo al contexto bidimensional, se necesita otro resultado para anali-
zar cuales son las curvas que minimizan la distancia hiperbolica entre dos
puntos en H
2
, que no esten alineados verticalmente.
Proposicion 2.2.2 El grupo PSL(2, R) act ua transitivamente en la familia
de crculos ortogonales al eje real.
Demostraci on. Observese primero que por conformalidad cualquier trans-
formacion en PSL(2, R) preserva esta familia. Ahora, para probar el teore-
ma, basta mostrar que dado cualquier crculo ortogonal al eje real C existe
una funcion en PSL(2, R) que transforma este crculo en el eje imaginario.
Si C es una recta paralela al eje imaginario, una traslacion la mueve al eje
imaginario. Por otra parte, si C es un crculo que intersecta ortogonalmente
al eje real, este se puede transformar mediante una traslacion y una homotecia
en el crculo unitario, por lo que basta probar que existe un elemento en
PSL(2, R) que transforme el crculo unitario en el eje imaginario. Una opci on
es mandar 1 en 0 y 1 en , lo cual sugiere tomar
z
z 1
z + 1
,
2.2. EL MODELO DEL SEMIPLANO 51
que es en efecto una transformacion en PSL(2, R) que transforma el crculo
unitario en el eje imaginario.
Notese, que la transformacion
z
z + 1
z 1
/ PSL(2, R),
por lo que es importante checar a nivel matricial las entradas, para detectar
si una transformacion pertenece, o no, a PSL(2, R). Observese tambien que
la Proposicion 2.2.2 implica que PSL(2, R) es transitivo en puntos de H
2
(evidentemente lo es para los puntos de
R), ya que cualquier punto puede
trasladarse al eje imaginario, y posteriormente aplicando una homotecia man-
darlo al punto i.
Se puede ahora caracterizar todas las curvas que minimizan distancias,
que en este contexto se les llama tambien geodesicas. Sean z, w H
2
y C el
crculo ortogonal a la recta real que pasa por z y w; se tiene entonces que
(z, w) esta dada por la longitud hiperbolica del segmento de C que une z
con w (vease la Figura 2.3). Esto se sigue, ya que en virtud de la Proposi-
cion 2.2.2, se puede encontrar una funcion en PSL(2, R) que transforme
C en el eje imaginario, y estas transformaciones, ademas de ser isometras,
tienen la propiedad de preservar curvas que minimizan la distancia (la ultima
armacion se sigue de la prueba del Teorema 2.2.1).
Este argumento demuestra ademas que el segmento de C, que denotare-
mos por [z, w], es la unica curva que minimiza la distancia; esto se sigue,
ya que si hubiera otra curva de z a w, con dicha propiedad, existira otra
geodesica, distinta de un segmento vertical, uniendo a dos puntos en el eje
imaginario. Se concluye entonces que los semicrculos en H
2
, ortogonales
a la recta real, contienen todas las geodesicas hiperbolicas. Estos ultimos
razonamientos demuestran tambien el siguiente importante resultado.
Teorema 2.2.3 Sean z, w, v tres puntos distintos en H
2
, entonces
(z, v) = (z, w) + (w, v) w [z, v].
Observese que el teorema anterior implica que cualquier isometra hiperbo-
lica de H
2
necesariamente manda geodesicas en geodesicas. Para obtener una
formula general de la distancia hiperbolica, entre dos puntos cualesquiera, se
prueba primero el siguiente resultado de invariabilidad de cierta expresion,
bajo la accion de elementos en PSL(2, R).
52 CAP
ITULO 2. M
ETRICA HIPERB
OLICA
i
ki
z w
i
ki
z
w
Figura 2.3: Geodesicas en H
2
Lema 2.2.4 La expresion
[z w[
2
2 Imz Imw
es invariante bajo la accion de transformaciones en PSL(2, R).
Demostraci on. Sea T PSL(2, R) dada por
T(z) =
az + b
cz + d
, ad bc = 1,
se tiene entonces que
[T(z) T(w)[
2
2 Im T(z) Im T(w)
=
az + b
cz + d
aw + b
cw + d
2
[cz + d[
2
[cw + d[
2
2 Im z Im w
=
[(az + b)(cw + d) (aw + b)(cz + d)[
2
2 Im z Im w
=
[z w[
2
2 Im z Im w
.
ITULO 2. M
ETRICA HIPERB
OLICA
Teorema 2.2.6 El conjunto de los puntos z = x + iy en H
2
, que equidis-
tan hiperbolicamente una distancia r de un punto z
0
= x
0
+ i y
0
, estan
determinados por la siguiente ecuacion
(x x
0
)
2
+ (y y
0
coshr)
2
= y
2
0
senh
2
r,
es decir, constituyen un crculo euclideano.
Demostraci on. Sea C = z H
2
[ (z, z
0
) = r, entonces
cosh(z, z
0
) = coshr = 1 +
[z z
0
[
2
2 Im z Im z
0
,
y se tiene
coshr =
(x x
0
)
2
+ y
2
+ y
2
0
2 y y
0
.
Despejando y completando cuadrados se tiene
2 y y
0
coshr = (x x
0
)
2
+ y
2
+ y
2
0
(cosh
2
r senh
2
r)
y
(x x
0
)
2
+ (y y
0
coshr)
2
= y
2
0
senh
2
r.
ITULO 2. M
ETRICA HIPERB
OLICA
es uno de estos hiperciclos. Resulta que en los casos hiperbolico y parabolico
los puntos jos no pertenecen al plano hiperbolico, sin embargo juegan un
papel fundamental en la accion geometrica de estas funciones, por lo que es
muy importante considerar la recta real extendida, a la cual se le llama la
recta al innito.
Otra aplicacion fundamental del Teorema 2.2.5 la establece el siguiente re-
sultado, el cual implica que el grupo completo de isometras de H
2
esta dado
por
z z, PSL(2, R)),
posteriormente mostraremos que este grupo es tambien el generado por las
reexiones en los crculos ortogonales a la recta real.
z
0
z
0
ITULO 2. M
ETRICA HIPERB
OLICA
z
i |z|
E 59
2. Pruebe que z z es una isometra hiperbolica de H
2
.
3. Demuestre que si t > m > 0, entonces (t i , mi) = log t log m.
4. Demuestre formalmente el Teorema 2.2.3.
5. Demuestre que dado un triangulo hiperbolico en H
2
con un vertice en
la recta al innito, un angulo recto y otro angulo positivo , se tiene que
sencoshb = 1, donde b denota la longitud hiperbolica del lado nito.
6. Demuestre que existen parametrizaciones de curvas que minimizan la dis-
tancia hiperbolica entre dos puntos, pero que sin embargo sus derivadas se
anulan en un n umero nito de puntos.
7. Pruebe de manera geometrica el Lema 2.2.8.
b
b
b
b
b z
i |z|
b
Figura 2.8: Paralelismo
2.3. El modelo del disco de Poincare
La relacion (2.1) descrita en la seccion de densidades permite exhibir, sin gran
dicultad, el disco unitario como un segundo modelo del plano hiperbolico.
Recordamos del primer captulo que la funcion de Cayley
f(z) =
z i
z + i
es una biyeccion conforme de H
2
en el disco unitario .
Para encontrar la metrica hiperbolica en , primero hay que calcular la
funcion inversa de f y su factor de conformalidad. Se tiene que
f
1
(w) =
iw + i
w + 1
,
60 CAP
ITULO 2. M
ETRICA HIPERB
OLICA
y
f
(z) =
(z + i) (z i)
(z + i)
2
=
2i
(z + i)
2
.
Ahora, se sigue de las ecuaciones de Cauchy-Riemann que el factor de con-
formalidad, denotado en (2.1) por (z) esta dado por [f
(z)[, por lo cual
(z) =
2
[z + i[
2
.
Tambien
Im
_
f
1
(w)
= Re
_
w + 1
1 w
_
= Re
_
(w + 1)(1 w)
[1 w[
2
_
=
1 [w[
2
[1 w[
2
.
Finalmente, juntando esta informacion se tiene
(w) =
_
f
1
(w)
_
_
f
1
(w)
_ =
f
1
(w) + i
2
2 Imf
1
(w)
=
[1 w[
2
iw + i
1 w
+ i
2
2(1 [w[
2
)
=
2
1 [w[
2
.
Estos calculos establecen una densidad en que dene la metrica hiperboli-
ca en este segundo modelo (descubierto por Beltrami).
Denicion 13 El disco unitario = z C
E 61
Es evidente de la denicion de esta densidad que al trasladar euclideana-
mente una curva en el disco unitario hacia su frontera, es decir, al crculo
unitario, su longitud hiperbolica crece tanto como se quiera. Sin embargo,
al trasladar hiperbolicamente una curva hacia el crculo unitario, la longi-
tud euclideana decrece a cero. Este ultimo hecho se maniesta con gran cla-
ridad y belleza en algunas de las famosas ilustraciones de Escher, como la
que reproducimos en la Figura 2.9. Una manera rigurosa de constatar estas
ideas es observando la accion de la transformacion hiperbolica conjugada a
la homotecia z k z, k > 1, bajo la funcion f. Si denotamos a esta fun-
cion como g se tiene que su eje es el intervalo [1, 1], ya que f() = 1 y
f(0) = 1. Tambien, es claro que si consideramos la imagen iterada bajo g
de un segmento vertical
[t i, t i],
su longitud euclideana tiende a cero, mientras que la longitud hiperbolica se
mantiene constante. Esto se sigue, ya que g es composicion de isometras
(vease la Figura 2.10).
Figura 2.9: M.C Escher: Crculo lmite IV
Este modelo del disco es ciertamente mas homogeneo que el del semiplano,
al ser todos los puntos en la recta al innito similares, a diferencia
62 CAP
ITULO 2. M
ETRICA HIPERB
OLICA
de H
2
en el que es un punto distinguido. Sin embargo, al estudiar las
transformaciones parabolicas e hiperbolicas, como estas son conjugadas a las
traslaciones y las homotecias que se expresan de manera muy simple con
n umeros reales, el modelo del semiplano es el mas adecuado. En contraste,
el ambito donde se entiende mejor a las transformaciones elpticas es en el
disco unitario, ya que las rotaciones se expresan en terminos de complejos
unitarios.
ti
ti
Figura 2.10: Homotecias en el disco de Poincare
Casi todas las propiedades que se probaron para el semiplano son tambien
validas en el disco de Poincare, ya que la funcion f es una isometra de
Mobius y es por lo tanto conforme y preserva la familia de todos los crculos.
En primera instancia, f transforma los crculos ortogonales a la recta
real en los crculos ortogonales al crculo unitario; tambien se sigue de la
prueba de la relacion (2.1) que esta funcion no solamente es una isometra,
sino que tambien preserva la longitud de las curvas de clase C
1
por tramos,
en particular las que minimizan la distancia. Por lo tanto, los segmentos en
de los crculos ortogonales al crculo unitario minimizan las distancias
hiperbolicas. Se sigue tambien de la discusion en la seccion anterior, referente
a que la unica curva que minimiza la distancia entre i y k i es el correspon-
diente segmento vertical en el eje imaginario, que esta propiedad de unicidad
tambien la cumplen los segmentos de los crculos ortogonales al crculo
unitario. En consecuencia, las geodesicas en este modelo son los semicrculos
ortogonales al crculo unitario, as como los diametros (vease la Figura 2.11).
Estos argumentos muestran que el Teorema 2.2.3 tambien se cumple en este
modelo.
2.3. EL MODELO DEL DISCO DE POINCAR
E 63
Figura 2.11: Geodesicas en el disco de Poincare
Otra consecuencia fundamental es que los grupos PSL(2, R) y M()
son conjugados bajo la transformacion f, y por consiguiente el grupo M()
act ua como un grupo de isometras en el disco de Poincare, en particular, en
este modelo las rotaciones son isometras hiperbolicas . Por otra parte, las
propiedades descritas de la funcion f, junto con el Teorema 2.2.6 implican
tambien que los crculos hiperbolicos en el disco de Poincare son crculos
euclideanos; mas a un, los discos hiperbolicos con centro en el origen son
crculos euclideanos con centro en el origen (ejercicio). Ademas, como la
funcion f es una isometra conforme que manda geodesicas en geodesicas,
se sigue que el Teorema 2.2.8 y la propiedad del paralelismo se cumplen
tambien en este modelo (vease la Figura 2.8). El siguiente resultado es el
dual del Teorema 2.2.7 para el disco unitario.
Teorema 2.3.1 Cualquier isometra hiperbolica del disco de Poincare es un
elemento de M(), o es de la forma
z
a z + c
c z + a
,
donde [a[
2
[c[
2
= 1.
Este resultado es consecuencia directa del Teorema 2.2.7 y del hecho de
que las transformaciones z z y z z son conjugadas bajo la funcion
f. Dejamos la vericacion de los detalles como ejercicio para el lector. En la
64 CAP
ITULO 2. M
ETRICA HIPERB
OLICA
siguiente seccion se probara una formula general para la distancia entre dos
puntos cualesquiera en . A continuacion probamos un caso particular.
Lema 2.3.2 La distancia hiperbolica del origen a un punto z en el disco de
Poincare esta dada por
log
1 +[z[
1 [z[
. (2.3)
Demostraci on. Se sigue de las observaciones anteriores que basta calcular
la longitud hiperbolica del segmento de geodesica [ 0, [z[ ], el cual se puede
parametrizar por : [0, [z[ ] , (t) = t. Por lo cual
l
h
() =
_
|z|
0
2
1 t
2
dt =
_
|z|
0
1
1 + t
dt +
_
|z|
0
1
1 t
dt,
lo cual implica el resultado.
EJERCICIOS
1. Demuestre que los crculos hiperbolicos con centro en el origen son crculos
euclideanos con centro en el origen.
2. Pruebe que el grupo M() act ua transitivamente en geodesicas de y
en puntos de .
3. Demuestre directamente, sin hacer uso del semiplano superior, que la fun-
cion z z es una isometra hiperbolica del disco de Poincare.
4. Demuestre que las funciones en PSL(2, C) que preservan tanto el origen
como el crculo unitario son rotaciones.
5. Verique los detalles de la prueba del Teorema 2.3.1.
2.4. El grupo completo de isometras
A n de conocer con mas detalle el grupo de todas las isometras del plano
hiperbolico, ya sea el modelo del semiplano o el del disco, es conveniente
introducir el grupo general de Mobius actuando en
C. Para esto denimos
primero las reexiones en crculos y rectas. Denotaremos por u
a u/[u[
2
,
donde u C, y por C(a, r) al crculo con centro en a y radio r, es decir,
z C
[z a[ = r.
2.4. EL GRUPO COMPLETO DE ISOMETR
IAS 65
Denicion 14 Se dene la reexion (o inversion) en C(a, r), como
(z) =
_
a + r
2
(z a)
, si z C, z ,= a,
, si z = a,
a, si z = .
Exactamente la misma denicion se aplica para esferas
S(a, r) = x R
n
[x a[ = r
en
R
n
= R
n
.
La proyeccion estereograca se puede denir en cualquier dimension, una
demostracion muy similar a la que se hizo al principio del libro muestra que
esta funcion es una biyeccion entre R
n
y la esfera unitaria centrada en
el origen en R
n+1
. Para medir continuidad de las funciones en R
n
se
usa la metrica cordal, la cual se deriva de manera analoga al caso complejo,
mas a un, la formula que se obtiene es exactamente la misma que la de la
Denici on 2 en el captulo 1 (cf. [2] pp. 20-22).
Geometricamente es evidente que es una involucion y que
(z) = z z C(a, r).
Una prueba analtica de estos hechos, en cualquier dimension, es ademas
muy simple (ejercicio). Esta funcion es tambien continua en la esfera de
Riemann con la metrica cordal, dejamos la vericacion de este hecho como
ejercicio para el lector; observese que esta prueba tambien se aplica en
R
n
.
Un calculo sencillo que se aplica tambien a esferas en R
n
muestra que si
T es la traslacion z z a, S la homotecia z z/r y la reexion en
el crculo unitario , entonces
= T
1
S
1
S T. (2.4)
Para denir las reexiones en rectas conviene identicar al plano complejo
extendido con
R
2
, de esta manera se puede usar el producto escalar usual en
R
2
. Con este producto, los puntos de una recta en
R
2
estan determinados
por la siguiente expresion
R(a, t) =
_
z R
2
z a = t, a R
2
0, t R
_
.
La misma ecuacion dene un plano en
R
n
de codimension uno
P(a, t) =
_
x R
n
x a = t, a R
n
0, t R
_
.
66 CAP
ITULO 2. M
ETRICA HIPERB
OLICA
Resulta conveniente, para simplicar los calculos, tomar al vector normal
a de longitud 1 . Con esta convencion el punto t a R(a, t) y se sigue del
teorema de Pitagoras que el n umero t es la distancia de la recta o del plano
al origen, ya que si y, z R(a, t), entonces el vector y z es ortogonal al
vector a.
Observese que dado un punto z R
2
, si es la reexion en la recta
R(a, t), entonces, si (z) = z + ma, m R, se tiene que
z + ma + z
2
R(a, t)
(vease la Figura 2.12), por lo cual z a + m/2 = t.
Denicion 15 Se dene la reexion (o inversion) en R(a, t) como la fun-
cion :
R
2
R
2
, dada por
(z) =
_
z 2(z a t) a, si z R
2
,
, si z = ,
donde [a[ = 1.
0
a
z
(z)
Figura 2.12: Reexion en una recta por el origen
Esta misma denicion se aplica a reexiones en planos P(a, t) en
R
n
.
Analogamente al caso de los crculos, es una involucion y
(z) = z z R(a, t).
Notese que la funcion T(z) = z ta traslada la recta R(a, t) a la recta
por el origen R(a, 0), mas a un, si denota la reexion en esta nueva recta,
2.4. EL GRUPO COMPLETO DE ISOMETR
IAS 67
entonces un calculo sencillo muestra que = T
1
T. Estas ultimas arma-
ciones se cumplen tambien para planos P(a, t) en
R
n
(ejercicio). Ademas,
si es la reexion en el plano P(a, 0), entonces es lineal y preserva nor-
mas, por ende, es ortogonal; esto se sigue de un calculo elemental que queda
como ejercicio para el lector. El siguiente resultado relaciona las distintas
reexiones sobre rectas por el origen.
Proposicion 2.4.1 Sean (z) = z, S(z) = e
i
z y la reexion en la
recta L que pasa por el origen y por e
i
, donde 0 < , entonces
= S S
1
.
Demostraci on. Un vector normal unitario a L esta dado por a = ie
i
.
Escribiendo a = a
1
+ ia
2
y z = x + iy, se tiene que Re (z a) = a
1
x + a
2
y,
por lo cual
(z) = z 2Re (z a) a = z (z a + a z) a = a
2
z.
Finalmente,
S(z) = (e
i
z) = e
i 2
e
i
z = e
i
z = S( z) = S (z).
ITULO 2. M
ETRICA HIPERB
OLICA
De esta ultima observacion se deriva tambien que las reexiones en planos
son continuas en
R
n
. Con esta terminologa se puede denir el grupo general
de Mobius.
Denicion 16 El grupo general de Mobius actuando en
R
2
, denotado por
GM(
R
2
), consiste en todas las funciones que son una composicion nita de
reexiones en crculos.
W
2
L
1
L
2
W
1
Figura 2.13: Una transformacion hiperbolica es la composicion de dos
reexiones en crculos ajenos
Se sigue facilmente de las observaciones anteriores que estas funciones
son auto-homeomorsmos de la esfera de Riemann y que forman un grupo.
Se denota por M(
R
2
) al subgrupo formado por las funciones que son com-
posiciones de un n umero par de reexiones. Este subgrupo, que resulta ser
PSL(2, C) (Teorema 2.4.4) consiste en aquellas transformaciones que preser-
van la orientacion. Se dice que una funcion en GM(
R
2
) preserva la orientacion,
si el determinante de su matriz jacobiana en cualquier punto nito (con valor
nito) es positivo (la consistencia de esta denicion se puede vericar, por
ejemplo, en [2] pp. 25 y 26).
La relacion (2.4) implica que la reexion en el crculo C(a, r) es conforme
en C a. Esto se sigue, ya que la matriz jacobiana de la inversion en el
crculo unitario, en un punto (x, y) R
2
, distinto del origen, esta dada por
_
_
_
_
_
_
y
2
x
2
(x
2
+ y
2
)
2
2xy
(x
2
+ y
2
)
2
2xy
(x
2
+ y
2
)
2
x
2
y
2
(x
2
+ y
2
)
2
_
_
_
_
_
_
,
la cual es una matriz escalar, multiplicada por una matriz de la forma (2.5).
2.4. EL GRUPO COMPLETO DE ISOMETR
IAS 69
W
1
W
2
L
1
L
2
b/2 b
Figura 2.14: Una transformacion parabolica es la composicion de dos ree-
xiones en crculos tangentes
Lema 2.4.2 La homotecia z kz es la composicion de una reexion en el
crculo unitario, seguida de la reexion en el crculo C(0,
k).
Demostraci on. Sean , estas reexiones, respectivamente, entonces
(z) = (z
) = k(z
= kz
(vease la Figura 2.13).
Lema 2.4.3 La traslacion z z +b es la composicion de la reexion en la
recta R(b/[b[, 0), seguida de la reexion en la recta R( b/[b[, [b[/2 ).
Demostraci on. Sean , estas reexiones, respectivamente y a = b/[b[,
entonces
(z) =
_
z 2(a z)a
= z 2(a z)a 2
_
_
z 2(a z)a
_
a
[b[
2
_
a = z + b
(vease la Figura 2.14).
De manera analoga al caso bidimensional, se dene el grupo general de
Mobius actuando en
R
n
, denotado por GM(
R
n
). Observese tambien que
los dos ultimos lemas y sus pruebas se aplican de manera identica en R
n
.
Podemos ahora identicar a las transformaciones de Mobius complejas con
M(
R
2
).
70 CAP
ITULO 2. M
ETRICA HIPERB
OLICA
Teorema 2.4.4 PSL(2, C) = M(
R
2
).
Demostraci on. Probamos primero que aquellas transformaciones del grupo
general de Mobius que preservan la orientacion, estan en PSL(2, C). Para
demostrar este hecho, mostramos en primera instancia que las reexiones en
crculos son de la forma
z
az + b
cz + d
, (2.6)
donde ad bc ,= 0.
La reexion en el crculo C(a, r) esta denida por
z a + r
2
(z a)
[z a[
2
= a + r
2
1
z a
=
a (z a) + r
2
z a
=
az + r
2
[a[
2
z a
,
que es de la forma (2.6), ya que r ,= 0.
Por otra parte, se probo que la reexion en la recta R(a, t) es la composi-
cion T
1
T, donde T(z) = z ta y es la reexion en la recta R(a, 0).
Tambien, se mostro en la prueba de la Proposicion 2.4.1 que la funcion
esta determinada por z a
2
z, y por consiguiente la reexion en la recta
R(a, t) esta dada por
z T
1
((z ta)) = T
1
(a
2
(z t a)) = a
2
z + 2 t a,
que es de la forma (2.6).
Ahora, la composicion de dos transformaciones de esta forma es una fun-
cion en PSL(2, C). Esto se sigue, ya que dadas dos de estas funciones
(z) =
az + b
cz + d
y (z) =
z +
z +
,
calculando (como en el caso de PSL(2, C) ), se tiene que coincide con
la transformacion denida en PSL(2, C) por el producto de matrices
_
_ _
a b
c d
_
(se prueba la igualdad primero con el algebra y posteriormente se concluye
la validez en todos los puntos de la esfera de Riemann por continuidad). Por
consiguiente, M(
R
2
) PSL(2, C).
2.4. EL GRUPO COMPLETO DE ISOMETR
IAS 71
Para probar que las transformaciones de Mobius complejas son funciones
en el grupo M(
R
2
), basta vericar que esto se cumple para las homotecias,
las traslaciones, las rotaciones y la funcion z 1/z. Los primeros dos casos
se siguen de los Lemas 2.4.2 y 2.4.3; tambien la funcion z 1/z es una
inversion en el crculo unitario, seguida de la conjugacion (o viceversa), ya
que
1
z
=
z
[z[
2
.
Finalmente, se sigue de la prueba de la Proposicion 2.4.1 que la reexion en
la recta que pasa por el origen y por e
i /2
esta dada por z e
i
z; por lo
cual la rotacion z e
i
z se puede expresar como la conjugacion, seguida
de dicha reexion (vease la Figura 2.15).
L
1
L
2
W
1
W
2
Figura 2.15: Una transformacion elptica es la composicion de dos reexiones
en crculos que se intersectan en dos puntos
El teorema anterior tiene varias consecuencias importantes. Primero in-
troducimos el concepto de puntos inversos, que es inherente a las reexiones.
Denicion 17 Sea W un crculo, se dice que z, w son puntos inversos
con respecto a W, si (z) = w, donde es la reexion en W.
Corolario 2.4.5 Sea una transformacion en el grupo general de Mobius,
tal que ja puntualmente un crculo W, entonces es la reexion en W,
o es la identidad.
Demostraci on. Si PSL(2, C), entonces se sigue del Teorema 1.2.5
que = Id. De otra manera, PSL(2, C), donde es la reexion en
W, por lo cual = Id y = .
72 CAP
ITULO 2. M
ETRICA HIPERB
OLICA
Corolario 2.4.6 Sean
1
,
2
las reexiones en los crculos W
1
y W
2
,
respectivamente, entonces
1
y
2
son conjugadas en el grupo general de
Mobius GM(
R
2
), en particular, la transformacion conjugante se puede tomar
en PSL(2, C).
Demostraci on. Sea T PSL(2, C), tal que T(W
1
) = W
2
, entonces como
T
1
2
T ja puntualmente W
1
, se sigue del corolario anterior que
T
1
2
T =
1
.
R
2
) y W
1
, W
2
, crculos.
en
la esfera de Rie-
mann, tales que (W
1
) = W
2
, entonces manda puntos inversos con re-
specto a W
1
en puntos inversos con respecto a W
2
.
Demostraci on. Se sigue de los resultados anteriores que si
1
y
2
denotan
las reexiones en los crculos W
1
, W
2
, respectivamente, entonces
2
=
1
,
por lo cual
2
=
1
.
Ahora, si z, w son puntos inversos con respecto a W
1
, se tiene
2
(z) =
1
(z),
y
2
(z) = (w),
lo que prueba el resultado.
Estos corolarios son tambien validos en
R
n
(vease [2] pp. 31, 32). Tam-
bien, se siguen del Teorema 2.4.4 otros resultados muy importantes del plano
hiperbolico.
Corolario 2.4.8 Sea la reexion en un crculo W que es ortogonal al
eje real, entonces la restriccion de a H
2
es una isometra hiperbolica.
2.4. EL GRUPO COMPLETO DE ISOMETR
IAS 73
Demostraci on. Sea T PSL(2, R), tal que T transforma el crculo W
en el eje imaginario, entonces si denota la reexion en el eje imaginario,
se sigue que
= T
1
T,
es decir, es una composicion de isometras que preservan H
2
.
Este ultimo resultado se aplica tambien para reexiones en crculos orto-
gonales al crculo unitario en el disco de Poincare (ejercicio). Mas a un, usando
el Ejercicio 1.5.2 y el Teorema 2.2.7, se sigue que las reexiones en crculos
ortogonales a la recta real (o al crculo unitario) generan el grupo completo
de isometras del plano hiperbolico H
2
(o ).
Aplicamos ahora los resultados sobre las reexiones, para encontrar la
formula general de la distancia hiperbolica entre dos puntos del disco de
Poincare. En este proceso, el analisis de ciertas ecuaciones, que cumplen
las reexiones en crculos ortogonales a , permite exhibir expresiones
invariantes bajo las isometras de este modelo. Tambien, se prueba que la
proyeccion estereograca es la restriccion de una reexion en una esfera. A
continuacion generalizamos la formula de la distancia cordal.
Proposicion 2.4.9 Sea S(a, r) la esfera con centro en a y radio r en R
n
,
es decir,
_
x R
n
[x a[ = r
_
,
y sea la reexion en S(a, r), entonces si x, y R
n
a, se tiene
[(x) (y)[ = r
2
[x y[
[x a[ [y a[
.
Demostraci on. Usando el producto escalar estandar en R
n
, se sigue di-
rectamente de la denicion que
[(x) (y)[
2
= r
4
[(x a)
(y a)
[
2
= r
4
_
1
[x a[
2
+
1
[y a[
2
2
(x a) (y a)
[x a[
2
[y a[
2
_
= r
4
_
[y a[
2
+[x a[
2
2(x a) (y a)
[x a[
2
[y a[
2
_
= r
4
[x y[
2
[x a[
2
[y a[
2
.
74 CAP
ITULO 2. M
ETRICA HIPERB
OLICA
Esta formula es particularmente interesante al aplicarla a la reexion
en la esfera de R
3
, cuyo centro es el punto e
3
= (0, 0, 1) y su radio es
=
_
2 x
x
2
+ y
2
+ 1
,
2 y
x
2
+ y
2
+ 1
,
x
2
+ y
2
1
x
2
+ y
2
+ 1
_
,
lo cual muestra que la proyeccion estereograca es la restriccion, al plano
complejo, de una reexion en una esfera en R
3
, es decir, de una funcion de
Mobius del grupo GM(
R
3
). Al ser esta reexion una involucion, se tiene
que tambien su restriccion a la esfera unitaria es la inversa de esta funci on
estereograca, esto es, si (x
1
, x
2
, x
3
) S
2
, entonces
(x
1
, x
2
, x
3
) =
_
x
1
1 x
3
,
x
2
1 x
3
, 0
_
.
Ahora, la Proposicion 2.4.9 implica de manera inmediata la formula de
la distancia cordal para la esfera de Riemann, la cual se probo en el primer
captulo; en efecto, si z, w C, se tiene
[( z) ( w)[ = 2
[ z w[
[ z e
3
[ [ w e
3
[
=
2 [z w[
_
( [z[
2
+ 1)
_
( [w[
2
+ 1)
,
donde z, w representan a los complejos z, w, como puntos de R
3
.
Como ya se menciono en el Ejercicio 2.1.3, si A es un abierto en R
n
y
f : A R
n
es una funcion conforme en x
0
A, entonces el lmite
lm
xx
0
[f(x) f(x
0
)[
[x x
0
[
existe y es precisamente el factor de conformalidad. Se sigue entonces de la
Proposicion 2.4.9, que el factor de conformalidad de la reexion en el crculo
C(a, r) en un punto z, z ,= a, esta dado por
r
2
[z a[
2
.
2.4. EL GRUPO COMPLETO DE ISOMETR
IAS 75
Esta ultima formula tambien es valida para reexiones en esferas en R
n
, ya
que como mostraremos al nal de este captulo, estas reexiones son tambien
conformes.
Enunciamos ahora un teorema que caracteriza aquellas isometras del dis-
co de Poincare que son reexiones en crculos ortogonales al crculo unitario.
De este resultado se derivan expresiones de estas reexiones, que junto con la
Proposicion 2.4.9, permiten encontrar una formula explcita de la distancia
en este modelo del plano hiperbolico.
1
r
a a
;
(iii) [a[
2
= 1 + r
2
;
(iv) la reexion preserva .
Demostraci on. Se sigue del teorema de Pitagoras que el crculo C(a, r) es
ortogonal al crculo unitario si y solo si
[a[
2
= 1 + r
2
,
76 CAP
ITULO 2. M
ETRICA HIPERB
OLICA
y como esta condicion es equivalente a
(0) = a r
2
a
=
_
[a[
2
r
2
_
a
= a
,
se concluye que las primeras tres armaciones son equivalentes. Ahora, si
se cumple (iv), manda puntos inversos con respecto al crculo unitario a
puntos inversos con respecto al crculo unitario; por lo que (0) = a
, ya
que () = a (vease la Figura 2.16).
Por lo cual, basta probar que las primeras tres armaciones implican la
cuarta. Esto se puede probar de manera muy elemental usando la funcion de
Cayley, ya que evidentemente una reexion sobre un crculo ortogonal a
la recta real preserva el semiplano superior H
2
. Sin embargo, mostraremos
otra prueba analtica que proporciona una expresion necesaria para exhibir
la formula de la distancia hiperbolica.
Usando la formula de la Proposicion 2.4.9, se tiene
[(z)[ = [(z) (a
)[ =
r
2
[z a
[
[z a[ [a a
[
=
([a[
2
1)
[a[
_
1
1
[a[
2
_
[z a
[
[z a[
= [a[
[z a
[
[z a[
.
Por consiguiente
1 [(z)[
2
=
[z a[
2
[a[
2
[z a
[
2
[z a[
2
.
Ahora, el numerador de esta expresion esta dado por
[z a[
2
[a[ z
a
[a[
2
= [z[
2
+[a[
2
[z[
2
[a[
2
1 = r
2
(1 [z[
2
).
En consecuencia
1 [(z)[
2
=
r
2
(1 [z[
2
)
[z a[
2
, (2.7)
y se sigue de manera inmediata que preserva el disco unitario.
Una prueba casi identica que usa el producto inversivo, para sustituir el
teorema de Pitagoras, muestra que este resultado es tambien valido en la bola
2.4. EL GRUPO COMPLETO DE ISOMETR
IAS 77
n-dimensional (vease [2] pp. 38 y 39). El Teorema 2.4.10 y la Proposicion 2.4.9
implican la existencia de una expresion que es invariante bajo las isometras
hiperbolicas del disco (y de la bola n-dimensional).
Teorema 2.4.11 La expresion
[z w[
2
(1 [z[
2
) (1 [w[
2
)
, (2.8)
z, w , es invariante bajo las isometras del disco de Poincare.
Demostraci on. Basta probar la invariabilidad bajo las reexiones en crcu-
los ortogonales al crculo unitario, ya que estas generan el grupo completo
de isometras. Si es una reexion en una recta por el origen, entonces
es una funcion lineal ortogonal y por lo tanto es una isometra euclideana, y
es evidente que preserva la expresion (2.8). Ahora, si es la reexion en el
crculo C(a, r), se sigue de la Proposicion 2.4.9 y de la igualdad (2.7) que
[(z) (w)[
2
1 [(z)[
2
1 [(w)[
2
=
_
[z a[
2
r
2
(1 [z[
2
)
[w a[
2
r
2
(1 [w[
2
)
_ _
r
4
[z w[
2
[z a[
2
[w a[
2
_
=
[z w[
2
1 [z[
2
1 [w[
2
ITULO 2. M
ETRICA HIPERB
OLICA
se sigue de la expresion (2.3) que
senh
2
1
2
(0, t) =
_
e
u/2
e
u/2
2
_
2
=
1
4
_
e
u
2 + e
u
_
=
1
4
_
1 + t
1 t
2 +
1 t
1 + t
_
1
4
_
(1 +t)
2
2(1 t
2
) + (1 t)
2
1 t
2
_
=
t
2
1 t
2
,
y se sigue el teorema.
Se presentan ahora haces de geodesicas en el plano hiperbolico que des-
criben de una manera geometrica las distintas isometras en PSL(2, R), o
en M(). Se deduce tambien del Teorema 2.4.4 que las transformaciones
parabolicas, hiperbolicas o elpticas se pueden expresar como la composicion
de dos reexiones.
Teorema 2.4.13 Sea T PSL(2, C) parabolica, hiperbolica o elptica, en-
tonces T se puede expresar como
2
1
, donde
j
, j = 1, 2, son reexiones
en crculos W
1
, W
2
, respectivamente. Ademas
(i) si T es parabolica, entonces W
1
, W
2
se intersectan en el punto jo de
T, es decir, son tangentes;
(ii) si T es elptica, entonces W
1
, W
2
se intersectan en los puntos jos de
de T;
(iii) si T es hiperbolica, entonces W
1
, W
2
no se intersectan.
Demostraci on. Probamos los casos parabolico e hiperbolico, el caso elptico
se sigue de manera analoga, usando el modelo del disco de Poincare y la
descripcion de una rotacion como la composicion de dos reexiones en rectas
por el origen.
Para homotecias y traslaciones, el resultado se sigue de los Lemas 2.4.2
y 2.4.3. En los casos generales, digamos si T es parabolica con punto jo
, tomando una transformacion S PSL(2, C) que mande en , se
tiene que la transformacion conjugada S
1
T S es una traslacion y se puede
expresar como la composicion
2
1
de dos reexiones sobre rectas paralelas,
digamos L
1
y L
2
. Por consiguiente, si S(L
j
) = W
j
, j = 1, 2, se sigue del
2.4. EL GRUPO COMPLETO DE ISOMETR
IAS 79
Corolario 2.4.5 que S
j
S
1
es la reexion en W
j
, j = 1, 2. Finalmente,
como
T = S
2
S
1
S
1
S
1
,
se sigue el resultado. El caso hiperbolico se prueba de manera analoga. Vease
las Figuras 2.13, 2.14 y 2.15.
Figura 2.17: Haces parabolicos
Observese que el resultado anterior se aplica a todas las transformaciones
en PSL(2, R) o en M(), y en estos casos, la descripcion es particularmente
importante, ya que las reexiones se hacen sobre crculos cuya interseccion
con el plano hiperbolico (H
2
o ) son geodesicas (vease las Figuras 2.13, 2.14
y 2.15). A su vez, estas geodesicas son tambien semicrculos en las familias
de crculos de la conguracion de Steiner y su caso degenerado (que se
describieron en el captulo anterior). Dichas conguraciones son muy utiles
para entender otros aspectos importantes de la geometra de las isometras
del plano hiperbolico. A continuacion describimos los tres casos relevantes.
(i) elptico: los dos puntos lmite son complejos conjugados (o son puntos
inversos con respecto a );
(ii) hiperbolico: los dos puntos lmite estan en
R (o en );
(iii) parabolico: es el caso degenerado con un solo punto en
R (o en ), de
tal manera que
R (o ) es un crculo de la familia de los crculos
de Apolonio degenerados.
80 CAP
ITULO 2. M
ETRICA HIPERB
OLICA
Sin embargo, conviene restringir los crculos a su interseccion con la
cerradura del semiplano superior H
2
(o del disco de Poincare ), y modi-
car la clasicacion descrita en el primer captulo de crculos de Apolonio y
crculos por los puntos lmite, en otra distribucion de estos mismos crcu-
los. A saber
(i) la familia C de los crculos (o semicrculos) jos;
(ii) su familia ortogonal, que denotamos por G.
Figura 2.18: Haces elpticos
Figura 2.19: Haces hiperbolicos
Observese que la familia C consiste en crculos hiperbolicos, hiperciclos y
horociclos, respectivamente; en contraste, la familia G consiste en geodesicas
2.4. EL GRUPO COMPLETO DE ISOMETR
IAS 81
(vease las Figuras 2.17, 2.18 y 2.19). Esta descripcion rena los resultados
del Teorema 2.4.13: si T PSL(2, R) (o T M() ), entonces
T =
2
1
,
donde
j
, j = 1, 2, son reexiones en geodesicas de la familia G. Observese
tambien que dadas dos geodesicas cualesquiera L
1
, L
2
, en H
2
( o en ),
estas determinan de manera unica un haz de geodesicas G, como el descrito
anteriormente. Esto se sigue ya que si L
1
, L
2
, no se intersectan, entonces
existe otra geodesica M, que es ortogonal com un a L
1
y a L
2
(ejercicio).
Al haz se le llama:
(i) parabolico si L
1
y L
2
son tangentes;
(ii) elptico si L
1
y L
2
se intersectan;
(iii) hiperbolico si L
1
y L
2
son disjuntas.
Esta nueva distribucion de los crculos de Steiner conlleva muchos resul-
tados importantes del plano hiperbolico; en el siguiente teorema mostramos
uno de ellos. Mas informacion sobre este tema se puede consultar en [2] pp.
168-175.
Denicion 18 Se dice que dos crculos (o semicrculos ) C
1
, C
2
en H
2
(o en ) son equidistantes, si z C
1
, existe w C
2
, tal que
(C
1
, C
2
) = (z, w).
te
i
te
i
Figura 2.20: Hiperciclos equidistantes
82 CAP
ITULO 2. M
ETRICA HIPERB
OLICA
Teorema 2.4.14 Los crculos (o semicrculos) de la familia C son
equidistantes.
Demostraci on. Mostramos el caso hiperbolico y dejamos los otros dos
casos, que son mas secillos, como ejercicio. Sin perder generalidad, se puede
suponer que los hiperciclos C
1
, C
2
son los semirayos denidos por
t e
i
, t R
+
, s e
i
, s R
+
,
respectivamente (vease la Figura 2.20). Ahora,
senh
2
_
1
2
(t e
i
, s e
i
)
_
1
2
_
cos h(t e
i
, s e
i
) 1
_
=
[t e
i
s e
i
[
2
4 Im(t e
i )
Im(s e
i
)
=
(t e
i
s e
i
)(t e
i
s e
i
)
4 t s sensen
=
t
2
+ s
2
2 t s cos( )
4 t s sensen
=
1
4 sensen
_
t
s
+
s
t
2 cos( )
_
1
4 sensen
(2 2 cos( )) ,
por lo cual el nmo se alcanza cuando t = s.
Observese que en la prueba del caso hiperbolico en el teorema anterior,
se uso la propiedad del paralelismo para probar que
(t e
i
, t e
i
) = (C
1
, C
2
).
Notese tambien que el teorema anterior se puede probar de manera geometri-
ca usando crculos de Apolonio apropiados. Vease la Figura 2.20.
Terminamos este captulo describiendo las isometras del espacio hiperb oli-
co tridimensional. Para esto, denimos primero las extensiones de Poincare,
denotamos por a al punto en R
n+1
, (a, 0), donde a R
n
. Poincare ob-
servo que las reexiones en crculos de
R
2
, C(a, r), R(a, t), se extienden
de manera natural a reexiones en esferas (planos o esferas), S(a, r), P(a, t),
2.4. EL GRUPO COMPLETO DE ISOMETR
IAS 83
en
R
3
(vease las Figuras 2.21 y 2.22). Si es la reexion en el crculo C(a, r)
(o en la recta R(a, t)), se denota por a la reexion en la esfera S(a, r)
(o en el plano P(a, t)). A esta transformacion GM(
R
3
) se le llama la
extension de Poincare de .
Denicion 19 Dada GM(
R
2
), =
1
2
. . .
m
, donde
j
es la re-
exion en un crculo, j = 1, 2, . . . , m, se dene su extension de Poincare co-
mo
=
1
2
. . .
m
.
Figura 2.21: Extension de Poincare de la reexion en un crculo
Figura 2.22: Extension de Poincare de la reexion en una recta
Usando la version tridimensional del corolario 2.4.5 (cf. [2] p. 31), se
sigue f acilmente que esta denicion no depende de la descomposicion de
en reexiones en crculos. Observese que preserva H
3
y que
R
2
=
(ejercicio). Denotamos por
GM(
R
2
)
al subgrupo de GM(
R
3
), que consiste en las extensiones de Poincare de
GM(
R
2
).
84 CAP
ITULO 2. M
ETRICA HIPERB
OLICA
Figura 2.23: Geodesica en H
3
Por otra parte, un calculo muestra que si es la reexion en la esfera
unitaria con centro en el origen en R
n
, la entrada i j de la matriz jacobiana
de
i j
[x[
2
2 x
i
x
j
[x[
4
,
donde
i j
denota la delta de Kronecker (ejercicio). Mas a un, si M es la
matriz con entradas
M
i j
=
2 x
i
x
j
[x[
2
,
entonces la matriz M I es ortogonal (ejercicio). En consecuencia, la re-
exion en la esfera S(a, r) es conforme en R
n
a. Sin embargo, las re-
exiones en planos son conformes en R
n
.
En particular, los elementos del grupo
GM(
R
2
) son biyecciones con-
formes de H
3
; mas a un, son isometras hiperbolicas, ya que usando el Teo-
rema 2.4.9, un calculo sencillo muestra que la igualdad (2.1), aplicada a
la densidad hiperbolica de H
3
, se cumple bajo las reexiones en esferas o
planos ortogonales a R
2
(ejercicio). Resulta tambien que el grupo completo
de isometras es precisamente
GM(
R
2
) (cf. [20] pp. 129 y 130).
Ademas, de manera identica al analisis bidimensional, la distancia hiperbo-
lica, entre dos puntos alineados verticalmente en H
3
se minimiza en segmen-
tos verticales, y esta dada por el logaritmo. No es difcil probar que en general
las transformaciones de Mobius en
R
n
mandan esferas en esferas (cf.
[2] p. 30). Usando este hecho, se sigue entonces por conformalidad que las
geodesicas en H
3
son semicrculos ortogonales al plano complejo (vease la
Figura 2.23).
2.4. EL GRUPO COMPLETO DE ISOMETR
IAS 85
Finalmente, un sencillo calculo muestra que la expresion
[x y[
2
x
3
y
3
,
x, y H
3
, es invariante bajo las reexiones en esferas o planos ortogonales
a R
2
(ejercicio). En consecuencia, se sigue de los argumentos del Teorema
2.2.5, que la distancia hiperbolica entre dos puntos x, y H
3
esta dada por
cosh(x, y) = 1 +
[x y[
2
2 x
3
y
3
.
En estos razonamientos se usa que
GM(
R
2
) es transitivo en geodesicas.
Para probar esto, notese que si una geodesica L termina en un punto u del
plano complejo, al aplicar la extension de Poincare de la reexion en cualquier
crculo con centro en u, esta geodesica L es enviada a una semirecta ortogo-
nal al plano complejo. A su vez, esta recta vertical se puede trasladar al eje
t e
3
, t R
+
, por una traslacion de la forma x x +a, donde a C, que
ciertamente es la extension de Poincare de la misma traslacion en el plano
complejo.
EJERCICIOS 2.4
1. Sea una reexion en un esfera W, demuestre de manera analtica
que es una involucion en
R
n
y que (z) = z si y solo si z W.
2. Demuestre que las reexiones en crculos son continuas en la esfera de
Riemann.
3. Sea la reexion en el plano P(a, t), la reexion en el plano P(a, 0)
y f(x) = x ta, demuestre que = f
1
f.
4. Sea la reexion en el plano P(a, 0)
R
n
, demuestre que es ortogonal.
5. Demuestre de dos maneras que las reexiones en crculos ortogonales al
crculo unitario, restringidas al disco de Poincare , son isometras hiperboli-
cas.
6. Probar el caso elptico en el Teorema 2.4.13.
7. Demuestre que la reexion en la esfera S(a, r) de R
n
esta dada por la
funcion f
1
g
1
g f, donde f es la traslacion x xa, g es la homotecia
x x/r y es la reexion en la esfera unitaria.
86 CAP
ITULO 2. M
ETRICA HIPERB
OLICA
8. Demuestre de dos maneras que dados dos puntos en , existe una isometra
hiperbolica en GM() que los manda a los puntos 0 y t (0, 1), donde
GM() denota el subgrupo de GM(
R
2
) que preserva .
9. Sean L
1
y L
2
dos geodesicas disjuntas y no tangentes en H
2
(o en ),
demuestre que existe otra geodesica M, que es ortogonal com un a L
1
y a
L
2
.
10. Terminar la prueba analtica del Teorema 2.4.14 (sugerencia: usar la
formula de la distancia hiperbolica en el disco de Poincare en el caso elptico).
11. Sea T GM(), tal que ja el origen, demuestre que T es ortogonal.
12. Demuestre que el Lema 2.2.4 tambien es valido para el grupo completo
de isometras de H
2
.
13. Demuestre que si es la reexion en un crculo en
R
2
, entonces
preserva H
3
y
R
2
= .
14. Sea la reexion en la esfera unitaria con centro en el origen en R
n
,
demuestre que la entrada i, j de la matriz jacobiana de
i j
|x|
2
2 x
i
x
j
|x|
4
, donde
i j
denota la delta de Kronecker.
15. Sea M la matriz cuadrada de nn con entradas M
i j
=
2 x
i
x
j
|x|
2
, demuestre
que la matriz I M es ortogonal.
16. Demuestre que la igualdad (2.1), aplicada a la metrica hiperbolica de H
3
,
se cumple bajo las extensiones de Poincare de las reexiones en crculos
de
R
2
.
17. Demuestre que la expresion
|xy|
2
x
3
y
3
, x, y H
3
, es invariante bajo las ex-
tensiones de Poincare de las reexiones en crculos de
R
2
.
18 Demuestre que PSL(2, R) consiste en las extensiones de Poincare de
M(
R).
19. Pruebe que las reexiones en crculos ortogonales a la recta real (o al
crculo unitario) generan el grupo completo de isometras del plano hiperboli-
co H
2
(o ).
20. Demuestre que los elementos de GM(
R
2
) preservan la familia de crcu-
los de
C.
Captulo 3
Grupos fuchsianos
En este captulo se estudian algunas propiedades basicas de los subgrupos
de transformaciones de Mobius en PSL(2, C). Primeramente se describen el
conjunto lmite y su complemento, el conjunto ordinario, as como la discon-
tinuidad. Los principales ejemplos que se presentan son el grupo modular y
sus subgrupos, ya que estos constituyen temas medulares en muchas ramas de
las matematicas, notablemente en la teora de los n umeros. Posteriormente se
prueba que un subgrupo de PSL(2, R) es discreto si y solo si es discontinuo.
Se caracterizan los grupos abelianos discretos y los grupos estabilizadores, y
se prueban condiciones sobre los puntos jos para que un grupo sea discreto.
En la seccion de grupos fuchsianos se estudian los grupos horocclicos y los
subgrupos normales de estos, as como los sugrupos normalizadores; tambien
se prueba el sorprendente e importante teorema de Lauritzen. En la ultima
seccion, se describen propiedades mas avanzadas del conjunto lmite, como el
hecho de ser en el caso no elemental un conjunto perfecto, que en ninguna
parte es denso, y que consiste de puntos donde se acumulan todas las orbitas.
Finalmente, se prueba que el conjunto lmite de un grupo fuchsiano no ele-
mental es la cerradura de los puntos jos parabolicos (o hiperbolicos), y que
los subgrupos normales de los grupos horocclicos son horocclicos.
3.1. Discontinuidad
Establecemos primero ciertos resultados los cuales usaremos posteriormente
que relacionan los puntos jos de las funciones en PSL(2, C) con sus propieda-
des conmutativas. En la mayora de los casos estas transformaciones de
87
88 CAP
_
O()
_
_
c
=
_
L()
_
,
por lo que basta probar que
L
_
1
_
=
_
L()
_
.
Para esto, sea (z)
_
L()
_
, por lo que existen T
n
distintas y
w
C, tales que T
n
(w) z; se sigue entonces por continuidad que
T
n
1
_
(w)
_
(z).
Por consiguiente, (z) L
_
1
_
. Viceversa, dado
(z) L
_
1
_
,
existen T
n
1
distintas y w
C, tales que T
n
1
(w) (z). Por lo
tanto, T
n
_
1
(w)
_
z y (z)
_
L()
_
.
Antes de mostrar unos ejemplos es conveniente probar el siguiente resul-
tado, que relaciona puntos lmite con puntos jos.
3.1. DISCONTINUIDAD 93
Lema 3.1.6 Sea T una transformacion en PSL(2, C), que no es elptica
y que tampoco es la identidad, supongase tambien que existe w
C y una
sucesion creciente de naturales, n
k
, k N, tales que
T
n
k
(w) z
0
,
entonces z
0
es un punto jo.
Demostraci on.
Caso 1: T es parabolica.
Si T tiene su punto jo nito , tomando
(z) =
1
z
,
se tiene
T
n
k
1
_
(z)
_
= (z) + n
k
b, b C, b ,= 0.
Tambien,
T
n
k
1
_
(w)
_
(z
0
), cuando k .
Por lo cual, (z
0
) = y z
0
= . Si T es una traslacion el resultado es
inmediato.
Caso 2: T es hiperbolica o loxodromica.
Si T tiene puntos jos nitos y , tomando
(z) =
z
z
(si = , se toma (z) = z ), se tiene
T
n
k
1
_
(z)
_
= t
n
k
(z), t C, [t[ , = 1, 0.
Ademas,
T
n
k
1
_
(w)
_
(z
0
), cuando k
Por lo cual (z
0
) = 0, y z
0
= , .
94 CAP
a, b, c, d Z
_
.
El grupo de transformaciones que denen estas matrices, llamado tam-
bien modular, se puede identicar con PSL(2, Z); esto se prueba de
la misma manera como se mostro para PSL(2, C), o para PSL(2, R).
Probaremos posteriormente que los puntos lmite bajo la accion de este
grupo son exactamente los puntos de la recta real extendida. Ahora,
probamos que cualquier n umero real y son puntos lmite.
Dado x R, existe una sucesion de racionales distintos b
n
/d
n
, n N,
tales que b
n
/d
n
x. Se puede suponer que (b
n
, d
n
) = 1, por lo que
existen a
n
, c
n
Z, tales que a
n
d
n
b
n
c
n
= 1. Notese que las trans-
formaciones
T
n
(z) =
a
n
z + b
n
c
n
z + d
n
son todas distintas y T
n
(0) = b
n
/d
n
x, se tiene que x es un punto
lmite. Tambien, la traslacion z z +1 pertenece al grupo modular y
T
n
(1) , cuando n , por lo que se tiene que es tambien
un punto lmite. En consecuencia, todos los puntos de la recta real
extendida son puntos lmite del grupo modular.
96 CAP
a, d 1 mod N, b, c 0 mod N
_
.
Las matrices en (N) forman en efecto un subgrupo, ya que
A =
_
a b
c d
_
(N) A
1
=
_
d b
c a
_
(N),
y tambien, si
A =
_
a b
c d
_
y B =
_
_
son matrices en (N), entonces
AB =
_
a + b a + b
c + d c + d
_
_
1 0
0 1
_
mod N y AB (N).
Observese tambien que estos subgrupos (N) son de orden innito
(ejercicio). Al correspondiente grupo de transformaciones se le denota
por (N).
Proposicion 3.1.7 (N) es un subgrupo normal de ndice nito de SL(2, Z).
Demostraci on. Sean
_
a b
c d
_
SL(2, Z) y
_
_
(N),
entonces
_
a b
c d
__
__
d b
c a
_
=
_
a + b a + b
c + d c + d
__
d b
c a
_
_
ad bc ab + ab
cd cd cb + ad
_
mod N,
puesto que , 1 mod N y , 0 mod N. Por lo tanto (N) es
normal en SL(2, Z).
3.1. DISCONTINUIDAD 97
Para probar que el ndice de (N) en SL(2, Z) es nito, usamos el grupo
SL(2, Z
N
) denido por las matrices de 2 2 con entradas en el anillo Z
N
y determinante 1. SL(2, Z
N
) es en efecto un grupo, ya que la propiedad
det(AB) = det(A) det(B) es tambien valida para matrices con entradas
en cualquier anillo conmutativo con unidad, puesto que solo depende de la
multilinealidad (cf. [8] p. 196).
Notese que SL(2, Z
N
) es un grupo nito. Ahora, se puede denir un
homomorsmo de grupos : SL(2, Z) SL(2, Z
N
), dado por
_
a b
c d
_
_
a b
c d
_
,
donde la barra denota la clase en Z
N
del n umero en cuestion. Esta funcion
es un homomorsmo, ya que por denicion
a + b = a + b a, b, , Z.
Finalmente, como el n ucleo de la funcion es precisamente (N), la
sucesion
(N)
i
SL(2, Z)
(SL(2, Z))
es exacta. Por lo tanto SL(2, Z)/(N) es isomorfo a un grupo nito y el
ndice es nito. De hecho, se puede probar que es un epimorsmo sobre
SL(2, Z
N
), por lo que la sucesion
(N) SL(2, Z) SL(2, Z
N
)
es exacta (cf. [21]). Observese tambien que el argumento anterior exhibe
una segunda prueba de que (N) es normal, al ser este el n ucleo de un
homomorsmo
Observese que si es un subgrupo de matrices de SL(2, C), G <
y T, S son matrices en que pertenecen a la misma clase lateral derecha
(o izquierda) con respecto a G, entonces T, S tambien estan en la misma
clase lateral derecha (o izquierda) con respecto a G. Para las clases laterales
derechas, esto se sigue ya que si T GS, entonces T S
1
G, y tambien
T S
1
G. El caso de las clases laterales izquierdas se prueba de manera
analoga.
Sin embargo, el recproco no siempre es cierto, por ejemplo, si N > 2,
_
1 0
0 1
_
/ (N),
98 CAP
n
n
n
n
_
, A =
_
a b
c d
_
y B =
_
_
,
entonces
A
n
B
n
=
_
a
n
n
+ b
n
n
a
n
n
+ b
n
n
c
n
n
+ d
n
n
c
n
n
+ d
n
n
_
y
A
n
B
n
_
a + b a + b
c + d c + d
_
= AB.
3.1. DISCONTINUIDAD 99
A continuacion se muestra que los grupos de matrices que denen grupos
discontinuos no pueden tener sucesiones convergentes.
Lema 3.1.9 Sean T y T
n
, n N, matrices en SL(2, C), tales que T
n
T,
entonces
T
n
(z) T(z) z
C.
Demostraci on. Se sigue del Lema 3.1.8 que T
1
T
n
T
1
T = Id. Por lo
cual, si
T
1
T
n
=
_
n
n
n
n
_
,
se tiene que z C
n
z +
n
n
z +
n
1z + 0
0z + 1
= z.
Esto se debe, ya que para z jo nito, si n es sucientemente grande, z es
distinta de
n
/
n
, donde
n
,= 0. Tambien, si z = , se tiene que
T
1
T
n
() =
n
/
n
,
si
n
,= 0, y T
1
T
n
() = , si
n
= 0. Por consiguiente,
T
1
T
n
(z) z z
C y T
n
(z) T(z) z
C.
Para terminar esta seccion mostramos que los grupos discontinuos son a
lo sumo numerables.
Lema 3.1.10 Sea M un subconjunto no numerable de R
n
, entonces existe
un punto en R
n
que es punto de acumulacion de M.
Demostraci on. Supongamos que el conjunto M no se acumula en ning un
punto. Sean
x
j
, j I,
los elementos de M, entonces para toda x
j
existe
j
, tal que
B(x
j
,
j
) =
_
y R
n
[y x
j
[ <
j
_
intersecta a M solamente en x
j
. Ahora, se puede tomar y
j
B(x
j
,
j
/2), tal
que y
j
tiene coordenadas racionales. Finalmente, esto implica que hay una
biyeccion entre las x
j
y las y
j
, lo cual contradice que M es no numerable.
100 CAP
S
1
T
n
S(i)
2
=
a
2
n
+ b
2
n
c
2
n
+ d
2
n
.
Por consiguiente
1
c
2
n
+ d
2
n
Im
_
S
1
(z
0
)
_
> 0
y
a
2
n
+ b
2
n
c
2
n
+ d
2
n
S
1
(z
0
)
2
> 0.
Se sigue entonces que las sucesiones c
n
y d
n
estan acotadas superior-
mente. Tambien, las sucesiones a
n
, b
n
estan acotadas superiormente,
puesto que existe un real positivo k, tal que
a
2
n
+ b
2
n
k
a
2
n
+ b
2
n
c
2
n
+ d
2
n
.
Esto contradice la hipotesis del teorema, ya que se podra tomar una
subsucesion convergente de
_
a
n
b
n
c
n
d
n
_
y el grupo S
1
S no sera discreto, y por ende el grupo tampoco. Por lo
tanto, los puntos del semiplano superior son ordinarios y es discontinuo.
T (z)
= T
z
T
1
.
Demostraci on. Se tiene que
S
T (z)
S
_
T(z)
_
= T(z) T
1
S T(z) = z
T
1
S T
z
S T
z
T
1
.
T(z) = z + , M R.
El conjunto M tiene un elemento positivo mnimo . De otra manera, si
existe una sucesion
n
0, n N, tal que
n
0, al tomar un subgrupo
preimagen de matrices en SL(2, R), se tendra
_
1
n
0 1
_
_
1 0
0 1
_
y no sera discreto.
Ahora, se arma que
M = n, n Z,
lo cual probara que =< z z + > . La armacion se deriva, ya
que dada M, se tiene que = q + r, donde 0 r < , q Z y
necesariamente r = 0. En caso contrario, si r > 0, se tendra
T
_
T
1
_
q
(z) = z + r,
donde T
(z) = z + y T
T(z) = k z, k M R
+
.
Ahora, M no contiene una sucesion k
n
, n N, tal que k
n
1, ya que en
tal caso
_
k
n
0
0 1/
k
n
_
_
1 0
0 1
_
3.2. GRUPOS DISCRETOS. 107
y no sera discreto. Por consiguiente, podemos tomar M, > 1, tal
que M, > 1, se tiene . Armamos que
M =
n
[ n Z ,
lo cual prueba este caso.
Para probar la armacion sea M, > 1, entonces existe n N, tal
que
n
<
n+1
. Si la primera desigualdad es estricta se tendra
1 <
n
< ,
lo cual contradice la eleccion de , al tomar la transformacion
T
T
n
(z) =
n
z,
donde T
(z) = z y T
T(z) = e
i
z, M R.
En este caso no existe una sucesion
n
M, tal que
n
0, ya que se
tendra
_
_
e
i n
2
0
0 e
i n
2
_
_
_
1 0
0 1
_
y no sera discreto.
Finalmente, sea el menor elemento positivo de M, se arma que
M = n, n Z ,
lo cual prueba el resultado. Para esto, sea M, entonces existe n Z,
tal que n < (n + 1) . Si n < , tomando
T
T
n
(z) = e
i (n)
z,
donde T
(z) = e
i
z y T
(z) = e
i
z, se tendra 0 < n < y no
sera el menor elemento positivo en M.
El teorema anterior no es valido en PSL(2, C), ya que existen subgrupos
discretos, abelianos y no cclicos de PSL(2, C) (ejercicio). Una descripcion
108 CAP
_
1 ab
0 1
_
.
Finalmente, como ab ,= 0 y las potencias de k son distintas, se sigue que
las transformaciones S T
n
S
1
T
n
son tambien distintas y por lo tanto
no es discreto.
Observese que el teorema anterior implica que en un grupo discreto un
punto jo de una transformacion hiperbolica (o loxodromica) no es un punto
jo de una parabolica y que los puntos jos de dos transformaciones hiperboli-
cas o loxodromicas son iguales o disjuntos. En el siguiente resultado se de-
scriben los grupos estabilizadores de PSL(2, R).
Teorema 3.2.9 Sea un subgrupo de PSL(2, R) discreto. Entonces:
(i) si z
R,
z
es la identidad o cclico innito;
(ii) si z H
2
,
z
es la identidad o cclico nito.
Demostraci on. En el caso (ii),
z
consiste en funciones elpticas que no
son de orden innito, ya que es discreto, y por lo tanto los puntos que no
son reales son ordinarios. Ahora, se sigue de la ecuacion de los puntos jos
110 CAP
1
= T
m
y preserva 0, . Por lo
tanto, si G no contiene elementos elpticos de orden 2, que intercambien 0
e , se tiene (de manera similar a los casos parabolico y elptico)
N
G
() = G
0
,
ya que todos los elementos de G que jan 0, tambien jan (en virtud
del Teorema 3.2.8).
En contraste, si el grupo G contiene una transformacion elptica de orden
2, S, tal que S(0) = , entonces como S es una involucion de la forma
z /z, se sigue que
S T
n
S
1
(z) = S T
n
_
z
_
= S
_
k
n
z
_
=
z
k
n
= T
n
(z),
y se tiene que la transformacion S pertenece tambien al grupo normalizador
N
G
(). Finalmente, si S
1
y S
2
intercambian 0 e , entonces S
1
S
2
los
ja, en consecuencia
N
G
() =< G
0
, S > .
n
0
0
1
n
_
, si n > N,
2
n
,= 1.
3.2. GRUPOS DISCRETOS. 115
Demostraci on. Denotamos a las matrices T
n
por
_
a
n
b
n
c
n
d
n
_
,
se tiene entonces que a
n
d
n
1 y b
n
c
n
0, en particular, si n es su-
cientemente grande a
n
d
n
> 0. Usaremos las trazas de ciertos conmuta-
dores para encontrar condiciones de las entradas de las matrices T
n
. Si
C
n
= T T
n
T
1
T
1
n
, entonces
C
n
=
_
0
0
1
__
a
n
b
n
c
n
d
n
__
1
0
0
__
d
n
b
n
c
n
a
n
_
=
_
a
n
b
n
1
c
n
1
d
n
__
1
d
n
1
b
n
c
n
a
n
_
=
_
a
n
d
n
2
b
n
c
n
a
n
b
n
+
2
a
n
b
n
2
d
n
c
n
d
n
c
n
2
b
n
c
n
+ a
n
d
n
_
,
por lo cual la traza de C
n
esta dada por
2 + 2b
n
c
n
b
n
c
n
(
2
+
2
)
= 2 b
n
c
n
(
1
)
2
. (3.2)
Ahora, calculamos las trazas de las matrices D
n
= T C
n
T
1
C
1
n
, se
tiene que
TC
n
=
_
0
0
1
__
1 b
n
c
n
(
2
1) a
n
b
n
(
2
1)
c
n
d
n
(
2
1) 1 b
n
c
n
(
2
1)
_
=
_
_
1 b
n
c
n
(
2
1)
a
n
b
n
(
2
1)
1
c
n
d
n
(
2
1)
1
_
1 b
n
c
n
(
2
1)
_
y
T
1
C
1
n
=
_
1
0
0
__
1 b
n
c
n
(
2
1) a
n
b
n
(
2
1)
c
n
d
n
(
2
1) 1 b
n
c
n
(
2
1)
_
=
_
1
_
1 b
n
c
n
(
2
1)
1
a
n
b
n
(
2
1)
c
n
d
n
(
2
1)
_
1 b
n
c
n
(
2
1)
_
.
116 CAP
2
a
n
b
n
c
n
d
n
(
2
1)(
2
1)
y la inferior derecha por
2
a
n
b
n
c
n
d
n
(
2
1)(
2
1) +
_
1 b
n
c
n
(
2
1)
_
1 b
n
c
n
(
2
1)
.
En consecuencia, la traza de D
n
es
a
n
b
n
c
n
d
n
(
2
1)(
2
1)(
2
+
2
) +2
_
1b
n
c
n
(
2
1)
_
1b
n
c
n
(
2
1)
= a
n
b
n
c
n
d
n
(
2
2 +
2
)(
2
+
2
) + 2 + 2b
2
n
c
2
n
(
2
1)(
2
1)
2b
n
c
n
(
2
1 +
2
1)
= a
n
b
n
c
n
d
n
(
1
)
2
(
2
+
2
)+2a
n
b
n
c
n
d
n
(2
2
2
)2b
n
c
n
(2
2
2
)
+2 2b
n
c
n
(
2
+
2
2)
= 2 + a
n
b
n
c
n
d
n
(
1
)
2
_
2
+
2
2
= 2 + a
n
b
n
c
n
d
n
(
1
)
4
. (3.3)
Ahora, ya que [(C
n
)[ 2 y b
n
c
n
0, se sigue de (3.2) que (C
n
) 2,
si n es sucientemente grande. En particular, existe un natural N
1
, tal que
si n > N
1
, se tiene b
n
c
n
0.
Tambien, como [(D
n
)[ 2 y a
n
b
n
c
n
d
n
0, se sigue de (3.3) que
(D
n
) 2, si n es sucientemente grande, digamos n > N
2
. En consecuen-
cia, a
n
b
n
c
n
d
n
0, si n > N
2
. Mas a un, ya que a
n
d
n
1, cuando n ,
existe un natural N
3
, tal que si n > N
3
, a
n
d
n
> 0.
Por consiguiente, tomando N = maxN
1
, N
2
, N
3
y n > N, se tiene
b
n
c
n
0 y tambien b
n
c
n
0, por lo cual b
n
c
n
= 0. Se sigue entonces
de (3.2) que (C
n
) = 2 y que C
n
= Id, ya que el grupo es puramente
hiperbolico. Finalmente, como T y T
n
conmutan, si n > N, necesariamente
T
n
ja 0 e .
El sorprendente resultado que se muestra a continuacion fue encontrado
por Lauritzen, la demostracion que se exhibe se debe a Siegel.
Teorema 3.2.19 Sea < PSL(2, R) no abeliano y puramente hiperbolico,
entonces es discreto.
3.2. GRUPOS DISCRETOS. 117
Demostraci on. Sin perdida de generalidad
T =
_
0
0
1
_
< SL(2, R), > 0, ,= 1.
Si no es discreto, existe una sucesion de matrices distintas S
n
, tales
que S
n
Id. Se sigue entonces del Lema 3.2.18 que si n > N, entonces
S
n
=
_
n
0
0
1
n
_
,
2
n
> 1.
Ahora, como no es abeliano, existe S en , tal que no ja 0 e , por
lo que esta transformacion esta dada por una matriz de la forma
_
a b
c d
_
, b, c ,= 0.
Aunque a priori el grupo podra no ser discreto, se tiene que cualquier
par de hiperbolicas en jan los mismos puntos o puntos ajenos. Esto se
sigue, ya que si tuvieran un solo punto jo en com un, el conmutador sera
parabolico (vease el Ejercicio 3.1.2).
Calculamos ahora
T
n
= S
n
SS
1
n
S =
_
n
0
0
1
n
__
a b
c d
__
1
n
0
0
n
__
d b
c a
_
=
_
n
a
n
b
1
n
c
1
n
d
__
1
n
d
1
n
b
n
c
n
a
_
=
_
(
2
n
1)ab
(
2
n
1)cd
_
. (3.4)
Finalmente, se sigue del Lema 3.1.8 que T
n
Id, por lo que aplicando
de nuevo el Lema 3.2.18 se tiene
T
n
=
_
0
0
_
,
si n > N
(N
118 CAP
, es
un punto de acumulacion de (z).
3.3. CONJUNTO L
,
(z) se acumula en el atractor y en el repulsor (vease la Figura 3.3).
z
T(z)
T
n
(z)
Figura 3.3: Hiperciclos o crculos jos de las hiperbolicas
Se quiere generalizar la Proposicion 3.3.1 para los puntos lmite de un
grupo fuchsiano , que no son puntos jos de ninguna transformacion en
120 CAP
(z) como el
conjunto de los puntos w
C, tales que existen transformaciones distintas
T
n
, para las cuales T
n
(z) w.
En general, los puntos de
z
_
a
n
k
c
n
k
_
<
1
[c
n
k
[
0
y z (); tambien por la invariabilidad (Lema 3.3.4), T
n
k
(z) ().
Mas a un, como () es cerrado (Lema 3.3.4), se sigue que ().
En el primer caso
[T
n
(z) T
n
()[ =
a
n
z + c
n
c
n
z + a
n
a
n
c
n
1
c
n
(c
n
z + a
n
)
1
[ c
n
[
, si n > N,
puesto que a
n
a
n
c
n
c
n
= 1. Por lo tanto
[T
n
(z) T
n
()[ 0,
cuando n , y
[ T
n
()[ [ T
n
(z)[ +[T
n
(z) T
n
()[ 0,
cuando n . En consecuencia, ().
Corolario 3.3.6 Sea fuchsiano, entonces L() es cerrado y por lo tanto
O() es abierto.
3.3. CONJUNTO L
_
i=1
K
i
, (3.6)
donde K
i
, i N, son conjuntos compactos.
Demostraci on. Si A = R
n
, deniendo K
n
= B(0, n), se sigue el resulta-
do. De otra manera, A no es vaca y se dene
K
n
= B(0, n) A
n
,
donde A
n
= z A [ d(z, A) 1/n. Como A es abierto, se sigue que
si z A, entonces d(z, A) > 0 y por lo tanto z B(0, n) A
n
, si n es
sucientemente grande. En consecuencia, se sigue (3.6) y basta probar que
los conjuntos A
n
son cerrados.
Para probar que A
n
es cerrado, sea z
m
A
n
, m N, tal que z
m
z. Si
z / A
n
, entonces d(z, A) < 1/n. Sin embargo, tomando w A, tal que
d(z, w) = d(z, A), se obtiene una contradiccion al tomar z
m
sucientemente
cercana a z, de tal manera que d(z
m
, z) + d(z, w) < 1/n.
Usamos este hecho para probar, de una nueva manera, que si es fuch-
siano, entonces es a lo sumo numerable. Sea
O() =
_
n=1
K
n
,
donde K
n
, n N, son conjuntos compactos. Ahora, tomando O jo, se
tiene que para cualquier natural m jo, existe un n umero nito de transfor-
maciones T
j
, tal que T
j
() K
m
; puesto que K
m
consiste en puntos
ordinarios. Esto se sigue ya que de otra manera, la orbita de se acumula
124 CAP
es un punto en
C que solo depende de y .
Demostraci on. Sin perder generalidad podemos suponer < M(). Se
sigue del Teorema 3.3.5 que (), por lo que existen T
n
distintos,
tales que T
n
() ,
T
n
=
_
a
n
c
n
c
n
a
n
_
.
El mismo calculo de la prueba del Teorema 3.3.5 muestra que
[T
(
z) T
n
()[ =
1
[c
n
(c
n
z + a
n
)[
=
1
[c
n
[
2
1
[z (a
n
/ c
n
)[
. (3.7)
Ademas, el conjunto
a
n
c
n
= T
1
n
(), n N,
esta acotado, ya que no puede acumularse en el punto ordinario ; por lo
que existe un punto de acumulacion
y una subsucesion T
n
k
, para la cual
T
1
n
k
()
(notese que
L()).
Ahora, si z C, z ,=
, entonces el conjunto T
1
n
k
(), k N, no se
acumula en z, por lo que
z
_
a
n
k
c
n
k
_
(puesto que T
n
k
() ).
Finalmente, T
n
k
(z), k N, es un conjunto innito, de otra manera
T
n
k
(z) = , si k > N, pero entonces T
n
k+1
T
1
n
k
() = , contradiciendo que
no es un punto jo. Por lo tanto, z
C
, (z) se acumula en .
Mostraremos que el lema anterior se puede anar a un mas, esto es, bajo
las hip otesis de este lema, todas las orbitas se acumulan en . El argumento
de este lema muestra tambien que si K es un compacto en
C, tal que
L.
Para probar (ii), notese que bajo estas hipotesis toda orbita contiene
al menos tres puntos. Para probar esta armacion, observese primero que
si hubiera una orbita de un solo punto, se tendra que sera un grupo
estabilizador y L() tendra a lo mas dos puntos, en virtud de la Proposicion
3.2.10. Por otra parte, si el conjunto z
1
, z
2
es una orbita, entonces todo
elemento de preserva z
1
, z
2
y se tienen dos posibilidades:
(a) es de orden 2, lo cual no es posible, ya que este grupo es no elemental.
(b) contiene como subgrupo de ndice 2 a un grupo estabilizador y de
nuevo L() tendra a lo mas dos puntos (vease el Teorema 3.1.4).
126 CAP
1
distinto a . Ahora, se sigue del Teorema 3.3.10 que la orbita de
1
se
acumula en . Finalmente, una orbita de puntos lmite consiste en puntos
lmite, por lo que no es aislado en L().
Denicion 34 Sea A R
n
, se dice que A en ninguna parte es denso si
Int A = , es decir, si A no contiene ninguna bola abierta.
En el caso no elemental todas las orbitas son densas en los puntos lmite;
sin embargo este conjunto (cuando no es
R o
C) es en cierta manera delgado.
Los siguientes resultados muestran ese caracter fractal, o de conjunto de
Cantor, que tienen los conjuntos lmite en estos casos.
Teorema 3.3.12 Sea un subgrupo discreto de PSL(2, R), entonces el
conjunto lmite de es toda la recta real extendida, o es un conjunto que en
ninguna parte es denso en
R.
3.3. CONJUNTO L
el conjunto de los
puntos jos de las transformaciones distintas de la identidad en , entonces
L() F
,
donde F
denota la cerradura de F
en
C.
Demostraci on. Observese primero que si ,= Id, entonces F
tiene
cardinalidad mayor o igual a uno. Para el caso en que F
consta de un solo
punto, es claro que es un grupo cclico parabolico y la proposicion se sigue
de manera inmediata.
Ahora, F
. Por consiguiente, si F
C, con la siguiente propiedad: si K es un conjunto com-
pacto en
C, tal que
(u, z) = (u, w)
_
.
Demostraci on. Como las transformaciones en PSL(2, R) son isometras
conformes, se puede suponer que z, w . Mas a un, usando la observaci on
previa a la proposicion, se puede tambien suponer que w = z (vease la
Figura 4.5). Ahora, como la reexion en el eje imaginario z z es una
isometra de H
2
, el punto medio de [z, w] es i, por lo que el bisector perpen-
dicular a [z, w] es el eje imaginario positivo. Mas a un, como esta isometra
ja el eje imaginario e intercambia z con w, los puntos del eje imaginario
positivo equidistan hiperbolicamente de z y w.
Falta probar solamente que no hay otros puntos equidistantes de z y w.
Si u equidista de z y w, sea C
1
el crculo con centro en z y radio (z, u),
y sea C
2
la imagen de C
1
, bajo la funcion z z. Finalmente, como los
puntos de interseccion de estos dos crculos son los puntos equidistantes, se
sigue que Re u = 0 (vease la Figura 4.5).
w z
Figura 4.5: H-bisector perpendicular
4.1. REGIONES FUNDAMENTALES 137
Denicion 39 Sea A H
2
, se dice que A es h-convexo, si z, w A se
tiene que [z, w] A, donde [z, w] denota el segmento de geodesica que une
z con w.
Observese que un conjunto h-convexo es conexo (ejercicio) y que la inter-
seccion de conjuntos h-convexos es h-convexo. Ademas, si l es una geodesica,
entonces H
2
l consiste en dos semiplanos que son h-convexos; esto es evi-
dente si l es el eje imaginario, el caso general se sigue, ya que PSL(2, R)
es transitivo en geodesicas. Mas a un, estas observaciones implican tambien
que la region comprendida entre dos rectas verticales (o dos geodesicas tan-
gentes) es h-convexa. Ademas, cualquier triangulo hiperbolico es h-convexo,
dado que es la interseccion de tres semiplanos.
0
w
w
n
z
0
z
z
n
Figura 4.6: La cerradura de una region h-convexa es h-convexa
Proposicion 4.1.3 Sea A una region h-convexa, entonces
A es h-convexa.
Demostraci on. Si
A no es h-convexa, existen z, w
A, tal que
[z, w] ,
A.
Podemos suponer, sin perder generalidad, que [z, w] es un segmento en el eje
imaginario. Bajo estas hipotesis, existe z
0
[z, w], tal que z
0
/
A. Ahora,
como (
A)
c
es abierto, se puede construir un cuadrado R de lado con
centro en z
0
, tal que R (
A)
c
.
138 CAP
= z H
2
< Re z <
son h-convexos; por lo que tomando sucesiones z
n
, w
n
, n N, en A, tales
que converjan a z y w, respectivamente, se tendra que A no es h-convexa,
lo cual contradice la hipotesis. Esto se sigue, ya que tomando 2 < y n
sucientemente grande, se tiene
< Re z
n
, Re w
n
< ;
lo que implica [z
n
, w
n
] P
y [z
n
, w
n
] R ,= (vease la Figura 4.6).
1
2
w
1
w
2
w
n
Figura 4.7: Rayos que emanan de regiones h-convexas
Proposicion 4.1.4 Sea A una region h-convexa, A y l un segmento
de geodesica que surge de , entonces l intersecta A en a lo mas un punto.
Demostraci on. Se puede suponer, sin perder generalidad, que l esta con-
tenido en el eje imaginario. Si l intersecta A en dos puntos distintos w
1
y w
2
, aplicando la funcion z 1/z (si es necesario), se puede suponer
tambien que = i y
0
, w
1
= i y
1
, w
2
= i y
2
, donde y
0
< y
1
< y
2
.
Ahora, sean
1
,
2
A, tales que Re
1
< 0 < Re
2
y tales que
[
1
,
2
] intersecta el eje imaginario abajo de w
1
. Esto se logra tomando
1
,
2
D(0, r) A, donde y
0
< r < y
1
(vease la Figura 4.7).
4.1. REGIONES FUNDAMENTALES 139
Tambien, existe una sucesion
w
n
= x
n
+ iy
n
A, n N, n > 2,
tal que w
n
w
2
, se puede tambien suponer que x
n
> 0 (el caso x
n
< 0 es
analogo). Notese que las ordenadas en el origen de las rectas euclideanas que
pasan por
1
y w
n
estan dadas por
y
n
(y
n
v)
(x
n
u)
x
n
,
donde
1
= u + iv. Finalmente, si n , estos n umeros convergen a
y
2
; por lo que si n es sucientemente grande, estas rectas intersectan el eje
imaginario arriba de w
1
. En consecuencia, w
1
esta en el interior del triangulo
hiperbolico determinado por
1
, w
n
y
2
, el cual esta contenido en A (ya
que A es h-convexa), lo cual contradice la existencia de dichos puntos, w
1
y w
2
.
EJERCICIOS 4.1
1. Demuestre que un conjunto fundamental no puede ser abierto.
2. Sea un subgrupo de PSL(2, R) que admite una region fundamental,
demuestre que es discontinuo.
3. Demuestre que el area hiperbolica de la region descrita en la Figura 4.4 es
innita.
4. Pruebe que el area hiperbolica de una region de la forma H
n
R
n
es nita,
donde H
n
, R
n
son las regiones descritas en la prueba del Teorema 4.1.1.
5. Demuestre que el area hiperbolica de un triangulo con un vertice innito
y dos angulos positivos , esta dada por ( + ). Generalice este
resultado para cualquier triangulo.
6. Pruebe que el area hiperbolica de una region en H
2
es invariante bajo
cualquier isometra hiperbolica.
7. Demuestre que un conjunto h-convexo en H
2
es conexo.
140 CAP
_
w
0
, T(w
0
)
_
_
w
0
, T(w)
_
+
_
T(w), T(w
0
)
_
< /2 + /2,
que contradice la eleccion de .
El teorema anterior implica la existencia de vecindades estables, con res-
pecto a la accion de , para cualquier punto en H
2
(ejercicio). Dado un
punto w H
2
, una vecindad N
w
de w es estable si para cualquier trans-
formacion T se tiene
T(N
w
) N
w
= , si T(w) ,= w;
T(N
w
) = N
w
, si T(w) = w.
4.2. CONSTRUCCI
ON DEL POL
i
consiste en 2 semiplanos hiperbolicos, uno
que contiene a w
0
, que denotaremos por L
i
, y otro que contiene a w
i
, al
cual nos referiremos por L
i
.
z
w
0
z
w
i
Figura 4.8: L
i
A
i
Lema 4.2.2 Sea un subgrupo discreto de PSL(2, R), w
0
H
2
no jo,
w
i
, i N, la orbita de w
0
y
A
i
= z H
2
[ (z, w
0
) < (z, w
i
), A
i
= z H
2
[ (z, w
i
) < (z, w
0
),
entonces L
i
= A
i
y L
i
= A
i
.
Demostraci on. Se sigue de la Proposicion 4.1.2 que H
2
es la union dis-
junta de A
i
A
i
. Tambien lo es de L
i
L
i
. Por consiguiente basta
probar que
L
i
A
i
y que
L
i
A
i
.
Ahora, si z L
i
, al trazar una geodesica de z a w
i
, esta intersecta
i
en un punto z
y se tiene
(z, w
0
) (z, z
) + (z
, w
0
) = (z, z
) + (z
, w
i
) = (z, w
i
),
puesto que z
equidista de w
0
y w
i
(vease la Figura 4.8). Finalmente, el
mismo argumento se aplica a puntos de L
i
, lo cual prueba el lema.
142 CAP
i=1
L
i
.
Algunas veces escribiremos D
0
, o simplemente D, por D
w
0
. Notese que
el Lema 4.2.2 implica que D consiste en los puntos en H
2
que estan estric-
tamente mas cerca de w
0
que de cualquier otra de sus imagenes, es decir,
D = z H
2
[ (z, w
0
) < (z, w
i
) i N.
Observese que D es no vacio, ya que w
0
D. El polgono de Dirichlet D es
tambien h-convexo (y por lo tanto conexo), esto se sigue ya que es la inter-
seccion de conjuntos h-convexos. Esta construccion se generaliza a cualquier
dimension y tambien a otras geometras (cf. [20] pp. 243-246). Probamos aho-
ra que D es una region fundamental para . A los bisectores perpendiculares
les llamaremos simplemente bisectores.
D(w
0
, r)
w
0
w
i
z
K
Figura 4.9: Un compacto intersecta un n umero nito de bisectores
Lema 4.2.3 Sea D el polgono de Dirichlet descrito en la Denicion 40 y
K un subconjunto compacto en H
2
, entonces K intersecta solamente a un
n umero nito de bisectores
i
.
4.2. CONSTRUCCI
ON DEL POL
j1
j2
j3
Figura 4.10: D es abierto
Lema 4.2.4 Sea D el polgono de Dirichlet descrito en la Denicion 40,
entonces D es abierto.
Demostraci on. Sea z D y N un disco hiperbolico cerrado alrededor de
z. Se sigue entonces del Lema 4.2.3 que N intersecta solamente un n umero
nito de bisectores, digamos
j
1
,
j
2
, . . . ,
jn
. Es claro que z L
j
i
i, ya
que z D, por lo que se puede tomar un disco mas peque no alrededor de
z de tal manera que ya no intersecte ning un bisector (vease la Figura 4.10).
La existencia de dicho disco se puede deducir, ya que la funcion distancia
w (w, z)
del conjunto cerrado
i
en R
+
es continua, donde
i
hereda la metrica
hiperbolica (ejercicio). Alternativamente, se puede usar la descripcion de los
crculos de Apolonio alrededor de z.
144 CAP
ON DEL POL
i
es abierto. El siguiente resultado describe
D.
z
w
0
D
D
j1
j2
jn
Figura 4.12: Bisectores por z
Lema 4.2.6 Sea D el polgono de Dirichlet descrito en la Denicion 40,
entonces la frontera de D consiste en los puntos z en H
2
que satisfacen las
siguientes dos condiciones:
(i) (z, w
0
) (z, w
i
) i,
(ii) (z, w
0
) = (z, w
j
), para al menos una j.
Demostraci on. Sea A el subconjunto de H
2
determinado por las condi-
ciones (i) y (ii), probamos primero que A es un subconjunto de D. Si z A
y N es cualquier vecindad de z, hay que probar que N intersecta D. Se
146 CAP
i
, y existe una vecin-
dad de z contenida en L
i
, por lo que z / D.
Finalmente, si la desigualdad (z, w
0
) (z, w
i
) es estricta i, entonces
z D; por lo que (z, w
0
) = (z, w
i
), para al menos alguna i.
Corolario 4.2.7 Sea D el polgono de Dirichlet descrito en la Denicion
40, entonces
Ext D = z H
2
[ (z, w
i
) < (z, w
0
), para al menos alguna i.
Demostraci on. Se tiene que
(z, w
0
) (z, w
i
) i
si y solo si
z D D.
ON DEL POL
D) =
_
nN
D
n
.
Para esto, sea z H
2
, como la orbita de w
0
no se acumula con H
2
,
existe un punto w
j
cuya distancia a z es menor o igual a la distancia de
cualquier otro punto en la orbita a z, es decir
(z, w
j
) (z, w
i
) i.
Ahora, si T
j
(w
0
) = w
j
y T
1
j
(z) = z
, se sigue de la invariabilidad de la
metrica que
(z
, w
0
) (z
, w
k
) k;
lo cual signica, en virtud del Lema 4.2.6, que z
D.
Finalmente, las geodesicas en H
2
tienen medida bidimensional cero, y
como D esta contenida en una union numerable de geodesicas, se sigue que
tiene medida cero.
Notese que el Teorema 4.2.8 muestra que los polgonos D
i
son tambien de
Dirichlet para (ejercicio). Recordamos del captulo de metrica hiperbolica
que la distancia de un punto z a una geodesica se alcanza trazando una
segunda geodesica que pasa por z y es ortogonal a (vease la Figura 2.7).
Usando este hecho, para el caso particular descrito en la Denicion 40, si
j
es el bisector perpendicular de [w
0
, w
j
], se tiene que
(w
0
,
j
) =
1
2
(w
0
, w
j
).
A continuacion mostramos una propiedad de los polgonos de Dirichlet; a los
dominios fundamentales que cumplen esta propiedad se les llama localmente
nitos.
Proposicion 4.2.9 Sea D el polgono de Dirichlet de un subgrupo de
PSL(2, R) y K un compacto en H
2
, entonces K intersecta solamente un
n umero nito de imagenes de
D (bajo elementos de ).
Demostraci on. Usamos la notacion del Lema 4.2.5. Podemos suponer
que el compacto es un disco hiperbolico con centro en w
0
, que denota-
mos por D
h
(w
0
, r). Esto se sigue, ya que si r es sucientemente grande,
148 CAP
D
j
j
w
0
Figura 4.13: Los compactos intersectan un n umero nito de polgonos
D
D
k
T
k z
w
0
z
w
k
Figura 4.14: Los compactos intersectan un n umero nito de polgonos
Exhibimos ahora una segunda prueba de la Proposicion 4.2.9. Sea r tal
que K D
h
(w
0
, r). Si
D
k
intersecta K en un punto z, entonces existe un
z
D, tal que T
k
(z
) = z. Tomando T
k
(w
j
) = w
0
, se tiene
(w
0
, w
j
) (w
0
, z
) + (z
, w
j
) 2(z
, w
j
)
4.2. CONSTRUCCI
ON DEL POL
D). Finalmente
(z
, w
j
) =
_
T
k
(z
), T
k
(w
j
)
_
= (z, w
0
) r
(vease la Figura 4.14). Por consiguiente, w
j
D
h
(z
0
, 2r), etcetera.
A continuacion describimos los polgonos de Dirichlet de los grupos ccli-
cos. Notese que todos los resultados que se han probado anteriormente refe-
rentes a los poligonos de Dirichlet para subgrupos discretos de PSL(2, R),
tambien se aplican a subgrupos discretos de M(); por lo que se puede usar
indistintamente un modelo u otro.
1
2
1
2
e
ki/m
1
2
e
2ki/m
Figura 4.15: Puntos equidistantes
D
m1
e
i/m
e
i/m
Figura 4.16: Polgono de Dirichlet de un grupo cclico de rotaciones
150 CAP
5
w
0
w
1
w
2
w
3
w
4 w
5
Figura 4.17: Polgono de Dirichlet de un grupo cclico de orden 6
Ahora, como la reexion en la recta que pasa por el origen y por e
k i/m
es una isometra hiperbolica, se sigue que si 1 < k < m, entonces
1
2
e
k i
m
equidista hiperbolicamente de 1/2 y
1
2
e
2 k i
m
(vease la Figura 4.15). En consecuencia, el conjunto de bisectores
k
consiste
en los diametros por el origen
_
t e
k i
m
_
, 1 t 1, 0 < k < m.
4.2. CONSTRUCCI
ON DEL POL
_
m1
m
_
+
m
mod 2,
y si 1 < k < m, entonces
_
mk
m
_
+
k
m
mod 2.
Lo que implica que ning un bisector
k
intersecta dicha region D.
w
0
Figura 4.18: Polgono de Dirichlet de un grupo cclico nito
El caso general se sigue de la invariabilidad de los polgonos de Dirich-
let bajo conjugacion. En particular, si es un grupo cclico de rotaciones,
D es su polgono de Dirichlet con centro en w y f es la funcion de
Cayley, se tiene que f(D) es el polgono de Dirichlet con centro en f(w)
del grupo f f
1
que act ua en H
2
. Dejamos la vericacion de estas ar-
maciones como ejercicio. En consecuencia, el polgono de Dirichlet de un
grupo cclico actuando en H
2
es exactamente como en la Figura 4.18. A
continuacion probamos un resultado sobre la invariabilidad de los conjuntos
fundamentales bajo la conjugacion.
152 CAP
=
1
actuando en (P).
Demostraci on. Si (z), (w) son puntos
, tal que
T
1
((z)) = (w).
En este caso T(z) = w, lo cual implica z = w (ya que F es fundamental).
Por ultimo, sea (w) (P). Como F es fundamental, se tiene que hay
un punto z F, tal que T(z) = w, donde T . Por lo tanto
T
1
_
(z)
_
= (w)
y (z) es
equivalente a (w).
La proposicion anterior se puede generalizar a regiones fundamentales de
subgrupos discretos de PSL(2, R), por ejemplo, si la frontera esta contenida
en una union a lo sumo numerable de geodesicas. Esto se sigue facilmente de
las propiedades de los elementos de PSL(2, C).
w
0
m w
k
k
i
Figura 4.19: Bisector perpendicular entre w
0
y w
k
Polgonos de Dirichlet de grupos cclicos parab olicos
Consideramos primero el caso del grupo de traslaciones
=< T >, T(z) = z + 1.
4.2. CONSTRUCCI
ON DEL POL
k
=
_
z H
2
Re z =
k + 1
2
_
,
se tiene
1
= z H
2
[ Re z = 1 y
1
= z H
2
[ Re z = 0. Notese
que los bisectores
k
, k ,= 1, 1, no intersectan R
1
2
3
1
w
0
w
1
w
2
Figura 4.20: Polgono de Dirichlet para un grupo de traslaciones
154 CAP
1
w
0
w
1
w
1
Figura 4.21: Polgono de Dirichlet de un grupo cclico parabolico
2
i/2
i
2 i
2i
1
Figura 4.22: Polgono de Dirichlet del grupo cclico < z 2z >
Polgonos de Dirichlet de grupos cclicos hiperb olicos
Consideremos primero el grupo de homotecias generado por T(z) = 2z. Se
puede tomar w
0
= i como el centro del polgono de Dirichlet. Ahora, como
1/2(log 2) = log
1
= z H
2
[z[ =
2 i;
tambien, como z 1/z es una isometra, se sigue que
1
=
_
z H
2
[z[ =
i
2
_
.
Estos argumentos muestran tambien que los demas bisectores son semicrcu-
los con centro en el origen que no intersectan el medio anillo
D =
_
z H
2
2
< [z[ <
2
_
,
4.2. CONSTRUCCI
ON DEL POL
.
Si el lema no se cumple, existe una sucesion
T
n
=
_
a
n
b
n
c
n
d
n
_
, n N,
4.3. POL
0 1
__
a
n
b
n
c
n
d
n
__
1 q
n
0 1
_
=
_
a
n
+ p
n
(c
n
) b
n
+ p
n
(d
n
)
c
n
d
n
__
1 q
n
0 1
_
=
_
a
n
+ p
n
(c
n
)
c
n
d
n
+ q
n
(c
n
)
_
.
Resulta que para cada n N se pueden elegir p
n
, q
n
Z, de tal manera
que
1 a
n
+ p
n
(c
n
) < 1 + c
n
y 1 d
n
+ q
n
(c
n
) < 1 + c
n
. (4.1)
Dejamos la vericacion de este hecho como ejercicio. Habiendo elegido para
cada natural n los enteros p
n
, q
n
Z, que cumplen las desigualdades (4.1),
se obtiene una sucesion de matrices que denotamos por
B
n
=
_
n
n
c
n
n
_
= T
pn
T
n
T
qn
, n N.
Observese que todas estas matrices son distintas, ya que las entradas c
n
lo
son. Bajo esta nueva notacion se tiene
1
n
< 1 + c
n
y 1
n
< 1 + c
n
. (4.2)
Finalmente, estas desigualdades implican que
1
n
n
1 + 2c
n
+
2
c
2
n
y
0
n
=
n
n
1
c
n
2 +
2
c
n
.
Sin embargo, esta ultima desigualdad junto con (4.2) implica que las matrices
B
n
, n N, estan acotadas, lo cual contradice que es discreto.
A continuacion probaremos que las transformaciones de Mobius que no
jan , act uan euclidianamente en un unico crculo llamado isometrico.
158 CAP
z
_
d
c
_
=
1
[c[
_
.
Esto se sigue, ya que T
(z) =
1
(cz + d)
2
.
Proposicion 4.3.2 Sea T PSL(2, C), T(z) =
az + b
cz + d
, adbc = 1, c ,= 0,
entonces T act ua euclidianamente en I(T).
Demostraci on. Sean z, w I(T), entonces
[ T(z) T(w)[ =
az + b
cz + d
aw + b
cw + d
T(z) T(w
n
)
z w
n
= 1
y [T
(z)[ = 1, lo cual implicara z I(T). El siguiente importante resul-
tado exhibe como el crculo isometrico describe la accion geometrica de una
transformacion de Mobius.
I
T
1
T
Figura 4.25: Accion de una transformacion hiperbolica o loxodromica en el
crculo isometrico
Teorema 4.3.3 Sea T una transformacion en PSL(2, C) que no ja a .
Entonces
(i) T
_
I(T)
_
= I
_
T
1
_
;
(ii) T
_
Int I(T)
_
= Ext
_
I
_
T
1
__
;
(iii) T
_
Ext I(T)
_
= Int
_
I
_
T
1
__
.
Demostraci on. Sea z C, z ,= d/c, se sigue de la regla de la cadena
que
_
T
1
_
(T(z)) T
(z) = 1. (4.3)
Ahora, como
T
(z) =
1
(cz + d)
2
,
160 CAP
R
n
) que no jan se dene la esfera
isometrica como aquellos puntos donde el factor de conformalidad del jaco-
biano de la transformacion es 1. Resulta, como en el caso bidimensional, que
estos puntos son en efecto una esfera de codimension 1; mas a un, todas las
observaciones y resultados que hemos mencionado para el caso de PSL(2, C),
tambien se cumplen para transformaciones en GM(
R
n
) (cf. [2] pp. 41 y 42).
A manera de conclusion del texto, mostramos la construccion del polgono
de Ford para grupos con traslaciones, y aplicamos estos resultados para ex-
hibir una region fundamental del grupo clasico modular, que es a la vez un
polgono de Ford y tambien uno de Dirichlet. En realidad, ambos polgonos,
el de Dirichlet y el de Ford, se pueden considerar como distintos casos de
la misma construccion (polgono de Dirichlet generalizado). Vease [2] pp.
234-239.
Denicion 42 Sea un subgrupo discreto de PSL(2, R) con traslaciones,
se dene el polgono de Ford para , determinado por R, como
R = R
_
_
T
Ext I(T)
_
_
,
donde
R
= z H
2
[ < Re z < +
y z z + es un generador de
.
4.3. POL
,
T(z) =
az + b
cz + d
,
tales que [c[ 1/m, o
1
[c[
m.
Por consiguiente, el conjunto R es no vaco. Mas a un, el polgono R es un
conjunto abierto h-convexo y por lo tanto conexo. Esto se sigue, ya que es
interseccion de semiplanos.
Teorema 4.3.4 Sean R y como en la denicion anterior, entonces R es
una region fundamental para .
Demostraci on. Probamos primero que no hay puntos equivalentes
en R. Para esto, sea z R y T . Si T
, T ,= Id, entonces T
traslada z fuera de R
, escribimos z
1
= z
0
, de otra manera, trasladamos z
0
a
un punto z
1
R
. Ahora, si z
1
/
R, entonces z
1
Int I(T
1
), donde esta
transformacion T
1
esta denida por una matriz
T
1
=
_
a
1
b
1
c
1
d
1
_
.
162 CAP
, (si z
2
R
, se toma z
2
= z
3
),
si z
3
no esta en
R, entonces z
3
Int I(T
2
), etcetera.
De esta modo, se obtiene una sucesion de puntos equivalentes
z
0
, z
1
, z
2
, . . . , z
n
,
tales que los n umeros de la forma z
2n+1
, n N, estan en R
y
Im z
0
= Im z
1
< Im z
2
= Im z
3
< Im z
4
= . . .
Finalmente, esta sucesion es necesariamente nita. Esto se sigue, ya que
el Lema 4.3.1 implica que existe una cota superior a los radios de los crculos
isometricos, digamos s. Por lo cual si z R
y Im z > s, necesariamente
z
R. En consecuencia, como el rectangulo
z H
2
[ Im z
0
Im z s
contiene solamente puntos ordinarios, la sucesion z
2n+1
, n N, no se puede
acumular en dicho rectangulo compacto; por lo que necesariamente existe n,
tal que z
2n+1
R y z
0
es equivalente a un punto de
R.
Para ilustrar estas ideas exhibimos una region de Ford para el grupo
clasico modular PSL(2, Z), denotaremos a este grupo por . Notese que
T =
_
1 1
0 1
_
genera
como
z H
2
[ 1/2 < Re z < 1/2.
Observese tambien que los crculos isometricos de mayor radio euclidiano
tienen radio 1 y que los centros de estos crculos son precisamente los enteros.
Esto se sigue, ya que d Z existe
_
a b
1 d
_
SL(2, Z).
4.3. POL
3
2
= e
i
3
.
Reejando en el eje imaginario, se tiene el otro vertice
= e
i
3
= e
2 i
3
=
1
2
+ i
3
2
.
En consecuencia, los otros crculos isometricos de radio menor a 1 no
intersectan la region delimitada por las rectas Re z = 1/2, que es exterior
al crculo [z[ = 1. Es decir, esta region, que denotamos por R, es un polgono
de Ford para el grupo modular. Esto se sigue, ya que los radios de estos
crculos son 1/n, n 2. Vease la Figura 4.26.
= e
i
3
0 1 2 1 2
Figura 4.26: Una region fundamental de Dirichlet y Ford del grupo clasico
modular
Resulta que el polgono de Ford que acabamos de describir, es tambien el
polgono de Dirichlet con centro en 2i. Para probar esta armacion, observese
primero que 2 i no es un punto jo. Una manera de probar esta armacion
es usando la formula de los puntos jos, dado que la parte imaginaria y de
un punto jo elptico esta dada por
_
4
2
2[c[
.
164 CAP
IA
[12] Maclachlan, C. and Reed, A. W, The Arithmetic of Hyperbo-
lic 3-Manifolds, Graduate Texts in Mathematics 219, Springer Verlag,
2003.
[13] Mc Mullen, C., Rational maps and Kleinian groups, Proceedings of
the International Congress of Mathematicians, Kyoto, Japan 1990.
[14] Maskit, B., Kleinian Groups, Springer-Verlag, 1987.
[15] Muci no Raymundo, J., Geometra hiperbolica una introduccion
usando calculo y variable compleja, Aportaciones Matematicas, Co-
municaciones 21 (1998), 165-196.
[16] Mumford, D., Series, C. and Wright, D., Indras Pearls, Cam-
bridge University Press, 2001.
[17] Ramrez Galarza, A. I. y Seade Kuri, J., Introduccion a la
geometra avanzada, Facultad de Ciencias UNAM, 2002.
[18] Ramrez Galarza, A. I. y Sienra Loera G., Invitacion a las
geometras no euclidianas, Facultad de Ciencias, UNAM, 2000.
[19] Ramrez Ogando, G. A., Supercies de Riemann como cocientes
de acciones discontinuas en la esfera, Tesis de licenciatura, Facultad
de Ciencias, UNAM, 2004.
[20] Ratcliffe, J. G., Foundations of Hyperbolic Manifolds, Graduate
Texts in Mathematics 149, Springer-Verlag, 1995.
[21] Shimura, G., Introduction to the Arithmetic Theory of Automor-
phic Functions, Tokio Iwanami Shoten and Princeton University Press,
1971.
[22] Thurston, W. P., Three Dimensional Geometry and Topology, vol.
1, edited by Silvio Levy, Princeton Mathematical Series, 35, Princeton
University Press, 1997.
[23] Verjovsky Sol a, A., Introduccion a la geometra y las variedades
hiperbolicas Oaxtepec, Morelos, ELAM, 1982.
[24] Warner, F. W., Foundations of Diferentiable Manifolds and Lie
Groups, Scott, Foresman and Company, 1971.
Indice Analtico
area hiperbolica, 134
Apolonio, crculos de, 24
bisector perpendicular, 136
crculos, 16
crculos hiperbolicos, 53
Cayley, funcion de, 34
conforme, transformacion, 15
conjunto fundamental, 131
cordal, metrica, 6
, 34
densidad, 43
Dirichlet, polgono de, 142
discontinuo, 90
discos, 32
discreto, grupo, 101
dominio fundamental, 133
eje, de una transformacion hiperboli-
ca, 56
elptica, transformacion, 23
estable, vecindad, 140
factor de conformalidad, 43
Ford, dominio de, 160
fuchsiano, grupo, 110
geodesica, 51
GL(2, C), 37
h-convexo, 137
H
2
, 32
haz
elptico, 80
hiperbolico, 80
parabolico, 79
hiperbolica, transformacion, 23
hiperciclos, 55
horocclico, grupo, 111
horociclos, 55
innito, punto al, 1
isometrico, crculo, 158
lmite
conjunto, 89
punto, 89
loxodromica, transformacion, 23
metrica hiperbolica, 47
M(), 36
Mobius, transformaciones de, 1, 8
modular, grupo, 95
multiplicadores, 37
ordinario
conjunto, 89
punto, 89
parabolica, transformacion, 21
Picard, grupo de, 104
plano complejo, extendido, 1
169
170
INDICE ANAL
ITICO
Poincare
disco de, 60
extension de, 83
principal de congruencias, grupo, 96
proyeccion estereograca, 2
PSL(2, C), 11
PSL(2, R), 32
region fundamental, 133
, 49
Riemann, esfera de, 2
SL(2, C), 9
SL(2, R), 32
Steiner, conguracion de, 25