Unidad 1: Nmeros complejos. 1.1 Definicin y origen de los nmeros complejos.

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). 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. Adems los nmeros complejos se utilizan por doquier 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. 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. 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, diferenciales, geometra, geometra no eucldea, anlisis complejo, anlisis numrico y mecnica terica, tambin abri el camino para el uso general y sistemtico de los nmeros complejos. 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 .

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, y las asociativas (z1 + z2) + z3 = z1 + (z2 + z3), (z1z2)z3 = z1(z2z3) z1z2 = z2z1

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

1.3 Potencias de i modulo o valor absoluto de un nmero complejo.

Potencias de i En cuanto a potencias de i (la unidad imaginaria de un nmero complejo), se tienen 4 potencias conocidas como bsicas, ya que en ellas nos basaremos para sacar otras potencias ms grandes.

i0 = 1 i1 = i i2 = 1 i3 = i i4 = 1 Los resultados de las potencias de la unidad imaginaria se repiten de cuatro en cuatro. 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. i22 224=5, y el resto es 2 i22 = (i4)5 i2 = 1 i27 = i

Modulo o Valor Absoluto de un Nmero Complejo Con relacin al plano cartesiano, los nmeros complejos estn en correspondencia biunvoca con los puntos del plano. Esto es, la abscisa de cada punto es la parte real y la ordenada la parte imaginaria. Note que los complejos cuya parte imaginaria es nula; es decir, los nmero de la forma z = (a,0) son puntos localizados sobre el eje de las abscisas o eje x. Puede demostrarse que los nmeros complejos de la forma (a,0) tienen las mismas propiedades aritmticas que el nmero real a. Por esta razn, se puede identificar el nmero complejo (a,0) con el nmero real a. Igualmente, los complejos cuya parte real es nula; es decir, los nmeros de la forma z=(0,b) estn localizados sobre el eje de las ordenadas o eje y. Por esta razn, algunos autores utilizan los trminos eje real y eje imaginario para referirse, respectivamente, al eje x y al eje y del plano cartesiano

1.4 Forma polar y exponencial de un nmero 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

1.5 Teorema moivre potencias y extraccin de races de un numero complejo.

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 (n = 0, 1, 2 ...)

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