Documentos de Académico
Documentos de Profesional
Documentos de Cultura
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 =
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)
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
= cos () +
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
(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
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
, y z = e
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
y b
+ tb
); notese que este angulo solo depende del orden en que se dan las
lneas. Dos lneas son ortogonales si b/b
. Tambien
introduciremos una funcion distancia en C
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
(z
n
, z
0
) 0.
2. z
n
si, y solo si, d
(z
n
, ) 0.
Con respecto a la metrica d
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
, 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
= 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) = 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
|U
(z)
, donde w = f
|V
(z).
Demostraci on. Como f
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
((t))
(t) = 0,
pues f
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
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
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
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
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
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
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
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
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
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
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
(z) = c
1
+ 2c
2
z + . . . + nc
n
z
n1
+ . . .
si queremos que f = f
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
, 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
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
(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
(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) = 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
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
en C
.
Es claro que el conjunto de las aplicaciones de Mobius T : C
_
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
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
.
Si z
2
, z
3
, z
4
C
y k = l, denamos T : C
como:
82 CAP
_
(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
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
en 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
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
, diremos que 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
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
z
3
| = |z z
3
|, por lo cual z y 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
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
, la cual
describimos en la Figura (??):
Sea L la semi-recta que pasa por z e inicia en a.
Considere la perpendicular 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
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
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 =
_
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 =
_
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
_
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
_
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 =
_
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 =
_
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
_
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
_
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 = 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
_
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
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
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
_
= 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(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
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
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
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
_
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
, t
)) < .
Si elegimos las particiones de [0, 1] regulares de longitud 1/n, para 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
/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
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)[ 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
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
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
_
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
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
_
dz/(z a
k
), de
donde
138 CAP
(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
(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
(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
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
()
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
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
ENDICE A. TEOR
IA B
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
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
:=
_
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
.
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
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
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
> 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
ENDICE A. TEOR
IA B
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
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
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
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
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
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
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
< 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
_
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
_
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
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
(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