Captulo 1

Los nmeros complejos

En este captulo, estudiaremos la estructura de los nmeros complejos. Se supondr que el lector
conoce y est familiarizado con los nmeros reales y sus propiedades.
Como veremos, los nmeros complejos presentan una doble naturaleza, algebraica y topolgica-
geomtrica. Desde el punto de vista algebraico, los nmeros complejos tienen estructura de cuerpo, con
dos operaciones (suma y producto) y vericando propiedades anlogas a las que tienen la suma y el
producto de nmeros reales. Desde el punto de vista topolgico-geomtrico los nmeros complejos se
identican al plano eucldeo usual y la estructura toplogica y geomtrica est inducida por la distancia
eucldea.
1.1. Introduccin
El cuerpo de los nmeros complejos se puede obtener a partir de los nmeros reales aadiendo
la raz cuadrada de 1. Es reseable, que el cuerpo as obtenido contiene no slo todas las races
cuadradas de cualquier nmero real, sino tambin las races n-simas de cualquier nmero real para
cualquier entero positivo n. Es an ms notorio, que al adjuntar la raz de 1, estamos aadiendo a
los nmeros reales una solucin de la ecuacin x
2
+1 = 0 (que no tiene solucin en los nmeros reales),
pero no slo hemos aadido una raz de la ecuacin anterior, sino que tenemos que todo polinomio no
constante con coecientes nmeros complejos tiene una raz en el cuerpo de los nmeros complejos. En
otras palabras, el cuerpo de los nmeros complejos es algebraicamente cerrado. Aunque existen varias
demostraciones de este hecho, quizs la ms simple no es de naturaleza algebraica y la obtendremos
ms adelante aqu como consecuencia de la Teora de Funciones de Variable Compleja que vamos a
desarrollar.
Es habitual, denotar por i (llamada unidad imaginaria) la raz cuadrada de 1, es decir, tenemos
1
2 Graduado en Ingeniera en Electrnica Industrial y Automtica. Variable Compleja. 2013/14.
que i
2
= 1. Con esta identidad un nmero complejo se escribe como a + ib y las operaciones suma y
producto se denen operando formalmente y teniendo en cuenta que i
2
= 1. As, (a+ib) +(c +id) =
(a + c) + i(b + d) y (a + ib)(c + id) = (ac bd) + i(ad + bc).
La estructura algebraica de los nmeros complejos est determinada por las operaciones anteriores,
pero no estamos ms que considerando el plano real R R = R
2
, identicando el par (a, b) con el
nmero complejo a + ib. ste ser nuestro punto de vista, pues nos permitir no slo considerar la
estructura algebraica, sino tambin, la naturaleza geomtrica y topolgica de los nmeros complejos.
1.2. El cuerpo de los nmeros complejos
Denotemos por C = R R = R
2
= {(a, b); a, b R}. Llamaremos cuerpo de los nmeros
complejos a la tripleta (C, +, ), donde la suma y el producto se denen como: (a, b) + (c, d) =
(a + c, b + d) y (a, b)(c, d) = (ac bd, ad + bc). En lo que sigue, denotaremos los elementos de C por
las letras z, w, z
1
, . . . .
Las operaciones anteriores verican las siguientes propiedades:
(i) La suma y el producto son conmutativos. z
1
+ z
2
= z
2
+ z
1
y z
1
z
2
= z
2
z
1
.
(ii) La suma y el producto son asociativos. (z
1
+ z
2
) + z
3
= z
1
+ (z
2
+ z
3
) y (z
1
z
2
)z
3
= z
1
(z
2
z
3
).
(iii) El producto es distributivo respecto de la suma. z
1
(z
2
+ z
3
) = z
1
z
2
+ z
1
z
3
.
(iv) El nmero complejo (0, 0) es el neutro para la suma. Si z = (x, y), entonces (x, y) + (0, 0) =
(0, 0) + (x, y) = (x, y).
(v) Todo nmero complejo z = (x, y) tiene un opuesto z = (x, y) para la suma. (x, y) +
(x, y) = (x, y) + (x, y) = (0, 0).
(vi) El nmero complejo (1, 0) es el neutro para el producto. (x, y)(1, 0) = (1, 0)(x, y) = (x, y)
(vii) Todo nmero complejo distinto de (0, 0) tiene un inverso para el producto. Si z = (x, y) con
x = 0 y = 0, entonces su inverso es z
1
=

x
x
2
+ y
2
,
y
x
2
+ y
2

.
Ejercicio 1.1 Comprobar que (C, +, ) verica las propiedades (i) a (vii).
Cuando se tiene una tripleta (K, +, ), donde K es un conjunto dotado de dos operaciones suma y
producto, y con al menos dos elementos (los neutros para cada operacin), que verica las propiedades
(i) a (vii), se dice que (K, +, ) ( simplemente que K, sino ha lugar a confusin) es un cuerpo
conmutativo.
Graduado en Ingeniera en Electrnica Industrial y Automtica. Variable Compleja. 2013/14. 3
Son ejemplos de cuerpos conmutativos los nmeros racionales Q los nmeros reales R y los nmeros
complejos C que acabamos de denir.
El conjunto Z de los nmeros enteros no tiene estructura de un cuerpo, pues 2 no tiene inverso
para el producto.
Podemos identicar R a un subcuerpo de C. Basta tomar el conjunto {(x, 0); x R} e identicar
el nmero real x con el nmero complejo (x, 0). De esta forma, x
1
+x
2
se identica con (x
1
+x
2
, 0) =
(x
1
, 0) + (x
2
, 0) y x
1
x
2
se identica con (x
1
x
2
, 0) = (x
1
, 0)(x
2
, 0).
Por otro lado, escribiremos i = (0, 1), la unidad imaginaria. Ntese que i
2
= (1, 0) = 1.
Ahora, tenemos que z = (x, y) = (x, 0)(1, 0) + (y, 0)(0, 1), con lo que identicando 1 = (1, 0),
tendramos la escritura de z en forma binmica, z = (x, y) = x + iy. x se denomina la parte real
de z y se escribe x = R(z), e y se denomina parte imaginaria de z y se escribe y = I(z).
1.3. Interpretacin topolgico-geomtrica
Puesto que un nmero complejo z = (x, y) no es ms que un par ordenado de nmeros reales,
podemos pensar en l como las coordenadas de un punto del plano eucldeo. Con la interpretacin
anterior, el eje de abscisas se identica con los nmeros reales y se denomina eje real, mientras que
el eje de ordenadas se identica con los llamados nmeros imaginarios puros y se denomina eje
imaginario, es decir, los nmeros complejos de la forma z = iy = (0, y).
Se dene el mdulo de un nmero complejo z = (x, y), denotado por |z|, como la distancia de z
al origen de coordenadas 0 = (0, 0), es decir, |z| =

x
2
+ y
2
.
El conjugado de un nmero complejo z = x + iy es el nmero complejo z = x iy.
Proposicin 1.2 Sean z, z
1
, z
2
C. Se verican:
1. |z| R(z) |z| y |z| I(z) |z|
2. z
1
+ z
2
= z
1
+ z
2
y z
1
z
2
= z
1
z
2
.
3. z = z.
4. |z| = |z|.
5. |z|
2
= zz y z
1
=
z
|z|
2
.
6. R(z) =
1
2
(z + z) e I(z) =
1
2i
(z z).
7. |z
1
z
2
| = |z
1
||z
2
|.
4 Graduado en Ingeniera en Electrnica Industrial y Automtica. Variable Compleja. 2013/14.
8. |z
1
+ z
2
| |z
1
| +|z
2
|. (Desigualdad triangular.)
Prueba.- Las propiedades 2, 3, 4, 5 y 6 se obtienen mediante clculos sencillos a partir de las deni-
ciones dadas y se dejan como ejercicio.
1) Si ponemos z = x + iy, tenemos |z| =

x
2
+ y
2
, o equivalentemente |z|
2
= x
2
+ y
2
. Luego,
|z|
2
x
2
con lo que |z| =

|z|
2
x = R(z)

|z|
2
= |z|. De forma similar, se prueba la otra
desigualdad.
7) Pongamos z
k
= x
k
+ iy
k
, k = 1, 2. Tenemos que
|z
1
z
2
| =

(x
1
x
2
y
1
y
2
)
2
+ (x
1
y
2
+ x
2
y
1
)
2
=

x
2
1
x
2
2
+ y
2
1
y
2
2
+ x
2
1
y
2
2
+ x
2
2
y
2
1
=
=

x
2
1
(x
2
2
+ y
2
2
) + y
2
1
(x
2
2
+ y
2
2
) =

