Nmero Complejo

Existen ecuaciones que carecen de solucin en el conjunto de los nmeros reales. Por
ejemplo, la ecuacin x+9=0 no tiene solucin real ya que no existe ningn nmero real
que elevado al cuadrado d -9.
El matemtico hind Bhaskara (1114-1178) ya haca referencia en su libro Lilavati a la
inexistencia de la raz cuadrada de un nmero negativo.
Gerolamo Cardano (1501-1576), matemtico y mdico italiano, fue el primero en
escribir las races de nmeros negativos solucin de una ecuacin de segundo grado,
aunque especificando que no tenan sentido.
Euler (1707-1783) introdujo una nomenclatura especfica para resolver races de
nmeros negativos.
Carl Friedrich Gauss (1777-1855) culmin la construccin de un nuevo conjunto
numrico, el de los nmeros complejos.
La unidad imaginaria, i, es el nmero que elevado al cuadrado da -1.

Una expresin de la forma a + b i, en la que a y b son dos nmeros reales
cualesquiera e i es la unidad imaginaria, se denomina nmero complejo.
Escribiremos z = a + b i, a es la parte real del nmero complejo z y b es la
parte imaginaria de z. La expresin a + bi recibe el nombre de forma
binmica del nmero complejo z.
Si la parte imaginaria es cero, tenemos un nmero real. Si la parte real es cero, un
nmero imaginario puro.
Representacin binomial
Cada complejo se representa en forma binomial como:
z = a + ib
a es la parte real del nmero complejo z, y b es su parte imaginaria. Esto se expresa as:
a = Re(z)
b = Im(z)
Plano de los nmeros complejos
Desde un punto de vista geomtrico la recta real (recta que representa el total de
nmeros reales) puede ser vista como un subconjunto del plano de los nmeros
complejos.
Cada nmero complejo sera un punto en ese plano. En la parte horizontal o eje real, se
colocan los nmeros reales; en el eje vertical o eje imaginario, van los nmeros
imaginarios puros.
Dado que cada nmero complejo consta de una parte real y una imaginaria, puede
representarse geomtricamente cada nmero complejo por sus coordenadas en el plano
complejo, similarmente al plano de coordenadas cartesianas.
Representacin de los nmeros complejos
Se consideran dos ejes ortogonales, cada eje es una recta real, ambas rectas se
intersectan en el origen, entonces al nmero complejo z = a+bi, le asignamos el punto
del plano , cuya distancia orientada al eje horizontal (el eje x) es a, cuya distancia al eje
vertical (eje y) es b.
Ejemplo: el nmero complejo z = -3+2i esta representado por el punto de coordenadas
(-3,2).

(Donde tomaremos en vez de un eje y un eje Imaginario, y en vez del eje x un eje real).
Mdulo, conjugado y distancia
Mdulo de un nmero complejo
El mdulo o magnitud de un nmero complejo z viene dado por la siguiente expresin:

Si pensamos en z como un 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.
Si el complejo est escrito en forma exponencial z = r e
i
, entonces |z| = r. Se puede
expresar en forma polar 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 como sigue d(z, w) = |z - w| y nos provee de
un espacio mtrico con los complejos gracias al que se puede hablar de lmites 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.
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.
Representacin trigonomtrica (polar) y
representacin geomtrica
Algunas veces, la representacin de nmeros complejos en la forma z = a + i b
("coordenadas rectangulares") es menos conveniente que otra representacin, usando
coordenadas polares.
Representamos el nmero complejo z en el plano de nmeros complejos como un
punto con coordenadas (a, b), denominado vector de posicin.
Trazamos la distancia desde el punto (0,0) hasta (a, b), a la que llamaremos r, y, que
como se ha visto antes, es igual al mdulo de z, expresado | z | .
Esta distancia forma, con respecto al eje real positivo, un ngulo, denominado .

La representacin polar nos permite expresar este nmero complejo en funcin de r y
del ngulo :
z = re
i( + 2k)

Mdulo y argumento
En esta representacin, es el mdulo del nmero complejo y el ngulo es el
argumento del nmero complejo.

Formamos un tringulo rectngulo, con r como hipotenusa, y con catetos a y b. Vemos
que:


Despejamos a y b en las expresiones anteriores y, utilizando la representacin binomial:

Sacamos factor comn r:

(Frecuentemente, esta expresin se abrevia de la siguiente manera: z = rcis)
Segn esta expresin, puede observarse que para definir un nmero complejo tanto de
esta forma como con la representacin binomial se requieren dos parmetros, que
pueden ser parte real e imaginaria o bien mdulo y argumento, respectivamente.
Segn la Frmula de Euler, vemos que:

No obstante, el ngulo no est unvocamente determinado por z, como implica la
frmula de Euler:

Por esto, generalmente restringimos al intervalo [-, ] y a ste restringido lo
llamamos argumento principal de z y escribimos = arg(z). Con este convenio, las
coordenadas estaran unvocamente determinadas por z.
La multiplicacin de nmeros complejos es especialmente sencilla con la notacin
polar:

Divisin:

Potenciacin:

