Nmero imaginario Saltar a: navegacin, bsqueda 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: en donde Convencionalmente, se le llama imaginario puro, o simplemente imaginario, si el contexto no se presta a confusin; de otro modo, los trminos nmero imaginario y nmero complejo quieren decir lo mismo. Un nmero imaginario puro 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 era una especie de

entender que no tenan una existencia real. Gottfried Leibniz, en el siglo XVII, deca que anfibio entre el ser y la nada.

En ingeniera electrnica 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. Propiedades (se repite el patrn de la zona azul)

(se repite el patrn de la zona azul) Todo nmero imaginario puede ser escrito como propiedad , donde es un nmero real e es la unidad imaginaria, con 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

al conjunto de los nmeros complejos

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 valor5 . 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 , y obviamente .

Por otro lado, supngase que

, entonces tenemos que

, lo cual evidentemente es falso. , pero si multiplicamos por nos queda que

Y de igual manera, hagamos la errnea suposicin de que . Por lo tanto tenemos que anterior, totalmente falso.

. Lo que es, igualmente que la suposicin

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

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 aunque cualquier nmero imaginario de la forma

satisface

que

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.

Nmero complejo Saltar a: navegacin, bsqueda

Ilustracin del plano complejo. Los nmeros reales se encuentran en el eje de coordenadas horizontal y los imaginarios en el eje vertical. El trmino nmero complejo describe 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). Los nmeros complejos se utilizan en todos los campos de las matemticas, en muchos de la fsica (y 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, los nmeros constituyen un cuerpo y, en general, se consideran como puntos del plano: el plano complejo. La propiedad ms importante que caracteriza a los nmeros complejos es el teorema fundamental del lgebra, que afirma que cualquier ecuacin algebraica de grado n tiene exactamente n soluciones complejas. Los nmeros complejos son una extensin de los nmeros reales, cumplindose que representan todas las races de los polinomios, a diferencia de los reales. . Los nmeros complejos

Los nmeros complejos son la herramienta de trabajo del lgebra ordinaria, llamada lgebra de los nmeros complejos, as como de ramas de las matemticas puras y aplicadas como variable compleja, aerodinmica y electromagnetismo entre otras de gran importancia. Contienen a los nmeros reales y los imaginarios puros y constituyen una de las construcciones tericas ms importantes de la inteligencia humana. Los anlogos del clculo diferencial e integral con nmeros complejos reciben el nombre de variable compleja o anlisis complejo.

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 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 esta compuesto slo por la parte imaginaria, es decir, aquel en el que .

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

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

Argumento

El argumento principal o fase de un nmero complejo genrico por la siguiente expresin:

(siendo x=Re(z) e y=Im(z)) viene dado

donde atan2(y,x) es la funcin arcotangente definida para los cuatro cuadrantes:

O tambin:

Siendo:

la funcin signo. 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. Representaciones Representacin binmica

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

El argumento y mdulo r localizan un punto en un diagrama de Argand; expresin polar del punto.

es la

En esta representacin,

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, 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. Operaciones en forma polar La multiplicacin de nmeros complejos es especialmente sencilla con la notacin polar:

Divisin:

Potenciacin:

Plano de los nmeros complejos o Diagrama de Argand 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 con vectores, 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 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 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 En matemticas 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. 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 que los nmeros reales a la hora de resolver ecuaciones. Variable compleja o anlisis complejo 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 claro que teniamos derecho. Ecuaciones diferenciales 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 Artculo principal: Fractal. .

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. En fsica 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.