Nmero complejo

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 eningeniera, especialmente en
la electrnica y las telecomunicaciones, por su utilidad para representar las ondas
electromagnticas y lacorriente elctrica.
En matemticas, estos nmeros constituyen un cuerpo y, en general, se consideran como
puntos del plano: el plano complejo. Este cuerpo contiene a los nmeros reales y los
imaginarios puros. Una propiedad importante que caracteriza a los nmeros complejos es
elteorema fundamental del lgebra pero que se demuestra an en un curso de variable
compleja , que afirma que cualquier ecuacin algebraica de grado n tiene exactamente n
soluciones complejas. Los anlogos del clculo diferencial e integral con nmeros complejos
reciben el nombre de variable compleja o anlisis complejo.1

Definicin[editar]
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:

Suma

Producto por escalar

Multiplicacin

Igualdad

A partir de estas operaciones podemos deducir otras como las siguientes:

Resta

Divisin

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

Cuerpo de los nmeros complejos[editar]

Los nmeros complejos forman un cuerpo, el cuerpo complejo,
denotado por C (o ms apropiadamente por el carcter unicode ).
Si identificamos el nmero real a 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 cuerpo ordenado.

Unidad imaginaria[editar]
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, argumento y conjugado

Valor absoluto o mdulo de un nmero complejo [editar]

La frmula de Euler ilustrada en el plano 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 elteorema 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 ei, entonces |z| = r. Se puede expresar
en forma trigonomtrica comoz = r (cos + isen), donde cos + isen = ei 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 ycontinuidad. 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[editar]
Artculo principal: Argumento (anlisis complejo)

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 atan2(y,x) es la funcin arcotangente definida para los cuatro

cuadrantes:

O
tambin:

S
iendo:

la funcin signo.

Conjugado de un nmero complejo[editar]

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.

Representaciones

Representacin binmica[editar]

Un nmero complejo representado como un punto (en rojo) y un vector de posicin (azul) en
un diagrama de Argand;

es la expresin binomial del punto.

Un nmero complejo se representa en forma binomial como:

La parte real del nmero complejo y la parte imaginaria, se pueden expresar de varias
maneras, como se muestra a continuacin:

Representacin polar[editar]

El argumento y mdulo r localizan un punto en un diagrama de

Argand;

En esta representacin,

es la expresin polar del punto.

es el mdulo del nmero complejo y el ngulo

es

el argumento del nmero complejo.

Despejamos a y b en las expresiones anteriores y, utilizando la

representacin binomial:

Sacamos factor comn r:

Frecuentemente, esta expresin se abrevia convenientemente de

la siguiente manera:

la cual solo contiene las abreviaturas de las razones

trigonomtricas coseno, la unidad imaginaria y la razn seno
del argumento respectivamente.
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, pueden existir infinitos nmeros

complejos que tienen el mismo valor representado en el
plano, que se diferencian por el nmero de revoluciones,
ya sean de sentido antihorario (positivas) u horario
(negativas) las cuales se representan por nmeros
enteros

, como implica la frmula de Euler:

Por esto, generalmente restringimos

, ) y a ste

al intervalo [-

restringido lo llamamos argumento

principal de z y escribimos =Arg(z). Con este

convenio, las coordenadas estaran unvocamente
determinadas por z.

Operaciones en forma polar[editar]

La multiplicacin de nmeros complejos es
especialmente sencilla con la notacin polar:

Divisin:

Potenciacin:

Plano de los nmeros

complejos o Diagrama de
Argand
El concepto de plano complejo permite interpretar geomtricamente los nmeros complejos.
La suma de nmeros complejos se puede relacionar con la suma con vectores, y
lamultiplicacin de nmeros complejos puede expresarse simplemente usando coordenadas
polares, donde la magnitud del producto es el producto de las magnitudes de los trminos, y el
ngulo contado desde el eje real del producto es la suma de los ngulos de los trminos.
Los diagramas de Argand se usan frecuentemente para mostrar las posiciones de los polos y
los ceros de una funcin en el plano complejo.
El anlisis complejo, la teora de las funciones complejas, es una de las reas ms ricas de la
matemtica, que encuentra aplicacin en muchas otras reas de la matemtica as como
en fsica, electrnica y muchos otros campos.

Geometra y operaciones con complejos

Geomtricamente, las operaciones algebraicas con complejos las podemos entender como
sigue. Para sumar dos complejos z1 =a1 + ib1 y z2 = a2 + ib2, podemos pensar en ello como la
suma de dos vectores del plano x-y apuntando desde el origen al punto (a1, b1) y (a2,b2),
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 z1 + z2.
Siguiendo con esta idea, para multiplicar dos complejos z1 y z2, 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 z1 z2. 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 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 (i al cuadrado = -1), dando como resultado un
cambio de signo al completar una vuelta.

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 elSiglo 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

En matemticas[editar]
Soluciones de ecuaciones polinmicas[editar]
Un raz o cero2 del polinomio p es un complejo z tal que p(z)=0;
Un resultado importante de esta definicin es que todas las ecuaciones polinmicas
(algebraicas) de grado n tienen exactamente n soluciones en el cuerpo de los nmeros
complejos, esto es, tiene exactamente n complejos z que cumplen la igualdad p(z)=0,
contados con sus respectivas multiplicidades. Tambin se cumple que si z es una raz
entonces su conjugado tambin es una raz del polinomio p. 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[cita requerida] que los nmeros reales a la hora de resolver ecuaciones.

Variable compleja o anlisis complejo[editar]

Artculo principal: 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.
Ecuaciones diferenciales[editar]
En ecuaciones diferenciales, cuando se estudian las soluciones de las ecuaciones
diferenciales lineales con coeficientes constantes, es habitual encontrar primero las races (en
general complejas)

del polinomio caracterstico, lo que permite expresar la solucin general

del sistema en trminos de funciones de base de la forma:

Fractales[editar]
Artculo principal: Fractal

Muchos objetos fractales, como el conjunto de Mandelbrot, pueden obtenerse a partir de

propiedades de convergencia de una sucesin de nmeros complejos. El anlisis del dominio
de convergencia revela que dichos conjuntos pueden tener una enorme
complejidad autosimilar.

En fsica[editar]
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

podemos pensar en

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

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 inductorespueden 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.

Generalizaciones[editar]

Los nmeros complejos pueden generalizarse dando lugar a los nmeros

hipercomplejos. El cuerpo de los nmeros complejos es un subcuerpo conmutativo
del lgebra cuaterninica

, que a su vez es una sublgebra de otras lgebras ms

extensas (octoniones, sedeniones):

Otra posible generalizacin es considerar la complejificacin de los nmeros

hiperreales: