NOTAS PARA AN

ALISIS COMPLEJO I
JORGE LUIS L

OPEZ L

OPEZ
1. Superficies de Riemann simplemente conexas
1.1. Supercies de Riemann. Una supercie S es un espacio metrico conexo tal que
cada punto p S tiene una vecindad abierta U homeomorfa a R
2
. Una supercie de
Riemann S es una supercie cubierta por cartas coordenadas
j
: U
j
C
jJ
tales que
en cada translape U
j
U
k
la funcion
j

1
k
:
k
(U
j
U
k
)
j
(U
j
U
k
) es biholomorsmo.
Sean S
1
y S
2
dos supercies de Riemann. Una funcion f : S
1
S
2
es holomorfa en
una vecindad de p
1
S
1
si existen cartas
1
: U
1
C alrededor de p
1
y
2
: U
2
C
alrededor de f(p
1
) tal que
2
f
1
1
es holomorfa. Se dice que f es holomorfa en S
1
si
f es holomorfa en una vecindad de cada punto.
Puesto que una supercie de Riemann es resultado de pegar cartas de coordenadas
holomorfamente, uno puede pensar en supercies que resultan de pegar un billon o un trillon
de cartas, o incluso mas. Considerar, por ejemplo, la esfera S
2
provista de un trillon de
cartas con cambios de coordenadas denidos de manera complicada y una funcion f : S
2

C. Parecera complicado decidir si esta funcion es holomorfa. Se hace evidente entonces

la necesidad de tener otra descripcion de las supercies de Riemann o, mejor aun, una
clasicacion de ellas. Una manera alterna muy util de describir todas las supercies de
Riemann es mediante el Teorema de Uniformizacion. Antes de enunciarlo hacemos algunos
comentarios: veremos mas adelante que una consecuencia de este teorema es que la esfera
solamente tiene una estructura de supercie de Riemann, es decir, toda estructura de
supercie de Riemann denida en la esfera debe ser biholomorfa a las esfera de Riemann.
Entonces el trillon de cartas sale sobrando. Tambien veremos que a todas las supercies de
Riemann se les pueden dar cambios de coordenadas que son transformaciones de Mobius,
como consecuencia del mismo teorema.
Teorema 1 (Teorema de Uniformizacion). Sea X alguna de las tres supercies de Riemann
P
1
, C, o D. Sea Aut(X) el grupo de biholomorsmos f : X X. Entonces toda supercie
de Riemann es biholomorfa a X/ donde es un subgrupo de Aut(X) que act ua libremente
y de manera propiamente discontinua en X.
Veremos que Aut(X) siempre es un subgrupo de las tranformaciones de Mobius. Conse-
cuencia del Teorema de Uniformizacion es que cada supercie de Riemann esta codicada
por un subgrupo de transformaciones de Mobius. Esto es en muchos sentidos mejor que
tener supercies de Riemann codicadas por abiertos de C y biholomorsmos entre ellos.
1
2 JORGE LUIS L

OPEZ L

OPEZ
Comenzaremos analizando cada una de las tres supercies de Riemann P
1
, C, o D y sus
biholomorsmos. En estas notas no se dara una demostracion del Teorema de Uniformiza-
cion pues su prueba es complicada. En efecto, algunos matematicos distinguidos consideran
este resultado el teorema mas importante de la matematica del siglo XIX, sintetizando en
gran medida el desarrollo que tuvo el analisis, la geometra y la topologa durante ese siglo.
Aceptaremos el Teorema de Uniformizacion para encontrarnos en condiciones de explorar
ideas interesantes en geometra.
1.2. La esfera de Riemann. Considerar la proyeccion estereograca que a cada punto
P = (x, y) en el plano xy le asocia el unico punto P

en la esfera unitaria S
2
= (x, y, t)
R
3
: x
2
+ y
2
+ t
2
= 1 que se encuentra en la recta NP donde N = (0, 0, 1) es el polo
norte. En formulas, esta proyeccion estereograca y su inversa se escriben como
(1) (x, y)
1
x
2
+y
2
+ 1
(2x, 2y, x
2
+y
2
1), (x, y, t)
1
1 t
(x, y).
Por denicion, el plano extendido

C es el espacio metrico C con la metrica heredada
de S
2
mediante la proyeccion estereograca (la imagen de es el polo norte).
Las formulas (1) determinan una carta para S
2
N. Si queremos ver a S
2
como una
supercie de Riemann, debemos incluir otra carta para N. Esto lo podemos hacer usando
tambien las ecuaciones (1), para esto basta rotar S
2
un angulo alrededor del eje x.
Entonces

C es una supercie de Riemann con dos cartas de coordenadas y con un cambio
de coordenadas z 1/z que es un biholomorsmo C

, donde C

= C 0. En
particular podemos hablar de funciones holomorfas y meromorfas

C C o simplemente
de funciones holomorfas

C

C. Por ejemplo,
1. f(z) = (z
2
+ 1)
1
es una funcion

C

C holomorfa. En la funcion toma el valor
0 con orden dos.
2. f(z) = z
3
es una funcion

C

C holomorfa. En la funcion toma el valor con
orden tres.
3. f(z) = sin z no es holomorfa vista como funcion denida en

C (pues tiene una
singularidad esencial en ), pero s es holomorfa cuando la vemos como funcion
denida en C.
A

C con su estructura de supercie de Riemann se le conoce como la esfera de Riemann.
La proyeccion estereograca tiene una geometra interesante que analizaremos a conti-
nuacion. Es evidente que los planos tangentes T
N
S
2
y T
P
S
2
forman igual angulo con NP

y que la recta T
N
S
2
T
P
S
2
es ortogonal a NP

. Puesto que T
N
S
2
es paralelo al plano xy,
se tiene que T
P
S
2
plano xy es ortogonal a P

P y que el angulo que forma el plano xy

con PP

es igual al que forma T

N
S
2
con PP

. Esta observacion muestra dos cosas de la

proyeccion estereograca: que es conforme en P

y que manda crculos en crculos. Para

ver que es conforme, hay que extender la proyeccion estereograca a una vecindad de P

en R
3
, y considerar R

, S

T
P
S
2
y sus respectivas imagenes R y S en el plano xy, para
observar que los planos T
P
S
2
y el plano xy intersectan simetricamente a la cu na formada
por P

RP y P

SP. Para ver que la proyeccion estereograca manda crculos en crculos,

considerar un crculo arbitrario c

S
2
que no pase por N (si c

pasa por N entonces c

NOTAS PARA AN

ALISIS COMPLEJO I 3
va a dar a una recta en el plano xy). Los planos tangentes a la esfera en los puntos de
c

envuelven un cono circular con vertice S

. Puesto que c

no pasa por N, se tiene que

S

, T
N
N y su imagen S en el plano xy esta bien denida. Probaremos que la imagen c de c

es un crculo con centro en S. Sea P

un punto arbitrario de c

y P su imagen. Entonces P

es tangente a S
2
en P

y PP

= P

PS. Por S

dibujamos una recta paralela a PS. Sea

P

el punto en el cual intersecta a NP. Entonces el triangulo P

tiene angulos iguales

en P

y P

, de donde S

= S

. Luego PS/P

= PS/P

= SN/S

