Nmero imaginario

En matemticas, un nmero imaginario es un nmero complejo cuya parte real es igual a cero,
por ejemplo:
es un nmero imaginario, as como o
son tambin nmeros imaginarios.
En otras palabras, es un nmero de la forma:
Un nmero imaginario puede describirse como el producto de un nmero real por
la unidad imaginaria i, en donde la letra i denota la raz cuadrada de -1 :1 2 3

Fue en el ao 1777 cuando Leonhard Euler le dio a

el nombre de i, por imaginario,
de manera despectiva dando a entender que no tenan una existencia real. Gottfried
Leibniz, en el siglo XVII, deca que
nada.

era una especie de anfibio entre el ser y la

En ingeniera elctrica y campos relacionados, la unidad imaginaria es a menudo escrita

como j para evitar la confusin con la intensidad de una corriente elctrica,
tradicionalmente denotada por i.
ndice
[ocultar]

1 Historia

2 Interpretacin geomtrica

3 Propiedades

4 Usos

5 Vase tambin

6 Referencias

Historia[editar]
Cronologa4
Ao

Acontecimiento

1572 Rafael Bombelli realiza clculos utilizando nmeros imaginarios.

1777 Leonhard Euler utiliza el smbolo i para representar la raz cuadrada de -1.
1811

Jean-Robert Argand crea la representacin grfica del Plano complejo tambin conocida
como plano de Argand

Interpretacin geomtrica[editar]

Rotaciones de 90-grados en el plano complejo

Geomtricamente, los nmeros imaginarios se encuentran en el eje vertical del plano

complejo, presentndolos comoperpendiculares al eje real. Una manera de ver los
nmeros imaginarios es el considerar una recta numrica tpica, que aumenta
positivamente hacia la derecha y aumenta negativamente hacia la izquierda. Podemos
entonces dibujar un eje de coordenadas vertical pasando por el 0 del eje horizontal, de
modo que represente nmeros imaginarios aumentando positivamente hacia arriba y
negativamente hacia abajo. Este eje vertical es llamado el "eje imaginario" y es denotado
como
, , o simplemente . En esta representacin, una multiplicacin por 1
corresponde a una rotacin de 180 grados sobre el origen. Una multiplicacin por
corresponde a una rotacin de 90 grados en la direccin "positiva" (en el sentido
antihorario), y la ecuacin
puede interpretarse diciendo que si aplicamos dos
rotaciones de 90 grados sobre el origen, el resultado final es equivalente a una simple
rotacin de 180 grados. Ntese que una rotacin de 90 grados en la direccin "negativa"
(sentido horario) satisface tambin esta interpretacin. Esto refleja el hecho que
es
tambin una solucin de la ecuacin
. En general, multiplicar por un nmero
complejo es lo mismo que sufrir una rotacin alrededor del origen por el argumento del
nmero complejo, seguido de un redimensionamiento a escala por su magnitud.

Propiedades[editar]
(se repite el patrn
de la zona azul)

(se repite el patrn

de la zona azul)
Todo nmero imaginario puede ser escrito como
unidad imaginaria, con la propiedad

donde

es un nmero real e es la

,
puesto entonces:

que es un nmero real.

Cada nmero complejo puede ser escrito unvocamente como una suma de un nmero
real y un nmero imaginario, de esta forma:
Al nmero imaginario i se le denomina tambin constante imaginaria.
Del mismo modo, partiendo de:

la raz cuadrada de cualquier nmero real negativo, da por resultado un nmero

imaginario, as por ejemplo:

Estos nmeros extienden el conjunto de los nmeros reales

complejos .

al conjunto de los nmeros

Por otro lado, no podemos asumir que los nmeros imaginarios tienen la propiedad, al
igual que los nmeros reales, de poder ser ordenados de acuerdo a su valor.5 Es decir, es
justo decir que
, y que
. Esta regla no aplica a los nmeros imaginarios,
debido a una simple demostracin:
Recordemos que en los nmeros reales, el producto de dos nmeros reales,
supnganse a y b, donde ambos son mayores que cero, es igual a un nmero mayor que
cero. Por ejemplo es justo decir que
,
, por lo
tanto,

, entonces tenemos que

Por otro lado, supngase que

evidentemente es falso.

, y obviamente

, entonces tenemos que

Y de igual manera, hagamos la errnea suposicin de que

.
, lo cual

, pero si multiplicamos

por
nos queda que
. Por lo tanto tenemos que
que es, igualmente que la suposicin anterior, totalmente falso.

. Lo

Concluiremos que esta suposicin y cualquier otra de intentar dar un valor ordinal a los
nmeros imaginarios es completamente falsa.

Usos[editar]

La unidad imaginaria puede ser usada para extender formalmente la raz cuadrada de
nmeros negativos, confirmando el teorema fundamental del lgebra.

Igualmente la raz cuadrada de un nmero imaginario es un nmero complejo, y la raz

de un nmero complejo en general es otro nmero complejo.

Gracias a la frmula de De Moivre los logaritmos de nmeros negativos tambin son

expresables (de manera no unvoca) mediante , as
cualquier nmero imaginario de la forma
exponencial
.

aunque
satisface que la funcin

Curiosamente,

En fsica cuntica la unidad imaginaria permite simplificar la descripcin matemtica de

los estados cunticos variables en el tiempo.

En teora de circuitos y corriente alterna la unidad imaginaria se usa para representar

ciertas magnitudes como fasores, lo cual permite un tratamiento algebraico ms gil
de dichas magnitudes.

Vase tambin[editar]
Clasificacin de nmeros

Naturales

Enteros
Racionales
Complejos

Reales

0: Cero
Enteros negativos

Fraccionarios
Irracionales

1: uno
Naturales primos
Naturales compuestos

Fraccin propia
Fraccin impropia

Irracionales algebraicos
Trascendentes

Imaginarios

Nmero complejo

Ilustracin del plano complejo. Los nmeros reales se encuentran en el eje de coordenadas horizontal y
los imaginarios en el eje vertical.

Los nmeros complejos son una extensin de los nmeros reales y forman el mnimo cuerpo
algebraicamente cerradoque los contiene. El conjunto de los nmeros complejos se designa
con la notacin , siendo el conjunto de los nmeros reales se cumple que
(
est estrictamente contenido en ). Los nmeros complejos incluyen todas las races de
lospolinomios, a diferencia de los reales. Todo nmero complejo puede representarse como
la suma de un nmero real y unnmero 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,
facilitacin de clculo de integrales, en aerodinmica, hidrodinmica 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.

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
el teorema 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.

Origen[editar]
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 enlgebra, 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[editar]
Se define cada nmero complejo z como un par ordenado de nmeros reales: z = (a, b). A su
vez el primer elemento a se define como parte real de z, se denota
elemento b se define como parte imaginaria de z, se denota

; el segundo
. Luego en el

conjunto de los nmeros complejos, se definen tres operaciones y la relacin de igualdad:

Suma

Producto por escalar

Multiplicacin

Igualdad

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

Resta

Divisin

Al nmero

se denomina nmero complejo real y como entre el

conjunto de estos y el conjunto de los nmeros reales se establece

un isomorfismo , se asume que todo nmero real es un nmero
complejo. Al nmero complejo

se denomina nmero

imaginario puro. Puesto que

se dice

que un nmero complejo es la suma de un nmero real con un

nmero imaginario puro. 2 .

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 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[editar]
Se define un nmero complejo especial, sobre todo en el lgebra, de
suma relevancia, el nmero i ( j en fsica), llamado unidad
imaginaria, definido como

Que satisface la siguiente igualdad:

De donde resulta:

Tomando en cuenta que

cabe la identificacin

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 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 ei, entonces |z| = r. Se puede expresar
en forma trigonomtrica como z = 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 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[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.
Alternativamente[editar]
Sea el nmero complejo z = (x,y) representado por el vector OM
de origen (0,0) y su extremo es el punto M(x,y). El ngulo
formado por el vector OM con el eje OX se llama Argumento del
nmero complejo z, denotado

no determinado

unvocamente sino que satisface la igualdad:

siendo

cualquier nmero entero. El ngulo arg z es el

valor principal de Arg z que verifica las condiciones

- < arg z <= .4

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.
Un nmero complejo es igual a su conjugado si solo si es un nmero real.

Representaciones[editar]

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

Artculo principal: Plano complejo

El concepto de plano complejo permite interpretar geomtricamente los nmeros complejos.

La suma de nmeros complejos se puede relacionar con la suma convectores, y
la multiplicacin 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[editar]

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.

Isomorfismo con matrices de orden 2[editar]

En el anillo de las matrices de segundo orden sobre el campo de nmeros reales, se puede
hallar un subconjunto que es isomorfo al campo de los nmeros complejos. Pues, se
establece una correspondencia entre cada nmero complejo a+bi con la matriz

De tal manera se obtiene una correspondencia biunvoca.

Adems de las aplicaciones

se desprende que la aplicacin es un isomorfismo.

En particular la matriz

cumple el rol de unidad imaginaria.

Espacio vectorial[editar]
El conjunto con la adicin de nmeros complejos y considerando como escalares , nmeros
reales, se puede definir un espacio vectorial con escalares reales. Esto es:

1. z,w nmeros complejos, entonces z+w es un nmero complejo. Esta operacin interna
define una estructura de grupo aditivo.
2. Si r es nmero real y z es un nmero complejo, entonces rz, llamado mltiplo escalar
de z, es tambin nmero complejo. Las dos operaciones satisfacen la axiomtica de
un espacio vectorial o lineal. 6

Esbozo histrico[editar]
La primera referencia conocida a races cuadradas de nmeros negativos proviene del trabajo
de los matemticos griegos, como Hern de Alejandra en el siglo Iantes 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
trminoimaginario 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 porGauss. La implementacin ms
formal, con pares de nmeros reales fue dada en el Siglo XIX.

Aplicaciones[editar]

En matemticas[editar]
Soluciones de ecuaciones polinmicas[editar]
Un raz o cero7 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 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.

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: