Hiperbolica

Una introduccion a la geometra hiperbolica
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
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
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
, puntos del plano complejo, una

formula de la distancia entre sus proyecciones en la esfera. Si denotamos estas
por (x
1
, x
2
, x
3
) y (x
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
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
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
son iguales si y solo si existe k C, tal que

a = ka
, 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
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).
De ahora en adelante identicaremos al grupo de transformaciones de Mobius

con PSL(2, C).
ejemplos de transformaciones de M obius
(1) Las traslaciones
T(z) = z + b, b C.
z
b
z +b
Figura 1.2: Traslaciones
(2) Las rotaciones
T(z) = az, a = e
i
.
(3) Las homotecias
T(z) = kz, k R
+
.
(4) Las composiciones de homotecias seguidas de rotaciones
T(z) = az, [a[ , = 1, 0, a / R
+
.
1.2. PROPIEDADES B
ASICAS 13
z
az
Figura 1.3: Rotaciones

z
kz
kz
z
Figura 1.4: Dilatacion y contraccion
(5) La transformacion
T(z) = 1/z,
que es la composicion de la inversion en el crculo unitario
z z/ [z[
2
= 1/ z,
seguida de la reexion en el eje real (conjugacion).
Se describe ahora las propiedades de conformalidad de estas transforma-
ciones as como sus singularidades (polos). Observese que una transformacion
de Mobius
T(z) =
az + b
cz + d
tiene un polo simple en d/c, si c ,= 0, y es entera si c = 0.
14 CAP
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
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
2 es una extension de la proyeccion estereogra-

ca, y al conjugar las extensiones de Poincare de PSL(2, C) con la reexion
en el plano complejo, seguida de la reexion en dicha esfera, se obtiene un
grupo denotado por M(B
3
) cuyos elementos transforman la esfera de Rie-
mann conforme y biyectivamente en s misma. En particular, estas funciones
preservan los angulos en todos los puntos de la esfera. Esto se sigue, ya que
los elementos de M(B
3
) son composiciones nitas de reexiones en esferas
o planos ortogonales a S
2
. Algunos de estos resultados se probaran en el
siguiente captulo, una prueba completa se puede deducir de [2], pp. 25,27,
31, 33, 37, 58.
Se tiene ademas que la proyeccion estereograca es conforme en C. Una
demostracion elemental de este hecho se puede consultar en [6] p. 36. Esta
propiedad tambien es consecuencia directa de que la proyeccion estereograca
es la restriccion de una reexion en una esfera en

R
3
; mostraremos en el
siguiente captulo que estas reexiones son conformes.
Los siguientes dos teoremas establecen propiedades geometricas funda-
mentales de las transformaciones de Mobius. Escribiremos crculos para
denotar crculos o rectas. Primero probamos un resultado que describe la
estructura de las transformaciones de Mobius.
Lema 1.2.3 Cualquier transformacion en PSL(2, C) se puede expresar co-
mo la composicion de traslaciones, rotaciones, homotecias y la transforma-
cion z 1/z.
Demostraci on. Una transformacion en PSL(2, C) que ja es de la
forma
z
a
d
z +
b
d
,
es decir, es una composicion de homotecias, rotaciones y traslaciones.
Si la funcion de Mobius no ja , entonces se puede expresar como
z
az + b
cz + d
=
a
c
(cz + d) + b
ad
c
cz + d
=
a
c
+
b
ad
c
cz + d
,
y es por lo tanto composicion de algunas de las transformaciones descritas
en el enunciado del lema.
1.2. PROPIEDADES B
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
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
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
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
C, sup ongase tambien que T es conjugada en PSL(2, C) a la transforma-

cion S(z) = z. Entonces:
(i) si [[ = 1, a T se le llama elptica;
(ii) si R
+
, a T se le llama hiperbolica;
(iii) si [[ , = 1 y / R
+
, a T se le llama loxodromica.
La proposicion anterior muestra que esta denicion no depende de la
transformacion conjugante. Mas a un, la transformacion z 1/z conjuga
las transformaciones T
1
(z) = z y T
2
(z) = z/.
La denicion anterior no es usada de manera general en la literatura, al-
gunos autores denominan a las transformaciones loxodromicas o hiperbolicas,
simplemente hiperbolicas (cf. ([3] p. 31), otros autores en cambio, consideran
a las hiperbolicas como una subclase de las loxodromicas (cf. ([2] p. 67).
EJERCICIOS 1.3
1. Demuestre que si una funcion en PSL(2, C) es de orden nito, entonces
es necesariamente elptica.
2. Demuestre que cualquier traslacion z z + b, b C, es conjugada en
PSL(2, C) a la traslacion z z + 1.
1.4. Geometra
Para visualizar la accion geometrica de las transformaciones de Mobius en la
esfera de Riemann y en el plano complejo, es util considerar ciertas familias
24 CAP
OBIUS COMPLEJAS
de crculos. Con este proposito se toman
1
,
2
C distintos y
(z) =
z
1
z
2
. (1.5)
Figura 1.8: Conguracion de Steiner

Observese que como es de Mobius, transforma los crculos que
pasan por
1
y
2
, en rectas por el origen. Tambien los crculos concentri-
cos al origen w C

[w[ = r son la imagen bajo de los conjuntos

denidos por la siguiente ecuacion
_
z C
[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
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
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
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
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
Figura 1.16: Crculos jos de las transformaciones parabolicas

La conguracion de los crculos jos de las parabolicas descrita en la
Figura 1.16 se enriquece al incorporar su familia ortogonal, como se muestra
en la Figura 1.18. Esta nueva conguracion describe de manera mas detallada
la geometra de las transformaciones parabolicas y se puede pensar como un
caso degenerado de la conguracion de Steiner, que se obtiene al juntar los dos
puntos lmite
1
,
2
, en uno solo, que es precisamente el punto . La familia
de los crculos jos, la denotamos por C
2
, como ya se menciono consiste
de crculos tangentes en , que cubren la esfera de Riemann, es decir,
si F
1
, F
2
C
2
, entonces F
1
F
2
= . Esta familia se puede pensar como
un caso degenerado de los crculos de Apolonio que originalmente rodean
los puntos lmite
1
,
2
, y que al deformar estos en un solo punto , se
transforman en crculos tangentes en , que cubren la esfera de Riemann.
1.4. GEOMETR
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
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).
De ahora en adelante nos referiremos a estas transformaciones como los

elementos de PSL(2, R).
Teorema 1.5.1 Las transformaciones de Mobius que preservan H
2
son pre-
cisamente aquellas denidas por PSL(2, R).
1.5. TRANSFORMACIONES QUE PRESERVAN DISCOS 33
Demostraci on. Sea
T(z) =
az + b
cz + d
, ab bc = 1, a, b, c, d R,
se sigue entonces que T(
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
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
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
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.
Para transformaciones con dos puntos jos nitos

1
,
2
, se tiene una
expresion de los multiplicadores en terminos de estos puntos. Sea
T(z) =
az + b
cz + d
con esta propiedad, S(z) = kz, donde k es uno de los multiplicadores de T
y
(z) =
z
1
z
2
.
Entonces,
S = T
1
y S = T.
Por lo cual
T(z)
1
T(z)
2
= k
z
1
z
2
,
y evaluando en , se tiene
k =
a/c
1
a/c
2
y 1/k =
a/c
2
a/c
1
.
40 CAP
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.
El siguiente resultado, que es consecuencia del Teorema 1.6.2, muestra

que
2
clasica las clases conjugadas de PSL(2, C); dejamos su vericacion
como ejercicio para el lector.
Corolario 1.6.4 Dos transformaciones de Mobius complejas T, S son con-
jugadas en PSL(2, C) si y solo si
2
(T) =
2
(S).
42 CAP
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
(). Esta medicion

de curvas permite tambien medir la distancia entre puntos.
Denicion 9 Sea una densidad en una region A y z
1
, z
2
A, se dene
la -distancia de z
1
a z
2
, como
nf
(),
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
dene una metrica en A.

Demostraci on. Probamos primero que es simetrica. Para esto, si se
tiene una curva : [a , b] A de clase C
1
que une z
1
con z
2
, se dene
: [a , b] A como (t) = (a +b t). Observese que une z
2
con
z
1
, y que usando el teorema fundamental del calculo se tiene
l
() =
_
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,
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
,
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
.
El lema anterior se puede generalizar a cualquier dimension, sustituyen-

do la parte imaginaria por la enesima coordenada de un punto en H
n
y
reemplazando PSL(2, R) por el grupo de isometras (cf. [2] p. 34). Se puede
ahora exhibir una formula general de la distancia hiperbolica en el modelo
del semiplano; esta mostrara ser de gran utilidad, debido a sus m ultiples
aplicaciones.
Teorema 2.2.5 Sean z y w dos puntos en H
2
, entonces
cosh(z, w) = 1 +
[z w[
2
2 Im z Im w
.
Demostraci on. Si z = i y w = ki, k > 1, entonces
cosh(i, k i) = cosh(log k) =
k + 1/k
2
=
k + 1/k 2
2
+ 1 =
(k 1)
2
2k
+ 1
=
[i k i[
2
2 Im i Im(k i)
+ 1.
El caso general se sigue del lema anterior y de los Teoremas 2.2.2 y 2.2.1,
ya que se puede encontrar una transformacion en PSL(2, R) que mande z y
w en i y k i, k > 1. Esto ultimo se logra enviando la geodesica por z y w
al eje imaginario, y posteriormente si es necesario aplicando una homotecia
y la funcion z 1/z.
Se puede probar que la formula del teorema anterior es tambien valida
en todas las dimensiones (vease [2] p. 35 y el nal de este captulo).
z
0
Figura 2.4: Crculo hiperbolico con centro en z
0
Una primera aplicacion de esta formula muestra que los crculos hiperboli-
cos son crculos euclideanos, donde el centro euclideano se obtiene incremen-
tando la parte imaginaria del centro hiperbolico (vease la Figura 2.4).
54 CAP
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.
Se ha probado entonces que el crculo hiperbolico con centro z

0
= x
0
+iy
0
y radio hiperbolico r es el crculo euclideano con centro en x
0
+iy
0
coshr y
radio y
0
senhr (vease la Figura 2.4). De nuevo, esta formula de los crculos
hiperbolicos se generaliza a esferas hiperbolicas de cualquier dimension (cf.
[2] p. 35). Mostramos ahora otra manera de probar que los crculos hiperboli-
cos son crculos euclideanos. Sean z
0
H
2
y r R
+
, trazando cualquier
geodesica en H
2
por el punto z
0
, se encuentra otro punto z H
2
, tal que
(z, z
0
) = r. Ahora, si C denota el crculo de Apolonio con respecto a z
0
y
z
0
que pasa por z, como

R es tambien un crculo de Apolonio con respec-
to a estos puntos lmite, se tiene que cualquier transformacion elptica, que
je z
0
y z
0
, esta en PSL(2, R) y preserva C. En consecuencia, C consiste
de puntos que equidistan hiperbolicamente una distancia r de z
0
, esto se
sigue ya que las transformaciones en PSL(2, R) son isometras. Finalmente,
si (z
0
, w) = r, al trazar la geodesica que une z
0
con w, esta intersecta C
en 2 puntos y es claro que uno de ellos es w (vease la Figura 2.5).
z
0
z
0
z
w
C
Figura 2.5: Los crculos hiperbolicos son de Apolonio
Una consecuencia importante de esta caracterizacion de los crculos hiper-
bolicos es que las metricas hiperbolica y euclideana denen la misma topologa
en el semiplano superior H
2
, es decir, los conjuntos abiertos en ambas metri-
cas coinciden. Esto se sigue del hecho de que dado un punto z
0
H
2
, los
crculos de Apolonio en H
2
con puntos lmite z
0
y z
0
cubren H
2
z
0
.
En este contexto pueden interpretarse las transformaciones de Mobius en
PSL(2, R) de manera hiperbolica, primero introducimos dos deniciones,
vease ademas las Figuras 2.6 y 1.13.
Denicion 11 Un horociclo basado en un punto

R es un crculo en
H
2
, tangente en a la recta real, si es nito, y es cualquier recta en H
2
paralela a la recta real (y distinta de esta), si = .
Denicion 12 Un hiperciclo por , puntos distintos en

R es la intersec-
cion de cualquier crculo por y con H
2
.
Se tiene entonces que las elpticas son rotaciones hiperbolicas en los crcu-
los de Apolonio contenidos en H
2
. Las transformaciones parabolicas son un
caso lmite de las elpticas cuando los puntos jos z
0
y z
0
se juntan en la
recta real para coincidir en un solo punto, digamos ; se dice que son una
rotacion lmite, esto es, son rotaciones en los horociclos (vease la Figura 2.6).
Por otra parte, si T es hiperbolica con puntos jos ,

R, entonces T
preserva los hiperciclos por y . Mas a un, al iterar T los puntos viajan en
estos hiperciclos hacia el atractor, por lo que T es una traslacion hiperbolica
(vease la Figura 1.13). En particular, la geodesica por y , llamada el eje,
56 CAP
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
Figura 2.6: Las transformaciones parabolicas en PSL(2, R) son rotaciones

hiperbolicas por horociclos en H
2
Teorema 2.2.7 Cualquier isometra del plano hiperbolico H
2
es un elemen-
to de PSL(2, R), o es de la forma
z
a(z) + b
c(z) + d
,
donde a, b, c, d R, ad bc = 1.
Demostraci on. Sea una isometra de H
2
con la metrica hiperbolica.
Usando los Teoremas 2.2.1, 2.2.3 y la Proposicion 2.2.2 (y si es necesario
aplicando una homotecia y la funcion z 1/z), se puede suponer, sin
perder generalidad, que existe T PSL(2, R), tal que la funcion T ja
puntualmente el eje imaginario positivo.
Ahora, sea z H
2
, z = x + iy y T (z) = a + ib, se sigue entonces del
Teorema 2.2.5 que t R, t > 0, se tiene
[it T (z)[
2
2 Im (it) Im
_
T (z)
_ =
[it z[
2
2 Im (it) Im z
,
por lo cual
a
2
+ (b t)
2
b
=
x
2
+ (y t)
2
y
y
y
_
a
2
+ (b t)
2
_
= b
_
x
2
+ (y t)
2
_
.
Haciendo t tender a , en esta ultima ecuacion, se obtiene
b = y y a = x.
Finalmente, como las isometras son evidentemente continuas, se tiene
que los puntos en el primer cuadrante, donde T es la funcion z z
(o la identidad), es un conjunto abierto y cerrado (este argumento se aplica
tambien al segundo cuadrante). Se sigue entonces por conexidad, y del hecho
de que cualquier isometra es inyectiva, que
T = Id o T (z) = z.
Una caracterizacion del grupo completo de isometras en el espacio hiperbo-

lico n-dimensional aparece en [20], pp. 129 y 130. Una version mas geometrica,
que sin embargo asume diferenciabilidad, se puede consultar en [14] p. 61.
Estas generalizaciones muestran que como en el caso bidimensional este
grupo esta generado por las reexiones en esferas ortogonales a R
n1
. El
siguiente resultado muestra que la distancia de un punto a una geodesica se
alcanza trazando otra geodesica ortogonal.
Lema 2.2.8 Sea una geodesica en H
2
y z H
2
, entonces (z, )
se alcanza en z
0
, donde el segmento [z, z
0
] corta ortogonalmente a .
58 CAP
ITULO 2. M
ETRICA HIPERB
OLICA
z
i |z|
Figura 2.7: Distancia de un punto a una geodesica

Demostraci on. Sin perder generalidad, se puede suponer que es el eje
imaginario, se arma que (z, ) = (z, i[z[) (vease la Figura 2.7). Usando
la formula de la distancia hiperbolica, si z = x + iy, se tiene
cosh(z, it) = 1 +
[z it[
2
2(Im z)t
=
x
2
+ y
2
+ t
2
2yt
=
[z[
2
+ t
2
2yt
=
[z[
2y
_
[z[
t
+
t
[z[
_

[z[
y
(puesto que x R
+
, x + 1/x 2). La igualdad se obtiene si t = [z[.
Se deduce de la formula de la distancia hiperbolica una interesante propie-
dad que cumplen todos los triangulos hiperbolicos en el semiplano superior o
en el disco de Poincare que tienen un angulo recto y dos puntos nitos. Esta
propiedad establece que la longitud hiperbolica del lado nito esta determi-
nada por el angulo de magnitud distinta de 0 y de /2. Explcitamente,
como PSL(2, R) es transitivo en geodesicas, se puede tomar el triangulo
determinado por , i[z[ y z; si el angulo en z es , se tiene
sen cosh(z, i[z[) = 1
(vease la Figura 2.8). A esta propiedad se le conoce como angulo de paralelis-
mo, queda como ejercicio para el lector probar dicha identidad.
EJERCICIOS 2.2
1. Demuestre formalmente que si se tiene una curva C
1
por tramos que une
i con k i, k > 1, y que no esta contenida en el segmento vertical [i , k i],
entonces su longitud hiperbolica es estrictamente mayor que log k.
2.3. EL MODELO DEL DISCO DE POINCAR
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

[z[ < 1 provisto con la

metrica denida por la densidad
(w) =
2
1 [w[
2
,
se le conoce como el disco de Poincare y a la metrica inducida se le llama
hiperbolica.
A ambos modelos, el disco de Poincare y el semiplano H
2
, se les conoce
como el plano hiperbolico. Se sigue de las observaciones y deniciones ante-
riores que la funcion f es una isometra hiperbolica entre estos dos discos
de la esfera de Riemann.
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
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.
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,
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).
La proposicion anterior muestra de nuevo que las reexiones en rectas

por el origen son funciones lineales ortogonales, y por lo tanto las reexiones
en rectas son conformes. Mas a un, la prueba de dicha proposicion exhibe la
matriz que determina la reexion como funcion lineal de R
2
en R
2
_
cos2 sen2
sen2 cos2
__
1 0
0 1
_
=
_
cos2 sen2
sen2 cos2
_
. (2.5)
En R
n
, las reexiones en planos de codimension uno son tambien conformes,
al ser conjugadas por traslaciones a funciones lineales ortogonales.
Como las funciones en PSL(2, C) y la funcion z z son continuas
en la esfera de Riemann con la metrica cordal, se sigue de la Proposicion
2.4.1 que la reexion en cualquier recta es tambien continua en todos los
puntos incluyendo . En general, las traslaciones y las transformaciones
ortogonales son continuas en

R
n
con la metrica cordal, ya que, como en
el caso complejo, si se tiene una sucesion de puntos nitos en la esfera de
Riemann x
n
, n N, entonces
d
C
(x
n
, ) 0 x
n
.
68 CAP
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).
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
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
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).
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
.
Corolario 2.4.7 Sea GM(
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.
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. Un primer hecho notable es que al aplicar esta reexion a puntos del

plano complejo se obtiene precisamente la funcion estereograca descrita al
principio del libro
(x, y, 0) = (0, 0, 1) + 2 [(x, y, 0) (0, 0, 1)]
=
_
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
.
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
Figura 2.16: Crculo ortogonal a la frontera del disco unitario

Teorema 2.4.10 Sea C(a, r) un crculo en R
2
y la reexion en este
crculo. Entonces las siguientes armaciones son equivalentes:
(i) el crculo C(a, r) es ortogonal al crculo unitario;
(ii) (0) = 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
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
Finalmente, se puede ahora enunciar y vericar una formula general de la

distancia hiperbolica en el disco de Poincare. Este teorema tambien es valido
en la bola n-dimensional (cf. [2] p. 40 ).
Teorema 2.4.12 Sean z, w puntos en el disco hiperbolico de Poincare, en-
tonces
senh
2
1
2
(z, w) =
[z w[
2
(1 [z[
2
) (1 [w[
2
)
. (2.9)
Demostraci on. Como ambas expresiones son invariantes bajo las isometras
hiperbolicas del disco, basta probar la identidad para el caso en que z = 0
y w = t (0, 1), ya que cualesquiera dos puntos en se pueden man-
dar mediante una isometra hiperbolica a esta posicion (ejercicio). Ahora, si
denotamos por u a
log
_
1 + t
1 t
_
,
78 CAP
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
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
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),
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
(x) esta dada por
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).
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
(x) esta dada por
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
ITULO 3. GRUPOS FUCHSIANOS

Mobius no conmutan, resulta que dos transformaciones en PSL(2, R) con-
mutan si y solo si coinciden sus puntos jos. Denotaremos por F
T
el conjunto
de los puntos jos en

C de una transformacion T.
Lema 3.1.1 Sean T, S transformaciones en PSL(2, C) distintas de la iden-
tidad que conmutan, entonces T preserva el conjunto de los puntos jos de
S y viceversa.
Demostraci on Si F
T
, se tiene que
T S() = S T() = S()
y por lo tanto S() F
T
, esto es, S deja invariante a F
T
.
Para las transformaciones que preservan discos se tiene un resultado
mas preciso.
Teorema 3.1.2 Dos transformaciones en PSL(2, R) distintas de la identi-
dad conmutan si y solo si jan los mismos puntos.
Demostraci on. Probamos primero que si S y T jan los mismos pun-
tos, entonces conmutan. Ya que conmutar o jar los mismos puntos son
propiedades invariantes bajo conjugacion (ejercicio), se puede suponer que
ambas T y S son traslaciones, o son de la forma z a z, y es evidente
que conmutan. Observese que esta parte del teorema se cumple tambien para
transformaciones en PSL(2, C).
Por otra parte, si T y S conmutan, consideramos dos casos.
1. T, S parabolicos.
Se sigue directamente del lema que F
T
= F
S
.
2. T no parabolico.
Si F
T
,= F
S
, se sigue del lema anterior que S intercambia los puntos
jos de T, y por lo tanto S
2
ja tres o mas puntos y es necesariamente
la funcion identidad (ya que bajo estas hipotesis, S
2
ja los puntos
jos de T y de S). Se tiene entonces que S es elptica de orden 2,
con puntos jos conjugados entre s; sin embargo, aplicando otra vez el
Lema 3.1.1, se sigue que T intercambia los puntos jos de S, lo cual
es una contradiccion, ya que T PSL(2, R).
3.1. DISCONTINUIDAD 89
Al trabajar con subgrupos de PSL(2, C) es util constatar que si dos
transformaciones no parabolicas tienen exactamente un punto jo en com un,
, entonces el conmutador es parabolico y por supuesto ja (ejercicio).
Este ultimo resultado se puede reformular de una manera mas general (cf.
[2] p. 69). A continuacion denimos los conjuntos lmite y ordinario.
Denicion 20 Se dice que

C es un punto lmite con respecto a un
subgrupo de PSL(2, C), si existen z

C y transformaciones distintas
T
n
, n N, tales que
T
n
(z) ,
cuando n .
El conjunto de puntos lmites se denota por L(), o simplemente por L.
Observese que se debe usar la metrica cordal para incluir a todos los puntos
de la esfera de Riemann.
Denicion 21 Dado < PSL(2, C), al conjunto

C L se le llama el
conjunto ordinario.
Se denota por O(), o simplemente por O, al conjunto ordinario. Resulta
que si el conjunto lmite es nito consiste de uno o dos puntos; de otra manera
es un crculo, o es toda la esfera de Riemann, o es un fractal (vease la
Figura 3.1). El estudio de estos fractales ha sido objeto de una intensa labor
de investigacion en los ultimos a nos (cf. [16]). Por otra parte, el grupo act ua
de manera menos caotica en el conjunto ordinario, lo cual da lugar a una rama
de la geometra de gran belleza e importancia, que son las teselaciones; en el
siguiente captulo mostraremos algunas de sus propiedades. Es asombroso el
paralelismo que existe entre esta particion en dos conjuntos de la esfera de
Riemann y la que se dene en los sistemas dinamicos, esto es, los conjuntos
de Julia y de Fatou. El estudio de la conexion entre estas dos particiones, es
tambien un tema de gran interes, en la investigacion reciente en geometra
hiperbolica y en los sistemas dinamicos (cf. [13]).
Observese que dado < PSL(2, C), si un n umero innito de transfor-
maciones jan , o un n umero innito de iteraciones distintas de una misma
transformacion jan , entonces L. Por supuesto, los puntos donde se
acumula alguna orbita denida por son tambien puntos lmite.
Denicion 22 Se dice que un subgrupo de PSL(2, C) es discontinuo, si
el conjunto ordinario O() no es vaco.
90 CAP

Figura 3.1: Conjunto lmite
Esta propiedad relacionada con la discontinuidad permite construir re-
giones fundamentales, como mostraremos en el siguiente captulo. Recor-
damos que un grupo G act ua en un conjunto X, si existe una funcion
: GX X, tal que (g
2
g
1
, x) = (g
2
, (g
1
, x)) y (Id, x) = x. Como
ya se ha mencionado y probado, el grupo PSL(2, C) act ua en la esfera de
Riemann y su subgrupo PSL(2, R) act ua en H
2
, y tambien en

R. Ahora,
dado un subgrupo de PSL(2, C), la relacion en la esfera de Riemann
z
1
z
2
, si existe T , tal que T(z
1
) = z
2
, es evidentemente de equivalen-
cia, por lo que la accion de determina una particion en

C. A las clases de
equivalencia se les llama orbitas, dado z

C, denotaremos por (z) a su
orbita.
En el caso de subgrupos de PSL(2, R) las orbitas consisten en reales, o en
puntos de H
2
, o en puntos del semiplano inferior. En general, ninguna orbita
puede acumularse en un punto ordinario O, ya que esto signicara que
existen T
n
, distintos y z

C, tal que T
n
(z) .
Teorema 3.1.3 Los conjuntos lmite L() y ordinario O() denidos por
un subgrupo de PSL(2, C) son invariantes bajo la accion de .
Demostraci on. Basta probar que para toda transformacion T se
tiene
T(L) = L,
ya que como T es biyectiva, esto implica tambien que T(O) = O.
Si L, existen T
n
distintas en y z

C, tal que
T
n
(z) .
Ahora, si T , se sigue entonces por continuidad que
T T
n
(z) T(),
y como T T
n
son distintas, se tiene que T() L, por lo cual T(L) L.
En particular, esto se cumple tambien para T
1
, esto es, T
1
(L) L. Por
consiguiente, componiendo con T se tiene L = T T
1
(L) T(L).
Si G es un subgrupo de , donde < PSL(2, C), entonces es evidente
que
L(G) L(),
ya que si un punto es punto lmite de G, entonces se sigue directamente
de la denicion, que tambien lo es de . Esta observacion prueba que
tambien
O() O(G),
lo cual implica el siguiente hecho fundamental: los subgrupos de los grupos
discontinuos son tambien discontinuos. El siguiente resultado muestra que
para los subgrupos de ndice nito, las correspondientes particiones de la
esfera de Riemann coinciden.
Teorema 3.1.4 Sean < PSL(2, C) y G un subgrupo de ndice nito de
, entonces
L(G) = L().
Demostraci on. El grupo se puede descomponer en la union disjunta de
clases laterales derechas
=
m
_
j=1
G T
j
, T
j
.
Si el punto L(), existen transformaciones distintas S
n
y z

C,
tales que S
n
(z) ; por lo que usando la descomposicion anterior, se puede
escribir
S
n
= V
n
T
j n
, V
n
G, j
n
1, 2, ..., m.
92 CAP

Se tiene entonces que necesariamente alguna T
jn
acontece un n umero innito
de veces en la sucesion S
n
, digamos T
k
. Seleccionando la correspondiente
subsucesion innita y renombrando se sigue que
U
n
T
k
(z) ,
donde U
n
G. Escribiendo T
k
(z) = w, se tiene U
n
(w) y las trans-
formaciones U
n
G son todas distintas. Por lo tanto L(G).
Una consecuencia inmediata del teorema anterior es que si un subgrupo
de transformaciones de Mobius en PSL(2, C) tiene como subgrupo de
ndice nito a un grupo discontinuo, entonces es tambien discontinuo. El
siguiente resultado, que sera de gran utilidad, muestra el comportamiento de
los conjuntos lmite y ordinario bajo la conjugacion de un elemento que no
pertenece al grupo.
Proposicion 3.1.5 Sean PSL(2, C) y < PSL(2, C), entonces
O(
1
) =
_
O()
_
.
Demostraci on. Como es biyectiva, se tiene que
_
_
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.
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.
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

ejemplos
(1) Si un subgrupo de PSL(2, C) es transitivo en la esfera de Riemann,
es decir, cualesquiera dos puntos son -equivalentes, entonces hay una
sola orbita y el grupo no es discontinuo, ya que z

C, la orbita de
z se acumula en z. El grupo PSL(2, C) es evidentemente transitivo,
puesto que cualquier punto se puede mandar a (de hecho es tran-
sitivo en ternas, Teorema 1.2.5); por lo tanto no es discontinuo. Por
otra parte, aunque el grupo PSL(2, R) ciertamente no es transitivo,
tampoco es discontinuo (ejercicio).
(2) Si es nito, se sigue directamente de la denicion que es discontinuo
y que O() =

C, ya que no hay sucesiones innitas de elementos
distintos.
(3) Sea cclico, consideramos tres casos.
a) cclico nito. Como ya se mostro, es necesariamente elptico
y es conjugado a un grupo de rotaciones generado por z e
2i
p
q
z,
(p, q) = 1. Esto se sigue, ya que si T(z) = e
i
z genera el grupo de
rotaciones y q es el menor entero positivo por el cual e
iq
= 1, entonces
q = 2p, p Z. El subgrupo es entonces de orden q, ya que la
eleccion de q implica (p, q) = 1.
b) cclico innito elptico. Al conjugar a un subgrupo de rotaciones
generado por T(z) = e
i
z, se tiene que no es de la forma 2t, t Q,
ya que en este caso sera nito. Por lo cual n, m Z, n ,= m, se
tiene que
e
i n
,= e
i m
,
es decir, los numeros e
i n
, n Z, son todos distintos. Ahora, como
es compacto, estos n umeros complejos tienen un punto de acumulaci on,
digamos e
i
; por lo cual existe una subsucesion m
j
, j N, creciente
de naturales, o decreciente de enteros negativos, para los cuales
e
i m
j

e
i
, cuando j .
Finalmente, si S(z) = e
i
z, z C, se tiene
T
m
j
S(z) = e
i(m
j
)
z z,
cuando j . Por lo cual, cualquier elemento en la esfera de Riemann
es punto lmite y no es discontinuo ( es evidentemente un punto
lmite).
c) cclico no elptico. Sea T el generador, notese que si S
n
, n N,
es una sucesion de transformaciones distintas de , entonces existe una
subsucesion S
n
k
, de tal manera que son todas potencias positivas en
orden creciente de T (o de T
1
). Si T es parabolica, denotamos por
al punto jo, y si T es hiperbolica o loxodromica, denotamos a los
puntos jos por y . Evidentemente, en el primer caso L(),
y en el segundo , L()). Ademas, si z
0
L(), se sigue de la
observacion anterior y del Lema 3.1.6 que z
0
es un punto jo de T,
por lo que L() = en el caso parabolico, y L() = , en los
casos hiperbolico o loxodromico.
(4) El grupo clasico modular consiste en las matrices
SL(2, Z) =
__
a b
c d
_
SL(2, R)
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

(5) Los subgrupos del grupo modular son muy importantes en la teora de
los n umeros, uno de ellos es el subgrupo principal de congruencias de
nivel N
(N) =
__
a b
c d
_
SL(2, Z)
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).
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

pero la transformacion identica s esta en (N). En general, se tiene que
2 [, G] = [, G] o [, G] = [, G].
Esto se debe a que la clase de una matriz T SL(2, C) puede ser distinta a la
de T, pero ambas son la misma al proyectarse al grupo de transformaciones;
dejamos la vericacion de los detalles como ejercicio. En particular, para
N > 2, se tiene que 2[PSL(2, Z), (N)] = [SL(2, Z), (N)]. Se sigue de
estas observaciones que la Proposicion 3.1.7 tambien es valida para los corres-
pondientes grupos de transformaciones. Se dene ahora la convergencia de
matrices.
Denicion 23 Sean
T
n
=
_
a
n
b
n
c
n
d
n
_
, n N, T =
_
a b
c d
_
matrices en SL(2, C), (o en GL(2, C)), se dice que T
n
T, si a
n
a,
b
n
b, c
n
c y d
n
d, cuando n .
El siguiente resultado muestra que el producto de matrices induce una funcion
continua, por lo que los grupos SL(2, C) y GL(2, C) son grupos topologicos.
Mas a un, los grupos SL(N, C) y GL(N, C) son grupos de Lie, debido a la
compatibilidad de estas operaciones con su estructura de variedades diferen-
ciables (cf. [24]).
Lema 3.1.8 Sean A, B, A
n
, B
n
, n N, matrices en SL(2, C) (o en
GL(2, C)), tales que A
n
A, B
n
B, cuando n , entonces
A
n
B
n
AB.
Demostraci on. Si
A
n
=
_
a
n
b
n
c
n
d
n
_
, B
n
=
_
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.
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

Teorema 3.1.11 Un grupo discontinuo en PSL(2, C) es a lo sumo nume-
rable.
Demostraci on. Sea un grupo discontinuo en PSL(2, C) y un grupo
preimagen de en SL(2, C). A cada matriz
_
a b
c d
_

le podemos asociar (a, b, c, d) C
4
, denotamos por M al subconjunto de
C
4
asociado a . Armamos que M es a lo sumo numerable, de otra manera
por el Lema 3.1.10, existen (a
n
, b
n
, c
n
, d
n
) M, n N, distintos, tales que
(a
n
, b
n
, c
n
, d
n
) (a, b, c, d), cuando n .
Como el determinante es una funcion continua, se sigue que ad bc = 1.
Ahora, escribiendo
T
n
(z) =
a
n
z + b
n
c
n
z + d
n
y T(z) =
az + b
cz + d
,
se tiene entonces por el Lema 3.1.9 que
T
n
(z) T(z) z

C
y L() =

C, contradiciendo que es discontinuo. Para asegurar que las
transformaciones denidas por los vectores (a
n
, b
n
, c
n
, d
n
), n N, son en
efecto distintas, si n es sucientemente grande, se puede tomar vecindades
ajenas y simetricas de los puntos (a, b, c, d) y (a, b, c, d), respectiva-
mente.
EJERCICIOS 3.1
1. Demuestre que la propiedad de conmutar y la de jar los mismos puntos
es invariante bajo conjugacion en PSL(2, C).
2. Demuestre que si dos transformaciones no parabolicas tienen exactamente
un punto jo en com un , entonces el conmutador es parabolico y ja .
3. Exhiba un ejemplo de un punto lmite que no sea un punto de acumulaci on
y que tampoco sea el punto jo de una transformacion de orden innito.
4. Demuestre que PSL(2, R) no es discontinuo.
3.2. GRUPOS DISCRETOS. 101
5. Demuestre directamente, sin usar el grupo modular, que el grupo (N)
es de orden innito.
6. Demuestre que si G < son grupos de matrices en SL(2, C), entonces
2 [, G] = [, G] o [, G] = [, G].
3.2. Grupos Discretos.
Denicion 24 Sea < SL(2, C), se dice que es discreto si no existe
una sucesion de matrices distintas, T
n
, n N, tal que T
n
T, cuando
n , donde T es una matriz de 2 2 con entradas complejas.
Observese que si T
n
, n N, son matrices en SL(2, C), tales que T
n
T,
entonces como el determinante es una funcion continua T SL(2, C). El
grupo modular y todos sus subgrupos son discretos, ya que al tener entradas
enteras, las matrices no pueden acumularse. Esto se verica facilmente al
identicar las matrices en SL(2, Z) con puntos de C
4
.
Identicando a las matrices en SL(2, C) con puntos de C
4
, se dene su
norma de manera natural, a saber, si
T =
_
a b
c d
_
SL(2, C), entonces [[T[[ =
_
[a[
2
+[b[
2
+[c[
2
+[d[
2
.
Como un conjunto innito en un compacto necesariamente tiene un punto
de acumulacion, es claro que el conjunto de normas de las matrices en un
grupo discreto innito de SL(2, C) no pueden estar acotadas. En particular,
alguna de las cuatro entradas de estas matrices forma un conjunto no acotado
de n umeros complejos. Notese tambien, que en virtud del Lema 3.1.8, si un
grupo es discreto, entonces cualquier grupo conjugado a el tambien lo es.
Denicion 25 Se dice que un subgrupo de PSL(2, C) es discreto, si
esta determinado por un subgrupo discreto de SL(2, C).
Esta denicion es consistente puesto que no depende de la eleccion de
(ejercicio). El siguiente resultado muestra que para detectar si un grupo es
discreto o no lo es, basta vericar el comportamiento cerca de la identidad.
Lema 3.2.1 Un subgrupo de SL(2, C) es discreto si y solo si no existe
una sucesion T
n
, n N, de matrices distintas, tales que T
n
Id.
102 CAP

Demostraci on. Basta probar la suciencia. Si no es discreto, existen
matrices S
n
, n N, distintas, tales que S
n
S. Se sigue tambien
entonces del Lema 3.1.8 que
S
n+1
S
1
n
S S
1
= I.
Finalmente, si S
n+1
S
1
n
, n N, es un conjunto nito de matrices, se tiene
que n > N, S
n+1
S
1
n
= Id, lo cual contradice que las matrices S
n
sean
distintas. Por consiguiente, dicha sucesion es innita y se puede tomar una
subsucesion convergente, lo que contradice la hipotesis.
Teorema 3.2.2 Sea < PSL(2, C) discontinuo, entonces es discreto.
Demostraci on. Si , un subgrupo preimagen de , no es discreto, por el
lema anterior existen matrices distintas T
n
en , tales que T
n
I, lo cual
implica que T
n
(z) z z

C y no sera discontinuo.
El teorema anterior es tambien consecuencia directa del Lema 3.1.9. Este
lema implica que si un grupo no es discreto, entonces todos los puntos son
puntos lmite. Recordamos que PSL(2, R) es transitivo en puntos de H
2
,
ya que usando traslaciones y homotecias cualquier z H
2
se puede enviar
al punto i.
Teorema 3.2.3 Sea < PSL(2, R) discreto, entonces es discontinuo.
Demostraci on. Probamos que bajo estas hipotesis los puntos del semiespa-
cio superior son ordinarios. Suponiendo que esto no se cumple, existe entonces
un punto z
0
H
2
L() y transformaciones T
n
, n N, distintas, tales
que T
n
(z) z
0
, donde z H
2
. Esto ultimo se sigue, ya que < PSL(2, R).
Tomando S PSL(2, R), tal que S(i) = z, se tiene T
n
S(i) z
0
y
S
1
T
n
S(i) S
1
(z
0
).
Ahora, el grupo esta determinado por un grupo de matrices en SL(2, R),
denotamos
S
1
T
n
S =
_
a
n
b
n
c
n
d
n
_
,
donde las matrices S SL(2, R) y T
n
denen S y T
n
, respectiva-
mente.
Bajo estas hipotesis, se tiene
Im
_
S
1
T
n
S(i)
_
= Im
_
a
n
i + b
n
c
n
i + d
n
_
= Im
_
(a
n
i + b
n
)(c
n
i + d
n
)
c
2
n
+ d
2
n
_
=
1
c
2
n
+ d
2
n
,
y tambien
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.
Corolario 3.2.4 Sea < SL(2, R) discreto, entonces L()

R.
Demostraci on. Un argumento similar al de la prueba del teorema anterior
muestra que los puntos del semiplano inferior son tambien ordinarios .
104 CAP

Los subgrupos discretos de PSL(2, C), llamados kleinianos, no siempre
son discontinuos en

C. Por ejemplo, el grupo de Picard determinado por las
matrices
__
a b
c d
_
SL(2, C)
a, b, c, d son enteros Gaussianos

_
es evidentemente discreto, pero no es discontinuo (cf. [2] p. 96). Los enteros
Gaussianos son los complejos de la forma a + ib, a, b Z. Notese que estos
n umeros forman un anillo conmutativo con unidad y que el grupo de Picard
es en efecto un subgrupo de PSL(2, C), que ademas contiene como subgrupo
al grupo clasico modular.
Aunque este grupo de Picard no es discontinuo en la esfera de Riemann,
la accion de su extension de Poincare en H
3
s lo es. Esta ultima armacion
la cumplen todos los grupos kleinianos (cf. [2] p. 95).
Denicion 26 Sea G un grupo actuando en un espacio metrico X y Y un
subespacio invariante bajo G de X, se dice que G act ua discontinuamente
en Y, si dado cualquier compacto K Y, se tiene que
g(K) K ,=
solamente para un n umero nito de transformaciones en G.
Esta propiedad, que es invariante bajo conjugacion con un homeomors-
mo (ejercicio), la satisface el conjunto ordinario de un grupo discontinuo (cf.
[2] p. 99). Lo cual muestra la similitud de los conceptos de accion discon-
tinua y grupo discontinuo. Primero, observese que si es un subgrupo de
PSL(2, C) que act ua en un subdominio M de la esfera de Riemann y M
intersecta al conjunto lmite de , entonces no act ua discontinuamente
en M (ejercicio). Ahora, un sencillo calculo muestra que si T PSL(2, R),
entonces
2 cos h
_
i, T(i)
_
= [[T[[
2
, (3.1)
donde T es una matriz en SL(2, R) que representa a T. Dejamos la veri-
cacion de este sorprendente resultado como ejercicio para el lector. La relaci on
(3.1) es muy util para diversas aplicaciones; mas a un, reemplazando i por
el cuaternio j = (0, 0, 1), y T por su extension de Poincare, dicha formula
tambien es cierta para funciones en PSL(2, C). Vease [2] pp. 61 y 62.
Usando la identidad (3.1) no es difcil probar que si es un grupo dis-
creto de PSL(2, R), entonces act ua discontinuamente en H
2
(ejercicio).
De hecho, estos argumentos se aplican de manera identica en el caso tridi-
mensional, por lo que las extensiones de Poincare de los subgrupos discretos
de PSL(2, C) act uan discontinuamente en H
3
.
Recordemos que M() es el subgrupo de PSL(2, C) que preserva el
disco de Poincare. Observese que si es un subgrupo discreto de M(),
entonces L() . Esto se sigue ya que en virtud de la Proposicion 3.1.5,
si
f(z) =
z i
z + i
,
se tiene que f
1
f es un subgrupo de PSL(2, R) y
f
1
(L()) = L(f
1
f).
A continuacion describimos los grupos estabilizadores, as como los grupos
abelianos discretos.
Denicion 27 Dado < PSL(2, C) y z

C, se dene el subgrupo esta-
bilizador de z, denotado por
z
, como
T [ T(z) = z.
Evidentemente
z
es un subgrupo de . Tambien, estos subgrupos se rela-
cionan bajo la conjugacion, como lo muestra el siguiente resultado.
Proposicion 3.2.5 Sean un subgrupo en PSL(2, C) y T cualquier trans-
formaci on en PSL(2, C), entonces
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
.
Teorema 3.2.6 Sea un subgrupo discreto abeliano de PSL(2, R), en-

tonces es cclico.
106 CAP

Demostraci on. Como es abeliano, se sigue del Teorema 3.1.2 que todas
las transformaciones de jan los mismos puntos. Si ja dos puntos,
entonces es puramente hiperbolico o puramente elptico, ya que en un
caso los puntos jos son reales y en el otro no.
Caso 1: es puramente parabolico.
Como las propiedades de conmutar o de ser discreto son invariantes bajo
conjugacion, podemos suponer que es un grupo de traslaciones
= T
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
(z) = z + , sin embargo esto contradice que

es el menor elemento positivo en M.
Caso 2: es puramente hiperbolico.
Conjugando, se puede suponer que es un grupo de homotecias
= 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
_
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
(z) = z. El caso < 1 se prueba usando 1/.

Caso 3: es puramente elptico.
Conjugando, se puede suponer que es un grupo de rotaciones en M()
= 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

completa de estos grupos se puede deducir de la generalizacion del Teorema
3.1.2 a transformaciones en PSL(2, C) (cf. [2] pp. 69, 84-89). El siguiente re-
sultado muestra que el Teorema 3.2.6 tampoco es cierto para grupos abelianos
discretos de matrices en SL(2, R).
Proposicion 3.2.7 El grupo generado por las matrices
_
1 0
0 1
_
,
_
1 1
0 1
_
es abeliano pero no es cclico.
Demostraci on. Sea el grupo generado por estas matrices. Observese
primero que como la matriz
S =
_
1 0
0 1
_
es escalar, entonces commuta con cualquier otra matriz y por consiguiente
es abeliano. Ademas, se sigue de este hecho que cualquier matriz en el grupo
es de la forma T
n
, n Z, donde
T =
_
1 1
0 1
_
.
Ahora, evidentemente los unicos posibles generadores de son T o
T
1
. Sin embargo, los grupos cclicos generados por estas matrices no
contienen a la matriz S. Esto se sigue, ya que si U denota T, T, T
1
, o
T
1
y n Z, n ,= 0, entonces
U
n
(z) = z n,
por lo que U
n
,= I, S.
Las transformaciones hiperbolicas y loxodromicas juegan un papel espe-
cial en los grupos discretos. Recordemos que F
T
denota los puntos jos de
una transformacion T PSL(2, C) en la esfera de Riemann

C.
Teorema 3.2.8 Sean T y S funciones de un subgrupo en PSL(2, C),
tal que T es hiperbolica o loxodromica, supongase tambien que F
S
F
T
consiste en exactamente en punto, entonces no es discreto.
Demostraci on. Como las propiedades de las hipotesis y de la conclusion
del teorema son invariantes bajo conjugacion, se puede suponer que
F
T
= 0, y F
S
F
T
= .
Ahora, las transformaciones T y S estan denidas por matrices en SL(2, C)
de la forma
T =
_
k 0
0 1/k
_
, S =
_
a b
0 a
1
_
,
donde b es distinto de 0 y [k[ , = 1.
Calculamos
ST
n
S
1
T
n
=
_
a b
0 a
1
__
k
n
0
0 1/k
n
__
a
1
b
0 a
__
1/k
n
0
0 k
n
_
=
_
ak
n
b/k
n
0 a
1
/k
n
__
a
1
/k
n
bk
n
0 ak
n
_
=
_
1 ab(1 k
2n
)
0 1
_
.
Reemplazando T
1
por T si es necesario, se puede suponer que [k[ < 1.
Por consiguiente, si n
ST
n
S
1
T
n
_
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

que todas las transformaciones en
z
jan tambien z. Por consiguiente, este
grupo es abeliano y se sigue del Teorema 3.2.6 que tambien es cclico.
En el caso (i), si z es un punto jo de una transformacion parabolica, se
sigue del Teorema 3.2.8 que
z
consiste en elementos parabolicos que jan
z, por lo cual
z
es abeliano y cclico. Estos mismos argumentos se aplican
al caso hiperbolico.
Observese que el teorema anterior es falso para subgrupos de PSL(2, C).
Probaremos que si es un subgrupo discreto de PSL(2, R), entonces L()
consiste en 0, 1 o 2 puntos, o es un conjunto perfecto. Este sorprendente
resultado tambien es cierto para subgrupos de PSL(2, C).
Proposicion 3.2.10 Sea un subgrupo estabilizador discreto de PSL(2, R),
entonces L() tiene a lo mas dos puntos.
Demostraci on. Sea =
z
. Si z H
2
, se sigue del Teorema 3.2.9 que
este grupo es cclico elptico y nito, por lo que L() = .
Si z

R, se sigue del Teorema 3.2.9, que es cclico innito. Mas a un,
en virtud del Lema 3.1.6, se tiene que L() consiste en uno o dos puntos,
dependiendo si el generador es parabolico o hiperbolico.
Denicion 28 Un grupo fuchsiano es un subgrupo discreto de PSL(2, C)
que preserva un disco, es decir, es un grupo que es conjugado a un subgrupo
discreto de PSL(2, R).
La Proposicion 3.2.10 no se cumple si no es discreto, por ejemplo,
si T es elptica de orden innito con puntos jos z, w y =< T >, se
tiene =
z
y L() =

C. Observese que la Proposicion 3.2.9 muestra
que los subgrupos estabilizadores de los grupos fuchsianos son cclicos. Por
otra parte, el siguiente resultado muestra que si el conjunto lmite de un
subgrupo de PSL(2, R) consiste en un solo punto, entonces se trata de un
grupo estabilizador.
Proposicion 3.2.11 Sea < PSL(2, R), tal que L() = z
0
, entonces
es cclico parabolico.
Demostraci on. Sean T
n
, n N, transformaciones distintas en , y
z

C, tal que T
n
(z) z
0
. Se tiene entonces que si T , entonces
T(z
0
) = z
0
, de otra manera T T
n
(z) T(z
0
) y T(z
0
) sera otro punto
lmite. Por lo que
=
z
0
.
Ahora, como z
0
es el unico punto lmite, el grupo no contiene hiperboli-
cas y por lo tanto es puramente parabolico. Finalmente, como es discon-
tinuo, tambien es discreto y por lo tanto es cclico (ya que es abeliano).
La Proposicion 3.2.11 no se cumple para subgrupos de PSL(2, C), sin
embargo, bajo las hipotesis de este teorema, estos grupos son necesariamente
discretos, pero pueden tener elpticas, y el subgrupo de parabolicas puede ser
doblemente periodico (cf. [2] p. 89).
Denicion 29 Se dice que un subgrupo de PSL(2, R) es horocclico, o
de la primera clase, si
L() =

R.
La denicion anterior se extiende de manera natural a grupos fuchsianos.
Probaremos posteriormente que los subgrupos normales de los grupos horoc-
clicos son tambien horocclicos, ahora probamos unos casos particulares de
este hecho.
Lema 3.2.12 Sea fuchsiano innito, entonces L() ,= .
Demostraci on. Sin perdida de generalidad < M(). Como es dis-
creto, es numerable, por lo que existe z
0
, tal que z
0
no es un punto
jo. Se sigue entonces que (z
0
) es un conjunto innito en , y como
es compacto, necesariamente (z
0
) tiene un punto de acumulacion en ().
Por consiguiente, L() ,= .
Proposicion 3.2.13 Sea un subgrupo normal de un grupo horocclico G,
entonces L() ,=
Demostraci on. Si L() = , se sigue del lema anterior que es nito y
esto implica que el ndice [G, ] es innito. Ahora, si T es distinta de la
identidad, se tiene entonces que T es necesariamente elptica y que si z
0
es
un punto jo de T, entonces [G, G
z
0
] = (ya que G
z
0
tambien es nito).
Finalmente, si S
j
, j N, denotan representantes de las clases laterales
derechas de G
z
0
en G, se sigue que S
i
(z
0
) ,= S
j
(z
0
), si i ,= j. Por lo cual
S
j
T S
1
j
, j N,
112 CAP

es una coleccion innita de transformaciones distintas en (ya que sus
puntos jos estan dados por la coleccion S
j
(z
0
), j N). Esta contradicci on
implica que debe ser de orden innito y por ende el resultado.
Usando los resultados anteriores se puede renar un poco mas la ultima

proposicion.
Proposicion 3.2.14 Sea un subgrupo normal de un subgrupo horocclico
G, entonces el conjunto lmite L() consiste de mas de un punto.
Demostraci on. Si L() = z
0
, se sigue de la Proposicion 3.2.11 que es
un grupo estabilizador cclico parabolico. Ahora, la Proposicion 3.2.10 implica
que no toda transformacion en G ja z
0
, ya que este grupo es horocclico.
Sea T G, tal que T(z
0
) ,= z
0
y S el generador de , se tiene entonces
que la funcion T S T
1
pertenece al grupo . Sin embargo, el punto jo de
T S T
1
es T(z
0
), lo cual contradice que es un grupo estabilizador. Por
consiguiente, la cardinalidad de L() es mayor a uno.
Denicion 30 Se dice que < PSL(2, C) es elemental, si L() tiene a lo
mas 2 puntos, en caso contrario se dice que es no elemental.
Notese que los grupos elementales son necesariamente discretos, ya que en
los grupos no discretos todos los puntos de la esfera de Riemann son puntos
lmite.
Denicion 31 Sea G un grupo abstracto y un subconjunto de G, se
dene el normalizador de en G, denotado por N
G
(), como el subgrupo
g G [ gg
1
= .
Es facil probar que N
G
() es en efecto un subgrupo de G, observese que
N
G
() = g G [ g = g.
En particular, si es un subgrupo discreto de PSL(2, R) y T es una
transformacion en con punto jo z (o con puntos jos z, w), entonces el
normalizador de T en es precisamente el subgrupo cclico
z
.
Proposicion 3.2.15 Sea T una transformacion parabolica o elptica en un
grupo fuchsiano G, entonces si =< T >, se tiene que
N
G
() = K,
donde K es el mayor grupo cclico en G que contiene a T.
Demostraci on.
Caso 1: T parabolica, con punto jo z
0
.
Si S N
G
(), entonces S T
n
S
1
= T
m
y S(z
0
) = z
0
. Por ser G
discreto, S es parabolica y es claro que N
G
() = G
z
0
. Observese que no
necesariamente G
z
0
= , por ejemplo, si V G esta dada por V (z) = z+1,
y T(z) = z + 2.
Caso 2: T elptica, T(z
0
) = z
0
, z
0
H
2
.
Si S N
G
(), entonces S T
n
S
1
= T
m
y como S PSL(2, R), se
tiene S(z
0
) = z
0
. En consecuencia, N
G
() consiste en todas las transfor-
maciones elpticas en G que jan z
0
y z
0
, es decir, N
G
() = G
z
0
.
Para analizar el caso hiperbolico se necesita un resultado de la teora
basica de grupos.
Lema 3.2.16 Sea un subconjunto de un subgrupo G de un grupo abstracto
K y K, entonces
N
G
()
1
= N
G
1(
1
).
f
1
N
G
()
1
f N
G
()
f
1
(
1
)(f
1
)
1
=
1
f
1
N
G
1(
1
).
Si g N
G
1(
1
), tomando f =
1
g se tiene g = f
1
.
Proposicion 3.2.17 Sea T una transformacion hiperbolica en un grupo
fuchsiano G, supongase tambien que los puntos jos de T son , , y que
=< T > . Entonces:
(i) N
G
() =
, si G no contiene elementos de orden 2 que intercambian

y ;
(ii) N
G
() =<
, S >, si existe S G, tal que S() = .

114 CAP

Demostraci on. Usando la Proposicion 3.2.16, podemos suponer que T
ja 0 e , por lo que T(z) = kz, k R
+
, k ,= 1.
Si N
G
(), entonces T
n
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 > .
Observese que en el segundo caso de la proposicion anterior, se tiene

que el subgrupo normalizador N
G
() tiene como subgrupo de ndice 2 al
grupo estabilizador S
. Probamos ahora que los subgrupos no elementales

de PSL(2, R), que ademas son puramente hiperbolicos, son necesariamente
discretos.
Lema 3.2.18 Sea < PSL(2, R) puramente hiperbolico, tal que
T =
_
0
0
1
_
< SL(2, R),
> 0, ,= 1. Supongase tambien que existe una sucesion de matrices dis-
tintas T
n
, tal que T
n
Id, entonces
T
n
=
_
n
0
0
1
n
_
, si n > N,
2
n
,= 1.
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

Por lo cual la entrada superior izquierda de D
n
esta dada por
_
1 b
n
c
n
(
2
1)
_
1 b
n
c
n
(
2
1)
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.
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
> N). Por consiguiente, (3.4) implica que ab = 0 y cd = 0,

sin embargo, como b, c ,= 0, se tiene a, d = 0, lo que contradice [ a +d [> 2.
118 CAP

Una interpretacion geometrica de la prueba del Teorema 3.2.19 se puede
consultar en [2] captulo 8. Observese que este teorema no es cierto si es
abeliano, considerese por ejemplo, el grupo de todas las homotecias.
EJERCICIOS 3.2.
1. Demuestre que si dos grupos de matrices en SL(2, C) determinan el mismo
grupo de transformaciones, entonces ambos simultaneamente son (o no son)
discretos.
2. Sea un homeomorsmo entre dos espacios metricos X y Y, demuestre
que un grupo G act ua discontinuamente en X si y solo si el grupo G
1
act ua discontinuamente en Y.
3. Sea un subgrupo de PSL(2, C) que act ua en un subdominio M de la
esfera de Riemann, supongase tambien que M intersecta al conjunto lmite
de , demuestre que no act ua discontinuamente en M.
4. Demuestre que si T PSL(2, R), entonces 2 cos h
_
i, T(i)
_
= [[T[[
2
,
donde T es una matriz en SL(2, R) que representa a T.
5. Demuestre que si es un grupo discreto de PSL(2, R), entonces act ua
discontinuamente en H
2
.
6. Exhiba un subgrupo discreto abeliano de PSL(2, C) con transformaciones
parabolicas y que no sea cclico.
7. Exhiba un subgrupo discreto abeliano de PSL(2, C) que no contenga
transformaciones parabolicas y que no sea cclico.
3.3. Conjunto lmite de un grupo discreto
Probaremos que un punto lmite de un grupo fuchsiano es punto de acu-
mulacion de todas las orbitas, excepto, quiza, de una o dos de ellas. Como
consecuencia de este resultado se prueba que los subgrupos normales de los
grupos horocclicos son tambien horocclicos, en este proceso se exhiben tam-
bien varias propiedades fundamentales del conjunto lmite.
Proposicion 3.3.1 Sea fuchsiano y L() punto jo de alguna trans-
formacion de , entonces existe
L(), tal que z

C,
, es
un punto de acumulacion de (z).
3.3. CONJUNTO L
IMITE DE UN GRUPO DISCRETO 119

Demostraci on. Sea T la transformacion en que ja , se tienen dos
casos.
En este caso se probo que
z

C ,
T
n
(z) , si n . Los puntos se mueven hacia , en los crculos jos
de las parabolicas llamados horociclos (vease la Figura 3.2).
z
T(z)
T
n
(z)
Figura 3.2: Horociclos de una transformacion parabolica

Caso 2: T es hiperbolica.
Se sigue de la discusion en el primer captulo sobre la geometra de las
hiperbolicas que
z

C ,
,
(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

el grupo distinta de la identidad. Como las hipotesis y las conclusiones son
invariantes bajo conjugacion, basta probar el resultado para subgrupos dis-
cretos de M(). Observese que en este caso L() , y solo existe un
n umero nito de transformaciones en determinadas por matrices de la
forma
_
0
0
_
,
ya que las correspondientes transformaciones jan 0 e y estos son puntos
ordinarios. Recordamos que
M() =
__
a c
c a
_
SL(2, C)
_
.
En general, el conjunto de n umeros complejos que aparecen en alguna
de las cuatro entradas de un subgrupo discreto de matrices de SL(2, Z), no
debe ser acotado (ejercicio). El siguiente resultado rena este hecho para el
caso particular de las matrices denidas por un subgrupo discreto de M().
Lema 3.3.2 Dado M() discreto, no existe una sucesion de matrices
distintas de
_
a
n
c
n
c
n
a
n
_
, n N,
tales que a
n
a C, o tales que c
n
c C.
Demostraci on. Si a
n
a, [a
n
[
2
[a[
2
y [c
n
[
2
[a[
2
1. Pero entonces
las sucesiones a
n
y c
n
estan acotadas y se puede extraer una subsucesi on
convergente de
_
a
n
c
n
c
n
a
n
_
, n N. (3.5)
Lo cual contradice que es un grupo discreto. El caso c
n
c es analogo.
Observese que en el contexto del lema anterior, dada cualquier sucesion

de matrices distintas de la forma (3.5), necesariamente c
n
, cuando
n . Como caso particular de este lema, se sigue tambien que las entradas
superiores derechas c
n
de estas matrices no convergen a 0. Estos hechos los
aplicaremos posteriormente.
3.3. CONJUNTO L

Corolario 3.3.3 Para todo subgrupo fuchsiano de M() existe un n umero
positivo m con la siguiente propiedad:
si
_
a
n
c
n
c
n
a
n
_
, entonces c
n
= 0 o [c
n
[ > m.
Denicion 32 Sean < PSL(2, C) y z

C, se dene
(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) son los puntos de acumulacion de la

orbita de z y el mismo punto z, cuando este es un punto jo de una trans-
formacion de orden innito; sin embargo, existen subgrupos en PSL(2, C)
cuyos puntos en
(z), no tienen estas caractersticas (ejercicio). Evidente-

mente se tiene tambien que z,
(z) L(), algunas veces denotaremos

a
(z) simplemente por (z). El siguiente resultado muestra que z

C
el conjunto (z) es invariante y cerrado.
Lema 3.3.4 Sea < PSL(2, C) y z

C. Entonces:
(i) T((z)) = (z), T ;
(ii) (z) es cerrado.
Demostraci on. La prueba de (i) es identica a la del Teorema 3.1.3 (ejer-
cicio).
Para probar (ii) sea
k
, k N, una sucesion en (z), tal que
k
,
tomando subsucesiones se puede suponer que [
k
[ < 1/k. Se puede
tambien tomar transformaciones distintas T
n
k
en , tales que
[T
n
k
(z)
k
[ < 1/k.
Como las
k
son puntos distintos, las T
n
k
se pueden tomar, en efecto, dis-
tintas (si = , se debe usar la metrica cordal). Por consiguiente
[T
n
k
(z) [ [T
n
k
(z)
k
[ +[
k
[
2
k
y (z).
Se puede probar que si < PSL(2, C) es no elemental y discreto, en-
tonces z

C, se tiene que L() = (z). Vease [2] p. 98. En este texto
probamos un caso particular de este hecho.
122 CAP

Teorema 3.3.5 Sea < M() discreto, entonces L() = ().
Demostraci on. Hay que probar que L() (). Sea L(),
entonces
= lm
n
T
n
(z), donde T
n
=
_
a
n
c
n
c
n
a
n
_
son matrices distintas en y z C (si z = , no hay nada que probar).
Como ya se menciono, se tiene que c
n
= 0, solamente para un n umero nito
de transformaciones, por lo que podemos suponer que c
n
,= 0, n. Se tiene
entonces dos posibilidades:
(i) [c
n
z + a
n
[ 1, si n > N.
(ii) [c
n
k
z + a
n
k
[ < 1, en una subsucesion n
k
, k N.
En el segundo caso, se sigue del Lema 3.3.2 que
[z T
1
n
k
()[ =
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

Demostraci on. Si < M(), el resultado se sigue directamente del
Teorema 3.3.5; el caso general es consecuencia de la Proposicion 3.1.5
El Corolario 3.3.6 se generaliza a cualquier subgrupo de PSL(2, C) (cf.
[2] pp. 96-99). Por otra parte, es didactico aplicar este resultado para probar,
de otra manera, que un grupo discreto es a lo sumo numerable. Necesitamos
primero un resultado basico del analisis.
Lema 3.3.7 Sea A R
n
abierto, entonces
A =
_
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

en alg un punto de K
m
, o toma un valor en K
m
un n umero innito de
veces. Haciendo variar m se sigue el resultado.
Como se mostro anteriormente, puede tambien probarse, sin usar la dis-
continuidad, que si < PSL(2, C) es discreto, entonces es a lo sumo
numerable. Esto se segua, puesto que dada k N, solo puede haber un
n umero nito de matrices en el grupo con normas menores a k. Probamos
ahora un resultado complementario a la Proposicion 3.3.1.
Lema 3.3.8 Sea fuchsiano y un punto lmite de , que no es un punto
jo, entonces z

C, z ,=
, se tiene que la orbita de z se acumula en ,

donde
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
_
> 0, si k > N. (3.8)

Mas a un, se sigue de la observacion despues del Lema 3.3.2 que c
n
,
cuando n . En consecuencia, usando (3.7) y (3.8) se tiene que
[T
n
k
(z) T
n
k
()[
1
[c
n
k
[
2
0,
3.3. CONJUNTO L

por lo que T
n
k
(z) , z

C
(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
/ K, entonces existen transformaciones distintas T

n
, n N, tales
que T
n
(z) uniformemente en K (ejercicio).
Denicion 33 Dado < PSL(2, C) y z

C, se dene el conjunto deriva-
do de z, denotado por d((z)), como el conjunto de puntos de acumulacion
de la orbita de z.
Observese que d((z)) (z). La contencion es propia, por ejemplo, si
=< z 2z >, entonces d((0)) = , sin embargo 0 (z).
Teorema 3.3.9 Sea fuchsiano. Entonces:
(i) L = d((z)) z O;
(ii) si es no elemental, entonces L = d((z)) z

C.
Demostraci on. El primer resultado es inmediato de la Proposicion 3.3.1
y de la prueba del Lema 3.3.8, ya 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

Habiendo probado la armacion, el resultado del teorema es inmediato.
Sea z

C ja y w L(), basta probar que la orbita de z se acumula en
w. Se sigue de la armacion, que existen otros dos puntos, u y v, distintos
entre s y distintos a z, de tal manera que z, u y v pertenecen a la misma
orbita. Finalmente, usando la Proposicion 3.3.1 y el Lema 3.3.8, se tiene que
esta orbita se acumula en w.
Estos resultados tienen varias consecuencias importantes y tambien muy

interesantes. El siguiente teorema que generaliza la Proposicion 3.3.1 y el
Lema 3.3.8, es consecuencia directa del Teorema 3.3.9.
Teorema 3.3.10 Sea fuchsiano no elemental y un punto lmite de ,
entonces todas las orbitas se acumulan en . En particular
(z) = L z

C.
Es notable que si un subgrupo de PSL(2, C) tiene mas de dos puntos
lmite, entonces el conjunto de puntos lmite es perfecto; una prueba general
de este hecho se puede consultar en [2] p. 97. En este texto probamos este
resultado para el caso fuchsiano.
Teorema 3.3.11 Sea fuchsiano no elemental, entonces L() es perfecto.
Demostraci on. Como L() es cerrado, basta probar que no hay puntos
aislados. Sea L(), por ser no elemental, existe otro punto lmite
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

Demostraci on. Si no es horocclico, sea L() y
O()

R.
Se sigue entonces del Teorema 3.3.9 que la orbita de se acumula en . En
consecuencia, cualquier intervalo alrededor de contiene puntos ordinarios,
es decir, L() en ninguna parte es denso (ya que no contiene ning un intervalo
abierto).
Este resultado se generaliza a otros grupos fuchsianos, interpretando in-
tervalos como segmentos de crculos. Mas a un, el Teorema 3.3.9 tambien
es cierto para subgrupos discretos de PSL(2, C) (cf. [2] p. 98); por lo que se
puede aplicar un argumento similar a la prueba del Teorema 3.3.12 y probar
que si un subgrupo de PSL(2, C) es no elemental y discontinuo, entonces su
conjunto lmite en ninguna parte es denso en

C. El siguiente resultado mues-
tra que, en general, los conjuntos lmite son los menores conjuntos invariantes
y cerrados. Una generalizacion a subgrupos no elementales de PSL(2, C) se
puede consultar en [2] p. 97.
Teorema 3.3.13 Sea fuchsiano y W

C cerrado y invariante con
cardinalidad mayor a 1, entonces
L() W.
Demostraci on. Si L() es vaco no hay nada que probar. Supongamos
que existe un punto L(), tal que / W. Como W es cerrado, existe
una vecindad N de , tal que N W = . Ahora, si
1
,
2
son dos puntos
distintos en W, se sigue de la Proposicion 3.3.1 y del Lema 3.3.8 que la orbita
de alguno de ellos se acumula en , es decir, intersecta N, lo que contradice
N W = (ya que W es invariante). Por lo cual L() W.
El teorema anterior no es valido para conjuntos invariantes que constan
de un solo elemento. Por ejemplo, si =< z 2z >, entonces su con-
junto lmite es 0, ; sin embargo 0 es invariante. Podemos ahora
generalizar las Proposiciones 3.2.13 y 3.2.14.
Teorema 3.3.14 Sea G un subgrupo normal de un grupo horocclico en
PSL(2, R), entonces G es horocclico.
Demostraci on. Usando las Proposiciones 3.2.13 y 3.2.14, se puede suponer
que L(G) consiste en al menos dos puntos. Basta probar que el conjunto
128 CAP

L(G) es invariante, ya que en este caso como es cerrado se seguira
del Teorema 3.3.13 que
L(G) = L() =

R.
Para probar que L(G) es invariante, sean T y L(G),
entonces existen transformaciones distintas T
n
G y z

C, tales que
T
n
(z) , cuando n . Ahora, como T es continua, se sigue que
T T
n
T
1
(w) T(),
donde w = T(z). Finalmente, como T T
n
T
1
son transformaciones distin-
tas en G, se sigue que T() L(G), y por ende la armacion.
Usando la Proposicion 3.1.5, se puede generalizar el resultado anterior
para cualquier grupo fuchsiano. Para terminar este captulo mostramos otras
caracterizaciones del conjunto lmite en terminos de los puntos jos.
Proposicion 3.3.15 Sea un grupo fuchsiano y F
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
es invariante. Esto se cumple, dado que para toda trans-

formacion S en , se tiene que T ja z
0
si y solo si S T S
1
ja S(z
0
).
Tambien F
es invariante, ya que dada z

n
, n N, una sucesion de pun-
tos jos tales que z
n
z
0
, y una funcion S ; entonces S(z
n
) S(z
0
) y
S(z
0
) F
. Por consiguiente, si F
consta de mas de un punto, el resultado

se sigue del Teorema 3.3.13
Teorema 3.3.16 Sea fuchsiano con transformaciones hiperbolicas y la
cerradura del conjunto de puntos jos de los elementos hiperbolicos, entonces
L() = .
Demostraci on. Se pueden aplicar los mismos argumentos de la prueba de
la proposicion anterior, por ejemplo, si T es hiperbolica y ja z
0
, entonces
S T S
1
es hiperbolica y ja S(z
0
), etcetera. Por consiguiente, L() ;
la otra contencion es inmediata, ya que el conjunto lmite es cerrado.
3.3. CONJUNTO L

Teorema 3.3.17 Sea fuchsiano con elementos parabolicos y P la cerra-
dura del conjunto de puntos jos parabolicos, entonces L() = P.
Demostraci on. Si P consta de un solo punto z
0
, donde S(z
0
) = z
0
,
entonces es el grupo estabilizador
z
0
. Esto se tiene, ya que si para alguna
transformacion T en , T(z
o
) ,= z
0
, se seguira que T S T
1
es parabolica
y ja T(z
0
). Por consiguiente, es un grupo cclico parabolico (Teorema
3.2.9), lo cual prueba el teorema en este caso, ya que L() = z
0
.
Si P consta de mas de un punto, el resultado se sigue de manera analoga
a la prueba del Teorema 3.3.16.
Algunos autores denen al conjunto lmite de un subgrupo discreto no
elemental de PSL(2, C) como la cerradura de los puntos jos hiperbolicos y
loxodromicos. Esta denicion, junto con un analisis detallado de los grupos
elementales discretos (entre ellos los grupos platonicos), permite generalizar
nuestros resultados a los subgrupos discretos de PSL(2, C), vease [2] cap. 5.
EJERCICIOS 3.3
1. Demuestre la existencia de subgrupos de PSL(2, C) con puntos lmite que
no son puntos de acumulacion de las orbitas en

C, ni tampoco son puntos
jos de transformaciones de orden innito.
2. Pruebe que si un grupo de matrices representa a un subgrupo discreto
PSL(2, C), entonces alguno de los cuatro conjuntos de n umeros complejos
denidos por las entradas de estas matrices no es acotado.
3. Demuestre la primera parte del Lema 3.3.4.
4. Sea un punto lmite de un grupo fuchsiano , demuestre la existencia
de un punto

C, con la siguiente propiedad: si K es un conjunto com-
pacto en

C, tal que
/ K, se tiene entonces que existen transformaciones

distintas T
n
, n N, tales que T
n
(z) uniformemente en K.
5. Demuestre que si el conjunto de puntos jos de un grupo fuchsiano con-
siste en dos puntos, entonces el grupo es cclico hiperbolico o cclico elptico.
130 CAP

Captulo 4
Regiones fundamentales
En este ultimo captulo se denen los conjuntos y las regiones fundamentales,
lo cual conlleva el estudio de las teselaciones del plano hiperbolico y tambien
del espacio hiperbolico tridimensional. El caso bidimensional es de gran uti-
lidad en la teora de los n umeros; el tridimensional lo es para la topologa
de las variedades de dimension 3. En este texto se construyen los polgonos
de Dirichlet y de Ford para grupos con traslaciones, y se prueban algunas de
sus propiedades fundamentales. Como ejemplo principal, se muestra que el
polgono descrito en la Figura 4.26 es una region fundamental de Ford y de
Dirichlet para el grupo clasico modular.
4.1. Regiones fundamentales
Como se mostro en el captulo anterior, dado un subgrupo de PSL(2, R),
la accion de en

C dene una particion que consiste en las orbitas.
Denicion 35 Sea un subgrupo de PSL(2, R), un conjunto fundamental
F para la accion de en H
2
(o en

C) es cualquier conjunto que contiene
uno y s olo un elemento en H
2
(o en

C) por cada orbita, es decir,
(i) si z
1
, z
2
F, no existe T , tal que T(z
1
) = z
2
;
(ii) z H
2
(o en

C) existe T , tal que T(z) F.
El axioma de eleccion establece que si X
i
, i I, es una familia de
conjuntos, entonces existe una coleccion de elementos x
i
, i I, de tal
manera que x
i
X
i
i. Este principio nos permite asegurar la existencia
131
132 CAP
ITULO 4. REGIONES FUNDAMENTALES

de conjuntos fundamentales. La denicion se aplica tambien a otros grupos
fuchsianos o a las extensiones de Poincare de un subgrupo de PSL(2, C) en
H
3
.
Estos conjuntos no son de ninguna manera unicos. Por ejemplo, si F es
uno de ellos, A es un subconjunto de H
2
y T es una transformacion en ,
entonces
(F A)
_
T(F A)
tambien lo es.
Es claro asimismo que estos conjuntos pueden ser topologicamente muy
exoticos. Sin embargo, la intencion es construirlos de manera simple, por
ejemplo, el grupo =< z z + >, R
+
, ,= 0, 1, tiene como
conjunto fundamental el descrito en la Figura 4.1.
0
F
Figura 4.1: Conjunto fundamental para un grupo de traslaciones por reales
Figura 4.2: Conjunto fundamental para un grupo doblemente periodico

Ahora, si es el grupo generado por las traslaciones T(z) = z + ,
y S(z) = z + , donde , son linealmente independientes como vectores
4.1. REGIONES FUNDAMENTALES 133
en R
2
, un conjunto fundamental para , respecto a su accion en

C, es el
paralelogramo semiabierto descrito en la Figura 4.2.
Otro ejemplo sencillo es el grupo cclico elptico en M() generado
por T, donde T(z) = z e
2 i/q
, q N, q > 1. En este caso, un conjunto
fundamental para , respecto a su accion en M(), es el descrito en la
Figura 4.3.
e
2i/q
Figura 4.3: Conjunto fundamental para un grupo cclico de rotaciones
Un conjunto fundamental F no puede ser abierto (ejercicio). Ahora, como
evidentemente es mas sencillo trabajar con conjuntos abiertos (o cerrados),
se establece una denicion mas adecuada para estudiar estos conjuntos de
representantes de orbitas, que conllevan a las teselaciones hiperbolicas.
Denicion 36 Sea < PSL(2, R), se dice que una region R es un dominio
fundamental en H
2
para , si se cumplen las siguientes condiciones:
(i) cualesquiera dos puntos z
1
, z
2
R no son equivalentes;
(ii) dado w H
2
, existe z

R y T , tal que T(z) = w, donde

R
denota la cerradura de R en H
2
;
(iii) R tiene medida bidimensional de Lebesgue cero.
A los dominios fundamentales se les conoce tambien como regiones funda-
mentales. La condicion (iii) es esencial al tomar cocientes (estos cocientes son
supercies de Riemann, cf. [2] p. 118). Observese tambien que se sigue del
axioma de eleccion que si R es una region fundamental para , entonces
134 CAP

existe un conjunto fundamental F, tal que R F

R. Ademas, si
es un subgrupo de PSL(2, R), para el cual se puede construir una region
fundamental, entonces es discontinuo y por lo tanto discreto (ejercicio).
Denicion 37 Sea A una region en H
2
, se dene su area hiperbolica como
la integral de Lebesgue
_
A
d
(Im z)
2
.
Se puede tomar tambien, en muchos casos, la de Riemann (o la de Riemann
impropia, si la region no es acotada).
En sentido estricto, si dicha integral es innita, la integral de Lebesgue
no esta denida, sin embargo, en estos casos se dice simplemente que el area
hiperbolica es innita. Un ejemplo de esta situacion se ilustra en la Figura 4.4.
Dejamos como ejercicio para el lector vericar que en efecto el area de dicha
region es innita. Observese que como las regiones son conjuntos abiertos y
la funcion
z
1
(Im z)
2
es continua en H
2
, el area hiperbolica, si es nita, siempre esta bien denida
(usando la integral de Lebesgue).
Figura 4.4: Region con area hiperbolica innita
Teorema 4.1.1 El area hiperbolica es invariante bajo transformaciones en
PSL(2, R), es decir, si A es una region en H
2
y T PSL(2, R), entonces
_
A
1
(Im z)
2
d =
_
T(A)
1
(Im z)
2
d.
Demostraci on. El teorema de cambio de variable para integrales de Rie-
mann tambien es valido para las de Lebesgue (cf. [1] p. 179). Probamos
primero el caso de area nita. Sea
T(z) =
az + b
cz + d
,
ad bc = 1, a, b, c, d R, entonces
Im
_
T(z)
_
=
Im z
[cz + d[
2
y
[T

(z)[
2
=
1
[cz + d[
4
es el determinante del Jacobiano de T. Se sigue entonces del teorema de
cambio de variable que
_
A
d
(Im z)
2
=
_
A
1
_
Im
_
T(z)
_
_
2
1
[cz + d[
4
d =
_
T(A)
d
(Im z)
2
.
Si el area es innita, se puede probar el teorema calculando primero el area
en A H
n
R
n
, n N, donde
H
n
= z H
2
[ Im z > 1/n
y
R
n
= z H
2
[ n < Re z < n.
El Teorema 4.1.1 se puede enunciar de manera mas general: el area

hiperbolica de cualquier region en H
2
es invariante bajo cualquier isometra
hiperbolica (ejercicio). A continuacion describimos ciertas mediatrices que se
ocupan en la construccion de las regiones fundamentales de Dirichlet, que
estudiaremos en la siguiente seccion.
Denicion 38 Dados z, w H
2
, se dene el h-bisector perpendicular, o me-
diatriz hiperbolica, al segmento de geodesica [z, w], como la unica geodesica
ortogonal a [z, w] que pasa por el punto medio hiperbolico entre z y w.
136 CAP

Llamaremos al h-bisector perpendicular simplemente bisector perpendicu-
lar. Observese que dada una geodesica en H
2
y z, w , existe una trans-
formacion hiperbolica que preserva y manda z en w (basta conjugar,
mandando al eje imaginario y aplicar una homotecia). El siguiente resul-
tado muestra que en algunas instancias, la geometra hiperbolica satisface las
mismas propiedades que la geometra euclidiana.
Proposicion 4.1.2 Sean z, w H
2
, entonces el bisector perpendicular a
[z, w] consiste en los puntos en H
2
que equidistan hiperbolicamente de z y
w, es decir,
_
u H
2

(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
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

Finalmente, notese que los rectangulos innitos de la forma
P
= 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
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

4.2. Construccion del polgono de Dirichlet
En esta seccion se construyen los polgonos de Dirichlet y se prueba que son
regiones fundamentales. Aunque la mayora de los resultados se establecen
para PSL(2, R), es facil vericar que estos se aplican tambien al disco de
Poincare. Se exhiben tambien ejemplos de estos dominios fundamentales para
los grupos cclicos. El siguiente resultado muestra la existencia de vecindades
que contienen a lo mas un punto por cada orbita.
Teorema 4.2.1 Sea < PSL(2, R) discreto y w
0
H
2
un punto no jo,
esto es, T(z
0
) ,= z
0
T I, entonces existe una vecindad abierta D
de w
0
que no contiene puntos -equivalentes, es decir, cada punto de D
representa una orbita distinta.
Demostraci on. La orbita de w
0
no se acumula en w
0
ya que este es un
punto ordinario, por lo que existe un disco hiperbolico
D
h
(w
0
, ) = z H
2
[ (z, w
0
) < ,
tal que no contiene puntos -equivalentes a w
0
(distintos de w
0
).
Se arma que el disco hiperbolico
D = D
h
(w
0
, /2) = z H
2
[ (z, w
0
) < /2
tiene la propiedad requerida. De otra manera, si existe T , distinta de la
identidad, tal que w, T(w) D
h
(w
0
, /2), entonces se sigue de la invariabili-
dad de la metrica hiperbolica que
_
T(w), T(w
0
)
_
/2, lo cual a su vez
implica
_
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
IGONO DE DIRICHLET 141

En la siguiente discusion se tomara a como un subgrupo discreto de
PSL(2, R), w
0
H
2
no jo, y
T
n
(w
0
) = w
n
, n N,
su orbita, es decir, T
n
, n N, es una enumeracion de los elementos de .
Notese que w
n
,= w
m
, si n ,= m, esto se sigue, ya que de otra manera
T
1
m
T
n
ja z
0
. Denotaremos por
i
al bisector perpendicular del segmento
[w
0
, w
i
]. Observese que H
2
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

Denicion 40 Sean , w
0
y L
i
, i N, como en el Lema 4.2.2; se dene
el polgono de Dirichlet para con centro en w
0
como
D
w
0
=
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

Demostraci on. Como los subconjuntos compactos de los espacios metricos
son acotados, existe un n umero r, tal que K D
h
(w
0
, r). Ahora, si z es
un punto en
i
K, se tiene
(w
0
, w
i
) (w
0
, z) + (z, w
i
) = 2(w
0
, z) < 2r.
En consecuencia, si
i
intersecta K, necesariamente
w
i
D
h
(w
0
, 2r)
(vease la Figura 4.9). Finalmente, la orbita de w
0
no se puede acumular en
el compacto
D
h
(w
0
, 2r),
ya que los puntos de este disco son ordinarios.
z
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

Denotaremos T
n
(D) por D
n
. Observese que D
n
consiste en los puntos
en H
2
que estan estrictamente mas cerca de w
n
que de cualquier otro punto
en la orbita de w
0
. Tambien, D
n
es h-convexo y la familia de polgonos D
n
es invariante bajo . La union de todos los polgonos

D
n
determina una
subdivision de H
2
, que se le llama teselado o teselacion. Para el observador
hiperbolico la conguracion de polgonos se ve exactamente igual cuando se
observa desde cualquiera centro w
i
Figura 4.11: Teselacion del plano hiperbolico denida por el grupo modular
Lema 4.2.5 Sea D el polgono de Dirichlet descrito en la Denicion 40, y
D
i
, D
j
dos de sus imagenes bajo funciones en . Entonces
(i) D
i
D
j
= , si i ,= j;
(ii) z, w D
j
, z no es -equivalente a w.
Demostraci on. Si la primera armacion no es cierta, existe z D
i
D
j
,
donde i ,= j. Bajo esta hipotesis se tendra simultaneamente que
(z, w
j
) < (z, w
i
) y (z, w
i
) < (z, w
j
),
lo cual es una contradiccion.
4.2. CONSTRUCCI
ON DEL POL

Por otra parte, si existen z, w D
j
, z ,= w y T(z) = w, T ,
entonces como T transforma D
j
en alguna D
i
, se tendra D
i
D
j
,= , lo
cual contradice la primera armacion. Por consiguiente, se sigue tambien la
segunda parte del lema.
De manera analoga al caso de R
n
, en un espacio metrico X, un subcon-
junto A subdivide a X en 3 subconjuntos ajenos, a saber, Int A, A y
Ext A. Aplicando este principio al caso de H
2
y al polgono de Dirichlet D,
al ser este un conjunto abierto, la subdivision inducida en H
2
es D, D (en
H
2
) y Ext D. Como ya se menciono,
D = z H
2
[ (z, w
0
) < (z, w
i
) i.
Tambien es claro que
z H
2
[ (z, w
i
) < (z, w
0
) para al menos alguna i Ext D.
Esto ultimo se sigue, ya que L
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

puede tomar N como un disco abierto y usando el Lema 4.2.3, como

N es
compacto, se puede tambien suponer que hay un n umero nito de bisectores
que intersectan N y que todos estos pasan por z.
Es claro que z

L
i
i, por lo que [w
0
, z] es un arco en

L
i
i (Proposi-
cion 4.1.3). Tambien, usando la Proposicion 4.1.4 se tiene que el segmento
de geodesica abierto en [w
0
, z] esta contenido en L
i
i.
Por consiguiente
[w
0
, z] z D.
Como tambien [w
0
, z] z N ,= , se sigue que
D N ,=
y los puntos en el conjunto A pertenecen a la frontera (vease la Figura 4.12).
Viceversa, si z D, como z / Ext D se debe cumplir que
(z, w
0
) (z, w
i
) i.
De otra manera, si (z, w
0
) > (z, w
i
), entonces z L
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.
(z, w
0
) (z, w
i
) i
si y solo si
z D D.
Teorema 4.2.8 Sea un subgrupo discreto de PSL(2, R), entonces su

polgono de Dirichlet D es una region fundamental para .
4.2. CONSTRUCCI
ON DEL POL

Demostraci on. Se sigue del Lema 4.2.5 que cualesquiera dos puntos en
D no son equivalentes. Hay que probar tambien que
H
2
=
_
nN
T
n
(
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

K D
h
(w
0
, r), y si D
h
(w
0
, r) intersecta un n umero nito de polgonos,
tambien K tiene esta propiedad.
Ahora, como
1
2
(w
0
, w
j
) = (w
0
,
j
) (w
0
,

D
j
),
si z

D
j
D
h
(w
0
, r), entonces el punto medio de [w
0
, w
j
] esta en D
h
(w
0
, r).
En consecuencia, w
j
D
h
(w
0
, 2r). Finalmente, como la orbita de w
0
no se
acumula en D
h
(w
0
, 2r) se sigue el resultado (vease la Figura 4.13).
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

(puesto que z

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

Polgonos de Dirichlet de grupos cclicos elpticos
Consideramos primero el caso de un grupo generado por una transforma-
cion T denida por
z z e
2 i
m
.
Se puede tomar como centro el punto w
0
= 1/2 y denotamos sus imagenes
por w
k
= T
k
(w
0
), k = 0, 1, ..., m 1. Observese que 0
k
k, ya que
equidista hiperbolicamente de w
0
y de w
k
(recordamos que los crculos eu-
clideanos con centro en 0 son tambien crculos hiperbolicos).
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

Por lo tanto, D es el sector delimitado por los radios
t e
i
m
, 0 t 1 y t e
i (m1)
m
, 1 t 0
(vease las Figuras 4.16 y 4.17). Esto se sigue, ya que
_
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

Proposicion 4.2.10 Sea un subgrupo de PSL(2, C) actuando en un sub-
conjunto P de la esfera de Riemann y F un conjunto fundamental para
esta accion, supongase tambien que es una transformacion compleja de
Mobius, entonces el conjunto (F) es fundamental para la accion del grupo
=
1
actuando en (P).
Demostraci on. Si (z), (w) son puntos
equivalentes en (F), en-

tonces existe T
1

, 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

Se puede tomar como centro del polgono el punto w
0
= i + 1/2. Ahora,
el bisector perpendicular a w
0
y
w
k
= i +
1
2
+ k, k Z, k ,= 0,
es la recta vertical que pasa por
m = i +
k + 1
2
,
el punto medio euclideano entre w
0
y w
k
(vease la Figura 4.19). Esto se
sigue, ya que como la reexion en la recta Re z = m es una isometra
hiperbolica, se tiene que los puntos de dicha recta equidistan hiperbolica-
mente de w
0
y de w
k
.
Es claro entonces que el polgono de Dirichlet con centro en i + 1/2
consiste en el rectangulo innito R
determinado por 0, 1 e . Esto se

sigue, ya que como los bisectores son las rectas verticales
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

Observese que cada bisector es ortogonal a todos los horociclos. Conju-
gando, el caso general se sigue de manera analoga al caso elptico (vease la
Figura 4.21).
0 1 2 3
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
2, se sigue que el punto medio hiperbolico del segmento

[i, 2i] es
2 i. Este hecho muestra que
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

que es por consiguiente el polgono de Dirichlet D
i
para este grupo cclico
de homotecias. Esto se debe a que todos los bisectores son ortogonales al
eje (la geodesica que une los puntos jos), por ejemplo,
2
corta ortogonal-
mente el eje imaginario en 2i, ya que 2 log 2 = log 4 (vease la Figura 4.22).
Conjugando, se sigue el caso general (como en los casos elptico y paraboli-
co). Observese que en este caso, como la funcion conjugante manda el eje
del generador al eje del generador del grupo conjugado, los bisectores son
geodesicas ortogonales al eje (vease las Figuras 4.23 y 4.24).
w
0
w
1
w
1
Figura 4.23: Polgono de Dirichlet de un grupo cclico hiperbolico
w
0
w
1
w
1
Figura 4.24: Polgono de Dirichlet de un grupo cclico hiperbolico
EJERCICIOS 4.2
1. Demuestre que si es un subgrupo discreto de PSL(2, R) y w H
2
,
entonces w tiene una vecindad estable.
2. Termine la prueba del Lema 4.10.
3. Sea D un polgono de Dirichlet de un subgrupo discreto de PSL(2, R),
demuestre que sus imagenes (bajo elementos de ) son tambien polgonos
de Dirichlet de .
156 CAP

4. Sea un subgrupo discreto de M() y D su polgono de Dirichlet con
centro en w, demuestre que (D) es el polgono de Dirichlet con centro en
(w) del grupo conjugado
1
, donde PSL(2, C) transforma
en H
2
(o preserva ).
4.3. Polgono de Ford
En casos menos canonicos es difcil construir los polgonos de Dirichlet, ya
que no es facil detectar la familia de todos los bisectores. Mostraremos otra
construccion atribuida a Ford que establece otras tecnicas mas apropiadas
para construir regiones fundamentales. El siguiente resultado describe las
entradas inferiores izquierdas de las matrices que denen subgrupos discre-
tos de PSL(2, R), que contienen traslaciones; estos n umeros, como veremos
posteriormente, tienen un importante signicado geometrico.
Lema 4.3.1 Sea un grupo discreto de SL(2, R) que contiene matrices
que denen traslaciones. Entonces no existe ninguna sucesion de matrices
distintas
T
n
=
_
a
n
b
n
c
n
d
n
_
, n N,
de tal manera que c
n
, nito.
Observese que el lema implica que existe m > 0, tal que para toda
T =
_
a b
c d
_

se tiene [c[ m, o c = 0.
Demostraci on. Como
, el grupo estabilizador de , es cclico, existe

una matriz
T =
_
1
0 1
_
, > 0,
tal que su correspondiente transformacion T genera
.
Si el lema no se cumple, existe una sucesion
T
n
=
_
a
n
b
n
c
n
d
n
_
, n N,
4.3. POL
IGONO DE FORD 157

tal que c
n
. Reemplazando T
n
por T
n
, si es necesario, se puede
suponer que 0, y que los n umeros c
n
son todos distintos entre s y son
todos positivos. Ahora, si p
n
, q
n
Z, se tiene que
T
pn
T
n
T
qn
=
_
1 p
n
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

Denicion 41 Sea
T(z) =
az + b
cz + d
, ad bc = 1, c ,= 0,
una transformacion en PSL(2, C), se dene el crculo isometrico de T,
denotado por I(T), como
z C [ [T

(z)[ = 1.
Esto es, el crculo isometrico consiste de aquellos puntos donde la nor-
ma de la derivada es 1; equivalentemente, este conjunto consiste en aquellos
puntos donde el factor de conformalidad es 1. Existe una util relacion ex-
plcita para el crculo isometrico en terminos de las entradas inferiores de la
matriz
I(T) =
_
z C
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
(az + b)(cw + d) (aw + b)(cz + d)

(cz + d)(cw + d)
= [azd + bcw awd bcz[ = [z w[.
Resulta tambien que el crculo isometrico es el unico crculo donde una

transformacion de Mobius compleja (que no ja ) act ua euclidianamente.
Esto se sigue, ya que si
T(z) =
az + b
cz + d
, ad bc = 1, c ,= 0,
4.3. POL
IGONO DE FORD 159

act ua euclidianamente en otro crculo K, tomando un punto z K I(T),
y una sucesion de puntos w
n
K, tales que convergen a z, se tendra
lm
wnz
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

se tiene por conexidad que
z Ext I(T) [T

(z)[ < 1.
En consecuencia, se sigue de (4.3) que
z Int I(T) T(z) Ext I
_
T
1
_
y que
z I(T) T(z) I
_
T
1
_
,
etcetera.
Estos hechos se cumplen tambien en cualquier dimension. Para aquellas
transformaciones de Mobius en GM(
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
IGONO DE FORD 161

Notese que bajo las hipotesis de la denicion anterior, el Lema 4.3.1 im-
plica que los radios de los crculos isometricos, de las transformaciones del
grupo que no son traslaciones, convergen a 0. Esto se sigue, ya que dado
m > 0, solo existe un n umero nito de transformaciones T
,
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
, y por lo tanto T(z) / R. Por otra parte, si T no

ja , como z Ext I(T), se sigue que
T(z) Int I
_
T
1
_
,
esto es, T(z) / R.
Observese que si
w R y Re w ,= , + ,
entonces w esta contenido en la cerradura del exterior de cualquier crculo
isometrico. Esta armacion se sigue, ya que si w Int I(T) para alguna T,
entonces existe una vecindad de w ajena a R. Notese tambien que como los
radios de los crculos isometricos convergen a 0, solamente hay un n umero
nito de crculos isometricos que pasan por w.
Probamos ahora que cualquier z
0
H
2
es equivalente a un punto
en

R. Si z
0
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

Notese que el punto z
2
= T
1
(z
1
) satisface
Im z
2
=
Im z
1
[c
1
z
1
+ d
1
[
2
> Im z
1
.
Por otra parte, si z
1

R, se sigue el teorema; de otra manera, el siguiente
paso es trasladar z
2
a un punto z
3

R
, (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
. Tambien, se puede tomar el rectangulo R
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
IGONO DE FORD 163

De estos crculos euclidianamente mayores, solo los que tienen centros en
1, 0, 1 intersectan a R

Ahora, la interseccion de los crculos [z 1[ = 1 y [z[ = 1 en H
2
es
un punto que denotamos por . Este punto del crculo unitario satisface la
ecuacion ( 1)( 1) = 1, por lo que Re = 1/2 y
=
1
2
+ i
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

Ademas
2
0 y c es un entero no nulo, por lo que
y
2
2[c[
1.
Alternativamente, es facil probar que los puntos de una region funda-
mental no pueden ser puntos jos, ya que al tomar crculos hiperbolicos
sucientemente peque nos habra puntos equivalentes en dichos crculos.
Ahora, como ya se mostro las rectas Re z = 1/2 son los bisectores
perpendiculares de 2i y 2i 1, tambien
S =
_
0 1
1 0
_
SL(2, Z)
y S(2i) = i/2, por lo que el bisector entre 2i y i/2 es el crculo unitario.
En consecuencia,
D
2 i
R.
Por consiguiente, basta probar que la inclusion no es propia. De otra manera,
si R D ,= , donde D = D
2 i
, entonces tambien R

D ,= . Para
probar esta armacion, notese que si z R D, se puede tomar un disco
hiperbolico B con centro en z, totalmente contenido en R, de tal manera
que los bisectores que intersecten a B, pasen todos por z (recordamos, que
solamente un n umero nito de bisectores intersectan un compacto en H
2
).
Bajo estas hipotesis, se tiene que estos bisectores dividen a H
2
en un n umero
nito de regiones, una de las cuales contiene a D. Es claro entonces que se
puede encontrar w R

D (vease la Figura 4.27). Por lo cual, existe un
punto u

D que es equivalente a w. Esto es una contradiccion, ya que
un punto de R no puede ser equivalente a otro punto de R y tampoco
a un punto de la frontera de R.
D
z
w
Figura 4.27: Prueba de que el polgono de Ford del grupo modular es tambien
de Dirichlet
4.3. POL
IGONO DE FORD 165

Existe otro metodo de construccion de regiones fundamentales atribuido
a Poincare, este consiste en encontrar un polgono que cumpla ciertas condi-
ciones sobre los vertices y que los lados esten apareados bajo transformaciones
del grupo (cf. [2] pp. 242-250).
EJERCICIOS 4.3
1. Termine la prueba del Lema 4.3.1.
2. Demuestre que si los crculos isometricos de una transformacion T y de su
inversa se intersectan, entonces los puntos de interseccion son puntos jos.
3. Sean I(T) y I
_
T
1
_
los crculos isometricos de una transformacion T y
su inversa. Demuestre que: si T es elptica, I(T) y I
_
T
1
_
se intersectan
en dos puntos; si T es parabolica, son tangentes; y si T es hiperbolica, son
ajenos.
4. Demuestre que los crculos isometricos de una transformacion loxodromica
y su inversa son ajenos.
5. Demuestre que dado un subgrupo discreto de PSL(2, R) existen re-
giones fundamentales de , R
1
, R
2
, tales que R
1
es un subconjunto propio
de R
2
.
6. Sea el subconjunto del grupo modular determinado por las matrices
cuyas entradas inferiores izquierdas son m ultiplos de 2, demuestre que es
un subgrupo y encuentre una de sus regiones de Ford.
166 CAP

Bibliografa
[1] Asplund, E. and Bungart, L., A First Course on Integration, Holt,
Rinehart and Winston, 1966.
[2] Beardon, A. F., The Geometry of Discrete Groups, Graduate Texts
in Mathematics 91, Springer-Verlag, 1995.
[3] Benedetti, R. and Petronio, C., Lectures on Hyperbolic Geome-
try, Springer-Verlag, 1992.
[4] Herstein, I. N., Topics in Algebra, Xerox College Publishing, 1964.
[5] Hoffman, M. and Marsden, J. E., Basic Complex Analysis, W.H.
Freeman and Company, 1996.
[6] Jones, G. A. and Singermann, D., Complex Functions, Cambridge
University Press, 1987.
[7] Kulkarni, R., An arithmetic-geometric method in the study of the
subgroups of the modular group, American Journal of Mathematics,
113 (1991), 1053-1133.
[8] Lang, S., Linear Algebra, Addison Wesley, 1972.
[9] Lascurain Orive, A., Some presentations for
0
(N), Conformal
Geometry and Dynamics, vol. 6 (2002), 33-60.
[10] Lehner, J., A Short Course in Automorphic Functions, Holt, Rine-
hart and Winston, 1966.
[11] Letho, O., Univalent Functions and Teichm uller spaces, Graduate
Texts in Mathematics 109, Springer-Verlag, 1987.
167
168 BIBLIOGRAF
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

Hiperbolica

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Hiperbolica

Uploaded by

Copyright:

Available Formats

Una introduccion a la geometra hiperbolica

, puntos del plano complejo, una

son iguales si y solo si existe k C, tal que

De ahora en adelante identicaremos al grupo de transformaciones de Mobius

Figura 1.3: Rotaciones

2 es una extension de la proyeccion estereogra-

C, sup ongase tambien que T es conjugada en PSL(2, C) a la transforma-

Figura 1.8: Conguracion de Steiner

[w[ = r son la imagen bajo de los conjuntos

Figura 1.16: Crculos jos de las transformaciones parabolicas

De ahora en adelante nos referiremos a estas transformaciones como los

Para transformaciones con dos puntos jos nitos

El siguiente resultado, que es consecuencia del Teorema 1.6.2, muestra

(). Esta medicion

dene una metrica en A.

El lema anterior se puede generalizar a cualquier dimension, sustituyen-

Se ha probado entonces que el crculo hiperbolico con centro z

Figura 2.6: Las transformaciones parabolicas en PSL(2, R) son rotaciones

Una caracterizacion del grupo completo de isometras en el espacio hiperbo-

Figura 2.7: Distancia de un punto a una geodesica

[z[ < 1 provisto con la

La proposicion anterior muestra de nuevo que las reexiones en rectas

Corolario 2.4.7 Sea GM(

2. Un primer hecho notable es que al aplicar esta reexion a puntos del

Figura 2.16: Crculo ortogonal a la frontera del disco unitario

Finalmente, se puede ahora enunciar y vericar una formula general de la

(x) esta dada por

(x) esta dada por

ITULO 3. GRUPOS FUCHSIANOS

ITULO 3. GRUPOS FUCHSIANOS

ITULO 3. GRUPOS FUCHSIANOS

ITULO 3. GRUPOS FUCHSIANOS

ITULO 3. GRUPOS FUCHSIANOS

ITULO 3. GRUPOS FUCHSIANOS

ITULO 3. GRUPOS FUCHSIANOS

ITULO 3. GRUPOS FUCHSIANOS

Corolario 3.2.4 Sea < SL(2, R) discreto, entonces L()

ITULO 3. GRUPOS FUCHSIANOS

a, b, c, d son enteros Gaussianos

Teorema 3.2.6 Sea un subgrupo discreto abeliano de PSL(2, R), en-

ITULO 3. GRUPOS FUCHSIANOS

(z) = z + , sin embargo esto contradice que

(z) = z. El caso < 1 se prueba usando 1/.

ITULO 3. GRUPOS FUCHSIANOS

ITULO 3. GRUPOS FUCHSIANOS

ITULO 3. GRUPOS FUCHSIANOS

Usando los resultados anteriores se puede renar un poco mas la ultima

, si G no contiene elementos de orden 2 que intercambian

, S >, si existe S G, tal que S() = .

ITULO 3. GRUPOS FUCHSIANOS

Observese que en el segundo caso de la proposicion anterior, se tiene

. Probamos ahora que los subgrupos no elementales

ITULO 3. GRUPOS FUCHSIANOS

> N). Por consiguiente, (3.4) implica que ab = 0 y cd = 0,

ITULO 3. GRUPOS FUCHSIANOS

L(), tal que z

IMITE DE UN GRUPO DISCRETO 119

Figura 3.2: Horociclos de una transformacion parabolica

ITULO 3. GRUPOS FUCHSIANOS

Observese que en el contexto del lema anterior, dada cualquier sucesion

IMITE DE UN GRUPO DISCRETO 121

(z) son los puntos de acumulacion de la

(z), no tienen estas caractersticas (ejercicio). Evidente-