miniaturadeimagen|Ilustración del plano complejo. Los números reales se encuentran en el eje de abscisa y los imaginarios en el eje ordenada. Los números complejos, designados con la notación (), son una extensión de los números reales () y forman un cuerpo algebraicamente cerrado.J. V. Uspenski (profesor de la Universidad de Stanford): Teoría de ecuaciones, Limusa grupo Noriega editores. México DF. (1992) ISBN 968-18-2335-4. Entre ambos conjuntos de números se cumple que , es decir: está estrictamente contenido en . Los números complejos incluyen todas las raíces de los polinomios, a diferencia de los reales. Todo número complejo puede representarse como la suma de un número real y un número imaginario (que es un múltiplo real de la unidad imaginaria, que se indica con la letra , o en forma polar).
Los números complejos son la herramienta de trabajo del álgebra, el análisis, así como de ramas de las matemáticas puras y aplicadas como variables complejas, ecuaciones diferenciales; facilitan el cálculo de integrales en aerodinámica, hidrodinámica y electromagnetismo entre otras áreas de gran importancia. Además, los números complejos se utilizan por doquier en matemáticas, en muchos campos de la física (notablemente en la mecánica cuántica) y en ingeniería, especialmente en la eléctrica, electrónica y las telecomunicaciones, por su utilidad para representar las ondas electromagnéticas y la corriente eléctrica.
En matemáticas estos números constituyen un cuerpo y, en general, se consideran como puntos del plano: el plano complejo. Este cuerpo contiene a los números reales y los imaginarios puros.
Historia La fórmula general de la solución de las raíces (sin utilizar funciones trigonométricas) de una ecuación de tercer grado contiene las raíces cuadradas de un número negativo cuando las tres raíces son números reales, una situación que no puede rectificarse factorizando con la ayuda de teorema de la raíz racional si el polinomio cúbico es irreducible (el llamado casus irreducibilis). Este enigma llevó al matemático italiano Gerolamo Cardano a concebir los números complejos alrededor de 1545, aunque su comprensión era rudimentaria.
El trabajo sobre el problema de los polinomios generales condujo finalmente al teorema fundamental del álgebra, que muestra que en el dominio de los números complejos existe una solución para cada ecuación polinomio de grado uno o superior. Los números complejos forman un cuerpo algebraicamente cerrado, donde cualquier ecuación polinómica tiene una raíz.
Numerosos matemáticos contribuyeron al desarrollo de los números complejos. Las reglas para la suma, resta, multiplicación y extracción de raíces de números complejos fueron desarrolladas por el matemático italiano Rafael Bombelli, y fue el matemático irlandés William Rowan Hamilton quien desarrolló un formalismo más abstracto para los números complejos, extendiendo esta abstracción a la teoría de los cuaterniones.
Quizás se pueda decir que la referencia fugaz más temprana a la raíz cuadrada de número negativo aparece en el trabajo del matemático griego del Herón de Alejandría. En su Stereometrica considera, aparentemente por error, el volumen de un tronco de pirámide con una solución imposible, llegando al término en sus cálculos, aunque no se concebían cantidades negativas en la matemática helénica y Herón simplemente lo reemplazó por el mismo valor positivo ().
El interés por estudiar los números complejos como un tema en sí mismo surgió por primera vez en el , cuando los matemáticos italianos descubrieron soluciones algebraicas para las raíces de los polinomios cúbicos y cuárticos (véase Niccolò Fontana Tartaglia y Gerolamo Cardano). Pronto se dieron cuenta de que estas fórmulas, incluso si solo interesaban soluciones reales, a veces requerían la manipulación de raíces cuadradas de números negativos. Como por ejemplo, en la fórmula de Tartaglia para una ecuación cúbica de la forma da la solución a la ecuación en la forma:
A priori, esto parece un sin sentido. Sin embargo, los cálculos formales con números complejos muestran que la ecuación tiene soluciones , y . Sustituyendo estos a su vez por en la fórmula cúbica de Tartaglia y simplificando, se obtienen , y como las soluciones de . Por supuesto, esta ecuación en particular se puede resolver a simple vista, pero ilustra que cuando se usan fórmulas generales para resolver ecuaciones cúbicas con raíces reales, entonces, como demostraron rigurosamente los matemáticos posteriores, el uso de números complejos es inevitable. Rafael Bombelli fue el primero en abordar explícitamente estas soluciones aparentemente paradójicas de las ecuaciones cúbicas, y desarrolló las reglas para la aritmética compleja que intenta resolver estos problemas.
El término "imaginario" para estas cantidades fue acuñado por René Descartes en 1637, esforzándose precisamente por enfatizar su naturaleza imaginaria
Otra fuente de confusión fue que la ecuación parecía ser caprichosamente inconsistente con la identidad algebraica , que es válida para números reales no negativos y , y que también se usó en cálculos de números complejos con alguno de o positivo y el otro negativo. El uso incorrecto de esta identidad (y la identidad relacionada ) en el caso de que y sean negativos, preocupó incluso a Euler. Esta dificultad finalmente llevó a la convención de usar el símbolo especial () en lugar de para protegerse contra este error. Aun así, Euler consideró natural presentar a los estudiantes números complejos mucho antes de lo que se hace hoy en día. En su libro de texto de álgebra elemental, Elementos de Álgebra, introducía estos números casi de inmediato y luego los usaba de forma natural.
En el los números complejos obtuvieron un uso más amplio, ya que se notó que la manipulación formal de expresiones complejas podría usarse para simplificar los cálculos que implican funciones trigonométricas. Por ejemplo, en 1730 Abraham de Moivre observó que las complicadas identidades que relacionan las funciones trigonométricas de un múltiplo entero de un ángulo con las potencias de las funciones trigonométricas de ese ángulo podrían simplemente reexpresarse mediante la siguiente conocida fórmula que lleva su nombre, la fórmula de De Moivre:
En 1748 Leonhard Euler fue más allá y obtuvo la Fórmula de Euler de análisis complejo:
manipulando formalmente series de potencias complejas, y observó que esta fórmula podría usarse para reducir cualquier identidad trigonométrica a identidades exponenciales mucho más simples.
La idea de un número complejo como un punto en el plano complejo fue descrita por primera vez por Caspar Wessel en 1799, aunque ya había sido anticipada en 1685 en la obra De Algebra tractatus de John Wallis.
Las Memorias de Wessel aparecieron en las Actas de la Real Academia de Bellas Artes de Dinamarca, pero pasaron desapercibidas. En 1806 Jean-Robert Argand emitió independientemente un cuadernillo sobre números complejos y proporcionó una demostración rigurosa del teorema fundamental del álgebra. Carl Friedrich Gauss había publicado anteriormente una prueba esencialmente topológica del teorema en 1797, pero expresó sus dudas en ese momento sobre "la verdadera metafísica de la raíz cuadrada de −1". No fue sino hasta 1831 cuando superó estas dudas y publicó su tratado sobre números complejos como puntos en el plano, estableciendo en gran medida la notación y la terminología modernas. A principios del otros matemáticos descubrieron independientemente la representación geométrica de los números complejos: Buée, Mourey, Warren, Français y su hermano, Bellavitis. Extract of page 139
El matemático inglés Godfrey Harold Hardy comentó que Gauss fue el primer matemático en usar números complejos "de una manera realmente segura y científica", aunque matemáticos como Niels Henrik Abel y Carl Gustav Jakob Jacobi los usaban necesariamente de forma rutinaria antes de que Gauss publicara su tratado de 1831.
Augustin Louis Cauchy y Bernhard Riemann aportaron ideas fundamentales sobre el análisis complejo, elevándolo a un alto estado de terminación, comenzando alrededor de 1825 en el caso de Cauchy.
Los términos comunes utilizados en la teoría se deben principalmente a sus fundadores. Argand llamó "factor de dirección" a ; y "módulo" a ; Cauchy (1828) llamó a la "forma reducida" (l'expression réduite) y aparentemente introdujo el término "argumento"; Gauss usó para , introdujo el término "número complejo" para y llamó a la "norma". La expresión "coeficiente de dirección", utilizada a menudo para ; se debe a Hankel (1867), y "valor absoluto para módulo" se debe a Weierstrass.
Entre los escritores clásicos sobre la teoría general posteriores, se incluyen Richard Dedekind, Otto Hölder, Felix Klein, Henri Poincaré, Hermann Amandus Schwarz, Karl Weierstrass y muchos otros.
Los números complejos ligados a las funciones analíticas o de variable compleja, han permitido extender el concepto del cálculo al plano complejo. El cálculo de variable compleja posee diversas propiedades notables que conllevan propiedades que pueden usarse para obtener diversos resultados útiles en matemática aplicada.William R. Derrick: Variable compleja con aplicaciones. Grupo Editorial Iberoamérica, impreso en México ISBN 968-7270-35-7
Definición Se define cada número complejo como un par ordenado de números reales: . Donde el primer elemento (de abscisa) se denomina como parte real del complejo (en este caso: parte real del complejo ) y se denota ; el segundo elemento (de ordenada) se denomina como parte imaginaria del complejo (en este caso: parte imaginaria del complejo ) y se denota , donde el par ordenado se grafica en un plano complejo. Luego en el conjunto de los números complejos, se definen varias operaciones y la relación de igualdad: Igualdad
Al par ordenado se le denomina número complejo real y como entre el conjunto de estos y el conjunto de los números reales se establece un isomorfismo, se asume que todo número real es un número complejo. Al par ordenado se denomina número imaginario puro. Puesto que: . Por tanto, un número complejo es la suma de un número complejo real con un número imaginario puro.Álgebra moderna. Ediciones Schaumm
Operaciones racionales Adición:
Producto por escalar:
Producto:
Resta:
División:
Unidad imaginaria En el álgebra, el número ( en ingeniería), llamado unidad imaginaria; es definido como:
Tomando en cuenta que el producto de dos números imaginarios puros, será un número complejo real:
Y el producto de dos números complejos reales, será otro número complejo real:
Entonces, se define que :
Afijo El afijo de un número complejo es el punto que se le hace corresponder en el plano complejo. Así, el afijo del número complejo es el punto .
Valor absoluto, argumento y conjugado Valor absoluto o módulo de un número complejo thumb|300px|La fórmula de Euler ilustrada en el plano complejo. El valor absoluto, módulo o magnitud de un número complejo viene dado por la siguiente expresión:
Que es equivalente a:
Si pensamos en las coordenadas cartesianas del número complejo como algún punto en el plano; podemos ver, por el teorema de Pitágoras, que el valor absoluto de un número complejo coincide con la distancia euclídea desde el origen del plano a dicho punto.
Si el complejo está escrito en forma exponencial , entonces . Se puede expresar en forma trigonométrica como , donde es la conocida fórmula de Euler.
Podemos comprobar con facilidad estas cuatro importantes propiedades del valor absoluto:
para cualquier complejo y .
Por definición, la función distancia queda como sigue 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.
Argumento o fase