Captulo 1

N umeros complejos
1.1. Introduccion
Muchos problemas en matem aticas tienen que ver con soluciones numericas de ecuaciones
de distintos tipos. El conjunto m as elemental de n umeros es el conjunto de los n umeros
naturales
N = {1, 2, 3, . . .}.
Si a y b son n umeros naturales, la ecuacion
x + a = b
tiene solucion dentro de N si y solo si (sii o ) a < b. Si a b debemos hacer una extension
del sistema de n umeros al conjunto de los n umeros enteros
Z = {0, 1, 2, 3, . . .},
en el que la ecuacion x +a = b tiene solucion en Z, dada por x = b a, para todo () a y b
en Z.
Si a, b Z y a = 0 la ecuacion
ax + b = 0
tiene solucion en Z sii a es un divisor de b. En otro caso debemos hacer una nueva extension
del sistema de n umeros al conjunto Q de los n umeros racionales
Q = {
a
b
| a, b Z},
en el que la ecuacion ax + b = 0 tiene solucion x =
b
a
en Q a, b Z con a = 0.
Supongamos ahora la ecuacion cuadratica
ax
2
+ bx + c = 0,
donde a, b, c Q y a = 0. Sin perdida de generalidad podemos suponer que a, b, c Z con
a = 0 (bastara con multiplicar la ecuacion por un n umero entero positivo adecuado). La
solucion de dicha ecuacion viene dada por
x =
b

b
2
4ac
2a
.
4
CAP

ITULO 1. N

UMEROS COMPLEJOS 5
Si el discriminante de la ecuacion, denido como = b
2
4ac, es el cuadrado de un
n umero entero, la ecuacion tiene solucion en Q. Si es positivo la ecuacion tiene solucion
en el conjunto extendido de los n umeros reales R. Sin embargo, para < 0 la ecuacion no
tiene solucion ni siquiera en R. La ecuacion tendra solucion siempre en una extension de los
n umeros reales en la que existiera la raz cuadrada de 1.
Dicha raz se suele denotar como
i =

1,
y, puesto que
i
2
= 1,
i no puede ser un n umero real
1
. i se denomina unidad imaginaria.
Con dicha extension tendramos que para < 0 la ecuacion ax
2
+ bx + c = 0 admite
solucion dada por
x =
b
2a
i
_
||
2a
.
Se llega entonces al conjunto de n umeros complejos C
C = {z = x + iy | x, y R}.
C es cerrado para la suma y la multiplicaci on que se denen de la forma
(x
1
+ iy
1
) + (x
2
+ iy
2
) = (x
1
+ x
2
) + i(y
1
+ y
2
),
(x
1
+ iy
1
)(x
2
+ iy
2
) = (x
1
x
2
y
1
y
2
) + i(x
1
y
2
+ y
1
x
2
),
expresiones que se obtienen mediante la aplicacion de las propiedades usuales para la suma
y producto de n umeros reales con la propiedad a nadida de que i
2
= 1.
Existen ecuaciones que requieran una extension del conjunto de los n umeros complejos?.
La respuesta es no. El teorema fundamental del algebra, que probaremos m as adelante,
establece que la ecuacion polin omica
a
n
x
n
+ a
n1
x
n1
+ + a
1
x + a
0
= 0 , n 1, a
0
, a
1
. . . a
n
C,
tiene todas sus soluciones en C.
El postular operaciones para los n umeros complejos en base a propiedades de operaciones
para los n umeros reales puede conducir a paradojas. Por ejemplo, para los n umeros reales
positivos se tiene la propiedad
_
1
a
=
1

a
(a R
+
).
Si suponemos que lo anterior es v alido para todos los complejos se llegara a la siguiente
contradiccion
1 =

1 =

1
_
1
1
=

1
1

1
= 1.
Para evitar este tipo de problemas conviene introducir los n umeros complejos de una forma
m as axiom atica.
1
x R se tiene que x
2
0.
CAP

ITULO 1. N

UMEROS COMPLEJOS 6
1.2. El conjunto de los n umeros complejos
1.2.1. Denicion de n umero complejo. Suma y producto
El conjunto de los n umeros complejos se denen como pares ordenados de n umeros reales
C = {z = (x, y) | x, y R}. (1.1)
Dados dos n umeros complejos z
1
= (x
1
, y
1
) y z
2
= (x
2
, y
2
) diremos que z
1
y z
2
son iguales
(z
1
= z
2
) sii x
1
= x
2
e y
1
= y
2
. La suma y el producto se denen respectivamente como
(x
1
, y
1
) + (x
2
, y
2
) = (x
1
+ x
2
, y
1
+ y
2
),
(x
1
, y
1
)(x
2
, y
2
) = (x
1
x
2
y
1
y
2
, x
1
y
2
+ y
1
x
2
). (1.2)
De estas deniciones y de las propiedades de suma y producto para n umeros reales se puede
ver inmediatamente que la suma y el producto de n umeros complejos satisfacen las siguientes
propiedades
Propiedades de las suma de n umeros complejos
1. Propiedad conmutativa
z
1
+ z
2
= z
2
+ z
1
.
2. Propiedad asociativa
z
1
+ (z
2
+ z
3
) = (z
1
+ z
2
) + z
3
.
3. Existe un elemento neutro para la suma que denotaremos como 0 y que verica
que
z +0 = z, z C.
Dicho elemento neutro es unico. En efecto, si existiera un segundo elemento neutro
0

que cumpliera lo anterior necesariamente tendramos que

0

= 0

+0 = 0 + 0

= 0.
Obviamente dicho elemento neutro es 0 = (0, 0)
4. Dado z existe un inverso para la suma, es decir un n umero complejo que denota-
remos por z y tal que z + (z)=0. En efecto dado z = (x, y) podemos ver que
z = (x, y) cumple lo anterior. Adem as dicho inverso es unico, ya que si dado
z existe un complejo w que verica que z + w = 0 tendremos
w = 0 + w = ((z) + z) + w = (z) + (z + w) = (z) +0 = z.
Con lo anterior se puede denir la resta de dos n umeros complejos como
z
1
z
2
= z
1
+ (z
2
).
Las propiedades anteriores nos dicen que C junto con la operaci on suma tiene estructura
de grupo abeliano.
CAP

ITULO 1. N

UMEROS COMPLEJOS 7
Propiedades del producto de n umeros complejos
1. Propiedad conmutativa
z
1
z
2
= z
2
z
1
.
2. Propiedad asociativa
z
1
(z
2
z
3
) = (z
1
z
2
)z
3
.
3. Existe un elemento neutro para el producto que denotaremos por 1 y que cumple
que
1z = z, z C.
Dicho elemento neutro es unico. En efecto si existiera un segundo elemento neutro
1

para la multiplicaci on tendramos que

1 = 1

1 = 11

= 1

.
El elemento neutro viene dado por 1 = (1, 0)
4. z C de modo que z = 0 existe un inverso que denotaremos por z
1
y que
cumple que z
1
z = 1. Dicho inverso es necesariamente unico. En efecto si dado z
se tiene un complejo w tal que wz = 1 tendremos que
w = 1w = (z
1
z)w = z
1
(zw) = z
1
(wz) = z
1
1 = z
1
.
Veamos ahora quien es el inverso de z = (x, y), z = 0. Deniendo z
1
= (a, b)
necesitamos que
ax by = 1,
bx + ay = 0,
con solucion
z
1
= (a, b) = (
x
x
2
+ y
2
,
y
x
2
+ y
2
). (1.3)
Dado el producto z
1
z
2
de dos n umeros complejos no nulos tendremos que
(z
1
z
2
)(z
1
1
z
1
2
) = (z
1
z
2
)(z
1
2
z
1
1
) = z
1
(z
2
(z
1
2
z
1
1
)) = z
1
((z
2
z
1
2
)z
1
1
)
= z
1
(1z
1
1
) = z
1
z
1
1
= 1,
lo que identica
(z
1
z
2
)
1
= z
1
1
z
1
2
(z
1
, z
2
= 0).
Podemos denir la division de dos n umeros complejos como
z
1
z
2
= z
1
z
1
2
(z
2
= 0). (1.4)
A partir de las propiedades vistas para el producto se obtiene que
z
1
z
2
z
3
z
4
=
z
1
z
3
z
2
z
4
(z
3
, z
4
= 0).
CAP

ITULO 1. N

UMEROS COMPLEJOS 8
En efecto,
z
1
z
2
z
3
z
4
= (z
1
z
2
)(z
3
z
4
)
1
= (z
1
z
2
)(z
1
3
z
1
4
) = z
1
(z
2
(z
1
3
z
1
4
)) = z
1
((z
2
z
1
3
)z
1
4
)
= z
1
((z
1
3
z
2
)z
1
4
) = z
1
(z
1
3
(z
2
z
1
4
)) = (z
1
z
1
3
)(z
2
z
1
4
) =
z
1
z
3
z
2
z
4
.
El conjunto de n umeros complejos C-{0} tiene estructura de grupo abeliano para la
multiplicaci on.
Propiedad distributiva del producto respecto de la suma
z
1
(z
2
+ z
3
) = z
1
z
2
+ z
1
z
3
.
Lo anterior junto con propiedades del producto nos permite escribir
z
1
+ z
2
z
3
=
z
1
z
3
+
z
2
z
3
, (z
3
= 0).
El conjunto de los n umeros complejos dotado de las operaciones de suma y producto tiene
estructura de cuerpo conmutativo.
Se puede ver trivialmente que hay una relaci on uno a uno entre los n umeros complejos y
un tipo particular de matrices
z = (x, y)
_
x y
y x
_
.
Dicha relaci on se conserva bajo las operaciones suma y producto.
En lo que sigue denotaremos 0 = 0, 1 = 1.
1.2.2. R como subconjunto de C
Los n umeros reales se comportan como un subconjunto de los n umeros complejos. Con-
sideremos el subconjunto R C dado por
R = {(x, 0) | x R}.
Vemos que se puede establecer una correspondencia uno a uno entre los elementos de R y
los n umeros reales
: R R
(x, 0) x (1.5)
correspondencia que se conserva bajo las operaciones de suma y producto
[(x
1
, 0)] + [(x
2
, 0)] = x
1
+ x
2
= [(x
1
+ x
2
, 0)] = [(x
1
, 0) + (x
2
, 0)],
[(x
1
, 0)] [(x
2
, 0)] = x
1
x
2
= [(x
1
x
2
, 0)] = [(x
1
, 0)(x
2
, 0)].
Se dice entonces que R y R son isomorfos y podemos identicar R con el conjunto de los
n umeros reales.
A diferencia de R, en C no podemos introducir una relaci on de orden util. As, aunque
es posible denir una relaci on de orden que nos diga cuando un n umero complejo es mayor
que otro tendremos que si z
1
z
2
y z
3
0 en general no se va a cumplir que z
3
z
1
z
3
z
2
.
CAP

ITULO 1. N

UMEROS COMPLEJOS 9
1.2.3. C como espacio vectorial
Sobre C se puede denir la multiplicaci on por un real de la forma
az = (a, 0)(x, y) = (ax, ay) (a R, z C). (1.6)
Dicha denici on tiene las propiedades siguientes
1. (a + b)z = az + bz.
2. a(z
1
+ z
2
) = az
1
+ az
2
.
3. a(bz) = (ab)z.
4. 1z = z (aqu 1 R).
Estas propiedades junto con las ya vistas para la suma de n umeros complejos dotan a C de
estructura de espacio vectorial sobre el cuerpo de los reales.
1.2.4. Unidad imaginaria. Notaci on bin omica
Si denimos la unidad imaginaria como
i = (0, 1) (1.7)
se ve inmediatamente que
i
2
= (1, 0).
Es decir, que con la identicaci on hecha entre R y R, tenemos que i es la raz cuadrada de
1. Fijarse que tanto i como i son races de 1. Adem as, puesto que i(i) = i
2
= 1,
tenemos que i
1
= i.
Dado z = (x, y) podremos escribir
z = (x, y) = x(1, 0) + y(0, 1) = x1 + yi, (1.8)
que se puede denotar simplemente como
z = x + iy. (1.9)
lo que se conoce como notacion binomica de un n umero complejo. Dicha notaci on es la que
se usa habitualmente.
1.2.5. Partes real e imaginaria de un n umero complejo. Complejo
conjugado
Dado z = x + iy se dene
Parte real de z:
Re z = x. (1.10)
Parte imaginaria de z:
Im z = y. (1.11)
CAP

ITULO 1. N

UMEROS COMPLEJOS 10
Complejo conjugado de z:
z = x iy. (1.12)
La aplicacion de C en C que a cada complejo z C le asigna su complejo conjugado z C
se conserva bajo la suma y el producto de n umeros complejos. Es decir
z
1
+ z
2
= z
1
+ z
2
,
z
1
z
2
= z
1
z
2
.
Fijarse que la segunda de las ecuaciones implica necesariamente que para z = 0 se cumple
que
z
1
= z
1
=
1
z
.
Adem as se tiene que
z = z.
A partir de la denici on del complejo conjugado se ve trivialmente que
Re z =
z + z
2
, Im z =
z z
2i
.
Por otro lado el producto
z z = x
2
+ y
2
0,
y permite evaluar de forma sencilla el inverso de un n umero complejo no nulo como
z
1
=
1
z
=
z
z z
=
x
x
2
+ y
2
i
y
x
2
+ y
2
(z = 0).
1.3. Interpretaci on geometrica. El plano complejo
Hemos visto que C tiene estructura de espacio vectorial sobre el cuerpo de los reales.

Esto sugiere la posibilidad de una interpretaci on geometrica de los n umeros complejos. De

