Captulo 1

Los Nmeros Complejos

1.1 Propiedades Algebraicas

1.1.1 Preliminares

El cuerpo de los nmeros complejos es el conjunto de todos los pares ordenados (, )

donde y son nmeros reales y donde la adicin y la multiplicacin estn definidas

por:

(, ) + (, ) = ( + , + )

(, )(, ) = ( , + ).

Escribiremos para el nmero complejo (, 0). De hecho, el mapeo (, 0) define un

isomorfismo de cuerpos de en , de donde podemos considerar a como un

subconjunto de . Si hacemos = (0, 1), entonces (, ) = + . Para = +

hacemos Re = e Im = . Los nmeros reales estn asociados con puntos sobre el eje

y llamaremos a ste el eje real. Los nmeros puramente imaginarios estn asociados

con puntos sobre el eje y llamaremos a ste el eje imaginario.

Ntese que 2 = 1, de modo que la ecuacin 2 + 1 = 0 tiene una raz en . Si

= + (, ), entonces definimos

|| = 2 + 2

como el valor absoluto de y = es el conjugado de . Tenemos ||2 = y la

desigualdad triangular

| + | || + || (, ).

1
 ANLISIS DE VARIABLE COMPLEJA

Por la definicin de nmeros complejos, cada en puede ser identificado con un nico

punto (Re , Im ) en el plano 2 .

El argumento de 0, denotado por arg , es el ngulo (mdulo 2) entre el

vector desde el origen a y el eje positivo, es decir, que satisface

Re Im
cos = sin = .
|| ||

El punto = + 0 tiene coordenadas polares (, ): = cos , = sin .

Claramente = || y es el ngulo entre el eje real positivo y el segmento de recta desde

0 a . Ntese que ms cualquier mltiplo de 2 puede ser sustituido por en las

ecuaciones arriba. El ngulo es llamado el argumento de y es denotado por = arg .

Sean 1 = 1 (cos 1 + sin 1 ) y 2 = 2 (cos 2 + sin 2 ), entonces

1 2 = 1 2 (cos(1 + 2 ) + sin(1 + 2 )).

De ah, arg(1 2 ) = arg 1 + arg 2 . Por induccin obtenemos para = (cos +

sin )

1 2 = 1 2 (cos(1 + + ) + sin(1 + + )).

En particular, si = (cos + sin ), entonces

= (cos() + sin()). (1.1)

Como un caso especial de (1.1) obtenemos la frmula de DeMoivre:

(cos + sin ) = cos() + sin(). (1.2)

Las races -simas de = (cos + sin ) son

+ 2 + 2
= (cos + sin )

para = 0, 1, , 1.

El nmero complejo = (cos + sin ) tambin tiene una representacin

exponencial

= exp().

2
 ANLISIS DE VARIABLE COMPLEJA

Para ms detalles ver el captulo sobre series de potencias.

Ejercicios

1.1. Hallar los nmeros reales y tales que los nmeros complejos
1
= + , =+ sean iguales.

1.2. Para z = 1 + i hallar w tal que las partes reales de los siguientes nmeros sean

iguales a cero

a) +
b)

c)

d)

1.3. Demostrar que

Re ( ) = Re y Im ( ) = Im .
=1 =1 =1 =1

1.4. Hallar para = 1 + 2 los siguientes nmeros

a)
b) 1/
c) 1/
d) 2 + 2 + 5 +
1.5. Hallar las posiciones de los siguientes puntos en el plano complejo para :

a) +
b)
c) +
d)
1.6. Qu subconjuntos del plano complejo corresponden a los nmeros complejos con

las siguientes propiedades:

a) Re = Im
b) Re < 1
c) 1 Re 1
d) Im 0
e) || 2
f) 1 < || < 3

3
 ANLISIS DE VARIABLE COMPLEJA

g) || > 2
h) < arg <

i) 6
< arg < 4

1.7. Hallar las condiciones para las partes real e imaginaria de un nmero complejo

de modo que pertenezca al tringulo con vrtices 0, 1 + 3, 1 + /3, Figura 1.

Figura 1

1.8. Demostrar que para

|| |Re | + |Im | 2 ||.

1.9. Hallar los nmeros complejos que son las esquinas del tringulo con lados iguales,

