Unidad imaginaria: definición, propiedades y usos prácticos

Inicio » Economía » Unidad imaginaria: definición, propiedades y usos prácticos

La unidad imaginaria, representada por i, es uno de esos conceptos que parecen misteriosos la primera vez que aparecen y que, sin embargo, resultan tremendamente prácticos cuando se entienden bien. Su rasgo definitorio es que satisface i² = -1, algo imposible en el mundo de los números reales pero perfectamente coherente dentro de los números complejos.

Más allá de la anécdota, tratar a i como un símbolo algebraico con la regla i² = -1 permite extender todas las operaciones habituales de los reales a un universo más rico: el de los complejos. Esta extensión abre la puerta a resolver ecuaciones, modelar rotaciones y trabajar con señales, entre otras muchas aplicaciones.

Qué es exactamente la unidad imaginaria

La definición es concreta: la unidad imaginaria i es un número complejo cuyo cuadrado vale -1. Si escribimos un complejo en forma rectangular como a + bi, entonces i es el complejo 0 + 1·i: su parte real es 0 y su parte imaginaria es 1.

En forma polar, i tiene módulo 1 y argumento π/2, por lo que puede escribirse como e^iπ/2. En el plano complejo (plano de Argand), el punto correspondiente a i está a una unidad del origen sobre el eje imaginario, perpendicular al eje real.

La ecuación x² = -1 tiene dos soluciones distintas: +i y –i. No hay una “más correcta” que la otra; elegir cuál llamamos i y cuál –i es una cuestión de etiqueta, ya que algebraicamente son simétricas.

Propiedades básicas y potencias de i

De la regla i² = -1 se deducen de inmediato potencias y propiedades elementales: i⁰ = 1, i¹ = i, i² = -1, i³ = -i, e i⁴ = 1, volviendo a empezar el ciclo.

Este patrón es cíclico de periodo 4. Para cualquier entero n, iⁿ depende de n mod 4: basta dividir n entre 4 y quedarse con el resto r ∈ {0,1,2,3}; así iⁿ = i^r. Para exponentes negativos, i^-n = 1/iⁿ, y como 1/i = -i, se simplifica fácilmente.

Al multiplicar por i se “rota” el patrón: i·i = -1, i·(-1) = -i, i·(-i) = 1, i·1 = i. Este comportamiento periódicamente alternante es la base de muchos cálculos rápidos con potencias de i.

Cómo se representa y se interpreta en el plano complejo

Un número complejo cualquiera se escribe como a + bi, con a,b ∈ ℝ. Si b = 0 recuperamos un real puro; si a = 0 obtenemos un imaginario puro bi.

Geométricamente, a + bi corresponde al vector (a,b) en el plano. El eje horizontal es el eje real y el vertical el eje imaginario. El módulo es la distancia al origen, |a + bi| = √(a² + b²), y el argumento es el ángulo φ tal que cos φ = a/|z| y sin φ = b/|z|, con cuidado de situarlo en el cuadrante correcto.

La forma polar o trigonométrica es especialmente cómoda para multiplicar, dividir, elevar a potencias y extraer raíces: z = r·e^iφ = r(cos φ + i sin φ), donde r ≥ 0 es el módulo y φ el argumento.

Sumas, productos, cocientes y conjugado en forma binómica

Las operaciones en forma a + bi son directas: (a + bi) + (c + di) = (a + c) + (b + d)i, y la resta análogamente. Se suman partes reales con reales y partes imaginarias con imaginarias.

Para multiplicar, (a + bi)(c + di) = (ac – bd) + (ad + bc)i, usando i² = -1. Es el mismo desarrollo que un producto de binomios, con la salvedad del término i².

El conjugado complejo de z = a + bi es ̅z = a – bi. Es útil porque z·̅z = a² + b² = |z|², un número real no negativo.

Para dividir, se racionaliza el denominador: (a + bi)/(c + di) = /(c² + d²), lo que devuelve otro complejo en forma binómica.

Forma polar y teoremas prácticos (incluyendo De Moivre)

Si z = r(cos φ + i sin φ) y w = s(cos θ + i sin θ), entonces z·w = rs; los módulos se multiplican y los ángulos se suman.

El cociente se maneja igual de bien: z/w = (r/s), siempre que s ≠ 0. Así, dividir resta argumentos y divide módulos.

Para potencias enteras, el teorema de De Moivre dice que zⁿ = rⁿ. Es una forma compacta y muy potente para elevar complejos.

Las raíces n‑ésimas vienen dadas por w_k = r^1/n, con k = 0,1,…,n−1. Es decir, hay exactamente n soluciones igualmente espaciadas en el círculo de radio r^1/n.

Raíz cuadrada y cúbicas de i

Calcular √i es un clásico. Si imponemos (x + yi)² = i y separamos partes, obtenemos el sistema x² – y² = 0 y 2xy = 1. La solución lleva a ±(√2/2)(1 + i), que son las dos raíces cuadradas de i.

Las raíces cúbicas de i son tres, situadas en el círculo unitario. Una forma de listarlas es: -i, √3/2 + (1/2)i y -√3/2 + (1/2)i. Como ocurre con todas las raíces, forman los vértices de un polígono regular inscrito en la circunferencia de radio 1.

Multiplicar y dividir por i como rotación

Multiplicar un complejo por i corresponde a rotar 90° en sentido antihorario alrededor del origen. En forma binómica, (a + bi)·i = -b + ai: se permutan las coordenadas con un cambio de signo adecuado.

Dividir por i equivale a multiplicar por su recíproco, y como 1/i = -i, se obtiene (a + bi)/i = (a + bi)(-i) = b – ai. Es, geométricamente, una rotación de 90° en sentido horario.

Cuándo valen y cuándo no valen las “reglas de la raíz”

La notación √· se reserva para la raíz cuadrada principal. En el eje real, sólo está definida para valores ≥ 0; en el plano complejo, se define eligiendo una rama principal. Aplicar sin cuidado reglas como √a·√b = √(ab) o √a/√b = √(a/b) fuera de su dominio de validez lleva a errores.

Por ejemplo, intentar escribir √(-1)·√(-1) = √(1) y concluir que -1 = 1 es una trampa: esas igualdades sólo son válidas para a,b ≥ 0 reales, y en complejos hay que atender a la multivaluación y a la rama elegida.

Una guía práctica: en ℝ, las raíces de índice par de números negativos no existen; en ℂ, sí existen pero son multivaluadas y hay que fijar una rama para trabajar de forma consistente.

Funciones complejas destacadas: i^i, i! y trigonométricas

Usando la fórmula de Euler, i = e^{i(π/2 + 2kπ)}, y elevando a la i, obtenemos iⁱ = e^{– (π/2 + 2kπ)} para cualquier k ∈ ℤ. El valor principal corresponde a k = 0 y es e^-π/2, un número real positivo menor que 1.

El “factorial” de i se define vía la función gamma: i! = Γ(1 + i) ≈ 0,4980 − 0,1549·i. Su módulo satisface |i!| = √(π/sinh π), una identidad elegante que conecta análisis real y complejo.

Las funciones trigonométricas complejas también dan sorpresas: cos(i) es real y vale cosh(1), mientras que sin(i) es puramente imaginario y vale i·sinh(1). En general, muchas funciones (potencias, raíces, logaritmos, trigonométricas) son multivaluadas en ℂ; conviene declarar explícitamente la rama (superficie de Riemann) con la que se trabaja.

Elección de i frente a -i y el punto de vista algebraico

Desde la perspectiva estructural, el cuerpo de los complejos puede construirse como ℝ/(x² + 1). Esta construcción es única hasta isomorfismo, pero no de forma única: existen dos automorfismos que fijan ℝ, la identidad y la conjugación (que envía i a -i).

Esto explica por qué no hay diferencia algebraica entre escoger i o -i como “la” unidad imaginaria: ambos papeles son intercambiables mediante un automorfismo que deja intacto lo real.

Interpretación matricial y ambigüedad de la orientación

Otra forma de ver los complejos es como matrices reales 2×2. La multiplicación por i se puede representar por J = ,], que cumple J² = -I. También -J satisface la misma ecuación, reflejando la ambivalencia entre rotación antihoraria y horaria.

Más en general, hay muchas matrices X con X² = -I. Incluso si se considera la familia de matrices ,], la condición X² = -I impone z² + xy = -1, lo que obliga a xy ≤ -1 y sitúa (x,y) en ramas de una hipérbola en los cuadrantes II y IV.

Geométricamente, el grupo especial ortogonal en 2D, SO(2), tiene dos automorfismos relevantes: la identidad y el que intercambia rotaciones en sentido horario y antihorario. Elegir qué se considera rotación positiva fija cuál de J o -J representa a i.

Ejemplos rápidos de cálculo

Potencias mod 4: para n = 2025, como 2025 = 4·506 + 1, se tiene i²⁰²⁵ = i¹ = i.

Producto en binómica: (3 + 2i)(1 − 4i) = (3·1 − 2·4) + (3·(−4) + 2·1)i = (3 − 8) + (−12 + 2)i = −5 − 10i.

División con conjugado: (5 − i)/(2 + i) = (5 − i)(2 − i)/(2² + 1²) = /5 = (9 − 7i)/5 = 1,8 − 1,4i.

Forma polar y De Moivre: z = √2(cos 45° + i sin 45°) = 1 + i. Entonces z⁴ = (√2)⁴ = 4(−1 + 0i) = −4.

Usos y notaciones en ingeniería y programación

En ingeniería eléctrica, para evitar confusión con la intensidad de corriente i(t), se usa j para la unidad imaginaria. Muchos lenguajes y herramientas siguen esta convención: en Python se escribe 3+4j y en MATLAB/Octave existen los literales i y j (siendo recomendable 1i o 1j para robustez).

Algunos textos optan por la letra griega iota (ι) para evitar colisiones con índices. En cuaterniones aparecen tres “unidades imaginarias” i, j y k, con reglas de multiplicación distintas a las de los complejos; en contextos de bicuaterniones y bivectores puede introducirse otra unidad h.

Advertencias útiles al trabajar con i

Siempre que manipules expresiones con raíces o logaritmos complejos, recuerda que la elección de rama importa. Cambiar de rama a mitad de un cálculo puede alterar signos, argumentos y, en consecuencia, resultados.

Cuando una identidad real parezca llevar a contradicciones al extenderla a ℂ, revisa el dominio: muchas reglas familiares son válidas sólo bajo ciertas condiciones (por ejemplo, a,b ≥ 0 para reglas de radicales), y extenderlas sin control puede dar conclusiones falsas.

La unidad imaginaria no es un “truco” sino una pieza formal que encaja con precisión en el engranaje del álgebra. Desde el ciclo de potencias y la representación polar hasta iⁱ o Γ(1+i), todas las propiedades encajan cuando se adoptan definiciones rigurosas y se respetan las ramas de las funciones multivaluadas. Con estas ideas claras, i deja de ser “imaginaria” para convertirse en una herramienta muy real en tus cálculos.