Está en la página 1de 160

VARIABLE COMPLEJA I

Dra. Laura Hidalgo Sols


Departamento de Matem aticas,
Universidad Aut onoma Metropolitana-Iztapalapa
comentarios: hiso@xanum.uam.mx
Mayo del 2006
2

Indice general
1. N umeros Complejos 9
1.1. El algebra de los n umeros complejos . . . . . . . . . . . . . . 9
1.2. El plano extendido. . . . . . . . . . . . . . . . . . . . . . . . 25
1.3. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
2. Teora de funciones C-diferenciables 35
2.1. Introduccion. . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
2.2. Funciones C-diferenciables y holomorfas. . . . . . . . . . . . . 36
2.3. Series de Potencias y funciones holomorfas . . . . . . . . . . . 47
2.4. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
3. Funciones elementales 57
3.1. Potencias y races. . . . . . . . . . . . . . . . . . . . . . . . . 57
3.2. La formula de Euler . . . . . . . . . . . . . . . . . . . . . . . 61
3.3. Las funciones exponencial y logaritmo. . . . . . . . . . . . . . 62
3.3.1. La funcion exponencial . . . . . . . . . . . . . . . . . . 62
3.3.2. La funcion Logaritmo . . . . . . . . . . . . . . . . . . 64
3.4. Las fuciones trigonometricas . . . . . . . . . . . . . . . . . . . 67
4. Aplicaciones Conformes 71
4.1. Introduccion. . . . . . . . . . . . . . . . . . . . . . . . . . . . 71
4.2. Aplicaciones Conformes . . . . . . . . . . . . . . . . . . . . . 72
4.3. Transformaciones de Mobius. . . . . . . . . . . . . . . . . . . 79
4.4. Simetra. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85
4.5. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87
5. Integral de Lnea. 91
5.1. Integracion Compleja . . . . . . . . . . . . . . . . . . . . . . . 91
5.2. El Teorema de Cauchy . . . . . . . . . . . . . . . . . . . . . . 108
5.3. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 113
3
4

INDICE GENERAL
6. Funciones holomorfas. 115
7. Homotopa y el Teorema de Cauchy. 121
8. El Indice de una curva 131
A. Teora Basica de las Series de Potencias. 143
A.1. Introduccion. . . . . . . . . . . . . . . . . . . . . . . . . . . . 143
A.2. Sucesiones y completes. . . . . . . . . . . . . . . . . . . . . . 149
A.3. Continuidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . 150
A.4. Convergencia uniforme.
El criterio M de Weierstrass. . . . . . . . . . . . . . . . . . . 151
A.5. Series de Potencias. . . . . . . . . . . . . . . . . . . . . . . . . 153
A. Sumas de Riemann-Stieltjes 155
A.1. Formulas de Cauchy y sus principales consecuencias. . . . . . 162

INDICE GENERAL 5
Introducci on
RESUMEN. A continuacion presentamos el resumen de las notas de
curso de variable compleja I, con el n de que el alumno tenga un apoyo
complementario a su libro de texto y/o notas de clase. Como parte de los
objetivos del presente curso tenemos que el alumno:
Comprenda los elementos basicos de la teora clasica de funciones de
una variable compleja, y los relacione con otras ramas de las matematicas,
esto con el n de prepararlo para cursos posteriores de matematicas.
Reconozca el papel que juega la variable compleja dentro de las ma-
tematicas, como antecesor de diversas areas de la misma, tales como
la teora de la homotopa, la teora de variedades, la teora de las
Supercies de Riemann, y la teora de Curvas Algebraicas, entre otras.
Integre los conocimientos y habilidades adquiridos en cursos anteri-
ores, tales como: Estructuras Numericas, Calculo Avanzado,

Algebra y
Geometra, reconociendo la interrelacion que hay entre ellos.
Rearme su habilidad para formular enunciados y demostraciones en
terminos matematicos, con el rigor adecuado.
6

INDICE GENERAL
Historia
Alrededor del a no 1545 el matematico italiano Girolamo Cardano publi-
co Ars Magna (El Gran Arte), una obra maestra de 40 captulos en el cual
se da, por primera vez, una solucion algebraica a la ecuacion c ubica general:
x
3
+ ax
2
+ bx + c = 0
Su tecnica involucro el transformar esta ecuacion en otra ecuacion c ubica
libre del termino cuadratico, esto es, una ecuacion de la forma:
x
3
+ bx + c = 0
Una solucion a dicha ecuacion esta dada como [U, pg. 84-86]:
x =
3

c
2
+
_
c
2
4
+
b
3
27
+
3

c
2

_
c
2
4
+
b
3
27
Dicha solucion le haba sido presentada por Niccolo Fontana, mejor cono-
cido como Tartaglia, aunque dicha solucion fue descubierta unos 30 a nos
antes por Scipione Ferro de Bolonia, de manera totalmente independiente.
Este valor que se obtuvo para x podra usarse para factorizar la c ubi-
ca en una ecuacion lineal y otra cuadratica, y la ultima podra resolverse
aplicando la formula cuadratrica. As, basando en el trabajo de Tartaglia,
y una transformacion apropiada, Cardano pudo resolver la ecuacion c ubica
general, hecho que hasta entonces haba parecido imposible.
En el tiempo de Cardano, todava se trataban los n umeros imaginarios
con cierta suspicasia, pues era difcil concebir cualquier realidad fsica que
correspondiese con ellos. El propio Cardano, pese a sus esfuerzos a tratar
con esta nocion, en un momento considero que, el proceso de la aritmetica
que trata con las cantidades imaginarias es, tan renado como in util.
Esta forma de pensar cambio apartir de 1572, a no en que Rafael Bombelli
mostro que, de hecho, estos n umeros tienen gran utilidad. Si se considera la
ecuacion c ubica x
3
15x4 = 0, y se substituyen los valores b = 15 y c =
4 en la formula de Ferro-Tartaglia para la ecuacion c ubica x
3
+bx+c = 0,
obtenemos el valor:
x =
3
_
2 +

121 +
3
_
2

121
que puede representarse como,
x =
3
_
2 + 11

1 +
3
_
2 11

1.

INDICE GENERAL 7
Bombelli sospecho que, si la ecuacion c ubica original tena solucion, esta
podra escribirse en terminos de u+v

1 y uv

1 para algunos n umeros


reales u y v.
Es decir, Bombelli penso que
u + v

1 =
3
_
2 + 11

1 y u v

1 =
3
_
2 11

1.
De hecho, usando la identidad (a + b)
3
= a
3
+ 3a
2
b + 3ab
2
+ b
3
, y pre-
tendiendo que estos n umeros obedezcan las reglas normales de el algebra,
tomando a = u y b = v

1, lograron ver que:


(u + v

1)
3
= u
3
+ 3u
2
(v

1) + 3u(v

1)
2
+ (v

1)
3
= u(u
3
3v
2
) + v(3u
2
v
2
)

1
= 2 + 11

121
As, igualando ambas partes de las ecuaciones, Bombelli razono que:
u(u
2
3v
2
) = 2 y v(3u
2
v
2
) = 11.
Entonces supuso que esos u y v eran enteros. Como 2 es un n umero
primo, sus unicos factores enteros son 2 y 1, por lo que, la ecuacion u(u
2

3v
2
) = 2 lo llevo a concluir que u = 2 y u
2
3v
2
= 1. De esto se sigue
que v
2
= 1, o que v = 1. Increblemente, u = 2 y v = 1 resuelven la
segunda ecuacion v(3u
2
v
2
) = 11, por lo que declaro que los valores para
u y v deban ser respectivamente u = 2 y v = 1. Tambien noto que, si
(2 +

1)
3
= 2 + 11

1, entonces 2 +

1 =
3
_
2 + 11

1. Igualmente,
armo 2 +

1 =
3
_
2 11

1. Y tenemos claramente:
3
_
2 + 11

1 +
3
_
2 11

1 = (2 +

1) + (2

1) = 4
lo cual era un hecho sorprendente.
Pues es claro que una solucion de la ecuacion x
3
15x4 = 0 es x = 4. Sin
embargo, para llegar a esta solucion real, se forzo a recorrer el desconocido
territorio de los n umeros imaginarios.
As, ya no poda ignorarse la utilidad de estos n umeros, que actualmente
llamamos los n umeros complejos.
Pero ni siquiera este descubrimiento abrio la aceptacion general hacia los
n umeros complejos. Despues de todo, un n umero real podra representarse
8

INDICE GENERAL
geometricamente en la recta numerica. Que posible representacion podran
tener estos nuevos n umeros?
En 1673 John Wallis hizo una aproximacion a una representacion ge-
ometrica de los n umeros complejos, como la que actualmente conocemos.
Wallis estaba interesado en representar las soluciones de la ecuacion cuadratica
general x
2
+ 2bx + c
2
= 0.
Usando la formula cuadratrica, dicha ecuacion tiene las soluciones x =
b

b
2
c
2
.
Wallis imagino estas soluciones como los desplazamientos a la izquierda,
el punto b como una correcion, y vio cada desplazamiento, cuyo valor era

b
2
c
2
, como las longitudes de los lados de un triangulo rectangulo.
Desafortunadamente, el metodo de Wallis tiene como consecuencia que

1 esta representado por el mismo punto que



1. No obstante, con
esta interpretacion, se poda pensar a los n umeros complejos como los puntos
en el plano.
Por el a no de 1800, el gran matematico suizo Leonhard Euler adopto esta
representacion de los n umeros complejos para obtener las n soluciones de
la ecuacion x
n
1 = 0. Actualmente, sabemos que estas soluciones pueden
expresarse como e

= cos () +

1 sin () para algunos valores reales de ;


Euler penso en ellos como los vertices de un polgono regular en el plano. Eu-
ler tambien fue el primero en usar el smbolo para

1. Actualmente, esta
notacion es la mas popular, aunque algunos ingenieros electricos preeren
en cambio el smbolo , pues la utilizan para representar la corriente.
Quiza la gura que mas inuyo en la aceptacion de n umeros complejos
fue el matematico aleman Carl Friedrich Gauss, que en su tesis doctoral
(1799) presenta la primera demostracion de El Teorema Fundamental de

Algebra, as como sus crticas y objeciones a pruebas anteriores, posterior-


mente en 1816 y 1831 presenta otras demostraciones de dichos resultados.
En un artculo que escribio en 1831, produjo una representacion geometrica
clara: identico el n umero complejo x + y con el punto (x, y) en el plano
cartesiano. Y tambien describio como realizar las operaciones aritmeticas
con estos n umeros.
Por otra parte Cauchy, basandose en el trabajo sobre la teora de fun-
ciones de Lagrange, inicia el estudio riguroso de la teora de funciones de
una variable compleja, trabajo que continuara desarrollandose posterior-
mente bajo la gua de Weierstrass y Riemann.
http://www-history.mcs.st-andrews.ac.uk/HistTopics/History overview.html
Captulo 1
N umeros Complejos
1.1. El algebra de los n umeros complejos
Es fundamental que los n umeros reales y complejos satisfagan las mismas
leyes fundamentales de la aritmetica. En esta seccion se estudiaran dichas
leyes, as como su interpretacion geometrica.
Denici on 1. Un n umero complejo es una expresi on fromal x + y donde
x y y son n umeros reales .
Si z
1
= x
1
+ y
1
y z
2
= x
2
+ y
2
son dos n umeros complejos, diremos
que: z
1
= z
2
si, y solamente si, x
1
= x
2
y y
1
= y
2
.
Si z
1
= x
1
+y
1
y z
2
= x
2
+y
2
son dos n umeros complejos, se dene la
suma de z
1
con z
2
, que denotamos z
1
+ z
2
como:
z
1
+ z
2
:= (x
1
+ x
2
) + (y
1
+ y
2
),
y el producto de z
1
con z
2
, que denotamos z
1
z
2
(o simplemente z
1
z
2
), como:
z
1
z
2
= (x
1
x
2
y
1
y
2
) + (x
1
y
2
+ x
2
y
1
).
Ejemplo 1.
1. Si z
1
= 1 + 2 y z
2
= 3 + 8, entonces z
1
+ z
2
= 4 + 10, mientras que
z
1
z
2
= 13 + 14.
2. Si z
1
= x
1
+ 0 y z
2
= x
2
+ 0, entonces z
1
+ z
2
= (x
1
+ x
2
) + 0 y
z
1
z
2
= x
1
x
2
+ 0.
3. Si z
1
= z
2
= 0 + 1, entonces z
2
1
= z
1
z
1
= 1 + 0.
9
10 CAP

ITULO 1. N