N. Se concluye
que PS es constante y que c es un crculo con centro en S. Invirtiendo este razonamiento
se puede ver que todo crculo en el plano xy es la imagen de un crculo en S
2
. Entonces el
conjunto de todos los crculos en S
2
se corresponde con el conjunto de todos los crculos y
todas las rectas en el plano xy.
1.3. La lnea proyectiva compleja P
1
. La lnea proyectiva compleja P
1
es el conjunto
de subespacios complejos de C
2
de dimension uno. Sean (z, w) las coordenadas de C
2
. Cada
elemento en P
1
determinado por un subespacio distinto del eje z esta generado por un unico
punto de la forma (z, 1), y cada punto en el plano w = 1 genera un subespacio distinto del
eje z. Luego existe una copia de C = (z, 1) : z C dentro de P
1
. El punto al innito,
denotado por , es el subespacio generado por (1, 0). Luego P
1
= C . En efecto, P
1
es biholomorfa a la esfera de Riemann. Dado un punto (z, w) C
2
distinto del origen, este
genera una unico subespacio de C
2
de dimension 1, y por lo tanto determina un punto en
P
1
, el cual sera denotado por [z : w].
Los elementos de GL(2, C) act uan en C
2
enviando el conjunto de subespacios de dimen-
sion uno en s mismo. Por lo tanto, cada elemento de GL(2, C) induce un homeomorsmo
de P
1
en s mismo. Las transformaciones proyectivas son, por denicion, las transforma-
ciones inducidas por elementos de GL(2, C) en P
1
. Si una transformacion proyectiva viene
dada por una transformacion lineal con matriz
_
a b
c d
_
, su expresion en coordenadas (z, 1)
es z
az +b
cz +d
. Dos elementos de GL(2, C) determinan la misma transformacion proyectiva
de P
1
si y solo si una es un m ultiplo escalar de la otra. Identicando m ultiplos escalares en
GL(2, C) se obtiene el grupo de transformaciones proyectivas de P
1
, el cual se denota por
PGL(2, C) = GL(2, C)/I donde I = I : C

, donde I denota a la matriz identi-

dad. Es muy sencillo comprobar que PGL(2, C) es isomorfo al grupo de transformaciones
de Mobius, y tambien es isomorfo al grupo PSL(2, C)/I.
1.4. Transformaciones de Mobius. Es sencillo mostrar que si z
1
, z
2
, z
3
son tres ele-
mentos distintos en P
1
, entonces existe una unica transformacion de Mobius T tal que
T(z
1
) = 0, T(z
2
) = 1, T(z
3
) = .
Denicion 2. Si z
1
, z
2
, z
3
, z
4
son 4 puntos distintos en P
1
, se dene la razon cruzada de
ellos como (z
1
, z
2
, z
3
, z
4
) =
(z
1
z
3
)(z
2
z
4
)
(z
1
z
2
)(z
3
z
4
)
.
Notar que (z
1
, z
2
, z
3
, z
4
) = T(z
3
) donde T es la unica transformacion de Mobius tal que
T(z
1
) = 0, T(z
2
) = 1, T(z
4
) = . Notar tambien que (0, 1, z, ) = z.
4 JORGE LUIS L

OPEZ L

OPEZ
Teorema 3. El grupo de biholomorsmos de P
1
es el grupo de transformacion de Mobius.
Demostracion. Hemos visto que Aut(P
1
) incluye al grupo de transformaciones de Mobius.
Sea T Aut(P
1
). Podemos suponer que T(0) = 0 y que T() = (pues podemos
componer con una transformacion de Mobius apropiada). Analicemos la funcion T(z)/z :
C

. Por un lado, lm
z0
T(z)/z = T

(0) ,= 0. Por otro lado, el comportamiento de

T(z)/z alrededor de es el de la funcion
1
wT(1/w)
alrededor de w = 0, pero sabemos que
lm
w0
1/T(1/w)
w
C pues T es automorsmo de P
1
tal que T() = . Esto prueba que
T(z)/z : C

es una funcion acotada. Haciendo z = e

se tiene que la composicion

g(e

)/e

es una funcion entera acotada. Por el Teorema de Liouville debe ser constante.
Luego existe c C tal que g(z) = cz, que es una transformacion de Mobius.
Teorema 4. El grupo de biholomorsmos de C es el grupo de transformaciones de Mobius
de la forma T(z) = az +b donde a vara en C

y b vara en C.
Los biholomorsmos de C son llamados transformaciones anes complejas.
Demostracion. Es inmediato que Aut(C) contiene al grupo de transformaciones anes com-
plejas. Sea T Aut(C). Sea T : C C un biholomorsmo. Entonces f(z) = a
0
+ a
1
z +
a
2
z
2
+. . . para toda z C. Luego f tiene una singularidad aislada en z = y el desarrollo
en series de Laurent alrededor de este punto es el de g(w) = f(1/z) = a
0
+a
1
z
1
+a
2
z
2
+. . .
alrededor de w = 0. Sin embargo, g no puede tener una singularidad esencial en w = 0,
pues el teorema de Weierstrass arma que g(B
1
(0) 0) tiene una imagen densa en C
pero f(B
1
(0)) es abierto, contradiciendo que f es biyeccion. Entonces f(z) es un polinomio
a
0
+a
1
z +a
2
z
2
+ +a
n
z
n
. Los unicos polinomios complejos inyectivos son los de primer
grado.
1.4.1. Ejercicios.
1. Hallar los ceros y polos de f : P
1
C dada por f(z) =
z
2
+ 3
z
4
+ 3z
2
+ 2
.
2. Sean z
1
, z
2
, z
3
, z
4
cuatro puntos distintos en P
1
, y sean w
1
, w
2
, w
3
, w
4
otros cuatro
puntos distintos en P
1
. Existe una transformacion de Mobius T tal que T(z
j
) = w
j
para j = 1, 2, 3, 4 si y solo si (z
1
, z
2
, z
3
, z
4
) = (w
1
, w
2
, w
3
, z
4
).
3. Sean z
1
, z
2
, z
3
, z
4
cuatro puntos distintos en P
1
. Mostrar que existen exactamente
dos valores de k tales que los cuatro puntos son enviados a 1, 1, k, k (en ese
orden) por una transformacion de Mobius.
4. Sea ( el crculo que pasa por tres puntos distintos z
1
, z
2
, z
3
P
1
. Entonces ( =
z P
1
: (z
1
, z
2
, z, z
3
)

R.
5. Mostrar que la conjugacion compleja de

C corresponde a una reexion de S
2
en el
plano y = 0. Que transformaciones de

C corresponden a las reexiones de S
2
en
los planos x = 0 y z = 0? Mostrar que la funcion antpoda P P de S
2
es la
composicion de estas tres reexiones en cualquier orden, y hallar su expresion.
6. Considerar la accion del grupo de transformaciones de Mobius en P
1
.
NOTAS PARA AN

ALISIS COMPLEJO I 5
a) El estabilizador del crculo

R es PGL(2, R).
b) El estabilizador del semiplano superior H es PSL(2, R).
7. Mostrar que el grupo de transformaciones de Mobius coincide con el grupo de trans-
formaciones que preservan orientacion generado por las inversiones en crculos de C
(incluyendo crculos de radio innito, i.e. rectas).
8. Probar que las transformaciones de Mobius mandan crculos en crculos (incuyendo
los de radio innito).
9. Mostrar que un homeomorsmo de S
2
en S
2
que preserva orientacion y manda crcu-
los en crculos (incluyendo los de radio innito) es una transformacion de Mobius.
10. Sea f :

C

C un homeomorsmo de la esfera de Riemann que preserva razones
cruzadas, es decir, (f(z
1
), f(z
2
), f(z
3
), f(z
4
)) = (z
1
, z
2
, z
3
, z
4
). Mostrar que f es
una transformacion de Mobius.
11. Sea f : P
1
P
1
holomorfa y no constante. Mostrar que f es suprayectiva.
12. Sea f :

C

C una funcion holomorfa tal que f
1
() = 0, 1. Mostrar que
f(z) =
P(z)
(z(z
2
1))
m
para alg un polinomio P(z) y alg un entero positivo m.
13. a) Mostrar que toda transformacion de Mobius tiene dos puntos jos en P
1
, con-
tando multiplicidad.
b) Dada una transformacion de Mobius T con puntos jos z
1
y z
2
, mostrar que
T

(z
1
) y T