(x
2
1
+ y
2
1
)(x
2
2
+ y
2
2
) = |z
1
||z
2
|.
8) Tenemos que
|z
1
+ z
2
|
2
= (z
1
+ z
2
)(z
1
+ z
2
) = (z
1
+ z
2
)(z
1
+ z
2
) =
= z
1
z
1
+ z
1
z
2
+ z
2
z
1
+ z
2
z
2
= |z
1
|
2
+ z
1
z
2
+ z
1
z
2
+|z
2
|
2
=
= |z
2
1
| + 2R(z
1
z
2
) +|z
2
|
2
|z
1
|
2
+ 2|z
1
||z
2
| +|z
2
|
2
= (|z
1
| +|z
2
|)
2
.
Luego, |z
1
+ z
2
| |z
1
| +|z
2
|.
1.4. Forma polar
La forma polar de un nmero complejo proviene de interpretarlo como punto del plano eucldeo
en coordenadas polares.
O

z = (x, y)

Figura 1.1: Coordenadas polares.

Sea z = x + iy C y denotemos por = |z| y el ngulo que forma el semieje real positivo
con la semirecta de origen (0, 0) = 0 pasando por z. Como x = cos() e y = sen(), tenemos que
z = (cos() + i sen()), expresin que se conoce como forma trigonomtrica de z, mientras que

es la forma polar de z.
Graduado en Ingeniera en Electrnica Industrial y Automtica. Variable Compleja. 2013/14. 5
El ngulo se denomina un argumento de z y se escribir arg(z). El argumento de un nmero
complejo est unvocamente determinado salvo mltiplos enteros de 2, es decir, si arg(z), entonces
+ 2k arg(z), k Z.
El valor de arg(z) en el intervalo [, ) se denomina argumento principal de z y se denota por
Arg(z). Por ejemplo, Arg(1) = 0, Arg(1) = , Arg(i) = /2 y Arg(i) = /2.
Ejercicio 1.3 Demostrar que arg(z) = arg(z
1
) = arg(z).
Solucin: Tenemos que z = (cos() i sen()) = (cos() + i sen()).
Por otro lado, z
1
=
1
z
=
z
zz
=
1

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

(cos() i sen()) =
1

(cos() +
i sen()).
Proposicin 1.4 Sean z
1
= (
1
)

1
y z
2
= (
2
)

2
dos nmeros complejos en forma polar. Entonces,
z
1
z
2
= (
1

2
)

1
+
2
.
Prueba.- Es un clculo sencillo teniendo en cuenta las frmulas trigonomtricas para la suma de dos
ngulos.
Corolario 1.5 (Frmula de Moivre) Sea z =

un nmero complejo en forma polar, entonces

z
n
=
n
n
.
Prueba.- Es consecuencia inmediata de la Proposicin anterior.
Races de un nmero complejo
La frmula de Moivre nos permite determinar las races n-simas de un nmero complejo.
Consideremos un nmero complejo en forma polar z =

. Si w =

es una raz n-sima, entonces

w
n
= z y por la frmula de Moivre, = (

)
n
y n es un argumento de z. Luego, n = + 2k, es
decir, =

n
+
2k
n
, con k Z.
La cuestin es: cuntas posibilidades distintas existen para mdulo mltiplos enteros de 2?
En primer lugar, haciendo variar k = 0, 1, 2, . . . , n 1 obtenemos n posibilidades distintas para .
Teniendo en cuenta que todo nmero entero h Z se escribe como h = mn + k con 0 k n 1,
tenemos que
2h
n
= 2m +
2k
n
. De esta forma, los argumentos posibles para w (salvo mltiplos
enteros de 2) son los de la forma =

n
+
2k
n
con k = 0, 1, 2, . . . , n 1.
6 Graduado en Ingeniera en Electrnica Industrial y Automtica. Variable Compleja. 2013/14.
1.5. La funcin exponencial
Siguiendo con el tratamiento que estamos dando, podemos plantearnos como denir e
z
para un
nmero complejo z C. El lector debera conocer la denicin de e

cuando R. Siguiendo a Euler,

podemos preguntarnos por el valor de e
i
, cuando R.
Formalmente, tendramos
e
i
=

k=0
(i)
k
k!
=

k=0
(i)
2k
(2k)!
+

k=0
(i)
2k+1
(2k + 1)!
=
=

k=0
(1)
k
()
2k
(2k)!
+ i

k=0
(1)
k
()
2k+1
(2k + 1)!
= cos() + i sen().
De esta forma, el complejo en forma polar z =

se puede expresar como z = e