UMEROS COMPLEJOS
Teorema 1. Las deniciones anteriores para la adici on y multiplicaci on
vuelven al conjunto de los n umeros complejos un campo, donde 0 + 0 es el
neutro aditivo, y 1 + 0 es el neutro multiplicativo.
Demostraci on. Para vericar que el conjunto de los n umeros complejos dota-
do de las operaciones de suma y producto denidas anteriormente satisface
los axiomas de campo utilizaremos la estructura de campo de los n umeros
reales.
Si z
1
= a + b, z
2
= c + d y z
3
= e + f, donde a, b, c, d, e y f denotan
n umeros reales, entonces:
1. Como z
1
+ z
2
= (a + c) + (b + d) donde a + c y b + d son n umeros
reales, tenemos que la suma es cerrada.
2. Sabemos que, en el campo de los n umeros reales la suma es conmuta-
tiva, tenemos as que a + c = c + a y b + d = d + b, de donde
z
1
+ z
2
= (a + c) + (b + d) = (c + a) + (d + b) = z
2
+ z
1
por lo que la suma tambien es conmutativa en C.
3. En el campo de los n umeros reales la suma es asociativa, por lo tanto:
a + (c + e) = (a + c) + e y b + (d + f) = (b + d) + f, se sigue de aqui
que:
z
1
+ (z
2
+ z
3
) = a + b + [(c + e) + (d + f)]
= a + (c + e) + [b + (d + f)]
= (a + c) + e + [(b + d) + f]
= (z
1
+ z
2
) + z
3
la suma en C es asociativa.
4. Como 0 es el neutro aditivo en R, entonces a + 0 = a y b + 0 = b, de
donde
z
1
= a + b = (a + 0) + (b + 0) = (a + b) + (0 + 0)
Esto implica que 0 + 0 es neutro aditivo.
5. Como a, b R, y R es un campo, ay b tienen inverso aditivo, los
cuales denotamos a y b respectivamente. Si denimos z
2
como z
2
=
(a(+(b) = a b tenemos que
z
1
+ z
2
= (a + b) + (a b) = (a a) + (b b) = 0 + 0
As z
2
= a b es el inverso aditivo de z
1
y solemos denotarlo como
z
1
.
1.1. EL

ALGEBRA DE LOS N

UMEROS COMPLEJOS 11
6. Como z
1
z
2
= (ac bd) + (ad + bc) donde ac bd y ad + bc son
n umeros reales, tenemos que el producto es cerrado.
7. Sabemos que, en el campo de los n umeros reales el producto es con-
mutativo, tenemos as que ac bd = ca db y ad + bc = da + cb, de
donde
z
1
z
2
= (ac bd) + (ad + bc) = (ca db) + (da + cb) = z
2
z
1
por lo que el producto es una operacion conmutativa en C.
8. Usando las propiedades de campo de los n umeros reales es facil ver
que:
a(ce df) b(de + cf) = (ac bd)e (ad + ac)f
y que
b(cedf)+a(de+cf) = (bc+ad)e+(bd+ac)f = (ad+bc)e+(acbd)f,
por tanto:
z
1
(z
2
z
3
) = (a + b) + [(ce df) + (de + cf)]
= [a(ce df) b(de + cf)] + [b(cd df) + a(de + cf)]
= [(ac bd)e (ad + ac)f] + [(ad + bc)e + (ac bd)f]
= [(ac bd) + (ad + bc)] (e + f)
= (z
1
z
2
) z
3
tenemos as que el producto en C es asociativo.
9. Para cada x R tenemos que x 0 = 0, x 1 = x, y x +0 = x, se sigue
de aqu que
z
1
= a+b = (a+0)+(0+b) = (a1+b0)+(a0+b1) = (a+b)(1+0)
Esto implica que 1 + 0 es neutro multiplicativo.
10. Para ver como obtener el inverso de un n umero complejo distinto de
0 + 0, supondremos que a, b R,y alguno de ellos no es cero, en
particular, a
2
+b
2
,= 0. Si w = x+y fuera inverso multiplicativo de z
1
tendramos que 1+0 = z
1
w = (a+b)(x+y) = (axby)+(ay+bx),
tenemos as el siguiente sistema de ecuaciones:
1 = ax by, 0 = bx + ay
12 CAP

ITULO 1. N

UMEROS COMPLEJOS
Como a
2
+ b
2
,= 0, podemos ver que la solucion a este sistema de
ecuaciones esta dada como
x =
a
a
2
+ b
2
, y =
b
a
2
+ b
2
As w =
a
a
2
+ b
2

b
a
2
+ b
2
es inverso multiplicativo de z
1
y solemos
denotarlo como w = z
1
1
.
11. Para mostrar la propiedad distributiva del producto con respecto a
la suma, nuevamente utilizaremos las popiedades de campo de los
n umeros reales.
z
1
(z
2
+ z
3
) = (a + b)[(c + e) + (d + f)]
= [a(c + e) b(d + f)] + [b(c + e) + a(d + f)]
= [(ac bd) + (ae bf)] + [(ad + bc) + (af + be)]
= [(ac bd) + (ad + bc)] + [(ae bf) + (af + be)]
= z
1
z
2
+ z
1
z
3
Al campo de los n umeros complejos lo denotaremos con la letra C
Notese que la funcion : R C dada como (a) == a + 0 es un
monomorsmo de campos, por lo que R es un subcampo de C. As, identi-
caremos el n umero real a con el n umero complejo a +0, esto es, a = a +0.
Por otra parte, si z = 0 + y simplemente escribiremos z = y.
Una vez realizadas estas aclaraciones el ejemplo 3 nos dice que
2
= 1,
por lo que es una solucion a la ecuacion x
2
+ 1 = 0.
Proposici on 1. C es un R-espacio vectorial de dimensi on dos.
Demostraci on. Si z
1
= x
1
+y
1
y z
2
= x
2
+y
2
son dos n umeros complejos,
tenemos que z
1
+ z
2
:= (x
1
+ x
2
) + (y
1
+ y
2
), y si R, entonces z
1
=
x
1
+ y
1
, como consecuencia del teorema anterior, tenemos que C es un
Respacio vectorial.
A un mas, como x + y = x(1 + 0) + y(0 + 1) para cada x + y C
tenemos que C es un Respacio vectorial de dimension dos.
El claro ahora que podemos denir un Risomorsmo de C en R
2
como
(x+y) = (x, y). Claramente respeta las operaciones de espacio vectorial,
y la inversa de esta funcion esta dada como
1
(x, y) = x + y.
1.1. EL

ALGEBRA DE LOS N

UMEROS COMPLEJOS 13
En particular, esto nos permite pensar al n umero complejo a + b como
un segmento dirigido con origen (0, 0) y punto nal (a, b), como se muestra
en (1.1).
Figura 1.1: Representacion de un n umero complejo como punto en R
2
Luego entonces, si tenemos los n umeros complejos z
1
y z
2
, como seg-
mentos dirigidos en el plano, la suma z
1
+ z
2
corresponde a la diagonal del
paralelogramo que determinan z
1
y z
2
(1.2).
Figura 1.2: Representacion geometrica de la suma de n umeros complejos.
Observaci on:
Pese a que en R
2
podemos denir distintos tipos de ordenes parciales _,
entre otros el lexicograco, cabe notar que no puede existir un buen orden
en C compatible con las operaciones de campo denidas en C.
Si as fuera, deberamos tener una clase positiva C
+
la cual contiene al
1 = 1 + 0 y al cuadrado de cualquier n umero complejo distinto de cero. Si
C
+
, entonces
2
C
+
, pero
2
= 1, como 1 C, como consecuencia
de el principio de tricotoma, 1 no puede estar en la clase positiva C
+
,
lo cual contradice el hecho de que este en C
+
, de donde C
+
, pero
suponer esto implicara que (
2
) = 1, lo cual nos conduce nuevamente a
una contradiccion.
As, no es posible construir una clase positiva en C compatible con las
operaciones de campo.
14 CAP

ITULO 1. N

UMEROS COMPLEJOS
Denici on 2. Si x y y son n umeros reales, y z es el n umero complejo x+y,
entonces al n umero complejo x y se le denomina el conjugado de z, y se
denota z = x y.
El n umero x es la parte real de z, y suele escribirse x = Re(z). Por otra
parte, el n umero y es la parte imaginaria de z, y se escribe Im(z).
Ejemplo 2.
1. Si z = 3 + 5, entonces z = 3 5, Re(z) = 3, y Im(z) = 5
2. Si z = 8 13, entonces z = 8 + 13, Re(z) = 8, y Im(z) = 13.
La conjugacion por un n umero complejo, nos permite denir una funcion
Cvaludada de variable compleja : C C como (z) = z.
Al identicar C con el plano euclidiano R
2
podemos interpretar esta fun-
cion como la reexion con respecto al eje x. Mientras que Re(z) corresponde
a la proyeccion ortogonal de z con respecto al eje x y Im(z) corresponde a
la proyeccion ortogonal con respecto al eje y.
Figura 1.3: Representacion geometrica del conjugado de un n umero comple-
jo.
Teorema 2. Si z y w son n umeros complejos, entonces:
1. z + w = z + w.
2. z w = z w.
3. Re(z) =
z + z
2
.
4. Im(z) =
z z
2
.
5. Si z es un n umero complejo distinto de cero, entonces zz es un n umero
real y positivo
1.1. EL

ALGEBRA DE LOS N

UMEROS COMPLEJOS 15
Demostraci on. Si z = a + b y w = c + d, entonces:
1. z + w = (a b) + (c d) = (a + c) (b + d) = z + w.
2. z w = (a b) + (c d) = (ac bd) (ad + bc) = z w.
3.
z + z
2
=
(a + b) + (a b)
2
=
2a + 0
2
= a = Re(z).
4.
z z
2
=
(a + b) (a b)
2
=
0 + 2b
2
= ab = Im(z).
5. z z = (a + b)(a b) = (a
2
b(b)) + (a(b) + ba) = a
2
+ b
2
.
Como a, b R, entonces a
2
+b
2
0, y como alguno de ellos es distinto
de cero, entonces a
2
+ b
2
,= 0.
Como consecuencia del inciso 5 del teorema anterior, la raz cuadrada de
z z esta bien denida, lo cual nos permite denir una funcion R valudada
de variable compleja [ [ : C R como [z[ =

zz.
Denici on 3. Si z es un n umero complejo, el m odulo de z, que denotaremos
[z[, se dene como la raz cuadrada no negativa de z z, esto es, [z[ =

z z
Ejemplo 3.
1. Si z = 8 15, entonces [z[ =

289 = 17.
2. Si z = 24 + 7, entonces [z[ =

625 = 25.
3. Si z = 5 12, entonces [z[ =

169 = 13.
4. Si z = 1 + , entonces [z[ =

2.
Figura 1.4: El modulo de un n umero complejo.
Cuando z = x + 0 es un n umero real, z = z = x, as z z = x
2
0, por
lo que

z z =

x
2
= [x[. Por tanto, el modulo de un n umero real coincide
16 CAP

ITULO 1. N

UMEROS COMPLEJOS
con su valor absoluto, y el modulo de un n umero complejo z = a+b coincide
con la distancia que hay, en R
2
, del punto (a, b) al origen (0, 0).
Ademas se satisfacen las siguientes propiedades:
Proposici on 2. Si z y w son dos n umeros complejos, entonces:
1. [z[ = [z[.
2. [zw[ = [z[ [w[.
3. Si w ,= 0, entonces

z
w

=
[z[
[w[
.
4. [Re(z)[ [z[
5. [z + w[ [z[ +[w[.
Demostraci on. Si z y w son dos n umeros complejos, entonces:
1. Como z = z, entonces zz = z z, de donde
[z[ =

zz =
_
z z = [z[.
2. [zw[ =

zw zw =
_
(zz)(ww) =

zz

ww = [z[ [w[.
3. Si w ,= 0, entonces [w[ ,= 0, como consecuencia del inciso anterior
bastara mostrar que [w
1
[ = 1/[w[. Como ww = [w[
2
, y w ,= 0 tenemos
que
ww
[w[
2
= 1 de donde w
1
=
w
[w[
2
Por tanto
[w
1
[ =

w
[w[
2

=
[w[
[w[
2
=
1
[w[
4. Si z = x+y, entonces x = Re(z), pero [x[ =

x
2
, y como x
2
x
2
+y
2
,
se sigue que [x[
_
x
2
+ y
2
= [z[.
5. Para demostrar que [z + w[ [z[ + [w[, notamos que zw = zw, de
donde, zw + zw = 2Re(z). Por tanto
[z + w[
2
= (z + w)(z + w
= zz + zw + zw + ww
= [z[
2
+ 2Re(zw) +[w[
2
[z[
2
+ 2[z[ [w[ +[w[
2
= ([z[ +[w[)
2
1.1. EL

ALGEBRA DE LOS N

UMEROS COMPLEJOS 17
extrayendo raz cuadrada a ambos miembros se obtiene el resultado
deseado.
Como consecuencia de esta proposicion tenemos que, si z ,= 0, entonces
z
1
=
z
[z[
2
.
Proposici on 3 (La desigualdad de Schwarz). Si z
1
, . . . , z
n
y w
1
, . . . , w
n
son n umeros complejos, entonces

j=1
z
j
w
j

[z
j
[
2

[w
j
[
2
.
Demostraci on. Si A =
n

j=1
[z
j
[
2
, B =
n

j=1
[w
j
[
2
y C =
n

j=1
z
j
w
j
, entonces B
0, si B = 0, entonces w
j
= 0 para j = 1, . . . , n, as C = 0.
Supongamos entonces que B ,= 0, en particular B > 0 y
n

j=1
[Bz
j
Cw
j
[
2
=
n

j=1
(Bz
j
Cw
j
)(Bz
j
Cw
j
= B
2
n

j=1
[z
j
[
2
BC
n

j=1
z
j
w
j
BC
n

j=1
z
j
w
j
+[C[
2
n

j=1
[w
j
[
2
= B
2
AB[C[
2
= B(AB [C[
2
)
Como cada termino de la expresion
n

j=1
[Bz
j
Cw
j
[
2
es no negativo, tenemos
que B(AB [C[
2
) 0, y como B > 0, entonces AB [C[
2
0, como
esperabamos demostrar.
Completez del campo C. De manera similar a como se hace en R, podemos
decir que una sucesion en C es una funcion s : N C. Si n N, a su imagen
bajo s la denotamos como s(n) = s
n
. Tambien usamos la notacion s
n
para
una sucesion en C.
Usando el modulo de los n umeros complejos s
n
, podemos denir los
conceptos de sucesion de Cauchy y de lmite de una sucesion en C
18 CAP

ITULO 1. N

UMEROS COMPLEJOS
Denici on 4. Se dice que la sucesi on de n umeros complejos s
n
es una
sucesi on de Cauchy si dado , un n umero real positivo, existe N N tal que
[s
n
s
n
[ < siempre que n, m N.
Se dice que un n umero complejo s es el lmite de la sucesi on s
n
si para
cada n umero real positivo, existe un entero positivo N tal que [s
n
s[ <
siempre que n N.
Si la sucesi on s
n
tiene un lmite en C diremos que la sucesi on es
convergente.
Si s
n
es una sucesion en C, y escribimos cada s
n
= a
n
+ b
n
con
a
n
, b
n
R, tenemos las sucesiones a
n
y b
n
en R. Recprocamente, si
tenemos dos sucesiones a
n
y b
n
en R, y denimos s
n
= a
n
+b
n
, entonces
s
n
es una sucesion en C.
Proposici on 4. Sea s
n
una sucesi on de n umeros complejos, con s
n
=
a
n
+ b
n
. Entonces:
1. La sucesi on s
n
es de Cauchy si y s olo si las sucesiones a
n
y b
n

son de Cauchy en R.
2. La sucesi on z
n
converge a s = a+b en C si y solo si a
n
converge
a a y b
n
converge a b en R.
Demostraci on. 1. Sea s
n
, con s
n
= a
n
+ b
n
, una sucesion de Cauchy en
C.
Como [Re(w)[ [w[ y Im(w) = Re(w), de donde [Im(w)[ [w[, para
cada n umero complejo w.
Dado un n umero real positivo, como s
n
es una sucesion de Cauchy,
existe un entero positivo tal que [s
n
s
m
[ < siempre que n, m N, de
donde :
[a
n
a
m
[ = [Re(s
n
s
m
)[ [s
n
s
m
[ <
y
[b
n
b
m
[ = [Im(s
n
s
m
)[ [s
n
s
m
[ <
siempre que n, m N.
Reciprocamente, Dado un n umero real positivo, como las sucesiones
a
n
y b
n
son de Cauchy en R existe un entero positivo N tal que
[a
n
a
m
[ < /2 y [b
n
b
m
[ < /2 siempre que n, m N.
Como consecuencia de la desigualdad del triangulo tenemos:
[s
n
s
m
[ = [(a
n
a
m
) + (b
n
b
m
)[ [a
n
a
m
[ +[b
n
b
m
[ <
1.1. EL

ALGEBRA DE LOS N

UMEROS COMPLEJOS 19
siempre que n, m N. Es decir, s
n
es una sucesion de Cauchy en C.
2. Supongamos que la sucesion s
n
converge a s en C, con s
n
= a
n
+b
n

y s = a + b. Dado un n umero real positivo , existe un entero positivo N


tal que [s
n
s[ < , de donde:
[a
n
a[ =

(s
n
s) + (s
n
s)
2

[s
n
s[
2
+
[s
n
s[
2
= 2
[s
n
s[
2
< ,
y
[b
n
b[ =

(s
n
s) (s
n
s)
2

[s
n
s[
2
+
[s
n
s[
2
= 2
[s
n
s[
2
< ,
si n N.
Finalmente, si a
n
y b
n
son sucesiones en R que convergen a los
valores a y b respectivamente, dado un n umero real positivo , existe un
entero positivo N tal que [a
n
a[ < /2 y [b
n
b[ < /2 si n N. Si
s
n
= a
n
+ b
n
y s = a + b, entonces:
[s
n
s[ = [(a
n
+ b
n
) (a + b)[ = [(a
n
a) + (b
b
b)[
[a
n
a[ [b
n
b[ <
siempre que n N.
Por lo que, la sucesion s
n
convege a s.
Como R es un campo completo, toda sucesion de Cauchy en R converge
en R. As, las partes real e imaginaria de una sucesion de Cauchy s
n
en
C convergen en R a dos n umeros, digamos a y b, tenemos entonces que la
sucesion de Cauchy s
n
converge al n umero complejo s = a + b.
Concluimos de aqu que C es un campo completo.
Denici on 5. Si z es un n umero complejo distinto de cero, el argumento,
o amplitud, de z, que denotaremos arg(z), se dene como el angulo que
hay del eje real positivo al vector determinado por el punto z, vease la gura
(1.5) y solemos escribirlo como:
arg(z) = .
20 CAP

ITULO 1. N

UMEROS COMPLEJOS
Figura 1.5: El argumento de un n umero complejo.
El angulo se considera positivo si se mide en sentido contrario a las
manecillas del reloj (levogiro), y negativo en el caso contrario (dextrogiro).
Al n umero complejo z = 0 no le asignamos argumento. El argumento
queda denido salvo m ultiplos enteros de 2, y podemos terminar con esta
ambig uedad si determinamos una ramapara el argumento, se suele con-
siderar 0 0 < 2 o bien < . Aunque puede considerarse cualquier
intervalo semiabierto de longitud 2.
Ahora, si z ,= 0 y z = a +b y consideramos el triangulo cuyos lados son
los vectores determinados por a, b y z tenemos que:
cos() =
a
[z[
, lo cual implica que a = [z[ cos()
y
sin() =
b
[z[
, de donde b = [z[ sin().
Consecuentemente z = a +b = [z[ cos() +[z[ sin() = [z[(cos() +sin())
y, si a ,= 0, entonces tan() =
b
a
.
Restringiendo el dominio de la funcion tangente a un intervalo donde sea
biyectiva tenemos:
= arctan
_
b
a
_
,
o bien, si a = 0 entonces = /2 + k con k entero.
En esta parte, cabe notar que la funcion arctan esta bien denida salvo
m ultiplos enteros de , no de 2, como es el caso de la funcion argumento.
El problema radica en que los vectores determinados por z y z tienen el
mismo modulo y direcciones opuestas, por lo que
b
a
=
b
a
, notamos as que
arg(z) y arg(z) dieren por un m ultiplo impar de .
1.1. EL

ALGEBRA DE LOS N

UMEROS COMPLEJOS 21
El n umero complejo cos() + sin() suele abreviarse como e

, o bien
exp(), esto es,
e

:= cos() + sin()
Representar un n umero complejo z en terminos de su modulo y su ar-
gumento, nos permite dar una interpretacion geometrica al producto, esto
es:
Proposici on 5. El m odulo de un producto es el producto de los m odulos y
el argumento de un producto es la suma de los argumentos de los factores.
Ya que el argumento no es una funcion, debemos entender esta proposi-
cion de la siguiente manera, si
1
y
2
son valores admisibles para arg(z
1
) y
arg(z
2
), entonces =
1
+
2
es un valor admisible para arg(z
1
z
2
). Vease
la gura (1.6).
Demostraci on. Si z
1
= r
1
(cos
1
+ sin
1
) y z
2
= r
2
(cos
2
+ sin
2
), por
trigonometra elemental tenemos que:
z
1
z
2
= [r
1
(cos
1
+ sin
1
)] [r
2
(cos
2
+ sin
2
)]
= r
1
r
2
[(cos
1
cos
2
sin
1
sin
2
)
+(cos
1
sin
2
+ sin
1
cos
2
)]
= r
1
r
2
[cos(
1
+
2
) + sin(
1
+
2
)]
esto es, arg(z
1
z
2
) = arg z
1
+ arg z
2
.
Figura 1.6: El producto de dos n umeros complejos.
Como consecuencia de este resultado tenemos que, si z es un n umero
complejo distinto de cero, entonces:
[z
1
[ =
1
[z[
y arg z
1
= arg(z).
22 CAP

ITULO 1. N

UMEROS COMPLEJOS
Tambien podemos analizar el producto de n umeros complejos de la si-
guiente manera: Sea w C un n umero complejo jo, y denamos la apli-
cacion
w
: C C como
w
(z) = wz; la multiplicacion por w. Ademas, la
transformacion
w
es Rlineal, pues:

w
(z
1
+ z
2
) = w(z
1
+ z
2
) = wz
1
+ wz
2
=
w
(z
1
) +
w
(z
2
),
para cada R, z
1
, z
2
C.
Al identicar C con R
2
tenemos que
w
es la aplicacion que simplemente
gira al vector z un angulo igual al argumento de w, y modica la longitud
del vector z por el factor [w[. Vease (1.7).
Figura 1.7: La transformacion Rlineal
w
Si w = a + b y z = x + y, tenemos:
C

w
C

R
2

w

1
R
2
z = x + y wz = (ax by) + (ay + bx)

(x, y) (ax by, bx + ay)
Como toda transformacion lineal del plano puede representarse por una
matriz, tenemos que la matriz de
w
es:
_
a b
b a
_
es decir:

w
_
x
y
_
=
_
a b
b a
__
x
y
_
=
_
ax by
bx + ay
_
Denici on 6. Si z ,= 0 es un n umero complejo, si r = [z[ y = arg(z),
entonces z = r(cos() + sin()) = re

. A esta representaci on del n umero


complejo z ,= 0, se le denomina la forma polar del n umero complejo z.
1.1. EL

ALGEBRA DE LOS N

UMEROS COMPLEJOS 23
Ejemplo 4.
1. Si z
0
= 1 + , entonces [z
0
[ =

1
2
+ 1
2
=

2 y arg(z
0
) = /4,
por lo que, la forma polar del n umero complejo z
0
esta dada como
z
0
=

2e

4
.
2. Si z = 1 , entonces [z[ =
_
1
2
+ (1)
2
=

2 y arg(z
1
) = 7/4,
por lo que, la forma polar del n umero complejo z
1
esta dada como
z
1
=

2e

7
4
.
3. Si z
2
= 1 , entonces [z
2
[ =
_
(1)
2
+ (1)
2
=

2 y arg(z
2
) =
5/4, por lo que, la forma polar del n umero complejo z
2
esta dada
como z
2
=

2e

5
4
.
La formula para el producto de dos n umeros complejos en forma polar
es muy util para calcular las potencias z
n
con n 0 de un n umero complejo
distinto de cero, ya que, si z = re

, utilizando induccion sobre n podemos


ver facilmente que [z
n
[ = r
n
y arg(z
n
) = n, de donde
z
n
= r
n
e
n
Por otra parte, como z
1
= r
1
e

, tenemos que la formula z


n
= r
n
e
n
se
cumple para cada n umero entero n. Esta formula se conoce como la f ormula
de DMoivre.
Si w C, utilizando la formula de DMoivre podemos resolver la ecuacion
z
n
= w.
Si w = re

, y z = e

, como consecuencia de la formula de DMoivre


tenemos que z
n
=
n
e
n
, de donde
n
= r = [w[ y n = + 2k, para
alg un entero k, de donde:
z =
n

r
_
cos
_
+ 2k
n
_
+ sin
_
+ 2k
n
__
Es decir, todo n umero complejo distinto de cero tiene exactamente n
races nesimas complejas, dichas races tienen el mismo modulo, y sus
argumentos se encuentran igualmente espaciados.
Geometricamente, las races nesimas de un n umero complejo, distinto
de cero, son los vertices de un polgono regular de n lados.
Ejemplo 5.
24 CAP

ITULO 1. N

UMEROS COMPLEJOS
Las cinco soluciones z
k
con k = 0, 1, 2, 3, 4, de la ecuacion z
n
= 1 son:
z
k
= cos
_
2k
5
_
+ sin
_
2k
5
_
, k = 0, 1, 2, 3, 4.
As, las races quintas de la unidad son:
z
0
= 1;
z
1
= exp
_

2
5
_
=
_
1
1 +

5
_
+
__
5 + 2

5
1 +

5
_
;
z
2
= exp
_

4
5
_
=
1
2
_
3 +

5
2
_
+
_
_
1
2

5
2
_
_
;
z
3
= exp
_

4
5
_
=
1
2
_
3 +

5
2
_

_
_
1
2

5
2
_
_
; y
z
4
= exp
_

2
5
_
=
_
1
1 +

5
_

__
5 + 2

5
1 +

5
_
.
Como podemos apreciar en la gura (1.8), las races quintas de la unidad
corresponden a los vertices de un pentagono regular, con centro en el origen,
el cual tiene uno de sus vertices ubicado en el punto 1. Ademas, z
4
= z
1
y
z
3
= z
2
.
Figura 1.8: Las races quintas de la unidad
En general, las races nesimas de la unidad, esto es, las soluciones de
la ecuacion z
n
= 1 estan dadas como:
= cos
_
2
n
_
+ sin
_
2
n
_
Si es una raz distinta de uno, esto es, ,= 1 todas las races pueden
expresarse como 1, ,
2
, . . . ,
n1
, y como ,= 1 es solucion de la ecuacion:
0 = z
n
1 = (z 1)(z
n1
+ z
n2
+ . . . + z
2
+ z + 1),
1.2. EL PLANO EXTENDIDO. 25
tenemos que es solucion de la ecuacion ciclotomica:
z
n1
+ z
n2
+ . . . + z
2
+ z + 1 = 0.
En la geometra analtica clasica la ecuacion de un lugar geometrico se
expresa como una relacion entre las variables x y y, tomando en cuenta que,
al identicar R
2
con C tenemos x =
z+z
2
y y =
zz
2i
, entonces podemos
expresar un lugar geometrico en terminos de las coordenadas z y z. As,
podemos pensar a una ecuacion en variable compleja como una ecuacion, o
sistema de ecuaciones, en dos variables reales.
Por ejemplo, sabemos que una circunferencia con centro en un punto
z
0
= (x
0
, y
0
) y radio r > 0 es el lugar geometrico de los puntos z = (x, y)
que equidistan la distancia r del punto z
0
, esto es, [z z
0
[ = r.
Una lnea recta L en C puede darse en su forma parametrica por medio
de la ecuacion z = a + tb, donde a y b son n umeros complejos, b ,= 0 y t es
un parametro real, es decir:
L = z C [ z = a + tb, con t R
Como z L si, y solo si existe t R tal que z = a+tb, equivalentemente,
t =
z a
b
R.
Esto es, z L si, y solo si Im
_
z a
b
_
= 0. De donde,
L = z C [ Im
_
z a
b
_
= 0.
Dos ecuaciones z = a + tb y z = a

+ tb

representan lneas paralelas si


b

es m ultiplo real de b, y representan la misma lnea si, y solo si, a a

y b

son m ultiplos reales de b. La direccion de esta lnea queda determinada por


arg(b). El angulo entre las lneas z = a + tb y z = a

+ tb

esta dado como


arg(b/b

); notese que este angulo solo depende del orden en que se dan las
lneas. Dos lneas son ortogonales si b/b

tiene parte real cero.


1.2. El plano extendido.
Algunas veces sera necesario estudiar el comportamiento de una funcion
de variable compleja cuando [z[ crezca arbitrariamente, por lo cual resulta
conveniente agregar al plano complejo un punto ideal, llamado el punto al in-
nito, que denotamos . As, el plano extendido es C C

. Tambien
introduciremos una funcion distancia en C

par discutir las propiedades de


26 CAP

ITULO 1. N

UMEROS COMPLEJOS
continuidad, y aquellas nuevas propiedades se relacionen con el concepto de
lmite, y que tenga una funcion en el punto al innito.
Un modelo que representa el plano extendido lo constituye la esfera uni-
taria S
2
en R
3
, esto es:
S
2
= (x
1
, x
2
, x
3
) R
3
; x
2
1
+ x
2
2
+ x
2
3
= 1
Si N = (0, 0, 1), podemos identicar S
2
N con R
2
donde identicamos
R
2
con el plano = (x
1
, w
2
, 0); x
1
, x
2
R
2
, y el punto N con el punto al
innito.
Para esto, emplearemos la proyeccion estereograca, : S
2
C

, la
cual esta dada como sigue: (N) = . Si u S
2
N consideremos la
lnea
u
que une el punto N con el punto u. Esta recta intersecta al plano
en un punto, el cual denotamos (u), esto es, (u) =
u
, como se
muestra en la Figura (1.9). Claramente (u) = (v) si, y solo si u = v, es
decir, es inyectiva.
Figura 1.9: La proyeccion estereograca.
Ademas, es sobre, esto es, si z , consideramos la recta que pasa
por los puntos N y z, dicha recta corta exactamente en un punto u S
2
, en
particular (u) = z.
Para obtener el valor que y
1
toman en un punto procederemos
de la siguiente forma. Sea z = x + y, identicamos z C con el punto
z = (x, y, 0) R
3
, sea u = (x
1
, x
2
, x
3
) el punto correspondiente en S
2
. La
lnea que pasa por z y N esta dada por tN + (1 t)z; t R esto es,
((1 t)x, (1 t)y, t); t R.
Un punto de la forma ((1 t)x, (1 t)y, t) esta en S
2
si:
1 = (1 t)
2
x
2
+ (1 t)
2
y
2
+ t
2
= (1 t)
2
[z[
2
+ t
2
.
1.2. EL PLANO EXTENDIDO. 27
De donde t =
[z[
2
1
[z[
2
+ 1
, de aqu se sigue que:

1
(z) =
_
2x
[z[
2
+ 1
,
2y
[z[
2
+ 1
,
[z[
2
1
[z[
2
+ 1
_
=
_
z + z
[z[
2
+ 1
,
(z z)
[z[
2
+ 1
,
[z[
2
1
[z[
2
+ 1
_
(1.1)
Por otra parte, si u = (x
1
, x
2
, x
3
) S
2
N, y queremos encontrar las
coordenadas del punto correspondiente z, simplemente tomamos t =
1
1 x
3
,
y tenemos
(x
1
, x
2
, x
3
) =
x
1
+ x
2
1 x
3
. (1.2)
Esto es, hay una correspondencia uno a uno entre los puntos de la esfera
y el plano complejo extendido.
Podemos notar ademas que, bajo la proyeccion estereograca, los puntos
del ecuador corresponden a la circunferencia unitaria con centro en el origen,
el hemisferio sur corresponde a los puntos en el interior de la circunferencia,
y el hemisferio norte a los puntos en el exterior de la circunferencia. En par-
ticular, la reexion en el crculo unitario corresponde a reejar con respecto
al plano que pasa por el ecuador.
A continuacion enumeramos algunas propiedades de la proyeccion es-
tereograca:
Teorema 3. Bajo la proyecci on estereogr aca las circunferencias en la es-
fera se proyectan en lneas rectas o circunferencias en el plano, y viceversa.
Ilustramos este hecho en la Figura (1.10).
Demostraci on. Una circunferencia en la esfera esta dada como la intersecion
de la esfera x
2
1
+ z
2
2
+ x
2
3
= 1 con un plano:
Ax
1
+ Bx
2
+ Cx
3
= D, donde A
2
+ B
2
> 4D(D C). (1.3)
Si (, , ) es un punto en esta interseccion del plano y la esfera, el punto
(x
1
, x
2
, 0) que le correspondera debera satisfacer la ecuacion:
(C D)(x
2
1
+ x
2
2
) + Ax
1
+ Bx
2
= D, x
3
= 0 (1.4)
Esta ecuacion corresponde a una circunferencia en el plano x
3
= 0 si
C ,= D, y a una lnea recta si C = D.
28 CAP

ITULO 1. N

UMEROS COMPLEJOS
Figura 1.10: Comportamiento de circunferencias bajo .
Podemos notar que, si C = D entonces, la circunferencia original pasa
por el punto N = (0, 0, 1).
Reciprocamente, si iniciamos con la ecuacion (1.4), con A
2
+ B
2
>
4D(D C), tenemos una circunferencia en el plano x
3
= 0 cuando C ,= D,
y una lnea recta si C = D.
Usando las ecuacion (1.2), podemos ver que los puntos sobre la esfera que
estan en la imagen inversa bajo de la circunferencia, o recta, cuya ecuacion
esta dada por(1.4) tambien estan en el plano Ax
1
+ Bx
2
+ Cx
3
= D.
Teorema 4. La proyecci on estereogr aca preserva angulos.
Es decir, si dos curvas se intersectan en el plano x
3
= 0, y sus tangentes
en el punto de interseccion forman un angulo , entonces las tangentes de
las imagenes de dichas curvas bajo la estereograca en la imagen del punto
de interseccion formaran nuevamente un angulo .
Ya que, lo importante es ver que se preservan que forman las tangentes
a las curvas, y con el n de simplicar la demostracion, solo vericaremos
que el teorema se cumple en el caso de lneas rectas.
Demostraci on. Supongamos que tenemos dos lneas rectas en el plano x
3
= 0
que pasan por el punto z
0
. Como vimos en el teorema anterior, estas lneas se
transforman en dos circunferencias sobre la esfera que pasan por los puntos
N y
1
(p) = (
0
,
0
,
0
), y estas circunferencias forman el mismo angulo,
una con respecto a la otra, en sus dos intersecciones.
Si las rectas tienen ecuaciones
a
1
x
1
+ a
2
x
2
+ a
3
= 0, x
3
= 0
b
1
x
1
+ b
2
x
2
+ b
3
= 0, x
3
= 0
(1.5)
1.2. EL PLANO EXTENDIDO. 29
Figura 1.11: preserva angulos.
y sus imagenes inversas bajo la proyeccion estereograca se encuentran, re-
spectivamente, en los planos:
a
1
x
1
+ a
2
x
2
+ a
3
(1 x
3
) = 0,
b
1
x
1
+ b
2
x
2
+ b
3
(1 x
3
) = 0,
Las tangentes a las circunferencias el el polo norte son las intersecciones
de los planos con el plano x
3
= 0, esto es, sus ecuaciones estan dadas como:
a
1
x
1
+ a
2
x
2
= 0, x
3
= 1
b
1
x
1
+ b
2
x
2
= 0, x
3
= 1
Y, ya que estas rectas estan en un plano, a saber el x
3
= 1, es claro que
el angulo entre estas dos rectas es el mismo que el angulo entre las rectas
dadas en (1.5).
Teorema 5. La raz on entre elementos de lnea correspondientes entre el
plano y la esfera es una funci on que depende s olo de la posici on, es decir,
si z
1
, z
2
C, el segmento z
1
z
2
y el arco
1
(z
1
),
1
(z
2
) sobre la esfera
satisfacen la siguietne relaci on.
lm
z
2
z
1
(Z
1
, Z
2
)
[z
1
z
2
[
=
2
1 +[z
1
[
2
, (1.6)
donde (Z
1
, Z
2
) denota la longitud de arco entre los puntos Z
1
y Z
2
con
(Z
1
) = z
1
y (Z
2
) = z
2
.
30 CAP

ITULO 1. N

UMEROS COMPLEJOS
Demostraci on. Si C denota el segmento de recta en el plano x
3
= 0 dado,
en terminos de longitud de arco s, por C : z = z(s), con 0 s L, y si
=
1
(C).
Entonces la longitud de arco de esta dada por:
() =
_
L
0
[

(s) [ ds =
_
L
0
[dz(s)[
1 +[z(s)[
2
ds.
Observese que, podemos reemplazar (Z
1
, Z
2
) por d(Z
1
, Z
2
), pues la
razon entre la longitud de arco y su cuerda, esta tiende a 1 cuando z
2
z
1
.
Denamos d(Z
1
, Z
2
) = (z
1
, z
2
).
Esta expresion determina una funcion distancia, la cual se denomina la
distancia cordal entre z
1
y z
2
. Luego entonces
(z, z

) =
_

_
2[z z

[
_
(1 +[z[
2
)(1 +[z

[
2
)
si z, z

C
2
_
1 +[z[
2
si z

= , z ,=
Esta ultima expresion implica el resultado buscado.
As, para obtener la distancia cordal, consideremos el plano que pasa
por los puntos (0, 0, 1), z
1
= (x
1
, y
1
, 0) y z
2
= (x
2
, y
2
, 0). Este plano tambien
contendra los puntos Z
1
=
1
(z
1
), Z
2
=
1
(z
2
), el segmento de recta que
los une, y el arco de circunferencia de Z
1
a Z
2
.
En 1.12, la circunferencia es la intesecion del plano que pasa por N, z
1
y
z
2
con la esfera S
2
.
Figura 1.12: Relacion entre la distancia en la esfera y la distancia euclidiana.
1.2. EL PLANO EXTENDIDO. 31
Si = Z
1
NZ
2
, entonces
d(Z
1
, Z
2
)
(Z
1
, Z
2
)
=
sin

,
este cociente tiende a 1 cuando z
2
tiende a z
1
, por lo cual, podemos reem-
plazar (Z
1
, Z
2
) por d(Z
1
, Z
2
).
Ademas, d(N, z
1
) =
_
1 +[z
1
[
2
, d(N, z
2
) =
_
1 +[z
2
[
2
, d(N, Z
1
) =
1
_
1 +[z
1
[
2
y d(N, Z
2
) =
1
_
1 +[z
2
[
2
, donde las dos ultimas relaciones se
deducen de las primeras dos, ya que:
d(N, Z)
d(N, z)
=
1
1
=
1
1 +[z[
2
De la relacion
d(N, Z
1
) d(N, z
1
) = d(N, Z
2
) d(N, z
2
)
concluimos que los triangulos NZ
2
Z
1
y Nz
1
z
2
son semejantes. De aqu se
sigue que:
d(Z
1
, Z
2
)
d(z
1
, z
2
)
=
d(N, Z
2
)
d(N, z
1
)
.
Esto es,
d(Z
1
, Z
2
) =
d(N, Z
2
) d(z
1
, z
2
)
d(N, z
1
)
=
2[z z

[
_
(1 +[z[
2
)(1 +[z

[
2
)
Al agregar el smbolo a los complejos, tambien podemos denir las
operaciones de suma y producto con el punto por medio de las siguientes
reglas:
1. Si z C, entonces z + = .
2. Si z ,= 0, entonces z = .
3. + = .
4. = .
5. Si z C, entonces
z

= 0.
32 CAP

ITULO 1. N

UMEROS COMPLEJOS
Lo cual, podemos pensar como una consecuencia de las propiedades de los
lmites en C. Sin embargo, a un tenemos problemas con algunas expresiones,
como /, 0 y , las cuales a un no estan denidas.
Para tratar apropiadamente con estos terminos, intorducimos los con-
ceptos de lmite en innito, y al innito apropiados:
Denici on 7. Sea z
m
una sucesi on de n umeros complejos, y f : C

una funci on.


1. Diremos que la sucesi on z
n
tiende a cuando: Para cada R > 0,
exista N N tal que, si N n entonces [z
n
[ > R.
2. El lmite cuando z tiende a de la funci on f(z) existe, y es igual a
un n umero complejo z
0
, cuando: Para cada > 0, exista una R > 0
tal que, si [z[ R entonces [f(z) z
0
[ < .
Si dicho lmite existe lo denotaremos lm
z
f(z) = z
0
3. El lmite cuando z tiende a z
0
de la funci on f(z) existe, y es igual a
, cuando: Para cada R > 0, exista una > 0 tal que, si [z z
0
[ <
entonces [f(z)[ R.
Si dicho lmite existe lo denotaremos lm
zz
0
f(z) =
4. El lmite cuando z tiende a de la funci on f(z) existe, y es igual a
si: Para cada N > 0, exista una R > 0 tal que, si [z[ R entonces
[f(z)[ > N.
Si dicho lmite existe lo denotaremos lm
z
f(z) =
Por ejemplo, si a, b, c, d C son tales que adbc ,= 0, entonces la funcion
t : C d/c C denida como t(z) =
az+b
cz+d
, es continua, y su imagen es
C
a
c
.
Podemos notar que lm
zd/c
az + b
cz + d
=
bd ad
c lm
zd/c
cz + d
= , mientras que
lm
z
az + b
cz + d
= lm
w0
a
w
+ b
c
w
+ d
= lm
w0
a + bw
c + dw
=
a
c
, por lo que t se extiende a
una funcion T : C

denida por T(z) =


az+b
cz+d
, la cual es biyectiva, y
continua.
Basandonos nuevamente en la proyeccion estereograca, de acuerdo con
esta denicion, un punto esta cerca del punto cuando este fuera de un
crculo arbitrariamente grande.
1.3. EJERCICIOS 33
Basados en esto, podemos ver que, si z
n
es una sucesion de n umeros
complejos, entonces:
1. z
n
z
0
si, y solo si, d

(z
n
, z
0
) 0.
2. z
n
si, y solo si, d

(z
n
, ) 0.
Con respecto a la metrica d

, el plano complejo extendido C

resulta
ser un espacio metrico completo, esta es una propiedad que se hereda del
hecho que R
n
es un espacio metrico completo para cada entero positivo n.
Ademas es un espacio totalmente acotado, esto es, para cada > 0 existe
un conjunto nito de puntos p
1
, . . . , p
n
tal que las vecindades de estos
puntos cubren la esfera, esto es,
n
_
k=1
B(p
k
, ) = C

, donde B(p
k
, ) = z C

: d

(z, p
k
) < .
El plano complejo extendido tambien se denomina la esfera de Riemann.
1.3. Ejercicios
1. Una nesima raiz primitiva de la unidad es un n umero complejo
tal que 1, ,
2
, . . . ,
n1
son las n races nesimas de la unidad. De-
muestre que si a y b son primitivas de ordenes n y m de la unidad,
entonces ab es una raz primitiva de la unidad para alg un orden k,
2. Si ,= 1 es una raz nesima de la unidad, evalue la siguiente expre-
sion:
1 + 2 + 3
2
+ . . . + n
n1
3. Utilice la ecuacion binomial (a + b)
n
=
n

k=0
_
n
k
_
a
nk
b
k
, y la formula
de DMoivre para demostrar que
cos n = cos
n

_
n
2
_
cos
n2
sin
2
+
_
n
4
_
cos
n4
sin
4
. . .
y que
sin n =
_
n
1
_
cos
n1
sin
_
n
3
_
cos
n3
sin
3
+ . . . .
34 CAP

ITULO 1. N

UMEROS COMPLEJOS
4. Demuestre que la funcion : R S
1
dada por (t) = e
t
es un
homomorsmo del grupo aditivo de los n umeros reales en el grupo
multiplicativo S
1
= z C; [z[ = 1.
5. Diga que subconjuntos de S
2
corresponden, respectivamente a los ejes
real e imaginario al identicar el plano extendido con S
2
.
6. Muestre que, bajo la proyeccion estereograca, lneas en C correspon-
den a crculos que pasan por N.
7. Si a
0
, . . . , a
n
C, con a
0
,= 0, demuestre que la suma y el producto de
las races de a
0
z
n
+ a
1
z
n1
+ . . . + a
n
= 0 son a
1
/a
0
y (1)
n
a
n
/a
0
respectivamente.
8. Si a
0
, . . . , a
n
R, con a
0
,= 0, y si es una raz de a
0
z
n
+ a
1
z
n1
+
. . . + a
n
= 0, demuestre que tambien es una raz.
9. Si n es un entero positivo, n 2, demueste que:
a) cos
2
n
+ cos
4
n
+ cos
6
n
+ . . . + cos
2(n 1)
n
) = 1.
b) sin
2
n
+ sin
4
n
+ sin
6
n
+ . . . + sin
2(n 1)
n
= 0.
10. Para cada entero positivo m 2, demuestre que se cumple la siguietne
identidad: sin

m
sin
2
m
sin
3
m
sin
(m1)
m
=
m
2
m1
.
Captulo 2
Teora de funciones
C-diferenciables
2.1. Introducci on.
El concepto de funcion de variable compleja representa un caso particular
del concepto matematico de funcion, esto es, si U es un subconjunto de
C, a cada punto z C se le asocia exactamente un n umero complejo w.
Abreviando, f : U C es la funcion que a cada n umero z U le asocia el
valor w = f(z).
Por ejemplo, dado un entero positivo n, tenemos la funcion f : C C
dada por f(z) = z
n
. Otro ejemplo es la funcion g : C C que asocia a cada
n umero complejo z su conjugado z, esto es, g(z) = z. Tambien tenemos la
funcion Re : C C que asocia a cada n umero complejo z C su parte real,
esto es, Re(z) = (z +z)/2. Y la funcion que asocia a cada n umero complejo
su modulo, esto es, | | : C C dada como |z| =

zz, entre otros ejemplos.
En el caso general, si z = x + y y w = u + v, decir que la funcion
w = f(z) esta denida en U, al identicar C con R
2
equivale a decir que en
cada punto de U de coordenadas (x, y) se le asocia una pareja de n umeros
reales u(x, y) v(x, y). En otras palabras, en U estan denidas dos funciones
realvaluadas u(x, y) y v(x, y). Por ejemplo, la funcion w = z
2
equivale a
w = u(x, y) + v(x, y), donde u(x, y) = x
2
y
2
y v(x, y) = 2xy.
Por otra parte, tambien vimos que, si n 2 es un entero positivo, y w es
un n umero complejo distinto de cero, la ecuacion z
n
= w tiene exactamente
n soluciones. Como z =
n

w si, y solo si z
n
= w, la raz nesima de w no
dene una funcion como en los casos anteriores, sin embargo, tenemos una
relacion multivaludada bien denida. Posteriormente veremos como cons-
35
36 CAP

ITULO 2. TEOR

IA DE FUNCIONES C-DIFERENCIABLES
truir apropiedamente un dominio para que este tipo de relaciones sea una
funcion, por lo que a este tipo de relaciones las denominaremos funciones
multivaludas.
Los conceptos de lmite y continuidad que induce R
2
en C, aunados a
la estructura de campo de C nos permitira denir el concepto de derivada
en el sentido complejo. Posteriormente, daremos el concepto de diferencial
en el sentido complejo, y los compararemos con los conceptos en el sen-
tido real. Introducimos tambien los conceptos de funciones holomorfas y
C-diferenciables, as como el estudio de sus principales propiedades.
Denici on 8. Sea R
n
un conjunto abierto no vaco, f : C una
funci on, a , 1 j n. Se dene la derivada parcial (f/x
j
)(a) de f
en el punto a, como el siguiente l mite, cuando este existe,
lm
h0,h=0
f(a
1
, . . . , a
j1
, a
j
+ h, a
j+1
, . . . , a
n
) f(a
1
, . . . , a
n
)
h
Denotaremos por C
1
() al conjunto de funciones R
n
-valuadas denidas
sobre tales que (f/x
j
)(a) exista para cada a y 1 j n, y es una
funcion continua. Para cada k N, k 2 se dene inductivamente C
k
()
como el conjunto de funciones para las cuales las derivadas parciales de todos
los ordenes menores o iguales a k existen y son continuas. Finalmente C

es
el conjunto de funciones innitamente diferenciables denidas sobre , esto
es, C

() =

k=1
C
k
().
En este captulo, cuando sea necesario, identicaremos C con R
2
por
medio de la aplicacion z = x + y (x, y) , donde x, y R
2
.
2.2. Funciones C-diferenciables y holomorfas.
A lo largo de la presente seccion C denotara un subconjunto abierto
no vaco.
Denici on 9. Dada una funci on f : C compleja valuada denida sobre
, y a , diremos que f es C-diferenciable en a si
lm
h0,h=0
f(a + h) f(a)
h
existe. Cuando este lmite existe, lo denotaremos por f

(a), o bien (df/dz)(a),


y este lmite se denomina la derivada de f en a.
2.2. FUNCIONES C-DIFERENCIABLES Y HOLOMORFAS. 37
Diremos que f es C-diferenciable en si, f es C-diferenciable en a, para
cada a . En este caso, la funcion a f

(a), que denotamos denotamos


f

, se denomina la derivada de f.
En variable real, una funcion diferenciable es continua, esto tambien se
tiene en variable compleja, esto es:
Proposici on 6. Si f : C es una funci on C-diferenciable en , entonces
f es continua en .
Demostraci on. Dado a , tenemos:
lm
za,z=a
|f(z)f(a)| = lm
za,z=a
|f(z) f(a)|
z a
|za| = |f

(a)| lm
za, z=a
|za| = 0
donde h = z a.
Ejemplo 6.
1. Las funciones constantes C-valuadas son C-diferenciables, esto es, si
C es jo, y f(z) = para toda z C dada a C tenemos:
lm
h0,h=0
f(a + h) f(a)
h
= lm
h0,h=0

h
= 0,
de donde f es C-diferenciable en a para cada a C y f

(a) = 0.
2. Dada n C, la funcion f(z) = z
n
es C-diferenciable para toda a C,
pues
f

(a) = lm
h0,h=0
f(a + h) f(a)
h
=
(a + h)
n
a
n
h
= lm
h0,h=0
(a
n
+ na
n1
h + . . . + h
n
) a
n
h
=
h(na
n1
+
n(n1)
2
a
n2
h + . . . + h
n1
)
h
= na
n1
+ lm
h0,h=0
hO(a) = na
n1
38 CAP

ITULO 2. TEOR

IA DE FUNCIONES C-DIFERENCIABLES
3. La funcion que a cada z C le asocia su conjugado no es C-diferenciable.
Si f(z) = z, a C, y h R, h = 0, entonces
lm
h0
a + h a
h
= lm
h0
a + h a
h
= lm
h0
h
h
= 1,
por otra parte
lm
h0
a + h a
h
= lm
h0
a h a
h
= lm
h0
h
h
= 1,
por lo cual, el lmite no puede existir, es decir, f(z) = z no es C-
diferenciable.
A continuacion veremos como expresar el hecho de que f es C-diferenciable
en terminos de las variables reales x, y, as como de las funciones coordenadas
que determinan a f.
Proposici on 7. Si f : C es una funci on complejo valuada denida
sobre , y f es C-diferenciable en a, con a , entonces:
1. Existen las derivadas parciales
f
x
(a) y
f
y
(a).
2.
f
x
(a) =
f
y
(a) = f

(a)
Demostraci on. Dado a = + , y h R, h = 0, por denicion de f

(a)
y unicidad del lmite, al identicar C con R
2
y f(x+y) con f(x, y) tenemos:
f

(a) = lm
h0
f(a + h) f(a)
h
= lm
h0
f( + h, ) f(, )
h
=
f
x
(a).
De manera similar tenemos:
f

(a) = lm
h0
f(a + h) f(a)
h
= lm
h0
f( + h, ) f(, )
h
=
1

f
y
(a)
f
y
(a)
Notese que, una funcion f(x, y) de las variables reales x, y puede verse
formalmente como una funcion g(z, z), de las variables z y z, donde z =
x + y, z = x y, consecuentemente x = (z + z)/2 y y = (z z)/(2).
Derivando formalmente z/z = 0, z/z = 1, z/z = 0, z/z = 1.
Como consecuencia de la regla de la cadena en derivadas parciales podemos
denir la derivada parcial de la funcion f con respecto a las variables z y z.
2.2. FUNCIONES C-DIFERENCIABLES Y HOLOMORFAS. 39
Denici on 10. Sea f una funci on complejo valuada denida sobre un con-
junto abierto C, y sup ongase que f posee primeras derivadas parciales,
con respecto a las variables reales x, y, en el punto a, entonces
f
z
(a) =
1
2
_
f
x
(a)
f
y
(a)
_
,
f
z
(a) =
1
2
_
f
x
(a) +
f
y
(a)
_
.
Utilizando esta notacion, y como consecuencia de la proposicion anterior
tenemos:
Corolario 1. Si f es C-diferenciable en , a , entonces:
f
z
(a) = f

(a)
f
z
(a) = 0.
Recordamos que una funcion f : R
2
R
2
puede describirse en
terminos de funciones coordenadas como f(x, y) = (u(x, y), v(x, y)), e iden-
ticando va (x+y) = (x, y), tenemos f(z) = u(z) +v(z), basandonos en
esto, podemos re-escribir el corolario anterior en terminos de las funciones
coordenadas u y v como sigue:
Corolario 2. Si f es una funci on C-valuada, denida sobre en , a ,
y escribimos f = u + v, donde u, v : R. Si f C-diferenciable en a,
entonces:
u
x
(a) =
v
y
(a)
u
y
(a) =
v
x
.
Como consecuencia de lo anterior, podemos dar la siguiente denicion.
Denici on 11. Sea f una funci on complejo valuada denida sobre C,
y escriba f = u+v, donde u y v son funciones real valuadas denidas sobre
. Las siguientes ecuaciones son equivalentes por pares, y se denominan las
ecuaciones de Cauchy-Riemann:
1.
f
x
=
f
y
.
2.
f
z
= 0.
3.
u
x
=
v
y
y
u
y
=
v
x
.
40 CAP

ITULO 2. TEOR

IA DE FUNCIONES C-DIFERENCIABLES
4.
f
x
=
f
z
.
Por otra parte, dada una funcion f : R
2
R
2
con:
f(x, y) = (u(x, y), v(x, y)),
la matriz Jacobiana de f en a , se dene como la matriz de derivadas
parciales
Df(x, y)
|a
=
_
_
_
u
x
(a)
u
y
(a)
v
x
(a)
v
y
(a)
_
_
_
,
la cual induce, de manera natural, una transformacion R-lineal entre T
a

R
2
, el espacio tangente a en el punto a, y T
f(a)
R
2
, el espacio tangente a
R
2
en el punto f(a), a saber, la diferencial de f en a. Dicha transformacion
esta dada como sigue:
Df
a
: R
2
R
2
Df
a
_

_
=
_
_
_
u
x
(a)
u
y
(a)
v
x
(a)
v
y
(a)
_
_
_
_

_
En este contexto, las ecuaciones de Cauchy-Riemann admiten otra in-
terpretacion, para lo cual nos basamos en el siguiente resultado:
Lema 1. Una matriz A = (a
ij
) M
2
(R) representa la multiplicaci on por
un n umero complejo si, y s olo si, a
11
= a
22
y a
12
= a
21
.
Demostraci on. Dado = a + b C jo, al multiplicar z = x + y por
obtenemos:
z = (a + b)(x + y) = (ax by) + (ay + bx),
lo cual, identicando C con R
2
va z + y (x, y), es equivalente a:
_
_
a b
b a
_
_
_
_
x
y
_
_
=
_
_
ax by
bx + ay
_
_
.
Reciprocamente, si
2.2. FUNCIONES C-DIFERENCIABLES Y HOLOMORFAS. 41
_
_
a b
c d
_
_
_
_
x
y
_
_
= (x + y),
con =
1
+
2
, tenemos:
ax + by =
1
x
2
y cx + dy =
1
x +
2
para toda x, y R. Tomando x = 1; y = 0 obtenemos a =
1
= c. Por otra
parte, si x = 0; y = 1 entonces b =
2
= d.
Proposici on 8. Con la notaci on anterior, (f/z)(z) = 0 si, y s olo si la
aplicaci on diferencial Df
a
: C C es una transformaci on C-lineal. En este
caso
Df
a
() = f

(a) para toda C


Con lo antes demostrado, tenemos que las reglas formales de calculo di-
ferencial pueden extenderse a funciones diferenciables de una variable com-
pleja, podemos resumir estos resultados en la siguiente proposicion.
Proposici on 9. Sea un subconjunto abierto, no vaco. Si f y g son fun-
ciones C-diferenciables en y C, entonces:
1. f + g es C-diferenciable, y (f + g)

= f

+ g

.
2. f g es C-diferenciable, y (f g)

= f

g + f g

.
3. Si g(z) = 0 para toda z , entonces f/g es C-diferenciable y
_
f
g
_

=
f

g f g

g
2
Como consecuencia de estas formulas tenemos que cualquier polinomio
en la variable z es una funcion Cdiferenciable. Ademas una funcion racional
es Cdiferenciable en cualquier abierto que no contenga los ceros del denom-
inador. En particular, las funciones
T(z) =
az + b
cz + d
, c = 0
es una funcion Cdiferenciable si z = d/c.
42 CAP

ITULO 2. TEOR

IA DE FUNCIONES C-DIFERENCIABLES
Proposici on 10 (La regla de la cadena). Si U, V C son abiertos,
y f : U C, g : V C son C-diferenciables, y f(U) V , entonces
g f : U C tambien es C-diferenciable en U. Si a U entonces
(g f)

(a) = g

(f(a)) f

(a).
Demostraci on. Si a U y elejimos un n umero positivo r tal que B(a, r) U.
Bastara demostrar que, si {h
n
} es una sucesion de n umeros complejos no
nulos, tales que lm
n
h
n
= 0 y |h
n
| < r, entonces:
lm
n
g(f(a + h
n
)) g(f(a))
h
n
existe y es igual a g

(f(a)) f

(a).
Primer Caso. Supongase que f(a) = f(a + h
n
) para cada n. Entonces
f(a + h
n
) f(a) = 0, de donde:
g(f(a + h
n
)) g(f(a))
h
n
=
g(f(a + h
n
)) g(f(a))
f(a + h
n
) f(a)

f(a + h
n
) f(a)
h
n
Como f es Cdiferenciable en a, entonces f es continua en a, de donde
lm
n
f(a+h
n
) f(a) = 0 y lm
n
g(f(a + h
n
)) g(f(a))
h
n
existe y es igual
al producto de los lmites lm
n
g(f(a + h
n
)) g(f(a))
f(a + h
n
) f(a)
lm
n
f(a + h
n
) f(a)
h
n
,
el cual, por denicion de derivada, es g

(f(a)) f

(a).
Segundo Caso. Si f es constante en una vecindad de a, entonces f

(a) = 0
y g f tambien es constante en dicha vecindad de a, por lo que (g f)

(a) =
0 = g

(f(a))f

(a).
Supongase que f(a+h
n
) = f(a) para una innidad de valores n, consid-
eremos las subsucesiones {k
n
} y {l
n
} de {h
n
} que satisfacen f(a+k
n
) = f(a)
y f(a + l
n
) = f(a) para toda n. Como f es derivable:
f

(a) = lm
n
f(a + k
n
) f(a)
k
n
= lm
n
f(a + l
n
) f(a)
l
n
= 0
En particular, lm
n
g(f(a + h
n
)) g(f(a))
h
n
= lm
n
g(f(a + n
n
)) g(f(a))
k
n
,
y como consecuencia de lo visto en la primera parte,
lm
n
g(f(a + h
n
)) g(f(a))
h
n
= g

(f(a))f

(a) = 0.
2.2. FUNCIONES C-DIFERENCIABLES Y HOLOMORFAS. 43
Como consecuencia de la regla de la cadena tenemos el siguiente resul-
tado:
Corolario 3. Si
1
y
2
son dos subconjuntos abiertos de C, f :
1
C
y g :
2
C son funciones continuas tales que f(
1
)
2
y g(f(z)) =
z para cada z
1
. Si g es Cdiferenciable y g

(z) = 0, entonces f es
Cdiferenciable y
f

(z) =
1
g

(f(z))
.
Demostraci on. Si a
1
y h C, es tal que h = 0 y a+h
1
, en particular
g(f(a)) = a y g(f(a+h)) = a+h, lo cual implica que f(a+h) = f(a), y como
f es continua, entonces lm
h0
f(a + h) f(a) = 0. Por otra parte sabemos que
dz/dz = 1, luego entonces (g f)

(a) existe y es igual a uno, pero como


(g f)

(a) = lm
h0
g(f(a + h)) f(f(a))
h
= lm
h0
g(f(a + h)) f(f(a))
f(a + h) f(a)

f(a + h) f(a)
h
tenemos que lm
h0
f(a + h) f(a)
h
existe, y f

(a) =
1
g

(f(a))
.
Proposici on 11 (El teorema de la funci on inversa). Si z y f es
una funci on C-diferenciable, tal que f

(a) = 0, entonces existe una vecindad


U de a y una vecindad V de f(a) tal que f
|U
: U V es biyectiva, su
inversa f
1
|V
: V U es C-diferenciable en V , y su derivada est a dada por:
df
1
|V
(w)
dw
=
1
f

|U
(z)
, donde w = f
|V
(z).
Demostraci on. Como f

(a) = 0, al identicar C con R


2
, tenemos z = x+y,
y f = u + v, entonces el determinante de la matriz jacobiana real es no
nulo,
det(Df
a
) = det
_
_
_
_
_
u
x
(a)
u
y
(a)
v
x
(a)
v
y
(a)
_
_
_
_
_
= det
_
_
_
_
_
u
x
(a)
v
x
(a)
v
x
(a)
u
x
(a)
_
_
_
_
_
=
u
x
(a)
2
+
v
x
(a)
2
=

f
x

2
= |f

(a)|
2
= 0,
44 CAP

ITULO 2. TEOR

IA DE FUNCIONES C-DIFERENCIABLES
como consecuencia del teorema de la funcion inversa para funciones de va-
riable real, existen vecindades U de a y V de f(a) tales que f
|U
: U V es
biyectiva, por lo que existe f
1
|V
: V U tal que f
1
(f(z)) = z para cada
z U.
Como coscuencia de la proposicion anterior, f
1
|V
es Cdiferenciable y
df
1
|V
(w)
dw
=
1
f

|U
(z)
.
Dada un entero positivo n, sabemos que la funcion f : C C dada
como f(z) = z
n
es Cdiferenciable, ademas f

(z) = nz
n1
= 0, solo cuando
z = 0.
De acuerdo con el teorema de la funcion inversa, exiten abiertos
1
y
2
contenidos en el plano complejo tales que f
|
1
:
1

2
es biyectiva y la
funcion inversa de f, que denotaremos f
1
(w) =
n

w si f(z) = w satisface:
d
dw
f
1
(w) =
d
n

w
dw
=
1
nz
n1
=
1
n
(
n

w)
1n
=
1
n
w
1
n
1
.
Concluimos as que la funcion raz nesima de una funcion es Cdiferen-
ciable si restringimos la funcion a un dominio en el cual esta sea univaluada.
Como consecuencia de esto, tenemos que, si p > 0 y q son enteros, la
funcion f(z) = z
p
q
es C diferenciable, si restringimos el convenientemente el
dominio de zpara que la funcion z z
1/q
=
q

z sea univaluada, y aplicando


la regla de la cadena tenemos:
d
dz
_
z
p
q
_
=
p
q
z
p
q
1
.
Proposici on 12. Si C es un subconjunto abierto, conexo, y f : C
es una funci on C-diferenciable en tal que f

(z) = 0 para toda z ,


entonces f es una funci on constante en .
Demostraci on. Si z, w , queremos demostrar que f(z) = f(w). Como
es conexo, podemos encontrar una curva : [0, 1] tal que (0) = z y
(1) = w. Como consecuencia de la regla de la cadena
df((t))
dt
= f

((t))

(t) = 0,
pues f

(s) = 0 para toda s . Por otra parte, si f = u + v, con u y v


funciones real valuadas denidas en , entonces
2.2. FUNCIONES C-DIFERENCIABLES Y HOLOMORFAS. 45
df((t))
dt
=
du((t))
dt
+
dv((t))
dt
,
de donde
du((t))
dt
= 0 y
dv((t))
dt
,
y como u son funciones real valuadas de variable real con derivadas cero,
de calculo elemental sabemos que, u y v son funciones constantes en
[0, 1], esto es, u = c
1
, y v = c
2
con c
1
, c
2
R. De donde f(z) =
(u + v)(z) = c
1
+ c
2
= (u + v)(w) = f(w).
Cabe notar que, en el captulo anterior, denimos el plano complejo
extendido, as como los conceptos de lmite al innito, y lmite en el punto
al innito, esto nos permite extender tambien el concepto de derivada de
una funcion el el punto al innito.
Denici on 12. Una funci on f es Cdiferenciable en z = si f(1/w) es
Cdiferenciable en w = 0.
Las funciones racionales de la forma
f(z) =
P(z)
Q(z)
,
donde el grado del polinomio P(z) no excede al grado del polinomio Q(z), nos
proporcionan ejemplos de funciones Cdiferenciables en el punto al innito,
como consecuencia de esto, tenemos que, las funciones fraccionales lineales
T(z) =
az + b
cz + d
con c = 0 son Cdiferenciables.
Por otra parte, la funcion
g(z) = z +
1
z
es C diferenciable salvo en 0 y .
Proposici on 13. Sea f una funci on complejo valuada denida en . Sup on-
ga que f/x, f/y existen y son continuas en . Sup ongase que adem as
f
x
(z) =
f
y
(z) para cada punto z en
entonces, f es C-diferenciable en .
46 CAP

ITULO 2. TEOR

IA DE FUNCIONES C-DIFERENCIABLES
Demostraci on. Dado = + C, , R escribamos f = u +v, donde
u, v : R. Sea a = + , , R. Como u/x y v/y existen y
son continuas, como consecuencia del teorema de Taylor tenemos que:
u(a + ) u(a) = u( + , + ) u(, )
=
u
x
(, ) +
u
y
(, ) +
1
(, ),
donde
1
(, )/(|| +||) 0 si , 0. Analogamente,
v(a + ) v(a) = v( + , + ) v(, )
=
v
x
(, ) +
v
y
(, ) +
2
(, ),
donde
2
(, )/(|| +||) 0 si , 0.
Luego entonces:
f(a + ) f(a) = (u + v)(a + ) (u + v)(a)
= [u(a + ) u(a)] + [v(a + ) v(a)]
= [
u
x
(, ) +
u
y
(, ) +
1
(, )] +
[
v
x
(, ) +
v
y
(, ) +
2
(, )]
=
f
x
(a) +
f
y
(a) + (),
donde ()/(||) 0. cuando 0. Como f/y = (f/x), tenemos
lm
0,=0
f(a + ) f(a)

=
f
x
(a) + lm
0,=0
()

=
f
x
(a).
Es decir, f es C-diferenciable en a.
Podemos resumir algunos de los resultados anteriores en el siguiente
teorema:
Teorema 6. (Cauchy-Riemann). Sea un subconjunto abierto no vaco de
C, f una funci on complejo valuada denida en , y sea a . Entonces f
es C-diferenciable en a si, y solamente si, f es diferenciable en el sentido
de variable real, y en a = (x
0
, y
0
) las funciones coordenadas u y v de f
satisfacen las ecuaciones de Cauchy-Riemann.
2.3. SERIES DE POTENCIAS Y FUNCIONES HOLOMORFAS 47
As, si u/x, u/y, v/x y v/y, son continuas en y satisfacen
las ecuaciones de Cauchy-Riemann, entonces f es C-diferenciable en .
Si f

(a) existe, entonces f

(a) = f/x = f/y.


La hipotesis de la continuidad en las derivadas parciales resulta ser su-
perua, este hecho fue demostrado por Looman (1923) en

Uber die Cauchy-
Riemannschen Dierentialgleichungen, prueba que, desafortunadamente tena
un error, el cual fue corregido por Mencho (1936) en Les conditions de
monogeneite. Ya que la demostracion de este resultado es bastante tecnica,
y puede verse en [?, 6, pg. 43-51], sin embargo, a continuacion enunciamos
la version fuerte de este resultado.
Teorema 7. (Looman-Mencho). ea un subconjunto abierto no vaco de
C, y f una funci on complejo valuada y continua denida en . Sup ongase
que las derivadas parciales f/x y f/y existen en cada punto de y sat-
isfacen las ecuaciones de Cauchy-Riemann f/x = (f/y). Entonces
f es C-diferenciable en .
Ejemplo 7.
Sea f(z) = z
5
/|z|
4
si z = 0 y f(0) = 0. Notese que lm
z0
f(z)/z no
existe, por lo cual, f no es continua en 0, y consecuentemente, f no es
Cdiferenciable.
Si u y v denotan las partes real e imaginaria de la funcion f respectiva-
mente, entonces u(x, 0) = x, v(0, y) = y, y u(0, y) = v(x, 0) = 0.
De aqu concluimos que las derivadas parciales de u y v existen y satis-
facen las ecuaciones de Cauchy-Riemann, pero f

(0) no existe. Esto signica


que no es posible eliminar la hipotesis de continuad de la funcion f en el
teorema de Cauchy-Riemann.
2.3. Series de Potencias y funciones holomorfas
Las funciones C-diferenciables tambien se conocen como funciones holo-
morfas, analticas, o bien, funciones regulares. Como veremos posterior-
mente, hay una forma alternativa de denir una funcion Cdiferenciable,
esta se basa en la representacion local de una funcion en terminos de una
serie de potencias convergente, las cuales denominaremos funciones holomor-
fas, y uno de nuestros objetivos es mostrar que toda funcion Cdiferenciable
es holomorfa y reciprocamente.
48 CAP

ITULO 2. TEOR

IA DE FUNCIONES C-DIFERENCIABLES
Denici on 13. Si c
n
C para cada entero no negativo n, diremos que la
serie

n=0
c
n
converge a un n umero complejo c si, y s olo si, para cada > 0
existe un entero positivo N = N

tal que, si m N entonces |


m

n=0
c
n
c| < .
Diremos que la serie

c
n
converge absolutamente si

|c
n
| converge.
Como consecuencia de la desigualdad del triangulo, tenemos que, si una
serie converge absolutamente, entonces converge.
Denici on 14. Sea f una funci on complejo valuada denida en . Diremos
que f es holomorfa en si, para cada a , existe una vecindad U de a,
U , y una sucesi on de n umeros complejos {c
n
} tal que, para cada z U,
la serie

n=
c
n
(z a)
n
converge a f(z).
En la siguiente parte veremos que toda funcion holomorfa es C-diferen-
ciable, para lo cual, demostraremos primeramente algunos lemas tecnicos.
Proposici on 14 (El criterio M de Weierstrass). Sea un subconjunto
abierto no vaco del plano complejo, u
n
: C una sucesi on de funciones
denidas en , y sup ongase que existe una sucesi on de constantes reales
M
n
0 tales que:
1. |u
n
(x)| M
n
para cada x .
2.

n=0
M
n
converge.
Entonces

n=1
u
n
(x) converge uniformemente en .
Demostraci on. Dada > 0, como

n=0
M
n
converge, entonces es de Cauchy,
por tanto existe N = N

N tal que, si n, m N y m n, entonces


m

k=n+1
M
k
< . Luego entonces, si s
n
(x) =
n

k=1
u
k
(x) entonces, para n, m N
tenemos que
2.3. SERIES DE POTENCIAS Y FUNCIONES HOLOMORFAS 49
|s
n
(x) s
m
(x)| =

k=n+1
u
k
(x)

k=n+1
|u
k
(x)|
m

k=n+1
M
n
<
se sigue de aqu que la serie s
n
(x) es de Cauchy, y por ende, converge. Para
cada x existe =
x
C tal que s(x) = , es decir, tenemos una funcion
s : X C tal que
|s(x) s
n
(x)| =

k=n+1
u
k
(x)

k=n+1
|u
k
(x)|

k=n+1
M
k
<
para toda x , si n N.
Por ejemplo,

k=n+1
z
n
/n converge uniformemente en B(0, r) si 0 r < 1,
para ver esto, basta tomar M
n
= r
n
/n y aplicar el criterio M de Weierstrass.
Lema 2 (El lema de Abel). Dada una sucesi on {c
n
} de n umeros com-
plejos, existe R 0 (R puede ser ) tal que la serie

n=1
c
n
z
n
converge si |z| < R, y diverge para |z| > R.
Adem as, la serie converge uniformemente sobre cada subconjunto com-
pacto de B(0, R) = {z C; |z| < R}, la bola abierta con centro en el origen
y radio R.
Demostraci on. Consideremos el n umero real R dado como sigue:
R = sup {r 0;
M=M
r
>0

n0
|c
n
|r
n
M} .
Si |z| > R, la sucesion |c
n
||z|
n
no es acotada, luego entonces la serie

c
n
z
n
no puede ser convergente.
Sea K un subconjunto compacto de B(0, R), como R es un n umero real,
podemos elegir otro n umero con 0 < < R y tal que
K B(0, ) = {z C; |z| }.
Sea r R tal que < r < R, por denicion de R, existe M = M(r) > 0
tal que |c
n
|r
n
M para toda n N. Si z K, tenemos que |z| < r, de
donde:
50 CAP

ITULO 2. TEOR

IA DE FUNCIONES C-DIFERENCIABLES
|c
n
z
n
| |c
n
|
n
M
_

r
_
n
Como < r, la serie

r
_
n
converge.
Aplicando el Criterio M de Wierstrass, se sigue que la serie

c
n
z
n
converge uniformemente en K.
Corolario 4. Sea un subconjunto abierto no vaco de C, y f una fun-
ci on complejo valuada denida en . Si f es una funci on holomorfa en ,
entonces f es continua en .
Por ejemplo, si = {z C; |z| < 1}, y K es un subconjutno compacto
de , la funcion f denida por la serie

n=0
z
n
es holomorfa y continua en K.
Denici on 15. Dada una sucesi on {c
n
} de n umeros complejos, el n umero
dado por R = sup{r R; r 0,
M=M(r)R

n0
|c
n
|r
n
M}, de acuerdo
con el lema de Abel, se denomina el radio de convergencia de la serie

c
n
z
n
.
Desde luego, hay diversas formas de obtener el radio de convergencia de
una serie, dos metodos practicos para calcular R son los criterios de la razon
y de la raz, que recordamos acontinuacion:
Proposici on 15. Considere una serie de potencias

c
n
z
n
.
1. Criterio de la raz on: Si
lm
n
|c
n
|
|c
n+1
|
existe, entonces es igual a R, el radio de convergencia de la serie.
2. Criterio de la raz: Si = lm
n
n
_
|c
n
| existe, entonces R = 1/ es el
radio de convergencia de la serie. Si = 0, entonces R = , y R = 0
si = .
Recordamos que, lm
n
c
n
= lm
n
sup{c
n
, c
n+1
, . . .}.
2.3. SERIES DE POTENCIAS Y FUNCIONES HOLOMORFAS 51
Demostraci on. Utilizando los criterios de convergencia para series con termi-
nos reales, tenemos que:
1. La serie

|c
n
|r
n
converge, si:
lm
n
|c
n+1
r
n+1
|
|c
n
r
n
|
< 1
(y diverge si este lmite es mayor que uno), de aqu, la serie converge
si:
lm
n
|c
n
|
|c
n+1
|
> r diverge si lm
n
|c
n
|
|c
n+1
|
< r.
Ya que
R = sup{r R; r 0,
M=M(r)R

n0
|c
n
|r
n
M},
tenemos R = lm
n
|c
n
|/|c
n+1
|.
2. Aplicando el criterio de la raz para series reales, sabemos que

|c
n
|r
n
converge si lm
n
n
_
|c
n
|r
n
< 1 (divege si este lmite es mayor que
uno); o equivalentemente, converge si r < 1/lm
n
n
_
|c
n
|.
Diverge si r > lm
n
n
_
|c
n
| aplicando el inciso anterior se sigue que:
R =
1
lm
n
n
_
|c
n
|
.
Ejemplo 8.
1. La serie

n=0
z
n
tiene radio de convergencia uno.
2. La serie

n=0
z
n
/n! tiene radio de convergencia R = +, pues:
lm
n
c
n
/c
n+1
= lm
n
(n + 1) = .
3. La serie

n=0
(z
n
/e
n
) tiene radio de convergencia R = e, pues:
= lm
n
n
_
|c
n
| = lm
n
_
1/e
n
= 1/e, de donde R = 1/ = e.
52 CAP

ITULO 2. TEOR

IA DE FUNCIONES C-DIFERENCIABLES
Lema 3. El radio de convergencia de la serie de potencias

n=0
c
n
z
n
coincide con el radio de convergencia de la serie

n=1
nc
n
z
n1
.
Demostraci on. Denotemos por R y R

los radios de convergencia de las series

n=0
c
n
z
n
, y

n=1
nc
n
z
n1
, en particular:
R = sup{r 0;
M=M(r)R

n0
|c
n
|r
n
M}
y
R

= sup{r 0;
N=N(r)R

n0
|(n + 1)c
n+1
|r
n
M}.
Veremos primeramente que R

R. Si n 1, entonces:
|c
n
z
n
| |nc
n
z
n
| = |nc
n
z
n1
||z|.
Si |z| = r R

, entonces |nc
n
|r
n
= (|nc
n
|r
n1
)r Nr NR

, para
toda n N.
Por ende, si |z| = r R

, se sigue que existe M


R
:= NR

R tal que,
|c
n
|r
n
M para cada entero no negativo n, por lo que R

R. Si R = 0,
en particular R

= 0 = R.
Supongamos ahora que R > 0, veremos ahora que R R

. Podemos
elegir r, R tales que 0 < r < < R, entonces
n|c
n
|r
n1
=
_
1
r
|c
n
|
n
__
n
_
r

_
n
_

1
r
M

n
_
r

_
n
.
Como n
n
0 si || < 1, se sigue que si |z| = r R, existe N
r
R tal
que,|nc
n
|r
n
N
R
, por lo que, R R

.
El siguietne lema nos permitira demostrar que una serie de potencias
puede derivarse termino a termino
Lema 4. Sean , dos n umeros complejos, para cada entero positivo n se
tiene:
|( + )
n

n
| n|| (|| +||)
n1
2.3. SERIES DE POTENCIAS Y FUNCIONES HOLOMORFAS 53
Demostraci on. Si = 0 el resultado es evidente, supongamos entonces que
= 0 y denamos t = /, entonces:
|( + )
n

n
| = |
n
[(1 + t)
n
1]|
= ||
n

k=1
_
n
k
_
t
k

||
n
n

k=1
_
n
k
_
|t|
k
= ||
n
[(1 +|t|)
n
1]
Si 0, entonces
(1 + )
n
1 =
_

0
(1 + u)
n1
du n(1 + )
n1
.
Se sigue de aqu que
|( + )
n

n
| ||
n
n

_
1 +

_
n1
= n||(|| +||)
n1
.
A continuacion veremos que toda funcion holomorfa es C-diferenciable
en el interior de su crculo de convergencia.
Proposici on 16. Sea R > 0 y sup onga que la serie

n=0
c
n
(z a)
n
converge
a f(z), si |z a| < R.
Entonces f es C-diferenciable en B(a, R) = {z; |z a| < R}. Adem as
f

(z) =

n=1
nc
n
(z a)
n1
Demostraci on. Denotemos por g(z) a la funcion g(z) =

nc
n
(z a)
n1
, si
|z| < R.
Fijemos z B(a, R), y elejimos C con 0 < || <
1
2
(R |z a|),
entonces:
f(z + ) f(z)

n=1
c
n
(z + a)
n
(z a)
n

54 CAP

ITULO 2. TEOR

IA DE FUNCIONES C-DIFERENCIABLES
Si N > 0, y =
1
2
(R+|z a|) < R, como consecuencia del lema anterior
tenemos:

n>N
c
n
(z + a)
n
(z a)
n

n>N
n|c
n
|(||+|za|)
n1

n>N
n|c
n
|
n1
Como |z a| < R tambien tenemos |z a| < , de donde

f(z + ) f(z)

n=1
nc
n
(z a)
n1

n=1
|c
n
|

(z + a)
n
(z a)
n

n(z a)
n1

+ 2

n>N
n|c
n
|
n1
.
Como el radio de convergencia de la serie

c
n
z
n
es el mismo que el de la
serie

nc
n
z
n1
, dada > 0, podemos elegir un entero positivo N = N
,z,R
tal que

n>N
nc
n

n1
<
1
2
. Ademas, como
lm

0
(z + a)
n
(z a)
n

= n(z a)
n1
,
podemos elegir > 0 (el cual depende de N, z y {c
n
}, para n < N), donde
<
1
2
(R |z a|), tal que

nN
|c
n
|

(z + a)
n
(z a)
n

n(z a)
n1

< si 0 < || < .


As, para 0 < || < , tenemos

f(z + ) f(z)

n=1
nc
n
(z a)
n1

< 2.
Como consecuencia de este resultado tenemos:
Corolario 5. Si es un subconjunto abierto en C, cualquier funci on holo-
morfa en es Cdiferenciable en .
2.3. SERIES DE POTENCIAS Y FUNCIONES HOLOMORFAS 55
Posteriormente demostraremos que el recproco tambien es cierto, toda
funcion C-diferenciable es holomorfa, lo cual nos permitira utilizar indistin-
tamente los terminos C-diferenciable, analtico y holomorfo.
Corolario 6. Si f(z) =

n=0
c
n
(za)
n
tiene radio de convergencia R > 0,
entonces
1. Para cada k 1 la serie

n=k
n(n 1) (n k + 1)c
n
(z a)
nk
tiene radio de convergencia R;
2. La funci on f es innitamente C-diferenciable sobre B(a, R) y, adem as,
para k 1 y z B(a, R) tenemos:
f
(k)
(z) =

n=k
n(n 1) (n k + 1)c
n
(z a)
nk
;
3. Para n 0, el n-esimo termino de la serie de f satisface
c
n
=
1
n!
f
(n)
(a).
Ejemplo 9.
Considere la serie f(z) =

n=1
z
n
/n!, como consecuencia del criterio de
la raz, esta serie tiene radio de convergencia
R = lm
n
1/n
2
1/(n + 1)
2
= lm
_
n + 1
n
_
2
= 1
y su derivada esta dada como
f

(z) =

n=1
nz
n1
n
2
=

n=1
z
n1
n
.
Note que la serie de f

(z) no converge para z = 1, de donde f no puede


extenderse analticamente a cualquier region que contenga a la cerradura del
disco unitario.
56 CAP

ITULO 2. TEOR

IA DE FUNCIONES C-DIFERENCIABLES
2.4. Ejercicios
1. Suponga que f y g son Cdiferenciables en un abierto no vaco C.
Demuestre las siguientes identidades:
a) (f + g)

= f

+ g

.
b) (f g)

= f g

+ f

g.
c)
_
f
g
_
=
g f

f g

g
2
si g(z) = 0 para cada z .
Captulo 3
Funciones elementales
El objetivo principal de este captulo es extender las funciones elemen-
tales de variable real a variable compleja, tales como las funciones trigonometri-
cas, la exponencial y la logartmica. Asimismo, pretendemos estudiar sus
propiedades fundamentales.
3.1. Potencias y races.
Sea n un entero positivo, y consideremos la aplicacion f : C C denida
como f(z) = z
n
. Si z = r exp(), entonces w = f(z) = r
n
exp(n).
Figura 3.1: Representacion geometrica de la funcion f(z) = z
n
.
En particular, el rayo arg z = se transforma en el rayo arg(w) = n,
mientras que la circunferencia |z| = r se transforma en la circunferencia
|w| = r
n
, el cual se cubre n veces. En efecto, cada uno de los n arcos de
circunferencia
|z| = r, k
2
n
arg z < (k + 1)
2
n
, k = 0, 1, 2, . . . , n 1,
57
58 CAP

ITULO 3. FUNCIONES ELEMENTALES


se transforma completamente sobre la circunferencia |w| = r
n
.
Como consecuencia de la formula deDMoivre, la funcion f(z) = z
n
es
una transformacion biyectiva del interior de cualquier sector de la forma
{z : 0 < arg z
2
n
}, sobre el interior del sector {z : 0 < arg z 2}.
Lo descrito al inicio de esta seccion, muestra que, para obtener una re-
presentacion geometrica de la aplicacion f(z) = z
n
necesitamos n copias del
w-plano, los cuales, ademas, deben unirse apropiadamente. Estas representa-
ciones fueron introdicodas por B. Riemann en 1851, y el tipo de espacios
que se obtienen se conocen actualmente como supercies de Riemann.
A continuacion daremos una breve descripcion de como se genera, en
este caso, dicha supercie.
Iniciemos con n copias del wplano extendido, las cuales denotamos
S
1
, S
2
, . . . , S
n
, a partir de ellas formaremos una supercie conexa R siguien-
do las siguientes convenciones:
1. S
k
es la kesima hoja de R.
2. Todas las hojas tienen los puntos w = 0 y w = ; estos dos puntos se
conocen como puntos de ramicacion de de la supercie, y estos son
los dos puntos de orden n 1 donde las n hojas se pegan.
3. En cada hoja dibujamos una, y la misma curva, que una a los puntos
0 e .
4. La curva se conoce como una lnea de ramicacion de la supercie,
ya que a lo largo de esta lnea se conecta una hoja con la otra. Para
simplicar la discusion, tomaremos el eje real positivo como la lnea
de ramicacion.
Procederemos a especicar como las hojas se uniran a lo largo de la lnea
de ramicacion, y esta convencion se amplicara por una descripcion de que
constituye una vecindad de un punto de R. En la gura (??) presetamos
una representacion pictorica de una porcion de R cerca del origen en el caso
n = 3.
Si consideramos los puntos a + b y a b en S
k
, donde a > 0 y b > 0.
Estos puntos pueden conentarse por medio del permetro del rectangulo
con vertices a + b, a + b, a b, a b; el cual se encuentra totalmente
contenido en S
k
. Ahora bien, si en lugar de seguir la trayectoria de a +b al
punto a b en S
k
lo unimos al punto a b descendiendo a la hoja S
k1
para k 1 1, y ascendiendo al punto a b en la hoja S
n
.
3.1. POTENCIAS Y RA

ICES. 59
Figura 3.2: Supercie de Riemann de z
3
.
Si iniciamos en a b en S
k
y procedemos a subir al punto a + b en la
hoja S
k+1
hasta llegar a S
n
, y descendemos entonces a S
1
para continuar
ascendiendo hasta regresar a S
k
.
Iniciando en w = a+b en S
k
, describimos la circunferencia |w| = |a+b|
n veces en sentido positivo, esto es , arg w es creceitne, entonces encontramos
el punto a + b en forma consecutiva en las siguientes hojas:
S
k
, S
k+1
, . . . , S
n
, S
1
, S
2
, . . . , S
k1
, S
k
.
As, regresamos al punto de partida despues de dar n vueltas. Si de-
scribimos la circunferencia en el sentido negativo, las hojas se recorreran en
el orden inverso:
S
k
, S
k1
, . . . , S
1
, S
n
, S
n1
, . . . , S
k+1
, S
k
.
Para completar la descripcion de la supercie, asignamos vecindades a
los puntos de R de la siguiente manera: Si a + b esta en S
k
y la distancia
al eje real positivo es menor que entonces el conjnto de todos los puntos
en S
k
y su distancia de a + b es menor que constituye una -vecindad de
a+b. Los puntos sobre la lnea de ramicacion, esto es, aquellos sobre el eje
real positivo, debemos distinguir entre los dos ejes de la lnea, pues a+0 en
S
k
es el mismo punto que a 0 en S
k1
, y a 0 en S
k
es el mismo punto
que a + 0 en S
k+1
. En el primer caso, una -vecindad esta dada como:
{w; |wa| < , Im(w) 0, w S
k
}{w; |wa| < , Im(w) < 0, w S
k1
},
y en el segundo caso
{w; |wa| < , Im(w) < 0, w S
k
}{w; |wa| < , Im(w) 0, w S
k+1
},
donde a = 0, , a > .
60 CAP

ITULO 3. FUNCIONES ELEMENTALES


Una vecindad de w = 0 es el conjunto de todos los puntos w con
|w| < y w que se encuentrar sobre las n hojas S
k
. Reemplazando |w| <
por 1/|w| < , tenemos la vecindad en w = . Con lo cual se concluye la
descripcion de la supercie R.
Bajo la aplicacion w = z
n
hay una correspondencia uno a uno entre el
zplano extendido y la supercie de Riemann R.
Por otra parte, si n es un entero positivo mayor que uno, tenemos z =
n

w, ya que z =
n

w si, y solo si w = z
n
. Sin embargo, esta funcion no es
univaluada, y por ende, no esta bien denida.
Supongamos que w = Rexp(), con 0 < 2. Denamos entonces
z
k
= z
k
(w) =
n

Rexp
_

n
+ (k 1)
2
n
_
k = 1, 2, . . . , n (3.1)
Como (z
k
(w))
n
= w para cada k = 1, 2, . . . , n esta formula determina
las nraces de w.
Si w es un punto distinto de cero, los puntos z
1
(w), z
2
(w), . . ., z
n
(w) son
los vertices de un polgono regular de n lados con centro en el origen, el cual
vara continuamente con w.
Para que z
k
(w) sea una funcion univaluada de w tenemos dos opciones;
podemos utilizar el hecho de que w = z
n
da una correspondencia uno a uno
entre la esfera de Riemann y la supercie de Riemann R descrita anteriror-
mente. Por lo cual, la supercie de Riemann R es el dominio de la funcion
univaludada z =
n

w, o bien, restringir el dominio de w.


Sea D un abierto conexo en el wplano tal que, si Pi es un polgono
cerrado simple contenido en D entonces w = 0 nunca es un punto de Pi o
de su interior. Si w
0
D y
0
es el valor que determina arg w
0
, la funcion
arg w

= esta determinado en forma unica en D pidiendo que la funcion
argumento sea continua en la variable w y asuma el valor
0
en el punto
w = w
0
. La funcion z
k
(w) denida por (??) usando el valor , es univaluada,
esta bien denida y es continua en D.
En particular, podemos tomar D como el sector 0 < arg w < 2.
Cada uno de las funciones resultantes z
k
(w) es univaluada y continua en
este sector. Se acostumbra denominar a z
1
(w) la rama principal de la raz
nesima de w. Esta eleccion de D tiene la propiedad de que la raz nesima
de un n umero real positivo es un n umero real positivo.
3.2. LA F

ORMULA DE EULER 61
3.2. La f ormula de Euler
Como mencionamos en el primer captulo, en 1740 Leonhard Euler des-
cubrio la formula
e

= cos + sin
Para explicar la formula de Euler debemos responder a la pregunta Que sig-
nica e

.
Si x es un n umero real, sabemos que la funcion f : R R denida por
f(x) = e
x
satisface las propiedades
d f
dx
= f(x), y f(0) = 1.
De manera similar, si k es una constante real, entonces e
kx
, queda denido
por la propiedad
d f
dx
= kf(x), y f(0) = 1.
Puede extenderse la accion de la funcion exponencial e
x
de valores reales, a
valores imaginarios, pidiendo que esta propiedad se cumpla para k = , esto
es
d e
t
dt
= ie
t
Para que esta ecuacion tenga sentido, imaginemos a una partcula moviendose
a lo largo de una curva en C. Este movimiento puede describirse paramet-
ricamente diciendo que en el tiempo t la partcula ocupa la posicion (t).
La velocidad v(t) es el vector cuya longitud y direccion estan determina-
dos por la velocidad instantanea, y la direccion instantanea del movimiento,
tangente a la trayectoria, del movimiento de la partcula.
d
dt
(t) = lm
h0,h=0
(t + h) (t)
h
= v(t).
As, dada una funcion compleja (t) de la variable real t, podemos vi-
sualizar como la posicion de una partcula en movimiento, con velocidad
d/dt.
Si (t) = e
t
, como
d e
t
dt
= ie
t
tenemos que la velocidad es igual a la posicion girada por un angulo
recto. Como la posicion inicial de la partcila es (0) = e
0
= 1, la velocidad
62 CAP

ITULO 3. FUNCIONES ELEMENTALES


inicial es as la partcula se mueve en direccion vertical hacia arriba. Un
instante despues la partcula se mueve ligeramente en esta direccion, y la
nueva velocidad formara un angulo recto con respecto al nuevo vector de
posicion. Continuando con este proceso, podemos ver que la partcula se
mueve alrededor del crculo unitario.
Sabemos que |(t)| = 1 a lo largo del movimiento, se sigue que la veloci-
dad de la partcula |v(t)| = 1. As, despues de un tiempo t = la partcula
viajara una distancia alrededor del crculo unitario, y as el angulo de
(t) = e

sera . Este es el signicado geometrico de la formula de Euler.


Figura 3.3: Representacion geometrica de la formula de Euler.
3.3. Las funciones exponencial y logaritmo.
En esta parte se generaliza el metodo que se utilizo en la seccion anterior,
pasando de n umeros imaginarios, a cualquier n umero complejo.
3.3.1. La funci on exponencial
En general, podemos denir la funcion exponencial como la solucion
de la ecuacion diferencial f

(z) = f(z) con condicion inicial f(0) = 1. Si


suponemos que hay una funcion analtica que, en una vecindad del origen,
satisfaga esta propiedad, entonces
f(z) = c
0
+ c
1
z + . . . + c
n
z
n
+ . . .
f

(z) = c
1
+ 2c
2
z + . . . + nc
n
z
n1
+ . . .
si queremos que f = f

, como dos series de potencias alrededor del cero


coinciden si coinciden termino a termino, debemos tener c
n1
= nc
n
para
3.3. LAS FUNCIONES EXPONENCIAL Y LOGARITMO. 63
toda n 1, ahora bien, la condicion inicial f(0) = 1 nos dice c
0
= 1, de
donde c
1
= 1, as 2c
2
= 1, es decir, c
2
=
1
2
y, procediendo inductivamente
podemos ver que, c
n
=
1
n!
.
Denici on 16. La soluci on a la ecuaci on diferencial
df
dz
= f
se denota e
z
o bien exp z, y determina una funci on analtica, la cual se
denomina la funci on exponencial.
Como consecuencia del criterio de la raz on, la serie
exp z =

n=0
z
n
n!
,
tiene radio de convergencia innito, es decir, la serie converge en todo el
plano.
Como consecuencia de la denicion, la funcion exponencial satisface el
teorema de la adicion, esto es:
Proposici on 17.
e
a+b
= e
a
+ e
b
Demostraci on. Sabemos que,
d
dz
(e
z
e
cz
) =
d
dz
(e
z
) e
cz
+ e
z
d
dz
(e
cz
)
= e
z
e
cz
+ e
z
(e
cz
) = 0,
como e
z
esta denida y es analtica en C, el cual es conexo, tambien la
funcion e
z
e
cz
, es analtica en C y su derivada es identicamente nula en C.
Como una funcion Cdiferenciable denida en un abierto conexo, si tiene
derivada identicamente nula, entonces es constante, se sigue que e
z
e
cz
es
constante. Para encontrar el valor de dicha constante bastara evaluar esta
funcion en z = 0, por lo que e
z
e
cz
= e
0
e
c0
= e
c
, tomando z = a y
c = a + b tenemos e
a+b
= e
a
+ e
b
.
Como consecuencia del teorema de la adicion tenemos que e
z
e
z
= 1,
lo cual muestra que e
z
es nunca nula. Para x R el desarrollo en serie de
la exponencial muestra que e
x
> 1 si x > 0, y as, e
x
y e
x
son recprocos,
0 < e
x
< 1 cuando x < 0.
64 CAP

ITULO 3. FUNCIONES ELEMENTALES


El hecho que la serie tenga coecientes reales implica que exp z es el
complejo conjugado de exp z. As |e
y
|
2
= e
y
e
y
= 1, y si z = x + y
con x, y R, el teorema de la adicion nos dice que e
z
= e
x+y
= e
x
e
y
, de
donde |e
z
| = e
x
.
De lo anterior podemos concluir que e
z
= 1 si, y solo si, z = 2n para
alg un entero n. Antes de continuar analizando esta funcion, recordamos que
Denici on 17. Una funci on f(z) tiene periodo c si, f(z + c) = f(z) para
toda z.
Luego entonces, si e
z+c
= e
z
, entonces e
c
= 1, as c = 2n. Podemos
concluir que el mnimo periodo positivo de la funcion exponencial es 2.
Desde un punto de vista algebraico, la aplicacion w(y) = e
y
con y R
establece un homomorsmo entre el grupo aditivo de los n umeros reales y el
grupo multiplicativo de los n umeros complejos de modulo uno. El n ucleo de
este homomorsmo es el subgrupo formado por todos los m ultiplos enteros
de 2.
Si z = x+y entonces exp z es tal que | exp z| = e
x
y arg(exp z) = y+2k.
Observamos que, si x > 0 entonces lm
z
exp z = , mentras que, si
x < 0 tenemos que lm
|z|
exp z = 0, como consecuencia de esto tenemos que
lm
|z|
exp z no existe.
3.3.2. La funci on Logaritmo
Como
d exp z
dz
= 0 para toda z C, el teorema de la funcion inversa nos
dice que exp z, al menos localmente, la exponencial tiene funcion inversa, la
cual, de manera analoga al caso real, denominaremos funcion logaritmo, por
denicion, z = log w es una razde la ecuacion e
z
= w.
Como e
z
= 0 para toda z C, entonces z = log 0 no tiene solucion, esto
es, el n umero cero no tiene logaritmo.
Podemos dar as la siguiente denicion:
Denici on 18. Sea C un conjunto abierto, conexo y tal que 0 / , y
sea f : C una funci on continua tal que z = exp(f(z)) para toda z .
La funci on f se denomina una rama de logaritmo denida en .
Si f es una rama de logaritmo denida sobre un cojunto abierto, conexo
C\{0} , y n Z, basandonos en lo discutido en los parrafos anteriores,
la funcion g(z) = f(z) + 2n es otra rama de logaritmo. Recprocamente,
si f y g son dos ramas de logaritmo, entonces para cada z , se tiene
3.3. LAS FUNCIONES EXPONENCIAL Y LOGARITMO. 65
que f(z) = g(z) + 2n para alg un entero n, donde, en principio, el entero
n depende de la eleccion del punto z. Sin embargo, podemos ver que el
entero n es independiente de z , para esto, consideremos la funcion
h(z) = [f(z) g(z)] = 2. Como f y g son continuas en , la funcion h
resulta continua en , y su imagen h() es un subconjunto de Z. Como
es conexo, y la imagen bajo una funcion continua de un conjunto conexo es
conexo, entonces h() Z es conexo. Luego entonces h(z) es constante, es
decir, existe n Z tal que h(z) = n para toda z . De donde, f(z) =
g(z) + 2n.
Para denir explcitamente una rama de logaritmo, notamos que, si w =
0, la ecuacion e
x+y
= w es equivalente a
e
x
= |w|, e
y
=
w
|w|
.
La primera ecuacion tiene una unica solucion, a saber, x = ln |w|, donde
ln denota la funcion logaritmo natural real. Por otra parte, la segunda
ecuacion da un n umero complejo de modulo uno, la cual tiene una unica
solucion si 0 y < 2. Ademas, como mencionamos anteriormente, pode-
mos encontrar una solucion diferente modulo m ultiplos enteros de 2 esto es,
todo n umero complejo distinto de cero tiene una innidad de logaritmos,
los cuales dieren uno del otro por m ultiplos enteros de 2, esto es:
z = log w = ln |w| + arg(w) = ln |w| + (arg w + 2k), con k Z.
La parte imaginaria de log w se denomina el argumento de w y se denota
arg w. Geometricamente, el argumento se interpreta como el angulo, medido
en radianes y recorrido en levogiro, entre el eje real positivo y el rayo que
va del origen al punto w.
1
Por convencion, el logaritmo log w de un n umero real positivo w siempre
se toma como el logaritmo real de w, esto es, ln w, a menos que se especifque
lo contrario.
Luego entonces, podemos considerar la rama principal de logaritmo como
sigue:
Denici on 19. Sea := C \ {z C : Re(z) 0 y Im(z) = 0}, El
conjunto es un subconjunto abierto y conexo de C, que corresponde al
plano menos el eje real negativo. Cada punto z , puede representarse
en forma unica como z = |z|e

con < < , donde = argz. Para


< < ), denimos la rama principal de la funci on logaritmo como:
1
recorrido en levogiro= recorrido en sentido contrario a las manecillas del reloj.
66 CAP

ITULO 3. FUNCIONES ELEMENTALES


log z = ln |z| + arg z,
donde ln |z| es el logaritmo natural del n umero real positivo |z|.
Si escribimos el punto w en terminos de coordenadas polares, esto es,
w = re

, entonces log w = r + .
Figura 3.4: Exponencial y la rama principal de logaritmo.
En resumen, hemos visto que la funci on exponencial f(z) = exp z es
una aplicaci on biyectiva, de una franja de anchura 0 < 2, paralela al
eje real, en un sector de magnitud con vertice en el origen de coordenadas.
Y es continua si la franja tiene anchura estrictamente menor a 2.
El teorema de la adicion para la funcion exponencial implica:
log(z
1
z
2
) = log z
1
+ log z
2
;
pero solo en el caso en que ambos lados representen el mismo conjunto de
n umeros complejos.
Como hemos mencionado anteriormente exp

z = exp z = 0, y el teorema
de la funcion inversa implica que, localmente, exp z tiene inversa, y como
la funcion inversa es unica, esta debe ser una rama de la funcion logaritmo.
Ademas, la derivada de la funcion inversa de la funcion exponencial f(z) =
exp z, en el punto w = exp z es igual a (f
1
)

(w) = 1/e
z
= 1/w, para cada
z {x + y ; y
0
y < y
0
+ 2}, de donde:
d log z
dz
=
1
z
,
obtenemos as el sigueinte resultado:
Corolario 7. Una rama de la funci on logaritmo es C-diferenciable, y su
derivada es la funci on z
1
.
3.4. LAS FUCIONES TRIGONOM

ETRICAS 67
A un mas, dado un abierto conexo C\{0}, si f es una rama de loga-
ritmo denida en , y b C es jo, podemos denir una funcion g : C
por g(z) = exp(bf(z)). Si b Z, entonces g(z) = z
b
. Esto nos permite denir
una rama de z
b
para b . Si escribimos g(z) = z
b
como funcion, deberemos
entender z
b
= exp(b log z), donde log z es la rama principal de logaritmo,
en particular, como g(z) es composicion de funciones Cdiferenciables, en-
tonces g(z) = z
b
es Cdiferenciable, y
d z
b
dz
= bz
b1
,
donde utilizamos la misma rama de logartimo en ambos lados de la igualdad.
De aqui podemos deducir que, si a, b C, y a = 0, el smbolo a
b
se
interpreta como exp(b log a). Si a es un n umero real positivo, log a tambien
es un n umero real, y a
b
es univaluada, de otra forma, a
b
admite una innidad
de valores, los cuales dieren por factores de e
2nb
. Esta tiene solo un valor
cuando b es un entero, en cuyo caso a
b
se interpretara como una potencia
de a, o bien, de a
1
. Si b es un n umero racional, con forma reducida
p
q
,
entonces a
b
admite exactamente q valores distintos, y pueden representarse
como
q

a
p
.
Formalmente, si a = 0, tambien podemos denir la funcion f(z) = a
z
=
exp(z log a), en una rama apropiada de logaritmo. En esta rama, la funcion
f(z) = a
z
es una funcion Cdiferenciable, univaluada y, denidas en la
misma rama de logartimo tenemos:
da
z
dz
= a
z
log a.
3.4. Las fuciones trigonometricas
Se denen las funciones trigonometricas como:
cos z =
e
z
+ e
z
2
, sin z =
e
z
e
z
2
que se denominan respectivamente, las funciones coseno y seno. Estas fun-
ciones claramente son analticas en todo el plano complejo.
Sustituyendo la expresion en serie de potencias de e
z
obtenemos:
cos z =

k=0
(1)
k
(2k)!
z
2k
= 1
z
2
2!
+
z
4
4!
...
68 CAP

ITULO 3. FUNCIONES ELEMENTALES


y
sin z =

k=0
(1)
k
(2k + 1)!
z
2k+1
= z
z
3
3!
+
z
5
5!
...
las cuales convergen para cada n umero complejo z.
Para z = x R estas expresiones se reducen al desarrollo de Taylor
de la series cos x y sin x, y tienen propiedades similares a las funciones
trigonometricas de variable real, pero que ahora, tendremos diferencias sig-
nicativas, tales como el hecho de que estas funciones no son acotadas.
Como consecuencia de las deniciones de las funciones cos z y sin z te-
nemos la formula de Euler:
e
z
= cos z + sin z
as como la identidad
cos
2
z + sin
2
z = 1,
para cada z C. En particular, si z = x R tenemos que e
x
= cos x+ sin x.
Ademas, se conserva la paridad de las funciones, esto es:
cos(z) = cos z y sin(z) = sin z.
Tambien es facil vericar que
cos

z = sin z, sin

z = cos z.
Y la formula de adicion de la funcion exponencial nos induce las formulas
de la adicion de las funciones trigonometricas:
cos(a + b) = cos a cos b sin a sin b
sin(a + b) = cos a sin b + sin a cos b
para cada a, b C.
Esto muestra que, podemos expresar las funciones trigonometricas en
terminos de las funciones trigonometricas e hiperbolicas reales comosigue:
cos(x + y) = cos xcosh y sin xsinh y,
sin(x + y) = sin xcosh y + cos xsinh y.
Estas relaciones muestran que cos z y sin z no solo toma valores reales
sobre el eje real, sino en todo un sistema de rectas verticales en el plano, ya
que:
3.4. LAS FUCIONES TRIGONOM

ETRICAS 69
sin(k + y) = (1)
k
sinh y,
cos(k + y) = (1)
k
cosh y,
sin
_
[2k + 1]

2
+ y
_
= (1)
k
cosh y,
cos
_
[2k + 1]

2
+ y
_
= (1)
k
sinh y,
Lo cual determina todas las posibilidades en que las funciones sin z y
cos z toman valores reales, o imaginarios puros para un valor complejo z.
Ademas, las formulas de adicion muestran que cos z y sin z no pueden
tener ceros distintos a los que conocemos en el caso real, esto es:
cos z = 0 si, y solo si z =
(2k + 1)
2
,
y
sin z = 0 si, y solo si z = k.
A un mas, como consecuencia de estas formulas, si c es un periodo para
cos z y sin z, entonces cos(p + 0) = cos(0) = 1 y sin(p + 0) = sin 0 = 0, por
lo que p = 2k. Por lo que, el menor periodo para estas funciones es 2.
LAs funciones trigonometricas tienen bandas periodicas verticales. Una
eleccion conveniente es:
(2k 1) < x (2k + 1), con k Z.
Si denimos la funcion tangente como
tan z =
sin z
cos z
tenemos que esta funcion es Cdiferenciable si sin z = 0, es decir, cuando
z C \
_
(2k + 1)
2
; k Z
_
.
Notese que
lm
z
(2k+1)
2
tan z = .
En este caso, las formulas de adicion nos dicen que
tan(a + b) =
tan a + tan b
1 tan a tan b
70 CAP

ITULO 3. FUNCIONES ELEMENTALES


en particular
tan(x + y) =
tan x(1 tanh
2
y
1 + tan
2
xtanh
2
y
+
(1 + tan
2
x) tanh y
1 + tan
2
xtanh
2
y
.
Esta ultima formula muestra que tan z R si, y solo si z R. Mientras que
tan z tiene parte real cero si x es m ultiplo de /2. Los unicos ceros de la
funcion tangente son de la forma z = k con k Z, y tan z es una funcion
periodica de periodo .
Las bandas
(2k 1)
2
< x
(2k + 1)
2
es una banda periodica. La imagen de dicha banda bajo la funcion tangente
es C \ {}.
Finalmente,
lm
y+
tan(x y) = .
Las otras funciones trigonometricas, al igual que en variable real, estan
denidas en terminos de las funciones cos y sin, y se deja como ejercicio dar
su expresion en terminos de la funcion exponencial, as como vericar sus
principales propiedades.
Captulo 4
Aplicaciones Conformes
Una aplicacion conforme es aquella que preserva angulos en cada punto
de su dominio. Las aplicaciones conformes han sido utilizadas por matema-
ticos, cartografos y fsicos para deformar regiones en forma tal que se la
forma de las regiones se preserva a peque na escala. En la presente seccion,
estudiaremos el comportamiento general de las aplicaciones conformes C-
valuadas defnidas sobre un abierto C, as como una familia especial de
este tipo de aplicaciones, conocidas como las transformaciones de Mobius.
4.1. Introducci on.
La cartografa estudia el problema de transferir las distancias medidas
sobre la supercie de la tierra, la cual es una supercie con curvatura, en un
mapa, el cual resulta ser una supercie plana. Los metodos que se utilizan
para realizar este trabajo se denominan proyecciones. Algunas proyecciones
son tales que, los angulos y consecuentemente las formas, son tan cercanas
a la realidad como sea posible. Las aplicaciones que preservan angulos se
denominan conformes.
Historicamente, la proyeccion desarrollada en 1569 por Gerhardus Mer-
cator, es una proyeccion cilindrica conforme. Este tipo de transformaciones
produce considerables distorsiones en latitudes grandes, pero tiene la venta-
ja que las rutas del compas son consistentes en todos los puntos del mapa,
cualquier trayectoria a lo largo de una direccion del compas aparece como
una lnea recta en la proyeccion de Mercator, lo cual sigue utilizandose como
la base de las cartas de navegacion. En particular este hecho mostraba que
las aplicaciones conformes denidas sobre supercies son aplicaciones mas
71
72 CAP

ITULO 4. APLICACIONES CONFORMES


exibles que las isometras, o las aplicaciones lineales.
Gauss conrmo este hecho en su trabajo A general solution to the prob-
lem of mapping parts of a given surface onto another surface such that the
image and the mapped parts are similar in the smallest part. En esencia este
resultado nos habla de la existencia de coordenadas isotermas en el caso
analtico. Cabe recalcar que este estudio precede y es en parte motivado por
el trabajo de Gauss en el que se desarrolla la nocion de curvatura de una
supercie. Otro hecho importante es la conexion que hay entre las coorde-
nadas isotermas y las funciones holomorfas en una variable compleja, por
ejemplo, la proyeccion de Mercator basicamente esta dada como z log z,
la cual es holomorfa. El aspecto global de esta teora lo constituyen las su-
percies de Riemann. La relacion entre lo local y lo global es uno de los
principales ob- jetivos de la geometra conforme: a saber, poder entender
la geometra diferencial desde un punto de vista clasico, es decir, separar
los aspectos analaticos de los topologicos para entenderlos de la mejor for-
ma posible, y relacionarlos con las nociones primitivas de la geometra tales
como angulo, distancia, area, lneas rectas (geodesicas), etcetera. Las apli-
caciones conformes tambien han sido utilizadas para estudiar problemas de
uidos en dos dimensiones. La idea que se encuentra detras del analisis del
aleron por transformaciones conformes consiste en relacionar el ujo de un
campo alrededor de una region conocida al campo del ujo de un aleron. La
gura conocida mas usada es el crculo, as el problema consiste en encon-
trar una funcion analtica que relacione cada punto del disco con un punto
correspondiente del aleron. Por ejemplo, Jaukowski noto que la aplicacion
z z + 1/z transforma el crculo unitario en una especie de ala. Tomando
el origen en diversos puntos del disco se pueden producir distintos tipos de
alerones.
4.2. Aplicaciones Conformes
Consideremos la funcion analtica f : C C dada por f(z) = z
2
,
identicando R
2
con C via
1
(x, y) = x+iy = z nos permite ver a f como
u(x, y) + iv(x, y), donde u(x, y) = x
2
y
2
, v(x, y) = 2xy, si consideramos
las lneas x = c (y arbitraria ), tenemos que u = c
2
y
2
y v = 2cy, de
donde v
2
= 4c
2
y
2
= 4c
2
(c
2
), mientras que las lneas y = d (x arbitaria ) se
transforman en las parabolas v
2
= 4d
2
(u + d
2
).
Estas parabolas se intersectan ortogonalmente en los puntos (c
2
d
2
, |2cd|),
como se muestra en la Figura (??)
Este ejemplo se genero utilizando el programa mapledando los sigu-
4.2. APLICACIONES CONFORMES 73
Figura 4.1: Geometra de la funcion f(z) = z
2
ientes comandos:
> with(plots);
> conformal(z2,z=0..2+2*I);
El hecho que se preserven los angulos, no es un fenomeno exclusivo de
las lneas que elegimos, o de la funcion en si, el hecho de que se preserven
los angulos es una propiedad, denominada conforme, que exploraremos de
manera general en la presente seccion.
Cabe notar que cuando c tiende a cero, la parabola v
2
= 4c
2
(u c
2
)
tiende al eje real negativo, union el cero. Esto se debe a que la funcion g(z) =
z
1/2
tranforma el conjunto abierto G := C\{x R; x 0} sobre el conjunto
{z C; Re(z) > 0}, y en particular las lneas x = c se transforman en la
misma parabola.
Podemos examinar con mas detalle esta funcion, por ejemplo, del captu-
lo anterior sabemos que f transforma el crculo con centro en el origen y
radio r > 0 en el crculo con centro en el origen y radio r
2
. A un mas, si
consideramos la expresion polar de un punto z
0
= r exp() C \ {0} la
recta que va del origen a z
0
bajo f se transforma en la recta que pasa por
74 CAP

ITULO 4. APLICACIONES CONFORMES


el origen y el punto z
1
= r
2
exp(2).
Luego entonces, si tomamos el sector S(, ) := {z ; < arg(z) <
con < y < , como consecuencia de lo anterior vemos que, bajo
f, este sector se transforma en el sector S(2, 2), por lo que en este caso
particular, a diferencia del anterior, no se preservo el angulo , esto se
debe a que la funcion f deja de ser conforme en el origen.
Esta peque na discusion nos da una idea de la natrualeza de la funcion
f(z) = z
2
, y nos orienta sobre el comportamiento general de la teora de las
transformaciones analticas.
Denici on 20. Una trayectoria (o curva) en una regi on C es una
funci on continua : [a, b] , para alg un intervalo [a, b] R, con interior
no vaco, es decir a < b .
Diremos que es una trayectoria cerrada si (a) = (b).
Diremos que es una curva simple si es inyectiva, esto es, si s, t [a, b]
con s = t, entonces (s) = (t).
Diremos que es una curva cerrada simple si si s, t (a, b) con s = t,
entonces (s) = (t) y (a) = (b). Una curva cerrada simple tambien se
denomina curva de Jordan.
Decimos que es una trayectoria suave si

(t) existe y es continua,


para cada t en el interior del intervalo I.
Finalmente, se dice que es una trayectoria suave por partes si
es continua y existe una partici on t
0
< t
1
< ... < t
n
del intervalo I = [t
0
, t
n
],
tal que es suave sobre cada subintervalo (t
i1
; t
i
), con 1 < i < n.
Una curva cerrada simple es homeomorfa a una circunferencia, esto es,
hay una funcion biyectiva y bicontinua de uno en otro. Como una circunfer-
encia separa el plano, esta propiedad se hereda a las curvas de Jordan.
Teorema 8 (Teorema de la curva de Jordan). Si : [a, b] C es
una curva cerrada simple, el complemento de es la uni on de dos conjuntos
abiertos conexos mutuamente excluyentes, y cada punto de es un punto
frontera de cada dominio.
Uno de los dominios determinado por es acotado, y se denomina el
interior de la curva, el otro, es no acotado, y se denomina el exterior de la
curva
Recordamos que, dada una trayectoria suave : [a, b] C, y t
0
(a, b),
un punto tal que

(t
0
) = 0, entonces tiene una lnea tangente en el punto
z
0
= (t
0
), a saber, la lnea que pasa por el punto z
0
con vector de direccion

(t
0
), o equivalentemente, con pendiente tan(arg(

(t
0
))).
4.2. APLICACIONES CONFORMES 75
Denici on 21. Si
1
: [a, b] C y
2
: [c, d] C son dos trayectorias
suaves en C que pasan por el punto z
0
, es decir
1
(t
1
) = z
0
=
2
(t
2
) con
t
1
(a, b), t
2
(c, d), y

k
(t
k
) = 0 para k = 1, 2, denimos el angulo entre las
trayectorias
1
y
2
en el punto z
0
como
arg(

2
(t
2
)) arg(

1
(t
1
))
Si : [a, b] es una trayectoria suave, con C abierto, y f :
C es una funcion Cdiferenciable denida en , entonces := f
tambien es una trayectoria suave, y como consecuencia de la regla de la
cadena

(t) = f

((t))

(t). Si para t
0
(a, b) denotamos (t
0
) = z
0
, y
suponemos que

(t
0
) = 0 y f

(z
0
) = 0, entonces

(t
0
) = 0, a un mas,
arg[

(t
0
)] = arg[f

(z
0
)] + arg[

(t
0
)].
Luengo entonces, si
1
,
2
son dos trayectorias suaves que pasan por
z
0
=
1
(t
1
) =
2
(t
2
), y
k
(t
k
) = 0 para k = 1, 2 y
k
= f
k
, y si
suponemos ademas que
1
(t
1
) =
2
(t
2
), entonces
arg[f

(z
0
)] = arg[

1
(t
1
)] arg[

1
(t
1
)] = arg[

2
(t
2
)] arg[

2
(t
2
)],
o quivalentemente
arg[

2
(t
2
)] arg[

1
(t
1
)] = arg[

2
(t
2
)] arg[

1
(t
1
)]
Esto signica que, f transforma cualesquiera dos trayectorias que pasen
por z
0
en dos trayectorias que pasan por f(z
0
) y, cuando f

(z
0
) = 0, los
angulos de las trayectorias se preservan en magnitud y direccion, esto es:
Teorema 9. Sea C un conjunto abierto, y f una funci on Cdiferen-
ciable denida en . Entonces f preserva angulos en cada punto z
0

donde f

(z
0
) = 0.
As, la funcion f(z) = z
2
preserva angulos, en magnitud y direccion, si
z
0
= 0. aplicacion f(z) = z + 1/z preserva angulos si f

(z) = 1 1/z
2
= 0,
esto es, si z
0
= 1.
Denici on 22. Sea C un conjunto abierto, z
0
, y f una funci on
Cvaluada denida en . Diremos que f es una aplicaci on conforme en z
0
si, f tiene la propiedad de preservar angulos, en magnitud y direcci on, en el
punto z
0
, y adem as existe el siguiente l mite:
lm
zz
0
|f(z) f(z
0
)|
|z z
0
|
Diremos que f es conforme en , si f es conforme en z para cada z .
76 CAP

ITULO 4. APLICACIONES CONFORMES


En particular, si f es Cdiferenciable y f

(z) = 0 para cada z, entonces


es conforme.
La funcion exponencial es conforme en todo C. Si consideramos las rectas
verticales z = a+y con a R jo, entonces f(z) = e
a
e
y
son circunferencias
con centro en el origen y radio e
a
.
Mientras que, la imagen de la recta horizontal z = x+b esta dada como
f(x) = e
x
e
b
la semirecta que forma un angulo b con el eje real positivo. En
?? mostramos el comportamiento de una familia de rectas.
Figura 4.2: Geometra de la funcion f(z) = exp z
Cuando f

(z
0
) = 0, no necesariamente se preservan los angulos. Si f :
C es una funcion Cdiferenciable, un punto z
0
donde f

(z
0
) = 0 se
denomina un punto singular. La conducta de una funcion Cdiferenciable
en una vecindad de un punto singular es un tema muy interesante, y se
estudiara posteriormente.
Proposici on 18. Sea un conjunto abierto no vaco, f : C una
funci on, y denotemos por

= Imf. Si f :

es conforme y biyectiva,
entonces f
1
:

tambien es conforme.
Demostraci on. Como f es biyectiva, f
1
existe. Como consecuencia del teo-
rema de la funcion inversa, f
1
es analtica, y
df
1
(w)
dw
=
1
df(z)
dz
donde w = f(z).
Como f es conforme f

(z) C\{0}, se sigue que


df
1
(w)
dw
= 0, consecuente-
mente, f
1
es conforme.
4.2. APLICACIONES CONFORMES 77
Proposici on 19. Sean
k
C, abiertos no vacos para k = 1, 2, 3, y sean
f
k
:
k

k+1
funciones Cdiferenciables, si k = 1, 2. Supongamos que f
1
y f
2
son conformes y biyectivas, entonces f
2
f
1
:
1

3
es conforme y
biyectiva.
Demostraci on. Como f
1
y f
2
son biyectivas y Cdiferenciables, entonces
f
2
f
1
es biyectiva y Cdiferenciables. Como consecuencia de la regla de la
cadena (f
2
f
1
)

(z) = f

2
(f
1
(z)) f

1
(z) = 0, lo cual implica que f
2
f
1
es
conforme.
Corolario 8. Sea C un conjunto abierto no vaco. El conjunto de
las transformaciones Cdiferenciables, conformes y biyectivas, f : ,
constituye un grupo bajo la composici on de funciones.
Uno de los resultados basicos referentes a la teora de las aplicaciones
conformes es el teorema de la aplicacion abierta de Riemann, el cual no de-
mostramos en la presente seccion, simplemente lo enunciaremos, y daremos
una referencia donde puede leerse su demosrtacion.
Riemann enuncio, alrededor de 1900, el teorema de la aplicacion abierta
en su disertacion Grundlagen f ur eine allgemeine Theorie der Functionene
einer ver anderlichen complexen Grosse. Collected Works, 3-45, para lo que
actualmente conocemos como supercies de Riemann compactas con fron-
tera, siendo dicho teorema mas general que la version usual que enunciamos
en la presente seccion. El basa su demostracion en el principio variacional de
la ecuacion u = 0, aunque seg un observo Weierstrass, Riemann no justica
su principio, siendo Hilbert quien en 1904 da la justicacion del mismo en su
artculo

Uber das Dirichletsche Prinzip. Math. Annalen 59 (1904), 161-186.
Collected Works, vol. 3, pp. 15-37.
La version que a continuacion enunciamos es una caso especial del teore-
ma de la aplicacion abierta de Riemann, la cual fue demostrada por Osgood
en 1900.
Teorema 10 (Teorema de la aplicaci on abierta de Riemann). Si
es un subconjunto abierto, simplemente conexo de C, y si = C , existe
una aplicaci on conforme y biyectiva f : , donde = {z ; |z| < 1}
denota el disco unitario. Adem as, para cada z
0
, jo, podemos encontrar
una unica f tal que f(z
0
) = 0 y f

(z
0
) > 0. [?, Chap. 6, pg. 229-235]
Denici on 23. Si
k
C son abiertos y conexos, k = 1, 2. Diremos que

1
y
2
son conformes si, existe una transformaci on conforme y biyectiva
de
1
en
2
.
78 CAP

ITULO 4. APLICACIONES CONFORMES


El teorema de la aplicacion abierta de Riemann implica que dos regiones
simplemente conexas, propiamente contenidas en C, son conformes.
En la Figura (??) mostramos el efecto de algunas aplicaciones conformes
sobre determinadas regiones en el plano.
Figura 4.3: Geometra de transformaciones conformes
4.3. TRANSFORMACIONES DE M

OBIUS. 79
4.3. Transformaciones de M obius.
En la presente seccion estudiamos una familia especial de aplicaciones
conformes, as como la forma de obtener aplicaciones conformes especcas
entre dos regiones dadas.
Uno de los ejemplos mas simples, y utiles, de aplicaciones conformes que
discutiremos son las fraccionales lineales, esto es aplicaciones de la forma:
T(z) =
az + b
cz + d
,
con a, b, c y d n umeros complejos tales que ad bc = 0. Este tipo de apli-
caciones fueron utilizadas por Mobius en 1853 para estudiar una clase de
aplicaciones geometricas la cual denomino Kreisverwandtschaften. Este tipo
de aplicaciones tambien se denominan homografas.
Denici on 24. Una aplicaci on fraccional lineal
T(z) =
az + b
cz + d
es una aplicaci on de M obius si los n umeros complejos a, b, c y d satisfacen
la condici on adicional ad bc = 0
La condicion ad bc = 0 simplemente nos dice que la aplicacion T no es
constante.
Proposici on 20. Si T(z) =
az + b
cz + d
es una aplicaci on de M obius, entonces
T es conforme y biyectiva de A = {z ; cz+d = 0} sobre B = {w ; w =
a
c
}.
Demostraci on. Claramente T es Cdiferenciable si cz+d = 0, y si denimos
S(z) =
dz b
cz + a
, podemos ver facilmente que T S(z) = S T(z) = z. Por
lo que S = T
1
es la aplicacion inversa de T, y es claro que Dom(S) = {w
; a cw = 0}, y que T
1
tambien es una aplicacion de Mobius.
Notese que
lm
z
d
c

az + b
cz + d

= , y lm
w
a
c

dw + b
cw a

=
Esto nos permite considerar la aplicacion T denida sobre el plano ex-
tendido C

, deniendo
T() =
a
c
, T
_
d
c
_
=
80 CAP

ITULO 4. APLICACIONES CONFORMES


obteniendose as que T es conforme y biyectiva de C

en C

.
Es claro que el conjunto de las aplicaciones de Mobius T : C

constituye un grupo bajo la composicion, el cual denotaremos M ob. Por otra


parte, si GL(2, ) denota el grupo de matrices invertibles, 22 con coecientes
complejos, tenemos un homomorsmo de grupos : Gl(2, ) M ob, dado
como:

_
a b
c d
_
=
az + b
cz + d
Ademas, si T(z) =
az + b
cz + d
es una aplicacion de Mobius, y C \ {0},
entonces
T(z) =
az + b
cz + d
esto es, los coecientes a, b, c y d no son unicos.
A nivel de grupos esto signica que el homomorsmo no es inyectivo,
y tiene n ucleo ker = { I GL(2, ); C \ {0}}, donde I denota la
matriz identidad. Consecuentemente, el grupo Mob es isomorfo al grupo
GL(2, )/ ker .
Podemos destacar algunos casos especiales de aplicaciones de Mobius, a
saber:
Denici on 25. Si T : C

es una aplicaci on de M obius, entonces:


1. Si T(z) = z + b, T se denomina una traslaci on;
2. Si T(z) = az, con a > 0, y a = 1, entonces T se denomina una
dilataci on;
3. Si T(z) = e
i
z, con R, T se denomina una rotaci on;
4. Si T(z) = az, con a C \ {0}, T se denomina una homotecia, en
particular, una homotecia es una composici on de rotaciones y dilata-
ciones; nalmente
5. Si T(z) = 1/z, T se denomina una inversi on.
Geometricamente hablando: Una traslacion mueve un punto z C una
distancia |b| en la direccion arg b, solo el punto al innito permanece invari-
ante bajo traslaciones.
Una dilatacion expande el plano si a > 1, y lo contrae si a < 1. Solo el
origen y el punto al innito permanecen invariantes bajo dilataciones.
4.3. TRANSFORMACIONES DE M

OBIUS. 81
Una rotacion por un angulo , gira todo punto z alrededor del origen un
angulo , y solo deja invariantes el origen y el punto al innito.
Una inversion es la composicion de dos reexiones, la primera sobre el
eje real y la segunda sobre la circunferencia unitaria, aunque ninguna de
estas aplicaciones sea una transformacion de Mobius. Los puntos z = 1
son sus unicos puntos jos.
Proposici on 21. Si T es una aplicaci on de M obius, entonces T es la com-
poci on de traslaciones, homotecias e inversiones.
Demostraci on. Si c = 0, entonces T(z) =
a
d
z +
b
d
, denamos T
1
(z) =
a
d
z y
T
2
(z) = z +
b
d
. Claramente T = T
2
T
1
.
Si c = 0, denamos:
T
1
(z) = z +
d
c
, T
2
(z) =
1
z
, T
3
(z) =
bc ad
c
2
z y T
4
(z) = z +
b
d
,
entonces T = T
4
T
3
T
2
T
1
.
Notamos ademas que, si T(z) =
az + b
cz + d
es una aplicacion de Mobius,
entonces T(z) = z si, y solo si, az + b = z(cz + d), lo cual implica cz
2
+
(d a)z b = 0, como esta ecuacion es cuadratica, concluimos que: una
transformaci on de M obius, distinta de la identidad, tiene a lo m as dos puntos
jos, o equivalentemente, si una transformacion de Mobius ja al menos tres
puntos, entonces es la identidad Id(z) = z.
Si T es una aplicacion de Mobius, a, b, c C

son tres puntos distintos


con = T(a), = T(b) = T(c) y S es otra aplicacion de Mobius tal que
= S(a) = S(b) = S(c), entonces S
1
T ja los puntos a, b y c, por
ende S
1
T = Id, de donde S = T. En resumen:
Proposici on 22. Una aplicaci on de M obius esta determinada, en forma
unica, por su acci on sobre cualesquiera tres puntos distintos en C

.
Si z
2
, z
3
, z
4
C

y k = l, denamos T : C

como:
82 CAP

ITULO 4. APLICACIONES CONFORMES


T(Z) =
_

_
(z z
3
)(z
2
z
4
)
(z z
4
)(z
2
z
3
)
si z
2
, z
3
, z
4
C
z z
3
z z
4
si z
2
=
z
2
z
4
z z
4
si z
3
=
z z
3
z
2
z
3
si z
4
=
En cualquiera de estos casos T(z
2
) = 1, T(z
3
) = 0 y T(z
4
) = , ademas
T es la unica aplicacion de Mobius con esta propiedad.
Denici on 26. Si z
1
C

, entonces (z
1
, z
2
, z
3
, z
4
), la raz on cruzada de
z
1
, z
2
, z
3
y z
4
, es la imagen de z
1
bajo la unica aplicaci on de M obius que
transforma z
2
en 1, z
3
en 0 y z
4
en .
Por ejemplo (z
2
, z
2
, z
3
, z
4
) = 1; (z
3
, z
2
, z
3
, z
4
) = 0 y (z, 1, 0, ) = z.
Ademas, si T es cualquier aplicacion de Mobius y w
2
, w
3
y w
4
son pun-
tos tales que T(w
2
) = 1, T(w
3
) = 0 y T(w
4
) = , entonces T(z) =
(z, w
2
, w
3
, w
4
).
Proposici on 23. Si z
2
, z
3
, z
4
son puntos distintos en C

, y T es cualquier
aplicaci on de M obius, entonces
(z, z
2
, z
3
, z
4
) = (T(z), T(z
2
), T(z
3
), T
z
4
)
para cada z C

.
Demostraci on. Sea S(z) = (z, z
2
, z
3
, z
4
), la razon cruzada de z, z
2
, z
3
y z
4
,
entonces S es una transformacion de Mobius, tal que S(z
2
) = 1, S(z
3
) = 0 y
S(z
4
) = . Si U = S T
1
, entonces U(T(z
k
)) = (S T
1
)(T(z
k
)) = S(z
k
),
donde U(z) = (z, T(z
2
)), T(z
3
, T(z
4
)) para toda z C

. En particular, si
z = T(z
1
) tenemos (z, z
2
, z
3
, z
4
) = (T(z), T(z
2
), T(z
3
), T(z
4
)).
Corolario 9. Si z
2
, z
3
, z
4
son puntos distintos en C

, y w
2
, w
3
, w
4
tambien
son puntos distintos en C

, entonces existe una unica aplicaci on de M obius


T tal que T(z
k
) = w
k
, para k = 2, 3, 4.
Si pensamos C

como la compacticacion de C por medio de la proyec-


cion estereograca, podemos ver que las lneas rectas en C corresponden a
crcunferencias en C

que pasan por .


4.3. TRANSFORMACIONES DE M

OBIUS. 83
Proposici on 24. Una aplicaci on de M obius manda crcunferencias en crcun-
ferencias.
Demostraci on. De acuerdo con la proposicion ??, podemos escribir T como
una composicion de traslaciones, homotecias e inversiones, concretamente,
T = T
4
T
3
T
2
T
1
, con T
1
(z) = z +
d
c
, T
2
(z) =
1
z
, T
3
(z) =
bc ad
c
2
z y
T
4
(z) = z +
b
d
, recordamos que las traslaciones (T
1
y T
4
), y las homotecias
(T
3
) transforman crcunferencias en crcunferencias, por lo que bastara ver
que las inversiones transforman crcunferencias en crcunferencias. De ge-
ometra analatica basica sabemos que una circunferencia, o lnea, tienen
ecuacion
Ax + By + C(x
2
+ y
2
) = D
con A, B, C, D R, constantes, no todas cero. Sea z = x+y, y supongamos
z = 0, sea 1/z = u + iv, entonces u = x/(x
2
+ y
2
), y v = y/(x
2
+ y
2
), la
ecuacion de la circunferencia es equivalente a:
Au Bv D(u
2
+ v
2
) = C,
la cual tambien es una lnea o una circunferencia.
Proposici on 25. Si z
1
, z
2
, z
3
, z
4
son cuatro puntos distintos en C

, en-
tonces (z
1
, z
2
, z
3
, z
4
) es un n umero real si, y solamente si, los cuatro puntos
est an en una circunferencia.
Demostraci on. Si T(z) = C

es la aplicacion T(z) = (z, z


2
, z
3
, z
4
);
entonces T(z) =
az + b
cz + d
; si z = x R, y w = T
1
(x) = 1, entonces x =
T(w), de donde T(w) = T(w), es decir
aw + b
cw + d
=
aw + b
cw + d
lo cual implica
(ac ac)|w|
2
+ (ad bc)w + (bc da)w + (bd bd) = 0.
Si ac R, entonces ac ac = 0; sean = 2(ad bc), = (bd bd), y
multiplicando la ecuacion anterior por tenemos
0 = Im(w) = Im(w )
84 CAP

ITULO 4. APLICACIONES CONFORMES


pues R. Esto es, w esta en la lnea determinada por la ecuacion anterior.
Si ac no es real, la ecuacion
(ac ac)|w|
2
+ (ad bc)w + (bc da)w + (dd bd) = 0,
se transforma en
|w|2 + w + w = 0
para algunas constantes C, R. En particular |w + | = , donde
= (||
2
+ )
1/2
=
|ad bc|
|ac ac|
> 0.
Como y son independientes de x y como la ecuacion |w + | = es la
ecuacion de una circunferencia, concluimos que (z
1
, z
2
, z
3
, z
4
) es un n umero
real si, y solamente si, los cuatro puntos estan en una cricunferencia.
Corolario 10. Dadas dos circunferencias C y C

en C

, existe una apli-


caci on de M obius tal que T(C) = C

.
En particular, si = {z ; |z| < 1}, denota el disco unitario, podemos
ver que:
Proposici on 26. Cualquier transformaci on de la forma
T(z) = e
i
z z
0
1 z
0
z
con z
0
, y [0, 2) jos; es conforme y biyectiva de en .
Demostraci on. Vericaremos que, si T(z) = e
i
z z
0
1 z
0
z
, entonces T() =
. Primeramente veremos que, si |z| = 1, entonces |T(z)| = 1. Como |z| = 1,
entonces zz = 1, entonces:
|T(z)| =

e
i
z z
0
1 z
0
z

z z
0
zz z
0
z

=
1
|z|
|z z
0
|
|z z
0
|
= 1.
Ademas z
z z
0
1 z
0
z
es Cdiferenciable en C \ { z
1
0
}, y como |z
0
| < 1,
entonces | z
1
0
| > 1, es decir, z
0
/ .
Como T(z
0
) = 0 , por continuidad T transforma el interior de
en el interior de . Y como T es la restriccion a de una transformacion
conforme, T es conforme de en .
Posteriormente, cuando estudiemos el teorema del modulo maximo, de-
mostraremos que toda aplicacion conforme y biyectiva de sobre es de
la forma descrita en la porposicion anterior.
4.4. SIMETR

IA. 85
4.4. Simetra.
Recordamos que dado un punto (x, y) R
2
, el punto (x, y) es simetrico
a (x, y) con respecto al eje x, la aplicacion (x, y) = (y, x) es una aplicacion
R lineal, que preserva normas.
De manera mas general, puede denirse simetra con respecto a cualquier
otra lnea y = mx, como:

(x, y) = (R

)(x, y)
donde m = tan , y R

(x, y) = (xcos y sin , xsin +y cos ) es la rotacion


que gira el plano un angulo en el sentido contrario a las manecillas del reloj.
Finalmente, si deseamos reejar con respecto a cualquier lnea y = mx+
b, con b = 0 bastara considerar, de manera adicional, la traslacion t
b
(x, y) =
(x, y b), y considerar la composicion t
b

t
b
para obtener el simetrico
de un punto con respecto a una recta. Ahora bien, podemos generalizar esta
idea, y considerar el simetrico de un punto con respecto a una circunferencia
como sigue:
Denici on 27. Sea C una circunferencia en C

que pase por los puntos


z
2
, z
3
y z
4
. Dados z, z

, diremos que z

es el punto simetrico a z con


respecto a C si, y s olo si, (z

, z
2
, z
3
, z
4
) = (z, z
2
, z
3
, z
4
)
Cabe notar que, de manera similar al caso de las rectas en R
2
:
La denicion solo depende de C, y no de los puntos z
2
, z
3
y z
4
.
z es el punto simetrico a z

con respecto a C.
Los puntos de C son los unicos que son simetricos a ellos mismos.
La tranformacion z z

es biyectiva, y se denomina la reexion con


respecto a C.
Para ver que esto realmente una generalizacion del cado descrito anteri-
ormente, supongamos z
4
= , as C corresponde a una recta en C, y
z

z
3
z
2
z
3
= (z

, z
2
, z
3
, ) = (z, z
2
, z
3
, ) =
z z
3
z
2
z
3
=
z z
3
z
2
z
3
,
esto implica

z
3
z
2
z
3

z z
3
z
2
z
3

86 CAP

ITULO 4. APLICACIONES CONFORMES


de donde |z

z
3
| = |z z
3
|, por lo cual z y z

equidistan de cada punto de


C. Ademas
Im
z

z
3
z
2
z
3
= Im
z z
3
z
2
z
3
= Im
z z
3
z
2
z
3
Por ende, y a menos que z C, z y z

estan en distintos semiplanos


determinados por C. Ademas, la recta que une z y z

es perpendicular a la
recta C.
Por otra parte, si / C, podemos suponer
C = {z ; |z a| = R}, 0 < R <
aplicando sistematicamente la invariancia de la razon cruzada para una apli-
cacion de Mobius (Prop. ??), podemos concluir que:
(z

, z
2
, z
3
, z
4
) = (z, z
2
, z
3
, z
4
)
= (z a, z
2
a, z
3
a, z
4
a)
=
_
z a,
R
2
z
2
a
,
R
2
z
3
a
,
R
2
z
4
a
_
=
_
R
2
z a
+ a, z
2
, z
3
, z
4
_
Esta ecuacion muestra que el punto simetrico de z es z

= a+R
2
(za)
1
,
o equivalentemente z y z

satisfacen la relacion
(z

a)(z a) = R
2
Consecuentemente, el producto de las distancias de z y z

al centro es R
2
,
esto es, |z a| |z

a| = R
2
. Ademas,
z

a
z a
=
R
2
|z a|
2
> 0,
lo cual signica que z y z

estan en la misma semi-recta con punto inicial a.


Dado z / C, hay una constriccion geometrica muy simple para z

, la cual
describimos en la Figura (??):
Sea L la semi-recta que pasa por z e inicia en a.
Considere la perpendicular L

a L que pasa por z.


Sea p el punto de interseccion de L

con C.
4.5. EJERCICIOS 87
Figura 4.4: El punto z

es el simetrico de z
Considere la recta tangente a C en p, T
p
C
z

es el punto de interseccion de L con T


p
C
En particular, los puntos a e son simetricos con respecto a C.
Proposici on 27 (El principio de simetra.). Si una aplicaci on de M obius
manda la circunferencia C
1
sobre la circunferencia C
2
, entonces cualquier par
de puntos simetricos con respecto a C
1
se transforman bajo T en un par de
puntos simetricos con respecto a C
2
.
Demostraci on. Si z
2
, z
3
y z
4
son tres puntos distintos en C
1
, si z y z

son
simetricos con respecto a C
1
, y sea T una aplicacion de Mobius que trans-
forme C
1
en C
2
. Entonces
(z

, z
2
, z
3
, z4) = (z, z
2
, z
3
, z
4
)
Como consecuencia de la proposicion ?? tenemos que:
(T(z

), T(z
2
), T(z
3
), T(z
4
)) = (z

, z
2
, z
3
, z
4
)
= (z, z
2
, z
3
, z
4
)
= (T(z), T(z
2
), T(z
3
), T(z
4
))
Luego entonces T(z) y T(z

) son simetricos con respecto a C


2
.
4.5. Ejercicios
1. Obtenga la imagen del primer cuadrante bajo la aplicacion T(z) = z
3
.
Captulo 5
Integral de Lnea.
En esta seccion veremos que la generalizacion inmediata de una integral
real a los n umeros complejos es denir la integral de una funcion compleja
sobre un intervalo real, esto nos conducira al concepto de integral de lnea.
Este concepto nos permitira estudiar una serie de propiedades fundamen-
tales en el analisis de funciones de variable compleja, las cuales son muy
complicadas de demostrar sin el uso de la integracion compleja, propiedades
mediante las cuales iniciaremos la distincion fundamental entre los funciones
reales de variable real y las funciones holomorfas. Estos resultados son el ob-
jetivo principal de la siguiente seccion.
Demostrar que una funcion Cdiferenciable es holomorfa puede demos-
trarse sin utilizar integracion a lo largo de curvas, aunque las demostraciones
suelen ser mas complicadas, R. L. Plunket demostro la continuidad de la
derivada en A topological proof of the continuity of the derivate of a function
of a complex variable. Bull. Amer. Math. Soc. 65, (1959); 1-4. Mientras que
E.H. Connel y P. Porcelli demostraron la existencia de todas las derivadas en
A proof of the power series expansion without Cauchys formula. Bull. Amer.
Math. Soc. 67, (1961); 177-181. Ambos artculos basan sus demostraciones en
una demostracion topologica del teorema de la aplicacion abierta, pues este
se encuentra muy relacionado con la estructura de las funciones holomorfas,
seg un demuestra Stoilow, cuya disertacion puede encontrarse en el libro de
C. T. Whyburn Topologycal analysis, 2nd ed. Princeton. 1964.
5.1. Integraci on Compleja
Como mencionamos anteriormente, las demostraciones clasicas donde se
prueba que las funciones Cdiferenciables son holomorfas se basan en la
91
92 CAP

ITULO 5. INTEGRAL DE L

INEA.
integracion a lo largo de curvas, por lo cual iniciamos la presente seccion
recordando algunas deniciones y propiedades fundamentales de curvas e
integracion.
Denici on 28. Sea (X, d) un espacio metrico.
1. Una curva (o trayectoria) en X es una transformaci on continua :
[a, b] X donde [a, b] denota el intervalo cerrado t R
2
; a t
t a, b R, a < b.
2. Los puntos (a), (b) se denominan los extremos de la curva, (a) se
denomina el punto inicial, y (b) se denomina el punto nal. Tambien
se suele decir que inicia en (a) y termina en (b).
3. Dados x
0
, x
1
X, diremos que una curva : [a, b] X une x
0
con
x
1
si: (a) = x
0
y (b) = x
1
. En este caso tambien decimos que es
una curva de x
0
a x
1
.
4. Diremos que una curva : [a, b] X es una curva cerrada si (a) =
(b). Si x
0
= (a) = (b), en este caso tambien decimos que es un
lazo en x
0
.
5. Si : [a, b] X es una curva, denotamos la imagen de como im(),
esto es im() = (t); t [a, b]. La imagen de tambien se denomina
la traza, o soporte de la curva.
6. Si : [a, b] X es una curva en X, denimos la curva (tambien
se suele denotar
1
) como : [a, b] X, (t) = (b +at). Note
que (a) = (b), (b) = (a), y im() = im(). La curva se
denomina la curva inversa de , y es la curva que recorre la traza de
en sentido opuesto.
7. Si
1
: [a
1
, b
1
] X,
2
: [a
2
, b
2
] X son dos curvas tales que el punto
inicial de
2
coincide con el punto nal de
1
, esto es,
2
(a
2
) =
1
(b
1
),
denimos la curva =
1
+
2
como sigue:
: [a, b] X, con a = a
1
, b = b
1
+ b
2
a
2
(t) =
_
_
_

1
(t) si a t b
1

2
(t + a
2
b
1
) si b
1
t b
1
+ b
2
a
2
Como
2
(b
1
+a
2
b
1
) =
2
(a
2
) =
1
(b
1
), esta funci on est a bien denida
y es continua. N otese que im(
1
+
1
) = im(
1
) im(
2
). Esta curva
se obtiene recorriendo primero
1
y posteriormente
2
.
5.1. INTEGRACI

ON COMPLEJA 93
8. Sea C un conjunto abierto, no vaco, y : [a, b] una curva.
Diremos que es suave por partes si existe una partici on a = a
0
<
a
1
< .... < a
n
= b del intervalo [a, b] tal que
|[a
j
,a
j+1
]
es una funci on
continuamente diferenciable para j = 0, 1, ..., n 1.
Recordamos que la restriccion de al intervalo [a
j
, a
j+1
] es continua-
mente diferenciable si existe un intrvalo abierto I
j
R, con [a
j
, a
j+1
], tal
que es continua y diferenciable en I
j
.
Notese que, en este caso, hay un subconjunto nito S [a, b] tal que
d/dt existe y es continua en [a, b] S; ademas d/dt es acotado en este
conjunto.
Podemos notar que, si es una curva diferenciable por partes en ,
entonces
1
tambien lo es. Si
1
y
2
son curvas diferenciables por partes
en , y el punto nal de
1
coincide con el punto inicial de
2
, entonces

1
+
2
es una curva diferenciable por partes.
Denici on 29. Sea (X, d) un espacio metrico.
Si
k
: [a
k
, b
k
] X, k = 1, 2 son dos curvas en X, diremos que
2
es
una reparametrizaci on de
1
, (o que
2
se obtine de
1
por medio de una
reparametrizaci on), si existe una funci on continua, sobre, y estrictamente
creciente h : [a
2
, b
2
] [a
1
, b
1
] tal que
1
h =
2
.
En este caso im(
1
) = im(
2
). Si X es un subconjunto abierto de C,
y si
k
son curvas suaves por partes, se pedira adicionalmente que h sea
diferenciable.
Procediendo de manera similar a lo realizado en los captulos anteriores,
podemos identicar nuevamente C con R
2
, tomar R
2
, considerar una
curva suave en y una funcion f R
2
-valuada denida en , tomando
en cuenta que lo que sabemos hacer es realizar integracion de funciones
real valuadas de variable real, al evaluar f a lo largo de y realizar el
producto punto con obtenemos una funcion real valuada de variable real
h(t) = f((t)) (t), y podemos realizar la integral de h(t) sobre el intervalo
de denicion de , obteniendose as un valor real, esto es:
Denici on 30 (Denici on Preliminar). Sea C un conjunto abierto
no vaco, : [a, b] una curva suave en , y f : C una funci on
Cvaluada, y continua denida en . Se dene la integral de lnea a lo largo
de , la cual denotamos
_

fdz, por la f ormula:


_

fdz =
_
a
b
f((t)) (t)dt,
94 CAP

ITULO 5. INTEGRAL DE L

INEA.
donde f((t)) (t)dt denota el producto punto de f((t)) y (t) como vec-
tores en R
2
.
Si identicamos nuevamente C con R
2
va z = x +iy (x, y), podemos
escribir la funcion continua f en terminos de sus partes real e imaginaria
como f(x, y) = (u(x, y), v(x, y)), con u, v funciones R valuadas denidas
en , y (t) = (x(t), y(t)), entonces
_

fdz =
_
b
a
_
u(x(t), y(t))
dx(t)
dt
+ v(x(t), y(t))
dy(t)
dt
_
dt
Ejemplo 10.
Evaluemos
_

fdz donde f(x + y) = y (0, y), y [0, 1] C es la


curva que une 0 con . Podemos ver que esta dada por (t) = (0, t), de
donde (t) = (0, 1), y por denicion
_

fdz =
_
1
0
tdt =
t
2
2

1
0
=
1
2
Desde luego, si es una trayectoria que une los puntos z
0
y z
1
, la pregunta
natural que nos hacemos cuando estudiamos calculo es, si es otra curva
que une a z
0
con z
1
,
_

f =
_

f?
Como consecuencia del teorema fundamental del calculo, sabemos que
si u = g/x y v = g/y, para alguna funcion suave g denida sobre un
conjunto abierto que contenga a la curva , entonces
_

(udx + vdy) = g((a)) g((b)),


es decir, la integral no depende de la curva . A un mas, sabemos que
udx + vdy no es de la forma g/x y v = g/y, para alguna funcion
suave g, a menos que vx = u = y. Obteniendose as una condicion
necesaria, pero no suciente. Como consecuencia de las propiedades de in-
tegracion de funciones de variable real, sabemos que
_

f no depende de la
reparametrizacion de . Por otra parte, las propiedades del producto punto
en R
2
nos dicen que
_

(f + cg) =
_

f + c
_

g para todo c R, f y g fun-


ciones R
2
valuadas denidas en un abierto que contenga a , es decir,
_

: ( R es una funcion Rlineal, donde ( es el Respacio vectorial de


5.1. INTEGRACI

ON COMPLEJA 95
las funciones R
2
valuadas denidas en un abierto que contenga a .
Desde luego, nos gustara que la Rlinealidad de la integral se extendiara al
campo complejo, es decir, que fuese Clineal, desafortunadamente esto no
sucede, como podemos ver en el siguiente ejemplo:
Ejemplo 11.
Evaluemos
_

fdz, donde f(x+y) = y (0, y), y [0, 1] es la curva


(t) = t (0, t), que une 0 con .
Como vimos en el ejemplo anterior
_

fdz =
_
1
0
tdt =
t
2
2

1
0
=
1
2
de donde
_

fdz =

2
.
Sin embargo f(x + y) = (y) = y (y, 0), y como f((t)) (t) =
(t, 0) (0, 1) = 0, entonces
_

f = 0.
Desde luego, lo que deseamos hacer es generalizar la integral de lnea
real al caso complejo, es decir, deseamos que esta integral siga siendo in-
dependiente de las reparametrizaciones y que sea Clineal, para lo cual,
debemos modicar nuestra denicion anterior de manera que
_

f de un
n umero complejo.
Denici on 31 (Denici on de Integral de Lnea). Sea C un con-
junto abierto no vaco, : [a, b] una curva suave en , y f : C
una funci on Cvaluada, y continua denida en . Se dene la integral de
lnea a lo largo de , la cual denotamos
_

fdz, por la f ormula:


_

fdz =
_
b
a
f((t)) (t)dt,
donde ahora el producto f((t)) (t) es como n umeros complejos.
Nuevamente, podemos escribir la funcion continua f en terminos de
sus partes real e imaginaria como f(z) = u(z) + v(z), con u, v funciones
Rvaluadas denidas en , y (t) = (x(t) + y(t)), entonces
f((t)) (t) = [u((t)) + v((t))][ x(t) + y(t)]
= [u((t)) x(t) v((t)) y(t)] + [u((t)) y(t) v((t)) x(t)]
96 CAP

ITULO 5. INTEGRAL DE L

INEA.
de donde
_

fdz =
_
b
a
_
u(x(t), y(t))
dx(t)
dt
v(x(t), y(t))
dy(t)
dt
_
dt
+
_
b
a
_
u(x(t), y(t))
dy(t)
dt
+ v(x(t), y(t))
dx(t)
dt
_
dt
La cual resulta mas facil de recordar si escribieramos formalmente
_

fdz =
_
b
a
[udx vdy] +
_
b
a
[udy + vdx]
o bien
_

fdz =
_
b
a
[u x v y] +
_
b
a
[u y + v x]dt
Desde luego, a un debemos vericar que, con esta denicion, se extienden
las propiedades de la integral de lnea, y que la integral, en este caso, resulta
Clineal. Y al igual que en el caso anterior, si es una curva de z
0
a z
1
,
nuevamente podemos preguntarnos si
_

f depende , o no, de la curva .


En esta seccion trataremos de dar respuesta a estas preguntas, pero antes,
veremos algunos ejemplos.
Ejemplo 12.
1. Evaluemos ahora
_

e
z
dz, donde (t) = e
it
, con t [0, 2/2]. En este
caso
_

e
z
dz =
_
2
0
e
(t)
(t)dt
=
_
2
0
e
(cos t+ sin t)
(sin t + cos t)dt
=
_
2
0
e
cos t
[cos(sin t) sin t + sin(sin t) cos t]dt
+ i
_
2
0
e
cos t
[sin(sin t) sin t cos(sin t) cos t]dt
= e
cos t
cos(sin t)

/2
0
+ e
cos t
sin(sin t)

/2
0
= e
cos t+ sin t

/2
0
= e

e
5.1. INTEGRACI

ON COMPLEJA 97
2. Ahora evaluaremos
_

fdz, donde f(z) = (za)


1
, y (t) = re
2t
+a,
con t [0, n], n N. Tenemos
_

1
z a
dz =
_
n
0
1
(re
2 t
+ a) a
2 r t e
2t
dt
=
_
n
0
dz
= 2 n
Esta formula posteriormente nos sera muy util.
Proposici on 28. Sea : [a, b] C una curva suave, si : [c, d] C es
una repametrizaci on de , entonces
_

f =
_

f,
para toda fuci on continua f denida sobre un conjunto abierto que contenga
a la imagen de la curva .
Demostraci on. Como es una reparametrizacion de , existe una funcion
h : [c, d] [a, b], continua, diferenciable y creciente tal que (t) = ( h)(t).
Como consecuencia de la regla de la cadena tenemos:
(t) =
d(t)
dt
=
d( h)(t)
dt
=
d(h(t))
ds
dh(t)
dt
=
d(s)
ds
ds
dt
con s = h(t), de donde
_

f =
_
d
c
f((t)) dt
=
_
d
c
f((t))
d(h(t))
ds
dh(t)
ds
=
_
b
a
f((s))
d(s)
ds
ds
=
_

f
Proposici on 29. Sea un conjunto abierto, no vaco, f, g : C
funciones continuas, una constante compleja, y sean ,
1
y
2
curvas,
tales que el punto nal de
1
coincide con el punto inicial de
2
. Entonces:
98 CAP

ITULO 5. INTEGRAL DE L

INEA.
1.
_

f =
_

f.
2.
_

(f + g) =
_

f +
_

g.
3.
_

f =
_

f.
4.
_

1
+
2
f =
_

1
f +
_

2
f.
Demostraci on. (1) Si f = u + v, con u, v : R funciones R-valuadas,
continuas denidas en , =
1
+i
2
C, con
k
R, y (t) = x(t)+y(t),
con t [a, b] R, entonces: f = (
1
u
2
v) + (
1
v +
2
u), de donde
_

f =
_
b
a
[(
1
u
2
v) x + (
1
v +
2
u) y]dt
+
_
b
a
[(
1
u
2
v) y + (
1
v +
2
u) x]dt
=
1
_
b
a
(u x v y)dt
2
_
b
a
(u y + v x)dt
+
_

1
_
b
a
(u y + v x)dt +
2
_
b
a
(u x v y)dt
_
=
_
b
a
f
(2) Si f = u
1
+ v
1
, g = u
2
+ v
2
, como antes, entonces:
_

(f + g) =
_
b
a
[(u
1
+ u
2
) x (v
1
+ v
2
) y]dt
+
_
b
a
[(u
1
+ u
2
) y + (v
1
+ v
2
) x]dt
=
_
b
a
[u
1
x v
1
y]dt +
_
b
a
[u
1
y + v
1
x]dt
+
_
b
a
[u
2
x v
2
y]dt +
_
b
a
[u
2
y + v
2
x]dt
=
_

f +
_

g
5.1. INTEGRACI

ON COMPLEJA 99
(3) Si f y son como el inciso (1), entonces: (t) = (b t), y como
consecuencia de la regla de la cadena
d()(t)
dt
=
d(t)
dt
d(b t)
dt
=
d(t)
dt
,
de donde
_

f =
_
b
a
f((t))
d()(t)
dt
dt
+
_
b
a
f((b t))( (t))dt
=
_
b
a
f((s)) (s)ds
=
_

f.
(4) Finalmente, sea f como en el inciso (1),
1
(t) = x
1
(t)+ y
1
(t), si t [a, b]
y
2
(t) = x
2
(t) + y
2
(t), si t [b, c], con
1
(b) =
2
(a). Entonces:
_

1
f +
_

2
f =
_
b
a
f(
1
(t))
1
(t)dt +
_
c
b
f(
2
(t))
2
(t)dt
=
_
b
a
(u x
1
v y
1
)dt +
_
b
a
(u y
1
+ v x
1
)dt
+
_
c
b
(u x
2
v y
2
)dt +
_
c
b
(u y
2
+ v x
2
)dt
=
_
b
a
(u x
1
v y
1
)dt +
_
c
b
(u x
2
v y
2
)dt
+
__
b
a
(u y
1
+ v x
1
)dt +
_
c
b
(u y
2
+ v x
2
)dt
_
Aplicando que estamos integrando fucnciones real valuadas, tenemos que
_
b
a
(u x
1
v y
1
)dt +
_
c
b
(u x
2
v y
2
)dt =
_
c
a
(u x v y)dt
y que
_
b
a
(u y
1
+ v x
1
)dt +
_
c
b
(u y
2
+ v x
2
)dt =
_
c
a
(u y v x)dt
100 CAP

ITULO 5. INTEGRAL DE L

INEA.
donde x(t) = x
1
(t) si t [a, b] y x(t) = x
2
(t) si t [b, c], procedemos en
forma analoga para y(t). De donde:
_

1
f +
_

2
f +
_

1
+
2
f
como deseabamos mostrar.
Denici on 32. . Si : [a, b] es una curva suave por partes, y a =
a
0
< a
1
< ... < a
n
= b, es una partici on de [a, b] tal que
k
=
[a
k
,a
k+1
]
es
diferenciable para k = 0, ..., n 1. Denimos
_

fdz como
_

fdz =
n1

k=0
_

k
fdz.
Podemos notar, como consecuencia de la proposicion anterior,que el va-
lor de la integral de f a lo largo de no depende de la particion utilizada.
Denici on 33 (Longitud de Arco). Sea : [a, b] una curva suave la
longitud de arco de se dene como:
() =
_
b
a
[ (t)[dt =
_
b
a
_
x(t)
2
+ y(t)
2
dt.
La longitud de arco tambien es independiente de la parametrizacion.
Ejemplo 13.
Si (t) = exp( t), con t [0, 2], es una parametrizacion del crculo
unitario, entonces
() =
_
2
0
_
(sin(t))
2
+ (cos(t))
2
dt =
_
2
0
dt = 2.
La siguiente propiedad nos permite obtener una estimacion de las integrales.
Proposici on 30. Si es un subconjunto abierto no vaco de C, : [a, b]
es una funci on continua, tal que existe una constante real M 0 con
[f(z)[ M para toda z im(), entonces

M().
5.1. INTEGRACI

ON COMPLEJA 101
En forma m as general tenemos:

[f[[dz[,
donde, por denici on,
_

[f[ :=
_
b
a
[f((t))[[ (t)[dt.
Demostraci on. Como

f((t)) (t)dt

entonces

_
b
a
f((t)) (t)dt

_
b
a
[f((t)) (t)[ dt

_
b
a
[f((t))[[ (t)[dt

_
b
a
M[ (t)[dt
= M()
pues, por hipotesis, [f((t))[ M para toda t [a, b].
Teorema 11. (El Teorema Fundamental del Calculo para Integrales
de Lnea). Si : [a, b] C es una curva suave, y f es una funci on
Cdiferenciable en un abierto C, tal que im() . Entonces
_

(z)dz = f((b)) f((a)).


En particular, si es una curva cerrada, es decir, (a) = (b), entonces
_

(z)dz = 0.
102 CAP

ITULO 5. INTEGRAL DE L

INEA.
Demostraci on. Si f es C-diferenciable, entonces
f((t)) = u(t) + v(t),
con u, v : [a, b] R diferenciables, entonces
d(f((t)))
dt
=
du
dt
(t) +
dv
dt
(t),
de donde
_

(z)dz =
_
b
a
du
dt
dt +
_
b
a
dv
dt
dt
Aplicando el Teorema Fundamental del Calculo a las funciones reales de
variable real u

, v

, tenemos
_
b
a
du
dt
dt = u(b) u(a), y
_
b
a
dv
dt
dt = v(b) v(a),
y como
(u(b) u(a)) + (v(b) v(a)) = f((b) f((a)))
podemos concluir que
_

(z)dz = f((b)) f((a)).


Corolario 11. Si f es un polinomio en z, y es cualquier curva cerrada
en C, suave por partes, entonces
_

f = 0.
Ejemplo 14.
Si z
0
= 1, z
1
= e

para alg un (0, ], y f(z) = 1/z, sabemos
que
d log z
dz
=
1
z
, donde log esta denido en la rama principal, esto es, si
z C z; Re(z) = 0, Im(z) < 0.
Como log(z
1
) = , y log(1) = 0, entonces
_

f = .
5.1. INTEGRACI

ON COMPLEJA 103
Proposici on 31. Si es un subconjunto abierto no vaco en C, R un
rect angulo cerrado contenido en y f : C es una funci on C-diferenciable,
y f (
1
(), entonces
_ _
R
f
z
dxdy =
1
2
_
R
f dz.
Demostraci on. Si R = x + y ; (x, y) [a, b] [c, d], es un rectangulo
cerrado contenido en , con vertices v
1
= a + c, v
2
= b + c, v
3
= b + d, y
v
4
= a + d,
1
, ...,
4
los lados de R, estos los podemos parametrizar como

1
(t) = t + c, con a t b,
2
(t) = b + it, con c t d, etc. Entonces
_ _
R
f
z
dxdy =
1
2
_ _
R
_
f
x
+
f
y
_
dxdy
Figura 5.1: Rectangulo cerrado en .
Como
_ _
R
f
y
dxdy =
_
b
a
__
d
c
f
y
dy
_
dx
=
_
b
a
[f(x, d) f(x, c)] dx
=
_

3
f dz
_

1
f dz
de manera similar obtenemos:
_ _
R
f
x
dxdy =
__

2
f dz +
_

4
f dz
_
.
Sumando las integrales anteriores obtenemos:
_ _
R
f
z
dxdy =
1
2
4

k=1
_

k
f dz =
1
2
_
R
f dz.
104 CAP

ITULO 5. INTEGRAL DE L

INEA.
Corolario 12. Si f (
1
(), y f es C-diferenciable en , entonces para
cada rect angulo cerrado R tenemos
_
R
fdz = 0
A diferencia de este corolario , el siguiente resultado no pide que la fun-
cion f sea de clase (
1
, y es un resultado que juega un papel fundamental en
nuestro estudio de las funciones C-diferenciables, en particular, nos permi-
tira ver que estas funciones son analticas.
Teorema 12 (El teorema de Cauchy-Goursat). Si es un conjunto
abierto en C, y f es una funci on Cdiferenciable denida en . Entonces,
para cualquier rect angulo cerrado R ,
_
R
f dz = 0
Demostraci on. Identicando nuevamente C con R
2
consideremos un rectan-
gulo cerrado R = x + y C; (x, y) [a, b] [c, d] contenido en , donde
a, b, c, d R,con a < b y c < d, y denotemos por v
k
, k = 1, ..., 4 los vertices
de R, esto es v
1
= a + c; v
2
= b + c, v
3
= b + d y v
4
= a + d. Y
consideremos los siguientes puntos auxiliares:
v
0
:=
1
4
(v
1
+ v
2
+ v
3
+ v
4
), w
1
=
1
2
(v
1
+ v
2
), w
2
=
1
2
(v
2
+ v
3
),
w
3
=
1
2
(v
3
+ v
4
), w
4
=
1
2
(v
1
+ v
4
)
Esto es, v
0
es el centro del rectangulo R, y los puntos w
k
son los puntos
medios de cada uno de los lados de R.
Dividamos R en cuatro rectangulos cerrados R
1
, R
2
, R
3
y R
4
, donde R
1
tiene vertices v
1
, w
1
, v
0
y w
4
; los vertices de R
2
son w
1
, v
2
, w
2
y v
0
; R
3
tiene
vertices v
0
, w
2
, v
3
, w
3
, y nalmente, los vertices de R
4
son w
a
, v
0
, w
3
y v
4
, en
este orden, como muestra la gura (??).
Como consecuencia de la proposicion ??, tenemos que
_
R
f dz =
4

k=1
_
R
k
f dz.
Denotemos por
A :=

_
R
fdz

,
5.1. INTEGRACI

ON COMPLEJA 105
Figura 5.2: Rectangulos cerrados en .
entonces
A :=

k=1
_
R
k
fdz

k=1

_
R
k
fdz

,
En particular, existe
1
1, 2, 3, 4 tal que

_
R

1
f dz

1
4
A.
Ademas, (R

1
) =
1
2
(R), y el diametro de R

1
es la mitad del diametro de
R, es decir: diam(R

1
) =
1
2
diam(R). De manera similar a la anterior, ahora
dividamos R

1
en cuatro rectangulos R

1
,
, con = 1, ..., 4, introduciendo
el centro, y los puntos medios de los lados de R

1
, tenemos
_
R

1
f dz =
4

=1
_
R

1
,
f dz,
luego entonces, existe
2
1, 2, 3, 4 tal que

_
R

1
,
2
f dz

_
R

1
f dz

1
4
2
A,
ademas,
(R

1
,
2
) =
1
2
(R

1
) =
1
2
2
(R),
y
diam(R

1
,
2
) =
1
2
diam(R

1
) =
1
2
2
diam(R)
Iterando este proceso, encontramos una sucesion de rectangulos cerrados
R

1
,
2
,...,
k
: k N que satisfacen las siguientes propiedades:
1. R

1
,
2
,...,
k
,
k+1
R

1
,
2
,...,
k
,
106 CAP

ITULO 5. INTEGRAL DE L

INEA.
2. (R

1
,
2
,...,
k
) =
1
2
k
(R),
3. diam(R

1
,
2
,...,
k
) =
1
2
k
diam(R), y
4.

_
R

1
,
2
,...,
k
f dz

1
4
k
A.
El inciso (1) nos dice que tenemos una sucesion R

1
,
2
,...,
k
: k N de
compactos anidados, aunado esto al inciso (2) tenemos que

kN
R

1
,
2
,...,
k
=
para un unico punto R.
Denimos : C, por (z) = f(z) [f() + f

()(z )].
Como f es una funcion Cdiferenciable en , entonces es Cdiferenciable
en , y () = 0. Luego entonces
lm
z,z=
(z)
z
= lm
z,z=
(z) ()
z
= 0.
Luego entonces, dada > 0 existe > 0 tal que [z [ < implica
[(z)[ < [z [.
Como f()+(z)f

() es un polinomio en la varible z, como consecuencia


del corolario anterior,
_
R

1
,
2
,...,
k
f() + (z )f() = 0.
Luego entonces
_
R

1
,
2
,...,
k
dz =
_
R

1
,
2
,...,
k
f dz.
Por otra parte, como lm
n
diam(R

1
,
2
,...,
n
) = 0, existe k > 0 tal que
diam(R

1
,
2
,...,
k
) < . En particular [z [ < , si z R

1
,
2
,...,
k
. De qu se
deduce que
1
2
k
A

_
R

1
,
2
,...,
k
fdz

_
R

1
,
2
,...,
k
dz

diam(R

1
,
2
,...,
k
) (R

1
,
2
,...,
k
) =
1
2
k
diam(R)
1
2
k
(R),
es decir, A < diam(R) (R).
Como es arbitraria, entonces A = 0.
5.1. INTEGRACI

ON COMPLEJA 107
Para poder aplicar este teorema necesitamos una version mas fuerte.
Teorema 13. Si es un abierto en C, f una funci on Cvaluada y continua
en , a , y f es Cdiferenciable en a, entonces para cualquier
rect angulo cerrado R
_
R
fdz = 0.
Demostraci on. Si a / R, aplicamos el teorema anterior. Si a R, sea R

un
rectangulo cerrado contenido en el interior de R, y cuyos vertices convergen
a R cuando 0. Esto es, si R = x+y ; (x, y) [a, b][c, d], y 0 < un
n umero sucientemente peque no, entonces R

= [a +, b ] [c +, d ].
Figura 5.3:
Como f es continua en y R es compacto, entonces f es uniformemente
continua en R, luego entonces
lm
0
_
R

f dz =
_
R
f dz
Pero, como consecuencia del teorema de Cauchy-Goursat
_
R

fdz = 0,
de donde
_
R
fdz = 0. Finalmente, supongamos que a Int(R) = (a, b)
(c, d), digamos a = + . Sea R
1
el rectangulo con vertices v
1
= a + c,
w
2
= + c, w
3
= + d y v
4
= a + id, R
2
el rectangulo con vertices
w
2
, v
2
= b + c, v
3
= b + d, w
3
.
Entonces
_
R
f dz =
_
R
1
f dz +
_
R
2
f dz.
Como a R
1
y a R
2
, en el caso anterior mostramos que
_
R
k
f dz = 0,
para k = 1, 2, de donde
_
R
f dz = 0.
108 CAP

ITULO 5. INTEGRAL DE L

INEA.
5.2. El Teorema de Cauchy
Lema 5. Si R es un rect angulo cerrado en C, y a R R es un punto en
el interior de R, entonces
_
R
1
z a
dz = 2i.
Demostraci on. Dado t [0, 1], existe un unico (t) tal que en la frontera de
R tenemos el punto a + (t)e
2 t
. Consideremos la curva suave por partes
r(t) = a + (t)e
2 t
. Entonces
_
R
1
z a
dz =
_
1
0
1
(t)e
2 t
d(t)e
2 t
dt
dt
=
_
1
0

(t)
(t)
dt +
_
1
0
2 dt
= ln((1)) ln((0)) + 2
= 2
donde el logaritmo es el logaritmo real de un n umero positivo, y como (0) =
(1), entonces ln((1)) ln((0)) = 0.
Teorema 14 (El teorema de Cauchy para rectangulos). Si C es
abierto no vaco, f : C una funci on Cdiferenciable en , R un
rect angulo cerrado, a un punto en el interior de R, entonces
f(a) =
1
2
_
R
f(z)
z a
dz.
Demostraci on. Para z , denamos la funcion
g(z) =
_

_
f(z) f(a)
z a
si z a
f

(a) si z = a
Claramente g es continua en , y g es Cdiferenciable en a, como
consecuencia del teorema ??,0 =
_
R
g dz, y como
_
R
g dz =
_
R
f(z) f(a)
z a
dz
=
_
R
f(z)
z a
dz f(a)
_
R
1
z a
dz
=
_
R
f(z)
z a
dz 2 f(a)
5.2. EL TEOREMA DE CAUCHY 109
de donde f(a) =
1
2
_
R
f(z)
z a
dz.
Teorema 15. Si C es un abierto no vaco, y f es una funci on Cdiferenciable
en , entonces f es analtica en , es decir, dado a , existe r > 0, la
cual depende de a y , y existe una sucesi on de n umeros complejos c
n

n0
tal que

n=0
c
n
(z a)
n
converge a f(z) para toda z tal que [z a[ < r.
Demostraci on. Sea a , y sea R un rectangulo cerrado tal que
a R R, y tomemos r > 0 tal que B(a; r) int(R), es decir, la bola
cerrada con centro en a y radio r este contenida en el interior del rectangulo
R. Como consecuencia del teorema de Cauchy para rectangulos tenemos:
f(w) =
1
2
_
R
f(z)
z w
dz.
Por otra parte
1
z w
=
1
z a
_
1
w a
z a
_
1
=
1
z a

0
_
w a
z a
_
si [w a[ < [z a[.
Si w B(a, r) y z R, entonces [w a[ [z a[, con 0 < < 1, y
solo depende de r y R. Luego entonces
f(w) =
1
2
_
R
f(z)

n=0
(w a)
n
(z a)
n+1
dz,
y como la serie converge uniformemente para w B(a, r), y z R, pode-
mos intercambiar la suma con la integral, de donde
f(w) =
1
2

n=0
__
R
f(z)
(w a)
n
(z a)
n+1
dz
_
(w a)
n
,
o equivalentemente
f(w) =

n=0
c
n
(w a)
n
,
110 CAP

ITULO 5. INTEGRAL DE L

INEA.
con
c
n
=
1
2
_
R
f(z)
(z a)
n+1
dz.
Es decir, toda funcion Cdiferenciable es analtica.
Nota: En vista de esto, y del corolario ?? de la proposicion ??, los
conceptos Cdiferenciable, holomorfo y analtico, son equivalentes, y los
usaremos indistintamente a partir de este momento.
A un mas, como f(z) =

n=1
c
n
(z a)
n
, entonces c
k
=
1
k!
f
(k)
(a), y el valor
c
k
es independiente de R, ademas la identidad f(z) =

n=0
c
n
(z a)
n
, se
satisface para [z a[ < , donde es el radio de convergencia de la serie.
Corolario 13. Si f C
1
(), y f/z = 0 en , entonces f es analtica.
Corolario 14. Toda funci on Cdiferenciable en es innitamente dife-
renciable.
Corolario 15. Si f : C es analtica, entonces f(z) =

n=0
c
n
(z a)
n
,
si [z a[ < , donde es la distancia del punto a a la frontera de , esto
es, = d(a, )
Corolario 16. Si es abierto no vaco, f : C una funci on holo-
morfa en , R un rect angulo cerrado, a un punto en el interior de R,
entonces
f
(k)
(a) =
k!
2
_
R
f(z)
(z a)
k+1
dz.
Demostraci on. Como mencionamos anteriormente
f
(k)
(a) = k!c
k
=
k!
2i
_
R
f(z)
(z a)
k+1
dz.
Teorema 16 (El Teorema de Morera). Si C es un abierto no vaco,
f una funci on continua en , y si
_
R
f dz = 0 para todo rect angulo cerrado
R . Entonces f es holomorfa en .
5.2. EL TEOREMA DE CAUCHY 111
Demostraci on. Dado a = + , consideremos r > 0 tal que B =
B(a, r) .
Si z B, entonces z = x + y, (x, y R), sea z

= x + , y se

z
=
1
+
2
, donde
1
es el segmento de lnea que une a con z

, el cual
podemos parametrizar como,
1
(t) = t + , con t [, x]; y sea
2
es el
segmento que une z

con z, parametrizado por


2
(t) = x + t con t [, y].
Figura 5.4:
Denimos F(z) =
_

z
f(w) dw.
Si h ,= 0 es un n umero real tal que z + h B(a, r), entonces
F(z + h) F(z)
h
=
1
h
_

f(w) dw,
donde es el segmento de lnea que une z con el punto z + h, por ende,
(t) = x + t, con y t y + h, y

(t) = . Entonces
F(z + h) F(z)
h
=

h
_
y+h
y
f(x + t) dt.
De donde, para cada z B(a, r) tenemos
F
y
(z) = lm
h0
F(z + h) F(z)
h
= f(z).
Por otra parte, si z = + y, y
z
es la curva
1
+
2
, donde
1
es el
segmento de lnea que une a con z, y
2
el segmento que une z con z, si
h ,= 0 es un n umero real sucientemente peque no, entonces:
112 CAP

ITULO 5. INTEGRAL DE L

INEA.
F(z + h) F(z)
h
=
1
h
_
L
f(w) dw,
donde L es el segmento de lnea que une z con el punto z + h, por ende,
(t) = t + y, con x t x + h, y

L(t) = 1, y procediendo de manera
similar a la realizada en el parrafo anterior, tenemos
F
x
(z) = lm
h0
F(z + h) F(z)
h
= f(z).
Armamos que:
_

z
f =
_

z
f.
Si x ,= y y ,= , y consideramos el rectangulo R con vertices a, z

,z,z,
su frontera R, esta dada por
z

z
, y por hipotesis
_
R
f = 0, luego
entonces:
0 =
_
R
f =
_

z
f
_

z
f.
Por otra parte, si x = , entonces z

= a y z = z, de donde
_

z
f =
_

z
f =
_

az
f
ya que az

se reduce a un punto
_

az

f = 0, analogamente
_

z
f =
_

az
f.
Cuando y = se procede de manera similar a la anterior.
Como F/x = f, y F/y = f, existen, son continuas y satisfacen
las ecuaciones de Cauchy-Riemann F/x = f = ( f) = (F/y),
entonces F es C-diferenciable en z, para cada z B(a, r), y como a es un
punto arbitrario de , entonces F es holomorfa en .
Como consecuencia del teorema Fundamental del Calculo, si tenemos una
funcion holomorfa F, denida en un abierto conexo no vaco C, tal que
F

= f, entonces
_

fdz = 0 para cualquier curva cerrada, suave por partes


contenida en . Reciprocamente, el resultado anterior nos dice que, si f
satisface la condicion
_
R
f = 0, para cualquier rectangulo cerrado contenido
en , entonces f es holomorfa, lo cual proporciona otra caracterizacion de
las funciones holomorfas.
5.3. EJERCICIOS 113
Denici on 34. Sea C un conjunto abierto, no vaco, f una funci on
holomorfa en . Una primitiva de f sobre es una funci on F, holomorfa
en , cuya derivada es f, es decir, F

= f.
Como consecuencia de que toda funcion holomorfa admite un desarrollo
en serie de potencias, tenemos la siguente proposicion:
Proposici on 32. Si

n=0
c
n
(z a)
n
converge a f(z) si z B(a, r) = z; [z
a[ < r, entonces f tiene una primitiva en B(a, r).
Demostraci on. Denamos F(z) =

n=0
c
n
n + 1
(z a)
n+1
, claramente F

= f
y como consecuencia de la proposicion ??, el radio de convergencia de F
coincide con el de f. Por tanto, F es una primitiva de f en B(a, r).
Proposici on 33. Sea C un conjunto abierto, conexo, y sea f una
funci on holomorfa en . Si F y G son dos primitivas de f en , entonces
F G es constante.
Demostraci on. Como F y G son primitivas de f en , entonces (F G)

=
F

= f f = 0, y como es conexo, tenemos que la funcion F G es


constante.
5.3. Ejercicios
1. Evalue
_
|z|=2
dz
z
2
1
donde la circunferencia esta recorrida en sentido positivo.
2. Evalue
_
|z|=1
[z 1[ [dz[
3. Suponga que f(z) es analtica en una region que contiene a la curva
cerrada . Demuestre que
_

f(z)f

(z) dz
tiene parte real cero.
114 CAP

ITULO 5. INTEGRAL DE L

INEA.
4. Suponga que f(z) es analtica y satisface la desigualdad [f(z) 1[ < 1
en una region . Demuestre que
_

(z)
f(z)
dz = 0
para cada curva cerrada en .
5. Si P(z) es un polinomio y C denota la circunferencia [z a[ = R,
obtenga el valor de
_
C
P(z) d z.
Captulo 6
Funciones holomorfas.
En la presente seccion, analizaremos el comportamiento de las funciones
holomorfas, en particular veremos como ciertas condiciones locales determi-
nan el comportamiento global de la funcion.
Teorema 17. (El principio de continuaci on analtica). Sea C un sub-
conjunto abierto no vaco, y sea f : C una funci on holomorfa. Si existe
un subconjunto abierto no vaco U contenido en tal que f(z) = 0 para
cada z U, entonces f(z) = 0 para toda z .
Demostraci on. Denotemos por f
(n)
la n-esima derivada de f, si n 1, y
f
(0)
= f. Y denotemos por E
n
el conjunto de puntos z cuya n-esima
derivada es cero, esto es,
E =

n0
E
n
Queremos demostrar que E = , para lo cual demostraremos que E es
un conjunto no vaco, cerrado y abierto en , y como es conexo, entonces
E debe coincidir con .
Como f(z) = 0 para toda z U, entonces U E, por ende E ,= .
Como f
(n)
es continua, y E
n
es la imagen inversa de un punto, que en
particular es un conjunto cerrado, entonces E
n
es cerrado. Por otra parte, co-
mo interseccion arbitraria de cerrados es cerrado, entonces E es un conjunto
cerrado en .
Ahora demostraremos que E es abierto, sea a E, como f es holomorfa
en , existe r > 0 y una sucesion de n umeros complejos c
n

n0
tales que
115
116 CAP

ITULO 6. FUNCIONES HOLOMORFAS.


f(z) =

n=0
c
n
(z a)
n
, para toda z B(a, r) = z; [z a[ = r y como
consecuencia de la proposicion ?? y el corolario ?? tenemos
f
(k)
(z) =

n=0
n(n1) (nk +1)c
n
(z a)
nk
, donde c
k
= f
(k)
(a)/k!.
Como a E, entonces f
(k)
(a) = 0 para toda k 0, de donde c
k
= 0 para
toda k 0, por lo que f(z) = 0 para toda z B(a, r), es decir B(a, r) E.
Por tanto, E es abierto.
Teorema 18 (El Teorema de Independencia de Trayectorias). Si
f es una funci on continua sobre un conjunto abierto conexo C, los
siguientes enunciados son equivalentes:
1. (Independencia de la trayectoria) Si z
0
y z
1
son dos puntos en , y las
curvas
0
y
1
son trayectorias en de z
0
a z
1
, entonces
_

0
f =
_

f.
2. Si es una curva cerrada contenida en , entonces
_

f = 0.
3. Existe una primitiva (global) de f en .
Demostraci on. Es claro que las condiciones 1 y 2 son equivalentes.
3 1 es consecuencia del teorema fundamental del calculo para inte-
grales de lnea.
1 3 Como consecuencia del teorema de Morera, f es holomorfa en
, de donde, f es analtica en , y como consecuencia del principio de
continuacion analtica, f tiene primitiva en
Teorema 19 (El Teorema de Cauchy-Goursat para bolas). Si f es
holomorfa en la bola con centro en z
0
y radio , entonces f tiene una prim-
itiva en B(a, ). Adem as, para cada curva cerrada contenida en B(a, )
tenemos que
_

f = 0
Demostraci on. Como consecuencia de la proposicion ??, la funcion f tiene
primitiva en B(a, ).
117
Y como consecuencia del teorema de independencia de las trayectorias,
tenemos que para cualquier curva cerrada contenida en B(a, ) se tiene
que
_

f = 0.
Denici on 35 (Serie de Taylor). Sea C un abierto no vaco, f una
funci on holomorfa en , y a . La serie

n=0
f
(n)
(a)
n!
(z a)
n
se denomina la serie de Taylor de f en a.
Como consecuencia del teorema anterior tenemos que, la serie de Taylor
de f en a converge a f en una vecindad de a, ademas de que es la unica
serie

c
n
(z a)
n
con esta propiedad.
Ejemplo 15.
1. Consideremos la funcion f(z) = (1 z)
1
, claramente f es holomorfa
en C1, en particular en el punto z = 0. Por lo que, podemos obtener
la serie de Taylor de f en z = 0.
Como f(z) = (1z)
1
, podemos ver que f

(z) = (1z)
2
, y en general
f
(n)
(z) = n!(1 z)
(n+1)
, por tanto, f
(n)
(0) = 1 los coecientes de la
serie de Taylor de f estan dados como c
n
= f
(n)
= n! = 1, para n 0.
Luego entonces la serie de Taylor de f alrededor de z = 0 esta dada por
la serie geometrica:

n=0
z
n
, la cual tiene radio de convergencia r = 1.
2. Como consecuencia de esto, la serie de Taylor de la funcion g(z) =
(1 z)
2
esta dado como

n=1
(n)z
n1
g(z) = f

(z), pues g = f

.
3. Consideremos ahora la funcion, log(z + 1) = ln [z + 1[ + arg(z + 1),
con < arg(z + 1) < .
En particular z = 0 esta en el dominio de analiticidad de log(z +
1). Como
d log(z + 1)
dz
=
1
z + 1
y la nesima derivada de log(z + 1)
esta dada como
(1)
n1
(n 1)!
(z + 1)
n
si n 1. Por ende, los coecientes
118 CAP

ITULO 6. FUNCIONES HOLOMORFAS.


de su serie de Taylor alrededor de z = 0 estan dados por c
0
= log(1) =
0, y c
n
=
_
(1)
n1
(n 1)!
_
/n! =
(1)
n1
n
.
Por tanto, la serie de Taylor de log(z+1) esta dada por

n=1
(1)
n1
n
z
n
,
y la expresion es valida si [z[ < 1.
4. Si f(z) = 1/(z 1)(z 2), aplicando fracciones parciales podemos
encontrar n umeros complejos A y B, tales que
A
z 1
+
B
z 2
=
1
(z 1)(z 2)
,
a saber A = 1 y B = 1, es decir:
1
(z 1)(z 2)
=
1
z 1
+
1
z 2
=
1
1 z
+
1
z 2
,
Como vimos anteriormente, la funcion 1/(1 z) en z = 0 tiene serie
de Taylor

n=0
z
n
, por otra parte, procediendo de manera analoga al
primer ejemplo, tenemos que la serie de Taylor de 1/(z 2) esta dada
por

n=0
1
2
n+1
z
n
, la cual tiene radio de convergencia 2.
Por lo que, la serie de Taylor de f(z) en z = 0 esta dada por

n=0
_
2
n+1
1
2
n+1
_
z
n
=

n=0
z
n
+

n=0
1
2
n+1
z
n
,
y la serie es valida si [z[ < 1.
5. La serie de Taylor de e
z
alrededor de z = 0 esta dada por

n=0
z
n
n!
, y
tiene radio de convergencia innito, es decir, la expresion es valida para
toda z. Esto es consecuencia de la denicion de la funcion exponencial,
y de la unicidad de la serie de Taylor.
De manera similar, podemos demostrar que:
119
6. La serie de Taylor de e
z
2
alrededor de z = 0 esta dada por

n=0
z
2n
n!
,
y tiene radio de convergencia innito, es decir, la expresion es valida
para toda z.
7. La serie de Taylor de sin z esta dada por

n=0
(1)
n
(2n 1)!
z
2n1
, y esta
expresion es valida para toda z.
8. La serie de Taylor de cos z esta dada por

n=0
(1)
n
(2n)!
z
2n
, y esta expresion
es valida para toda z.
9. A continuacion procederemos a obtener los primeros terminos de la
serie de Taylor para la funcion tan z, alrededor de z = 0.
Como tan z = sin z/ cos z y cos 0 = 1, tenemos que tan z es holomorfa
en una vecindad de z = 0, luego entonces, existe r > 0 y una sucesion
de n umeros complejos c
n
tales que
tan z =

n=0
c
n
z
n
y la expresion es valida si [z[ < r.
En particular
sin z = tan z cos z =
_

n=0
c
n
z
n
_
cos z
Sustituyendo las expresiones en serie de Taylor de sin z y cos z en z = 0
obtenemos:

n=0
(1)
n
(2n 1)!
z
2n1
=
_

n=0
c
n
z
n
__

n=0
(1)
n
(2n)!
z
2n
_
Usando ahora el hecho de,
_

n=0
a
n
__

m=0
b
m
_
=

n=0
dn , con:
d
n
=
n

k=0
a
k
b
nk
, tenemos que:
120 CAP

ITULO 6. FUNCIONES HOLOMORFAS.


z
z
3
3!
+
z
5
5!

z
7
7!
+ . . . = c
0
+ c
1
z + (c
2

c
0
2!
)z
2
+ (c
3

c
1
2!
)z
3
+(c
4

c
2
2!
+
c
0
4!
)z
4
+ (c
5

c
3
2!
+
c
1
4!
)z
5
+(c
6

c
4
2!
+
c
2
4!

c
0
6!
)z
6
+ . . .
Comparando termino a termino, obtenemos el siguiente sistema de
ecuaciones:
0 = c
0
1 = c
1
0 = c
2

c
0
2!

1
3!
= c
3

c
1
2!
0 = c
4

c
2
2!
+
c
0
4!
1
5!
= c
5

c
3
2!
+
c
1
4!
0 = c
6

c
4
2!
+
c
2
4!

c
0
6!

de donde, podemos deducir:
0 = c
0
= c
2
= c
4
= c
6
= . . .
y
c
1
= 1, c
3
=
c
1
2!

1
3!
=
1
3
, c
5
=
1
5!
+
c
3
2!

c
1
4!
=
2
15
, . . .
Por ende, la serie de Taylor de tan z en z = 0 esta dada por:
z +
1
3
z
3
+
2
15
z
5
+ . . ., y es valida si [z[ < /2.
Captulo 7
Homotopa y el Teorema de
Cauchy.
Para extender el teorema de Cauchy-Goursat a regiones mas generales
que rectangulos, necesitamos demostrar algunos teoremas de deformacion,
por lo cual, necesitamos introducir el concepto de homotopa, y dar condi-
ciones que garanticen la independencia de
_

de las trayectorias que con-


sideramos, por lo cual, trabajaremos dos tipos de problemas, el primero, en
el que las curvas tengan los mismos extremos, y en el segundo, consider-
aremos curvas cerradas. Para simplicar nuestra notacion, todas las curvas
que consideremos estaran parametrizadas por el intervalo [0, 1].
Denici on 36. Sea (X, d) un espacio metrico, x
0
, x
1
X. Sean
0
,
1
:
[0, 1] X, son dos curvas de x
0
a x
1
. Diremos que
0
es homot opica a
1
en X con puntos extremos jos, si existe una funci on continua H : [0, 1]
[0, 1] X que satisface las siguientes condiciones:
1. H(0, t) =
0
(t) si 0 t 1;
2. H(1, t) =
1
(t) si 0 t 1;
3. H(s, 0) = x
0
si 0 s 1, y
4. H(s, 1) = x
1
si 0 s 1
La idea de la denicion es muy simple, pues cuando s vara de 0 a 1,
tenemos una familia de curvas que se deforman continuamente de
0
a
1
Para s
0
[0, 1] denimos
s
0
(t) = H(s, t), cada
s
es una curva en X
con extremos x
0
y x
1
.
121
122 CAP

ITULO 7. HOMOTOP

IA Y EL TEOREMA DE CAUCHY.
Figura 7.1: Homotopa
Y se puede vericar facilmente que ser homotopicas es una relacion de
equivalencia.
Ejemplo 16.
Si
0
(t) = t(1 + ), y
1
(t) = t + t
2
, entonces
0
es homotopica a
1
, y
una posible homotopa esta dada por, H(s, t) = t + t
1+s
.
Denici on 37. Sea (X, d) un espacio metrico. Si
0
: [0, 1] X, y
1
:
[0, 1] X son dos curvas cerradas en X. Diremos que
0
es homot opica
como curva cerrada a
1
en X, si existe una funci on continua H : [0, 1]
[0, 1] X que satisface las siguientes condiciones:
1. H(0, t) =
0
(t) si 0 t 1;
2. H(1, t) =
1
(t) si 0 t 1;
3. H(s, 0) = H(s, 1) si 0 s 1, y
Nuevamente, si
s
(t) = H(s, t), cada
s
es una curva cerrada en X.
Ejemplo 17.
Si
0
(t) = cos t + sin t, y
1
(t) = 2 cos t + sin t, entonces
0
es ho-
motopica, como curva cerrada, a
1
, y una posible homotopa esta dada por,
H(s, t) = (1 + s) cos t + sin t.
Denici on 38. Sea (X, d) un espacio metrico, X. Decimos que es
simplemente conexo si, toda curva cerrada en es homot opica a un punto,
esto es, a una curva constante.
Ejemplo 18.
Si
0
(t) = cos t + sin t, y
1
(t) = 0, entonces
0
es homotopica, como
curva cerrada, a
1
, y una posible homotopa esta dada por,
H(s, t) = (1 s) cos t + sin t.
123
Denici on 39. Sea C, decimos que es convexo si, para toda z
0
, a
1

, se tiene que z
0
+ (1 )z
1
, para todo [0, 1].
Esto es, un conjunto es convexo si contiene todos los segmentos de lnea
que pueden construirse entre una pareja arbitraria de puntos en .
Ejemplo 19.
1. Si a C y r > 0, claramente B(a, r) = z; [z a[ < r es un conjunto
convexo.
2. Si a C y r > 0, claramente B(a, r)a = z; 0 < [z a[ < r no es
un conjunto convexo, pues el segmento de recta que une 1/2 con 1/2
no esta contenido en a.
Proposici on 34. Si es un conjunto abierto y convexo en C, entonces
cualesquiera dos curvas cerradas en son homot opicas como curvas cer-
radas en , y cualesquiera dos curvas con los mismos puntos extremos jos
son homot opicas con puntos extremos jos.
Demostraci on. Sean
0
: [0, 1] y
1
: [0, 1] dos curvas cerradas
en , denamos H(s, t) = s
1
(t) + (1 s)
0
(t), claramente H es continua,
H(0, t) =
0
(t), H(1, t) =
1
(t) y si
k
(0) =
k
(1), entonces H(s, 0) =
s(0) + (1 s)
1
(0) = s(1) + (1 s)
1
(1) = H(s, 1).
Por otra parte, si
0
(0) =
1
(0) = z
0
y
0
(1) =
1
(1) = z
1
, entonces
H(s, 0) = s
1
(0) +(1 s)
0
(0) = sz
0
+(1 s)z
0
= z
0
, y H(s, 1) = s
1
(1) +
(1 s)
0
(1) = sz
1
+ (1 s)z
1
= z
1
, por lo cual H es una homotopa con
puntos extremos jos.
Corolario 17. Un conjunto convexo es simplemente conexo.
Teorema 20 (El Teorema de deformaci on). Sea C un conjunto
abierto no vaco, y suponga que f es una funci on holomorfa sobre , y que

k
: [0, 1] , k = 0, 1, son dos curvas suaves por partes en .
1. Si
0
(0) =
1
(0) = z
0
,
0
(1) =
1
(1) = z
1
, y (0) es homot opica a
(1) en , entonces
_

0
f =
_

1
f.
124 CAP

ITULO 7. HOMOTOP

IA Y EL TEOREMA DE CAUCHY.
2. Si (0) y (1) son homot opicas como curvas cerradas en , entonces
_

0
f =
_

1
f.
Demostraci on. Como
0
es homotopica a
1
, existe una funcion continua
H : [0, 1] [0, 1] tal que
1. H(0, t) =
0
(t) si 0 t 1;
2. H(1, t) =
1
(t) si 0 t 1;
3. H(s, 0) = z
0
si 0 s 1, y
4. H(s, 1) = z
1
si 0 s 1
Para cada valor de s jo, la funcion
s
(t) = H(s, t) es una curva interme-
dia que se obtiene durante el proceso de deformacion. Analogamente, para
cada valor jo t, la curva
t
(s) = H(s, t) es una curva que con extremos

0
(t) = H(0, t) y
1
(t) = H(1, t). Luego entonces, las lneas horizontales y
verticales en el cuadrado corresponden a una red de curvas en , donde el
lado izquierdo del cuadrado corresponde a la curva
0
, y el derecho a la cur-
va
1
. Por otro lado, los lados superior e inferior del cuadrado corresponden
a los puntos extremos de la curva, esto es
0
(s) = z
0
y
1
(s) = z
1
. Como
muestra la gura ??:
Sean 0 = s
0
< s
1
< . . . < s
n
= 1, y 0 = t
0
< t
1
< . . . < t
n
= 1
particiones de [0, 1].
Como H es continua en y K = [0, 1][0, 1] C es compacto, su imagen
H(K) es un subconjunto compacto de . Sea = d(H(K), C). Luego
entonces, z si, [H(s, t) z[ < . Como H es uniformemente continua en
K, existe > 0 tal que [H(s, t) H(s

, t

)[ < si d((s, t), (s

, t

)) < .
Si elegimos las particiones de [0, 1] regulares de longitud 1/n, para n <

2/ tal que cada subcuadrado tenga longitud menor que . Si R


kj
denota el
rectangulo con esquinas (s
k1
, t
j1
), (s
k
, t
j1
), (s
k
, t
j
), (s
k
1, t
j
), entonces
la imagen bajo H del rectangulo R
jk
esta contenida dentro de la bola con
centro B
kj
= B(H(s
k1
, t
j1
), ), el cual, por construccion, esta contenido
en . Y denotemos por
kj
= H(R
kj
) orientada en levogiro.
Entonces
n

j,k=1
_

kj
f =
_

0
f +
_

1
f
_

1
f
_

0
f
125
Como
jk
es una curva cerrada contenida completamente en la bola B
kj
,
sobre el cual la funcion f es holomorfa. El teorema de Cauchy para bolas
implica que, cada integral en la suma del lado izquierdo es cero, por ende,
0 =
_

0
f +
_

1
f
_

1
f
_

0
f
.
Como
0
(s) = z
0
y
1
(s) = z
1
, entonces
_

0
f =
_

1
f = 0, de donde,
_

0
f =
_

1
f.
Cuando las curvas
0
y
1
son cerradas, se procede de manera similar, y
se aplica el hecho que
0
(s) = H(s, 0) = H(s, 1) =
1
(s).
Como consecuencia del teorema de deformacion podemos generalizar el
teorema de Cauchy-Goursat:
Teorema 21 (El Teorema de Cauchy). Sea C un conjunto abierto
conexo. Si f es una funci on holomorfa en , entonces
_

f = 0
para cualesquier curva cerrada , la cual es homot opica a un punto en
.
Corolario 18. Sea C un conjunto abierto, simplemente conexo. Si f
es una funci on holomorfa en , entonces
_

f = 0
para cualesquier curva cerrada en .
Corolario 19. Si C es simplemente conexo, y f : C es holomorfa,
entonces f tiene una primitiva en f.
Demostraci on. Como consecuencia del corolario anterior
_

f = 0 para toda
curva cerrada en . Aplicando el teorema de Independencia de trayecto-
rias, esto es equivalente a que f admita una primitiva global en .
Corolario 20. Si C es simplemente conexo, ,= C, y f : C es
holomorfa nunca nula, es decir, f(z) ,= 0 si z . Entonces, existe una
funci on holomorfa g : C tal que f(z) = exp(g(z)). Adem as, si z
0

y e
w
0
= f(z
0
), podemos elegir g tal que g(z
0
) = w
0
.
126 CAP

ITULO 7. HOMOTOP

IA Y EL TEOREMA DE CAUCHY.
Demostraci on. Como f es nunca nula, entonces f

/f es holomorfa en ,
como consecuencia del corolario anterior, f

/f admite una primitiva g, esto


es, g : C es una funcion holomorfa tal que g

= f

/f. Consideremos
la funcion h(z) = exp(g(z)), entonces h es holomorfa y nunca nula en ,
ademas
_
f
h
_

(z) =
h(z)f

(z) h

(z)f(z)
h(z)
2
.
Por otra parte, sabemos que h

= g

f, de donde hf

fh

= 0, lo cual
implica que la derivada de f/h es cero, y como es simplemente conexo,
f/h es constante en , esto es, existe una constante c C tal que
f(z) = c exp(g(z)) = exp(g(z) + c
1
),
donde exp(c
1
) = c. En particular, como exp(w) = exp(x + e k) para
k Z, entonces f(z) = exp(g(z) +c
1
+2 k), y para un valor apropiado de
k obtenemos g(z
0
) = w
0
.
Es decir, en un subconjunto propio, y simplemente conexo del plano
complejo, que no contenga al origen, siempre podemos denir ramas de
lograritmo.
Corolario 21. Si C es un conjunto abierto, a , y r > 0 es un
n umero real tal que B(a, r) , dada f : C una funci on holomorfa,
entonces
f
(n)
(a) =
n!
2
_

f(z)
(z a)
n+1
dz,
donde (t) = a + re
2 t
con 0 t 1.
Corolario 22 (Las desigualdades de Cauchy). Sean a C, y R R,
R > 0. Si f es una funci on holomorfa en B(a, R), tal que [f(z)[ M para
toda z B(a, R), entonces
[f
(n)
(a)[
n!M
R
n
Demostraci on. Como consecuencia del corolario anterior
[f
(n)
(a)[ =

n!
2
_

f(z)
(z a)
n+1
dz

n!
2
M
r
n+1
() =
n!
2
M
r
n+1
2 r =
n! M
r
n
127
Como r < R es arbitraria, tomando el lmite por la izquierda cuando r
tiende a R tenemos el resultado deseado.
Denici on 40. Diremos que una funci on es entera, si la funci on est a deni-
da y es holomorfa en todo el plano complejo C.
Ejemplo 20.
1. Si c C, y f(z) = c para toda z C, entonces f es entera.
2. Si f(z) = a
0
+a
1
z +. . . +a
n
z
n
es un polinomio, entonces f es entera.
3. f(z) = ae
bz
, con a, b C jos, es una funcion entera.
4. La suma, el producto, y la composicion de funciones enteras, es entera.
Dejamos como ejercicio mostrar el siguiente resultado.
Proposici on 35. Si f es una funci on entera, entonces f tiene una represen-
taci on en serie de potencias f(z) =

n=0
c
n
z
n
, con radio de convergencia
innito.
Teorema 22. Si f es una funci on entera y acotada, entonces f es constante.
Demostraci on. Supongamos que, existe M > 0 tal que [f(z)[ < M para
toda z C, como f es entera, en particular es analtica en B(a, R), para
toda a C, y R > 0. Aplicando las desigualdades de Cauchy para n = 1
tenemos:
[f

(z)[
M
R
Como R es abitraria, tomando el lmite cuando R tiende a tenemos
f

(z) = 0, y como C es conexo, entonces f es constante.


Si p(z) y q(z) son polinomios con coecientes complejos, el algoritmo de
la division nos dice que, podemos encontrar dos polinomios s(z) y r(z) tales
que p(z) = s(z)q(z) +r(z), donde el grado de r(z) es menor que el grado de
q(z) (si r(z) = 0 diremos que r(z) tiene grado ).
En particular, si a es un n umero complejo tal que p(z) = 0, entonces
p(z) = (z a)q(z), si s(a) = 0, podemos factorizar nuevamente z a de s(z),
continuando con este proceso tenemos p(z) = (z a)
m
t(z), con 1 m
grado de p(z), y t(z) es un polinomio tal que t(a) ,= 0.
128 CAP

ITULO 7. HOMOTOP

IA Y EL TEOREMA DE CAUCHY.
Denici on 41. Si f : C es una funci on holomorfa, y a es un
punto que satisface f(a) = 0, diremos que a es un cero de multiplicidad
m 1 si, existe una vecindad B(a, r) del punto a, y una funci on
holomorfa g : B(a, r) C, tal que f(z) = (z a)
m
g(z)para toda z B(a, r)
y g(a) ,= 0.
Teorema 23 (El Teorema Fundamental del

Algebra.). Si p(z) es un
polinomio no constante, con coecientes en C, entonces existe un n umero
complejo a tal que p(a) = 0.
Demostraci on. Supongamos que p(z) ,= 0 para toda z C, entonces f(z) =
1/p(z) es una funcion entera.
Como p(z) no es constante, entonces lim
z
p(z) = , de donde:
lim
z
f(z) = 0. En particular, existe R > 0 tal que [f(z)[ < 1 si [z[ > R.
Por otra parte, como f es continua, en particular, existe M > 0 tal que
[f(z)[ < M si [z[ R. Sea N = max1, M, entonces [f(z)[ N para toda
z C.
Es decir, f es entera y acotada, y como consecuencia del teorema de
Liouville, f es constante, lo cual implica que p tambien es constante, lo cual
contradice nuestra hipotesis.
Corolario 23. Si p(z) es un polinomio no constante, y a
1
, . . . , a
m
son sus
ceros, tal que a
j
tiene multiplicidad k
j
, entonces
p(z) = c(z a
1
)
k
1
(z a
m
)
k
m
,
para alguna constante c, adem as k
1
+ . . . + k
m
es el grado de p(z).
Teorema 24 (El Teorema del M odulo Maximo). Si C es un
conjunto abierto, conexo, no vaco, y f : C es una funci on holomorfa
, y existe un punto a tal que [f(a)[ > [f(z)[ para toda z , entonces
f es constante.
Demostraci on. Sea r > 0 tal que B(a, r) , y consideremos la curva
(t) = a + re
2t
con 0 t 1. Como consecuencia de la formula integral
de Cauchy tenemos:
f(a) =
1
2
_

f(z)
z a
dz =
1
2
_
1
0
f(a + re
2 t
)2t dt
De donde
129
[f(a)[
_
1
0
[f(a + re
2 t
)[dt
y como [f(z)[ [f(a)[ para toda z , entonces
_
1
0
[f(a + re
2t
)[ dt [f(a)[
Luego entonces
_
1
0
([f(a + re
2 t
)[ [f(a)[) dt = 0
y como el integrando es no negativo, entonces [f(a+re
2 t
[ [f(a)[ = 0 para
toda t. Y como r es arbitraria, [f[ es constante, aplicando las ecuaciones de
Cauchy-Riemann tenemos que f es constante.
Es decir, las funciones holomorfas alcanzan su modulo maximo en la
frontera.
En particular, podemos aplicar el teorema del modulo maximo para es-
tudiar el comportamiento de las funciones holomorfas, por ejemplo:
Lema 6 (El lema de Schwarz). Si f es una funci on holomorfa denida
sobre y [f(z)[ 1 para toda z y f(0) = 0, entonces [f(z)[ [z[ para
toda z y [f

(0)[ 1. Si [f(z
0
)[ = [z
0
[ para alg un z
0
0, entonces
f(z) = cz para alguna constante c, [c[ = 1.
Demostraci on. Si denimos la funcion g : C como g(z) = f(z)/z si
z ,= 0, y g(z) = f

(0) si z = 0, como hemos visto en otras ocasiones, g es


continua, y holomorfa en C0, y como consecuencia del teorema de Morera
g es holomorfa en . Si
r
= B(0, r) para 0 < r < 1, por el principio del
modulo maximo [g(z)[ 1/r, para toda z
r
, de donde [f(z)[ [z[/r
, para z ja, consideremos r 1, entonces [f(z)[ [z[. Claramente
[g(0)[ 1; es decir, [f

(0)[ 1.
Si [f(z
0
)[ = [z
0
[, y z
0
,= 0, entonces [g(z
0
)[ = 1 es maximo en
r
, donde
[z
0
[ < r < 1, y asi g es constante en
r
, y como la constante es independiente
de r, entonces f(z) = cz, para alguna constante de modulo uno c.
130 CAP

ITULO 7. HOMOTOP

IA Y EL TEOREMA DE CAUCHY.
Captulo 8
El Indice de una curva
Podemos ver facilmente que
_

1
z a
dz = 2 n si (t) = a+re
2 t
, con
0 t 1, este resultado lo generalizaremos en la siguente proposicion:
Proposici on 36. Si a C, y : [0, 1] C es una curva cerrada, suave
por partes que no pasa por a, es decir, a / im(), entonces
1
2
_

dz
z a
es un entero.
Demostraci on. Bastara demostrar este resultado en el caso en que sea una
curva suave.
Denimos g : [0, 1] C como
g(t) =
_
t
0
(s)
(s) a
ds.
Claramente g(0) = 0, y g(1) =
_

dz
z a
Ademas
dg(t)
dt
=
(t)
(t) a
, si 0 t 1
Consecuentemente
131
132 CAP

ITULO 8. EL INDICE DE UNA CURVA


d
dt
(e
g(t)
[(t) a]) = e
g(t)
(t) g(t)e
g(t)
((t) a)
= e
g(t)
_
(t)
(t)
((t) a)
((t) a)
_
= 0
Luego entonces e
g
( a) es constante, y como es una curva cerrada,
en particular
e
g(0)
((0) a) = (0) a = (1) a = e
g(1)
((1) a)
lo cual implica que, 1 = e
g(0)
= e
g(1)
, pues a / im. Entonces g(1) = 2k,
para alg un entero k.
Denici on 42. Si es una curva cerrada, suave por partes en C, para cada
a / im, el ndice de con respecto al punto a, se dene como
n(, a) :=
1
2
_

dz
z a
.
Este n umero tambien se denomina el n umero de vueltas de alrededor
de a.
Como consecuencia de la proposicion anterior, el ndice de una curva con
respecto a un punto es un n umero entero.
Recordamos que, si : [0, 1] C es una curva suave por partes, la curva
denida como (t) = (1 t) es una reparametrizacion, que cambia
la orientacion, de la curva inicial, y si : [0, 1] C es otra curva tal que
(1) = (0), entonces + es la curva denida como ( + )(t) = (2t) si
0 t 1/2, y ( + )(t) = (2t 1) si 1/2 t 1.
Proposici on 37. Si y son dos curvas cerradas, suaves por partes, con
los mismos puntos iniciales, entonces:
1. n(, a) = n(, a), si a / im.
2. n( + , a) = n(, a) + n(, a), si a / im( + ).
3. Si a / im im y si es homot opica a en Ca, entonces
n(, a) = n(, a).
133
Demostraci on. 1 y 2 son consecuencia de la proposicion (7.2). mientras que
3 es consecuencia del teorema de deformacion (10.0.15)
Teorema 25. Sea una curva suave por partes en C. Entonces n(, a)
es localmente constante, esto es para cada componente conexa U de =
Cim, existe una constante c
U
C tal que n(, a) = c
U
para cada z U.
Adem as, n(, a) = 0 si a pertenece a la componente no acotada de .
Demostraci on. Denamos f : C como f(a) = n(, a), a continuacion
demostraremos que f es continua. Como es abierto las componentes
conexas de son conjuntos abiertos. Sea a , y denamos r = d(a, im),
la distancia de la curva al punto a, como es abierto, r > 0. Si [a b[ <
< r/2 entonces
[f(b) f(a)[ =
1
2

dz
z a

_

dz
z b

=
1
2

a b
(z a)(z b)
dz

=
[a b[
2
_

[dz[
[z a[[z b[
pues [z a[ < r/2. Como z im, entonces [z a[ r > r/2, y [z b[
r > r/2, por lo que
r
4
_

[dz[
[z a[[z b[
<

2
_
4
r
2
()
_
Luego entonces, dada > 0, denimos < minr/2, (r
2
)/2(), si
[z a[ < entonces [f(b) f(a)[ < , es decir, f es continua en .
Como consecuencia de la proposicion 13.1, im(f) Z, y para cada
componente conexa U , se tiene que f(U) es un punto, en particular f
es constante en U.
Si ahora U
0
denota la componente no acotada de , existe R > 0 tal
que U
0
z : [z[ > R. Si > 0, elegimos a con [a[ > R y [z a[ >
(2)
1
(), uniformemente para z im(), consecuentemente [n(, a)[ <
, en particular lm
z
n(, a) = 0, y como n(, a) es constante en U
0
,
entonces n(, a) = 0 para cada a U
0
.
134 CAP

ITULO 8. EL INDICE DE UNA CURVA


Como consecuencia de esto, el interior de una curva puede denirse
como z : n(, z) ,= 0, y esta denicion debera coincidir con el interior
denido por el teorema de la curva de Jordan.
4
Proposici on 38. (La f ormula integral de Cauchy). Sea f una funci on holo-
morfa denida en un abierto . Sea una curva cerrada en suave por
partes, sea a un punto que no este sobre la imagen de la curva , y supong-
amos que es homot opica a un punto. Entonces
f(a) n(, a) =
1
2
_

f(z)
z a
dz
4 Si : [0, 1] C es una curva cerrada simple, entonces Cim puede
escribirse en forma unica como la union disjunta de dos regiones Int() y
Out(), tales que Int() es acotada. La region Int() se denomina el interior
de , y Out() se denomina el exterior de . La region Int() es simplemente
conexa, y es homot pica a cualquier punto en Int() im. La frontera de
cada una de estas regiones es la imagen de .
Demostraci on. La demostracion es analoga a la del teorema de Cauchy para
rectangulos. Para z , denamos la funcion:
g(z) =
_
_
_
f(z) f(a)
z a
, si z a;
f

(a), si z = a
Claramente g es continua en , y g es holomorfa en a, como conse-
cuencia del teorema de Cauchy (12.2) 0 =
_

gdz, y como
_

gdz =
_

f(z) f(a)
z a
dz =
_

f(z)
z a
dz f(a)
_

1
z a
dz
=
_

f(z)
z a
dz 2n(, a)f(a),
de donde n(, a)f(a) =
1
2
_

f(z)
z a
dz.
Corolario 24. (La f ormula integral de Cauchy para derivadas). Sea f una
funci on holomorfa denida en un abierto . Sea una curva cerrada en ,
suave por partes. Sea a un punto que no este sobre la imagen de la curva ,
y supongamos que es homot opica a un punto. Entonces
n(, a)f
(k)
(a) =
k!
2
_

f(z)
(z a)
k+1
dz
135
Demostraci on. Si F(z) =
1
2
_

f(z)
z a
dz, derivando F con respecto a z te-
nemos:
dF(z)
dz
=
1
2
d
dz
__

f()
z
_
=
1
2
_

z
_
f()
z
_
d
=
1
2
_

f()
( z)
2
d
procediendo inductivamente, se obtiene el resultado deseado.
A continuacion aplicaremos la formula integral de Cauchy para obtener
_

f, donde es una curva cerrada, y f es una funcion holomorfa en un


abierto que contiene a la cerradura de la region acotada por , salvo quiza,
un n umero nito de puntos, ninguno de los cuales esta sobre la traza de la
curva .
Ejemplos:
1.
_

z
2
z 1
dz, donde (t) = 2e
2t
, con 0 t k.
Como f(z) = z
2
es entera, 1 / im, y n(, 1) = 1, aplicando la formula
integral de Cauchy:
1
2
_

z
2
z 1
dz = f(1)n(, 1) = 1 k = k,
despejando obtenemos que 2k es el valor deseado.
2.
_

z
2
1
z
2
+ 1
dz donde (t) = (t) = 2e
2t
, con 0 t 1.
Para poder aplicar la formula integral de Cauchy, necesitamos que el
denominador sea de la forma (z a)
k
para alguna k 0, para esto,
notamos que n(, ) = 1, y
z
2
1
z
2
+ 1
= (z
2
+ 1)
1
(z + )(z )
=

2
z
2
1
z +
+

2
z
2
1
z
136 CAP

ITULO 8. EL INDICE DE UNA CURVA


de donde
_

z
2
1
z
2
+ 1
=
_

2
z
2
1
z +
+

2
z
2
1
z
_
dz
=

2
_

z
2
1
z +
+

2
_

z
2
1
z
dz
Aplicando la formula integral de Cauchy
1
2
_

z
2
1
z +
dz = (
2
1)n(, ) =
2
1 = 2
y
1
2
_

z
2
1
z
dz = (()
2
1)n(, ) =
2
1 = 2
de donde
_

z
2
1
z
2
+ 1
dz =

2
(4) +

2
(4) = 0
3.
_

sin z
z
4
dz, donde (t) = e
2t
, si 0 t 1.
Aplicando la formula integral de Cauchy para derivadas, si f(z) = sin z
entonces:
f
(3)
(0)n(, 0) =
3!
2
_

f(z)
z
4
dz
Como n(, 0) = 1, y f
(3)
(z) = cos z, entonces f
(3)
(0) = 1, luego
entonces
_

sin z
z
4
dz =
2
3!
(1) =

3
.
4.
_

_
z
z 1
_
n
dz para toda n N, donde (t) = 1+2
2t
, con 0 t 1.
Notese que
_
z
z 1
_
n
=
z
n
(z 1)
n
, por lo que, si f(z) = z
n
, como con-
secuencia de la formula integral de Cauchy para derivadas
137
f
(n)
(1)n(, 1) =
n!
2
_

z
n
(z 1)
n
dz.
Como f
(n)
(z) = n!, y n(, 1) = 1, entonces
_

_
z
z 1
_
n
= 2.
Tambien podemos aplicar la formula integral de Cauchy para obtener
integrales de la forma
_

f
, si f es holomorfa en una region que
contenga en su interior la region acotada por la curva , y que admita
solo un n umero nito de ceros en . Recordamos que, si a es un cero
de la funcion holomorfa f, existe un entero positivo m, y una funcion
holomorfa g(z), tal que f(z) = (z a)
m
g(z), con g(a) ,= 0. De donde,
si a
1
, . . . , a
s
son los ceros de f, a
j
,= a
k
si j ,= k, entonces existen
enteros positivos m
1
, . . . , m
s
, y una funcion holomorfa g tal que f(z) =
(z a
1
)
m
1
(z a
n
)
m
s
g(z) con g(a
j
) ,= 0, en particular
f

(z) = m
1
(z a
1
)
m
1
1
(z a
2
)
m
2
(z a
n
)
m
s
g(z) + . . .
+m
j
(z a
1
)
m
1
(z a
j
)
m
j
1
(z a
s
)
m
s
g(z) + . . .
+m
n
(z a
1
)
m
1
(z a
2
)
m
2
(z a
s
)
m
s
1
g(z)
+(z a
1
)
m
1
(z a
2
)
m
2
(z a
s
)
m
s
g

(z)
Consecuentemente
f

(z)
f(z)
=
m
1
z a
1
+ . . . +
m
s
z a
s
+
g

(z)
g(z)
,
de donde
_

(z)
f(z)
dz =
_

_
m
1
z a
1
+ . . . +
m
s
z a
s
+
g

(z)
g(z)
_
dz
=
_

m
1
z a
1
dz + . . . +
_

m
s
z a
s
dz +
_

g
dz
Como g no se anula en , entonces g

/g es holomorfa en , de donde
_

/g = 0, y por la denicion del ndice n(, a


k
) = 2
_

dz/(z a
k
), de
donde
138 CAP

ITULO 8. EL INDICE DE UNA CURVA


1
2
_

(z)
f(z)
dz =
s

k=0
m
k
n(, a
k
).
Esto lo podemos aplicar para calcular integrales como la siguiente:
_

2z 1
z
2
+ z + 1
dz, donde (t) = 2e
2t
, con 0 t 1.
Como z
3
1 = (z 1)(z
2
+z + 1), los ceros de z
2
+z + 1 son las races
c ubicas de la unidad
k
, k = 0, 1, 2 con
0
= 1. Claramente [
k
[ = 1, y por
ende, se encuentran en el interior de , ademas n(,
k
) = 1, de donde
_

2z 1
z
2
+ z + 1
dz = 2(n(,
1
) + n(,
2
)) = 2(1 + 1) = 4.
En particular podemos ver que:
Proposici on 39. Sea a C, R > 0 y suponga que f es una funci on holo-
morfa en B(a, R). Sea = f(a). Si f(z) a tiene un cero de orden m en
z = a, entonces existe > 0 y > 0 tal que, si 0 < [ [ < , entonces
f(z) = tiene exactamente m soluciones en B(a, ).
Esta proposicion nos dice, en particular que, f(B(a, )) B(, ). Ademas,
el hecho que f(z) tenga un cero de multiplicidad nita, garantiza que f
no es constante.
Demostraci on. Como los ceros de una funcion analtica son aislados. Si
m = 1, podemos escoger > 0 tal que < R/2. De donde, f(z) =
no tiene soluciones si 0 < [z a[ < 2, y f

(z) ,= 0 si 0 < [z a[ < 2. (Si


m 2, entonces f

(a) = 0.)
Sea (t) = a + e
2t
, con 0 t 1, y consideremos la curva = f .
Como / im(), existe > 0 tal que B(, ) im() = .
De donde, B(, ) esta contenida en alguna componente de Cim();
esto es, [ [ < implica n(, ) = n(, ) =

p
k=1
n(, z
k
()). Y como
n(, z) debe ser cero, o uno, y tenemos exactamente m soluciones de la
ecuacion f(z) = en el interior de B(a, ). Como f

(z) ,= 0 para 0 <


[z a[ < , cada una de las races debe ser simple.
139
Teorema 26. (El teorema del mapeo abierto). Sea C abierto y conexo,
sea f : C una funci on holomorfa no constante. Entonces, f(U) C es
abierto, si U es abierto.
Demostraci on. Sea U un conjunto abierto, U ,= , y supongamos que
a U, y sea = f(a). Como vimos en la proposicion anterior, podemos
encontrar > 0 y > 0 tales que B(a, ) U y f(B(a, )) B(, ).
Corolario 25. Sea C, abierto. Si f : C es holomorfa e inyectiva,
denotemos G = f(). Entonces f
1
: G es analtica y (f
1
)

(w) =
[f

(z)]
1
, donde w = f(z).
Demostraci on. Como consecuencia del teorema del mapeo abierto, f
1
es
continua y es abierto. Como z = f
1
(f(z)) para cada z , como
consecuencia de la regla de la cadena (f
1
)

(w) = [f

(z)]
1
, donde w =
f(z).
Tarea. Del libro de J. E. Marsden, Basic Complex Analisis, realice los
siguientes ejercicios:
2, 2 :
Ejercicio 7, Se satisface el teorema de Cauchy separadamente para las
partes real e imaginaria de una funcion holomorfa f ? Si es as, demuestrelo;
si no, de un contraejemplo.
Ejercicio 10, Evalue
_

z donde es la parte superior del crculo uni-


tario: primero directamente, y posteriormente; usando el teorema fundamen-
tal.
2, 3 :
Ejercicio 1, Muestre que C0 no es simplemente conexo.
2, 4 :
1. Evalue las siguientes integrales:
(a)
_

z
2
z 1
dz, donde es el crculo de radio 2, centrado en 0.
(b)
_

e
z
z
2
dz, donde es el crculo de radio 1, centrado en 0.
3. Si f es entera, y [f(z)[ M[z[
n
para [z[ grande, M una constante, y
n un entero, muestre que f es un polinomio de grado n.
140 CAP

ITULO 8. EL INDICE DE UNA CURVA


4. Sea f una funcion analtica en el interior y sobre una curva cerrada
simple . Suponga que f = 0 sobre . Muestre que f = 0 en el interior de .
6. Sea f una funcion analtica sobre una region A, y sea una curva
cerrada en A. Para z
0
Aim(), muestre que
_

()
z
0
d =
_

f()
( z
0
)
2
d
Puede generalizar este resultado ?
8. Suponga que f es entera y que lm
z
f(z)
z
= 0. Demuestre que f es
constante.
13. Use el ejemplo 2.1.12 apropiadamente, y la formula integral de Cauchy
para evaluar las siguientes integrales; es el crculo [z[ = 2 en cada caso.
(a)
dz
z
2
1
(b)
dz
z
2
+ z + 1
(c)
dz
z
2
8
(d)
dz
z
2
+ 2z 3
14. Demuestre que
_

e
cos
cos(sin )d = considerando
_

(e
z
/z)dz, donde
es el crculo unitario.
21. Sea f analtica en el interior y sobre el crculo [zz
0
[ = R. Demuestre
que
f(z
1
) f(z
2
)
z
1
z
2
f

(z
0
) =
1
2
_

_
1
(z z
1
)(z z
2
)

1
(z z
0
)
2
_
f(z)dz
para z
1
, z
2
en el interior de .
2,5
1. Encuentre el maximo de [e
z
[ sobre [z[ 1.
13. Sea f una funcion analtica y sea f

(z) ,= 0 sobre una region A. Sea


z
0
A y suponga que f(z
0
) ,= 0. Dado > 0, muestre que existe z A y
A tales que [z z
0
[ < , [ z
0
[ < , y
[f(z)[ > [f(z
0
)[ [f()[ < [f(z
0
)[
Sugerencia: Aplique el teorema del modulo maximo.
141
3, 2
5. Obtenga la seire de Taylor de las siguientes funciones ( De apropiada-
mente los primeros terminos de la serie de Taylor)
(a) (sin z)/z, z
0
= 1. (b) z
2
e
z
, z
0
= 0. (c) e
z
sin z, z
0
= 0.
7. Calcule la serie de Taylor de las siguientes funciones en los puntos
indicados:
(a) e
z
2
, z
0
= 0 (b) 1/(z 1)(z 2), z
0
= 0
9. Obtenga los primeros terminos de la serie de Taylor de

z
2
1 alrede-
dor de 0.
10. Sea f(z) =

n=0
a
n
z
n
, y g(z) =

n=0
b
n
z
n
series convergentes para [z[ <
R. Sea un crculo de radio 0 < r < R y dena
F(z) =
1
2
_

f()

g
_
z

_
d
Muestre que F(z) =

n=0
a
n
b
n
z
n
. (Sugerencia: Use el ejemplo 2.4.15.)
142 CAP

ITULO 8. EL INDICE DE UNA CURVA


Apendice A
Teora Basica de las Series de
Potencias.
La teora de funciones de una variable compleja nos permite extender los
conceptos fundamentales del calculo al dominio complejo. Para esto, dota-
mos a los n umeros complejos de la topologa inducida por el plano real R
2
,
por medio de la funcion (x+y) = (x, y) y la metrica inducida por el modu-
lo en C, esto es, si z, w C, la distnacia entre z y w sera igual al modulo
de su diferencia. Una vez dotado C con esta topologa, podemos introducir
los conceptos de lmite y continuidad. En esta seccion daremos, a menera
de repaso en la mayora de los casos, las deniciones de los conceptos que
utilizaremos a lo largo de estas notas.
A.1. Introducci on.
Al identicar C con R
2
, por medio de la funcion (x + y) = (x, y), el
modulo de z = x + y, que denotamos [z[ se dene como el n umero real no
negativo:
[z[ :=
_
x
2
+ y
2
En particular, si z,w C, entonces [zw[ corresponde a la distancia entre
z y w (esto es, su distancia como puntos en R
2
), una propiedad fundamental
de la funcion distancia es que esta satisface la desigualdad del triangulo, es
decir:
[z
1
z
2
[ [z
1
z
2
[ +[z
3
z
2
[
para cualesquiera n umeros complejos z
1
,z
2
y z
3
.
143
144AP

ENDICE A. TEOR

IA B

ASICA DE LAS SERIES DE POTENCIAS.


Sin embargo, esta no es la unica forma de dotar a C de una distancia,
por ejemplo, podemos denir
(z, w) =
_
0 si z = w
1 si z ,= w.
Esta funcion, tambien satisface ser una funcion distancia, cabe notar
que, los conceptos de convergencia de una sucesion, lmites y continuidad
dependen no solo del conjunto dado, sino de la metrica (o distancia) de la
que se dota al conjunto.
Recordamos que:
Denici on 43. Sea X un conjunto no vaco, y d : XX R una funci on.
La funci on d se denomina una funci on distancia (o metrica) en X, si d
satisface las siguientes condiciones:
1. d(z, w) = 0, para toda z, w X.
2. d(z, w) = 0 si, y s olo si z = w
3. d(z, w) = d(w, z) para toda z, w X.
4. d(z, w) d(z, u) + d(u, w) para toda z, u, w X.
En particular, un espacio metrico es una pareja (X, d), donde X es un
conjunto no vaco y d es una funcion distancia (o metrica) en X.
Luego entonces, podemos generalizar los conceptos de conjuntos abiertos
(resp. cerrados) que hemos estudiado en R
n
a cualquier espacio metrico como
sigue:
Dado un espacio metrico (X, d), si x X y r R; con r > 0, denimos
la bola abierta con centro en x y radio r, como el conjunto de puntos en X
que distan de x menos que r, simbolicamente
B(x, r) = y X; d(x, y) < r,
por otra parte, denimos la bola cerrada con centro en x y radio r, como el
conjunto de puntos en X que distan de x a lo mas r, es decir:
B(x, r) = y X; d(x, y) r.
Si X = R
2
, la bola B(x, r) se suele denominar el disco abierto con centro
en x y radio r, y tambien se denota como D(x, r).
Ejemplo 21.
A.1. INTRODUCCI

ON. 145
1. Si X = C, y z, w C, denimos d
1
(z, w) = [z w[, entonces (C, d
1
) es
un espacio metrico, y B(0, 1) corresponde al interior del disco unitario
con centro en el origen, como se muestra en el lado izquierdo de la
Figura (??).
2. Si X = C, denimos d
2
(x+iy, a+ib) = max[xa[, [y b[, entonces
(C, d) es un espacio metrico, y B(0, 1) corresponde al cuadrado unitario
con centro en el origen, como se muestra en la parte central de la Figura
(??).
3. Si X = C, denimos d
3
(x + y, a + b) = [x a[ + [y b[, entonces
(C, d
3
) es un espacio metrico, y B(0, 1) corresponde al cuadrado con
centro en el origen, como se muestra en el lado derecho de la Figura
(??).
4. Si X = C, denimos (z, w) = 0 si z = w y 1 si n ,= w, entonces (C, )
es un espacio metrico, y B(0, 1) = 0, mientras que B(0, 1) = C.
Figura A.1: La bola con centro en el origen y radio uno
Denici on 44. Dado (X, d) un espacio metrico, y X, diremos que
es un subconjunto abierto de X si, para cada punto x existe =
x
> 0
tal que B(x, ) .
Cuando no haya lugar a confusiones, simplemente diremos que es abier-
to
En particular, si B(x, r) X es una bola abierta en X, entonces B(x, r)
es un subconjunto abierto de X.
146AP

ENDICE A. TEOR

IA B

ASICA DE LAS SERIES DE POTENCIAS.


Proposici on 40. Si (X, d) es un espacio metrico, entonces:
1. Los conjuntos X y son abiertos.
2. Si
1
y
2
son abiertos, entonces
1

2
es abierto.
3. Si

I
es una familia arbitraria de subconjuntos abiertos, en-
tonces
I

es abierto.
Demostraci on. El inciso (1) es consecuencia inmediata de la denicion.
Para demostrar (2), si x
1

2
, entonces x
k
, para k = 1, 2.
Como
k
es abierto, existe r
k
> 0 tal que B(x, r
k
)
k
. Denamos r como
el menor valor entre r
1
y r
2
, esto es, r := mnr
1
, r
2
.
Entonces B(x, r) B(x, r
k
)
k
, para k = 1, 2. As, B(x, r)
1

2
,
es decir,
1

2
es abierto.
(3) Finalmente, si x
I

, existe
0
I tal que x

0
. Como

0
es abierto, existe r

0
> 0 tal que B(x, r

0
)
k

I

, por lo que,
uniones arbitrarias de conjuntos abiertos es un conjunto abierto.
Corolario 26. Si
1
, . . .
n
son abiertos, entonces
n
k=1

k
es abierto.
Por lo que, intersecciones nitas de conjuntos abiertos es un conjunto
abierto.
Denici on 45. Dado (X, d) un espacio metrico, y X, diremos que
es un subconjunto cerrado en X, si su complemento X es abierto.
Cuando no haya lugar a confusiones, simplemente diremos que es cer-
rado.
Como consecuencia de la denicion de cerrado, las propiedades de com-
plemento de un conjunto, y la proposicion anterior tenemos:
Proposici on 41. Si (X, d) es un espacio metrico, entonces:
1. Los conjuntos X y son cerrados.
2. Si
1
y
2
son cerrados, entonces
1

2
es cerrado.
3. Si

I
es una familia arbitraria de cerrados , entonces
I

es cerrado.
Cuidado: Un conjunto es cerrado, si es el complemento de un abierto,
este enunciado no signica que: si un conjunto no es abierto entonces es
cerrado.
A.1. INTRODUCCI

ON. 147
De calculo basico sabemos que en R, con la metrica d(x, y) = [x y[ el
conjunto (0, 1] = x R; 0 < x 1 no es abierto, ni cerrado . Este ejemplo
lo podemos generalizar como sigue: Si consideramos el espacio metrico C
con la metrica d(z, w) = [z w[, entonces z C; Re(z) > 0 0 no es
abierto, ni cerrado.
Denici on 46. Sea (X, d) un espacio metrico, y X.
1. El interior de , que denotaremos

, se dene como el m aximo con-


junto abierto contenido en , as:

:=
_
G
Ges abierto
G
2. La cerradura de , que denotaremos , se dene como el mnimo
subconjunto cerrado que contiene a , de donde:
:=

G
Ges cerrado
G
3. La frontera de , se denotar a , se dene como:
= (X).
Ejemplo 22.
Sea (R, d) es el espacio metrico de los n umeros reales dotados con la
metrica usual d(x, y) = [x y[, y consideremos Q R el subconjunto de los
n umeros racionales, entonces Q

= y Q = R.
En general, si consideramos (R
n
, d) con la metrica usual
d(x, y) =

_
n

k=1
(x
k
y
k
)
2
,
entonces (Q
n
)

= , y Q = R
n
.
Denici on 47. Dado un espacio metrico (X, d), y X, diremos que
es un subconjunto denso de X si la cerradura de es un conjunto denso en
X, esto es, = X.
148AP

ENDICE A. TEOR

IA B

ASICA DE LAS SERIES DE POTENCIAS.


Como consecuencia del ejemplo anterior Q es denso en R, mientras que
QQ es denso en R
2
, en particular QQ es denso en C.
Proposici on 42. Dado un espacio metrico (X, d), si A, B X, entonces:
1. A es abierto si, y s olo si A = A

.
2. A es cerrado si, y s olo si A = A.
3. A

= X(X A).
4. A = X(X A)

.
5. A = AA

.
6. (A B) = A B.
7. a A

si, y s olo si, existe r > 0 tal que B(a, r) A.


8. a A si, y s olo si, para toda r > 0, B(a, r) A ,= .
Denici on 48. Un espacio metrico (X, d) es conexo si, los unicos subcon-
juntos de X que son tanto abiertos como cerrados son y X . Si X,
entonces es un subconjunto conexo de X si el espacio metrico (, d
|
) es
conexo.
Ejemplo 23.
Si consideramos a R con la metrica usual, entonces R es conexo si,
y solo si es un intervalo.
Proposici on 43. Un espacio metrico (X, d) no es conexo si, existen A
y B subconjuntos propios de X, abiertos, disjuntos, no vacos, tales que
X = A B.
Una caracterizacion de conjuntos conexos de un espacio euclidiano, que
utilizaremos a lo largo del presente curso, es la siguiente:
Proposici on 44. Si C es abierto y conexo, para cualesquiera a, b ,
existe una trayectoria de a en b completamente contenida en , es decir,
podemos encontrar una funci on continua : [0, 1] C, tal que (0) =
a, (1) = b, y (t) para toda t [0, 1].
A.2. SUCESIONES Y COMPLETES. 149
Denici on 49. Sea (X, d) un espacio metrico, K X, diremos que K es
compacto si, toda cubierta abierta de K tiene una subcubierta nita. Esto
es, si ( es una familia arbitraria de conjuntos abiertos tal que:
K
_
G G
G,
entonces existe un n umero nito de conjuntos G
1
, . . . G
n
en ( tal que
K
n
_
k=1
G
k
.
Claramente el conjunto vaco, y los subconjuntos nitos de X son com-
pactos.
Por ejemplo, si D = x R; x < 1, entonces D no es compacto, pues
si G
n
= x R; x < 1 1/n para n N, entonces D G
n
, por lo
que G
n
; n N es una cubierta abierta de D, sin embargo, esta cubierta,
no tiene subcubierta nita. Un resultado que nos permite identicar los
subconjuntos compactos de R
n
(con la metrica usual) es el siguiente:
Teorema 27. (Heine-Borel). Un subconjunto K de R
n
con n 1 es com-
pacto si, y s olo si K es cerrado y acotado. [C, Theorem 4.10, pg. 23]
A.2. Sucesiones y completes.
Uno de los conceptos mas utiles que tenemos en un espacio metrico es el
de convergencia de una sucesion, as podemos extender el papel que juega
el calculo en R
n
a espacios metricos (X, d), aunque en el presente curso
estamos interesados en analizar C con la metrica inducida de R
n
.
Denici on 50. Sea (X, d) un espacio metrico, una sucesi on en X es una
funci on s : N X. A los valores s(n) X se les suele denotar s
n
, y
solemos denotar una sucesi on como s
n

nN
.
Diremos que una sucesi on s
n

nN
en un espacio metrico (X, d) converge
a s, con s X si, para cada > 0 existe un entero positivo N = N

tal que
d(s
n
, s) < siempre y cuando n N. Y denotamos esto como: lm
n
s
n
= s
o bien, s
n
s si n .
En particular, varias de las propiedades enunciadas en la introduccion
pueden reenunciarse en terminos de sucesiones, por ejemplo: Si (X, d) es un
espacio metrico, y X, entonces es cerrado si, y solo si, toda sucesion
convergente s
n
en converge a un punto en , esto es, si lms
n
= s, con
150AP

ENDICE A. TEOR

IA B

ASICA DE LAS SERIES DE POTENCIAS.


s
n
, entonces s . Y en este caso decimos que s es un punto lmite de
.
Por lo cual, podemos reenunciar nuevamente lo anterior como sigue: Si
(X, d) es un espacio metrico, y X, entonces es cerrado si, y solo si,
contiene a todos sus puntos lmites. En particular = x X : x es un
punto lmite de .
Denici on 51. Diremos que una sucesi on s
n

nN
en un espacio metrico
(X, d) es una sucesi on s
n
de Cauchy si, para cada > 0 existe un entero
positivo N = N

tal que, si n, m N, entonces d(s


n
, s
m
) < .
Diremos que X es un espacio metrico completo si (X, d) tiene la propiedad
de que toda sucesi on de Cauchy en X tiene punto lmite en X.
Sabemos, de cursos anteriores, que R es un espacio metrico completo.
Esto nos implica que C, es completo (estamos considerando a C dotado de
la metrica d(x, y) = [x y[).
A.3. Continuidad
Una de las propiedades mas elementales de una funcion, denida entre
dos espacios metricos, es la continuidad. Ya que el proposito de este curso es
el estudio de la teora de funciones de variable compleja, las cuales posean
derivada en el sentido complejo, la continudad es una propiedad basica
para nosotros, ya que esta se ha estudiado en cursos de calculo previos, solo
enunciaremos las deniciones y resultados fundamentales.
Denici on 52. Sean (X, d) y (Y, ) dos espacios metricos. Sea f : X Y
una funci on, a X, b Y , entonces lm
xa
f(x) = b si, para cada > 0 existe
=
a,
> 0 tal que, si 0 < d(x, a) < , entonces (f(x), b) < .
La funci on f es continua en a si, lm
xa
f(x) = f(a).
Diremos que f es continua en X si f es continua en a para cada a X.
Proposici on 45. Sean (X, d) y (Y, ) dos espacios metricos, y f : X Y
una funci on, a X, b = f(a). Los siguientes enunciados son equivalentes:
1. f es continua en a.
2. Si Y es abierto, entonces f
1
() X es abierto.
3. Si Y es cerrado, entonces f
1
() X es cerrado.
Otra denicion que es de gran utilidad en este curso es la siguiente:
A.4. CONVERGENCIAUNIFORME.EL CRITERIOMDE WEIERSTRASS.151
Denici on 53. Sean (X, d) y (Y, ) dos espacios metricos, y f : X Y
una funci on, diremos que f es uniformemente continua en X si, para cada
> 0 existe =

> 0 tal que (f(x), f(y)) < para todos los valores
x, y X para los cuales d(x, y) < .
La continuidad uniforme es una propiedad de una funcion en un conjunto,
mientras que la continuidad se puede denir en un solo punto; y no tiene
sentido decir si una funcion es uniformemente continua en un punto, por
otra parte, si f es continua en X, es posible encontrar para cada > 0 y
cada punto p X, un n umero que posee la propiedad enunciada en la
denicion de continuidad, as depende de y de p, mientras que, si f es
uniformemente continua en X es posible encontrar, para cada > 0, un
n umero > 0 que cumpla la condicion dada en la denicion para todos los
puntos p de X
Proposici on 46. Sea f una aplicaci on continua de un espacio metrico com-
pacto X en un espacio metrico Y , entonces f es uniformemente continua.
Por ejemplo, si X = Y = R la funcion f(x) = x
2
es continua, pero
no uniformemente continua. Si X = Y = [0, 1], la funcion g(x) = x
2
es
uniformemente continua.
A.4. Convergencia uniforme.
El criterio M de Weierstrass.
Denici on 54. Sea X un conjunto, (Y, ) un espacio metrico, y sup ongase
que f, f
1
, f
2
, . . . son funciones de X en Y . Diremos que la sucesi on f
n

converge uniformemente a f, y lo denotaremos f = u lmf


n
si, para cada
> 0 hay un entero positivo N, que s olo depende de , tal que si n N,
entonces (f(x), f
n
(x)) < para toda x X.
En particular sup(f(x)f
n
(x)); x X , si n N.
Ademas, toda sucesion uniformemente convergente es convergente. La
diferencia basica entre los dos conceptos es la siguiente: si f
n
converge en
X, entonces hay una funcion f tal que, para todo > 0 y toda x Xm hay
un entero que depende de y de x, que cumple la condicion (f(x), f
n
(x)) <
siempre que n N; si f
n
converge uniformemente en X, es posible
encontrar, para cada > 0 un entero N, que satisface (f(x), f
n
(x)) <
para todo x X.
Una de las principales propiedades que tenemos es la siguiente:
152AP

ENDICE A. TEOR

IA B

ASICA DE LAS SERIES DE POTENCIAS.


Proposici on 47. Sean (X, d) y (Y, ) dos espacios metricos, y sup ongase
que f
n
: X Y es una funci on continua para cada n N. Si f = ulmf
n
,
entonces f es continua.
Consideremos el caso especial en que Y = C.
Denici on 55. Si u
n
: X C es una funci on, para cada x X denimos
s
n
(x) =
n

k=1
u
n
(x).
Diremos que s(x) =

k=1
u
k
(x) si, y s olo si, s(x) = lm
n
s
n
(x) para cada
x X.
Diremos que la serie

n=1
u
n
converge uniformemente a si, y s olo si, s =
u lms
n
.
Criterios de convergencia de series
Proposici on 48. 1. Serie geometrica: Si [r[ < 1, entonces

n=1
r
n
con-
verge a
1
1r
, y diverge si [r[ 1.
2. pserie:

n=1
n
p
converge si p > 1 y tiende a si p 1.
3. De la raz on: Sup ongase que lm
n

a
n+1
a
n

existe y es menor que uno,


entonces

n=1
a
n
convegre absolutamente. Si el lmite es mayor que uno,
la serie diverge, y si el lmite es uno, el criterio falla.
4. De la raz: Sup ongase que lm
n
n
_
[a
n
[ existe y es menor que uno, en-
tonces

n=1
a
n
convegre absolutamente. Si el lmite es mayor que uno,
la serie diverge, y si el lmite es uno, el criterio falla.
Proposici on 49. (El criterio M de Weierstrass) Sea u
n
: X C una
sucesi on de funciones denidas en X, y sup ongase que existe una sucesi on
de constantes reales M
n
0 tales que:
1. [u
n
(x)[ M
n
para cada x X.
A.5. SERIES DE POTENCIAS. 153
2.

n=0
M
n
converge.
Entonces

n=1
u
n
converge uniformemente en X.
Demostraci on. Dada > 0, como

n=0
M
n
converge, entonces es de Cauchy,
luego entonces existe N = N

N tal que, si n, m N y m n, entonces

m
k=n+1
M
k
< . Luego entonces, si s
n
(x) =

n
k=1
u
k
(x) entonces, para
n, m N tenemos que
[s
n
(x) s
m
(x)[ =

k=n+1
u
k
(x)

k=n+1
[u
k
(x)[
m

k=n+1
M
n
<
por tanto, la serie s
n
(x) es de Cauchy, y por ende, converge. Para cada
x X existe =
x
C tal que s(x) = , es decir, tenemos una funcion
s : X C tal que
[s(x) s
n
(x)[ =

k=n+1
u
k
(x)

k=n+1
[u
k
(x)[

k=n+1
M
k
<
para toda x X, si n N.

Por ejemplo,

k=n+1
z
n
/n converge uniformemente en B(0, r) si 0
r < 1, basta tomar M
n
= r
n
/n y aplicar el criterio M de Weierstrass.
A.5. Series de Potencias.
Denici on 56. Si c
n
C para cada entero no negativo n, diremos que la
serie

n=0
c
n
converge a c si, y s olo si, para cada > 0 existe un entero
positivo N = N

tal que, si m N entonces [

m
n=0
c[ < .
Diremos que la serie

c
n
converge absolutamente si

[c
n
[ converge.
Como consecuencia de la desigualdad del triangulo, tenemos que, si una
serie converge absolutamente, entonces converge.
Denici on 57. Una serie de potencias alrededor del punto a es una serie
de la forma

n=0
c
n
(z a)
n
154AP

ENDICE A. TEOR

IA B

ASICA DE LAS SERIES DE POTENCIAS.


Uno de los ejemplos mas sencillos, y utiles lo constituye la serie geometri-
ca

n=0
z
n
.
Como
1 + z + . . . z
n1
=
1 z
n
1 z
y ya que z
n
0 si [z[ < 1 concluimos que la serie geometrica converge
a 1/(1 z) si [z[ < 1, mientras que [z
n
[ 1 si [z[ > 1, por lo que, la serie
diverge para [z[ > 1.
Apendice A
Sumas de Riemann-Stieltjes
En esta seccion denimos la integral de Riemann-Stieltjes, con el n de
dar una denicion formal de la integral de una funcion a lo largo de una
trayectoria en C, lo cual nos proporciona un argumento analtico que da
lugar a la denicion 7.4(checar).
Denici on 58. Sean a, b R tales que a < b, y sea : [a, b] C una
funci on. Diremos que es una funci on de variaci on acotada si, existe una
constante M > 0 tal que, para cualesquier partici on T = a = a
0
< a
1
<
a
2
... < a
n
= b del intervalo [a, b] se tiene que
n

k=1
[(a
k
) (a
k1
)[ M,
Denotaremos por v(; T) a la expresi on dada en el lado izquierdo de la
desigualdad anterior, esto es, v(; T) =

n
k=1
[(a
k
)(a
k1
)[. La variaci on
total de , que denotaremos V (), se dene como: V () = supv(; T); T
es una partici on del intervalo [a, b]. N otese que V () M < .
Si es una funcion real valuada, continua y no decreciente, entonces
es de variacion acotada y V () = (b) (a). Ademas una funcion com-
plejo valuada es de variacion acotada si, y solo si, su parte real, Re(), y
su parte imaginaria, Im = (), son funciones de variacion acotada. Como
consecuencia de la desigualdad del triangulo tenemos que:
Proposici on 50. Sean a, b R tales que a < b, y sean , : [a, b]
funciones de variaci on acotada. Entonces:
1. Si T y L son particiones de [a, b], tales que T L, entonces v(; T)
v(; L).
155
156 AP

ENDICE A. SUMAS DE RIEMANN-STIELTJES


2. Si , , entonces + es de varaci on acotada y V ( + )
[[V () +[[V ().
Demostraci on. Sea Q = b
j
[a, b]; a = b
0
, b = b
m
, y b
j
< b
j+1
sij =
0, ..., n 1, y supongamos que T Q, entonces
v(; Q) =
m

k=1
[(b
k
) (b
k1
)[
=

{k;b
k
P}
[(b
k
) (b
k1
)[ +

{k;b
k
/ P}
[(b
k
) (b
k1
)[

{k;b
k
P}
[(b
k
) (b
k1
)[
= v(; T)
Por otra parte
v( + ; Q) =
m

k=1
[( + )(b
k
) ( + )(b
k1
)[

_
m

k=1
[[[(b
k
)[ +
m

k=1
[[[(b
k
)[
_

_
m

k=1
[[[(b
k1
)[ +
m

k=1
[[[(b
k1
)[
_
= [[
m

k=1
[(b
k
) (b
k1
)[ +[[
m

k=1
[(b
k
) (b
k1
)[
= [[v(; Q) +[[v(; Q)
Tomando supremos sobre las particiones Q a ambos lados de las desigual-
dades, se sigue que V ( + ) [[V () +[[V ().
Proposici on 51. Sean a, b R tales que a < b, y sea : [a, b] una curva
suave por partes, entonces es de variaci on acotada, y V () es igual a (),
la longitud de arco de la curva .
Demostraci on. Bastara demostrar este resultado para curvas suaves. Si es
suave, y es continua, consideremos una particion T de [a, b], como en la
157
denicion, entonces:
v(; T) =
m

k=1
[(t
k
) (t
k1
)[
=
m

k=1

_
b
a
(t)dt

k=1
_
b
a
[ (t)dt[
=
_
b
a
[ (t)[ dt
= ()
Como esto es cierto para cualquier particion Q, se sigue que es de variacion
acotada, y que V () (). A continuacion mostraremos que V () ().
Como es uniformemente continua, dada > 0, podemos elegir
1
> 0
tal que [s t[ <
1
implica [ (s) (t)[ < , por otra parte, podemos
elegir
2
tal que, si T = t
k
[a, b]; t
0
= a < t
1
< ... < t
m
= b, y
|P| =maxt
k
t
k1
; 1 k m <
2
, y si
k
[t
k1
, t
k
] es un punto
arbitrario, entonces

_
b
a
[ (t)[dt
m

k=1
[ (
k
)[(t
k
t
k1
)

<
Luego entonces:
_
b
a
[ (t)[dt +
m

k=1
[ (
k
)[(t
k
t
k1
)
= +
m

k=1

_
t
k
t
k1
(
k
)dt

+
m

k=1

_
t
k
t
k1
[ (
k
) (t)]dt

+
m

k=1

_
t
k
t
k1
(t)dt

Sea = mn
1
,
2
, si |T| < , entonces [ (
k
) (t)[ < si t
[t
k1
, t
k
].
158 AP

ENDICE A. SUMAS DE RIEMANN-STIELTJES


Ademas
_
b
a
[ (t)[dt + (b a) +
m

k=1
[(t
k
) (t
k1
)[
= [1 + (b a)] + v(; T)
[1 + (b a)] + V ()
Tomando el lmite cuando tiende a cero, tenemos () V (), de donde
() = V ().
Teorema 28. Sean a, b R tales que a < b, y sea : [a, b] una funci on
de variaci on acotada, y sup ongase que f : [a, b] es una funci on continua.
Entonces, existe un n umero complejo I tal que, para cada > 0, existe
> 0 tal que, cuando T = t
k
[a, b]; a = t
0
< t
1
< .... < t
m
= b es una
partici on de [a, b] con |T| = m ax(t
k
t
k1
); 1 k m < , entonces

I
m

k=1
f(
k
)[(t
k
) (T
k1
)]

<
para cualesquier elecci on de puntos
k
[t
k1
, t
k
].
Demostraci on. Como f es una funcion continua, y [a, b] es compacto, en-
tonces es uniformemente continua; luego entonces, podemos encontrar, in-
ductivamente, n umeros positivos
1
>
2
>
1
> ...tales que, si [s t[ <
m
,
entonces [f(s)f(t)[ < 1/m. Para cada m 1, considere T
m
la coleccion de
todas las particiones T de [a, b] con |P| <
m
; en particular T
1
T
2
....
Finalmente, denotemos por F
m
la cerradura del siguiente conjunto:
_
S(T) :=
n

k=1
f(
k
)[(t
k
(t
k1
))]; T T
m
, y t
k1

k
t
k
_
.
Como T
1
T
2
..., entonces F
1
F
2
...
Por otra parte, demostraremos que diam(F
m
)
2
m
V ()
Una vez hecho esto, como consecuencia del teorema de Cantor, existe un
unico n umero complejo I, tal que I F
m
para cada m 1.
3
3
(El Teorema de Cantor). Un espacio metrico (X, d) es completo si, y s olo si, para
toda sucesi on {F
n
} de conjuntos cerrados no vacos {F
n
} de conjuntos cerrados no vacos
con F
1
F
2
... tal que diam(F
n
) 0, se tiene que

n=1
F
n
consta de un unico punto.
[C, pg. 19]
159
Si > 0 consideremos m >
2

V (); entonces > m >


2
m
V ()
diam(F
m
).. Como I F
m
, [F
m
I[ < , y tomando =
m
se demues-
tra el teorema. Ahora demostraremos que diam(F
m
)
2
m
V ().
Dado m 1, si T = t
k
; a = t
0
< t
1
< ... < t
n
= b es una particion
en T T
m
, mostraremos que, si T Q, entonces [S(T) S(Q)[ <
1
m
V ().
Solo demostraremos el caso en que Q se obtenga de T agregando solo un
punto, el caso general se obtiene iterando este proceso.
Sea 1 p m y sea t
p1
< t

< t
p
; supongase que Q = T t

. Si
t
p1
t

, y t

t
p
, y
S(Q) =

k=p
f((
k
))[(t
k
)(t
k1
)]+f()[(t

)(t
p1
)]+f(

)[(t
p
)(t

)],
y como [f() f()[ < 1/m si [ [ <
m
, entonces
[S(T) S(Q)[ = [

k=p
[f(
k
) f((
k
))][(t
k
) (t
k1
)] f(
p
)[(t
p
)
(t
p1
)] f()[(t

) (t
p1
)] + f(

)[(t
p
) (t

)],

1
m

k=p
[(t
k
) (t
k1
)[ +[[f(
p
) f()][(t

) (t
p1
)]
+[f(
p
) f(

)][(t
p
) (t

)][

1
m

k=p
[(t
k
) (t
k1
)[ +
1
m
[[(t

) (t
p1
)][
+
1
m
[(t
p
) (t

)[

1
m
V ()
Para la parte nal, considerese T y Q dos particiones en T
m
, entonces
Q = T es una particion que contiene a T y a , aplicando la parte
anterior tenemos:
[S(T) S()[ [S(T) S(Q)[ +[S(Q) S()[
2
m
V ().
Consecuentemente, diam(F
m
)
2
m
V ().
160 AP

ENDICE A. SUMAS DE RIEMANN-STIELTJES


Denici on 59. El n umero I, dado en el teorema anterior, se denomina la
integral de Riemann-Stieljes de f con respecto a sobre el intervalo [a, b], y
se denota por
I =
_
b
a
fd
Una vez hecho esto, podemos formalizar, como mencionamos al inicio de
esta seccion, la denicion de integral de lnea de una funcion valuada, de
variable compleja, f : , a lo largo de una curva suave : [a, b] ,
considerando simplemente la restriccion de f a la imagen de , pues f :
[a, b] es una funcion continua, valuada, de variable real.
Tarea.
1. Si a, b R, a < b, y g : [a, b] es una fucion continua, escriba
g(t) = u(t) + iv(t), con u, v : [a, b] R funciones continuas. Dena
_
b
a
g(t) :=
_
b
a
u + i
_
b
a
v. Demuestre que
a) Re
_
b
a
g(t)dt =
_
b
a
Reg(t)dt.
b)

_
b
a
g(t)dt

_
b
a
[g(t)[dt.
2. Evalues lo siguiente:
a)
_

ze
z
2
dz, donde es el crculo unitario.
b)
_

(z
2
+ 2z + 3)dz, donde es el segmento de la recta que 1 con
2 + i.
c)
_

1
z 1
, donde es el crculo con radio 2 y centro en 1, recorrido
en sentido contrario a las manecillas del reloj.
3. Demuestre, o de contraejemplo: Re
__

fdz
_
=
_

Re(f)dz.
4. Evalue
_

zdz, donde es el rculo unitario, recorrido en setido con-


trario a las manecillas del reloj, una vez.
161
5. Evalue
_

z
2
dz, a lo largo de las dos trayectorias, que unen al 0 con
1 + i, descritas a continuacion:
a) es el segmento de lnea recta que une 0 con 1 + i.
b) es
1
+
2
, donde
1
es el segmento de que une 0 con 1 y
2
es el
segmento que une 1 con 1 + i.
En vista de lo anterior, y del teorema fundamental del calculo, puede
ser z
2
la derivada de alguna funcion diferenciable?
6. Si C es el arco del crculo [z[ = 2 que se encuentra en el primer cuad-
rante, muestre que

_
C
dz
z
2
+ 1


3
7. Evalue las siguientes integrales:
_
|z|=1
dz
z
;
_
|z|=1
dz
[z[
;
_
|z|=1
[dz[
z
;
_
|z|=1

dz
z

.
8. De algunas condiciones sobre una curva cerrada que garanticen que
_

dz
z
= 0.
9. Sea un subconjunto abierto, no vaco. Sea : [a, b] una
curva suave contenida en , (es decir, im() ). Si f : es
diferenciable, y f

(z) es continua en . Demustre o de contraejem-


plo:
_

f(z)f(z)dz
es imaginario.
10. Sea C un subconjunto abierto, no vaco. Suponga que f : es
diferenciable, y satisface [f(z) 1[ < 1 en . Demuestre que
_

(z)
f(z)
dz = 0
para cada curva cerrada contenida en .
11. Si p(z) es un polinomio y C denota el crculo [za[ = R, Evalue
_
C
pdz.
([A, pg. 108])
162 AP

ENDICE A. SUMAS DE RIEMANN-STIELTJES


A.1. F ormulas de Cauchy y sus principales conse-
cuencias.
En la presente seccion veremos que es posible representar una funcion
holomorfa f(z) mediante una integral de l nea en la cual la variable com-
pleja z interviene como un parametro. Esta representacion se conoce como
la formula integral de Cauchy, la cual tiene una gran cantidad de aplica-
ciones, en particular obtendremos que toda funcion holomorfa es C

(C)
diferenciable, y en particular localmente puede expresarse como una se-
rie de potencias formal, es decir, es analtica. (En variable compleja, estos
conceptos son equivalentes, lo cual no sucede en variable real.) Ademas, el
estudio de las propiedades locales de las funciones holomorfas nos permite
realizar el estudio de algunas propiedades globales de estas funciones.
Bibliografa
[A] L.V. Ahlfors, Complex Analysis, Mc.Graw-Hill Book Co. 1966.
[C] J. B. Conway, Functions of One Complex Variable I, Second Edition,
Springer, New York, 1978.
[Hi] E. Hille, Analytiv function theory, Vol I, II. Chelsea Pub. Co. New
York, N. Y. 1976.
[H] R. W. Howell COMPLEX ANALYSIS: Mathematica 4.1 Cuadernos
Jones and Bartlett Publicadores, Inc. 40. Paseo del Pino alto, Sud-
bury, MA 01776. USA. 2002. Internet: http://www.jbpub.com
[M.H.] J. Marsden and M.J. Homan, Basic Complex Analysis.2nd. Ed.
Freeman Co. New York, 1987.
[N] R. Narasimhan, Complex Analysis in One Variable, Birkhauser,
Boston, 1985. John H. Mathews, y Russell
[U] J. V. Uspensky, Theory of equations. T. M. H. Edition. 1948.
[Z] F. Zaldivar, Fundamentos de

Algebra. UAM-I, Mexico, 2003.
163

También podría gustarte