(z
2
) son recprocos, digamos y
1
(en el caso de que sea un
punto jo, uno debe evaluar la derivada usando la coordenada local w = 1/z).
c) Mostrar que el promedio = ( +
1
)/2 es un invariante total de la clase de
conjugacion, el cual puede tomar cualquier valor en C.
d) Mostrar que = 1 si y solo si los dos puntos jos coinciden y T es conjugada a
la translacion z z + 1.
e) Mostrar que 1 = cos < 1 si y solo si T es conjugada a una rotacion por
angulo .
14. Mostrar que T(z) = z + 1 y T
1
(z) = z 1 no son conjugados en PSL(2, R).
1.5. El disco y su estructura hiperbolica.
Teorema 5. El grupo de biholomorsmos del disco D = z C : [z[ < 1 es el grupo de
transformaciones de Mobius de la forma
(2) T(z) = e
i
z a
1 az
donde a vara en D y vara en R.
Demostracion. Sea T de la forma (2). Entonces [T(z)[ < 1 si y solo si (z a)(z a) <
(1az)(1az) si y solo si (1[z[
2
)(1[a[
2
) > 0. Esto implica que T es un biholomorsmo
de D en s mismo.
Ahora, si T : D D es un biholomorsmo, podemos suponer que T ja el origen (pues
podemos componer con una transformacion de Mobius apropiada de la forma (2)). Por el
Lema de Schwarz T(z) = e
i
z, que es de la forma requerida.
6 JORGE LUIS L

OPEZ L

OPEZ
Corolario 6. El grupo de biholomorsmos de H es PSL(2, R).
Demostracion. La transformacion de Mobius z (i z)/(i +z) es un biholomorsmo que
va de H a D.
Una metrica riemanniana en un conjunto abierto U R
2
es una forma cuadratica
real positiva denida E(x, y)dx
2
+ 2F(x, y)dxdy + G(x, y)dy
2
. Esta metrica riemanniana
asigna la longitud
_
E(x, y)a
2
+ 2F(x, y)ab +G(x, y)b
2
al vector (a, b) T
(x,y)
U. Uno pue-
de medir la logitud de una curva en U relativa a la metrica riemanniana como sigue: si
= (
1
,
2
) : [a, b] U es de clase C
1
, se dene la longitud riemanniana de como
() =
_
b
a
_
E((t))

1
(t)
2
+ 2F((t))

1
(t)

2
(t) +G((t))

2
(t)
2
.
Es decir, la longitud riemanniana es la suma de la rapidez riemanniana de . Considerar
abiertos U, V R
2
provistos cada uno de metricas riemannianas. Un difeomorsmo f :
U V es una isometra riemanniana si para todo vector v T
p
U la longitud riemanniana
de v es igual a la longitud riemanniana de df
p
v T
f(p)
V .
Teorema 7. Existe una unica metrica riemanniana en D, salvo multiplicacion por escalares
positivos, tal que todo biholomorsmo de D es una isometra.
Denicion 8. La metrica invariante
4(dx
2
+dy
2
)
(1 x
2
y
2
)
2
en D es llamada la metrica de Poin-
care en D, y la metrica invariante
(dx
2
+dy
2
)
y
2
en H es llamada la metrica de Poincare en
H.
1.5.1. Ejercicios.
1. Calcular todos los biholomorsmos f : H D.
2. Mostrar que no existe una funcion homomorfa f : H H tal que f(i) = i y
f(2i) = 4i.
3. Mostrar que las geodesicas de la metrica de Poincare son los arcos de crculo (posi-
blemente de radio innito) ortogonales a la frontera.
4. Cuando se tiene una forma cuadratica Q() en un espacio vectorial, tambien se tiene
un producto interior , tal que la Q(v) = v, v. Entonces una metrica riemanniana
determina un producto interior innitesimal.
a) Probar que los angulos entre geodesicas de la metrica de Poincare, medidos con
respecto a la metrica de Poincare, coinciden con los angulos euclideanos.
b) Mostrar que la suma de los angulos interiores de todo triangulo formado por
geodesicas de la metrica de Poincare es menor que 2.
c) Probar el criterior de congruencia de triangulos LAL para la metrica de Poincare.
5. Mostrar que si la geodesica orientada que va de z
1
a z
2
intersecta a D en los puntos
y y va de a , entonces la distancia de Poincare entre z
1
y z
2
es igual al
logaritmo de la razon cruzada (, z
1
, z
2
, ).
6. Para hallar una formula para la distancia de Poincare que no dependa de los extremos
de una geodesica como en el ejercicio anterior se puede proceder de la siguiente forma.
NOTAS PARA AN

ALISIS COMPLEJO I 7
a) Mostrar que la distancia de Poincare entre 0 y a D esta dada por la formula
ln
1 +[a[
1 [a[
.
b) Hallar una formula para la distancia entre cualesquiera par de puntos en D.
c) Hallar una formula para la distancia entre cualesquiera par de puntos en H.
7. Mostrar que las bolas B
r
(z
0
) de radio r (respecto a la distancia de Poincare) son bolas
euclideanas, pero que no estan centradas necesariamente en z
0
. Luego la topologa
inducida por la metrica de Poincare es la misma que la topologa inducida por la
metrica euclideana.
8. Para R considerar la transformacion de Mobius
(3) T(z) =
z cos

2
+ sin

2
z sin

2
+ cos

2
.
Mostrar que T ja el punto i H y que T

(i) es una rotacion por angulo . Concluir

que esta es una rotacion alrededor de i, con respecto a la metrica de Poincare.
9. Considerar una isometra T : H H de la metrica de Poincare denida por la
transformacion de Mobius T(z) =
az+b
cz+d
con a, b, c, d R y ad bc = 1.
a) Mostrar que si (a + d)
2
> 4, entonces T no tiene puntos jos en H pero tiene
exactamente dos puntos jos en

R. Concluir que en este caso existe una isometra
S de H tal que S T S
1
es z z con > 0. Hallar la relacion entre y
(a +d)
2
. Una isometra de este tipo es llamada loxodromica.
b) Mostrar que si (a+d)
2
< 4, entonces T tiene un unico punto jo en H. Concluir
que en este caso existe una isometra S de H tal que S T S
1
es una trans-
formacion de Mobius de la forma (3) para alg un R. Hallar la relacion entre
y (a +d)
2
. Una isometra de este tipo es llamada elptica.
c) Mostrar que si (a + d)
2
= 4 y T no es la identidad, entonces T tiene un unico
punto jo en

R. Concluir que en este caso existe una isometra S de H tal que
S T S
1
es z z 1. Una isometra de este tipo es llamada parabolica.
10. Sea X alguna de las dos supercies de Riemann C o P
1
. Mostrar que no existe una
metrica invariante bajo todo el grupo Aut(X).
2. Cocientes
Sea X alguno de C o H. Cuando X = C consideraremos como un subgrupo de transla-
ciones, y cuando X = H consideraremos como un subgrupo de Aut(H). En ambos casos,
act ua como isometras de una metrica d
X
: X X R, que en el primer caso es la
euclideana, y en el segundo la de Poincare. Decimos que act ua discontinuamente en X
si para cada compacto K X el conjunto : K K ,= es nito.
Proposicion 9. Si act ua discontinuamente en X entonces cada -orbita es cerrada y
discreta.
Demostracion. Si y , x entonces podemos considerar una vecindad de y compacta K y,
puesto que : (Kx)(Kx) es nito, K debe contener solo un n umero nito
8 JORGE LUIS L

OPEZ L

OPEZ
de elementos de x, obteniendo as que x es cerrado. Analogamente se puede mostrar que
x es un conjunto discreto.
Usando la metrica d
X
podemos construir una metrica : X/ X/ R en el espacio
de orbitas X/ denida por (x, y) = d
X
(x, y), donde esta ultima denota la distancia
usual entre subconjuntos del espacio metrico X. Claramente d
X
(x, y) = d
X
(x, y).
La hipotesis de que act ua discontinuamente se usa para mostrar que (x, y) > 0 si
x ,= y. La desigualdad del triangulo para equivale a d
X
(x, z) d
X
(x, y)+d
X
(y, z),
lo cual se puede vericar notando que d
X
(x, z) d
X
(x, y) + d
X
(y, z) = d
X
(x, y) +
d
X
(y,
1
z) para todos , .
Sea : X X/ la proyeccion canonica. Entonces es claro que, para toda x X y
toda r > 0, se tiene que (B
r
(x)) = B
r
(x). Mas aun, si act ua libremente (es decir, si
la condicion x = x para alg un x X implica que es la identidad) entonces es una
isometra local:
Proposicion 10. Supongase que act ua libremente. Dado x X, sea s =
1
2
d(x, xx).
Entonces [
B
s/2
(x)
: B
s/2
(x) B
s/2
(x) es una biyeccion isometrica.
De ahora en adelante supondremos siempre que act ua libremente y dis-
continuamente en X, que es un grupo de translaciones cuando X = C, y que
es un subgrupo de Aut(D) cuando X = D.
Demostracion. Si no es la identidad y y, z B
s/2
(x), se tiene que d
X
(y, z) =
d
X
(x, y)+d
X
(y, z)+d
X
(z, x)d
X
(x, y)d
X
(z, x) d
X
(x, x)d
X
(x, y)d
X
(z, x) =
d
X
(x, x)d
X
(x, y)d
X
(x, z) > 2ss/2s/2, lo cual muestra que (y, z) = d
X
(y, z) =
d
X
(y, z) pues el elemento de que realiza la distancia entre y y z es la identidad.
Para enfatizar la dependencia de x, haremos r
x
=
1
4
d
X
(x, x x). De la proposicion
anterior se tiene que
x
= [
Brx
(x)
es homeomorsmo. Luego las funciones
x
: B
rx
(x)
B
rx
(x) determinan un sistema de vecindades locales para X/, de donde se concluye que
X/ es una supercie.
Lema 11. Dados x, y X a lo m as existe un tal que B
rx
(x) B
ry
(y) es no vaco.
Demostracion. Si z
k
B
rx
(x) B
ry
(
k
y) para k = 1, 2 con
1
,=
2
, entonces 4r
y

d
X
(
1
y,
2
y) d
X
(
1
y, z
1
) + d
X
(z
1
, x) + d
X
(x, z
2
) + d
X
(z
2
,
2
y) < 2(r
x
+ r
y
) si
1
,=
2
y, por otro lado 4r
x
d
X
(
1
1
x,
1
2
x) d
X
(
1
1
x,
1
1
z) + d
X
(
1
1
z, y) + d
X
(y,
1
2
z) +
d
X
(
1
2
z,
1
2
x) < 2(r
x
+ r
y
). Las dos desigualdades 2r
y
< r
x
+ r
y
y 2r
x
< r
x
+ r
y
se
contradicen.
Corolario 12. X/ es supercie de Riemann con el sistema de vecindades locales
x
:
B
rx
(x) B
rx
(x).
Demostracion. Nada mas hay que vericar que los cambios de coordenadas son biholomor-
smos. Si z B
rx
(x) B
ry
(y) entonces existen
1
,
2
tales que
1
z B
rx
(x) y

2
z B
ry
(y). Luego cada orbita en B
rx
(x) B
ry
(y) tiene un representante en B
ry
(y)
que es enviado en B
rx
(x) por alg un elemento de . Por el lema anterior, dicho elemento
NOTAS PARA AN

ALISIS COMPLEJO I 9
de debe ser el mismo para todos los representantes en B
ry
(y). En efecto, tal elemento es

1
2
, que es un biholomorsmo.
Sea X y Y espacios metricos. Una funcion p : X Y es llamada funcion cubriente si se
cumple lo siguiente: Todo punto y Y tiene una vecindad abierta U tal que su preimagen
p
1
(U) es una union de abiertos ajenos p
1
(U) =
jJ
V
j
, y las restricciones p

V
j
: V
j
U
es homeomorsmo.
Corolario 13 (Proyeccion canonica es funcion cubriente). La proyeccion canonica : X
X/ es una funcion cubriente.
Demostracion. Para cada x X/ la vecindad B
rx
(x) cumple que su imagen inversa

1
(B
rx
(x)) es union de abiertos ajenos

B
rx
(x) con

Brx
(x)
: B
rx
(x) B
rx
(x)
biyeccion isometrica para cada .
Usaremos el Corolario 13 para obtener algunos resultados interesantes de funciones que
salen o llegan a X/.
Lema 14 (Levantamiento de caminos). Sea : [0, 1] X/ una curva continua tal que
(0) = x
0
. Entonces existe una unica curva continua : [0, 1] X tal que (0) = x
0
y
( (t)) = (t) para toda t [0, 1].
Tal curva es llamada el levantamiento de .
Demostracion. Sea V
k

l
k=0
una cubierta de ([0, 1]) por abiertos de la forma B
rx
(x). Es
posible numerar los abiertos V
k
de manera que x
0
V
0
y que existe una particion del
intervalo [0, 1] tal que ([t
j
, t
j+1
]) V
j
para todo j = 0, 1, . . . , l 1. Deniremos de
manera inductiva. Sea U
0
la componente conexa de
1
(V
0
) que contiene a x
0
. Denimos

[t
0
,t
1
]
= (

U
0
)
1
. Suponiendo denida : [t
0
, t
j
] X con (t
0
) = x
0
y

[t
0
,t
j
]
= ,
consideramos la componente conexa U
j
de
1
(V
j
) que contiene a (t
j
). Extendemos a
[t
j
, t
j+1
] haciendo

[t
j
,t
j+1
]
= (

U
j
)
1
. De esta manera se obtiene la curva deseada.
Para mostrar la unicidad, consideramos dos levantamientos
1
y
2
de que comiencen
en x
0
. Cubriendo ([0, 1]) por abiertos de la forma B
rx
(x) y considerando las isometras
entre B
rx
(x) y B
rx
(x) se tiene que el conjunto de puntos t [0, 1] en los cuales
1
(t) =

2
(t) es abierto. De igual manera el conjunto de puntos t [0, 1] en los cuales
1
(t) ,=
2
(t)
es abierto. Pero el primero no es vaco pues contiene a 0, luego el primero es todo [0, 1],
por conexidad.
Se dice que dos curvas
0
,
1
: [0, 1] X continuas con los mismos extremos
0
(0) =

1
(0) y
0
(1) =
1
(1) son homotopicas si existe una homotopa entre ellas, es decir, una
funcion continua h : [0, 1] [0, 1] X tal que
h(s, 0) =
0
(s),
h(s, 1) =
1
(s),
h(0, t) =
j
(0), j = 1, 2,
h(1, t) =
j
(1), j = 1, 2.
10 JORGE LUIS L

OPEZ L

OPEZ
Dicho de otro modo, una homotopa es una familia continua de curvas
t
= h(, t) : [0, 1]
X que tienen los mismos extremos que las curvas
0
y
1
, y que representan una deforma-
cion entre
0
y
1
por curvas
t
.
Lema 15 (Levantamiento de homotopas). Sean
0
: [0, 1] X/ y
1
: [0, 1] X/
dos curvas continuas con los mismos extremos. Sea h : [0, 1] [0, 1] X/ una homotopa
entre ellas. Sea
0
un levantamiento de
0
. Sea

h : [0, 1] [0, 1] X la funcion denida
por (s, t)
t
(s), donde
t
es el levantamiento de
t
= h(, t) que comienza en
0
(0).
Entonces

h es continua.
Demostracion. Denotaremos a la vecindad (u
0
, u
0
+) [0, 1] de u
0
en [0, 1] por I

(u
0
).
Una caja abierta I

(s) I

(t) sera llamada peque na si es enviada por h en una vecindad

de la forma B
rx
(x). Claramente, si

h es continua en una rebanada vertical s
0
I

(t)
de una caja chica, entonces es continua en toda esa caja. En tal situacion diremos que la
caja no solo es chica, sino que ademas es buena.
Para t [0, 1] jo sea S el conjunto de s [0, 1] tales que existe una caja peque na y
buena I

(s) I

(t). Entonces S es abierto en [0, 1]. Ademas 0 S pues h(0, t) =

j
(0),
para toda t [0, 1], y por continuidad existe > 0 tal que h([0, ] [0, 1]) U donde U
es una vecindad de la forma B
rx
(x). Para mostrar que S es cerrado considerese s
0
S.
Existe una caja peque na I

(s
0
) I

(t) alrededor de (s
0
, t). Sea s
1
I

(s
0
) S. Entonces

h
es continua en una vecindad I

(s
0
) I

(t) y se concluye que s

0
S.
Corolario 16 (Lema de la monodroma). Sean
0
y
1
dos curvas continuas en X/ con
los mismos extremos. Si existe una homotopa entre ellas, entonces sus levantamientos
0
y
1
a X que comienzan en un mismo punto x
0
deben tener el mismo extremo nal, es
decir,
0
(1) =
1
(1).
Demostracion. Sea h : [0, 1] [0, 1] X/ una homotopa entre
0
y
1
. Sea
t
la curva
continua h(, t) : [0, 1] X/. Al levantar individualmente cada curva
t
a una curva
t
que comienza en x
0
, se obtiene una curva de extremos nales t
t
(1) que es enviada
por al punto
0
(1) =
1
(1). Por el Lema del levantamiento de homotopas, esta curva de
extremos nales es contnua, y por lo tanto debe ser constante pues la orbita de todo
punto es discreta.
Teorema 17 (Levantamiento de funciones). Sea X alguno de D o C y sea Y alguno de
D, C o P
1
. Sea f : Y X/ una funcion contnua y sean a Y y b X tales que
f(a) = (b). Entonces existe una funcion continua

f : Y X tal que

f = f y

f(a) = b.
Si f es holomorfa entonces

f es holomorfa.
Tal funcion es llamada levantamiento de f. Cambiando a y b puede obtenerse otro
levantamiento de f, pero puede probarse facilmente que, una vez elegidos a y b, existe un
unico levantamiento

f tal que

f(a) = b.
Demostracion. Sea y Y arbitrario. Sea : [0, 1] Y curva que conecta a con y.
Consideramos la curva f en X/ y su unico levantamiento : [0, 1] X que comienza
en b. Denimos

f(y) = (1). El punto

f(y) denido as es independiente de por el Lema
NOTAS PARA AN

ALISIS COMPLEJO I 11
de la monodroma, pues cualesquiera dos curvas en Y con los mismos extremos pueden
deformarse una en la otra preservando sus extremos. Mostraremos la continuidad en un
punto arbitrario y
0
. Sea x
0
=

f(y
0
). Sea V una vecindad de y
0
tal que f(V ) B
r
(x
0
)
con r r
x
0
. Basta demostrar que

f(V ) esta contenido en B
r
(x
0
). Sea y V un punto
arbitrario. Entonces x =

f(y) puede contruirse de la siguiente manera: conectamos y
0
con y
en V y consideramos la curva imagen en B
r
(x
0
). Esta curva puede ser levantada a X con
punto inicial x
0
y su levantamiento esta contenido en B
r
(x
0
). En particular

f(y) B
r
(x
0
).
El que f sea holomorfa quiere decir precisamente que, con las restricciones adecuadas,

1
f es holomorfa, pero f =

f implica que

f =
1
f localmente.
Ejemplo 18 (Logaritmo de una funcion). Sea X alguna de las 3 supercies de Riemann
P
1
, C o D. Sea f : X C

una funcion holomorfa que no se anula en ning un punto. Para

hallar una funcion holomorfa F : X C tal que e
F
= f (i.e. F es el logaritmo de f) lo que
se debe hacer es levantar f al cubriente : C C

donde (z) = e
z
. Esto puede hacerse
por el Teorema de levantamiento de funciones.
Ejemplo 19 (Raz de una funcion). Sea X alguna de las 3 supercies de Riemann P
1
, C
o D. Sea f : X C

una funcion holomorfa que no se anula en ning un punto. Para hallar

una funcion holomorfa F : X C tal que F
n
= f (i.e. F es la raz n-esima de f) lo que
se debe hacer es levantar f al cubriente : C

donde (z) = z
n
.
Corolario 20. 1. Toda funcion holomorfa f : C/ D/

es constante.
2. Si X = C o X = D, entonces toda funcion holomorfa P
1
X/ es constante.
Demostracion. Toda funcion holomorfa f : X/ X

se levanta a una funcion holo-

morfa

f : X X

. Toda funcion holomorfa

f : C D es constante por el Teorema de
Liouville, y toda funcion holomorfa

f : P
1
C es constante por el principio del maxi-
mo.
Corolario 21 (Teorema de Picard). Toda funcion entera f : C C que omite mas de un
valor debe ser constante.
f(z) = e
z
es un ejemplo de una funcion entera que omite exactamente un valor, pues no
existe z tal que e
z
= 0.
Demostracion. En la siguiente seccion clasicaremos las supercies de Riemann que son de
la forma C/, y veremos que C2 puntos no es ninguna de ellas. Luego C2 puntos
debe ser de la forma D/ por el Teorema de Uniformizacion. Por lo tanto, si existiera
f : C C 2 puntos = D/ entera, podemos levantarla a una funcion homolorfa

f : C D, que debe ser constante por el Teorema de Liouville.

2.0.2. Ejercicios.
1. a) Mostrar que tan : C P
1
es un homeomorsmo local.
b) Mostrar que tan(C) = P
1
i y que tan : C P
1
i es una funcion
cubriente.
c) Sea X = C it : t R, [t[ 1. Mostrar que para todo k Z existe una
funcion holomorfa arctan
k
: X C con tan arctan
k
= id
X
y arctan
k
(0) = k.
12 JORGE LUIS L

OPEZ L

OPEZ
2. Sean f y g funciones enteras. Mostrar que si f y g tienen los mismos ceros contando
multiplicidades, entonces f(z) = e
h(z)
g(z) para alguna funcion entera h.
3. Hallar un conjunto abierto conexo U C y dos funciones continuas f, g : U C
tales que f(z)
2
= g(z)
2
= 1z
2
para toda z U. Son f y g holomorfas? Encontrar
un U maximal.
4. Sea el grupo generado por las translaciones
1
(z) = z +1 y
2
(z) = z +i. Decimos
que la imagen bajo : C C/ de una recta / en C es una recta cerrada si la
pendiente de / es racional, y decimos que es una recta no cerrada si la pendiente es
irracional.
a) Probar que cualquier recta no cerrada en T intersecta cualquier recta cerrada
una innidad de veces.
b) Probar que cualquier recta no cerrada en T no se interseca a s misma.
5. Sean
1
y
2
subgrupos de Aut(D) que act uan libremente y discontinuamente en D.
Mostrar que existe un biholomorsmo entre D/
1
y D/
2
si y solo si
1
y
2
son
conjugados, es decir, existe T Aut(D) tal que T
1
T
1
=
2
.
6. (Este ejercicio usa la caracterstica de Euler de una supercie)
a) Sean S
1
y S
2
dos supercies de Riemann. Supongase que la supercie S
2
esta trian-
gulada. Sea : S
1
S
2
una funcion cubriente n 1. Mostrar que (S
1
) =
n(S
2
).
b) Si : S T
2
es un cubriente n 1, mostrar que S tambien es un toro.
7. (Este ejercicio usa la caracterstica de Euler de una supercie) Hallar el genero de
las supercies dadas por las siguientes ecuaciones:
a) w
8
+z
8
1 = 0,
b) w
2
z
4
(z 1) = 0,
c) w
3
w +z = 0.
3. Toros y grupo modular
3.1. Toros complejos.
Teorema 22. Sea un grupo de translaciones que act ua discontinuamente en C. Entonces
es uno de los siguientes:
1. = 0.
2. = n
1
: n Z donde
1
(z) = z +
1
con
1
C

