John B.

Conway

Funciones de
Una Variable Compleja
Segunda Edicion

con 30 Ilustraciones

Springer-Verlag
New York Berlin Heidelberg Tokyo

Captulo 1

El Sistema de N
umeros Complejos
2. El cuerpo de n
umeros complejos
1. Hallar la parte real e imaginaria de cada uno de los siguientes:
!3
1
za
3
+
5i
1
+
i
3
;
(a R); z 3 ;
;
;
z
z+1
7i + 1
2
!6


1+i n
1 i 3
n

; i ;
para 2 n 8.
2
2
Soluci
on.

1
1
x iy
Tenemos que
=
= 2
entonces Re
z
x + iy
x + y2
 
y
1
= 2
.
Im
z
x + y2

Notemos que
za
z+a

 
x
1
= 2
,
z
x + y2

(x a) + iy (x + a) iy

(x + a) + iy (x + a) + iy

(x a)(x + a) i(x a)y + i(x + a)y + y 2

(x + a)2 + y 2

x2 a2 + y 2 i(xy + ay xy + ay)
(x + a)2 + y 2

x2 + y 2 a2 2iay
.
(x + a)2 + y 2
n
o
n
o
x2 +y 2 a2
za
Por lo que, Re za
=
y
Im
2
2
z+a
z+a =
(x+a) +y
=

2ay
(x+a)2 +y 2

Observe que

z 3 = (x + iy)3 = x3 + 3x2 iy + 3x(iy)2 + (iy)3

= x3 + i3x2 y 3xy 2 iy 3

= x(x2 3y 2 ) + iy(3x2 y 2 )
entonces Re{z 3 } = x(x3 3y 2 ) y Im{z 3 } = y(3x2 y 2 ).
Tenemos que
3 + 5i
3 + 5i 7i 1
21i 3 35 5i
38 + 16i
19
8
=

=
=
=
i,
7i + 1
7i + 1 7i 1
49 1
50
25 25
3

El Sistema de N
umeros Complejos

19
3+5i
8
entonces Re 3+5i
7i+1 = 25 y Im 7i+1 = 25 .
Observe que

!3

1 + 3i 3 3(i 3)2 + (i 3)3

1 + i 3
=
2
8

1 + 3 3i + 3(3) 3i
8 + 2 3i
=
=
,
8
8





3
3

1+i 3
1+i 3
=
1
y
Im
= 43 .
por lo que Re
2
2

Tenemos que
!6
1 i 3
=
2

1
[(1)6 + 6(1)5 (i 3) + 15(1)4 (i 3)2 +
64

20(1)3 (i 3)3 + 15(1)2 (i 3)4 + 6(1)(i 3)5 + (i 3)6 ]

1 + i6 3 15(3) 20i( 3)3 + 15( 3)4 + i6( 3)5 ( 3)6

=
64

1 45 + 15(9) 81 + i(6 3 20 27 + 6( 3)5

=
64

10 + i(6 3 60 3 + 54 3)
5
5
=
=
+ i 3(0) =
64
32
32




6
6
1i 3
1i 3
5
entonces Re
= 32
y Im
=0.
2
2

Observe que

1 si

1 si
in =

i si

i si
entonces

n = 4k o n = 0
n = 4k 2
n = 4k + 1
n = 4k 1

con

kN

1 si n = 4k o n = 0
Re{i } =
1 si n = 4k 2

0 en otro caso

1 si n = 4k + 1
n
Im{i } =
1 si n = 4k 1

0 en otro caso
n

Es sencillo ver calcular que



1+i 8
1
1

8 =
=
Re{8 } = , Im{8 } = 0 ;
16
16
2


1+i 7

7 =
= 0 Re{7 } = 0 = Im{7 } ;
2

El cuerpo de n
umeros complejos

6 =
5 =
4 =
3 =






1+i

2
1+i

2
1+i

2
1+i

6
5
4
3

i
8

1+i
=
32

Re{6 } = 0,

Im{6 } =

1
Re{5 } = = Im{5 } ;
32

1
4

1
Re{4 } = ,
4

=0

Re{3 } = 0 = Im{3 } ;

1
;
8

Im{4 } = 0 ;


1+i 2
i
1

Re{2 } = 0, Im{2 } = .
2 =
=
2
2
2
2. Hallar el valor absoluto y conjugado de cada uno de los siguientes:
3i
i
2 + 1; 3; (2 + i)(4 + 3i);
;
;
i+3
2 + 3i


(1 + i)6 ;

i17 .

Soluci
on.
p

Tenemos que | 2 + i| = (2)2 + 12 = 5 y 2 + i = 2 i.

Es sencillo ver que | 3| = 3 y 3 = 3.
Notemos que

3i
(3 i)( 2 3i)
1

=
= (3 i)( 2 3i)
2+9
11
2 + 3i
entonces

3i
1

(3 i)( 2 3i)
=
11
2 + 3i

1
1
=
(3 i) ( 2 3i) = (3 + i)( 2 + 3i)
11
11
q



 3i 
= 9+1
= 10
y adem
as  2+3i  = ||3i|
11 .
2+9
2+3i|
 
 
 i 
1
i
Usando las propiedades se tiene que  i+3
= 110 y i+3
=
 = 1+10
i
i+3

i
i
= 3i
= i3
.
Usando propiedades tenemos que

|(1 + i)6 | = |1 + i|6 =

2 = 23 = 8 .

y (1 + i)6 = (1 + i) = (1 i)6 .
Note que |i17 | = |i|17 = 1 y que i17 = (i)17 = (i)17 = i17 = i.
3. Demotrar que z es un n
umero real si y s
olo si z = z.
Soluci
on. Observe que si z = x + iy R si y s
olo si y = 0 lo que
es equivalente a
2iy = 0 iy = iy x + iy = x iy z = z .

El Sistema de N
umeros Complejos

4. Si z y w son n
umeros complejos, pruebe las siguientes ecuaciones:
|z + w|2 = |z|2 + 2 Re zw + |w|2
|z w|2 = |z|2 2 Re zw + |w|2

|z + w|2 + |z w|2 = 2(|z|2 + |w|2 )

Soluci
on. Sean z = x + iy y w = a + ib y notemos que
2 Re zw = 2 Re{(x + iy)(a bi)}
= 2 Re{xa + by + i(ay bx)} = 2(xa + yb) .
Luego,
|z w|2 = |(x a) + i(y b)|2
= (x a)2 + i(y b)2

= x2 2xa + a2 + y 2 2yb + b2

= (x2 + y 2 ) 2(xa + yb) + (a2 + b2 )

= |z|2 2 Re zw + |w|2 .

Adem
as,
|z + w|2 + |z w|2 = |z|2 + 2 Re zw + |w|2 + |z|2 2 Re zw + |w|2
= 2(|z|2 + |w|2 ) .

5. Use inducci
on para probar que para z = z1 + + zn ; w = w1 w2 wn :
|w| = |w1 | |wn |; z = z1 + + zn ; w = w1 wn .
n
X
Soluci
on. Si zj = xj + iyj , j = 1, . . . , n entonces z =
(xj + iyj )
j=1

luego

z=

n
n
n
X
X
X
(xj + iyj ) =
(xj + iyj ) =
(xj iyj ) = z1 + z2 + + zn .
j=1

j=1

j=1

Ahora si n = 2 sea w = w1 w2 = (x + iy)(a + ib) entonces w = (xa

yb) + i(ya + xb) y obtenemos
|w|2 = (xa yb)2 + (ya + xb)2

= (xa)2 2xayb + (yb)2 + (ya)2 + 2yaxb + (xb)2

= a2 (x2 + y 2 ) + b2 (x2 + y 2 )

= (a2 + b2 )(x2 + y 2 ) = |x + iy|2 |a + ib|2 = |w1 |2 |w2 |2 .

El plano complejo

Por inducci
on supongamos que se cumple para n = k entonces si wk =
a + iy y wk+1 = a + ib entonces
w = w1 wk+1 = w1 wk wk+1 = w1 wk1 ((xa yb) + i(ya + xb))
Por lo tanto,
|w| = |w1 | |wk1 ||(xa yb) + i(ya + xb)|
= |w1 | |wk1 ||wk ||wk+1 |
como queriamos probar.
De manera similar para n = 2 se tiene que
w = (xa yb) + i(ya + xb)
= (xa yb) i(ya + xb)
= (x iy)(a ib) = (x + iy)(a + ib) .
Si se cumple para n = k obtenemos
w = w1 wk+1
= w1 wk wk+1
= w1 wk1 wk wk+1 = w1 wk+1 .
6. Sea R(z) una funci
on racional de z. Demuestre que R(z) = R(z) si todos
los coeficientes en R(z) son reales.
Soluci
on. Sea P (z) = a0 + a1 z + + an zn con ai R para todo
i = 1, 2, . . . , n, entonces
P (z) = ao + a1 z + + an z n
= ao + a1 z + + an z n

= ao + a1 z + + an z n = P (z) .
Entonces, si P (z) y Q(z) son polinomios con coeficientes reales tenemos
que
R(z) =

P (z)
P (z)
=
= R(z) .
Q(z)
Q(z)

3. El plano complejo
1. Pruebe ||z| |w|| |z w| y de una condici
on necesaria y suficiente para
la igualdad.

El Sistema de N
umeros Complejos

Soluci
on. Notemos que
|z| |w| = |z w + w| |w| |z w| + |w| |w| = |z w| ,
de manera similar tenemos que
|z| |w| = |z| |w z + z| |z| |z w| |z| = |z w| .
Por lo que
|z w| |z| |w| |z w| ||z| |w|| |z w|,

z, w C .

La condici
on necesaria y suficiente es que z = rw con r R. En efecto,
si z = rw entonces
||z| |w|| = |r|w| |w|| = ||w|(r 1)| = ||w|||r 1|
= |w||r 1| = |w(r 1)| = |rw w| = |z w| .
Recprocamente, si ||z| |w|| = |z w| entonces el tri
angulo de vertices
es igual a la diferencia de
z, w y (0, 0) es tal que la distancia del lado
zw

los lados z0 y w0
z

|z w|

|z|
w
|w|

Luego, z, w y (0, 0) son colineales entonces z, w son linealmente dependientes, por lo tanto z = rw con r R.
2. Demuestre que ocurre la igualdad
|z1 + z2 + + zn | = |z1 | + |z2 | + + |zn |

zk
0 para cualquier k, l, 1 k, l n con zl 6= 0.
zl
z
Soluci
on. Para n = 2, si
0 obtenemos que
w
x + iy
(x + iy)(a ib)
0
0
a + ib
a2 + b2
(xa + yb) + i(ya xb) 0
si y s
olo si

(ya xb) = 0 y
Re{zw} = |zw|

(xa + yb) 0

El plano complejo

Luego
|z + w|2 = |z|2 + 2Re{zw} + |w|2 = |z|2 + 2|z||w| + |w|2 = (|z| + |w|)2 .
Por tanto, |z + w| = |z| + |w| y por inducci
on sobre n se obtiene el resultado pedido.
3. Sea a R y c > 0 fijo. Describa el conjunto de puntos z que satisfacen
|z a| |z + a| = 2c
para todos los posibles a y c. Ahora sea a C usando la rotaci
on del
plano, describa los puntos que satisfacen la ecuaci
on de arriba.
Soluci
on.
Caso 1. Si c > |a|
Tenemos que
2c = |z a| |z + a| |(z a) (z + a)| = 2|a| .
Si c > |a| entonces 2c 2|a| 2c lo que es absurdo entonces
S = {z : |z a| |z + a| = 2c} = .
Caso 2. Si c = 0
Consideremos a = r + is, entonces
S = {z = x + iy : |z a| |z + a| = 2c}
p
p
= {z : (x r)2 + (y s)2 = (x + r)2 + (y + s)2 }
= {z : xr + ys = 0} = {z : za} .

Caso 3. Si 0 < c < a

Notemos que la ecuaci
on |z a| |z + a| = 2c es equivalente a

(x a)2 + y 2

(x + a)2 + y 2 = 2c
p
p
(x a)2 + y 2 + (x + a)2 + y 2 2 (x a)2 + y 2 (x + a)2 + y 2 = 4c2
(2x2 + 2a2 + 2y 2 4c2 )2 =

4((x a)2 (x + a)2 + (x a)2 y 2 + (x + a)2 y 2 + y 4 )

4(x2 + a2 + y 2 2c2 )2 =

4((x2 2xa + a2 )(x2 + 2xa + a2 ) + 2x2 y 2 + 2a2 y 2 + y 4 )

10

El Sistema de N
umeros Complejos

(x2 + a2 )2 + 2(x2 + a2 )(y 2 2c2 ) + (y 2 2c2 )2 =

x4 + 2x2 a2 + a4 + 2(x2 a2 )(y 2 2c2 ) + y 4 4y 2 c2 + 4c4 =

4x2 a2 + 2(x2 y 2 2x2 c2 + y 2 a2 2a2 c2 ) 4y 2 c2 + 4c4 = 2x2 y 2 + 2a2 y 2

x4 2x2 a2 + a4 + 2x2 y 2 + 2a2 y 2 + y 4

x4 2x2 a2 + a4 + 2x2 y 2 + 2a2 y 2 + y 4

4x2 a2 4x2 c2 4a2 c2 4y 2 c2 + 4c4 = 0

x2
y2
x2 (a2 c2 ) y 2 c2 = c2 (a2 c2 ) 2 + 2
=1.
c
c a2
En este caso la ecuaci
on representa una par
abola centrada en el origen.
Caso 4. Si c = a
La ecuaci
on |z a| |z + a| = 2c equivale a
p
p
(x a)2 + y 2 (x + a2 + y 2 = 2a

(2x2 + 2a2 + 2y 2 4a2 )2 = (x4 + 2x2 a2 + a4 + 2x2 y 2 + 2a2 y 2 + y 4 )

(x2 + y 2 a2 )2 = 2x4 4x2 a2 + 2a4 + 4x2 y 2 + 4a2 y 2 + 27y 4

x4 + 2x2 y 2 + y 4 2a2 (x2 + y 2 ) + a4 =

x4 2x2 y 2 y 4 + 2a2 x2 + 2a2 y 2 a4 = 0

2x4 4x2 a2 + 2a4 + 4x2 y 2 + 4a2 y 2 + 2y 4

(x2 + y 2 )2 2a2 (x2 + y 2 ) + a4 = 0

(x2 + y 2 a2 )2 = 0

x2 + y 2 = a2 |z| = a .

Luego, {z C : |z a| |z + a| = 2c} = {z C : |z| = a} un crculo

centrado en 0 y de radio a.

4. Representaci
on polar y races de n
umeros complejos
1. Hallar las raices sexta de la unidad.
Soluci
on. Las races sexta de la unidad son los n
umeros complejos que
6
satisfacen z = 1 y se sabe que son dadas por
e2ki/6 ,

k = 0, 1, 2, 3, 4, 5, 6 .

y son dadas por

e0 = 1

ei/3 = 12 + i 23

e2i/3 = 12 + i

3
2

ei
= 1

4i/3
e
= 12 i 23
e5i/3 =

1
2

3
2

Representaci
on polar y races de n
umeros complejos

11

2. Calcule lo siguiente
(a) La raiz cuadrada de i
(b) La raizc
ubica de i

(c) La raiz cuadrada de 3 + 3i

Soluci
on.
(a)
i = cos
entonces

2
2 

2
+ i sin = cos
+ i sin
= cos + i sin
2
2
4
4
4
4

2
2

+i
.
i = cos + i sin =
4
4
2
2

(b)
i = cos
entonces

3
+ i sin = cos + i sin
2
2
6
6

3
1
+i .
2
2

(c) Tenemos que | 3 + 3i| = 3 + 9 = 12, adem

as

3
h(1, 0), ( 3, 3)i
1

cos =
= = =
2
3
|(1, 0)||( 3, 3)|
12
1/3

entonces


3 + 3i =
12 cos + i sin
3
3



( 3 + 3i)1/2 = (12)1/4 cos + i sin
= (12)1/4
6
6

3
1
+i
2
2

3. Una raz n-esima primitiva de la unidad es un n

umero complejo a tal que
2
n1
son distintas n races de la unidad. Demuestre que si a
1, a, a , . . . , a
y b son primitivas n-esima y m-esima raiz de la unidad, respectivamente,
entonces ab es una k-esima raiz de la unidad para alg
un entero k. Cu
al
es el valor de k m
as peque
no?
Soluci
on. Sea k = n m entonces
(ab)k = (ab)nm = (an )m (bm )n = (1)m (1)n = 1 .
El valor m
as peque
no de k ocurre cuando k es el mnimo com
un multiplo
de m y n.

12

El Sistema de N
umeros Complejos

4. Use la ecuaci
on binomial
(a + b)n =

n  
X
n
k=0

ank bk

donde
 
n
n!
=
k!(n k)!
k
y compare la parte real e imaginaria de cada de la f
ormula de Moivre
obteniendo las f
ormulas
 
 
n
n
n
n2
2
cos n = cos
cos
sin +
cosn4 sin4 +
2
4
 
 
n
n
n1
sin
cosn3 sin3 +
sin n =
cos
3
1
Soluci
on. Notemos que
n

cos(n) + i sin(n) = (cos + i sin ) =

n  
X
n
k=0

cosnk sink (ik ) .

Como para k par Im{ik } = 0 y para k impar Re{ik } = 0 entonces separando en parte imaginaria y real se obtienen las ecuaciones buscadas.
5. Sea z = cos

2
2
+i sin
para n 2. Demuestre que 1+z + +z n1 = 0.
n
n

Soluci
on. Consideremos p(x) = xn 1 un polinomio en C, observemos
que


2
2 n
n
1 = cos 2 + i sin 2 1 = 0 ,
p(z) = z 1 = cos
+ i sin
n
n
entonces z es raz de p(x), por otro lado
p(x) = (x 1)(xn1 + xn2 + + x + 1) .
Como z no es raz del factor x 1 entonces z debe ser raz del segundo
factor de arriba, es decir,
z n1 + z n2 + + z + 1 = 0,

n 2.

6. Demuestre que (t) = cis t es un homomorfismos de grupos del grupo

aditivo R sobre el grupo multiplicativo T = {z : |z| = 1}.

Lneas y semi-planos en el plano complejo

13

Soluci
on. Es claro que : R T y adem
as
(x + y) = cis(x + y)
= cos(x + y) + i sin(x + y)
= cos x cos y sin x sin y + i sin x cos y + i cos x sin y
= cos x(cos y + i sin y) + i sin x(cos y + i sin y)
= (cos x + i sin y)(cos y + i sin y)
= cis x + cis y = (x)(y) .
Por lo tanto, : (R, +) (T, ) es un homomorfismo.
7. Si z C y Re(z n ) 0 para todo entero positivo n, demuestre que z es
un n
umero real no negativo.
Soluci
on. Sea z = r(cos +i sin ) entonces z n = r n (cos(n)+i sin(n)),
luego
Si Re(z n ) = r n cos(n) 0 cos(n) 0 n N
=0

z = r R+
0 .

5. Lneas y semi-planos en el plano complejo

1. Sea C el crculo {z : |z c| = r}, r > 0. Sea a = c + rcis y ponemos




za
L = z : Im
=0
b
donde b = cis . Hallar condici
on necesaria y suficiente en terminos de
tal que L sea tangente a C en a.
Soluci
on. Tenemos que
C = {z : |z c| = r} = {z : (x c1 )2 + (y c2 )2 = r 2 } .
p
Sea f : R C dada por f (x) = r 2 (x c1 )2 + c2 entonces
x c1
f (x) = p
.
r 2 (x c1 )2

Consideremos a = (a1 , a2 ) = (c1 + r cos , c2 + r sin ) entonces

f (a1 ) =

r cos
cos
1
=
=
,
sin
tan
r 2 r 2 cos2

14

El Sistema de N
umeros Complejos

entonces L = {z = a + tf (a1 ) : t R} lo que implica que b = f (a1 )

por lo tanto cis = tan1 .

6. El plano extendido y la representaci

on esf
erica

2|z z |
1. d(z, z ) =
, z, z C. Probar que
[(1 + |z|2 )(1 + |z |2 )]1/2
d(z, ) =

2
(1 + |z|2 )1/2

Soluci
on. Notemos que
|z z |2
|z|2 2 Re zz + |z |2
=
1 + |z |2
1 + |z |2
entonces
|z z |2
= lm
|z | 1 + |z |2
|z |2
lm

|z|2
2Rezz
+
+1
|z |2
|z |2
=1
1
+1
|z |2

Luego
d(z, ) =
=
=

lm d(z, z )

|z |

|z z |
lm p
1 + |z|2 |z | 1 + |z |2
2
2

p
p

1 + |z|2

2. Para cada uno de los siguientes puntos en C, dar el correspondiente punto

en S: 0, 1 + i, 3 + 2i.
Soluci
on. Consideremos : C S dada por


z + z i(z z) |z|2 1
(z) =
,
,
.
|z|2 + 1 |z|2 + 1 |z|2 + 1
Evaluando obtenemos que las imagenes de los puntos son:
(0) = (0, 0, 1), el polo sur

 

2
2
21
2 2 1
(1 + i) =
,
,
=
, ,
,
2+1 2+1 2+1
3 3 3
 


6
4
13 1
3 2 6
(3 + 2i) =
,
,
=
, ,
.
13 + 1 13 + 1 13 + 1
7 7 7

El plano extendido y la representaci

on esf
erica

15

3. Que subconjunto de S corresponde el eje real e imaginario de C?

Soluci
on. Consideremos A, B S 2 dados por
A = {(x, y, z) S 2 : y 2 + z 2 = 1,

B = {(x, y, z) S 2 : x2 + z 2 = 1,

x = 0} ,
y = 0} .

Entonces,
 (R) =2 B y (iR) = A. En efecto, si z = x R entonces
(z) = x22x
y como
, 0, xx2 1
+1
+1


2x
2
x +1

2

x2 1
x2 + 1

2

4x2
x4 2x2 + 1
+
(x2 + 1)2
(x2 + 1)2

x4 + 2x2 + 1
(x2 + 1)2

(x2 + 1)2
=1
(x2 + 1)2

entonces z B. Analogamente, si z = iy entonces



2y
y2 1
(z) = 0, 2
,
zA
y + 1 y2 + 1
4. Sea un circulo de radio 1 en S 2 . Entonces existe un u
nico plano P en
3
2
R tal que P S = . Recuerde de geometra analtica que
P = {(x, y, z) : x1 + y2 + z3 = l}
donde (1 , 2 , 3 ) es un vector ortogonal a P y l es alg
un n
umero real.
2
2
2
Sabiendo que se asume que 1 + 2 + 3 = 1. Use esta informaci
on demuestre que si contiene el punto N entonces esta proyecci
on sobre C
es una lnea recta. De lo contarrio, se proyecta sobre el crculo en C.
Soluci
on. Veamos el plano tangente de la esfera S 2 en el punto (a, b, c).
Sabemos que el vector (a, b, c) es normal al plano tangente. Luego la
ecuaci
on del plano tangente es:
a(x a) + b(y b) + c(z c) = 0
entonces ax + by + cz = 1 pues a2 + b2 + c2 = 1. Tenemos que el plano
P : ax + by + cz + d = 0

(1)

intersecta la esfera unidad, y asumimos que la distancia desde el origen

al plano es estrictamente menor que 1. Esto es:
d

< 1 d2 < a2 + b2 + c2 = 1 d < 1 .

a2 + b2 + c2

16

El Sistema de N
umeros Complejos

Entonces = {(x, y, z) S 2 : (x, y, z) P}. Sabemos que : C S 2 es

dada por


2x
2y
x2 + y 2 1
(x, y) =
,
,
.
x2 + y 2 + 1 x2 + y 2 + 1 x2 + y 2 + 1
Si este punto est
a tambien sobre P, entonces




 2

2y
x + y2 1
2x
a
+b
+c
+d=0
x2 + y 2 + 1
x2 + y 2 + 1
x2 + y 2 + 1
lo que implica
2ax + 2by + c(x2 + y 2 1) + d(x2 + y 2 + 1) = 0 ,
es decir,
(c + d)(x2 + y 2 ) + 2ax + 2by = c d .

(2)

Ahora bien, si N = (0, 0, 1) P entonces por (1) c + d = 0 y por (2)

2ax + 2by = 2c ax + by = c
y esta es una ecuaci
on de una lnea recta en el plano complejo. Ahora, si
N = (0, 0, 1)
/ P, entonces por (1) c + d 6= 0 y diviendo por c + d en (2)
obtenemos
2a
2b
cd
x+
y =
x2 + y 2 +
c+d
c+d
c+d

2 
2
a
b
a2 + b2 + c2 d2
1 d2
x+
+ y+
=
=
.
c+d
c+d
(c + d)2
(c + d)2
Esto representa un crculo si y s
olo si 1 d2 > 0 d < 1, pero esto es lo
que exactamente supusimos.
5. Sea Z y Z S 2 correspondientes a z y z , respectivamente. Sea W S 2
correspondiente a z + z . Hallar las coordenadas de W en terminos de las
coordenadas de Z y Z .
Soluci
on. Tenemos que

z = x + iy 7 2
(2x, 2y, x2 + y 2 1)

x + y2 + 1

z = a + ib 7

a2

1
(2a, 2b, a2 + b2 1)
+ b2 + 1

Z= 2
(2x, 2y, x2 + y 2 1) = P (x, y)(x1 , y1 , z1 )

x + y2 + 1

Z =

1
(2a, 2b, a2 + b2 1) = P (a, b)(x2 , y2 , z2 )
a2 + b2 + 1

El plano extendido y la representaci

on esf
erica

17

Luego,
W

= P ((x + a), (y + b))(2(x + a), 2(y + b), (x + a)2 + (y + b)2 1)

= P ((x + a), (y + b))(x1 + x2 , y1 + y2 , z1 + z2 + 2(xa + yb) + 1)


1
= P ((x + a), (y + b)) x1 + x2 , y1 + y2 , z1 + z2 + (x1 x2 + y1 y2 ) + 1
2


1
1
(x
=
x
+
x
,
y
+
y
,
z
+
z
+
x
+
y
y
)
+
1
1
2 1
2 1
2
1 2
1 2
2
(z1 + z2 + 12 (x1 x2 + y1 y2 ) + 3)

Captulo 2

Espacios M
etricos y La Topologa de C
1. Definici
on y ejemplos de espacios m
etricos
1. Demuestre que cada uno de los ejemplos de espacios metricos dados en
(1.2)-(1.6) es, de hecho, un espacio metrico. El ejemplo (1.6) es el u
nico
que tiene mayor dificultad. Tambien describa B(x; r) para cada uno de
los ejemplos.
Soluci
on.
(a) X = R o C, d(z, w) = |z w|.
Si z = x + iy, w = a + bi entonces
p
(i) d(z, w) = (x a)2 + (y b)2 0.
(ii) Si d(z, w) = 0 si y s
olo si (x a)2 + (y b)2 = 0 y como los
sumando son no negativos lo u
ltimo es equivalente a x = a y
y = b si y s
olo si z = w.
p
p
(iii) d(z, w) = (x a)2 + (y b)2 = (a x)2 + (b y)2 = d(w, z).
(iv) Usando la desigualdad triangular usual, obtenemos
d(u, z) = |u z| = |u w + w z|
|u w| + |w z| = d(u, w) + d(w, z) .
Observe que
B(w; r) = {z C : (x a)2 + (y b)2 < r 2 } ,
graficamente
r
b

+
b

19

Espacios M
etricos y la Topologa de C

20

(b) Sea (X, d) un espacio metrico y sea Y X entonces (Y, d) es tambien

un espacio metrico.
Basta restringir d : X X R+ al conjunto Y Y , es decir, tomar
d : Y Y R+ y se satisfacen trivialmente las condiciones.
(c) X = C, d(x + iy, a + ib) = |x a| + |y b|
(i) Claramente se tiene que d(z, w) 0.
(ii) d(z, w) = 0 si y s
olo si |x a| + |y b| = como los sumando
son no negativas la u
ltima igualdad equivale a |x a| = 0 y
|y b| = 0 si y s
olo si z = w.
(iii) d(z, w) = |x a| + |y b| = |a x| + |b y| = d(w, z).
(iv) Usando la desigualdad triangular usual en C obtenemos
d(u, z) = |s x| + |r y|
= |s a + a x| + |r b + b y|
|s a| + |a x| + |r b| + |b y|
= (|s a| + |r b|) + (|a x| + |b y|)
= d(u, w) + d(w, z) .
Observe que
B(w; r) = {z C : |x a| + |y b| < r} ,
geometricamente

b+
b

(d) X cualquier conjunto, d(x, y) =

1 si x = y
0 si x 6= y

(i) Como d(x, y) = 0 o 1 entonces d(x, y) 0.

(ii) Por definici
on d(x, y) = 0 x = y.
(iii) Si x 6= y entonces d(x, y) = 1 = d(y, x) y si x = y entonces
d(x, y) = 0 = d(y, x).

Definici
on y ejemplos de espacios m
etricos

21

(iv) Si x 6= y, x 6= z, y 6= z se tiene que

d(x, z) = 1 < 2 = d(x, y) + d(y, z) .
Si x = y, x 6= z, y 6= z se tiene que
d(x, z) = 1 = 0 + 1 = d(x, y) + d(y, z)
Si x = y, x = z, y 6= z se tiene que
d(x, z) = 0 < 0 + 1 = d(x, y) + d(y, z) .
Si x = y = z obtenemos que
d(x, z) = 0 = d(x, y) + d(y, z) .

1/2
n
X
(e) X = Rn , d(x, y) = (xj yj )2
j=1

(i) Como (xj yj )2 0 para todo j = 1, . . . , n implica que

n
X
(xj yj )2 0 lo que equivale a que d(x, y) 0.
j=1

P
(ii) d(x, y) = 0 si y s
olo si (xj yj )2 = 0 como los sumando son
no negativos implica que xj = yj para todo j = 1, . . . , n si y
s
olo si x = y.
(iii) Es claro que d(x, y) = d(y, x)
p
Pn
(iv) Definimos hx, yi =
hx, xi lo cual
j=1 xj yj entonces |x| =
implica que d(x, y) = |x y|. Sabemos que |x + y| |x| + |y| de
donde se deduce la desigualdad triangular.
Si n = 3 el conjunto B(x; r) es geometricamente

2. Cuales de los siguientes subconjuntos de C son abiertos y cuales son

cerrados:
(a) {z : |z| < 1}
(b) El eje real
(c) {z : z n = 1 para alg
un entero n 1}
(d) {z C : z R y 0 z < 1}
(e) {z C : z R y 0 z 1}
Soluci
on.

Espacios M
etricos y la Topologa de C

22

(a) Sea w {z : |z| < 1} entonces existe = 1|w|

2 . Afirmamos que
B(w, ) {z : |z| < 1}, lo cual prueba que el conjunto es abierto.
En efecto, si u B(w; ) se tiene que
|u| |u w| + |w| < + |w| =

1 |w|
1 + |w|
1+1
+ |w| =
<
=1,
2
2
2

entonces u {z : |z| < 1}, lo cual prueba lo afirmado.

(b) Considere X c = {z : Imz 6= 0}. Sea w X c , entonces existe =
1
2 Imw tal que si u B(w; ) y obtenemos que
Im u = Im (u + w w) = Im(u w) + Imw
1
3
|u w| + Imw < Imw + Imw = Imw 6= 0
2
2
esto implica que u X c . Por lo que B(w; ) X c . Por lo tanto, X c
es abierto en C, lo cual implica que X = {eje real} es cerrado en C.
(c) Notemos que si z n = 1 entonces z = ei/n y considere el conjunto
X c = {z : z n 6= 1 , n 1}.
3. Si (x, d) es cualquier espacio metrico demuestre que todo bola abierta es,
en efecto, un conunto abierto. Adem
as, demuestre que toda bola cerrada
es un conjunto cerrado.
Soluci
on. Sea z B(x; r) entonces d(x, z) < r tomando = r d(x, z)
luego B(z; ) B(x; r). En efecto, si y B(z; ) lo cual implica que
d(y, z) < r d(x, z) luego
d(x, y) d(x, z) + d(z, y) < r
lo que implica que y B(x; r). Por lo tanto, B(x; r) es abierta.
Por otro lado, consideremos M = X B[x; r] y sea y M tomando
= d(x, z) r. Luego, B(y; ) M . En efecto, si z B(y, ) entonces
d(y, z) < , luego
d(y, z) < d(x, z) r d(x, y) + d(y, z) r
lo que implica que d(x, y) > r, es decir, y
/ B[x; r] entonces y M .
Luego M es abierto, por lo que B[x; r] es cerrada.
4. Si {Gj : j J} es una colecci
on de conjuntos abiertos en X, J cualquier
conjuntos de ndices, entonces G = {Gj : j J} es abierto.
Soluci
on. Si Gj es abierto para todo j J entonces para todo x Gj

Definici
on y ejemplos de espacios m
etricos

23

existe j > 0 tal que B(x; j ) Gj . Ahora bien, sea x G entonces

un j J entonces
x Gj para alg
[
B(x; j ) Gj
Gj = G .
j

Por lo tanto, G es abierto.

5. Sea (X, d) un espacio metrico. Entonces:
(a) Los conjuntos X y son cerrados.
(b) Si F1 , , Fn son conjuntos cerrados en X entonces tambien lo es
Sn
k=1 Fk .
(c) {Fj : j J} es cualquier colecci
on de conjuntos cerrados en X, J
cualquier conjunto de ndices, entonces F = {Fj : j J} es cerrado.
Soluci
on.
(a) Como X c = es abierto lo que implica que X es cerrado. Similarmente, como c = X es abierto, lo que implica que es cerrado.
n
\
(b) Si Fi son cerrados entonces Fic son abiertos por lo que
Fic es abierto
i=1

y como

n
\

Fic

i=1

n
[

i=1

Fi

!c

se tiene que Fi es cerrado.

S
(c) Si Fjc son abiertos entonces Fjc es abierto y como
\ c
[
Fjc =
Fj
se sigue que

Fj es cerrado.

6. Pruebe que si G X es abierto si y s

olo si X G es cerrado.
Soluci
on. Notemos que
(X G)c = (X Gc )c = X c G = G = G .
Entonces, X G es cerrado si y s
olo si (X G)c es abierto si y s
olo si G
es abierto.
7. Demuestre que (C , d) donde
d(z, z ) = p

es un espacio metrico.

2|z z |

(1 + |z|2 )(1 + |z |2 )

Espacios M
etricos y la Topologa de C

24

Soluci
on. Considere k(x1 , x2 , x3 )k = (x21 + x22 + x23 )1/2 la norma euclideana en R3 . Sean z = (x1 , x2 , x3 ), z = (x1 , x2 , x3 ) S2 donde
2x
2y
kzk2 1
,
x
=
,
x
=
2
3
kzk2 + |
kzk2 + 1
kzk2 + 1

2x
2y
kz k2 1
, x2 = 2
, x3 = 2
x1 = 2
kz k + |
kz k + 1
kz k + 1
x1 =

Luego,

Como kzk es norma satisface la desigualdad triangular:

kx + yk kxk + kyk
8. Sea (X, d) un espacio metrico e Y X. Supongamos G X es abierto.
Demuestre que G Y es abierto en (Y, d). Inversamente, demuestre que
si G1 Y es abierto en (Y, d), existe un conjunto abierto G X tal que
G1 = G Y .
Soluci
on. Sea a G Y entonces a G y a Y . Como G es abierto
en X existe > 0 tal que B(a; ) G. Consideremos M = B(a; ) Y
1
nf d(a, Y ). Entonces, B(a; ) G Y . En efecy tomemos =
2 yY
to, si x B(a; ) entonces d(x, a) < = 12 nf d(a, Y ) , tomando
yY

z Y B(a; ) tenemos que

1
1

nf d(a, Y ) d(a, z) < .

2 yY
2
2

Luego, d(x, a) < x B(a; ) G. Como d(x, a) <

1
nf
2 yY

d(a, Y )

implica que x Y . Se concluye que x G Y , entonces B(a; ) G Y .

Por lo tanto, G Y es abierto en Y .
Por otro lado, si G1 Y es abierto entonces IntG1 = G1 si y s
olo si
G1 = IntG1 Y si y s
olo si G1 = G Y , donde G = IntG1 abierto en X,
pues IntG = Int(IntG1 ) = IntG1 = G.
9. Sean (X, d) un espacio metrico y Y X. Supongase que G X es cerrado; demuestre que G Y es cerradop en (Y, d). Inversamente, demuestre
que si G1 Y es cerrado en (Y, d), existe un conjunto cerrado G X tal
que G1 = G Y .
Soluci
on. Si G Y es cerrado entonces X G es abierto lo que implica
que (X G) Y es abierto en Y
10. Sean A y B subconjuntos de un espacio metrico (X, d). Entonces:
(a) A es abierto si y s
olo si A = int A;

Conexidad

25

(b) B es cerrrado si y s
olo si A = A;
(c) int A = X (X A), A = X int (X A), A = A int A;
(d) (A B) = A B;
(e) x0 int A si y s
olo si existe un > 0 tal que B(x0 ; ) A;
(f) x0 A si y s
olo si para todo > 0, B(x0 ; ) A 6= .
Soluci
on.
(a) Si A es abierto entonces para todo a A existe > 0 tal que B(a; )
A. Como B(a; ) es abierto, si a A entonces B(a; ) int A lo que
implica que a int A. Luego, A int A. Si a int A implica que
[
a {G | G abierto, G A} .

En particular, a B(a; ) A. Luego, A = int A.

Recprocamente, si A = int A, si a A si y s
olo si a int A lo
cual implica que G = B(a; ) tal que a G con G A. Luego A es
abierto.
(b) Si B es cerrado si y s
olo si X B es abierto si y s
olo si para todo
a X B, existe r > 0 tal que B(a; r) X B si y s
olo si para
todo a X B, existe una bola B(a; r) que no contiene puntos de
B si y s
olo si para todo a X B, a
/ int (B) si y s
olo si para todo
a B, a B B si y s
olo si B = B.
(c) Sea a int (A) si y s
olo si existe G abierto tal que a G A lo
que implica que a
/ X A (X A), esto es, a X (X A).
Luego, int A X (X A). Ahora bien, sea a X (X A) a
/
1
(X A) a
/ (X A). Tomando = 2 nf d(a, x) obtenemos
xXA

que a B(a; ) A a int (A). Por lo tanto, int (A) = X

(X A). Sea a A

2. Conexidad
1. El proposito de este ejercicio es demostrar que in subconjunto conexo de
R es un intervalo.
(a) Demuestre que un conjunto A R es un intervalo si y s
olo si para
cualesquiera dos puntos a, b A con a < b, el intervalo [a, b] A.
(b) Use parte (a) para demostrar que si un conjunto A R es conexo
entonces A es un intervalo.
Soluci
on.
(a) Supongamos que A R no es un intervalo entonces existe c R con
a < c < b y a, b A tal que c
/ A. Luego, [a, c] * A, lo cual es una
contradicci
on. Recprocamente, sea A R un intervalo con a = nf A

26

El Sistema de N
umeros Complejos

y b = sup A entonces tenemos que si a < c < b si y s

olo si c A.
Ahora bien, si x, y A con x < y si y s
olo si a < x < y < b. Luego,
para todo z con x < z < y implica que a < z < y z A. Por lo
tanto, [x, y] A.
(b) Supongamos que A no es un intervalo. Sean a = nf A, b = sup A
entonces existe c R con a < c < b tal que c
/ A. Consideremos
X = {x A : x < c}
Y

= {x A : x > c}

entonces A = X Y con X, Y abiertos en A no vacos, lo cual contradice la convexidad de A.

2. Demuestre que los conjuntos S y T en la demostraci
on del Teorema 2.3
son abiertos.
Soluci
on. Considere los conjuntos
S = {s [0, 1] : sb + (1 s)a A}
T

= {t [0, 1] : tb + (1 t)a B}

con a A, b B, A B 6= y A, B abiertos de C. Ahora bien, considere

la funci
on : [0, 1] C definida por
(t) = tb + (1 t)a
entonces es continua y como A es abierto entonces 1 (A) es abierto,
esto es,
1 (A) = {t [0, 1] : (t) A} = S
es un conjunto abierto. Lo mismo ocurre con el conjunto T .
3. Cu
ales de los siguientes conjuntos X de C son conexos? Si X no es
conexo, cu
ales son sus componentes?
(a) X = {z : |z| 1} {z : |z 2| < 1}.


(b) X = [0, 1) 1 + n1 : n 1 .
(c) X = C (A B), donde A = [0, ) y B = {z = rcis : r = , 0
}?
Soluci
on.
(a) Geometricamente el conjunto X es

Conexidad

27

Sean a, b X entonces considere el camino poligonal : [0, 1] X

dado por

0 t 12
2t + (1 2t)a
(t) =

2t 1 + (2 2t) 12 t 1

que une el punto a con el punto b pasando por el punto (1, 0). Por lo
tanto, X es conexo.

(b) Observe que 2

/ X y podemos considerar los conjuntos
A = {x X : x >
B = {x X : x <

2}
2}

entonces X = A B con A y B abiertos no vacos en X. Luego, X

no es conexo. Las componentes conexas de X son [0, 1) y para cada
n N {1 + n1 }.
(c) Geometricamente el conjunto X son los puntos en el plano que no
est
an de color rojo
y

Sean a, b C tal que a C+ = {z : Im z > 0} y b C = {z :

Im z0}. Entonces, no existe un camino poligonal que una a y b y este
enteramente contenido en X, pues si existiera, en virtud del teorema
del valor intermedio existira c (0, 1) tal que (c) X, lo cual es

28

El Sistema de N
umeros Complejos

una contradicci
on. Por lo tanto, X no es conexo y X posee infinitas
componentes conexas.
4. Pruebe la siguiente generalizaci
on del Lema 2.6. Si {Dj : j J} es una
colecci
on de subconjuntos conexos de X y si para cada j y k en J se tiene
S
que Dj Dk 6= entonces D = {Dj : j J} es conexo.
Soluci
on. Supongamos que D = A B para ciertos conjuntos A, B
abietos no vacos tal que A B = . Como A 6= existe k J tal que
Dk A, del mismo modo como B 6= existe J tal que D B y
como A B = necesariamente k 6= entonces
Dk D A B =
lo cual contradice el hecho que Dk D 6= . Por lo tanto, D es conexo.
5. Demuestre que si F X es cerrado conexo entonces para todo par de
puntos a, b F y cada > 0 existen puntos z0 , z1 , . . . , zn F con z0 = a,
zn = b y d(zk1 , zk ) < para 1 k n. La hip
otesis que F es cerrado
es necesaria? Si F es un conjunto que satisface esta propiedad entonces
F no es necesariamente conexo, igual si F es cerrado, De un ejemplo que
ilustre esto.
Soluci
on. Sean X = R y F = (a, b) con a, b R entonces F satisface la propiedad sin ser cerrado. Adem
as, G = (a, b) {c} con c un punto
interior de F satisface la propiedad ya que G es denso en F sin ser G
conexo. Ahora probaremos que la propiedad es cierta

3. Sucesiones y completaci
on
1. Pruebe la Proposici
on 3.4.
Soluci
on.
(a) Un conjunto es cerrado si y s
olo si este contiene todos sus puntos
lmites.
Si X es un conjunto cerrado entonces para cada sucesi
on {xn }
n=1
X con lm xn = x implica que x X, luego X posee sus puntos
lmites. Recprocamente, sea {xn }
on tal que
n=1 X una sucesi
lm xn = x. Como X posee todos sus puntos lmites se tiene que
x X, entonces X es cerrado.
(b) Si A X entonces A = A {x : x es un punto lmite de A}.
Observe que como A = A entonces A es cerrado, entonces A posee

Sucesiones y completaci
on

29

todos sus puntos lmites lo que implica que

{x : x es un punto lmite de A} A
y como A A se sigue que A {x : x es un punto lmite de A} A.
Ahora bien, sea x A entonces existe una sucesi
on {xn } A tal
que lm xn = x y como A es cerrado implica que x A ESTA WEA
ESTA MALA
2. Finalice los detalles de la demostraci
on de la Proposici
on 3.8.
Soluci
on.
3.8 Proposici
on. Sea (X, d) un espacio metrico completo y sea Y X.
Entonces (Y, d) es un espacio metrico completo ssi Y es cerrado en X.
Demostraci
on. Sea x0 un punto lmite de Y entonces existe {yn } Y
una sucesi
on tal que lm yn = x0 . Como {yn } es convergente implica que
on de Cauchy
{yn } es una sucesi

Captulo 3

Propiedades Elementales y Ejemplos de Funciones

Analticas
1. Series de potencias
1. Pruebe la Proposici
on 1.5.
Soluci
on. Proposici
on. Sean
vergentes y ponemos

cn =

an y

n
X

bn dos series absolutamente con-

ak bnk .

k=0

Entonces

cn es absolutamente convergente con suma

X  X 
an
bn .
Pn
Pn
Pn
Demostraci
on. Sean An =
k=0 ak , Bn =
k=0 bk , Cn =
k=0 ck ,
P
P
P
A = an , B = bn y C = cn . Consideremos n = Bn B entonces
cn = a0 b0 + (a0 b1 + a1 b0 ) + + (a0 bn + a1 bn1 + + an b0 )
= a0 (b0 + b1 + + bn ) + a1 (b0 + + bn1 ) + + an b0
= a0 Bn + a1 Bn1 + + an B0
= a0 (B + n ) + a1 (B + n1 ) + + an (B + 0 )
= An B + a0 n + a1 n1 + + an 0 .
P
Sea n = a0 n + a1 n1 + + an 0 . Como an converge absolutamente
P
tomamos =
k=0 |an |. Dado > 0 como n 0 cuando n existe
N N tal que |n | < para todo n N , luego
|n | = |an 0 + + N anN | + |N +1 anN 1 + + n a0 |
nN 1
X
|0 an + + N anN | +
|ak | .

k=0

Fijando N y haciendo n , como ak 0 cuando k 0 obtenemos

que lm n = 0 . Entonces,
n

c = lm = lm (An B + n ) = AB .
ncn

31

32

Propiedades Elementales y Ejemplos de Funciones Analticas

2. Dar los detalles de la demostraci

on de la Proposici
on 1.6.
P
P
bn (z a)n series de poSoluci
on. Proposici
on. Sea
an (z a)n y
tencia con radio de convergencia r > 0. Sea
cn =

n
X

ak bnk ;

k=0

P
P
entonces ambas series de potencia (an + bn )(z a)n y
cn (z a)n
tienen radio de convergencia r, y
hX
i
X
X
(an + bn )(z a)n =
an (z a)n +
bn (z a)n
hX
i hX
i
X
an (z a)n
cn (z a)n =
bn (z a)n
para |z a| < r.

Demostraci
on. Si 0 < s < r entonces para |z| s, se tieme
X
X
X
|an + bn ||z|n
|an |sn +
|bn |sn <
X
 X

X
|cn ||z|n
|an |sn
|bn |sn <

Por el problema anterior para |z a| < r

 X

X
X
bn (z a)n ,
cn (z a)n =
an (z a)n
con lo que se prueba lo pedido.

3. Pruebe que lm sup(an + bn ) lm sup an + lm sup bn y lm inf(an + bn )

umeros reales.
lm inf an + lm inf bn para {an } y {bn } sucesiones de n
Soluci
on. Consideremos An = {ak | k n}, Bn = {bk | k n} y
Cn = {ak + bk | k n}. Claramente Cn An + Bn {ai + bj | i, j n}.
Entonces, sup cn sup(An + Bn ) sup An + sup Bn , luego
lm sup(an + bn ) =
=

lm [sup{an + bn , an+1 + bn+1 , . . .}]

lm [sup cn ]

lm [sup(An + Bn )]

lm [sup An ] + lm [sup Bn ]

= lm sup an + lm sup bn .
De manera similar, se tiene que nf Cn nf(An + Bn ) = nf An +nf Bn ,
de donde se sigue la otra desigualdad.

Series de potencia

33

4. Demuestre que lm inf an lm sup an para cualquier sucesi

on en R.
Soluci
on. Sea A = {an | n N} R entonces sabemos que nf A
sup A. Entonces
lm inf an =
=

lm [nf{an , an+1 , . . .}]

lm nf A

lm sup A

lm [sup{an , an+1 , . . .}] = lm sup an .

on convergente en R y a = lm an , demuestre que

5. Si {an } es una sucesi
a = lm inf an = lm sup an .
Soluci
on. Como {an } es una sucesi
on convergente ella es acotada, por
lo que necesariamente existe i, j N tales que
nf{an , an+1 , . . .} = an+i
sup{an , an+1 , . . .} = an+j
por lo que
lm inf an = lm nf{an , an+1 , . . .} = lm an+i = a .
n

De la misma manera se tiene que

lm sup an = lm sup{an , an+1 , . . .} = lm an+j = a ,
n

como queramos probar.

6. Hallar el radio de convergencia para cada una de las siguientes series de
potencia:
(a)

n=0

an z , a C; (b)

n=0

n2 n

a z , a C; (c)

n=0

n n

k z ,k

un entero 6= 0; (d)

Soluci
on.
(a) Tenemos que


 n 
n
 an 
 a 



 = lm |a| = 1 .
R = lm 
=
l
m
n an+1 
n  an+1 
n |a|n+1
|a|

(b) Observe que

2
 an2 
si |a| < 1,
|a|n
1


R = lm  (n+1)2  = lm
= lm
=
1 si |a| = 1,
n  a
 n |a|n2 +2n+1 n |a|2n+1

0 si |a| > 1.

n=0

z n! .

34

Propiedades Elementales y Ejemplos de Funciones Analticas

(c) Se tiene que



 n 
 an 
 k 
1
1


= lm  n+1  = lm
R = lm 
=
.

n an+1
n k
n |k|
|k|

p
(d) Por el criterio de Cauchy o test de la raz, se sabe que si n |an | < 1
P
para todo n N suficientemente grande entonces
an es absolutamente convergente para cualquier sucesi
on de n
umeros reales an .
Notemos que en nuestro caso tenemos
q
n!
n
|z|n! = |z| n = |z|(n1)! < 1 |z| < 1 .
Entonces, el radio de convergencia es R = 1.

7. Demuestre que el radio de convergencia de la serie de potencia

X
(1)n

z n(n+1)

n=1

(3)

es 1, y discuta la convergencia para z = 1, 1 y i.

P
n
Soluci
on. Sabemos que el radio de convergencia de
n=0 z es R = 1.
(1)n n(n+1)
Sean an = n z
y bn = z n entonces


 
 (1)n z n(n+1) 
 an 
|z|n+1


=
l
m
lm   = lm 
=0

n bn
n 
 n n
nz n

siempre que |z| < 1. Luego an /bn es una sucesi

on acotada, entonces existe
M > 0 tal que |an /bn | M lo que implica que |an | M |bn |. En virtud
P
P
bn converge, por lo que
del criterio de comparacion
an converge si
el radio de convergia de (3) es R = 1.
P
(1)n
Por otro lado, si z = 1 entonces
es convergente por el criterio
n=1
n
de Leibniz tambien si z = 1 la serie converge por el mismo argumento.
Ahora si z = i, sabemos que si n es par entonces in = 1. Como n(n + 1)
es un n
umero par para todo n N se sigue que

X
(1)n

n=1

in(n+1) = i2 +

i6 i12 i20 i30 i42

+

2
3
4
5
6

1 1 1 1 1
+ + .
2 3 4 5 6
1
1
Consideremos las sucesiones an =
y bn =
entonces ambas
2n 1
2n
sucesiones son decrecientes convergentes a cero luego por el criterio de
P
P
Leibniz (1)n+1 an y (1)n bn son convergentes y como
= 1

X
(1)n

n=1

n(n+1)

n+1

(1)

an +

n=1

obtenmos que en z = i la serie es convergente.

(1)n bn

n=1

Funciones analticas

35

2. Funciones analticas
1. Demuestre que f (z) = |z|2 = x2 + y 2 tiene derivada solo en el origen.
Soluci
on. Si f (z) = u(z) + iv(z) entonces u(z) = x2 + y 2 y v(z) = 0
luego las derivadas parciales son
u
u
v
v
= 2x,
= 2y,
= 0,
=0.
x
y
x
y
por lo que f no satisface las ecuaciones de Cauchy-Riemann salvo en el
origen en donde
f (z) f (0)
x2 + y 2
(x2 + y 2 )(x iy)
= lm
= lm
= lm z = 0 .
z0
z0 x + iy
z0
z0
z
x2 + y 2
Por lo tanto, f tiene derivada solo en el origen.
2. Pruebe que si bn , an son reales positivos y 0 < b = lm bn , a = lm sup an
entonces ab = lm sup(an bn ). Esto sigue siendo verdadero si el requesito
de positividad es sacado?
lm

Soluci
on. Dado > 0 existe n0 N tal que si n > n0 implica que

|bn b| < . Ahora, como a = lm sup an entonces existe una subsucesi

on {ank } tal que ank a, esto es existe m0 N tal que si n > m0

entonces |ank a| < .

Captulo 4

Integraci
on Compleja
1. Integrales Riemann-Stieltjes
6. Demuestre que si : [a, b] C es una funci
on Lipschitz entonces es de
variaci
on acotada.
on de [a, b]
Soluci
on. Sea P = {a = x0 , x1 , . . . , xn = b} una partici
entonces
V (, P ) =

n
X

|(xk ) (xk1 )|

k=1
n
X

= k

k=1

n
X
k=1

k|xk xk1 |

|xk xk1 | = k(b a) .

Entonces, es de variaci
on acotada.
9. Defina : [0, 2] C por (t) = exp(int)
un entero (poZ donde n es alg
1
sitivo, negativo o cero). Demuestre que
dz = 2in.
z

Soluci
on. Tenemos que
Z
Z 2
Z 2
dz
int
int
=
e
ine dt = in
dt = 2in .
z
0
0

10. Defina (t) = eit para 0 t 2 y halle

Soluci
on. Se tiene que
Z
Z 2
Z
z n dz =
eint ieit dt = i

z n para todo entero n.

eit(n+1) dt

(
)2

eit(n+1)

si n 6= 1
si n 6= 1
i i(n + 1)
0
0
=
=

2i si n = 1

2i
si n = 1
37

38

Integraci
on Compleja

12. Sea I(r) =

eiz
dz donde : [0, ] C definido por (t) = reit . Dez

muestre que lm I(r) = 0.

r

Soluci
on. Notemos que



Z iz  Z irei

 e
 
e

i
|I(r)| = 
dz  = 

re
id

i

z

  0 re

Z
Z

irei

|e
|d =
er sen d < .
R
0
0

La u
ltima desigualdad se debe a la desigualdad de Jordan. Se sigue que
lm I(r) = 0.

2. Representaci
on en series de potencias de funciones analticas
7. Use los resultados de esta secci
on para evaluar las siguientes integrales:
Z iz
e
dz,
(t) = eit ,
0 t 2;
(a)
z2

Z
dz
(b)
,
(t) = a + reit ,
0 t 2;
za

Z
sen z
(c)
dz,
(t) = eit ,
0 t 2;
z3

Z
log z
dz,
(t) = 1 + 12 eit ,
0 t 2 y n 0 .
(d)
zn

Soluci
on.
(a) Sea f (z) = eiz entonces por la f
ormula de Cauchy
Z
Z iz
1
f (z)
e
f (0) =
dz
dz = 2if (0) = 2i i = 2 .
2
2i
z
z2

(b) Sea f (z) = 1 entonces por la f

ormula de Cauchy se tiene
Z
Z
dz
f (z)
=
dz = 2if (a) = 2i .
za
za

(c) Sea f (z) = sen z entonces f (z) = sen z, f (0) = 0 y por la f

ormula
de Cauchy obtenemos
Z
Z
sen z
f (z)
2i
dz =
dz =
f (0) = 0 .
3
3
z
z
2!

Representaci
on en series de potencias de funciones analticas

39

(d) Observe que log z es analtica en B(1; 34 ) y z n es analtica tambien

ah. Adem
as, se tiene que (0) = (2) luego es una curva cerrada
y rectificable. Por lo tanto,
Z
log z
dz = 0 .
zn

9. Use Zel Corolario 2.13 para evaluar las siguientes integrales:

ez ez
donde n es un entero positivo y (t) = eit , 0 t 2;
(a)
zn

Z
dz

n donde n es un entero positivo y (t) = 12 +eit , 0 t 2;
(b)
z 12

Z
dz
(c)
donde (t) = 2eit , 0 t 2;
2
z +1

Z
sen z
(d)
dz donde (t) = eit, 0 t 2;
z

Z
z 1/m
(e)
donde (t) = 1 + 12 eit , 0 t 2.
(z 1)m

Soluci
on.
(a) Considere f (z) = ez ez entonces f (z) = ez + ez y se deduce que
f (n1) (z) = ez + (1)n+1 ez , entonces
Z
Z z
f (z)
e ez
2if (n1) (0)
=
dz
=
dz
(n 1)!
zn
zn

Captulo 5

Singularidades
.2 Residuos
1. Calcule las siguientes integrales:

(a)

x2 dx
x4 + x2 + 1

cos 2d
donde a2 < 1 (d)
1 2a cos + a2

(b)

(c)

cos x 1
dx
x2

d
donde a > 1
(a + cos )2

Soluci
on.
(a) Observe que
x4 + x2 + 1 = x4 + 2x2 + 1 x2
= (x2 + 1)2 x2

= (x2 + x + 1)(x2 x + 1)

entonces las races de x4 + x2 + 1 son a0 = 12 (1 + 3i), a1 = 12 (1 +

3i), a2 = 12 (1 + 3i) y a3 = 12 (1 3i). Considere el camino dado

por la siguiente figura

a0
b

a1

0
R
R
es decir, = [R, R] {Rei : 0 } con R > |a0 |. Considere
f (z) =

z2
.
z4 + z2 + 1

Por el Teorema de los Residuos

Z
1
f (z)dz = Res (f, a0 ) + Res (f, a2 )
2i

41

42

Singularidades

en donde
z2
za0
za0 (z a1 )(z a2 )(z z3 )

a20
1 + i 3

=
=
(a0 a1 )(a0 a2 )(a0 a3 )
4i 3

1+i 3
. Por
y de manera similar Res (f, a2 ) = lm (z a2 )f (z) =
za2
4i 3
otro lado, note que
Z R
Z 2
Z
x2 dx
R2 ei iRei
f (z)dz =
+
d = I1 + I2
4
2
R4 e4i + R2 e2i + 1
R x + x + 1
0
Res (f, a0 ) =

lm (z a0 )f (z) = lm

en donde
Z

I1 =

= 2

R
Z R
0

y
Z

x2
dx
x4 + x2 + 1
x2
R
dx 2
x4 + x2 + 1

x2
dx .
x4 + x2 + 1

R3
R3
R
d

0 .
4
4i
2
2i
4
2
+ R e + 1|
R R 1
0 |R e
Z
x2 dx
i
= .
Por lo tanto,
4
2
x +x +1
2
0
eiz 1
(b) Considere el funci
on f (z) =
que tiene un polo simple en z = 0.
z2
Sean 0 < r < R y la curva dada por la figura
|I2 |

Por el Teorema de Cauchy

Z
f (z)dz = 0 .

entonces tenemos
Z R ix
Z iRei
e 1
e
1
0 =
dx +
d
2
2
2i
x
R e
r
0
Z r ix
Z 0 irei
e 1
(e
1)
+
dx +
irei d
2
2
2i
x
r e
R

= I1 + I2 + I3 + I4 .

Residuos

43

Observamos que
Z

I1 + I3 =

= 2

R
r

eix 1
dx +
x2
R

eix 1
dx
x2
r
Z
cos x 1
cos x 1
R
dx 2
dx
r0
x2
x2
0

Adem
as,
Z

Z R sen
i
|eiRe 1|R
e
+1
|I2 |
d =
d
2
R
R
0
0



1
R

+
0 .
2
R
R

La u
ltima desigualdad se debe al Lema de Jordan. Finalmente, tenemos que
Z 0
irei f (rei )d = Res (f, 0) = i(i) = .
lm I4 = lm
r0

r0

ya que el desarrollo en serie de potencias de f es

f (z) =

cos x 1
dx = .
2
x
2
0
1
entonces z = y tenemos que
z

Por lo tanto,
(c) Sea z = ei

i
i
i
+ + z + .
z 2 3!

cos 2
1 2a cos + a2

=
=

(z 2 + z 2 )/2
1 2a (z+z)
+ a2
2

1
2

z2 +

1a z+

z4 + 1
2z 2
2
z a(z + 1) + a2 z
z
z4 + 1
2(z 2 az(z 2 + 1) + a2 z 2 )

1
z
2
1
z +

a2

z4 + 1
2z(az 2 + (a2 + 1)z a)

Entonces,
Z

cos 2
d =
1 2a cos + a2
=

Z
1 2
cos 2
d
2 0 1 2a cos + a2
Z
1
z4 + 1
dz .
4i
z 2 (az 2 + (a2 + 1)z a)
|z|=1

44

Singularidades

Las races del polinomio az 2 + (a2 + 1)z a son

p
(a2 + 1) (a2 + 1)2 4a2
z =
2a
p
2
(a + 1) (a2 1)2
=
2a
2
(a + 1) (1 a2 )
1
=
= .
2a
a

Esta raz de multiplicidad 2 no pertenece a D, pues a2 < 1. Ahora

z4 + 1
bien, considere g(z) =
entonces su derivada es
az 2 + (a2 + 1)z a
g (z) =

4z 3 (az 2 + (a2 + 1)z a) (z 4 + 1)(2az + a2 + 1)

(az 2 + (a2 + 1)z a)2

entonces

Res (f, 0) = lm g (z) =

z0

1 a2
.
a2

Por el Teorema de los Residuos

Z
1
z4 + 1
1
i(1 + a2 )
I=
dz
=
Res
(f,
0)
=
.
4i
z 2 (az 2 + (a2 + 1)z a)
4i
4a2
|z|=1

1
luego
z




2  2
2
z+z 2
1
1
z + 2az + 1
2
(a + cos ) = a +
= a+
z+
=
.
2
2
z
2z
(d) Sea z = ei entonces z =

Entonces,
I

=
=

Z
d
1 2
d
=
2
(a
+
cos
)
2
(a
+
cos )2
0
0
2
Z 
1
2z
dz
2
z 2 + 2az + 1
iz

2
i

|z|=1

z
dz .
(z 2 + 2az + 1)2

|z|=1

Notemos que las races de z 2 + 2az + 1 = 0 son

p
2a 4a2 4
z=
= a a2 1 ,
2

2
con = a + a 1 D y = a a2 1
/ D.Ahora bien,
z
z
2

sean f (z) = (z)2 (z)2 y g(z) = (z ) f (z) = (z)

2 con g (z) =
(z)2 2z(z)
(z)4

z
.
(z)3

Res (f, ) =

Por lo que,

lm g (z) =

a
=
.
3
2
( )
4(a + 1)3/2

Residuos

45

Por lo tanto,
I =

2
i

f (z)dz =

|z|=1

= 4

4(a2

2
2i Res (f, )
i

a
a
= 2
.
3/2
+ 1)
(a + 1)3/2

2. Verifique las siguientes ecuaciones:

(a)

dx

= 3 , a >0;
2
2
2
(x + a )
4a

(b)

(c)

(d)

cos ax
(a +
dx =
2
2
(1 + x )
4

(e)

(g)

(h)

si a > 0 ;

=
si a > 0
1 ,
a + sen2
2[a(a + 1)] 2

log x

dx = ;
2
2
(1 + x )
4

Z2

(log x)3
dx = 0
1 + x2

1)ea

0
Z/2

eax
1+

ex

(f )

dx

= ;
2
1+x
2

si 0 < a < 1 ;
sen a

dx =

log sen 2d = 4

Z
0

log sen d = 4 log 2 .

Soluci
on.
(a) Las races de x2 + a2 = 0 son = ia y = ia. Sean f (z) =
1
y la curva dada por la siguiente figura
2
(z + a2 )2

ia

0
R
R
i
es decir, = [R, R] {e : 0 } con R > a. Por el Teorema
de los Residuos
Z
f (z)dz = 2iRes (f, ) .

Observe que
Z
Z
f (z)dz =

dx
+
2
(x + a2 )2

iRei
d .
(R2 e2i + a2 )2

46

Singularidades

Tenemos que


Z

i


iRe


|I2 | = 
d

2 2i
2 2
 (R e + a )

0
Z
R
R
R

d
0 .
2
2i
2
2
2
2 )2
|R
e
+
a
|
(R

a
0

Ahora bien, f (z) = (z )2 (z )2 y considere la aplicaci

on
1
2
g(z) = (z ) f (z) = (z)2 entonces
g (z) =
lo que implica que

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

Res (f, ) = lm g (z) =

z

Por lo tanto,
Z
0

(x2

2
1
=
.
3
( )
4ia3

dx
2i
Res (f, ) = 3 .
=
2
2
+a )
2
4a

(b) Considere la funci

on logaritmo : C en la regi
on


= z C : z 6= 0 y 2 < arg z < 3
.
2

Observe que si x > 0 entonces (x) = log x y que si x < 0 entonces

(x) = log |x| + i. Sea la curva dada por la figura
Por el Teorema de los Residuos
Z
(z)3
dz = 2iRes (f, i) .
1 + z2

Adem
as,
Z
Z
Z r
(z)3
(Rei )3
(x)3
i
dz
=

iRe
d
+
dx
2 2i
2
1 + z2
0 1+R e
R 1 + x

(rei )3
irei d +
2 e2i
1
+
r

= I1 + I2 + I3 + I4 .
+

(x)3
dx
1 + x2

Note que
I2 + I3

Z R
(log |x| + i)3
log x3
=
dx
+
dx
2
1 + x2
R
r 1+x
Z R
Z R
log x3
log x2
= 2
dx
+
3i
dx
2
2
r 1+x
r 1+x
Z R
Z R
log x
dx
3
3
dx i
.
2
2
r 1+x
r 1+x
r

Residuos

47

Cuando r 0 y R se sabe que

Z
Z
log x
dx

dx = 0 y
= .
2
2
1+x
1+x
2
0
0

Faltara determinar el valor de una de las integrales, afirmamos que

Z
3
log x2
dx
=
.
1 + x2
8
0
Se sigue que

I2 + I3 2
r0

FALTA
(c) Sean f (z) =

log x3
1
dx i 4 .
1 + x2
4

eiaz
y el camino dado por la figura
(1 + z 2 )2

con R > 1. Entonces

Z
Z R
Z
i
eiaRe
cos ax + i sen ax
i
f (z)dz =
iRe d +
dx
2
2i
(1 + x2 )2
0 1+R e
R

Por el Teorema de los Residuos

Z
f (z)dz = 2iRes (f, i) .

Sea g(z) = (z i)2 f (z) =

g (z) =

eiaz
entonces
(z + i)2

iaeiaz (z + i)2 eiaz 2(z + i)

ia(z + i) 2
= eiaz
.
(z + i)4
(z + i)3

Luego,
Res (f, i) = ea
Por lo tanto,

2a 2
(a + 1)ea
=
.
(2i)3
4i

f (z)dz =

(a + 1)ea
.
2

Notemos que
Z

Z aR sen
 eiaRei iRei 
e
R


d

d


2
2i
2
2
2
 0 (1 + R e )

0 (R 1)

0 .
2
(R 1)2

(4)

48

Singularidades

Hemos usado la desigualdad de Jordan

Z

eaR sen d < .

R
0
Tomando parte real a ambos lados de (4) y haciendo R obtenemos
Z
(a + 1)ea
cos ax
dx
=
.
(1 + x2 )2
4
0
(d) Sea z = ei entonces z =

1
z

luego

!

1 2
i ei 2
z

e
z
a + sen2 = a +
=a+
2i
2i


1 z 1 2 4az z 2 + 2z 1
= a
=
4
z
4z


z 2 + (2 + 4a)z 1
.
4z

Luego,
Z

/2

d
a + sen2

Z
4z
1
dz
=
2
4
z + (2 + 4a)z 1 iz

Z
dz
= i
.
2
z (2 + 4a)z + 1

Las races de z 2 (2 + 4a)z + 1 son

p
(2 + 4a) 4 + 16a + 16a2 4
z=
= 1 + 2a 2 a(a + 1)
2
p
y es claro que = 1 + 2a 2 a(a + 1) satisface || < 1. Por el
Teorema de los Residuos
Z
dz
= 2iRes (f, ) ,
2
z (2 + 4a)z + 1

donde
Res (f, ) =
Por lo tanto,
Z

/2
0

1
1
= p
.

4 a(a + 1)

1
= i(2i) p
=
.
2
a + sen
2[a(a + 1)]1/2
4 a(a + 1)

(e) Sean 0 < < 1 < R y la curva dada por la figura

Residuos

49

Sea log z el brazo del logaritmo que no posee el eje imaginario negativo. Entonces,
Z
Z
Z
f (z)dz =
f (Rei )iRei d +
f (x)dx
0

f (ei )iei d +

f (x)dx .

Por el Teorema de los Residuos

Z
f (z)dz = 2iRes (f, i) .

Sea g(z) = (z i)2 f (z) =

Res (f, i) =
Por lo tanto,
Z

f (z)dz = 2i

Notemos que
Z R

f (x)dx +
f (x)dx

entonces g (z) =

z+i2 log z(z+i)

(z+i)4

luego

2i 2i(log |i| + i 2 )
1 i 2
=
.
i(2i)3
4i

log z
(z+i)2


(i 2 1)

=
i 1 .
4i
2 2
Z

log x
dx
(1 + x2 )2

Z R
log x
dx
=
2
dx
+
i
2
2
(1 + x )
(1 + x2 )2
Z
Z
log x
dx
R
2
dx + i
.
2
2
0
(1 + x )
(1 + x2 )2
0
0

Adem
as,
Z

Z


i
i


f (Re )iRe d 

0

| log R + i| R
d
(R2 1)2
0
R log R
R
R
+
0 .
2
2
(R 1)
2(R2 1)2

Similarmente, se tiene que

Z 0

Z


i
i


f (e )ie d 


log |x| + i
dx +
(1 + x2 )2

| log i|
d
(2 1)2

log

0
+
0 .
2
2
2
( 1)
2( 1)2

Tomando parte real y haciendo 0 y R se obtiene que

Z
log x

dx = .
2
2
(1 + x )
4
0
(f) Sean R > 1, f (z) = (1 + z 2 )1 y la curva dada en la figura

50

Singularidades

0
R
R
Por el Teorema de los Residuos
Z
1
f (z)dz = 2iRes (f, i) = 2i = .
2i

Por otro lado,

Z
Z
f (z)dz =

f (Re )iRe d +

Observe que
Z
 Z


i
i

f (Re )iRe d 

0

R
R

dx
.
1 + x2

R
R
d 0 .
R2 1

Haciendo R obtenemos
Z
dx

= .
2
1+x
2
0

(g) Sea u = ex entonces du = ex dx = udx entonces

Z
Z
Z a1
eax
ua du
t
I=
dx =
=
dt .
x
1+u u
1+t
1 + e
0
0
Como 0 < a < 1 entonces 0 < 1 a < 1. Sea a 1 = c entonces
0 < c < 1. Por ejemplo 2.12. sabemos que
Z c
Z a1
t
x

dt =
dx =
=
=
.
I=
1
+
t
1
+
x
sen
c
sen(

a)
sen(a)
0
0
3.
4. Suponga que f tiene un polo simple en z = a y sea g una funci
on analtica en un conjunto abierto que contiene a a. Demuestre que Res (f g; a) =
g(a)Res(f ; a).
Soluci
on. En una vecindad V de a el desarrollo en serie de potencias
para f y g es
Res (f, a)
+ a0 + a1 (z a) + a2 (z a)2 +
za
g(z) = g(a) + b1 (z a) + b2 (z a)2 +

f (z) =

(f,a)
Entonces, f (z)g(z) = g(a)Res
+ h(z) donde h es una funci
on analtica
za
en V . Por lo tanto, Res (f g; a) = g(a)Res(f ; a).

Residuos

51

5. Use el Ejercicio 4, para demostrar que si G es una regi

on y f es analtica en
G excepto para polos simples a1 , . . . , an ; y si g es analtica en G entonces
Z
n
X
1
fg =
n(; ak )g(ak )Res (f, ak )
2i
k=1

para cualquier curva cerrada rectificable que no pasa por a1 , . . . , an tal

que 0 en G.
Soluci
on. En alguna vecindad de ak para k = 1, 2, . . . , n digamos B(ak ; )
podemos escribir
Res (f, ak )
+ a0,k + a1,k (z ak ) + a2,k (z ak )2 +
z ak
g(z) = g(ak ) + b1,k (z ak ) + b2,k (z ak )2 + .

f (z) =

Luego, f (z)g(z) =

g(ak )Res (f,ak )

+ hk (z)
zak
n
X

Se sigue que h(z) = f (z)g(z)

k=1
Z
1
luego
h(z)dz = 0. Entonces
2i

donde hk es analtica en B(ak ; ).

g(ak )Res (f, ak )

es analtica en G y
z ak

1
2i

f (z)g(z)dz =

1
2i

Z X
n
g(ak )Res (f, ak )
k=1

z ak

dz

Z
n
X
1
dz
g(ak )Res (f, ak )
2i
z ak
k=1

1
2i

n
X

n
X
k=1

g(ak )Res (f, ak ) 2in(; ak )

n(; ak )g(ak )Res (f, ak ) .

k=1

6. Sea el camino rectangular [n + 12 + ni, n 12 + ni, n 12 ni, n 12

R
ni, n 12 + ni] y evalue la integral (z + a)2 cot zdz para a 6= un entero.
Z
Demuestre que lm
(z+a)2 cot zdz = 0 y, usando la primera parte,
n

deduzca que

X
2
1
=
.
2
sen a n= (a + n)2

Soluci
on.
7. Use el Ejercicio 6 para deducir que

X
2
1
=
.
8
(2n + 1)2
n=0

52

Singularidades

Soluci
on. Notemos que

1
X
1
1
=
y se tiene que
2
(2n + 1)
(2n + 1)2
n=
n=0

1
1 X
1
=
.
2
(2n + 1)
2 n= (2n + 1)2
n=0

Captulo 6

El Teorema del Modulo M

aximo
1. El Principio del M
aximo
1. Pruebe el siguiente Principio del Mnimo. Si f es una funci
on analtica
no constante sobre un conjunto abierto G acotado y es continua sobre G,
entonces f tiene un cero en G o |f | asume su mnimo valor sobre G.
Soluci
on. Si f no tiene ceros en G, la funci
on
por el principio del m
aximo


 1 
1

 m
ax
,
 f (z)  zG
|f (z)|

1
es analtica en G y
f

z G

si y s
olo si

mn |f (z)| |f (z)| ,

zG

z G.

2. Sea G una regi

on acotada y suponga que f es continua en G y analtica
sobre G. Demuestre que si existe una constante c 0 tal que |f (z)| = c
para todo z G entonces f es una funci
on constante o bien f tiene un
cero en G.
Soluci
on. Si f no tiene ceros aplicando el principio del m
aximo y del
mnimo se tiene que
c = mn |f (z)| |f (z)| m
ax |f (z)| = c
zG

zG

lo que implica que |f (z)| = c para todo z G. Se sigue que f (z) = c

con || = 1, para todo z G.
3. (a) Sea f entera no-constante. Para cualquier n
umero real c demuestre
que la clausura de {z : |f (z)| < c} es el conjunto {z : |f (z)| c}.
(b) Sea p un polinomio no constante y demuestre que cada componente
de {z : |p(z)| < c} contiene un cero de p.
(c) Si p es un polonimio no constante y c > 0 demuestre que {z : |p(z)| =
c} es la uni
on de un n
umero finito de caminos cerrados. Discuta el
comportamiento de estos caminos cuando c .
Soluci
on.
53

54

El Teorema del Modulo M

aximo

(a) Sabemos que X = X X , X = {z : |f (z)| < c}. Como f es entera no

constante, f (C) es denso en C. Luego, existe una sucesi
on {zn }
n=1
1
X tal que |f (zn )| = c n y pot la continuidad de f
 



c = lm |f (zn )| = f lm zn  = |f (z0 )| ,
n

lo que implica que z0 X con |f (z0 )| = c. Por lo tanto, X = {z :

|f (z)| c}.
(b) Sea G = {z : |p(z)| < c} entonces G = {z : |p(z)| c}, se sigue que
G{z : |p(z)| = c}. Por el problema 2, como p es un polinomio no
constante, p tiene un vero en G en cada componente conexa.
(c) Es claro que G = {z : |p(z)| = c} es un curva. Supongamos que G
es una uni
on infinita de curvas, entonces en el interior de cada curva p
tiene un cero, seg
un lo probado en (b). Luego, p tiene infinitos ceros.
Por otro lado, como lm |p(z)| = se tiene que para cada > 0
z

existe M > 0 tal que |p(z)| para todo |z| M . En particular,

para = c + 1,
|p(z)| c + 1 ,

|z| M .

Se sigue que los ceros de p est

an todos contenidos en el disco B(0, M ),
como este conjunto es compacto, los ceros de p, tienen un punto de
acumulaci
on y por el principio de identidad p(z) 0 lo cual es una
contradicci
on.

4. Sean 0 < r < R y A = {z : r |z| R}. Demuestre que existe un

n
umero positivo > 0 tal que para todo polinomio p,
sup{|p(z) z 1 | : z A} .
Esto dice que z 1 no es el lmite uniforme de polinomios en A.
Soluci
on. Sean z1 , . . . , zn los ceros de p y R > 0 tal que R 6= |zk | para
todo k = 1, . . . , k. Consideremos
M = sup |zp(z) 1| .
|z|=R

Entonces, si M < 1 entonces

|zp(z) 1| < 1 ,

sobre |z| = R .

Por el Teorema de Rouche, zp(z) y 1 tienen la misma cantidad de ceros

en {|z| < R}. Luego, zp(z) no tiene ceros en {|z| < R}, lo cual es una
contradicci
on con que zp(z) tiene un cero en z = 0. Luego, necesariamente
M 1. Observe que si R = |zk | para alg
un k, sea > 0 tal que R 6=

El Principio del M
aximo

55

|zk |. Si suponemos que MR = sup |zp(z) 1| < 1, por el principio del

|zk |=R

m
aximo se obtiene que MR MR < 1 lo cual contradice lo anterior.
Por lo tanto, M 1.
1
, luego
Ahora bien, sea z A entonces |z| R R1 |z|
|zp(z) 1|
|z|
zA
1

sup |zp(z) 1|
R zA
M
1
=

= >0.
R
R

sup |p(z) z 1 | = sup

zA

5. Sea f analtica sobre B(0, R) con |f (z)| M para |z| R y |f (0)| = a >
0. Demuestreque el n
umero de ceros de f en B(0, 13 R) es menor o igual
1
M
que
log
.
log 2
a
Soluci
on. Sean z1 , . . . , zn los ceros de f en B(0, 13 R) y considere la funci
on analtica
" n 
#1
Y
z
.
g(z) = f (z)
1
zk
k=1

Note que g(0) = f (0). Observe que para |z| = R se tiene que
n
Y

1
M
|zk |
#1
n 
M Rn
Y


z
n
M
k=1
3
1 
|g(z)| = |f (z)|
 n
n
= n .

Y
zk 
2
2
k=1
Rn
|zk z|
3
"

k=1

Sabemos que
1
g(0) =
2i

g(z)
dz ,
z

|z|=R

entonces
1
a = |g(0)|
2
es decir,

2n

|g(Rei )|
1
|iRei |d =
i
|Re |
2

M
1

lo que implica que n

log
a
log 2

|g(Rei )|d


M
,
2n


M
.
a

6. Suponga que ambas f y g son analticas en B(0, R) con |f (z)| = |g(z)|

para |z| = R. Demuestre que si f ni g se anulan en B(0, R) entonces
existe una constante , || = 1, tal que f = g.

56

El Teorema del Modulo M

aximo

Soluci
on. Considere la funci
on h = f /g entonces h es analtica en
B(0, R) y no tiene ceros. Para |z| = R tenemos que
|h(z)| =

|f (z)|
=1.
|g(z)|

Por problema 2, h es constante o tiene un cero en B(0, R), como h no

tiene ceros implica que h(z) = con || = 1. Por lo tanto, f = g.
7. Sea f analtica en el disco B(0, R) y para 0 r < R defina A(r) =
m
ax Ref (z). Demuestre que a menos que f sea constante, A(r) es una
|z|=r

funci
on estrictamente creciente de r.
Soluci
on. Primero observe que la aplicaci
on proyecci
on : R R R
dada por (x, y) = x es abierta. Luego, si f es analtica no constante, por
el Teorema del mapeo abierto, f es abierta entonces
h = f = Ref

es abierta .

(5)

Afirmamos que h satisface el principio del m

aximo, esto es, si h(a)
h(z) para todo z B(0, R) entonces h es constante. En efecto, seam
= h(B(0, R)) y = h(a). Por hip
otesis, || || para todo
entonces
.
En particular, no es abierto y por (5) se sigue que f es constante lo
que implica que h es constante.
Por lo tanto,
m
ax Ref (z) A(r) .
|z|r

Ahora bien, si r1 < r2 tenemos que

A(r1 ) =

m
ax Ref (z) = m
ax Ref (z)

|z|=r1

|z|r1

m
ax Ref (z) = m
ax Ref (z) = A(r2 ) .

|z|=r2

|z|=r2

Esto prueba que A(r) es creciente. Supongamos que A(r) es constante en

el anillo {r1 < |z| < r2 } entonces h mapea el anillo sobre un conjunto
cerrado, lo cual contradice que h es abierta. Por lo tanto, A(r) es una
funci
on estrictamente creciente.
8. Suponga que G es una regi
on, f : G C es analtica, y M es constante tal que cuando z est
a sobre G y {zn } es una sucesi
on en G con
z = lm zn tenemos que lm sup |f (zn )| M . Demuestre que |f (z)| M ,
paa cada z G.

El Lema de Schwarz

57

Soluci
on. Dado a G para todo sucesi
on {zn } con lm zn = a se
tiene que
lm sup |f (zn )| M .
n

Se sigue que lm sup |f (z)| M , lo cual implica seg

un la tercera versi
on
za

del m
odulo m
aximo que |f (z)| M para todo z G.

2. El Lema de Schwarz
1. Suponga que |f (z)| 1 para |z| < 1 y f es analtica. Considerando la
funci
on g : D D definida por
g(z) =

f (z) a
1 af (z)

donde a = f (0), pruebe que

|f (0)| |z|
|f (0)| + |z|
|f (z)|
1 + |f (0)||z|
1 |f (0)||z|
para |z| < 1.
Soluci
on. Sabemos que a : D D dada por
a (z) =

za
1 az

son automorfismos del disco unitario D. Notemos que g = a f : D D

y satisface g(0) = a (f (0)) = 0. Por el Lema de Schwarz
|g(z)| |z| ,

z D.

Es decir, para cada z D tenemos que



 f (z) a 


 1 af (z)  |z| |f (z) a| |z||1 af (z)| .

Luego,

|f (z)| |a| |f (z) a| |z||1 af (z)| |z|(1 + |af (z)|)

|a| + |z|
|f (z)|(1 |az|) |a| + |z| |f (z)|
, z D .
1 |a||z|

Adem
as, para cada z D se tiene que

|a| |f (z)| |a f (z)| |z||1 af (z)| |z|(1 + |af (z)|)

|a| |z|
|a| |z| |f (z)|(1 + |a||z|) |f (z)|
, z D.
1 + |a||z|

58

El Teorema del Modulo M

aximo

2. Existe una funci

on analtica f : D D con f

1
2

3
4

y f

1
2

= 23 ?

Soluci
on. Supongamos que existe f : D D con f 12 = 34 y f 12 = 23 .
Sean = f (1/2) y = 1/2 y considere los automorfismos , : D
D definidos por
(z) =

z
1 z

con

(z) =

1 ||2
.
(1 z)2

Entonces, F = f : D D es analtica y satisface F (0) = 0. Por

el Lema de Schwarz, |F (0)| 1 y por la regla de la cadena se tiene que
 

1
F (0) = () f
(0)
2
2
1
=
(1 ||2 )
2
1 || 3


1
2
1
8
=
= >1.
9 3 1 4
7
1 16
La u
ltima desigualdad contradice el Lema de Schwarz, por lo tanto no
existe una tal f .
3. Suponga que f : D C satisface Ref (z) 0 para todo z D y suponga
que f es analtica y no constante.
(a) Demuestre que Ref (z) > 0 para todo z D.
(b) Usando una transformaci
on de M
obius apropiada, aplique el Lema
de Schwarz para probar que si f (0) = 1 entonces
|f (z)|

1 + |z|
1 |z|

para |z| < 1. Que puede decir si f (0) 6= 1?

(c) Demuestre que si f (0) = 1, f tambien satisface
|f (z)|

1 |z|
.
1 + |z|

Soluci
on.
(a) Por el Teorema del mapeo abierto, como f es analtica y no constante,
implica que f es abierta. Se sigue que necesariamente si Ref (z) 0
implica que Ref (z) > 0, de lo contrario existira un subconjunto
abierto de D con f (D) no abierto.
(b) Considere la transformaci
on de M
obius T : {z : Re z > 0} D dada
por
T (z) =

z1
.
z+1

El Lema de Schwarz

59

Luego, g = T f : D D y satisface g(0) = T (f (0)) = T (1) = 0. Por

el Lema de Schwarz, |g(z)| |z| para todo z D, es decir,


 f (z) 1 


 f (z) + 1  |z| |f (z) 1| |z||f (z) + 1| .

Entonces, para cada z D

|f (z)| 1

|f (z) 1| |z||f (z) + 1| |zf (z)| + |z|

|f (z)|(1 |z|) 1 + |z|

1 + |z|
|f (z)|
, z D.
1 |z|

Ahora bien, si f (0) = a 6= 1 con a R, podemos considerar Ta : {z :

za
Re z > 0} D dada por Ta (z) =
luego g = Ta f : D D con
z+a




g(0) = Ta (a) = 0. Aplicando el Lema de Schwarz,  ff (z)a
(z)+a  |z| para
todo z D . Lo que implica que
|a| + |z|
,
|a| |z|

|f (z)|

z D.

(c) Como Re f (z) > 0 para todo z D, se sigue que f (z) 6= 0 para todo
z D, luego la funci
on f1 es analtica en D y satisface
Re

1
f (z)

= Re

f (z)
|f (z)|2

1
Re {f (z)} > 0 .
|f (z)|2

1
con f (0)
= 1. Por parte (b) se tiene que
lo que es equivalente a que

|f (z)|

1 |z|
,
1 + |z|

1
|f (z)|

1+|z|
1|z|

para todo z D,

z D.

4. Pruebe la desigualdad de Caratheodory. Sean f analtica sobre B(0, R)

y M (r) = m
ax |f (z)|, A(r) = m
ax Ref (z), entonces para 0 < r < R, si
A(r) 0,

|z|=r

|z|=r

M (r)

R+r
[A(r) + |f (0)|] .
Rr

Soluci
on. Supongamos inicialmente que f (0) = 0 y considere g : D C
dada por
g(z) =

f (Rz)
.
2A(R) + f (Rz)

60

El Teorema del Modulo M

aximo

Notemos que g(0) = 0, pues f (0) = 0. Adem

as, |g(z)| 1, para todo
z D. Por el Lema de Schwarz, |g(z)| |z| para todo z D, es decir,
|f (Rz)|

|z||2A(R) + f (Rz)| 2|z|A(r) + |z||f (Rz)|

2|z|
A(R)
|f (Rz)|
1 |z|
1 + |z|
|f (Rz)|
A(R)
1 |z|

para todo z D. Haciendo =

|f (z)|

z
D obtenemos que
R
R + |z|
A(R) .
R |z|

Tomando m
aximo sobre |z| = r se obtiene que
M (r)

R+r
A(R) .
Rr

5. Sea f analtica en D y suponga que |f (z)| M para todo z D.

(a) Si f (zk ) = 0 para 1 k n, demuestre que
n
Y
|z zk |
|f (z)| M
|1 zk z|
k=1

para |z| < 1.

(b) Si f (zk ) = 0 para 1 k n, cada zk 6= 0, y f (0) = M ei (z1 z2 zn ),
hallar una f
ormula para f .
Soluci
on.
(a) Considere la aplicaci
on
g(z) =

f (z)
.
n
Y
z zk
1 zk z

k=1

Para |z| = 1 se tiene que

|f (z)|
M
 n
|g(z)| =  n
M.

Y
Y
z zk 

|zk (z)|


| {z }

1 zk z 
k=1
k=1

Por el Principio del M

aximo, |g(z)| M para todo z D, se sigue
que
n
Y
|z zk |
|f (z)| M
|1 zk z|
k=1

para |z| < 1.

El Lema de Schwarz

61

(b) Note que la funci

on g definida en (a) no tiene ceros, ya que cada cero
del numerador se cancela con un cero de las funciones zk . Luego,
la funci
on 1g es analtica y por el principio del mnimo (Problema 1,
secci
on anterior) g asume su mnimo valor en |z| = 1. Lo que implica,
seg
un lo probado en (a) que |g(z)| = M . Luego,
f (z) = M ei

n
Y
z zk
.
1 zk z

k=1

6. Suponga que f es analtica en una regi

on que contiene a B(0, 1) y |f (z)| =
1 cuando |z| = 1. Hallar una f
ormula para f
Soluci
on. Notemos que f tiene un n
umero finito de ceros, pues si tuviera infinitos, como est
an contenidos en un conjunto compacto habra
un punto de acumulaci
on z0 con |z0 | =
6 1 y por el principio de identidad
f 0, lo cual es absurdo pues |f (z)| = 1 cuando |z| = 1. Sean z1 , . . . , zn
los ceros de f y aplicando el principio del m
aximo se tiene que |f (z)| 1.
Por problema anterior, obtenemos que
n
Y
z zk
i
f (z) = e
.
1 zk z
k=1

7. Suponga que f es analtica en una regi

on conteniendo B(0, 1) y |f (z)| = 1
cuando |z| = 1. Suponga que f tiene un cero simple en z = 14 (1 + i) y un
cero doble en z = 12 . Puede f (0) = 12 ?
Soluci
on. Por el problema anterior se tiene que f es de la forma
!2
1
z 12
i z 4 (1 + i)

f (z) = e
1 14 (1 i)z
1 12 z
para todo z D. Entonces,
i

f (0) = e

  2
1
1
(1 + i)
.
4
2

1
Note que |f (0)| = 16
2 6= 12 . Se deduce que f (0) no puede ser igual a 12 .
8. Existe una funci
on f sobre D tal que |f (z)| < 1 para |z| < 1, f (0) = 12
y f (0) = 34 ? Si es cierto, hallar una tal f . Es u
nica?
Soluci
on. Basta considerar f (z) =
1 14
2

(1 12 z )

, luego f (0) = 34 .

z 12
entonces f (0) =
1 12 z

1
2

y f (z) =