hecho, los n umeros complejos son pares ordenados de n umeros reales y podemos establecer
una relaci on uno a uno entre los n umeros complejos y los puntos en un plano dotado de un
sistema de coordenadas cartesiano. Cuando se utiliza a efectos de representaci on de n umeros
complejos dicho plano se llama plano complejo o plano de Argand. El eje X se denomina eje
real mientras que el eje Y se denomina eje imaginario. Las regiones {y > 0} e {y < 0} se
denominan semiplano superior e inferior respectivamente. Las regiones {x > 0, y > 0},{x <
0, y > 0}, {x < 0, y < 0} y {x > 0, y < 0} son respectivamente el primer (I), segundo (II),
tercer (III) y cuarto (IV) cuadrantes.
1.3.1. Modulo de un n umero complejo
Se puede identicar el n umero complejo x + iy con el vector que une el origen de coor-
denadas con el punto (x, y) del plano complejo. El m odulo del n umero complejo z se denota
por |z| y se dene como la norma eucldea del vector asociado a dicho n umero complejo
|z| =
_
x
2
+ y
2
0, (1.13)
CAP

ITULO 1. N

UMEROS COMPLEJOS 11
(x,y)
II
III
Y
X
I
IV
|z|

x+iy = |z| ( cos +i sen )

Figura 1.1: Plano complejo y representaci on polar de un n umero complejo.
de modo que vemos que
|z|
2
= z z. (1.14)
El m odulo de un n umero complejo cumple las propiedades
1. |z| = 0 sii z = 0.
2. |z| = | z|.
3. Re z = x |x| |z|.
4. Im z = y |y| |z|.
5. |z| |Re z| +|Im z|.
6. |z
1
z
2
| = |z
1
| |z
2
|.
7. |z
1
+ z
2
| |z
1
| +|z
2
| y |z
1
+ z
2
|
2
2 (|z
1
|
2
+|z
2
|
2
).
8.

|z
1
| |z
2
|

|z
1
z
2
|.
9. Identidad de Lagrange:
|z
1
w
1
+ + z
n
w
n
|
2
=
_
n

k=1
|z
k
|
2
__
n

j=1
|w
j
|
2
_

kj=2
|z
k
w
j
z
j
w
k
|
2
.
Las propiedades 1. 5. son triviales de ver. Tanto 6. como 7. se pueden demostrar f acilmente
a partir de (1.14). Veamos la demostracion de 7.
|z
1
+ z
2
|
2
= |z
1
|
2
+|z
2
|
2
+ 2Re(z
1
z
2
) |z
1
|
2
+|z
2
|
2
+ 2|z
1
||z
2
| = (|z
1
| +|z
2
|)
2
,
de donde |z
1
+ z
2
| |z
1
| +|z
2
|. Tambien y puesto que 2|z
1
||z
2
| |z
1
|
2
+|z
2
|
2
se tiene
|z
1
+ z
2
|
2
2
_
|z
1
|
2
+|z
2
|
2
_
.
CAP

ITULO 1. N

UMEROS COMPLEJOS 12
En cuanto a 8., se puede ver de forma similar a como se demuestra la propiedad analoga
para n umeros reales
|z
1
| = |z
1
z
2
+ z
2
| |z
1
z
2
| +|z
2
| = |z
1
| |z
2
| |z
1
z
2
|,
|z
2
| = | z
2
| = |z
1
z
2
z
1
| |z
1
z
2
| +| z
1
| = |z
1
z
2
| +|z
1
| = |z
2
| |z
1
| |z
1
z
2
|,
de donde se concluye el resultado

|z
1
| |z
2
|

|z
1
z
2
|.
La relaci on en 9. se conoce como identidad de Lagrange y se puede probar como sigue
|z
1
w
1
+ + z
n
w
n
|
2
=

k=1
z
k
w
k

2
=
n

k=1
z
k
w
k
n

j=1
z
j
w
j
=
n

k=1
z
k
w
k
n

j=1
z
j
w
j
=
n

k=1
|z
k
|
2
|w
k
|
2
+
n

k<j=2
(z
k
w
k
z
j
w
j
) +
n1

k>j=1
(z
k
w
k
z
j
w
j
)
=
n

k=1
|z
k
|
2
n

j=1
|w
j
|
2

k<j=2
(|z
k
|
2
|w
j
|
2
z
k
w
k
z
j
w
j
)
n1

k>j=1
(|z
k
|
2
|w
j
|
2
z
k
w
k
z
j
w
j
)
=
n

k=1
|z
k
|
2
n

j=1
|w
j
|
2

k<j=2
(|z
k
|
2
|w
j
|
2
z
k
w
k
z
j
w
j
)
n

k<j=2
(|z
j
|
2
|w
k
|
2
z
j
w
j
z
k
w
k
)
=
n

k=1
|z
k
|
2
n

j=1
|w
j
|
2

k<j=2
(|z
k
|
2
|w
j
|
2
+|z
j
|
2
|w
k
|
2
z
k
w
k
z
j
w
j
z
j
w
j
z
k
w
k
)
=
n

k=1
|z
k
|
2
n

j=1
|w
j
|
2

k<j=2
|z
k
w
j
z
j
w
k
|
2
=
n

k=1
|z
k
|
2
n

j=1
|w
j
|
2

kj=2
|z
k
w
j
z
j
w
k
|
2
.
Puesto que el ultimo termino es necesariamente 0, tendremos que
|z
1
w
1
+ + z
n
w
n
|
2

k=1
|z
k
|
2
n

j=1
|w
j
|
2
= |z
1
w
1
+ + z
n
w
n
|

_
n

k=1
|z
k
|
2

_
n

j=1
|w
j
|
2
.
Dicho resultado se conoce como desigualdad de Cauchy-Schwarz.
CAP

ITULO 1. N

UMEROS COMPLEJOS 13
La propiedad 6., junto con el hecho de que |1|=1, implica necesariamente que
|z
1
| =
1
|z|
(z = 0), (1.15)
y por tanto

z
1
z
2

=
|z
1
|
|z
2
|
(z
2
= 0). (1.16)
1.3.2. Representacion polar de un n umero complejo
Los n umeros complejos se pueden representar mediante coordenadas polares y , donde
= |z| y es el angulo que forma el vector asociado a z con el semieje real positivo. Dado
z = x + iy
tendremos que
=
_
x
2
+ y
2
, cos =
x
_
x
2
+ y
2
, sen =
y
_
x
2
+ y
2
, (1.17)
z = (cos + i sen ). (1.18)
El angulo se denomina argumento de z y se denota como arg z. El argumento no
esta denido para z = 0. Adem as, para z = 0, solo esta denido salvo un m ultiplo entero de
2, ya que tanto el coseno como el seno son funciones periodicas con periodo 2. La funcion
arg z es una funcion multivaluada de z
arg z = + 2n, n Z (z = 0). (1.19)
Para evitar ambig uedades se puede elegir una determinaci on principal del argumento que se
designa como Arg z. Nosotros tomaremos
Arg z , [0, 2) (z = 0). (1.20)
Esta elecci on no es universal, as tambien es muy com un la elecci on Arg z [, )
2
.
La representaci on polar es muy util para la multiplicaci on y division de complejos. Dados
z
1
=
1
(cos
1
+ i sen
1
), z
2
=
2
(cos
2
+ i sen
2
),
tendremos que
z
1
z
2
=
1

2
(cos
1
cos
2
sen
1
sen
2
+ i cos
1
sen
2
+ i sen
1
cos
2
)
=
1

2
( cos(
1
+
2
) + i sen(
1
+
2
) ).
El m odulo del producto
|z
1
z
2
| =
1