.
3. = m
1
+n
2
: m, n Z donde
1
(z) = z +
1
y
2
(z) = z +
2
con
1
,
2
C
linealmente independientes sobre R.
Demostracion. Supongase que ,= 0. Entonces en la -orbita de 0 existe un elemento

1
de longitud mnima [
1
[. Esto puede verse por ejemplo usando que la -orbita de 0 es
discreta y considerando la interseccion de la -orbita de 0 con un disco cerrado centrado en
el origen de radio sucientemente grande. Sea
1
(z) = z +
1
. Sea L la recta
1
: R
y sea G el grupo de translaciones en la direccion de L, es decir, G = z z + : L.
Supongase que consta de translaciones en la direccion de L, es decir, G. Mostra-
remos por reduccion al absurdo que =
1
= n
1
: n Z. Si es de la forma
NOTAS PARA AN

ALISIS COMPLEJO I 13
(z) = z +
1
con R Z entonces existe n N tal que n < < n + 1 y
n
,
de donde se sigue que ( n)
1
esta en la -orbita de 0, pero 0 ,= [( n)
1
[ < [
1
[
contradiciendo la eleccion de
1
.
Si , G entonces existe un elemento
2
en la
1
-orbita de 0 de norma [
2
[
mnima. Entonces
1
,
2
donde
2
(z) = z+
2
. Mostraremos por reduccion al absurdo
que
1
,
2
= , y lo haremos analizando la -orbita de 0. Sea =
1
+
2
con
, R pero ,= m
1
+ n
2
con m, n Z. Sumando y/o restando m ultiplos enteros
de
1
y
2
podemos suponer que [[ 1/2 y [[ 1/2. Ninguno de y pueden ser
0 pues la eleccion de
1
y
2
obliga que ambos sean 0. Entonces ambos son no nulos
y [[ < [
1
[ + [
2
[
1
2

1
+
1
2

2
[
2
[, siendo la primera desigualdad estricta por la
independencia lineal de
1
y
2
. Esto contradice la eleccion de
1
.
Teorema 23. Los toros C/ y C/

son biholomorfos si y solo si y

son semejantes,
es decir, existe a C

tal que a =

.
Demostracion. Sean : C C/ y

: C C/

las proyecciones canonicas. Sea

f : C/ C/

holomorfa. Por el Teorema del levantamiento de funciones existe una

funcion holomorfa

f : C C tal que f =

f. Si f es biholomorsmo, un levantamiento
de f
1
sera la inversa de

f, luego

f(z) = az +b. Tambien

f(z + ) =

f(z) +

para toda
z C. Sea jo. Entonces

f(z +) =

f(z) +

z
, donde

posiblemente dependa
de z. Sin embargo, la funcion z

z
=

f(z + )

f(z) es continua y manda C en el
conjunto discreto

, luego debe ser constante y

z
no depende de z, solo depende de , es
decir,

f(z + ) =

f(z) +

. Por lo tanto a(z + ) + b = az + b +

, de donde a

.
Analogamente, usando f
1
, se tiene que a
1

.
Recprocamente, si a =

entonces la transformacion afn de C denida por z az

baja a los cocientes como un biholomorsmo entre C/ y C/

.
El teorema anterior indica cuando dos retculas diferentes determinan toros biholomorfos.
Una retcula esta dada por un par de generadores, pero estos generadores no son unicos.
Por ejemplo, si esta generada por
1
y
2
, entonces tambien esta generada por
1
y

1
+
2
. El siguiente resultado nos indica exactamente cuales pares de elementos generan
la misma retcula que
1
y
2
. Para enunciarlo, notemos que todo par de elementos de
=
1
,
2
son de la forma
(4)

2
= a
2
+b
1

1
= c
2
+d
1
con a, b, c, d Z.
Proposici on 24. La ecuacion (4) determina un par de generadores

1
,

2
para =
1
,
2

si y solo si ad bc = 1.
Demostracion. Supongase que

1
y

2
, dados por (4), determinan una base para . Entonces
tambien
(5)

2
= a

2
+b

1
= c

2
+d

1
14 JORGE LUIS L

OPEZ L

OPEZ
con a

, b

, c

, d

Z. En efecto,
1
,
2
=

1
,

2
si y solo si se cumplen (4) y (5). De (4)
se tiene d

2
b

1
= (ad bc)
2
. Puesto que

1
y

2
no pueden ser colineales se tiene que
ad bc ,= 0. Tambien de (4) se tiene a

1
c

2
= (ad bc)
1
. La expresion de
1
y
2
en
terminos de

1
y

2
debe ser unica, pues C es un R-espacio vectorial bidimensional y

1
y

2
forman una base. Entonces podemos comparar con (5) para obtener
(6) a

=
d
ad bc
, b

=
b
ad bc
, c

=
c
ad bc
, d

=
a
ad bc
.
Analogamente, podemos obtener expresiones para

1
y

2
en terminos de
1
y
2
a partir
de (5) para compararlas con (4) y obtener
a =
d

, b =
b

, c =
c

, d =
a

.
Por lo tanto (ad bc)(a

) = 1 y, siendo enteros, la unica manera de que esto sea

posible es si ad bc = 1.
Recprocamente, si ad bc = 1 podemos considerar a

, b

, c

, d

dados por (6) que van a

satisfacer (5).
3.2. Grupo modular. Nuestro objetivo ahora es clasicar toros C/ modulo biholo-
morsmo. Por el Teorema 23, esto es lo mismo que clasicar retculas modulo semejanza.
El espacio de retculas modulo semejanza es bidimensional, pues a toda retcula
1
,
2

se le puede asociar un punto H de tal manera que las retculas

1
,
2
y 1, son
semejantes, simplemente haciendo =
1
/
2
o =
2
/
1
. Entonce, para clasicar retculas
modulo semejanza. Sin embargo, dad una retcula no es posible escoger generadores
1
y
2
de manera canonica (Proposicion 24), o dicho de otro modo, varios determinan la
misma retcula.
Teorema 25. El espacio de toros es H/PSL(2, Z).
El grupo PSL(2, Z) es llamado grupo modular.
Demostracion. Basta mostrar que C/1, y C/1,

son biholomorfos si y solo si

=
az +b
cz +d
con
_
a b
c d
_
PSL(2, R). Por el Teorema 23 y la Proposicion 24 las retculas 1,
y 1,

son semejantes si y solo si existen a, b, c, d Z y C

, con ad bc = 1 tales
que

= (a +b)
1 = (c +d)
,
de donde
a +b
c +d
. Pero como ,

H entonces ad bc = 1.
Una poligono (hiperbolico) H que contiene representantes de toda PSL(2, Z)-
orbita, pudiendo contener hasta 2 representantes de una misma orbita en su frontera, y
hasta un representante de una misma orbita en su interior, es llamada region fundamental
para PSL(2, Z).
NOTAS PARA AN

ALISIS COMPLEJO I 15
Teorema 26. = x + iy : 1 2x 1, x
2
+ y
2
1 es una region fundamental para
PSL(2, Z).
Demostracion. Notar primero que si

=
a +b
c +d
entonces las partes imaginarias satisfacen

=

[c +d[
2
.
no es tan peque no: Dado es posible escoger un elemento

en la PSL(2, Z)-
orbita de con parte imaginaria maximal. Para ver esto, notar que basta hacer
[c + d[ mnimo no nulo. Tal elemento mnimo existe pues c + d es un elemento
de la retcula 1, . Moviendo horizontalmente por translaciones enteras podemos
suponer que 1/2 1

1/2. Siendo

= 1/

otro elemento de la PSL(2, Z)-

orbita de y puesto que

/[

[
2
1/[

[ se concluye que [

[ 1 para no
contradecir que

es maximo. Luego

.
no es tan grande: Sea tal que es maximo en su PSL(2, Z)-orbita. Sea

= x + iy otro punto en la misma PSL(2, Z)-orbita de . Supongase que

=
a

+b
c

+d
. Entonces

[c

+d[
2
, as que
1 [c

+d[
2
= (cx +d)
2
+c
2
y
2
= c
2
(x
2
+y
2
) + 2cdx +d
2
c
2
[cd[ +d
2
([c[ [d[)
2
.
Consideraremos 2 casos: cuando cd ,= 0 y cuando cd = 0.
En el primer caso la ultima desigualdad es estricta y entonces [c[ = [d[. Entonces
1 c
2
[cd[ + d
2
se traduce en c
2
, d
2
1, por lo tanto c
2
= d
2
= 1 y cd = 1.
Las desigualdades 1 c
2
(x
2
+ y
2
) + 2cdx + d
2
c
2
[cd[ + d
2
se traducen en
1 x
2
+ y
2
+ 1 2x 1, de donde x
2
+ y
2
= 1 y x = 1/2, resultando los dos
vertices de .
En el segundo caso 1 c
2
[cd[ + d
2
se traduce en 1 c
2
+ d
2
. Puesto que no
puede ser que c = d = 0 para no contradecir ad bc = 1, se tienen dos casos:
Caso 1: c = 1, d = 0. Entonces

es unitario pues x
2
+y
2
= 1. Ademas adbc =
1 obliga b = 1. Entonces = a 1/

. Puesto que ,

, se tiene a = 0.
Esto identica puntos en el lado inferior de .
Caso 2: c = 0, d = 1 Entonces ad bc = 1 obliga a = 1, luego =

b. Esto
identica puntos que estan en los lados laterales de .

Resulta que el grupo modular esta generado por X =

_
0 1
1 0
_
y Z =
_
1 1
0 1
_
. Esto
se prueba facilmente como sigue: Sea A =
_
a b
c d
_
un elemento arbitrario de PSL(2, Z).
Al multiplicar A por la derecha por Z
n
a la segunda columna de A el m ultiplo n de la
primera columna, dejando la primera columna sin cambio. Al multiplicar A por la derecha
16 JORGE LUIS L

OPEZ L

OPEZ
por W
n
= XZ
n
X se logra una transformacion elemental en A que consiste en agregar
a la primera columna de A el m ultiplo n de la segunda columna, dejando la segunda
columna sin cambio. Al multiplicar A por la derecha por X se logra una transformacion
elemental en A que consiste en intercambiar las dos columnas cambiando el signo de la
primera. Entonces, aplicando las dos primeras transformaciones elementales a A se puede
llevar al cabo el algoritmo de Euclides para a y b. Puesto que estos dos n umeros son primos
relativos, al nal se obtiene una matriz cuyo primer renglon consiste del 0 y el 1 en alg un
orden. Aplicando la tercera transformacion elemental si es necesario se obtiene una matriz
de la forma
_
1 0
k l
_
, es decir,
AW
q
1
Z
q
2
W
q
3
X

=
_
1 0
k l
_
para 0, 1. Puesto que el determinante del producto del lado izquierdo es 1, se concluye
que l = 1 y AW
q
1
Z
q
2
W
q
3
X

X, Z, luego A X, Z.
Sea Y = XZ. Entonces X
2
= Y
3
= I. En efecto, veremos que estas dos son las unicas
relaciones validas en el grupo generado por X y Y .
Teorema 27. PSL(2, Z) = X, Y : X
2
= Y
3
= I.
Demostracion. Ya se probo que PSL(2, Z) = X, Z = X, Y . Falta que ver que una
palabra W = g
1
g
2
g
3
g
k
X, Y es igual a la identidad I si y solo si W se puede
obtener a partir de las relaciones X
2
= Y
3
= I. De manera mas precisa, cada g
j
es una
potencia de X o de Y , y podemos reducirla mediante los siguientes pasos:
1. Si g
j
y g
j+1
son potencias de la misma letra entonces las juntamos en una sola
potencia de dicha letra.
2. Luego usamos las relaciones X
2
= Y
3
= I para quedarnos solamente con potencias
de X de la forma X
k
con k = 0, 1, y potencias de Y de la forma Y
l
con l = 0, 1.
3. Despues eliminamos cuando aparece X
0
o Y
0
y volvemos a comenzar con el primer
paso.
Despues de un n muero nito de aplicaciones de estos pasos, en ese orden, llegamos a una
palabra reducida W

que ya no cambia. Esta palabra puede ser vaca (en cuyo caso decimos
que la relacion W = I se obtiene de las relaciones X
2
= Y
3
= I) o puede ser no serlo. Para
concluir la demostracion probaremos que una palabra reducida no trivial W

= h
1
h
2
h
r
no puede satisfacer W

= I. Tenemos 4 posibilidades para W

:
1. r es impar y h
1
= h
r
= X.
2. r es impar y h
1
= Y
1
, h
r
= Y
1
.
3. r es par y h
1
= X, h
r
= Y
1
.
4. r es par y h
1
= Y
1
, h
r
= X.
Para ver que W

no es la identidad analizaremos su accion en cierta regon de H. Para esto

denimos A = H : 1 < 0, B = H : [ + 1[ > [[ y [ + 1[ > 1, C = A B.
Claramente X(A) = H : 1 > 0, por lo que X(A) A = . Por otro lado, si B
NOTAS PARA AN

ALISIS COMPLEJO I 17
entonces Y () + 1 = [/( + 1)[ < 1 y Y (B) B = . Esto ultimo tambien muestra que
Y
1
(B) B = . En particular X(A) B A y Y
1
(B) AB.
Vermos que W

(C) C = y entonces W

no puede ser la identidad. Nada mas lo veri-

caremos en el caso en el que h
1
= h
r
= X (el primer caso de los 4 listados anteriormente)
pues los demas son analogos. Entonces
W

(C) = XY
1
X XY
1
X(C)
XY
1
X XY
1
X(A)
XY
1
X XY
1
(B)
XY
1
X X(A)
.
.
.
X(A)
B A = B (A B) = B C

3.2.1. Ejercicios.
1. a) Sean Z[i] = m + ni : m, n Z y Z[] = m + n : m, n Z donde
= (1 +

3)/2 es una raz c ubica de la unidad. Mostrar que Z[i] y Z[] son
subgrupos discretos de C.
b) Mostrar que Z[

2] = m + n

2 : m, n Z es un subgrupo de C pero que no

es discreto.
2. Mostrar que a
2
+b
1
puede ser un elemento de una base para la retcula
1
,
2
si
y solo si a y b son enteros primos relaitivos, o a = 1 y b = 0, o a = 0 y b = 1.
3. Considerar la region modular = x +iy : 1 2x 1, x
2
+y
2
1. Probar que
los elementos PSL(2, Z) tales que () ,= son
_
1 0
0 1
_
,
_
0 1
1 0
_
,
_
0 1
1 1
_
,
_
1 1
1 0
_
.
y hallar sus puntos jos.
4. Mostrar que un toro C/ siempre admite biholomorsmos en s mismo, probando
que las translaciones z z + b y la reeccion z z denidas en C bajan al
cociente mediante : C C/.
5. Sea (2) < PSL(2, Z) el grupo modular de nivel 2
(2) =
__
a b
c d
_

_
1 0
0 1
_
(mod 2)
_
.
Mostrar que una region fundamental para (2) es el cuadrilatero (hiperbolico) ideal
con vertices en 1, 0, 1, . Mostrar que H/(2) es una esfera excepto 3 puntos.
6. Un automorsmo de una retcula es una biyeccion : tal que (u + v) =
(u) + (v) para todo u, v . Mostrar que si es un automorsmo de
entonces = 1, i, (1

3)/2, (1

3)/2.
18 JORGE LUIS L

OPEZ L

OPEZ
7. (Este ejercicio usa la caracterstica de Euler de una supercie) Mostrar que no existe
un subgrupo de Aut(D) tal que D/ sea homeomorfo a un toro, de la siguiente
manera.
a) Triangular D/ con un n umero nito de triangulos hiperbolicos, obteniendo
as una triangulacion con T triangulos, A aristas y V vertices.
b) Mostrar que el area de D/ es (T 2V ).
c) Concluir que T A+V < 0, y que D/ no es un toro.
4. Ap endice
4.1. Algunas consecuencias de la Formula de Cauchy.
Teorema 28 (Formula Integral de Cauchy). Si f es homomorfa en la componente acotada
y sobre una curva cerrada de Jordan se tiene f(z) =
1
2i
_

f()
z
d para todo punto z
en la componente acotada por .
Teorema 29 (Formula Integral de Cauchy generalizada). Si f es homomorfa en la compo-
nente acotada y sobre una curva cerrada de Jordan se tiene f
(n)
(z) =
n!
2i
_

f()
( z)
n+1
d
para todo punto z en la componente acotada por .
Demostracion. Basta derivar la Formula Integral de Cauchy.
Notar que en este resultado esta implcito que una funcion homomorfa tiene derivadas
holomorfas de todo orden.
Teorema 30 (Teorema de Liouville). Sea f una funcion entera acotada. Entonces f es
constante.
Demostracion. La formula de Cauchy dice que f

(z) =
1
2
_

f()
( z)
2
d para un crculo
de radio R centrado en z. Luego existe C > 0 tal que [f

(z)[ C/R. Haciendo R se

tiene que f

(z) = 0 para todo z C.

Teorema 31. Si f es homomorfa en un abierto que contiene al anillo A
r,R
= z C :
r [z[ R, donde 0 r < y 0 < R , entonces f puede expresarse como una
serie de Laurent
f(z) =

n=
a
n
z
n
,
con los coecientes dados por
(7) a
n
=
1
2
_

f()
( z)
n+1
d
donde es la curva formada por los crculos de radio r y R.
NOTAS PARA AN

ALISIS COMPLEJO I 19
Si f es holomorfa en una bola ponchada B

R
(z
0
) = B
R
(z
0
) z
0
con R > 0 decimos
que f tiene una singularidad aislada en z
0
. En tal caso f tiene un desarrollo en serie de
Laurent alrededor de z
0
. La parte principal de f en z
0
es la parte de la serie de Laurent con
exponentes negativos

1
n=
a
n
z
n
. La singularidad en z
0
es esencial si la parte principal
de f en z
0
es una serie innita.
Teorema 32 (Weierstrass). Sea z
0
una singularidad esencial de f. Entonces la imagen de
la vecindad ponchada f(B

(z
0
) z
0
) es densa en C para toda > 0.
Demostracion. Veamos primero que no es posible que f sea acotada en cualquier vecindad
ponchada B

(z
0
) z
0
donde esta denida f. Esto es inmediato pues si la cota fuera M,
entonces [a
n
[ Mr
n
para r > 0 arbitrario, por la formula (7). Dado C arbitrario,
si tuviera una vecindad ajena a f(B

(z
0
) z
0
) entonces g(z) = 1/(f(z) ) sera
acotada en B

(z
0
) z
0
, luego g puede denirse en z
0
de manera que es holomorfa en
B

(z
0
) z
0
. Esto contradice el que z
0
es singularidad esencial.
Teorema 33 (Principio del maximo). Si f es homomorfa en un abierto U y si z
0
U
cumple que [f(z
0
)[ [f(z)[ para todo z U, entonces f debe ser constante.
Demostracion. Componiendo f con una transformacion afn, podemos suponer que f cum-
ple las siguientes propiedades:
1. [f(0)[ = 1.
2. U contiene al disco unitario cerrado.
3. [f(z)[ 1 para todo [z[ = 1.
4. [f(z)[ < 1 para alg un z tal que [z[ = 1.
Si es el crculo unitario, la Formula Integral de Cauchy lleva a una contradiccion:
1 = [f(0)[ =
1
2

f(z)
z

1
2
_

[f(z)[dz < 1.

Teorema 34. Sea U C un abierto que contiene al punto z

0
. Sea f : U C homomorfa
y acotada en U z
0
. Entonces f(z
0
) puede escogerse (de manera unica) de manera que
f es holomorfa en U.
Demostracion. Sea un crculo peque no en U que encierra a z
0
. Sea D el abierto acotado
por . Sea g : D C la funcion holomorfa denida por g(z) =
1
2i
_

f()
z
d. Basta
mostrar que f(z) = g(z) para toda z D z
0
.
Teorema 35 (Lema de Schwarz). Sea f : D D homomorfa tal que f(0) = 0. Entonces
alguna de las siguientes dos armaciones es cierta:
1. [f(z)[ < [z[ (con z ,= 0) y [f

(0)[ < 1.
2. f(z) = cz para alguna constante c C tal que [c[ = 1.
20 JORGE LUIS L

OPEZ L

OPEZ
Demostracion. Denir
h(z) =
_
f(z)/z, z ,= 0
f

(0), z = 0
.
Si [z[ < r < 1, el Principio del Maximo aplicado a la funcion holomorfa h implica que
[h(z)[ 1/r. Haciendo r 1 se concluye que [h(z)[ 1 para toda z D. Si [h(z)[ = 1
para alg un z D entonces el Principio del Maximo implica que h es constante, luego
f(z) = cz para alguna constante c C tal que [c[ = 1.
4.1.1. Ejercicios.
1. Sea f holomorfa en una abierto que contiene a la bola cerrada B

(z) de radio
centrada en a. Sea M el maximo de [f(z)[ en la frontera B

(z) de la bola B

(z).
Mostrar que [f
(n)
(z)[ n!M/
n
.
2. Sea f entera tal que para cada r se tiene que
_
2
0
[f(re
i
)[d r
17/3
. Mostrar que f
es constante nula.
3. Sea f una funcion entera tal que [f(z)[ M[z[
n
para todo z > R, donde n es un
entero positivo jo y R es un real positivo jo. Mostrar que f
(n+1)
(z) = 0 en todo z
y concluir que f(z) es un polinomio de grado menor o igual a n.
4. Sean f y g funciones enteras tales que [f(z)[ [g(z)[ para toda z C. Probar que
existe una constante c C tal que f = cg.
5. Sea C R. Sea f una funcion entera tal que f(z + ) = f(z + 1) = f(z) para
todo z C. Mostrar que f es constante.
6. Demostrar el Teorema Fundamental del

Algebra usando el Teorema de Liouville
(sugerencia: si p(z) es un polinomio complejo sin races, considerar f(z) = 1/p(z)).
7. Sea u : C R la parte real de la funcion entera f = u + iv. Suponiendo que
lminf
z
u(z) > , mostrar que f tiene una singularidad removible en el punto
al innito.
8. Muestre que si f : U C es homomorfa, con U C abierto, entonces los ceros de
f no pueden acumularse en un punto U.
9. Encuentre todas las funciones holomorfas f : D C que satisfacen la ecuacion
f

(1/n) +f(1/n) = 0 para todo entero n > 2.

10. Existe alguna funcion holomorfa f : B
2
(0) C tal que f(1/n) = f(1/n) = 1/n
2
para toda n N? Existe alguna funcion holomorfa f : B
2
(0) C tal que f(1/n) =
f(1/n) = 1/n
3
para toda n N?
11. Sea f : D H holomorfa tal que f(0) = i. Mostrar que [f(z)[
1 +[z[
1 [z[
.
12. Determinar si lm
z0
_
1
tan
2
z

1
z
2
_
existe y, si la respuesta es armativa, en-
cuentrelo. Hacer lo mismo para lm
z0
e
z
1
z
, lm
z0
sen z
z
, y lm
z0
1 cos z
z
.
13. Sea f(z) =
1
(2z + 1)(z 1)
. Hallar la expresion de f como serie de Laurent en el
anillo z C : 1/2 < [z[ < 1. Hallar tambien la expresion de f como serie de
Laurent en el anillo z C : 0 < [z + 1/2[ < 3/2.
NOTAS PARA AN

ALISIS COMPLEJO I 21
14. Sean a
1
, a
2
,. . . ,a
n
C distintos de 0. Probar que existe un n umero real [0, 2]
tal que [1 +

n
k=1
a
k
e
ik
[ 1.
15. Encontrar todas las funciones homomorfas en B
2
(1) B
2
(1) tales que
f(B
2
(1)) B
2
(1),
f(B
2
(1)) B
2
(1),
f(1) = 1 y f(1) = 1.
16. Sea f : D D una funcion homomorfa. Probar que si existen dos puntos distintos
a, b D tales que f(a) = a y f(b) = b entonces f es la funcion identidad.
4.2. Teorema del Residuo.