1.1 Definicin y origen de los nmeros complejos.

Historia de los nmeros complejos 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. Definicin de nmero complejo Los nmeros complejos z se pueden definir como pares ordenados z = (x, y)

de nmeros reales x e y, con las operaciones de suma y producto que especificaremos ms adelante. Se suelen identificar los pares (x, 0) con los nmeros reales x.

(Dar click para agrandar las imagenes)

1.2 Operaciones fundamentales con nmeros complejos. Varias propiedades de la suma y del producto de nmeros complejos coinciden con las de los nmeros reales. Recogeremos aqu las ms bsicas y verificamos algunas de ellas. Las leyes conmitativas z1 + z2= z2 + z1, z1z2 = z2z1 y las asociativas (z1 + z2) + z3 = z1 + (z2 + z3), (z1z2)z3 = z1(z2z3) se siguen fcilmente de las definiciones de la suma y el producto de nmeros complejos, y del hecho de que los nmeros reales las satisfacen. Por ejemplo, si z1 = (x1, y1) y z2 = (x2, y2), entonces z1 + z2 = (x1, y1) + (x2, y2) = (x1 + x2, y1 + y2) = (x2 + x1, y2 + y1) = (x2, y2) + (x1, y1) = z2 + z1 La verificacin de las restantes, as como de la ley distributiva z(z1 + z2) = zz1 + zz2, es similar. De acuerdo con la ley conmutativa del producto, iy = yi; luego est permitido escribir z = x + iy o z = x + yi Adems, por las leyes asociativas, una suma z1 + z2 + z3 o un producto z1z2z3 estn bien definidos sin parntesis, igual que ocurra con los nmeros reales. La identidad aditiva 0 = (0, 0) y la idenidad multiplicativa 1 = (1, 0) de los nmeros reales se transfieren al sistema de los nmeros complejos. O sea, z+0=z y z*1=z para todo nmero complejo z. Ms an, 0 y 1 son los nicos nmeros complejos con tales propiedades. Para establecer la unicidad de 0, supongamos que (u, v) es una identidad aditiva, y escribamos (x, y) + (u, v) = (x, y), donde (x, y) es cualquier nmero complejo. Se deduce que

x + u = x e y + v = y; o sea, u = 0 y v = 0. El nmero complejo 0 = (0, 0) es, por tanto, la nica identidad aditiva. Cada nmero complejo z = (x, y) tiene asociado un inverso aditivo -z = (-x, -y) que satisface la ecuacin z + (-z) = 0. Adems, hay un slo inverso aditivo para cada z, pues la ecuacin (x, y) + (u, v) = (0,0) implica que u = -x y v = -y. Los inversos aditivos se usan para definir la resta: z1 - z2 = z1 + (-z2). Luego si z1 = (x1, y1) y z2 = (x2, y2), entonces z1 - z2 = (x1 - x2, y1 - y2) = (x1 - x2) + i(y1 - y2). Anlogamente, para todo nmero complejo z = (x, y) no nulo, existe un nmero complejo z-1 tal que zz-1 = 1. Este inverso multiplicativo es menos obvio que el aditivo. Para hallarlo, buscamos nmeros reales u, v expresados en trminos de x e y, tales que (x, y)(u, v) = (1,0). (Dar click para agrandar la imagen)

1.3 Potencias de i, mdulo o valor absoluto de un nmero complejo.

=Potencias de la unidad imaginaria= i0 = 1 i1 = i i2 = 1 i3 = i i4 = 1

Los valores se repiten de cuatro en cuatro, por eso, para saber cunto vale una determinada potencia de i, se divide el exponente entre 4, y el resto es el exponente de la potencia equivalente a la dada.

=Ejemplo i22

i22 = (i4)5 i2 = 1

=Valor absoluto=

El valor absoluto, 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 polar z = r ei, entonces |z| = r. Podemos comprobar con facilidad estas tres 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.

1.4 Forma polar y exponencial de un numero complejo. Forma Polar Sean r y coordenadas polares del punto (x, y) que corresponde a un nmero complejo no nulo z = x + iy. Como x = r cos e y = r sen z puede ser expresado en forma polar como z = r(cos + i sen). En anlisis complejo, no se admiten r negativos; sin embargo, como en el Clculo, tiene infinitos valores posibles, incluyendo valores negativos. Forma exponencial La ecuacin ei = cos + i sen que define el simbolo ei, o exp (i), para todo valor real de , se conoce como frmula de Euler. Si escribimos un nmero complejo no nulo en forma polar z = r(cos + i sen ),

la frmula de Euler permite expresar z ms compactamente en forma exponencial: z = rei (Dar click para agrandar la imagen)

1.5 Teorema de De Moivre, potencias y extraccin de races de un nmero complejos

Potencias de nmeros complejos

Las potencias enteras de un nmero complejo no nulo z = rei vienen dadas por z = rnein (n = 0, +1, -1, +2, -2 ...) Como zn+1 = zzn cuando n=1,2,..., esto se comprueba fcilmente para valores positivos de n por induccin, para el producto de nmeros complejos en forma exponencial. La ecuacin es vlida tambin para n = 0 con el convenio de que z0 = 1. Si n = -1, -2..., por otro lado, definimos zn en trminos del inverso multiplicativo de z escribiendo zn = (z-1)m, donde m = -n = 1, 2, ... Entonces, como la ecuacin z = rnein es vlida para potencias enteras positivas, se sigue de la forma exponencial de z-1 que zn = [1/r ei(-)]m = (1/r)m eim(-) = rnein

Por tanto, la ecuacin z = rnein es vlida para toda potencia entera. Ntese que si r = 1, z = rnein se convierte en (ei)n = ein Cuando se expresa en la forma (cos + i sen )n = cos n + i sen n que se le conoce como la frmula de De Moivre
(Dar click para agrandar la imagen)

(n = 0, 1, 2 ...)

1.6 Ecuaciones polinmicas.

Los nmeros complejos surgen ante la imposibilidad de hallar todas las soluciones de las ecuaciones polinmicas de tipo

Dados los valores apropiados de los coeficientes an a a0 , esta ecuacin tendr n soluciones reales si que permitirn reescribir el polinomio de la siguiente forma:

Sin embargo, ecuaciones incluso tan sencillas como x2 + 1 = 0 desafan esta regla, ya que su solucin, que tericamente vendra dada por

que no existe en el campo de los reales ya que la raz cuadrada no est definida para argumentos negativos.

Los nmeros complejos sin embargo permiten ampliar an ms el concepto de "nmero",

definiendo la unidad imaginaria o i como i = raz de -1, lo que significara que la ecuacin anterior s tendra dos soluciones, que seran x1= i y x2= - i.

La introduccin de los nmeros complejos permite probar el teorema fundamental del lgebra, que dice que cualquier ecuacin polinmica de grado n tiene exactamente n soluciones complejas.

De esta manera, se define genricamente un nmero complejo como un nmero compuesto por dos partes, una parte real a y una parte imaginaria b, escribindose como sigue: z = a + bi.

Por ejemplo, 2-3i, 4+8i, 3-i, etc.

Con los nmeros complejos se opera como se operara con productos de sumas ordinarios, teniendo en cuenta siempre que i2 = -1: (a + bi)(c + di) = ac +adi +bci + bdi2 = (ac - bd) + (ad+bc)i.

La divisin es un poco ms sofisticada debido a la necesidad de eliminar la unidad imaginaria del de nominador de la fraccin: