Números Complejos

Definición. El conjunto C de los números complejos está dado por

C x  iy  x, y  R, i 2  1

Observación. El símbolo i tal que i 2  1 se denomina unidad imaginaria y el número complejo

x  iy también puede escribirse x  yi. Además, si z  x  iy, se denomina a x parte real de z y se lo
denota Rez. Análogamente, se denomina a y parte imaginaria de z y se lo denota Imz. Si a  bi
y c  di son números complejos, entonces a  bi  c  di si y sólo si a  c y b  d.

Definición. En C establecemos operaciones internas de suma y multiplicación dadas

respectivamente como
a  bi  c  di  a  c  b  di
a  bic  di  ac  bd  ad  bci
Con estas operaciones, el conunto C es un cuerpo algebraico.

Definición. Dado el número complejo z  x  iy, el número complejo x  iy se denomina

conjugado de z y se lo denota z, esto es

z  x  iy

Dado cualqier número complejo z  x  iy se ve claramente que está en correpondencia uno a uno
con el par ordenado x, y de modo que el conjunto C tiene una correspondencia biunívoca con R 2 .
Cuando se toma el plano R 2 en términos de números complejos, el eje horizontal se denomina eje
real y el eje vertical recibe el nombre de eje imaginario, y este plano se denomina plano complejo.

Definición. Dado el número complejo z  x  iy, el módulo de z, que denotamos |z|, está dada por
 |z|  x2  y2

Si usamos coordenadas polares, tenemos para z  x  iy que

x  |z|cos
y  |z|sin
de modo que
z  |z|cos  i|z|sin  |z|cos  i sin
que se conoce como la forma polar de un número complejo. Si 0    2, se denomina a 
argumento principal de z y se lo denota Argz. Cualquier otro valor de  tal que
z  |z|cos  i|z|sin  |z|cos  i sin, se denomina argumento de z y lo denotaremos
argz, por lo tanto
argz  Argz  2k con k  Z

Algunas Propiedades
1) z  z

2) z1  z2  z1  z2
3) z1z2  z1z2
4) zz  |z|2
5) |z 1  z 2 |  |z 1 |  |z 2 |
6) |z|  |z|
7) ||z 1 |  |z 2 ||  |z 1  z 2 |

8) Si z 1  |z 1 |cos 1   i sin 1  y z 2  |z 2 |cos 2   i sin 2  entonces z 1  z 2 si y sólo si

|z 1 |  |z 2 | y  1   2  2k con k  Z

9) |z 1 z 2 |  |z 1 ||z 2 |

Si z 1  |z 1 |cos 1   i sin 1  y z 2  |z 2 |cos 2   i sin 2 , entonces

z 1 z 2  |z 1 |cos 1   i sin 1 |z 2 |cos 2   i sin 2 

 |z 1 z 2 |cos 1  cos 2   sin 1  sin 2   isin 1  cos 2   sin 2  cos 1 
 |z 1 z 2 |cos 1   2   i sin 1   2 

En particular, si z  |z|cos  i sin, entonces

z 2  |z|2 cos2  i sin2
y en general
z n  |z|n cosn  i sinn
Fórmua de De Moivre
Ejemplo. Sea la ecuación z 3  1. Si z  rcos  i sin, entonces
z 3  1  r 3 cos3  i sin3  1cos0  i sin0
de donde
r3  1 r1

3  0  2k  2k
3

por lo tanto las soluciones de z 3  1 son

z0  1
3
z 1  cos 2  i sin 2  1 i
3 3 2 2
3
z 2  cos 4  i sin 4  1 i
3 3 2 2

————————————————————————————————————————
Definición. Dados los números complejos z 1 y z 2 , la distancia entre z 1 y z 2 , que denotaremos
dz 1 , z 2  está dada por
dz 1 , z 2   |z 1  z 2 |

Definición. Dado z 0  C y r  0, el entorno de centro z 0 y radio r, que denotaremos B r z 0 , está

dado por
B r z 0   z  C |z  z 0 |  r

Definición. Sea la función f : C  C y sea z 0 un punto de acumulación de domf. El número

complejo w0 es el límite de f en z 0 , que denotamos lim
zz
fz  w0 , si para todo   0, existe   0
0

tal que 0  |z  z 0 |   implica |fz  w0 |  .

Observación. Como esta definición es análoga a la de las funciones de variable real, las

propiedades del límite de éstas, se matienen para las funciones de C en C.

Definición. Sea la función f : C  C y sea z 0 un punto de domf. La función f es continua en z 0

si para todo   0, existe   0 tal que |z  z 0 |   implica |fz  fz 0 |  .

Observación. Como esta definición es análoga a la de las funciones de variable real, las
propiedades de la continuidad de éstas, se matienen para las funciones de C en C.