con vrtices sobre el crculo unitario y con un nico vrtice sobre la parte negativa

del eje real.

1.10. Hallar las partes real e imaginaria, el mdulo, el argumento y el complejo

conjugado para los siguientes nmeros:

a) 5
b)
c) 1/2 + /2
d) 1 + /3
e) 1/(1 + 3)
f) (3 + 3)(1 + 3)
3
g) (1/(1 + 3))

h) (1 + )/(1 )
1.11. Hallar y de modo que los nmeros complejos
= + y = (cos + sin )
sean iguales.

4
 ANLISIS DE VARIABLE COMPLEJA

1.12. Sea el conjunto de todos los nmeros complejos distintos de cero.

a) Demostrar que el conjunto de todos los nmeros complejos con mdulo 1 es

un subgrupo multiplicativo del grupo ( ,).

b) El grupo multiplicativo es isomorfo con + .

1.13. Hallar la suma de los nmeros complejos que son los vrtices de un polgono

en el crculo de radio con el centro en (0, 0) para = 4, 5, , 2, , Figura 2.

Figura 2. hexgono

1.14. Demostrar que la condicin para que cuatro puntos 1 , 2 , 3 , 4 sean vrtices

consecutivos de un paralelogramo es la siguiente

1 2 + 3 4 = 0.
1.15. Para tres puntos dados 1 , 2 , 3 , encontrar 4 tal que los puntos correspondientes

en el plano complejo sean las esquinas de un paralelogramo.

1.16. Comenzando con un nmero complejo 0, hallar dnde estn los nmeros

complejos 2, 3, , .

1.17. Hallar la longitud de un lado de un pentgono y la longitud de su diagonal si est

inscrito en el crculo unitario.

1.18. Hallar dnde estn los puntos para un 0 fijo:

a) | 0 | = 1
b) | + 0 | = 1
c) arg( 0 ) = /4
1.19. Determinar dnde estn los puntos en el plano complejo si

a) | 1| 2
b) | + | > 1
c) | 0 | <

5
 ANLISIS DE VARIABLE COMPLEJA

d) arg( 1) = /4

e) 4
< arg( + ) 4

f) |arg( 0 )| <
g) Re( 0 ) = 0, para 0
h) |1/| <
i) Re() = 1/3
j) / =
1.20. Demostrar que para , , se cumple la relacin
| + |2 + | |2 = 2(||2 + ||2 ),
y dar una interpretacin geomtrica.

1.21. Sean un parmetro real, y 1 = (1 , 1 ) y 2 = (2 , 2 ) nmeros complejos fijos.

Qu curvas estn dadas en el plano complejo por las siguientes relaciones?

a) = (2, ), 0 < 2
b) = (, /3), 0
c) = 1 + cos + sin , 0 < 2
d) = 1 + (cos(/4) + sin(/4)), 0
e) = 1 + 2 (cos + sin ), 0 < 2
f) = 1 + (2 1 ), 0 1
g) = 1 (cos + sin ) + 2 (cos + sin ), 0 < 2
h) = + (cos + sin ), > 0
1.22. Hallar
3
a)
5
b) 1
c) 3
4
d) 1
1.23. Resolver las siguientes ecuaciones en :

a) 8 16 = 0
b) 3 + 1 = 0
c) 6 + + 1 = 0
1.24. Usando la igualdad cos(/4) = sin(/4) = 2/2 encontrar:

a) cos(/16)
b) sin(/16)
1.25. Demostrar que para 0:

6
 ANLISIS DE VARIABLE COMPLEJA
(+1)
cos sin
a) =1 cos = 2

2
sin
2
(+1)
sin sin
b) =1 sin = 2

2
sin
2

1.26. Hallar la posicin de los vrtices del tringulo con lados iguales si dos vrtices

estn en 1 y 2 + , Figura 3.

Figura 3

1.27. Hallar las siguientes sumas:

a) =1 cos(2 1)
b) =1 sin(2 1)
c) =1(1)1 sin
1.28. Hallar las siguientes sumas para constantes reales y 2
a) =0 cos( + )
b) =0 sin( + )
1.29. Resolver la ecuacin = 1 ( es un nmero natural).

1.30. Sean y enteros. demostrar para 0:

a) que ( ) tiene /(, ) valores distintos donde (, ) es el mximo comn