Geometra y operaciones con complejos
Geomtricamente, las operaciones algebraicas con complejos las podemos entender
como sigue. Para sumar dos complejos z
1
=a
1
+ ib
1
y z
2
= a
2
+ ib
2
, podemos pensar en
ello como la suma de dos vectores del plano x-y apuntando desde el origen al punto (a
1
,
b
1
) y (a
2
,b
2
), respectivamente. Si trasladamos (movemos) el segundo vector, sin cambiar
su direccin, con lo que su punto de aplicacin coincide con el punto final del primer
vector; el segundo vector as ubicado apuntar al complejo z
1
+ z
2
.
Siguiendo con esta idea, para multiplicar dos complejos z
1
y z
2
, primero medimos el
ngulo que forman en sentido contrario a las agujas del reloj con el eje positivo de las x
y sumamos ambos ngulos: el ngulo resultante corresponde con el del vector que
representa al complejo producto z
1
z
2
. La longitud de este vector producto viene dada
por la multiplicacin de las longitudes de los vectores originales. La multiplicacin por
un nmero complejo fijo puede ser vista como la una transformacin del vector que rota
y cambia su tamao simultneamente.
Multiplicar cualquier complejo por i corresponde con una rotacin de 90 en direccin
contraria a las agujas del reloj. Asimismo el que (-1) (-1) = +1 puede ser entendido
geomtricamente como la combinacin de dos rotaciones de 180.
Soluciones de ecuaciones polinmicas
Una raz del polinomio p es un complejo z tal que p(z)=0. Un resultado importante de
esta definicin es que todos los polinomios de grado n tienen exactamente n soluciones
en el campo complejo, esto es, tiene exactamente n complejos z que cumplen la igualdad
p(z)=0, contados con sus respectivas multiplicidades. A esto se lo conoce como
Teorema Fundamental del lgebra, y demuestra que los complejos son un cuerpo
algebraicamente cerrado. Por esto los matemticos consideran a los nmeros complejos
unos nmeros ms naturales que los nmeros reales a la hora de resolver ecuaciones.
Variable compleja o anlisis complejo
Al estudio de las funciones de variable compleja se lo conoce como el Anlisis
complejo. Tiene una gran cantidad de usos como herramienta de matemticas aplicadas
as como en otras ramas de las matemticas. El anlisis complejo provee algunas
importantes herramientas para la demostracin de teoremas incluso en teora de
nmeros; mientras que las funciones reales de variable real, necesitan de un plano
cartesiano para ser representadas; las funciones de variable compleja necesitan un
espacio de cuatro dimensiones, lo que las hace especialmente difciles de representar. Se
suelen utilizar ilustraciones coloreadas en un espacio de tres dimensiones para sugerir la
cuarta coordenada o animaciones en 3D para representar las cuatro dimensiones.
Esbozo histrico
La primera referencia conocida a races cuadradas de nmeros negativos proviene del
trabajo de los matemticos griegos, como Hern de Alejandra en el siglo I antes de
Cristo, como resultado de una imposible seccin de una pirmide. Los complejos se
hicieron ms patentes en el Siglo XVI, cuando la bsqueda de frmulas que dieran las
races exactas de los polinomios de grados 2 y 3 fueron encontradas por matemticos
italianos como Tartaglia, Cardano. Aunque slo estaban interesados en las races reales
de este tipo de ecuaciones, se encontraban con la necesidad de lidiar con races de
nmeros negativos. El trmino imaginario para estas cantidades fue acuado por
Descartes en el Siglo XVII y est en desuso. La existencia de nmeros complejos no fue
completamente aceptada hasta la ms abajo mencionada interpretacin geomtrica que
fue descrita por Wessel en 1799, redescubierta algunos aos despus y popularizada por
Gauss. La implementacin ms formal, con pares de nmeros reales fue dada en el Siglo
XIX.
Aplicaciones
Los nmeros complejos se usan en ingeniera electrnica y en otros campos para una
descripcin adecuada de las seales peridicas variables (ver Anlisis de Fourier). En
una expresin del tipo z = r e
i
podemos pensar en r como la amplitud y en como la
fase de una onda sinusoidal de una frecuencia dada. Cuando representamos una
corriente o un voltaje de corriente alterna (y por tanto con comportamiento sinusoidal)
como la parte real de una funcin de variable compleja de la forma
f(t) = z e
it

donde representa la frecuencia angular y el nmero complejo z nos da la fase y la
amplitud, el tratamiento de todas las frmulas que rigen las resistencias, capacidades e
inductores pueden ser unificadas introduciendo resistencias imaginarias para las dos
ltimas (ver redes elctricas). Ingenieros elctricos y fsicos usan la letra j para la
unidad imaginaria en vez de i que est tpicamente destinada a la intensidad de
corriente.
El campo complejo es igualmente importante en mecnica cuntica cuya matemtica
subyacente utiliza Espacios de Hilbert de dimensin infinita sobre C ().
En la relatividad especial y la relatividad general, algunas frmulas para la mtrica del
espacio-tiempo son mucho ms simples si tomamos el tiempo como una variable
imaginaria.
En ecuaciones diferenciales, es habitual encontrar primero las races complejas r de la
ecuacin caracterstica de la ecuacin diferencial de primer grado y luego intentar
resolver el sistema en trminos de las funciones base de la forma: f(t) = e
rt
.
Los fractales son diseos artsticos de infinita complejidad. En su versin original, se
los define a travs de clculos con nmeros complejos en el plano.