i
.
Aprovechando el anlisis anterior, denimos e
z
, cuando z = x + iy como
e
z
= e
x+iy
= e
x
e
iy
= e
x
(cos(y) + i sen(y)).
Proposicin 1.6 Sean z, w C. Se verican las siguientes propiedades:
1. e
z+w
= e
z
e
w
.
2. |e
z
| = e
R(z)
. En particular, |e
z
| = 1 si, y slo si, R(z) = 0.
3. e
z
= 1 si, y slo si, z = 2ki con k Z.
4. z = |z|e
i arg(z)
.
5. (e
z
)
1
= e
z
.
6. (e
z
)
k
= e
kz
para cada k Z.
Prueba.- 1. es una clculo similar al de la Proposicin 1.4 y se deja como ejercicio.
2. Como e
z
= e
R(z)
(cos(I(z)) + i sen(I(z)), tenemos que |e
z
| = |e
R(z)
| = e
R(z)
.
3. Si e
z
= 1, entonces |e
z
| = e
R(z)
= 1, luego R(z) = 0 y necesariamente 1 = cos(I(z))+i sen(I(z)),
con lo que z = iI(z) = 2ki con k Z. Recprocamente, si z = 2ki con k Z, aplicando la denicin
de exponencial tenemos e
z
= 1.
4. Basta expresar el complejo en forma polar, z =

para tener z = e
i
= |z|e
i arg(z)
.
5. Aplicando 1., tenemos que e
z
e
z
= e
0
= 1, luego (e
z
)
1
= e
z
.
6. Es inmediata a partir de 1. y 5.
Graduado en Ingeniera en Electrnica Industrial y Automtica. Variable Compleja. 2013/14. 7
1.6. El logaritmo complejo
El logaritmo complejo no es una funcin propiamente dicha, sino la correspondencia que a cada
complejo no nulo z C{0} asocia el conjunto de soluciones w de la ecuacin e
w
= z. De esta forma,
escribiremos log(z) := {w C; e
w
= z}, z C {0}.
Tenemos que la ecuacin e
w
= z se puede escribir como e
R(w)
e
iI(w)
= |z|e
i arg(z)
. Por tanto,
e
R(w)
= |z| y R(w) = log
R
|z|, donde log
R
denota el logaritmo real usual. Por otro lado, e
iI(w)
= e
i arg(z)
que se verca si, y slo si, I(w) es un argumento de z, es decir, I(w) = arg(z) + 2k con k Z.
De esta forma, podemos escribir log(z) = log
R
|z| + i arg(z). Entendiendo arg(z) como el conjunto
de los posibles argumentos de z.
Se llama logaritmo principal a Log(z) = log
R
|z| + i Arg(z).
Ejemplo 1.7 El logaritmo complejo de i, es
log(i) = log
R
|i| + i arg(i) = i{

2
+ 2n; n Z} = {(2n +
1
2
)i; n Z}.
Por otro lado, Log(i) =

2
i.
Proposicin 1.8 Para cada z, w C {0} se verican log(zw) = log(z) + log(w) y log

z
w

=
log(z) log(w).
Prueba.- Tenemos log(zw) = log
R
|zw|+i arg(zw) = log
R
|z|+log
R
|w|+i arg(z)+i arg(w) = log(z)+
log(w).
Por otro lado, arg

z
w

= arg(z) + arg(w
1
) = arg(z) arg(w), luego
log

z
w

= log
R

z
w

+ i arg

z
w

= log
R
|z| log
R
|w| + i arg(z) i arg(w) = log(z) log(w).
1.7. Funciones trigonomtricas e hiperblicas
En este apartado, completaremos las funciones complejas introducidas hasta el momento con otras
de especial inters.
Funciones trigonomtricas
Consideremos las relaciones e
ix
= cos(x) +i sen(x) y e
ix
= cos(x) i sen(x) con x R. Operando
se tiene cos(x) =
e
ix
+ e
ix
2
y sen(x) =
e
ix
e
ix
2i
.
8 Graduado en Ingeniera en Electrnica Industrial y Automtica. Variable Compleja. 2013/14.
Por tanto, para extender estas funciones del campo real al campo complejo, parece razonable denir
cos(z) :=
e
iz
+ e
iz
2
y sen(z) :=
e
iz
e
iz
2i
, z C. Las funciones anteriores se conocen como funciones
coseno y seno, respectivamente.
Se puede comprobar que verican las siguientes propiedades:
(a) cos(z) = cos(z) y sen(z) = sen(z), para cada z C.
(b) cos
2
(z) + sen
2
(z) = 1, para cada z C.
(c) sen(z + w) = sen(z) cos(w) + cos(z) sen(w) y cos(z + w) = cos(z) cos(w) sen(z) sen(w), para
cada z, w C.
Sin embargo, existen algunas propiedades del caso real que no se verican sobre C. Por ejem-
plo, como cos(ix) =
e
x
+ e
x
2
y sen(ix) =
e
x
e
x
2i
con x R, tenemos que lm
x
cos(ix) = y
lm
x
| sen(ix)| = . En otras palabras, las funciones seno y coseno complejas no estn acotadas, al
contrario que ocurre en el caso real.
A partir de las funciones seno y coseno, se pueden denir las funciones tangente, cotangente,
secante y cosecante, de forma anloga a como se hace en el caso real.
Tambin, se pueden denir las correspondencias inversas de las funciones trigonomtricas complejas.
Como se han denido utilizando la exponencial compleja, en sus inversas intervendr el logaritmo
complejo. A modo de ejemplo veamos como se dene el arcoseno complejo.
Como en el caso del logaritmo, se trata de encontrar w C tal que sen(w) = z. Por tanto,
z =
e
iw
e
iw
2i
. Multiplicando por 2ie
iw
, tenemos e
2iw
2ize
iw
1 = 0, y resoviendo e
iw
= iz

1 z
2
.
As, iw = log[iz

1 z
2
] y w = i log[iz

1 z
2
]. De esta forma, arc sen(z) = i log[iz

1 z
2
].
Ejemplo 1.9 arc sen(i) = i log(i
2

1 i
2
) = i log(1

2). Como 1 +

2 es real, tenemos
que log(1 +

2) = log
R
(1 +

2) + 2ni, n Z.
Por otro lado, 1

2 es un nmero real negativo, su logaritmo complejo es log(1

2) = log
R
(

2
1) i + 2ni, n Z.
Observando que log
R
(

2 1) = log
R
(

2 1)(

2 + 1)

2 + 1
= log
R
(

2 + 1) tenemos
arc sen(i) = {2n i log
R
(1 +

2); n Z} {(2n 1) i log

R
(1 +

2); n Z} =
{n + i(1)
n+1
log
R
(1 +

2); n Z}.
Graduado en Ingeniera en Electrnica Industrial y Automtica. Variable Compleja. 2013/14. 9
Funciones hiperblicas
Las funciones coseno y seno hiperblicos se denen por cosh(z) :=
e
z
+ e
z
2
y senh(z) :=
e
z
e
z
2
, z C. A partir de stas, se pueden introducir las funciones tangente, cotangente, secante
y cosecante hiperblicas de la forma habitual.
Las correspondencias inversas de las funciones hiperblicas se denominan anteponiendo la paralabra
argumento a cada funcin hiperblica.
Ejercicio 1.10 Determinar arg senh(z).
Se puede comprobar que se verican las siguientes propiedades:
(a) cosh(iz) = cos(z) y senh(iz) = i sen(z), para cada z C.
(b) cosh
2
(z) senh
2
(z) = 1, para cada z C.
(c) senh(z + w) = senh(z) cosh(w) + cosh(z) senh(w), para cada z, w C.
(d) cosh(z + w) = cosh(z) cosh(w) + senh(z) senh(w), para cada z, w C.
1.8. La esfera de Riemann
Consideremos la esfera unidad en R
3
dada por S
2
= {(x, y, z) R
3
; x
2
+ y
2
+ z
2
= 1}. Adems,
identiquemos C con el plano horizontal de ecuacin z = 0. Sea N = (0, 0, 1) el polo norte de S
2
.
Para cada punto P = (a, b, c) S
2
con P = N consideramos la recta que determinan P y N y el
punto de corte E(P) de dicha recta con el plano C.
Una tal recta tiene por ecuaciones paramtricas

x
y
z

0
0
1

a
b
c 1

. Para determinar
E(P), hacemos z = 0 y tenemos 1 + (c 1) = 0, es decir, =
1
1 c
y podemos escribir E(a, b, c) =

a
1 c
,
b
1 c
, 0

.
La aplicacin E : S
2
{N} C, dada por E(a, b, c) =
a
1 c
+ i
b
1 c
, se denomina proyeccin
esterogrca.
A S
2
se le suele denominar plano complejo ampliado. De hecho, los entornos de se corres-
ponden con entornos de N en S
2
.
10 Graduado en Ingeniera en Electrnica Industrial y Automtica. Variable Compleja. 2013/14.
Los entornos de son de la forma |z| > R > 1 con R R. Por tanto, imponer que |E(a, b, c)| > R
equivale a

a
2
+ b
2
1 c
> R. Como a
2
+b
2
= 1c
2
, tenemos

1 c
2
1 c
> R o equivalentamente
1 + c
1 c
> R
2
,
es decir, c > 1
2
R
2
+ 1
.
Figura 1.2: Proyeccin estereogrca en la esfera.