divisor de los nmeros y .

b) que los conjuntos de valores de ( ) y son iguales, es decir, ( ) =

si y slo si (, ) = 1, es decir, y no tienen divisores no triviales en
comn.

1.31. Demostrar la identidad

|1 1 2 |2 |1 2 |2 = (1 |1 |2 ) (1 |2 |2 ).
1.32. Demostrar la desigualdad

7
 ANLISIS DE VARIABLE COMPLEJA

1 1 2
|1 + 2 | (|1 | + |2 |) | + |.
2 |1 | |2 |
1.33. Hallar los vrtices de un polgono regular si su centro estn en = 0 y un

vrtice es conocido.

1.34. Demostrar si 1 + 2 + 3 = 0 y |1 | = |2 | = |3 | = 1 entonces los puntos son los

vrtices de un tringulo con lados iguales que est en el crculo unitario.

1.35. Sean los puntos 1 , 2 , , todos sobre el mismo lado con respecto de una recta

que pasa por (0, 0). Demostrar que los puntos

1 1 1
, ,,
1 2
tienen la misma propiedad y que 1 + 2 + + 0, y que
1 1 1
+ + + 0.
1 2
1.36. Resolver la ecuacin (1 + 1/)3 = .

1.37. Demostrar que el cuerpo de los nmeros complejos es el cuerpo ms pequeo que

contiene al cuerpo de los nmeros reales y a la solucin de la ecuacin 2 + 1 = 0.

1.38. Demostrar que no existe un orden total en el cuerpo de los nmeros complejos que

sea compatible con las operaciones en este cuerpo y que extienda el orden usual de

los reales.

1.39. Sea el anillo conmutativo de todos los polinomios con coeficientes reales con las

operaciones usuales de adicin y multiplicacin. Sea un ideal de los elementos de

la forma (1 + 2 )(), donde es un polinomio, en el anillo . Definimos en

una relacin de equivalencia ~ de la siguiente manera:

1 ~2 1 2 .
Demostrar que

a) El conjunto de todos los polinomios de primer orden con respecto a + es

isomorfo con el conjunto / de todas las clases de equivalencia.

b) / es un cuerpo.

c) El cuerpo / es isomorfo al cuerpo de todos los nmeros complejos .

1.40. Demostrar los isomorfismos:

a) El grupo ({0}, ) con el grupo de matrices de la siguiente forma:

[ ], , 2 + 2 0

8
 ANLISIS DE VARIABLE COMPLEJA

con la multiplicacin matricial.

b) El grupo de cuaterniones
3

\{0} = {0 + 1 + 2 + 3 : , 2 0 , = 0, 1, 2, 3},
=0

donde
2 = 2 = 2 = 1
= = , = = , = =
1 = 1 = , 1 = 1 = , 1 = 1 = ,
con la multiplicacin y el grupo de matrices reales
0 1 2 3
1 0 3 2
[ 3 0 1 ]
2
3 2 1 0
con multiplicaciones matriciales.

c) El grupo de cuaterniones (\{0}, ) con el grupo de matrices de segundo

orden

[ ] (, \{0})

con la multiplicacin matricial.

1.41. Sean || < 1 y = ( )/(1 ). Qu son los siguientes conjuntos en el plano

complejo : 1 = {: || < 1}, 2 = {: || = 1} y 3 = {: || > 1}?

1.42. Demostrar que para 1 , 2 , 3 arbitrarios

1 1 1
|1 2 2 |
1 3 3
es un nmero real.

1.43. Demostrar la desigualdad

| 1| ||| 1| + |||arg | ( ).

1.44. Qu curvas estn dadas por los siguientes conjuntos:

a) {: | 1| | + 1| = constante}
b) {: | 1|/| + 1| = constante}
1.45. Demostrar la igualdad
2

( 2) | |2 + | | = | + |2
1<
=1 =1

para 1 , , .

9
 ANLISIS DE VARIABLE COMPLEJA

1.2 La Topologa del Plano Complejo

1.2.1 Preliminares

Denotemos por (0 , ) al disco abierto centrado en 0 con radio ,

(0 , ) = {: | 0 | < }.

Llamamos tambin a (0 , ) una vecindad de 0 . Denotemos por (0 , ) a la

