1

1. El conjunto de los n umeros complejos C.

1.1. Motivaci on
Como ya hemos visto, la ecuaci on x
2
2 = 0, no tiene soluciones racionales por ello fue
necesario introducir los n umeros reales. Por tanto la siguiente pregunta es, si x
2
+ 1 = 0 no
tiene soluciones reales (por que?), entonces dicha ecuaci on es irresoluble?
Cardano en 1545 se plante o el siguiente problema: dado un segmento AB de longitud 10
unidades, dividirlo en dos partes de forma que el rect angulo que se forma tenga un area de
40 unidades cuadradas. Para resolverlo, Cardano oper o formalmente: Sea x la longitud de una
divisi on y 10 x el de la otra. Entonces,
A = x(10 x) = 40 =x
2
10x + 40 = 0 =x
1,2
= 5

15.
Adem as, formalmente veric o la soluci on:
A = (5

15)(5 +

15) = 5
2
(

15)
2
= 25 (15) = 40. !!!!
Es decir que la soluci on venia dada por una raz de un n umero negativo. Tales soluciones
se les denominaron imposibles o imaginarias. Fue Euler el primero en introducir la notaci on

1 = i, de donde las soluciones la problema de Cardano se escribe como x

1,2
= 5

15i,
siendo i
2
= 1.
1.2. Denici on y propiedades de los n umeros complejos.
Un n umero complejo z es un par ordenado de n umeros reales x, y, es decir z = (x, y), donde
x se denomina parte real de z e y se denomina parte imaginaria y se denotan por x = z, y = z.
El conjunto de todos los n umeros complejos lo denotaremos por C. Para los n umeros complejos
cualesquiera z
1
= (x
1
, y
1
) y z
2
= (x
2
, y
2
), se dene la operaci on suma + y multiplicaci on
de la siguiente forma:
z
1
+ z
2
= (x
1
+ x
2
, y
1
+ y
2
), z
1
z
2
= (x
1
x
2
y
1
y
2
, x
1
y
2
+ y
1
x
2
).
Es f acil comprobar que si z
1
y z
2
son n umeros tales que z
1
= z
2
= 0, las operaciones anterio-
res coinciden con las de los n umeros reales, de forma que los n umeros reales son un subconjunto
de los complejos, concretamente son los n umeros complejos de la forma x = (x, 0).
Utilizando el conjunto de los n umeros complejos C descubrimos que es posible resolver ecua-
ciones algebraicas que no eran resolubles para los reales, por ejemplo
x
2
+ 1 = 0, x
2
= 1 x = i = (0, 1).
La expresi on m as com un para representar un n umero complejo es la forma bin omica:
z = (x, y) = x + i y, donde x = z, y = z.
Antes de pasar al segundo punto de este apartado debemos destacar que los n umeros complejos
tambien satisfacen los axiomas de cuerpo, no as los de orden.
En efecto, probemos que para los complejos es imposible que se cumplan los axiomas (pro-
piedades) de la denici on de conjunto ordenado, es decir:
Un conjunto de elementos A es un conjunto ordenado si existe una relaci on de orden tal
que cuales quiera sean a y b elementos de A se cumple que a b o no se cumple y adem as tienen
lugar los siguientes axiomas:
1. Para todo a A, a a
2 1 EL CONJUNTO DE LOS N

UMEROS COMPLEJOS C.
2. Si a b y b a entonces a = b.
3. Si a b y b c entonces a c.
4. Para todos a, b A, o a b o b a.
Si adem as, A es un cuerpo, entonces para cuales quiera sean a, b y c de A se tiene que
5. Si a b entonces a + c b + c.
6. Si 0 a y 0 b entonces 0 a b.
Supongamos por ejemplo que i = 0. Entonces o i < 0 o i > 0. Si i > 0, entonces por el
axioma 6. i i > 0, luego 1 > 0, o equivalentemente, 0 > 1 (lo cual pudiera ser cierto en C
pues no hemos decidido todava que criterio vamos a utilizar para ordenarlos). Ahora bien, si
1 > 0, entonces 1 (1) > 0, de donde 1 > 0, lo cual es imposible por el axioma 4. de la
denici on de orden. Es decir es imposible que i > 0. Un razonamiento an alogo demuestra que i
no puede ser menor que cero (probar esto ultimo como ejercicio). Luego no hay forma alguna
que nos permita ordenar los complejos seg un la denici on de conjunto ordenado.
1.3. Operaciones elementales.
Sean z
1
= x
1
+ iy
1
y z
2
= x
2
+ iy
2
dos n umeros complejos cualesquiera, entonces
z
1
z
2
= (x
1
x
2
) + i(y
1
y
2
), z
1
z
2
= (x
1
x
2
y
1
y
2
) + i(x
1
y
2
+ y
1
x
2
),
z
1
z
2
=
x
1
+ iy
1
x
2
+ iy
2
=
(x
1
+ iy
1
)(x
2
iy
2
)
(x
2
+ iy
2
)(x
2
iy
2
)
=
x
1
x
2
+ y
1
y
2
x
2
2
+ y
2
2
+ i
y
1
x
2
x
1
y
2
x
2
2
+ y
2
2
Se llama complejo conjugado de un n umero z = x + iy al n umero z = x iy. Para z se cumple
que:
z, z
1
, z
2
C, z = z, z
1
+ z
2
= z
1
+ z
2
, z
1
z
2
= z
1
z
2
,
_
z
1
z
2
_
=
z
1
z
2
(z
2
= 0).
Adem as
z C, z =
z + z
2
, z =
z z
2
,
de donde deducimos que z R si y s olo si z = z.
1.4. Forma trigonometrica y exponencial de un n umero complejo.
Sea z C. Se dene el m odulo de z al n umero = |z| =
_
x
2
+ y
2
y al argumento de z
al angulo tal que x = |z| cos , y = |z| sen. Entonces,
z = x + iy = |z|(cos + i sen ).
El m odulo = |z| y el argumento de z cumplen con las siguientes propiedades.
1. |z| 0, z C.
2. |z| = 0, z = 0.
3. |z|
2
= z z, z C.
4. |z
1
+ z
2
| |z
1
| +|z
2
|, z
1
, z
2
C.
5. |z
1
z
2
| = |z
1
| |z
2
|, z
1
, z
2
C.
1.5 Potencias enteras y races enteras de un n umero complejo. 3
6. Si z
1
= |z
1
|(cos
1
+ i sen
1
) y z
2
= |z
2
|(cos
2
+ i sen
2
), entonces
z
1
z
2
= |z
1
z
2
|[cos(
1
+
2
) + i sen(
1
+
2
)],
z
1
z
2
=

z
1
z
2

[cos(
1

2
) + i sen(
1

2
)]
Dado R, se dene la exponencial compleja de , e
i
como
e
i
= cos + i sen . (1.1)
Por tanto, cualquier n umero complejo se puede escribir de la forma:
z = x + iy = |z|(cos + i sen ) = |z|e
i
.
La ecuaci on (1.1) se conoce como f ormula de Euler.
Deniremos la funci on e
z
mediante la expresi on
e
z
= e
z
[cos(z) + i sen(z)].
La funci on exponencial tiene las siguientes propiedades:
1. e
0
= 1.
2. e
z
= 0, z C .
3. e
z
1
+z
2
= e
z
1
e
z
2
, z
1
, z
2
C
4. |e
z
| = e
z
, z C .
5. e
z
= 1, z = 2ki, k Z.
6. e
z
1
= e
z
2
, z
1
z
2
= 2ki, k Z.
1.5. Potencias enteras y races enteras de un n umero complejo.
Sea z C. Entonces
z
n
= z z z z
. .
n veces
= (|z|e
i
)
n
= |z|
n
e
in
= |z|
n
(cos n + i sen n).
La f ormula anterior se conoce como f ormula de Moivre.
Tomemos ahora un n umero complejo z = 0. Entonces la ecuaci on w
n
= z tiene n soluciones
w
k
=
n

z, k = 0, 1, ..., n 1 y dichas soluciones, que son las races nesimas complejas de un

n umero complejo est an dadas por la f ormula:
w
k
=
n

z =
n
_
|z|e
+2k
n
i
=
n
_
|z|
_
cos
+ 2k
n
+ i sen
+ 2k
n
_
, k = 0, 1, ..., n 1.
Por ultimo deniremos el logaritmo de un n umero complejo z:
z = |z|e
i
, log z log |z| + i + 2ki.
Usando lo anterior se pueden denir las potencias de n umeros complejos:
z

= e
log z
, C.
4 1 EL CONJUNTO DE LOS N

UMEROS COMPLEJOS C.
1.6. Convergencia en C
Deniremos la distancia d(z
1
, z
2
) entre dos n umeros complejos z
1
= x
1
+iy
1
y z
2
= x
2
+iy
2
como
d(z
1
, z
2
) = |z
1
z
2
| =
_
(x
1
x
2
)
2
+ (y
1
y
2
)
2
. (1.2)
Deniremos el -entorno o -vecindad de un n umero complejo z
0
a la bola U(z
0
) denida por
U(z
0
) = {z C; |z z
0
| < .
Obviamente U(z
0
) es un circulo del plano complejo de centro z
0
y radio excluyendo a la frontera
(la correspondiente circunferencia). Puesto que
m ax{|x x
0
|, |y y
0
|} |z z
0
| |x x
0
| +|y y
0
|, |z + z
0
| |z| +|z
0
|
podemos construir la teora de lmites en C de la misma forma que lo hicimos en R. As pues,
diremos una sucesi on de n umeros complejos (z
n
)
n
tiene lmite z si
> 0, R, N N; n > N, |z
n
z| < lm
n
z
n
= z.
En particular, z
n
n
0 si y s olo si |z
n
|
n
0. Adem as, tenemos que si z
n
= x
n
+ iy
n
y
z = x + iy, entonces
lm
n
z
n
= z lm
n
x
n
= x, y lm
n
y
n
= y.
As pues, por analoga con el caso real podemos denir las sucesiones de Cauchy, enunciar y
probar el criterio de Cauchy y muchas otras propiedades de las las sucesiones como por ejemplo
la acotaci on. No obstante al ser C un cuerpo no ordenado, se pierden todas las propiedades
relacionadas con el orden (supremo, monotona, etc). Gracias a la teora de lmites de sucesiones
podemos denir el lmite de funciones, continuidad de funciones, derivabilidad de funciones, etc.
No obstante, la teora de funciones de variable compleja requiere un an alisis m as detallado que
no vamos a considerar aqu, remitiendo a los lectores a libros especializados en este tema.
1.7. Problemas.
Problema 1.1 Calc ulese:
a) [(5 + 5i)/(3 4i)] + [20/(4 + 3i)]
b) (3i
30
i
19
)/(2i 1) c) [(1 i)/(1 + i)]
5
d) i
1/5
e) (2

3 2i)
1/4
Problema 1.2 Demuestrese:
1. La suma de las races n-esimas de la unidad es cero.
2. El producto de las races n-esimas de la unidad es 1 seg un la paridad de n.
Problema 1.3 Encuentrense los valores de n que verican la identidad (1 + i)
n
= (1 i)
n
Problema 1.4 Utilizando la f ormula de de Moivre (cos + i sin )
n
= cos(n) + i sin(n) ,
demuestrese que
sin
3
=
3
4
sin
1
4
sin3.