2
= |z
1
| |z
2
|,
es el producto de los m odulos como ya sabamos y
Arg z
1
z
2
= Arg z
1
+ Arg z
2
(mod 2) (z
1
, z
2
= 0),
2
M as generalmente, Arg

z = Arg (e
i
z) + produce el argumento en [, 2 + ).
CAP

ITULO 1. N

UMEROS COMPLEJOS 14
donde la notacion a = b (mod c) signica que a b = nc con n Z.
De forma general tendremos (se prueba por inducci on o m as f acilmente usando la f ormula
de Euler que se introduce m as adelante.)
z
1
z
2
z
n
=
1

2

n
[ cos(
1
+
2
+ +
n
) + i sen(
1
+
2
+ +
n
) ], (1.21)
o lo que es lo mismo
|z
1
z
2
z
n
| =
1

2

n
= |z
1
| |z
2
| |z
n
|, (1.22)
Arg (z
1
z
2
z
n
) = Arg z
1
+ Arg z
2
+ Arg z
n
(mod 2) (z
1
, z
2
, . . . , z
n
= 0).(1.23)
Para el inverso y el conjugado tendremos que si z = (cos + i sen ) entonces
z
1
=
1

(cos i sen ) =
1

(cos() + i sen() ) (z = 0),

z = (cos i sen ) = (cos() + i sen() ),
o lo que es lo mismo
|z
1
| =
1

=
1
|z|
(z = 0), | z| = = |z|, (1.24)
como ya sabamos y
Arg z
1
= Arg z = Arg z (mod 2) (z = 0). (1.25)
Fijarse adem as que
arg (z
1
z
2
z
n
) = arg z
1
+ arg z
2
+ arg z
n
(z
1
, z
2
, . . . , z
n
= 0), (1.26)
arg z
1
= arg z = arg z (z = 0). (1.27)
1.3.3. Calculo de las potencias de un n umero complejo en repre-
sentacion polar
Dados n Z y z C se dene z
n
como
z
n
=
_

_
n veces
..
z z n > 0,
1 n = 0,
|n| veces
..
z
1
z
1
n < 0, z = 0.
(1.28)
Utilizando la representaci on polar tendremos
z
n
= [|z|(cos + i sen )]
n
= |z|
n
(cos + i sen )
n
=|z|
n
(cos(n) + i sen(n)),
donde he usado (1.21), y de donde se concluye el resultado ya conocido |z
n
| = |z|
n
(para
n < 0 solo si z = 0), y se obtiene la relaci on
3
cos(n) + i sen(n) = (cos + i sen )
n
, n Z, (1.29)
que se conoce como formula de Moivre.
3
O equivalentemente
cos(n) = Re (cos + i sen)
n
,
sen(n) = Im (cos + i sen )
n
.
CAP

ITULO 1. N

UMEROS COMPLEJOS 15
1.3.4. Formula de Euler
En este momento, y aunque su plena justicacion habra de esperar a la introducci on de
la exponencial de un n umero complejo, conviene denir
e
i
= cos + i sen , (1.30)
relaci on que se conoce como formula de Euler. Podemos justicar esta denici on a partir de
los desarrollos en serie de Maclaurin de las funciones seno, coseno y exponencial de n umeros
reales. Sabemos que la cantidad e

se puede representar por su serie de Maclaurin como

4
e

n=0

n
n!
,
de modo que podramos denir e
i
como
e
i
=

n=0
(i)
n
n!
.
Esta denici on quedara legitimada cuando estudiemos el problema de la convergencia de
series complejas en el captulo 6 y de hecho se ve que la serie anterior representa un n umero
complejo bien denido. Un reordenamiento de los terminos de la serie, lo que veremos es
posible para series convergentes en m odulo como es el caso aqu, nos permite reescribir
e
i
=

n=0
(i)
n
n!
=

n=0
(1)
n

2n
(2n)!
+ i

n=0
(1)
n

2n+1
(2n + 1)!
= cos + i sen .
Con la formula de Euler podemos introducir la forma exponencial de un n umero complejo
z = |z| e
i
(1.31)
Algunas de las relaciones ya vistas adquieren un forma particularmente simple cuando se
usa la notacion exponencial, as
z
1
z
2
= |z
1
|e
i
1
|z
2
|e
i
2
= |z
1
||z
2
|e
i(
1
+
2
)
, (1.32)
z
1
=
1
|z|e
i
=
1
|z|
e
i
, (1.33)
z = |z| e
i
= |z| e
i
(1.34)
de modo que al igual que para exponenciales reales tendremos
e
i
1
e
i
2
= e
i(
1
+
2
)
,
1
e
i
= e
i
. (1.35)
Adem as
e
i
= e
i
=
1
e
i
. (1.36)
4
Recordad que por convenio 0! = 1.
CAP

ITULO 1. N

UMEROS COMPLEJOS 16
A partir de las expresiones para e
i
, e
i
obtenemos
cos =
e
i
+ e
i
2
, sen =
e
i
e
i
2i
. (1.37)
Como ejemplo de la utilidad de la formula de Euler evaluemos la suma
1 + cos + cos(2) + + cos(n).
Para ello denamos

n
= 1 + e
i
+ e
i2
+ + e
in
,
y utilicemos que
1 + cos + cos(2) + + cos(n) = Re
n
.

n
corresponde a la suma de los n + 1 primeros terminos de una serie geometrica compleja
de razon e
i
. Dicha suma se puede evaluar igual que en el caso real. En efecto,

n
= 1 + e
i
+ e
i2
+ + e
in
= e
i

n
e
i(n+1)
+ 1
=
n
=
e
i(n+1)
1
e
i
1
( = 2k, k Z).
Entonces

n
=
e
i(n+1)
1
e
i
1
=
e
i(n+1)/2
e
i/2
e
i(n+1)/2
e
i(n+1)/2
e
i/2
e
i/2
= e
in/2
sen((n + 1)/2)
sen(/2)
( = 2k, k Z),
de donde
1 + cos + cos(2) + + cos(n) = Re
n
= cos(n/2)
sen[(n + 1)/2]
sen(/2)
( = 2k, k Z).
De hecho la expresion anterior tambien nos da el resultado correcto,
n
= n+1, en el lmite
en el que 2k, k Z. Como resultado adicional obtenemos tambien que
sen + sen(2) + + sen(n) = Im
n
= sen(n/2)
sen[(n + 1)/2]
sen(/2)
( = 2k, k Z),
siendo la suma igual a 0 si = 2k, k Z. Dicho resultado se puede obtener de la expresion
anterior tomando el lmite cuando 2k, k Z.
CAP

ITULO 1. N

UMEROS COMPLEJOS 17
1.3.5. Races de un n umero complejo
Se dice que w es una raz nesima (n N) de un n umero complejo z cuando
w
n
= z. (1.38)
Escribiendo
z = |z|e
i
, w = |w|e
i
,
tendremos que
|w|
n
e
in
= w
n
= z = |z|e
i
,
de donde se concluye que el m odulo de w viene dado por
|w|
n
= |z| = |w| =
n
_
|z|, (1.39)
mientras que para su argumento tendremos que
n = + 2m (m Z),
dando lugar a n soluciones distintas que se corresponden con los valores

