Número complejo
Los números complejos son una extensión natural de los números reales: la recta real puede ser vista como un subconjunto del plano de los números complejos. Cada número complejo sería un punto en este plano. Usando las definiciones que siguen, se hacen posibles la suma, la resta, la multiplicación y la división entre estos puntos.
Definiremos cada complejo como un par ordenado de números reales (a, b), que verifican las siguientes propiedades:
- (a, b) + (c, d) = (a + c, b + d)
- (a, b) · (c, d) = (ac - bd, bc + ad).
Tal como los hemos definido, los números complejos forman un cuerpo, el cuerpo complejo, denotado por C (o más apropiadamente por el carácter unicode ℂ ). Si identificamos el número real a con el complejo (a, 0), el cuerpo de los números reales R aparece como un subcuerpo de C. Más aún, C forma un espacio vectorial de dimensión 2 sobre los reales. Los complejos no pueden ser ordenados como, por ejemplo, los números reales: C no puede ser convertido de ninguna manera en un cuerpo ordenado
Geometría: Coordenadas Polares y Rectangulares
El número complejo i = (0, 1) lo llamamos unidad imaginaria. Es un número imaginario y satisface la relación:
- i2 = -1 [recordemos que es lo mismo (-1, 0) y -1].
Con este convenio, todos los complejos z pueden ser escritos como z = a + i b, donde a y b son números reales unívocamente determinados por z. A a lo llamamos parte real de z [a = Re(z)] y a b parte imaginaria de z [b = Im(z)].
Geométricamente, las operaciones algebráicas 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) and (a2,b2), respectivamente. Si trasladamos (movemos) el segundo vector, sin cambiar su dirección, con lo que su punto de aplicación 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 multipicación de las longitudes de los vectores originales. La multiplicación por un número complejo fijo puede ser vista como la una transformación del vector que rota y cambia su tamaño simultáneamente. Multiplicar cualquier complejo por i corresponde con una rotación de 90º en dirección contraria a las agujas del reloj. Asimismo el que (-1) · (-1) = +1 puede ser entendido geométricamente como la combinación de dos rotaciones de 180º Algunas veces, la representación de números complejos en la forma z = a + i b ("coordenadas rectangulares") es menos conveniente que otra representación, usando coordenadas polares: cualquier número complejo (excepto el cero), z puede ser escrito como z = r eiφ donde r es un real positivo (llamado módulo) y el ángulo φ es cualquier real (ver Fórmula de Euler). Cada par de la forma (r, φ) de "coordenadas polares" definen a único complejo distinto de cero z en esta notación. El ángulo φ no obstante no está unívocamente determinado por z, como implica la fórmula de Euler: z = r ei(φ + 2πk) para cualquier número entero k. Por esto, generalmente restringimos φ al intervalo (-π, π] y a éste &phi restringido lo llamamos argumento principal de z y escribimos φ = arg(z). Con este convenio, las coordenadas estarían unívocamente determinadas por z. La multiplicación de números complejos es especialmente sencilla con esta notación: r eiφ · s eiψ = (rs) ei(φ + ψ). Tanto la división como la exponenciación son igualmente sencillas, la división cambiando el signo del exponente del divisor: r eiφ / s eiψ = (rs) ei(φ - ψ). La potenciación multiplicando los exponentes. La suma sin embargo es especialmente complicada.
Valor absoluto, conjugado y distancia
El valor absoluto o magnitud de un número complejo z es la distancia euclídea desde el origen, si pensamos en z como un punto en el plano; denotamos este valor absoluto como |z|, y este valor es siempre un real no negativo. La definición algebráica quedaría como sigue: si z = a + ib, definimos |z| = (a2 + b2)1/2. Por supuesto si el complejo está escrito en forma polar z = r eiφ, entonces |z| = r.
Podemos chequear con facilidad estas tres importantes propiedades del valor absoluto
| |z + w| | < | |z| + |w| |
| |z w| | = | |z| |w| |
| |z / w| | = | |z| / |w| |
para cualesquiera complejos z y w. Por definición, la función distancia queda como sigue d(z, w) = |z - w| y nos provee de un espacio métrico con los complejos gracias al que se puede hablar de límites y continuidad. La suma, la resta, la multiplicación y la división de complejos son operaciones continuas. Si no se dice lo contrario, se asume que ésta es la métrica usada en los números complejos.
El complejo conjugado de un número z = a + ib será el número z* = a - ib. Con este número se cumplen las propiedades:
| (z + w)* | = | z* + w* | |
| (zw)* | = | z* w* | |
| (z/w)* | = | z* / w* | |
| z* | = | z | si y sólo si z es un número real |
| |z|2 | = | z z* | |
| z-1 | = | z* / |z|2 | si z nunca es cero |
Esta última fórmula es el método elegido para calcular el inverso de un número complejo si viene dado en coordenadas rectangulares.
Soluciones de ecuaciones polinómicas
Una raiz del polinomio p es un complejo z tal que p(z)=0. Un resultado importante tras esta definición 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. A esto se le conoce como Teorema Fundamental del Álgebra, y demuestra que los complejos son un cuerpo algebráicamente cerrado. Por esto los matemáticos consideran a los números complejos unos números más naturales que los números reales a la hora de resolver ecuaciones.
Análisis Complejo
Al estudio de las funciones de variable compleja se le conoce como el Análisis complejo. Tiene una gran cantidad de usos como herramienta de matemáticas aplicadas así como en otras ramas de las matemáticas. El análisis complejo pvee algunas importantes herramientas para la demostración de teoremas incluso en teoría de números; 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 difíciles 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 dimensiones.
Un poco de historia
La primera referencia conocida a raíces cuadradas de números negativos proviene del trabajo de los matemáticos griegos, como Herón de Alejandría en el siglo I antes de Cristo, como resultado de una imposible sección de una pirámide. Los complejos se hicieron más patentes en el Siglo XVI, cuando la búsqueda de fórmulas que dieran las raíces exactas de los polinomios de grados 2 y 3 fueron encontradas por matemáticos italianos como Tartaglia, Cardano. Aunque sólo estaban interesados en las raices reales de este tipo de ecuaciones, se encontraban con la necesidad de lidiar con raices de números negativos. El término imaginario para estas cantidades fué acuñado por Descartes en el Siglo XVII y está en desuso. La existencia de números complejos no fue completamente aceptada hasta la más abajo mencionada interpretación geométrica que fue descrita por Wessel en 1799, redescubierta algunos años después y popularizada por Gauss. La implementación más formal, con pares de números reales fue dada en el Siglo XIX
Aplicaciones
Los números complejos se usan en ingeniería eléctrica y en otros campos para una descripción adecuada de las señales periódicas variables (ver análisis de Fourier. En una expresión del tipo z = r eiφ podemos pensar en r como la amplitud y en φ como la fase de una onda sinusoidal de una frequencia dada. Cuando representamos una corriente o un voltaje de corriente alterna (y por tanto con comportamiento sinusoidal) como la parte real de una función de variable compleja de la forma
- f(t) = z eiωt
donde ω representa la frecuencia angular y el número complejo z nos da la fase y la amplitud, el tratamiento de todas las fórmulas que rigen los resistores, capacitores e inductores pueden ser unificadas introduciendo resistencias imaginarias para las dos últimas (ver redes eléctricas). Ingenieros eléctricos y físicos usan la letra j para la unidad imaginaria en vez de i que está típicamente destinada a la intensidad de corriente.
El campo complejo es igualmente importante en mecánica cuántica cuya matemática subyacente utiliza Espacios de Hilbert de dimensión infinita sobre C.
En la relatividad especial y la relatividad general, algunas fórmulas para la métrica del espaciotiempo son mucho más simples si tomamos el tiempo como una variable imaginaria.
En ecuaciones diferenciales, es habitual encontrar primero las raíces complejas r de la ecuación característica de la ecuación diferencial de primer grado y luego intentar resolver el sistema en términos de las funciones base de la forma: f(t) = ert.
Representaciones alternativas de los números complejos
Otras representaciones, no tan usuales, de los números complejos pueden darnos otra perspectiva de su naturaleza. Una especialmente elegante interpreta cada complejo como una matriz 2x2 con números reales como entradas While usually not useful, alternative representations of complex field can give some insight into their nature. One particularly elegant representation interprets every complex number as 2x2 matrix con entradas reales que estiran y rotan los puntos del plano.Cada una de estas matrices tiene la forma
/ a -b b a /
con números reales a y b. La suma y el producto de dos matrices queda de nuevo de esta forma. Cualquier matriz no nula es invertible, y su inverso es de nuevo de esta forma. Por consiguiente, las matrices de esta forma son un cuerpo. En efecto, este es exactamente el cuerpo de los complejos. Cualquier matriz puede ser escrita:
/ a -b / 1 0 / 0 -1 b a / = a 0 1 / + b 1 0 /
Lo cual sugiere que se puede identificar la unidad con la matriz
/ 1 0 0 1 /
y la unidad imaginaria
/ 0 -1 1 0 /
ic est, una rotación de 90 grados. ¡Nos damos cuenta de que el cuadrado de esta matriz es ciertamente igual a -1!
El valor absoluto de un complejo expresado como una matriz es igual a la raíz cuadrada del determinante de la matriz. Si vemos la matriz como una transformación del plano, entonces la transformación rota puntos con un ángulo igual al argumento del complejo y escala multiplicando por un factor igual al valor absoluto del complejo. El complejo conjugado de z es la transformación con la misma rotación dispuesta por z pero en sentido inverso, y escala de la misma manera que z; esto puede ser descrito por la traspuesta de la matriz correspondiente a z.
Ver también: