TEMA 1.
- Numeros complejos
1.1 Definicion y origen de los numeros complejos.
Debido a que el cuadrado de cualquier nmero real es no negativo, una simple ecuacin como x2 = -4 no tiene solucin en el conjunto de los nmeros reales. Para poder tratar con este tipo de situaciones tenemos que extender el conjunto de los nmeros reales a un conjunto mayor, el conjunto de los nmeros complejos. Para poder obtener una solucin de la ecuacin x2 + 1 = 0, utilizamos el nmero i, tal que i2=1. Este nmero i no es un nmero real y se llama la unidad imaginaria, pero i2 si es un nmero real. La unidad imaginaria se utiliza en la siguiente definicin de los nmeros complejos. Definicin. Un nmero complejo z es una combinacin lineal de la forma
en donde a y b son nmeros reales. Al nmero a se le llama la parte real de z, a = Re(z), y al nmero b la parte imaginaria de z, b = Im(z). A la expresin a + b i de un nmero complejo z se le conoce como la forma estndar de z.
Ejemplos:
z 7+5i -4 3 i = -4 + (-3) i -9 i = 0 + (-9) i 4=4+0i
Re(z) 7 -4 0 4
Im(z) 5 -3 -9 0
Decimos que dos nmeros complejos z = a + b i, w = c + d i, son iguales z = w, si y solo si a = c y b =d.
Podemos visualizar a los nmeros complejos asocindolos con puntos del plano. Hacemos esto que el nmero a + b i se corresponda con el punto (a, b).
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. El conjunto de los nmeros complejos contiene, por tanto, a los nmeros reales como subconjunto. los nmeros complejos de la forma (0, y) se llaman nmeros imaginarios puros.Los nmeros reales x e y en la expresion [1] se conocen, respectivamente, como parte real y parte imaginaria de z. Escribiremos: Re z = x, Im z = y Dos nmeros complejos (x1, y1) y (x2, y2) se dicen iguales si tienen iguales las partes real y imaginaria. Es decir: (x1, y1) = (x2, y2) si y slo si x1= x2 e y1 = y2 La suma z1 + z2 y el producto z1z2 de dos nmeros complejos z1 = (x1, y1) y z2 = (x2, y2) se definen por las ecuaciones: (x1, y1) + (x2, y2) = (x1 + x2, y1 + y2) (x1, y1) (x2, y2) = (x1x2 - y1 y2 + x1, y2) En particular, (x, 0) + (0, y) = (x, y) y (0, 1)(y, 0) = (0, y); luego (x, y) = (x, 0) + (0, 1)(y, 0) Ntese que las operaciones definidas por las ecuaciones [4] y [5] son las usuales cuando se restringen a los nmeros reales: (x1, 0) + (x2, 0) = (x1 + x2, 0), (x1, 0)(x2, 0) = (x1x2, 0). El sistema de los nmeros complejos es, en consecuencia, una extensin natural del de los nmeros reales
Pensando en un nmero real como x o como (x, 0), y denotando por i el nmero imaginario puro (0, 1), podemos reescribir la Ecuacion [6] asi (x, y) = x + iy. Asimismo, con el convenio z2 = zz, z3 = zz2, etc., hallamos que i2 = (0,1)(0,1) = (-1, 0); es decir, i2 = -1
A la vista de la expresion [7], las Ecuaciones [6] y [7] se convierten en (x1 + iy1) + (x2 + iy2) = (x1 + x2) + i(y1 + y2), (x1 + iy1)(x2 + iy2) = (x1x2 - y1y2) + i(y1x2 + x1y2),
1.2.-Operaciones con numeros complejos Suma de Nmeros Complejos Dados dos nmeros complejos a + bi y c + di se definen su suma como: (a + bi ) + (c + di ) = (a + c) + (b + d)i Propiedades de la Suma de Nmeros Complejos La suma de nmeros complejos tiene las siguientes propiedades: Conmutativa Dados dos nmeros complejos a + bi y c + di se tiene la igualdad: (a + bi ) + (c + di ) = (c + di ) + (a + bi ) Ejemplo: (2 - 3i ) + (-3 + i ) = (2 - 3) + i (-3 + 1) = -1 - 2i (-3 + i ) + (2 - 3i ) = (-3 + 2) + i (1 - 3) = -1 - 2i Asociativa Dados tres complejos a + bi, c + di y e + fi , se cumple: [(a + bi ) + (c + di )] + (e + fi ) = (a + bi ) + [(c + di ) + (e + fi )] Ejemplo: [(5 + 2i ) + (3 - 4i )] + (-9 + 8i ) = (8 - 2i ) + (-9 + 8i ) = -1 + 6i
(5 + 2i ) + [(3 - 4i ) + (-9 + 8i )] = (5 + 2i ) + (-6 + 4i ) = -1 + 6i Elemento neutro El elemento neutro es 0 + 0i , puesto que: (a + bi ) + (0 + 0i ) = (a + 0) + i (b + 0) = a + bi El nmero 0 + 0i se escribe simplificadamente 0 y se le llama cero. Elemento simtrico El elemento simtrico de un nmero complejo cualquiera a + bi es (- a - bi ): (a + bi ) + (-a - bi) = 0 + 0i = 0 Ejemplo: El simtrico de 2 - 3i es -2 + 3i pues (2 - 3i ) + (-2 + 3i ) = 0 Producto de Nmeros Complejos La multiplicacin se efecta igual que si fuesen nmeros reales, pero teniendo en cuenta que la multiplicacin de complejos no es equivalente al producto escalar de vectores. Dados dos nmeros complejos a + bi y c + di se definen su producto como: (a + bi ) (c + di ) = (ac - bd) + (ad + bc)i El producto puede hacerse operando con i como si fuese un nmero real y teniendo en cuenta que i 2 = -1. (a + bi )(c + di ) = ac + adi + bci + bdi 2 = ac + i(ad + bc) + bd(-1) = ac - bd + i (ad + bc) Pero para comprobar resultados, podemos representar los complejos que se multiplican por sus vectores, y el resultado del producto por el vector correspondiente al complejo producto. Propiedades del Producto de Complejos Conmutativa Dados dos complejos a + bi y c + di , se cumple que: (a + bi ) (c + di ) = (c + di ) (a + bi ) Asociativa
Dados los complejos a + bi, c + di y e + fi se cumple que: [(a + bi ) (c + di )](e + fi ) = (a + bi ) [(c + di ) (e + fi )] Elemento neutro El elemento neutro del producto es 1 + 0 i = 1, puesto que para cualquier complejo a + bi , (a + bi ) (1 + 0 i ) = (a + bi ) 1 = a + bi . El elemento neutro es el uno. Distributiva del producto con respecto a la suma Dados tres nmeros complejos a + bi , c + di y e + fi , se cumple: (a + bi ) [(c + di ) + (e + fi )] = (a + bi ) (c + di ) + (a + bi ) (e + fi ) Ejemplo: (1 - 2i ) [3i + (2 - 7i )] = (1 - 2i ) (2 - 4i ) = 2 - 4i - 4i + 8i 2 = -6 - 8i (1 - 2i ) 3i + (1 - 2i ) (2 - 7i ) = (3i - 6i 2) + (2 - 7i - 4i + 14i 2) = (3i + 6) + (-12 - 11i )= - 6 - 8i El conjunto de los nmeros complejos, por contar con todas las propiedades anteriores para la suma y para el producto, se dice que es un anillo conmutativo. El conjunto de los nmeros complejos se simboliza por C, o tambin (C, +, ). Elemento simtrico respecto del producto Dado un complejo cualquiera a + bi , distinto de 0 + 0i , existe otro complejo que, multiplicado por l, da el elemento neutro del producto, es decir, 1 + 0i . Demostracin: Se intentar calcular el inverso de a + bi , x + yi . Ha de verificarse que (a + bi ) (x + yi ) = 1 + 0i (a + bi ) (x + yi ) = (ax - by) + (ay + bx)I Por tanto ha de ser: ax - by = 1, multiplicando por a se tiene: a2x - aby = a bx + ay = 0, multiplicando por b se tiene: b2x + aby = 0
El conjunto de los nmeros complejos es un cuerpo conmutativo con la suma y el producto definidos. Divisin de Nmeros Complejos Para dividir dos complejos, se multiplica el dividendo y el divisor por el conjugado de ste, as el divisor pasar a ser un nmero real. Como en la multiplicacin, podemos representar los complejos por vectores, para poder comprobar los resultados Nmeros Complejos en Forma Polar o Trigonomtrica Se puede representar un nmero complejo cualquiera z = a +bi en forma polar, dando su mdulo y su argumento. Esta forma tambin se llama forma trigonomtrica. Modulo de un nmero complejo z es la longitud del vector que lo representa.
|z| = r ARGUMENTO de un complejo es el ngulo que forma el vector con el eje real. arg(z) = a Por lo cual z = r (cos + isen ) Nmeros Complejos en Forma Forma Binmica Forma binmica z = a + bi Operaciones con Numeros Complejos en Forma Polar Multiplicacin Se multiplican los mdulos Se suman los argumentos Divisin Se dividen los mdulos Se restan los argumentos
Potencia La potencia es un producto de factores iguales, por tanto la regla es la misma que la de multiplicar. El mdulo se eleva a n El argumento se multiplica por n
1.3.-Potencias de i. Modulo o Valor Absoluto de un numero complejo
El valor absoluto, mdulo o magnitud de un nmero complejo z viene dado por la siguiente expresin:
Si pensamos en 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. Si el complejo est escrito en forma exponencial z = r ei, entonces |z| = r. Se puede expresar en forma polar 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. Potencias de i