m
=

n
+
m
n
2, m = 0, . . . , n 1. (1.40)
Fijarse que para m n o m < 0 se repiten las soluciones puesto que argumentos que dieren
en un m ultiplo de 2 describen el mismo n umero complejo. La funcion z
1/n
, n N, denida
como toda solucion de la ecuacion w
n
= z, es por tanto multivaluada.
Como vemos las n soluciones distintas estan a la misma distancia del origen y la separa-
ci on angular entre los vectores correspondientes a dos races consecutivas es
2
n
. Para n 3,
las races se corresponden con los vertices de un polgono regular de n lados.
Para n 2, la suma de las n races nesimas de un complejo z verican
n1

m=0
w
m
=
n
_
|z|e
i/n
n1

m=0
e
im2/n
=
n
_
|z|e
i/n
e
i2
1
e
i2/n
1
= 0 (2 n N). (1.41)
De hecho, para 0 = k Z tal que
k
n
/ Z tendremos que
n1

m=0
w
k
m
=
n
_
|z|
k
e
ik/n
n1

m=0
e
imk2/n
=
n
_
|z|
k
e
ik/n
e
ik2
1
e
ik2/n
1
= 0 (2 n N, 0 = k Z,
k
n
/ Z). (1.42)
Para z = 0, la denici on de raz se puede extender a valores negativos del exponente si
denimos
z
1/n
=
1
z
1/n
(z = 0, n N). (1.43)
CAP

ITULO 1. N

UMEROS COMPLEJOS 18
1.4. Conjuntos en el plano complejo
1.4.1. Deniciones. Teoremas de Bolzano-Weierstrass y de Heine-
Borel
Conviene introducir una serie de deniciones:
Denicion 1.4.1 (Conjunto) : Cualquier coleccion de puntos del plano complejo consti-
tuye un conjunto.
Por ejemplo S = {z C | Re z > 0} son todos los puntos del plano complejo a la derecha
del eje imaginario.
Denicion 1.4.2 (Complementario de un conjunto) : Dado un conjunto S de C se
dene su complementario, y se denota por C(S), al conjunto C(S) = {z C | z / S}.
Denicion 1.4.3 (Subconjunto de un conjunto) : Dados S
1
, S
2
conjuntos en C dire-
mos que S
1
S
2
si todo elemento z de S
1
pertenece tambien a S
2
. Se dice que S
1
es un
subconjunto de S
2
.
Denicion 1.4.4 (Union de conjuntos) : Dados S
1
, S
2
conjuntos en C se dene la union
de S
1
y S
2
y se denota como S
1
S
2
al conjunto de puntos
S
1
S
2
= {z C | z S
1
, z S
2
o z S
1
, S
2
}.
Denicion 1.4.5 (Intersecci on de conjuntos) : Dados S
1
, S
2
conjuntos en C se dene
la interseccion de S
1
y S
2
y se denota como S
1
S
2
al conjunto de puntos
S
1
S
2
= {z C | z S
1
y z S
2
}.
Denicion 1.4.6 (Entorno de un punto) : Se dene un entorno del punto z
0
C con
radio > 0 R, y se denota como D(z
0
, ), al conjunto
D(z
0
, ) = {z C | |z z
0
| < }.
Denicion 1.4.7 (Punto lmite de un conjunto) : Un punto z
0
C es un punto lmite
de un conjunto S C si cualquier entorno D(z
0
, ) contiene al menos un punto de S distinto
de z
0
.
De hecho habra de contener un n umero innito de puntos distintos de S. En efecto,
dado = 1 podemos encontrar un z
1
S de modo que z
1
= z
0
y | z
1
z
0
| < 1, dado
=
| z
1
z
0
|
2
<
1
2
podremos encontrar un z
2
S de modo que z
2
= z
0
, z
1
y | z
2
z
0
| <
| z
1
z
0
|
2
<
1
2
,
dado =
| z
2
z
0
|
2
<
1
2
2
<
1
3
podremos encontrar un z
3
S de modo que z
3
= z
0
, z
1
, z
2
y
| z
3
z
0
| <
| z
2
z
0
|
2
<
1
2
2
<
1
3
y as sucesivamente. Ahora, dado un > 0 existe un N() > 0
de modo que para todo n N se tiene que | z
n
z
0
| <
1
n
< . Entonces para todo n N se
tiene que z
n
D(z
0
), y por tanto un entorno arbitrario de un punto lmite contiene innitos
puntos distintos del conjunto S.
Denicion 1.4.8 (Punto interior de un conjunto) : Un punto z
0
S se dice que es un
punto interior de S si puedo encontrar un > 0 tal que D(z
0
, ) S.
CAP

ITULO 1. N

UMEROS COMPLEJOS 19
Denicion 1.4.9 (Conjunto abierto) : Un conjunto S C se dice que es abierto si todos
sus puntos son interiores.
Trivialmente se ve que la union de abiertos es un abierto y la interseccion de abiertos es un
abierto
5
.
Denicion 1.4.10 (Conjunto cerrado) : Un conjunto S C se dice que es cerrado si
contiene todos sus puntos lmite o si no tiene puntos lmite.
Un conjunto nito es trivialmente cerrado al no tener puntos lmite.
Al igual que en el caso de conjuntos abiertos se tiene que la uni on de cerrados es cerra-
do y que la interseccion de cerrados es cerrado. La prueba es sencilla y se deja como ejercicio.
Tambien se puede ver de forma sencilla que el complementario de un cerrado es abierto
y el complementario de un abierto es cerrado.
6
Denicion 1.4.11 (Punto frontera de un conjunto) : Un punto z
0
C es un punto
frontera de un conjunto S C si cualquier entorno D(z
0
, ) contiene a la vez puntos de
S y puntos de C(S). El conjunto de los puntos frontera de S se denomina frontera de S y
se denota por (S). Necesariamente (S) es cerrado
7
.
Fijarse que un punto lmite de un conjunto, o bien es interior al conjunto, o bien es
un punto frontera del mismo. Entonces, dado un conjunto S C, se tiene que S (S) es
cerrado.
Denicion 1.4.12 (Cierre de un conjunto) : La union de S con el conjunto de sus pun-
tos lmite se denomina cierre de S y se denota por

S. Necesariamente