circunferencia centrada en 0 con radio ,

(0 , ) = {: | 0 | = }.

La funcin : dada por

(1 , 2 ) = |1 2 |

es una mtrica sobre , es decir,

(1 , 2 ) 0;

(1 , 2 ) = 0 si y slo si 1 = 2 ;

(1 , 2 ) = (2 , 1 )

(1 , 2 ) (1 , 3 ) + (3 , 2 ).

Un conjunto es abierto si para todo existe > 0 tal que (, ) .

Un conjunto es cerrado si su complemento es abierto.

Un punto es un punto de acumulacin para un conjunto si en todo disco

(, ) existen infinitos elementos del conjunto .

La frontera de un conjunto , denotada por , es el conjunto de todos los

nmeros complejos en el que todas las vecindades tienen interseccin no vaca tanto con

como con .

Un conjunto es acotado si (0, ) para algn > 0. Un conjunto es

compacto si es cerrado y acotado. Un conjunto es conexo si no existen dos conjuntos

10
 ANLISIS DE VARIABLE COMPLEJA

abiertos disjuntos 1 y 2 cuya unin contenga a siempre que ni 1 ni 2 contengan

solos a . Denotamos por [1 , 2 ] al segmento de recta con extremos 1 y 2 . Un conjunto

es poligonalmente conexo si cualesquiera dos puntos 0 y de pueden ser

conectados por una lnea poligonal [0 , 1 ] [1 , ] contenida en . Un conjunto

poligonalmente conexo es conexo. Un conjunto es una regin si es abierto y conexo.

Sea

= {(, , ): 2 + 2 + ( 1/2)2 = 1/4}. (1.5)

La proyeccin estereogrfica de \ {(0, 0, 1)} sobre (de sobre {}) es una

correspondencia uno a uno obtenida haciendo que el plano = 0 coincida con el plano

complejo , y que los ejes y sean los ejes e , respectivamente, y asociamos a

(, , ) el nmero complejo donde el rayo desde (0, 0, 1) intersecta a . Tenemos

2 + 2
= ; = ; = .
2 + 2 + 1 2 + 2 + 1 2 + 2 + 1

Ejercicios

1.46. Demostrar que la funcin : dada por

(1 , 2 ) = |1 2 |
es una mtrica sobre .

1.47. Demostrar que la funcin : dada por

(1 , 2 ) = |1 2 | + |1 2 |
es una mtrica sobre , donde = + , = 1, 2.

1.48. Cules de los siguientes conjuntos son abiertos?

a) {: || < 3}
b) {: 1 < Re < 3}
c) {: Re < 3} {3}
1.49. Dar un ejemplo para un conjunto conexo que no sea poligonalmente conexo.

1.50. Demostrar que un subconjunto conexo de es un intervalo.

1.51. Cules de los siguientes subconjuntos de son conexos?

a) {: | 1| < 1} {: | 3| < 1}
b) {1/: } (0, 1]

11
 ANLISIS DE VARIABLE COMPLEJA

1.52. Demostrar que una regin es poligonalmente conexa.

1.53. Demostrar que un subconjunto poligonalmente conexo de es conexo.

1.54. Demostrar que para la proyeccin estereogrfica las siguientes frmulas se

cumplen:

= ; = .
1 1
1.55. Para los puntos 0 y 1 + en dar los puntos correspondientes de por la

proyeccin estereogrfica.

1.56. Sean dada por (1.5) y una circunferencia sobre , es decir, la interseccin de

con un plano de la forma + + = . Demostrar que si es la proyeccin

estereogrfica de sobre entonces

a) para (0, 0, 1) la proyeccin es una recta;

b) para (0, 0, 1) la proyeccin es una circunferencia.

1.57. Demostrar que la funcin : {} dada para 1 , 2 por

2|1 2 |
(1 , 2 ) = 1/2
((1 + |1 |2 )(1 + |2 |2 ))
y por
2
(, ) =
(1 + ||2 )1/2
para es una mtrica sobre {}.

1.58. Demostrar que la funcin : dada por

(1 , 2 ) = max(|1 2 |, |1 2 |)
es una mtrica sobre , donde = + , = 1, 2.

1.59. Demostrar que

| |
(, ) =
1 + ||2 1 + ||2
es una mtrica sobre .

12