Números complejos (del lat. complexus - conexión, combinación [1] ; para acento doble, ver nota [K 1] ) - números de la forma donde - números reales , - unidad imaginaria [2] , es decir, un número para el cual la igualdad es verdadera: El conjunto de los números complejos se suele denotar con el símbolo Los números reales se pueden considerar como un caso especial de los números complejos, tienen la forma La propiedad principal es que en él se cumple el teorema principal del álgebra , es decir , cualquier polinomio de grado ( ) tiene raíces . Probado que el sistema de números complejos es lógicamente consistente [K 2] .
Así como para los números reales, para los números complejos se definen las operaciones de suma , resta , multiplicación y división . Sin embargo, muchas propiedades de los números complejos difieren de las de los números reales; por ejemplo, no se puede especificar cuál de dos números complejos es mayor o menor que . Es conveniente representar números complejos por puntos en el plano complejo ; por ejemplo, para visualizar números conjugados , se utiliza la operación de reflexión sobre el eje horizontal . Una representación alternativa de un número complejo en notación trigonométrica ha resultado útil para calcular potencias y raíces . Las funciones de argumento complejo se estudian en análisis complejo .
Inicialmente, la idea de la necesidad de utilizar números complejos surgió a raíz de la solución formal de ecuaciones cúbicas , en las que se obtenía un número negativo en la fórmula de Cardano bajo el signo de la raíz cuadrada [3] . Matemáticos como Euler , quien introdujo la notación generalmente aceptada para la unidad imaginaria, Descartes , Gauss , hicieron una gran contribución al estudio de los números complejos . El término "número complejo" fue introducido en la ciencia por Gauss en 1831 [4] .
Las propiedades únicas de los números complejos y funciones han encontrado una amplia aplicación para resolver muchos problemas prácticos en varios campos de las matemáticas, la física y la tecnología: en el procesamiento de señales , teoría de control , electromagnetismo , teoría de oscilaciones , teoría de la elasticidad y muchos otros [5] . Las transformaciones de planos complejos han demostrado ser útiles en cartografía y dinámica de fluidos . La física moderna se basa en la descripción del mundo a través de la mecánica cuántica , que se basa en el sistema de números complejos.
También se conocen varias generalizaciones de números complejos, por ejemplo, cuaterniones .
Cualquier número complejo consta de dos componentes [6] :
El opuesto de un número complejoes el númeroPor ejemplo, elopuesto de un número es el número
A diferencia de los números reales, los números complejos no se pueden comparar por más/menos ; se ha demostrado que no hay forma de extender el orden dado para los números reales a todos los números complejos de tal manera que el orden sea consistente con las operaciones aritméticas (por ejemplo, de manera que from sigue ). Sin embargo, los números complejos se pueden comparar por iguales/no iguales [6] :
Las cuatro operaciones aritméticas para números complejos (definidas a continuación) tienen las mismas propiedades que las de los números reales .
Definición de suma y resta de números complejos [6] :
La siguiente tabla [6] muestra las propiedades básicas de la suma para cualquier complejo
Propiedad | notación algebraica |
---|---|
Conmutatividad ( portabilidad ) | |
Asociatividad ( Compatibilidad ) | |
propiedad cero | |
Propiedad del elemento opuesto | |
Realizar restas mediante sumas |
Definamos el producto [6] de números complejos y
La siguiente tabla [6] muestra las propiedades básicas de la multiplicación para cualquier complejo
Propiedad | notación algebraica |
---|---|
Conmutatividad ( portabilidad ) | |
Asociatividad ( Compatibilidad ) | |
unidad de propiedad | |
propiedad cero | |
Distributividad (distributividad) de la multiplicación con respecto a la suma |
Reglas para potencias de la unidad imaginaria:
etc.Es decir, para cualquier número entero, la fórmula es verdadera , donde la expresión significa obtener el resto después de dividir por 4.
Después de definir operaciones con números complejos, la expresión puede percibirse no como una notación formal, sino como una expresión compilada de acuerdo con las reglas anteriores de suma y multiplicación. Para mostrar esto, ampliemos todas las variables incluidas en él, siguiendo las convenciones anteriores y la definición de suma y multiplicación:
Un número complejo se llama conjugado a un número complejo (más detalles a continuación ).
Para cada número complejo excepto el cero, puedes encontrar su número complejo inverso [10] Para hacer esto, multiplica el numerador y el denominador de la fracción por el complejo conjugado del denominador
Definamos el resultado de la división [6] de un número complejo por un número distinto de cero
Al igual que con los números reales, la división se puede reemplazar multiplicando el dividendo por el recíproco del divisor .
Para números complejos , también se definen la extracción de raíces , la exponenciación y el logaritmo .
Ya se ha mencionado que los números complejos no se pueden comparar por más o menos (es decir, la relación de orden no se establece sobre el conjunto de los números complejos ). Otra diferencia: cualquier polinomio de grado con coeficientes complejos (en particular, reales) tiene, teniendo en cuenta la multiplicidad , raíces exactamente complejas ( Teorema Fundamental del Álgebra ) [11] .
En el sistema de los números reales es imposible extraer la raíz de un grado par de un número negativo. Para números complejos, es posible extraer la raíz de cualquier número de cualquier grado, pero el resultado es ambiguo: la raíz compleja del grado th de un número distinto de cero tiene diferentes valores complejos [12] . Véase, por ejemplo, Raíces de la unidad .
Las diferencias adicionales tienen funciones de una variable compleja .
El número no es el único número cuyo cuadrado es El número también tiene esta propiedad.
Una expresión que antes se usaba a menudo en los libros de texto modernos se considera incorrecta, y solo se permiten expresiones no negativas bajo el signo del radical (ver " Raíz aritmética "). Para evitar errores, la expresión con raíces cuadradas de valores negativos se escribe actualmente como y no a pesar de que ya en el siglo XIX se consideraba aceptable la segunda versión de la notación [13] [14] .
Un ejemplo de un posible error al usar una entrada obsoleta sin cuidado:
Este error se debe al hecho de que la raíz cuadrada de se define de forma ambigua (ver más abajo la fórmula de #De Moivre y la extracción de raíces ). Con la notación moderna, este error no habría ocurrido [14] :
Los números complejos se pueden representar en un plano con un sistema de coordenadas rectangulares : el número corresponde a un punto en el plano con coordenadas (así como un radio vector que conecta el origen con este punto). Tal plano se llama complejo . Los números reales en él están ubicados en el eje horizontal, la unidad imaginaria está representada por la unidad en el eje vertical; por esta razón, los ejes horizontal y vertical se denominan ejes real e imaginario , respectivamente [15] .
Puede ser conveniente considerar también un sistema de coordenadas polares en el plano complejo (ver la figura de la derecha), en el que las coordenadas de un punto son la distancia al origen ( módulo ) y el ángulo del radio vector del punto con el eje horizontal ( argumento ).
En esta representación, la suma de números complejos corresponde a la suma vectorial de los vectores de radio correspondientes, y la resta de números corresponde a la resta de vectores de radio. Al multiplicar números complejos, se multiplican sus módulos y se suman los argumentos (esto último es fácil de deducir de la fórmula de Euler o de fórmulas de sumas trigonométricas ). Si el módulo del segundo factor es igual a 1, entonces la multiplicación por él corresponde a la rotación del radio vector del primer número por un ángulo igual al argumento del segundo número [16] . Este hecho explica el uso generalizado de la representación compleja en la teoría de las oscilaciones , donde en lugar de los términos "módulo" y "argumento" se utilizan los términos " amplitud " y " fase " [17] .
Ejemplo : multiplicar porgira el radio vector de un número en un ángulo recto en la dirección positiva y, después de multiplicar por elradio vector, gira en un ángulo recto en la dirección negativa.
El módulo ( valor absoluto ) de un número complejo es la longitud del radio vector del punto correspondiente del plano complejo (o, de manera equivalente, la distancia desde el punto del plano complejo hasta el origen). El módulo de un número complejo se denota (a veces o ) y está determinado por la expresión [16]
Si es un número real , entonces coincide con el valor absoluto de este número en el sentido real del término.
Para cualquier complejo , las siguientes propiedades del módulo tienen [16] [18] :
1) , y sólo para 2) ( desigualdad triangular ); 3) cuatro) 5) para un par de números complejos y el módulo de su diferencia es igual a la distancia entre los puntos correspondientes del plano complejo; 6) el módulo de un número está relacionado con las partes real e imaginaria de este número por las relaciones:El argumento de un número complejo distinto de cero es el ángulo entre el radio vector del punto correspondiente y el semieje real positivo. El argumento numérico se mide en radianes y se denota por . De esta definición se deduce que [16]
Para el cero complejo, el valor del argumento no está definido; para un número distinto de cero, el argumento está definido hasta , donde es cualquier número entero. El valor principal del argumento es un valor tal que el valor principal se puede denotar [19] .
Algunas propiedades del argumento [18] :
1) el argumento del número inverso difiere en signo del argumento del original: 2) el argumento del producto es igual a la suma de los argumentos de los factores: 3) el argumento del cociente de la división es igual a la diferencia entre los argumentos del dividendo y el divisor:Si el número complejo es igual, entonces el número se llama conjugado (o complejo conjugado) a (también denotado ). En el plano complejo, los números conjugados se obtienen unos de otros por reflexión especular sobre el eje real. El módulo del número conjugado es el mismo que el original, y sus argumentos difieren por signo [20] :
La transición a un conjugado puede verse como una operación de un solo lugar que conserva todas las propiedades aritméticas y algebraicas. Esta operación tiene las siguientes propiedades [20] :
El producto de números complejos conjugados es un número real no negativo, igual a cero solo para cero z [18] :
La suma de números complejos conjugados es un número real [18] :
Otras proporciones [18] :
O, en forma general: donde es un polinomio arbitrario con coeficientes reales. En particular, si un número complejo es raíz de un polinomio con coeficientes reales, entonces el número conjugado también es su raíz. De esto se deduce que las raíces esencialmente complejas de tal polinomio (es decir, las raíces que no son reales) se descomponen en pares conjugados complejos [18] .
EjemploEl hecho de que el producto sea un número real puede utilizarse para expresar la fracción compleja en forma canónica, es decir, para eliminar el denominador imaginario. Para ello, multiplica el numerador y el denominador por la expresión conjugada al denominador [21] , por ejemplo:
Arriba, usamos la notación de un número complejo en la forma en que dicha notación se llama la forma algebraica de un número complejo. Las otras dos formas principales de notación están asociadas con la representación de un número complejo en el sistema de coordenadas polares .
Si las partes real e imaginaria de un número complejo se expresan en términos de módulo y argumento (es decir , , , ), entonces cualquier número complejo , excepto el cero, se puede escribir en forma trigonométrica [16] :
Como se mencionó anteriormente, el cero no tiene argumento; para un número distinto de cero se determina hasta un múltiplo entero
La fórmula de Euler [21] es de fundamental importancia en el análisis complejo :
donde es el número de Euler , , es el coseno y seno , es el exponente complejo , continuando con el real en el caso de un exponente complejo común.
Aplicando esta fórmula a la forma trigonométrica, obtenemos la forma exponencial del número complejo [21] :
Consecuencias
(1) El módulo de la expresión donde el número es real es 1. (2) — con un argumento esencialmente complejo , estas igualdades pueden servir como la definición de coseno y seno (complejos) .Ejemplo [22] . Representemos el número en forma trigonométrica y exponencial
(porque está en el cuarto de coordenadas III).De aquí:
Esta fórmula ayuda a elevar a una potencia entera un número complejo distinto de cero representado en forma trigonométrica. La fórmula de De Moivre tiene la forma [12] :
donde es el módulo y es el argumento de un número complejo. En el simbolismo moderno, fue publicado por Euler en 1722. La fórmula anterior es válida para cualquier número entero , no necesariamente positivo.
Una fórmula similar también es aplicable cuando se calculan las raíces del grado a partir de un número complejo distinto de cero [21] :
donde k toma todos los valores enteros desde hasta . Esto significa que las raíces th de un número complejo distinto de cero existen para cualquier número natural y su número es igual a . En el plano complejo, como se puede ver en la fórmula, todas estas raíces son los vértices de un -gon regular inscrito en un círculo de radio centrado en el origen (ver figura).
Si en la fórmula de Moivre se elige como argumento su valor principal, entonces el valor de la raíz en se denomina valor principal de la raíz [23] . Por ejemplo, el valor principal de un número es
Para extraer la raíz cuadrada de un número complejo, puede convertir este número a una forma trigonométrica y usar la fórmula de Moivre para Pero también hay una representación puramente algebraica para dos valores de raíz. Cuando las raíces de un número son un par de números: donde [24] :
Aquí está la función de "signo" , y los radicales denotan la raíz aritmética habitual de un número real no negativo. La fórmula se verifica fácilmente elevando al cuadrado. El número es el valor principal de la raíz cuadrada.
Ejemplo : para la raíz cuadrada de lafórmula, se dan dos valores:
Por primera vez, al parecer, las cantidades imaginarias fueron mencionadas en la obra de Cardano “El gran arte, o sobre reglas algebraicas” (1545), como parte de la solución formal del problema de calcular dos números cuya suma es igual. a 10, y el producto es igual a 40. Recibió para estos problemas una ecuación cuadrática, cuyas raíces son: y En el comentario a la solución, escribió: “estas cantidades complejísimas son inútiles, aunque muy ingeniosas”, y “las consideraciones aritméticas se vuelven cada vez más escurridizas, llegando al límite tan refinadas como inútiles” [25] .
La posibilidad de usar cantidades imaginarias para resolver una ecuación cúbica fue descrita por primera vez por Bombelli (1572), también dio las reglas para la suma, resta, multiplicación y división de números complejos. La ecuación tiene una raíz real , pero según las fórmulas de Cardano, obtenemos: Bombelli descubrió que así la suma de estas cantidades da la raíz real deseada. Señaló que en tales casos ( irreducibles ), las raíces complejas de la ecuación siempre son conjugadas, por lo que la suma es un valor real. Las explicaciones de Bombelli sentaron las bases para la aplicación exitosa de los números complejos en las matemáticas [26] [25] .
Expresiones que se pueden representar como apareciendo al resolver ecuaciones cuadráticas y cúbicas, donde comenzaron a llamarse "imaginarias" en los siglos XVI-XVII por sugerencia de Descartes , quien las llamó así, rechazando su realidad. Para muchos otros científicos destacados del siglo XVII, la naturaleza y el derecho a existir de cantidades imaginarias también parecían muy dudosas. Leibniz , por ejemplo, escribió en 1702: "El Espíritu de Dios encontró la salida más sutil en este milagro del análisis, un fenómeno del mundo de las ideas, una esencia dual, situada entre el ser y el no ser, que llamamos raíz imaginaria". de una unidad negativa". A pesar de estas dudas, los matemáticos aplicaron con confianza a los números "imaginarios" las reglas algebraicas usuales para cantidades reales y obtuvieron resultados correctos [25] .
Durante mucho tiempo no estuvo claro si todas las operaciones con números complejos conducen a resultados complejos o si, por ejemplo, extraer una raíz puede conducir al descubrimiento de algún otro tipo nuevo de número. El problema de expresar las raíces de un número dado fue resuelto por Moivre (1707) y Cotes (1722) [27] .
El símbolo para la unidad imaginaria fue propuesto por Euler (1777, publ. 1794), quien tomó para esto la primera letra de la palabra latina imaginarius - "imaginario". También extendió todas las funciones estándar, incluido el logaritmo , al dominio complejo. Euler también expresó la idea en 1751 de que en el sistema de números complejos cualquier polinomio tiene una raíz ( el teorema fundamental del álgebra , anterior a Euler, Albert Girard y René Descartes hicieron suposiciones similares ) [28] . d'Alembert (1747) llegó a la misma conclusión , pero la primera prueba rigurosa de este hecho pertenece a Gauss (1799) [26] . Gauss e introdujo el término "número complejo" en un uso generalizado en 1831 (anteriormente, el término fue utilizado en el mismo sentido por el matemático francés Lazar Carnot en 1803, pero luego no ganó popularidad) [29] .
La representación geométrica de los números complejos, que contribuyó en gran medida a su legalización, fue propuesta a finales del siglo XVIII y principios del XIX, primero por Wessel y Argan (sus obras no llamaron la atención), y luego por Gauss [30] . El modelo aritmético (estándar) de números complejos como pares de números reales fue construido por Hamilton (The Theory of Algebraic Pairs, 1837); esto probó la consistencia de sus propiedades. Los términos "módulo", "argumento" y "número conjugado" fueron introducidos a principios del siglo XIX por Cauchy , quien avanzó significativamente en el análisis complejo . A partir del siglo XIX se inició un rápido y sumamente fructífero desarrollo de la investigación sobre las funciones de una variable compleja. [2] [31] .
Ante este exitoso enfoque, se inició la búsqueda de una forma de representar vectores en el espacio tridimensional , similar al plano complejo. Como resultado de quince años de búsqueda , Hamilton propuso en 1843 una generalización de los números complejos: los cuaterniones , que se vio obligado a convertir no en tridimensionales, sino en cuatridimensionales (los vectores tridimensionales representaban la parte imaginaria de los cuaterniones); Hamilton también tuvo que abandonar la conmutatividad de la operación de multiplicación [2] .
En 1893, Charles Steinmetz sugirió usar números complejos para calcular circuitos eléctricos de CA (ver más abajo ).
Una función compleja de una variable es una función que se define sobre alguna región del plano complejo y asigna valores complejos a los puntos de esta región [32] . Ejemplos:
Cada función compleja puede considerarse como un par de funciones reales de dos variables: definiendo sus partes real e imaginaria, respectivamente. Las funciones , se denominan componentes de una función compleja De manera similar, se define una función de varias variables complejas [32] .
Una representación visual de una función compleja mediante un gráfico es difícil, ya que incluso para una función de una variable compleja, el gráfico requiere cuatro dimensiones (dos para el dominio de definición y dos más para el rango de valores). Si en lugar del valor de la función consideramos su módulo, entonces el relieve resultante de la función se ubica en tres dimensiones y da una idea del comportamiento de la función [33] .
Todas las funciones de análisis estándar ( polinomio , función fraccionaria lineal, función de potencia , exponencial , funciones trigonométricas, funciones trigonométricas inversas , logaritmo ) se pueden extender al plano complejo. En este caso, se mantendrán para ellos las mismas identidades algebraicas, diferenciales y otras que para el original real [32] , por ejemplo:
Para funciones complejas, los conceptos de límite , continuidad y derivada se definen de la misma forma que en el análisis real, reemplazando el valor absoluto por un módulo complejo [32] .
Las funciones complejas derivables (es decir, funciones que tienen una derivada) tienen una serie de características en comparación con las reales [34] .
La integral definida para funciones de una variable compleja, en términos generales, depende de la ruta de integración (es decir, la elección de una curva desde el punto inicial hasta el punto final en el plano complejo). Sin embargo, si la función integrable es analítica en un dominio simplemente conexo , entonces su integral dentro de este dominio no depende del camino [35] .
Cualquier función compleja puede considerarse como una transformación del plano complejo (o como una transformación de un plano complejo en otro). Ejemplos:
Dado que cualquier movimiento en el plano es una combinación de las tres transformaciones anteriores, las funciones y dan una expresión general para el movimiento en el plano complejo [36] .
Otras transformaciones lineales [36] :
Las transformaciones lineales-fraccionales [37] juegan un papel importante en el análisis complejo :
En este caso (de lo contrario, la función degenera en una constante). Una propiedad característica de la transformación lineal-fraccional: transforma círculos y rectas en círculos y rectas (es decir, en los llamados círculos generalizados [38] [39] , que incluyen “círculos de radio infinito” - rectas ). En este caso, la imagen del círculo puede resultar una línea recta y viceversa [37] .
Otras funciones de transformación útiles en la práctica incluyen: la inversión de la función Zhukovsky . La inversión, como la transformación lineal-fraccional, transforma círculos generalizados en círculos generalizados.
El estudio de las figuras planas a menudo se facilita si se trasladan al plano complejo. Muchos teoremas de planimetría permiten una notación clara y compacta utilizando números complejos, por ejemplo [40] :
La ecuación paramétrica de una recta en el plano complejo tiene la forma [42] :
donde son números complejos, es un parámetro real arbitrario.El ángulo entre dos líneas y es En particular, las líneas son perpendiculares solo cuando es un número puramente imaginario. Dos líneas son paralelas si y solo si hay un número real; si también es real, entonces ambas líneas coinciden. Cada recta corta el plano complejo en dos semiplanos: en uno de ellos la expresión es positiva, en el otro es negativa [42] .
La ecuación de un círculo con centro y radio tiene una forma extremadamente simple: La desigualdad describe el interior de un círculo ( un círculo abierto ) [42] . La forma paramétrica de la ecuación circular suele ser conveniente [43] :
El conjunto de los números complejos forma un campo , que es una extensión finita del campo de los números reales de grado 2. La principal propiedad algebraica es que es algebraicamente cerrado , es decir, cualquier polinomio en él tiene raíces (complejas) y, por tanto, , se descompone en factores lineales. También se dice que hay una clausura algebraica [44] del campo
La característica del campo complejo es cero, la potencia como conjunto es la misma que la del campo de los números reales, es decir, el continuo . El teorema de Frobenius estableció que solo hay dos campos sesgados que son extensiones finitas : el campo de los números complejos y el campo sesgado de los cuaterniones [45] .
Es imposible convertir el campo de los números complejos en un campo ordenado , porque en un campo ordenado el cuadrado de cualquier elemento es no negativo, y en él no puede existir una unidad imaginaria.
De las propiedades del módulo se sigue que los números complejos forman la estructura de un espacio normado bidimensional sobre el campo
El campo admite infinitos automorfismos , pero solo uno de ellos (sin contar la identidad) deja los números reales en su lugar [46] .
Los campos y son los únicos campos topológicos localmente compactos conectados [47] .
Aquellas características de los números complejos y funciones que los distinguen de los reales han resultado útiles y muchas veces indispensables en matemáticas, ciencias naturales y tecnología.
Las aplicaciones de los propios números complejos ocupan un lugar destacado en las matemáticas, en particular, los conceptos de números algebraicos , encontrar las raíces de polinomios , la teoría de Galois , el análisis complejo , etc.
Al transferir un problema geométrico de un plano ordinario a uno complejo, a menudo tenemos la oportunidad de simplificar significativamente su solución [48] [49] .
Muchos problemas complejos en la teoría de números (por ejemplo, la teoría de los residuos bicuadráticos ) y el análisis matemático real (por ejemplo, el cálculo de integrales complejas o impropias ) solo podrían resolverse utilizando herramientas de análisis complejas . Una poderosa herramienta para los descubrimientos en teoría de números resultó ser, por ejemplo, los números gaussianos de la forma donde son enteros [50] . Para estudiar la distribución de los números primos, se necesitaba la función zeta compleja de Riemann [51] .
A menudo, los problemas del análisis real se aclaran por su compleja generalización. El ejemplo clásico es la expansión de Taylor.
Esta serie converge únicamente en el intervalo , aunque los puntos no son especiales para la función reducida. La situación se vuelve más clara cuando se pasa a una función de variable compleja , que tiene dos puntos singulares: los polos . En consecuencia, esta función puede expandirse en una serie solo en un círculo de radio unidad [52] .
Al resolver ecuaciones diferenciales lineales , es importante encontrar primero todas las raíces complejas del polinomio característico y luego tratar de resolver el sistema en términos de exponenciales básicos [53] . En las ecuaciones en diferencias , las raíces complejas de la ecuación característica de un sistema de ecuaciones en diferencias se utilizan para un propósito similar [54] . Con la ayuda de la teoría de los residuos , que forma parte del análisis complejo, se calculan muchas integrales complejas sobre contornos cerrados [55] ..
El estudio de una función a menudo se asocia con el análisis de su espectro de frecuencia utilizando la transformada compleja de Fourier o Laplace [56] .
La representación de números complejos en informática y soporte informático para aritmética compleja se describe en el artículo Tipo de datos complejos .
Como se señaló anteriormente, cualquier función compleja puede considerarse como una transformación de un plano complejo en otro. Una función suave ( analítica ) tiene dos características: si en un punto dado la derivada no es igual a cero, entonces la relación estiramiento/compresión en esta transformación es la misma en todas las direcciones, el ángulo de rotación también es constante ( mapeo conforme ) [ 57] . Este hecho está relacionado con la amplia aplicación de funciones complejas en cartografía [58] [59] e hidrodinámica [60] .
La base de la mecánica cuántica es el concepto de una función de onda compleja Para describir la dinámica de un sistema cuántico, se utilizan ecuaciones diferenciales con coeficientes complejos como la ecuación de Schrödinger . Las soluciones a estas ecuaciones se dan en un espacio de Hilbert complejo . Los operadores correspondientes a las cantidades observadas son hermitianos . El conmutador de los operadores de posición y momento es un número imaginario [61] :
Aquí está la constante de Planck reducida , es decir, ( la constante de Dirac ).
Las matrices de Pauli y las matrices de Dirac juegan un papel importante en la mecánica cuántica , algunas de las cuales contienen valores complejos [61] .
Dado que la corriente alterna es un proceso oscilatorio, es conveniente describirlo y estudiarlo usando números complejos. Los conceptos de impedancia, o resistencia compleja , también se introducen para los elementos reactivos de un circuito eléctrico, como la capacitancia y la inductancia, lo que ayuda a calcular las corrientes en el circuito [62] . Debido al hecho de que tradicionalmente el símbolo en ingeniería eléctrica denota la magnitud de la corriente, la unidad imaginaria se denota allí con la letra [63] . En muchas áreas de la ingeniería eléctrica (principalmente radiofrecuencia y óptica), no se utiliza el registro de las ecuaciones de corriente y voltaje para el circuito, sino directamente las ecuaciones de Maxwell en su representación espectral, cuyas magnitudes físicas se dan en el plano complejo, y durante la transición de - a - espacio (donde - tiempo , es la frecuencia angular ) mediante la transformada de Fourier se obtienen ecuaciones más sencillas sin derivadas [64] .
La extensión del campo de los números reales a los complejos, como cualquier otra extensión de la estructura algebraica, plantea muchas preguntas, las principales de las cuales son preguntas sobre cómo definir operaciones sobre un nuevo tipo de números, qué propiedades tendrán las nuevas operaciones , y (la pregunta principal) es su expansión permisible, si conducirá a contradicciones inamovibles.
Para analizar tales cuestiones en la teoría de los números complejos, es necesario formar un conjunto de axiomas.
Es posible definir la axiomática del conjunto de los números complejos , si nos apoyamos en la teoría axiomática de los números reales . Es decir, definimos como el campo mínimo que contiene el conjunto de números reales y al menos un número cuya segunda potencia es −1, la unidad imaginaria . Hablando más estrictamente, los axiomas de los números complejos son los siguientes [65] [66] .
C1 : Para cualquier número complejo, su suma está definida C2 : La adición es conmutativa : Además, en algunos axiomas, por brevedad, omitiremos la cláusula "para cualquiera ". C3 : La suma es asociativa : C4 : Hay un elemento 0 (cero) tal que C5 : Para todo número complejo existe un elemento opuesto tal que C6 : Para cualquier número complejo su producto está definido C7 : La multiplicación es conmutativa : C8 : La multiplicación es asociativa : C9 : La multiplicación está relacionada con la suma por la ley distributiva (distributiva): C10 : Existe un elemento 1 (uno) distinto de cero y tal que C11 : Para cada número distinto de cero, hay un recíproco tal que C12 : El conjunto de números complejos contiene un subcampo isomorfo al campo de los números reales Para simplificar, este subcampo se denota a continuación con la misma letra C13 : Existe un elemento ( unidad imaginaria ) tal que C14 ( axioma de minimalidad ): Sea un subconjunto que: contiene tanto la unidad imaginaria como se cierra bajo la suma y la multiplicación. Entonces coincide con todoTodas las demás propiedades se siguen como corolarios de estos axiomas. Los primeros 11 axiomas significan lo que forma el campo, y el axioma 12 establece que este campo es una extensión .
Hay otras versiones de la axiomática de los números complejos. Por ejemplo, en lugar de confiar en el campo ordenado de números reales ya construido, uno puede usar la axiomática de la teoría de conjuntos como base [68] .
La forma estándar de probar la consistencia de una nueva estructura es modelar ( interpretar ) sus axiomas utilizando objetos de otra estructura, cuya consistencia está fuera de toda duda. En nuestro caso, debemos implementar estos axiomas sobre la base de números reales [69] .
Modelo estándarConsidere todos los posibles pares ordenados de números reales. En este modelo, cada par corresponderá a un número complejo [70]
A continuación, defina [69] :
Explicación: la aparentemente complicada definición de multiplicación se deriva fácilmente de la relación
Es fácil verificar que la estructura de pares descrita forma un campo y satisface toda la lista de axiomas de números complejos. Los números reales se modelan en pares que forman un subcampo , y las operaciones con tales pares son consistentes con la suma y multiplicación habitual de números reales. Los pares y corresponden al cero y la unidad del campo. Este método es un caso especial del procedimiento de Cayley-Dixon .
La unidad imaginaria es un par, su cuadrado es igual , es decir, cualquier número complejo se puede escribir como
El modelo descrito prueba que la axiomática dada de los números complejos es consistente. Porque si hubiera una contradicción en él, entonces esto significaría una contradicción en la aritmética básica de los números reales para este modelo, que asumimos de antemano como consistente [69] .
Modelo matricialLos números complejos también se pueden definir como un subanillo del anillo de matrices reales 2×2 de la forma
con la habitual suma y multiplicación de matrices [2] . La unidad real corresponderá a
unidad imaginaria -
.El conjunto de tales matrices es un espacio vectorial bidimensional . La multiplicación por un número complejo es un operador lineal . En la base , el operador lineal de multiplicación por está representado por la matriz anterior, ya que [2] :
El modelo matricial facilita la demostración de la relación entre números complejos y transformaciones lineales de un tipo particular de plano. Es decir, existe una correspondencia biunívoca entre los números complejos y las homotecias rotacionales del plano ( combinaciones de extensión sobre un punto y rotación ): cada homotecia rotacional puede representarse en el plano complejo como una multiplicación por un número complejo [71 ] .
El modelo de anillo factorial de polinomiosConsidere un anillo polinómico con coeficientes reales y construya su anillo cociente módulo el polinomio (o, lo que es lo mismo, según el ideal generado por el polinomio especificado). Esto significa que consideraremos que dos polinomios de son equivalentes si, al dividirlos por un polinomio , dan el mismo residuo. Por ejemplo, un polinomio será equivalente a una constante , un polinomio será equivalente , etc. [72]
El conjunto de clases de equivalencia forma un anillo con identidad. Como el polinomio es irreducible , este anillo de factores es un campo. El papel de la unidad imaginaria lo juega el polinomio, ya que su cuadrado (ver arriba) es equivalente.Cada clase de equivalencia contiene un resto de la forma (de la división por ), que, en vista de lo dicho, se puede escribir como Por lo tanto, este campo es isomorfo al campo de los números complejos [72] .
Este isomorfismo fue descubierto por Cauchy en 1847. Este enfoque se puede utilizar para construir generalizaciones de números complejos como las álgebras de Clifford [73] .
Como se mencionó anteriormente , el campo de los números complejos es algebraicamente cerrado y tiene la característica cero (se deduce de la última propiedad que contiene un subcampo de los números racionales ). Además, cualquier base de trascendencia sobre tiene la cardinalidad del continuo [K 3] . Estas tres propiedades son suficientes para definir el campo de los números complejos hasta el isomorfismo de campo : entre dos campos algebraicamente cerrados de característica 0 con una base de trascendencia continua, existe alguna identificación consistente con las operaciones de suma y multiplicación de estos campos [74] [75] [K 4] .
Bajo esta identificación, es posible que no se conserven otras estructuras, como la norma o la topología . Por ejemplo, la clausura algebraica de un campo de números -ádicos también satisface las tres propiedades indicadas. Sin embargo, la norma -ádica no es arquimediana y, por tanto, no es equivalente a la norma habitual de los números complejos para cualquier elección de isomorfismo [76] . Por tanto, definen una estructura diferente del espacio vectorial topológico : el conjunto de cualquier elemento del espacio vectorial y sus multiplicidades integrales es discreto en el caso complejo y compacto en el -ádico [76] .
La generalización más cercana de los números complejos se descubrió en 1843. Resultó ser el cuerpo de los cuaterniones , que, a diferencia del campo de los números complejos, contiene tres unidades imaginarias, tradicionalmente denotadas Según el teorema de Frobenius , los números complejos son uno de los tres casos posibles de un álgebra de división de dimensión finita sobre el campo. de números reales. En 1919, resultó que tanto los números complejos a partir de reales como los cuaterniones a partir de números complejos se pueden obtener mediante un procedimiento de duplicación unidimensional , también conocido como el " procedimiento de Cayley-Dixon " [77] .
Mediante la aplicación adicional de este procedimiento, se forman los números descritos por Arthur Cayley en 1845, antes del descubrimiento de este procedimiento, y llamados " números de Cayley " (octoniones, octavas). Los números obtenidos por la siguiente aplicación del procedimiento se denominan sedeniones . A pesar del hecho de que este procedimiento puede repetirse más, todavía no hay más nombres [77] .
Otros tipos de extensiones de números complejos ( números hipercomplejos ):
Sistemas numéricos | |
---|---|
Conjuntos contables |
|
Números reales y sus extensiones. |
|
Herramientas de extensión numérica | |
Otros sistemas numéricos | |
ver también |
Álgebra sobre el ring | |
---|---|
Dimensión - Potencia de 2 |
|
ver también |