S = S (S)
8
siendo
un conjunto cerrado.
Denicion 1.4.13 (Conjunto vaco) : Se denomina conjunto vaco y se denota por al
conjunto que no contiene nig un punto.
5
Veamos que la interseccion de abiertos es un abierto. Sean S
1
, S
2
dos conjuntos abiertos y sea z S =
S
1
S
2
. Puesto que z S
1
y S
1
es abierto existe un
1
> 0 de modo que D(z,
1
) S
1
. De forma analoga
existe un
2
> 0 de modo que D(z,
2
) S
2
. El entorno D(z, ), con = mn{
1
,
2
} es tal que est a contenido
en S
1
y S
2
por lo que est a contenido en la interseccion S = S
1
S
2
. Luego todos los puntos de S son interiores
y S es abierto. Probar que la union de abiertos es abierto se hace de forma similar.
6
Por ejemplo, si S C es cerrado y z
0
C(S) tendremos que al menos debe existir un entorno D(z
0
, )
que no tenga puntos de S y por tanto D(z
0
, ) C(S). Entonces, cualquier z
0
C(S) es un punto interior
y C(S) es abierto.
7
En efecto, sea z
0
un punto lmite de (S) y consideremos un entorno arbitrario de dicho punto D(z
0
, ).
Dicho entorno contendra al menos un punto z
1
(S) tal que z
1
= z
0
. Sea ahora =
|z0z1|
2
, puesto que
z
1
(S), el entorno D(z
1
, ) contendra puntos de S y puntos de C(S) . Como quiera que D(z
1
, ) D(z
0
, )
tendremos que D(z
0
, ) contiene puntos de S y puntos de C(S). Lo anterior es cierto para cualquier entorno
D(z
0
, ) por lo que z
0
(S). (S) contiene a todos sus puntos lmite por lo que es cerrado.
8
Puesto que un punto lmite de un conjunto, o bien es un punto interior, o bien est a en la frontera,
necesariamente

S S (S). Por otro lado si z
0
(S) pueden ocurrir dos cosas: 1) Que z
0
sea un punto
aislado, es decir que exista un entorno D(z
0
, ) de modo que el unico punto de S contenido en dicho entorno
sea el propio z
0
. En este caso z
0
S. 2) Que todo entorno de z
0
contenga al menos un punto de S distinto
del propio z
0
, lo que dira que z
0
es un punto lmite del conjunto. De lo anterior se deduce que (S) S, y
puesto que tambien S S se tendra que S (S) S. Entonces S = S (S).
CAP

ITULO 1. N

UMEROS COMPLEJOS 20
Denicion 1.4.14 (Conjunto acotado) : Se dice que el conjunto S C es acotado cuan-
do existe () un M > 0 tal que |z| < M, z S.
Denicion 1.4.15 (Conjunto compacto) : Un conjunto S C se dice que es compacto
si todo subconjunto innito de S tiene al menos un punto lmite en S.
Al igual que en el caso de conjuntos en R, un conjunto S C es compacto sii es cerrado
y acotado.
Teorema 1.4.1 : Un conjunto S C compacto es necesariamente cerrado y acotado.
Demostracion: Veamos que si S es compacto es necesariamente cerrado y acotado. Para
ver que es cerrado sea z
0
un punto lmite de S. Entonces, dado = 1 podemos encontrar un
punto z
1
S tal que |z
1
z
0
| < 1. Dado =
1
2
podemos encontrar un punto z
2
S, z
2
= z
1
tal que |z
2
z
0
| <
1
2
, y as sucesivamente. De esta forma podemos construir el subconjunto
innito de puntos de S formado por {z
1
, z
2
, . . .}. Por ser S compacto dicho subconjunto
innito admite un punto lmite en S. Pero dicho punto lmite es necesariamente z
0
9
, de
donde z
0
S. S contiene a todos sus puntos lmite y por tanto es cerrado. Probemos que
es acotado por reducci on al absurdo. Si S no fuera acotado podramos encontrar un z
1
S
tal que |z
1
| > 1, un z
2
S tal que |z
2
| > 2 y as sucesivamente. El subconjunto innito
formado por {z
1
, z
2
, . . .} no admite puntos lmite lo que contradice que S sea compacto.
Necesariamente si S es compacto debe ser acotado.
La inversa tambien es cierta, es decir, que todo conjunto cerrado y acotado es compac-
to. La prueba se deduce inmediatamente del teorema de Bolzano-Weierstrass que damos a
continuacion.
Teorema 1.4.2 (Teorema de Bolzano-Weierstrass) : Todo conjunto acotado e innito
admite al menos un punto lmite
Demostracion: Sea S C un conjunto innito y acotado. Por ser acotado M >
0 / |z| < M, z S. Consideremos el conjunto de puntos Z
0
= {z = x + iy | |x| M, |y|
M}. Dicho conjunto contiene a S. Consideremos ahora los cuatro cuadrados cerrados con-
tenidos en cada uno de los cuadrantes y cuya union es el conjunto Z
0
, al menos uno de
ellos tendr a un n umero innito de puntos de S. Supongamos que sea el del II cuadrante y
denotemoslo por Z
1
. Z
1
= {z = x + iy | M x 0, 0 y M}. Dicho cuadrado se
puede dividir en otros cuatro cuadrados cerrados cuya union es Z
1
y al menos uno de ellos
contendr a innitos puntos de S. El proceso se repite de modo que generamos una sucesion
de conjuntos cerrados y encajados (Ver Figura 1.2)
Z
1
Z
2
Z
3
. . .
Las proyecciones de los elementos de dichos conjuntos sobre los ejes real e imaginario denen
dos conjuntos de intervalos cerrados y encajados en R cuya amplitud tiende a 0
X
1
X
2
X
3
. . . , Y
1
Y
2
Y
3
. . .
9
Es el resultado del teorema 6.1.1 que estudiaremos mas adelante.
CAP

ITULO 1. N

UMEROS COMPLEJOS 21
X
X
X
1
3
2
3
2
Y
Y
Y
1
Figura 1.2: Construccion de rect angulos encajados para la prueba del teorema de Bolzano-
Weierstrass.
La existencia del supremo para n umeros reales nos permite concluir que existe un unico (
1
)
x
0
R com un a todos los intervalos X
n
, n = 1, 2, . . . y
1
y
0
R com un a todos los intervalos
Y
n
, n = 1, 2, . . .
10
. Obviamente, z
0
= x
0
+ iy
0
C sera el unico n umero complejo com un a
todos los cuadrados cerrados Z
n
, n = 1, 2, . . .. Veamos que z
0
es un punto lmite. Para ello
sea D(z
0
, ) un entorno de z
0
. Existira un N tal que n > N tendremos que M/2
n2
< .
Entonces z Z
n
se tendr a
|z z
0
| |x x
0
| +|y y
0
| <
M
2
n1
+
M
2
n1
<

2
+

2
= .
Por tanto en cualquier entorno de z
0
hay innitos puntos de S de donde se deduce que z
0
es
un punto lmite de S.
Corolario 1.4.1 : Todo conjunto S C cerrado y acotado es compacto.
Demostracion: En efecto, para cualquier subconjunto innito de S el teorema de Bolzano-
Weierstrass nos asegura que dicho subconjunto tiene al menos un punto lmite. Ahora bien
como S es cerrado dicho punto lmite debe estar en S, de donde S sera compacto.
El teorema de Bolzano-Weierstrass nos permite establecer el siguiente resultado:
Teorema 1.4.3 : Sea S
1
S
2
S
3
. . . una secuencia de conjuntos encajados todos ellos
con innitos elementos, cerrados y acotados. Sea d
n
el supremo del conjunto de distancias
entre pares de puntos del conjunto S
n
y sea lm
n
d
n
= 0
11
. Entonces
1
punto com un a
todos los S
n
.
10
Sea X
n
= [a
n
, b
n
]. Por construcci on, cada uno de los b
n
es una cota superior del conjunto {a
j
, j N}.
El supremo de dicho conjunto, que denotamos por x
0
es mayor o igual que todos los elementos del conjunto
y al ser el supremo tambien es menor o igual que todas las cotas superiores, por lo que es menor o igual que
todos los {b
j
, j N}. El supremo es por tanto com un a todos los X
n
. Sea ahora x tal que |x x
0
| = d > 0,
podremos encontrar un N > 0 de modo que para todo n N se tiene que b
n
a
n
<
d
2
. Eso garantiza que x
no est a en ninguno de los X
n
, n N, y por tanto no puede ser un punto com un a todos los X
n
. Es decir
que x
0
es el unico punto com un a todos los X
n
. De igual forma se razona para los Y
n
.
11
Es decir, que dado > 0 arbitrario se puede encontrar un N() de modo que |d
n
| < , n N.
CAP

