Nmeros complejos

Origen
El primero en usar los nmeros complejos fue el matemtico italiano Girolamo Cardano (15011576) quien los us en la
frmula para resolver las ecuaciones cbicas. El trmino nmero complejo fue introducido por el gran matemtico
alemn Carl Friedrich Gauss (17771855) cuyo trabajo fue de importancia bsica en lgebra, teora de los nmeros,
ecuaciones diferenciales, geometra diferencial, geometra no eucldea, anlisis complejo, anlisis numrico y mecnica
terica, tambin abri el camino para el uso general y sistemtico de los nmeros complejos.
Definicin
Los nmeros complejos son una extensin de los nmeros reales y forman el mnimo cuerpo algebraicamente cerrado
que los contiene. El conjunto de los nmeros complejos se designa como , siendo el conjunto de los reales se
cumple que . Los nmeros complejos incluyen todas las races de los polinomios, a diferencia de los reales. Todo
nmero complejo puede representarse como la suma de un nmero real y un nmero imaginario (que es un mltiplo
real de la unidad imaginaria, que se indica con la letra i), o en forma polar.
Los nmeros complejos son la herramienta de trabajo del lgebra, anlisis, as como de ramas de las matemticas puras
y aplicadas como variable compleja, ecuaciones diferenciales, aerodinmica y electromagnetismo entre otras de gran
importancia. Adems los nmeros complejos se utilizan por doquier en matemticas, en muchos campos de la fsica
(notoriamente en la mecnica cuntica) y en ingeniera, especialmente en la electrnica y las telecomunicaciones, por su
utilidad para representar las ondas electromagnticas y la corriente elctrica.

Definiremos cada complejo z como un par ordenado de nmeros reales (a, b) (Re(z), Im(z)), en el que se definen las
siguientes operaciones:

Al primer componente (que llamaremos a) se le llama parte real y al segundo (que llamaremos b), parte imaginaria. Se denomina
nmero imaginario puro a aquel que est compuesto slo por la parte imaginaria, es decir, aquel en el que a = 0.
Cuerpo de los nmeros complejos.
Los nmeros complejos forman un cuerpo, el cuerpo complejo, denotado por C (o ms apropiadamente por el
carcter unicode ). Si identificamos el nmero reala con el complejo (a, 0), el cuerpo de los nmeros
reales R aparece como un subcuerpo de C. Ms an, C forma un espacio vectorial de dimensin 2 sobre los
reales. Los complejos no pueden ser ordenados como, por ejemplo, los nmeros reales, por lo que C no
puede ser convertido de ninguna manera en un cuerpoordenado.

Unidad imaginaria
Tomando en cuenta que , se define un nmero especial en matemticas de gran
importancia, el nmero i o unidad imaginaria, definido como
De donde se deduce inmediatamente que,


Valor absoluto o mdulo de un nmero complejo
El valor absoluto, mdulo o magnitud de un nmero complejo z viene dado por la
siguiente expresin:

Si pensamos en las coordenadas cartesianas del nmero complejo z como algn punto
en el plano; podemos ver, por el teorema de Pitgoras, que el valor absoluto de un
nmero complejo coincide con la distancia eucldea desde el origen del plano a dicho
punto.
Si el complejo est escrito en forma exponencial z = r e
i
, entonces |z| = r. Se puede
expresar en forma trigonomtrica como z = r (cos + isen), donde cos + isen = e
i
es la conocida frmula
de Euler.
Podemos comprobar con facilidad estas cuatro importantes propiedades del valor
absoluto para cualquier complejo z y w.
Por definicin, la funcin distancia queda comosigue d(z, w) = |z - w| y nos
provee de un espacio mtrico con los complejos gracias al que se puede hablar
delmites y continuidad. La suma, la resta, la multiplicacin y la divisin de
complejos son operaciones continuas. Si no se dice lo contrario, se asume que
sta es la mtrica usada en los nmeros complejos.
Argumento o fase
El argumento principal o fase de un nmero complejo genrico (siendo x=Re(z) e y=Im(z))
viene dado por la siguiente expresin:

Donde atan 2(y,x) es la funcin arcotangente definida para los cuatro cuadrantes:


Conjugado de un nmero complejo
Dos binomios se llaman conjugados si solo difieren en su signo central, por ejemplo, los dos binomios: 3m - 1
y 3m + 1 son conjugados.
El conjugado de un complejo z (denotado como ) es un nuevo nmero
complejo, definido as:

Se observa que ambos difieren en el signo de la parte imaginaria. Con este
nmero se cumplen las propiedades:

Esta ltima frmula es el mtodo elegido para calcular el inverso de un nmero
complejo si viene dado en coordenadas rectangulares.