ITULO 1. N

UMEROS COMPLEJOS 22
Demostracion: Construyamos un conjunto innito de puntos {z
1
, z
2
, . . .} donde z
n
S
n
y z
j
= z
k
si j = k. Dicho conjunto es necesariamente acotado y el teorema de Bolzano-
Weierstrass nos dice que admite al meno un punto lmite z
0
. Puesto que los intervalos estan
encajados, cualquier entorno de z
0
contiene innitos puntos de cualquiera de los S
n
siendo
por tanto un punto lmite com un a todos ellos. Como los S
n
son cerrados z
0
S
n
S
n
.
Ningun otro punto z

0
= z
0
puede ser com un a todos los S
n
. En efecto para z

0
= z
0
podemos
encontrar un N sucientemente grande de modo que d
N
< |z

0
z
0
| y por tanto z

0
no puede
estar en ning un S
n
, n N.
Nos interesa introducir el concepto de recubrimiento de un conjunto S.
Denicion 1.4.16 (Recubrimiento) : Un recubrimiento de un conjunto S C es una
coleccion de conjuntos {C

} tal que para todo z S existe un de modo que z C

.
Un teorema muy importante acerca de recubrimientos es el teorema de Heine-Borel que
vemos a continuacion.
Teorema 1.4.4 (Teorema de Heine-Borel) : Si el conjunto S C es cerrado y acotado
(compacto) todo recubrimiento {C

} de abiertos (todos los C

son abiertos), admite un sub-

recubrimiento nito {C

j
, j = 1, . . . , m}.
Demostracion: Por ser S acotado, existe M > 0 / |z| < M, z S. Al igual que
en la demostracion del teorema de Bolzano-Weierstrass consideremos el cuadrado cerrado
Z
0
= {z = x + iy | |x| M, |y| M} que contiene a S y dividamos dicho cuadrado en
cuatro cuadrados cerrados iguales. Si S no admite un sub-recubrimiento nito, al menos la
interseccion de uno de los cuatro cuadrados con S no se puede recubrir por un subconjunto
nito del recubrimiento {C

}. Denotemos por Z
1
a dicho cuadrado y por S
1
= Z
1
S. A
continuacion dividamos dicho cuadrado Z
1
en cuatro cuadrados iguales. Al menos uno de
ellos, que denotare como Z
2
, es tal que la interseccion S
2
= Z
2
S, que es cerrada, no se
puede recubrir por un subconjunto nito del recubrimiento original {C

}. Continuando el
proceso construimos una secuencia de subconjuntos encajados y cerrados de S
S
1
S
2
. . . ,
de modo que d
n

2M
2
n1
y lm
n
d
n
= 0. El teorema anterior nos garantiza que
1
z
0

S
n
, n. z
0
pertenecera a S y existir a un valor
0
para el cual z
0
C

0
. Puesto que C

0
es
un abierto podemos encontrar un D(z
0
, ) C

0
. Ahora bien existir a un N sucientemente
grande tal que n N se tenga que
d
n
< = S
n
Z
n
D(z
0
, ),
y por tanto todos los S
n
, n N esta n recubiertos por un unico C

0
. Esto contradice
la armaci on de que ning un S
k
se puede recubrir por un subconjunto nito de los {C

}.
La unica forma de no llegar a contradiccion es que S admita un sub-recubrimiento nito,
probandose as el teorema.
CAP

ITULO 1. N

UMEROS COMPLEJOS 23
N
S
.
.
z
P
Figura 1.3: Esfera de Riemann.
1.4.2. Esfera de Riemann y el plano complejo extendido
A la hora de denir ciertos lmites, es conveniente incluir con el plano complejo el punto
del innito que denotaremos como . El plano complejo junto con este punto ideal (no es
un n umero complejo) constituye el llamado plano complejo extendido que denotaremos por
C

. Para visualizar dicho punto consideremos una esfera unidad cuyo polo sur es tangente
al plano complejo en el origen de coordenadas (Ver Figura 1.3). A cada punto z del plano
complejo le corresponde exactamente un punto P sobre la esfera. Dicho punto se determina
mediante la interseccion con la esfera de la recta que pasa por el polo norte de la misma y
el punto z del plano. A cada punto sobre la esfera, exceptuando el polo norte le corresponde
exactamente un unico punto sobre el plano complejo. Cuanto mayor es el m odulo de z m as
cerca esta su imagen P del polo norte de la esfera. Si queremos incluir el polo norte de la
esfera como un punto imagen debemos a nadir al plano complejo el punto ideal del innito.
En este caso tendremos una correspondencia uno a uno entre la esfera y el plano complejo
extendido C

. La esfera se conoce como esfera de Riemann y la correspondencia que hemos

establecido proyeccion estereograca
12
.
Algunas propriedades a la hora de operar con el punto del innito son
z = , z = ,
z

= 0,
z
0
= (z = 0), = .
donde z es un n umero complejo ordinario
Denicion 1.4.17 (Entorno del innito) : Se dene un entorno del innito de radio
R > 0 como el conjunto D(, R) = {z C | |z| > R}.
1.4.3. Curvas y regiones
En el estudio de la integraci on de funciones complejas juegan un papel fundamental un
tipo especial de conjuntos de puntos denominados curvas.
12
Fijarse que tambien es muy com un que la esfera de Riemann se construya de modo que su ecuador
este sobre la circunferencia de radio unidad en el plano complejo.
CAP

ITULO 1. N

UMEROS COMPLEJOS 24
Denicion 1.4.18 (Curva simple de Jordan) : Se denomina curva simple de Jordan a
un conjunto de puntos denidos por la ecuacion parametrica
z(t) = x(t) + i y(t), 0 t 1,
donde x(t), y(t) son funciones reales continuas de modo que z(t
1
) = z(t
2
) si t
1
= t
2
.
Teorema 1.4.5 : Una curva simple de Jordan es un conjunto compacto.
Demostracion: Veamos que es un conjunto cerrado y acotado. Sea z un punto lmite
de la curva. Dado = 1 podremos encontrar un z(t
1
) en la curva de modo que z(t
1
) = z
y |z(t
1
) z| < 1, dado =
|z(t
1
)z|
2
<
1
2
podremos encontrar un z(t
2
) en la curva de modo
que z(t
2
) = z, z(t
1
) y |z(t
2
) z| <
|z(t
1
)z|
2
<
1
2
, y as sucesivamente. Puesto que la curva
es simple tendremos que t
j
= t
k
si j = k. El conjunto innito {t
1
, t
2
, . . .} constituye un
subconjunto innito del compacto [0, 1] y admitira un punto lmite en [0, 1]. Es decir que
existe un

t [0, 1] que es un punto lmite de {t
1
, t
2
. . .}. Veamos que z(

t ) = z. Dado > 0
podemos encontrar un N de modo que |z(t
N
) z| <
1
N
<

2
. Adem as, por ser las funciones
x(t), y(t) continuas en [0, 1], dado un > 0 podremos encontrar
x
(,

t ),
y
(,

t ) de modo
que |x(t) x(

t )| <

4
, para todo t [0, 1] tal que |t

t | <
x
y tambien |y(t) y(

t )| <

4
,
para todo t [0, 1] tal que |t

t | <
y
. Entonces |z(t) z(

t )| |x(t) x(

t )| + |y(t)
y(

t )| <

2
para todo t [0, 1] tal que |t

t | < = mn{
x
,
y
}. Puesto que

t es un punto
lmite de {t
1
, t
2
, . . .}, dado podremos encontrar un t
j
, j N, de modo que |t
j


t | <
y por tanto |z(t
j
) z(

t )| <

2
. Se tiene entonces que |z z(

t )| = |z z(t
j
) + z(t
j
)
z(

t )| |z z(t
j
)| + |z(t
j
) z(

t )| < . Puesto que es arbitrario, necesariamente z =

z(

t ). La curva contiene a todos sus puntos lmite por lo que es un conjunto cerrado. Para
ver que es un conjunto acotado basta con utilizar que la continuidad de x(t), y(t) en el
compacto [0, 1] asegura que son funciones acotadas en [0, 1], de donde |z(t)| |x(t)| +
|y(t)| esta acotada en [0, 1]. La curva simple de Jordan es por tanto un conjunto compacto.
Denicion 1.4.19 (Curva simple y suave de Jordan) : Se denomina curva simple y
suave de Jordan a un curva simple de Jordan para la que x(t) = dx(t)/dt e y(t) = dy(t)/dt
son continuas y ademas x
2
+ y
2
= 0.
Puesto que el vector tangente a una curva tiene componentes x, y, las curvas suaves de
Jordan tienen vector tangente en cada punto ( x
2
+ y
2
= 0).
Denicion 1.4.20 (Curva simple cerrada de Jordan) : Se llama curva simple cerrada
de Jordan a un conjunto de puntos denidos por la ecuacion parametrica
z(t) = x(t) + i y(t), 0 t 1,
donde x(t), y(t) son funciones reales continuas de modo que z(t
1
) = z(t
2
) solo si t
1
= 1, t
2
=
0 o t
1
= 0, t
2
= 1.
Toda curva simple y cerrada de Jordan divide el plano complejo en dos conjuntos abiertos
disjuntos, siendo la curva la frontera de ellos. Uno de estos conjuntos esta acotado (el conjunto
interior a la curva) mientras que el otro (el exterior a la curva) no es acotado. Este resultado,
que resulta bastante intuitivo, constituye el teorema de Jordan. El teorema es sin embargo
de difcil demostracion.
CAP

ITULO 1. N

UMEROS COMPLEJOS 25
Denicion 1.4.21 (Curva simple y suave a trozos de Jordan) : Se denomina curva
simple y suave a trozos de Jordan a una curva simple de Jordan para la que x(t) = dx(t)/dt
e y(t) = dy(t)/dt son continuas a trozos y x
2
+ y
2
= 0. A este tipo de curva de Jordan se la
denomina contorno simple.
Denicion 1.4.22 (Curva simple cerrada y suave a trozos de Jordan) : Se denomi-
na curva simple cerrada y suave a trozos de Jordan a una curva simple y cerrada de Jordan
para la que x(t) = dx(t)/dt e y(t) = dy(t)/dt son continuas a trozos y x
2
+ y
2
= 0. A este
tipo de curva se la denomina contorno simple cerrado.
Para contornos simples (cerrados o no) la longitud de la curva viene dada por la integral
de Riemann ordinaria
L =
n

k=0
_
t
k+1
t
k
_
x
2
+ y
2
dt, (1.44)
donde 0 = t
0
< t
1
< < t
n+1
= 1 es la partici on necesaria para dividir el intervalo [0, 1] en
sub-intervalos en los que x, y sean funciones continuas de t.
Denicion 1.4.23 (Conjunto conexo) : Un conjunto S C se dice que es conexo si cada
par de puntos en S se pueden conectar por una curva simple de Jordan contenida totalmente
en S.
El conjunto de puntos
S
1
= {z C | 1 < |z| < 2}
es un ejemplo de conjunto conexo mientras que
S
1
= {z C | |z 1| < 1 o |z + 1| < 1}
no lo es.
Teorema 1.4.6 : Si un conjunto de puntos S C es abierto y conexo entonces cada par de
puntos del conjunto se puede unir mediante una linea poligonal, es decir, un contorno simple
formado por la union de un conjunto nito de segmentos todos ellos dentro del conjunto.
Demostracion: Por ser conexo podemos unir cada par de puntos por una curva simple de
Jordan totalmente contenida en el conjunto. Por ser el conjunto abierto, para cada z(t) en la
curva de Jordan (t) tal que C
t
= D(z(t), (t)) = {z C | |z z(t)| < (t)} S. {C
t
} es un
recubrimiento por abiertos de la curva simple de Jordan. Puesto que la curva es un compacto
admitira un sub-recubrimiento nito {C
t
j
, j = 1, . . . , n}, donde 0 = t
1
< < t
n
= 1.
Tomemos ahora C
t
1
. Por ser S conexo, dicho abierto intersecta al menos con otro de los
{C
t
j
, j = 1}. Unamos mediante un segmento el punto z(0) en C
t
1
con un punto z
k
en C
t
k
,
donde el entero k = 1 es el mayor valor de j para el que C
t
1
C
t
j
= . El proceso se continua
hasta que despues de un n umero nito de pasos lleguemos a z(1). La uni on de los segmentos
as construida esta en S. En caso de que en la construcci on se hayan producido intersecciones
de segmentos (que haya puntos m ultiples) se puede denir un procedimiento sencillo para
eliminarlas (ver por ejemplo el Dettman). El resultado nal es un contorno simple formado
por segmentos de recta.
CAP

ITULO 1. N

UMEROS COMPLEJOS 26
De hecho se puede pedir que todos los segmentos de recta sean paralelos al eje real
o imaginario, ya que siempre sera posible unir el centro de un entorno de un punto con
cualquier otro punto de dicho entorno mediante dos segmentos paralelos a los ejes.
Denicion 1.4.24 (Dominio) : Un conjunto no vaco que sea abierto y conexo es lo que
se denomina un dominio.
Denicion 1.4.25 (Regi on) : Una region es un dominio junto con todos, algunos, o nin-
guno de sus puntos frontera.
Denicion 1.4.26 (Dominio simplemente conexo) : Un dominio G se dice que es sim-
plemente conexo si toda curva simple y cerrada de Jordan contenida en G tiene su interior
totalmente contenido en G.
Por ejemplo el conjunto de puntos S
1
= {z C | 1 < |z| < 2} no es simplemente conexo.