Número complejo

Dos números complejos y se suman sumando por separado sus partes real e imaginaria. ^{[ 13 ]} Es decir:${\displaystyle a=x+yi}$${\displaystyle b=u+vi}$

$${\displaystyle a+b=(x+yi)+(u+vi)=(x+u)+(y+v)i.}$$ De manera similar, la resta se puede realizar como $${\displaystyle ab=(x+yi)-(u+vi)=(xu)+(yv)i.}$$

La suma se puede visualizar geométricamente de la siguiente manera: la suma de dos números complejos a y b , interpretados como puntos en el plano complejo, es el punto obtenido al construir un paralelogramo a partir de los tres vértices O y los puntos de las flechas etiquetadas como a y b (siempre que no estén sobre una línea). De forma equivalente, llamando a estos puntos A y B , respectivamente, y al cuarto punto del paralelogramo X, los triángulos OAB y XBA son congruentes .

El producto de dos números complejos se calcula de la siguiente manera: ^{[ 13 ]}

${\displaystyle (a+bi)\cdot (c+di)=ac-bd+(ad+bc)i.}$

Por ejemplo, en particular, esto incluye como caso especial la fórmula fundamental.${\displaystyle (2-i)(3+4i)=2\cdot 3-((-1)\cdot 4)+(2\cdot 4+(-1)\cdot 3)i=10+5i.}$

${\displaystyle i^{2}=i\cdot i=-1.}$

Esta fórmula distingue el número complejo i de cualquier número real, ya que el cuadrado de cualquier número real (negativo o positivo) es siempre un número real no negativo.

Con esta definición de multiplicación y suma, las reglas familiares de la aritmética de los números racionales o reales siguen siendo válidas para los números complejos. Más precisamente, se mantienen la propiedad distributiva y las propiedades conmutativas (de la suma y la multiplicación). Por lo tanto, los números complejos forman una estructura algebraica conocida como cuerpo , del mismo modo que lo hacen los números racionales o reales. ^{[ 14 ]}

El conjugado complejo del número complejo z = x + yi se define como ^{[ 15 ]} . Algunos autores también lo denotan por . Geométricamente, z es la "reflexión" de z respecto al eje real. La conjugación dos veces da el número complejo original: Un número complejo es real si y solo si es igual a su propio conjugado. La operación unaria de tomar el conjugado complejo de un número complejo no puede expresarse aplicando únicamente las operaciones básicas de suma, resta, multiplicación y división.${\displaystyle {\overline {z}}=x-yi.}$${\displaystyle z^{*}}$${\displaystyle {\overline {\overline {z}}}=z.}$

Para cualquier número complejo z = x + yi , el producto

${\displaystyle z\cdot {\overline {z}}=(x+iy)(x-iy)=x^{2}+y^{2}}$

es un número real no negativo . Esto permite definir el valor absoluto (o módulo o magnitud ) de z como la raíz cuadrada ^{[ 16 ].} Por el teorema de Pitágoras , es la distancia desde el origen hasta el punto que representa el número complejo z en el plano complejo. En particular, el círculo de radio uno alrededor del origen consta precisamente de los números z tales que , conocidos como los números complejos unitarios .$${\displaystyle |z|={\sqrt {x^{2}+y^{2}}}.}$$${\displaystyle |z|}$${\displaystyle |z|=1}$Si es un número real, entonces : su valor absoluto como número complejo y como número real son iguales.${\displaystyle z=x=x+0i}$${\displaystyle |z|=|x|}$

Utilizando el conjugado, el recíproco de un número complejo distinto de cero se puede calcular como ^{[ 13 ].}${\displaystyle z=x+yi}$

$${\displaystyle {\frac {1}{z}}={\frac {\bar {z}}{z{\bar {z}}}}={\frac {\bar {z}}{|z|^{2}}}={\frac {x-yi}{x^{2}+y^{2}}}={\frac {x}{x^{2}+y^{2}}}-{\frac {y}{x^{2}+y^{2}}}i.}$$ De forma más general, la división de un número complejo arbitrario entre un número complejo distinto de cero es igual a Este proceso a veces se denomina " racionalización " del denominador (aunque el denominador en la expresión final puede ser un número real irracional), porque se asemeja al método para eliminar raíces de expresiones simples en un denominador. ^{[ 17 ] [ 18 ]}${\displaystyle w=u+vi}$${\displaystyle z=x+yi}$$${\displaystyle {\frac {w}{z}}={\frac {w{\bar {z}}}{|z|^{2}}}={\frac {(u+vi)(x-iy)}{x^{2}+y^{2}}}={\frac {ux+vy}{x^{2}+y^{2}}}+{\frac {vx-uy}{x^{2}+y^{2}}}i.}$$

El argumento de z (a veces llamado "fase" φ ) ^{[ 10 ]} es el ángulo del radio Oz con el eje real positivo, y se escribe como arg z , expresado en radianes en este artículo. El ángulo se define solo hasta la suma de múltiplos enteros de , ya que una rotación de (o 360°) alrededor del origen deja todos los puntos en el plano complejo sin cambios. Una posible opción para especificar de forma única el argumento es requerir que esté dentro del intervalo , que se denomina valor principal . ^{[ 19 ]} El argumento se puede calcular a partir de la forma rectangular x + yi mediante la función arctan (tangente inversa). ^{[ 20 ]}${\displaystyle 2\pi }$${\displaystyle 2\pi }$${\displaystyle (-\pi ,\pi ]}$

Para cualquier número complejo z , con valor absoluto y argumento , la ecuación ^{[ 13 ]}${\displaystyle r=|z|}$${\displaystyle \varphi }$

${\displaystyle z=r(\cos \varphi +i\sin \varphi )}$

se cumple. Esta identidad se denomina forma polar de z . A veces se abrevia como . En electrónica, se representa un fasor con amplitud r y fase φ en notación angular : ^{[ 21 ]}${\textstyle z=r\operatorname {\mathrm {cis} } \varphi }$$${\displaystyle z=r\angle \varphi .}$$

Si se dan dos números complejos en forma polar, es decir, z ₁ = r ₁ (cos φ ₁ + i sin φ ₁ ) y z ₂ = r ₂ (cos φ ₂ + i sin φ ₂ ) , el producto y la división se pueden calcular como (Estos son una consecuencia de las identidades trigonométricas para la función seno y coseno). En otras palabras, los valores absolutos se multiplican y los argumentos se suman para obtener la forma polar del producto. La imagen de la derecha ilustra la multiplicación de Debido a que la parte real e imaginaria de 5 + 5 i son iguales, el argumento de ese número es 45 grados, o π /4 (en radianes ). Por otro lado, también es la suma de los ángulos en el origen de los triángulos rojo y azul son arctan (1/3) y arctan (1/2), respectivamente. Por lo tanto, la fórmula se cumple. Como la función arcotangente se puede aproximar de manera muy eficiente, se utilizan fórmulas como esta, conocidas como fórmulas tipo Machin , para aproximaciones de alta precisión de π : ^{[ 22 ]}$${\displaystyle z_{1}z_{2}=r_{1}r_{2}(\cos(\varphi _{1}+\varphi _{2})+i\sin(\varphi _{1}+\varphi _{2})).}$$$${\displaystyle {\frac {z_{1}}{z_{2}}}={\frac {r_{1}}{r_{2}}}\left(\cos(\varphi _{1}-\varphi _{2})+i\sin(\varphi _{1}-\varphi _{2})\right),{\text{if }}z_{2}\neq 0.}$$$${\displaystyle (2+i)(3+i)=5+5i.}$$$${\displaystyle {\frac {\pi }{4}}=\arctan \left({\frac {1}{2}}\right)+\arctan \left({\frac {1}{3}}\right)}$$$${\displaystyle {\frac {\pi }{4}}=4\arctan \left({\frac {1}{5}}\right)-\arctan \left({\frac {1}{239}}\right)}$$

La enésima potencia de un número complejo se puede calcular utilizando la fórmula de De Moivre , que se obtiene aplicando repetidamente la fórmula anterior para el producto: ^{[ 23 ]} Por ejemplo, las primeras potencias de la unidad imaginaria i son .$${\displaystyle z^{n}=\underbrace {z\cdot \dots \cdot z} _{n{\text{ factors}}}=(r(\cos \varphi +i\sin \varphi ))^{n}=r^{n}\,(\cos n\varphi +i\sin n\varphi ).}$$${\displaystyle i,i^{2}=-1,i^{3}=-i,i^{4}=1,i^{5}=i,\dots }$

Las raíces n - ésimas de un número complejo z vienen dadas por ^{[ 24 ]} para 0 ≤ k ≤ n − 1. (Aquí es la raíz n- ésima usual (positiva) del número real positivo r ). Debido a que el seno y el coseno son periódicos, otros valores enteros de k no dan otros valores. Para cualquier , hay, en particular , n raíces n -ésimas complejas distintas . Por ejemplo, hay 4 raíces cuartas de 1, a saber:$${\displaystyle z^{1/n}={\sqrt[{n}]{r}}\left(\cos \left({\frac {\varphi +2k\pi }{n}}\right)+i\sin \left({\frac {\varphi +2k\pi }{n}}\right)\right)}$$${\displaystyle {\sqrt[{n}]{r}}}$${\displaystyle z\neq 0}$

${\displaystyle z_{1}=1,z_{2}=i,z_{3}=-1,z_{4}=-i.}$

En general, no existe una forma natural de distinguir una raíz enésima compleja particular de un número complejo. (Esto contrasta con las raíces de un número real positivo x , que tiene una única raíz enésima real positiva , a la que comúnmente se hace referencia como la raíz enésima de x ). A esta situación se la denomina la raíz enésima como una función de z con valores en n .

El teorema fundamental del álgebra , de Carl Friedrich Gauss y Jean le Rond d'Alembert , establece que para cualesquiera números complejos (llamados coeficientes ) a ₀ , ..., a _n , la ecuación tiene al menos una solución compleja z , siempre que al menos uno de los coeficientes superiores a ₁ , ..., a _n sea distinto de cero. ^{[ 25 ]} Esta propiedad no se cumple para el campo de los números racionales (el polinomio x ² − 2 no tiene una raíz racional, porque √2 no es un número racional) ni para los números reales (el polinomio x ² + 4 no tiene una raíz real, porque el cuadrado de x es positivo para cualquier número real x ).$${\displaystyle a_{n}z^{n}+\dotsb +a_{1}z+a_{0}=0}$$${\displaystyle \mathbb {Q} }$${\displaystyle \mathbb {R} }$

Debido a esto, se le llama un cuerpo algebraicamente cerrado . Es una piedra angular de diversas aplicaciones de los números complejos, como se detalla más adelante. Existen varias demostraciones de este teorema, ya sea mediante métodos analíticos como el teorema de Liouville , métodos topológicos como el número de vueltas , o una demostración que combina la teoría de Galois con el hecho de que todo polinomio real de grado impar tiene al menos una raíz real.${\displaystyle \mathbb {C} }$

El campo de los números complejos se define como el campo de extensión algebraica (único) de los números reales más adelante en #Definiciones algebraicas abstractas .

Un enfoque es mediante polinomios , es decir, expresiones de la forma donde los coeficientes a ₀ , ..., a _n son números reales. El conjunto de todos estos polinomios se denota por . Dado que las sumas y los productos de polinomios son también polinomios, este conjunto forma un anillo conmutativo , llamado anillo de polinomios (sobre los reales). A cada polinomio p de este tipo se le puede asignar el número complejo , es decir, el valor obtenido al establecer . Esto define una función${\displaystyle \mathbb {C} }$$${\displaystyle p(X)=a_{n}X^{n}+\dotsb +a_{1}X+a_{0},}$$${\displaystyle \mathbb {R} [X]}$${\displaystyle \mathbb {R} [X]}$${\displaystyle p(i)=a_{n}i^{n}+\dotsb +a_{1}i+a_{0}}$${\displaystyle X=i}$

${\displaystyle \mathbb {R} [X]\to \mathbb {C} }$

Esta función es sobreyectiva ya que todo número complejo puede obtenerse de tal manera: la evaluación de un polinomio lineal en es . Sin embargo, la evaluación del polinomio en i es 0, ya que Este polinomio es irreducible , es decir, no puede escribirse como un producto de dos polinomios lineales. Los hechos básicos del álgebra abstracta implican entonces que el núcleo de la aplicación anterior es un ideal generado por este polinomio, y que el cociente por este ideal es un cuerpo, y que existe un isomorfismo${\displaystyle a+bX}$${\displaystyle X=i}$${\displaystyle a+bi}$${\displaystyle X^{2}+1}$${\displaystyle i^{2}+1=0.}$

${\displaystyle \mathbb {R} [X]/(X^{2}+1){\stackrel {\cong }{\to }}\mathbb {C} }$

entre el anillo cociente y . Algunos autores toman esto como la definición de . ^{[ 66 ] [ 67 ]} Esta definición expresa como un álgebra cuadrática .${\displaystyle \mathbb {C} }$${\displaystyle \mathbb {C} }$${\displaystyle \mathbb {C} }$

El campo está algebraicamente cerrado por el teorema fundamental del álgebra y, por lo tanto, es la clausura algebraica de${\displaystyle \mathbb {C} }$${\displaystyle \mathbb {R} .}$

Los números complejos a + bi también pueden representarse mediante matrices de 2 × 2 que tienen la forma ^{[ 68 ].} Aquí, las entradas a y b son números reales. Como la suma y el producto de dos de estas matrices también tienen esta forma, estas matrices forman un subanillo del anillo de matrices de 2 × 2 .$${\displaystyle {\begin{pmatrix}a&-b\\b&\;\;a\end{pmatrix}}.}$$

Un cálculo sencillo demuestra que la aplicación es un isomorfismo de anillos del cuerpo de los números complejos al anillo de estas matrices, lo que prueba que estas matrices forman un cuerpo. Este isomorfismo asocia el cuadrado del valor absoluto de un número complejo con el determinante de la matriz correspondiente, y el conjugado de un número complejo con la transpuesta de la matriz.$${\displaystyle a+ib\mapsto {\begin{pmatrix}a&-b\\b&\;\;a\end{pmatrix}}}$$

La representación en forma polar de los números complejos da explícitamente estas matrices como matrices de rotación escaladas . En particular, el caso de r = 1 , que es , da matrices de rotación (sin escalar).$${\displaystyle r(\cos \theta +i\sin \theta )\mapsto {\begin{pmatrix}r\cos \theta &-r\sin \theta \\r\sin \theta &\;\;r\cos \theta \end{pmatrix}}}$$${\displaystyle |a+ib|={\sqrt {a^{2}+b^{2}}}=1}$

Las nociones de series convergentes y funciones continuas en análisis (real) tienen análogos naturales en análisis complejo. Se dice que una sucesión de números complejos converge si y solo si sus partes real e imaginaria convergen. Esto es equivalente a la definición (ε, δ) de límites , donde el valor absoluto de los números reales se reemplaza por el de los números complejos. Desde un punto de vista más abstracto, , dotado de la métrica es un espacio métrico completo , que incluye notablemente la desigualdad triangular para cualesquiera dos números complejos z ₁ y z ₂ .${\displaystyle \mathbb {C} }$$${\displaystyle \operatorname {d} (z_{1},z_{2})=|z_{1}-z_{2}|}$$$${\displaystyle |z_{1}+z_{2}|\leq |z_{1}|+|z_{2}|}$$

Al igual que en el análisis real, esta noción de convergencia se utiliza para construir varias funciones elementales : la función exponencial exp z , también escrita e ^z , se define como la serie infinita , que se puede demostrar que converge para cualquier z : Por ejemplo, es el número de Euler . La fórmula de Euler establece: para cualquier número real φ . Esta fórmula es una consecuencia rápida de hechos básicos generales sobre series de potencias convergentes y las definiciones de las funciones involucradas como series de potencias. Como caso especial, esto incluye la identidad de Euler.$${\displaystyle \exp z:=1+z+{\frac {z^{2}}{2\cdot 1}}+{\frac {z^{3}}{3\cdot 2\cdot 1}}+\cdots =\sum _{n=0}^{\infty }{\frac {z^{n}}{n!}}.}$$${\displaystyle \exp(1)}$${\displaystyle e\approx 2.718}$$${\displaystyle \exp(i\varphi )=\cos \varphi +i\sin \varphi }$$$${\displaystyle \exp(i\pi )=-1.}$$

Para cualquier número real positivo t , existe un único número real x tal que . Esto lleva a la definición del logaritmo natural como la inversa de la función exponencial. La situación es diferente para los números complejos, ya que${\displaystyle \exp(x)=t}$${\displaystyle \ln \colon \mathbb {R} ^{+}\to \mathbb {R} ;x\mapsto \ln x}$

${\displaystyle \exp(z+2\pi i)=\exp z\exp(2\pi i)=\exp z}$

mediante la ecuación funcional y la identidad de Euler. Por ejemplo, e ^iπ = e ^{3 iπ} = −1 , por lo que tanto iπ como 3 iπ son valores posibles para el logaritmo complejo de −1 .

En general, dado cualquier número complejo distinto de cero w , cualquier número z que resuelva la ecuación

${\displaystyle \exp z=w}$

se denomina logaritmo complejo de w , denotado . Se puede demostrar que estos números satisfacen ^{[ 69 ]} donde es el argumento definido anteriormente y el logaritmo natural (real) . Como arg es una función multivaluada , única salvo un múltiplo de 2 π , log también es multivaluada. El valor principal de log se suele tomar restringiendo la parte imaginaria al intervalo (− π , π ] . Esto lleva a que el logaritmo complejo sea una función biyectiva que toma valores en la franja (que se denota en la ilustración anterior) ${\displaystyle \log w}$$${\displaystyle z=\log w=\ln |w|+i\arg w,}$$${\displaystyle \arg }$${\displaystyle \ln }$${\displaystyle \mathbb {R} ^{+}+\;i\,\left(-\pi ,\pi \right]}$${\displaystyle S_{0}}$$${\displaystyle \ln \colon \;\mathbb {C} ^{\times }\;\to \;\;\;\mathbb {R} ^{+}+\;i\,\left(-\pi ,\pi \right].}$$

Si no es un número real no positivo (un número positivo o un número no real), el valor principal resultante del logaritmo complejo se obtiene con − π < φ < π . Es una función analítica fuera de los números reales negativos, pero no se puede prolongar a una función que sea continua en cualquier número real negativo , donde el valor principal es ln z = ln(− z ) + iπ . ^{[ h ]}${\displaystyle z\in \mathbb {C} \setminus \left(-\mathbb {R} _{\geq 0}\right)}$${\displaystyle z\in -\mathbb {R} ^{+}}$

La exponenciación compleja z ^ω se define como y es multivaluada, excepto cuando ω es un entero. Para ω = 1 / n , para algún número natural n , esto recupera la no unicidad de las raíces n- ésimas mencionada anteriormente. Si z > 0 es real (y ω un número complejo arbitrario), se tiene una elección preferida de , el logaritmo real, que puede usarse para definir una función exponencial preferida.$${\displaystyle z^{\omega }=\exp(\omega \ln z),}$$${\displaystyle \ln x}$

Los números complejos, a diferencia de los números reales, no satisfacen en general las identidades de potencia y logaritmo sin modificar, particularmente cuando se tratan ingenuamente como funciones unívocas; véase falla de las identidades de potencia y logaritmo . Por ejemplo, no satisfacen Ambos lados de la ecuación son multivaluados según la definición de exponenciación compleja que se da aquí, y los valores de la izquierda son un subconjunto de los de la derecha.$${\displaystyle a^{bc}=\left(a^{b}\right)^{c}.}$$

Las series que definen las funciones trigonométricas reales seno y coseno , así como las funciones hiperbólicas seno hiperbólico y coseno hiperbólico , se extienden a argumentos complejos sin cambios. Para las demás funciones trigonométricas e hiperbólicas, como la tangente , la situación es algo más compleja, ya que las series que las definen no convergen para todos los valores complejos. Por lo tanto, es necesario definirlas en términos de seno, coseno y exponencial, o bien, mediante el método de continuación analítica .

El valor de una función trigonométrica o hiperbólica de un número complejo puede expresarse en términos de esas funciones evaluadas en números reales, mediante fórmulas de suma de ángulos. Para z = x + iy ,

$${\displaystyle \sin {z}=\sin {x}\cosh {y}+i\cos {x}\sinh {y}}$$

$${\displaystyle \cos {z}=\cos {x}\cosh {y}-i\sin {x}\sinh {y}}$$

$${\displaystyle \tan {z}={\frac {\tan {x}+i\tanh {y}}{1-i\tan {x}\tanh {y}}}}$$

$${\displaystyle \cot {z}=-{\frac {1+i\cot {x}\coth {y}}{\cot {x}-i\coth {y}}}}$$

$${\displaystyle \sinh {z}=\sinh {x}\cos {y}+i\cosh {x}\sin {y}}$$

$${\displaystyle \cosh {z}=\cosh {x}\cos {y}+i\sinh {x}\sin {y}}$$

$${\displaystyle \tanh {z}={\frac {\tanh {x}+i\tan {y}}{1+i\tanh {x}\tan {y}}}}$$

$${\displaystyle \coth {z}={\frac {1-i\coth {x}\cot {y}}{\coth {x}-i\cot {y}}}}$$

Cuando estas expresiones no están bien definidas, porque una función trigonométrica o hiperbólica tiende a infinito o hay división por cero, no obstante son correctas como límites .

Una función → se denomina holomorfa o diferenciable compleja en un punto si el límite${\displaystyle f:\mathbb {C} }$${\displaystyle \mathbb {C} }$${\displaystyle z_{0}}$

${\displaystyle \lim _{z\to z_{0}}{f(z)-f(z_{0}) \over z-z_{0}}}$

existe (en cuyo caso se denota por ). Esto imita la definición de funciones diferenciables reales, excepto que todas las cantidades son números complejos. En términos generales, la libertad de aproximarse en diferentes direcciones impone una condición mucho más fuerte que ser (real) diferenciable. Por ejemplo, la función${\displaystyle f'(z_{0})}$${\displaystyle z_{0}}$

${\displaystyle f(z)={\overline {z}}}$

es diferenciable como función , pero no es diferenciable complejamente. Una función diferenciable real es diferenciable complejamente si y solo si satisface las ecuaciones de Cauchy-Riemann , que a veces se abrevian como${\displaystyle \mathbb {R} ^{2}\to \mathbb {R} ^{2}}$

${\displaystyle {\frac {\partial f}{\partial {\overline {z}}}}=0.}$

El análisis complejo muestra algunas características que no son evidentes en el análisis real. Por ejemplo, el teorema de identidad afirma que dos funciones holomorfas f y g coinciden si coinciden en un subconjunto abierto arbitrariamente pequeño de . Las funciones meromorfas , funciones que pueden escribirse localmente como f ( z )/( z − z ₀ ) ⁿ con una función holomorfa f , aún comparten algunas de las características de las funciones holomorfas. Otras funciones tienen singularidades esenciales , como sin(1/ z ) en z = 0 .${\displaystyle \mathbb {C} }$

Como se mencionó anteriormente, cualquier ecuación polinómica no constante (con coeficientes complejos) tiene una solución en . Con mayor razón , lo mismo ocurre si la ecuación tiene coeficientes racionales. Las raíces de tales ecuaciones se denominan números algebraicos ; son un objeto principal de estudio en la teoría algebraica de números . En comparación con , la clausura algebraica de , que también contiene todos los números algebraicos, tiene la ventaja de ser fácilmente comprensible en términos geométricos. De esta manera, los métodos algebraicos pueden usarse para estudiar cuestiones geométricas y viceversa. Con métodos algebraicos, más específicamente aplicando la maquinaria de la teoría de cuerpos al cuerpo numérico que contiene raíces de la unidad , se puede demostrar que no es posible construir un nonágono regular usando solo compás y regla , un problema puramente geométrico.${\displaystyle \mathbb {C} }$${\displaystyle {\overline {\mathbb {Q} }}}$${\displaystyle \mathbb {Q} }$${\displaystyle \mathbb {C} }$

Otro ejemplo son los enteros gaussianos ; es decir, números de la forma x + iy , donde x e y son enteros, que se pueden utilizar para clasificar sumas de cuadrados .

La teoría analítica de números estudia los números, a menudo enteros o racionales, aprovechando que pueden considerarse números complejos, en los que se pueden utilizar métodos analíticos. Esto se logra codificando información teórica de números en funciones de valores complejos. Por ejemplo, la función zeta de Riemann ζ( s ) está relacionada con la distribución de los números primos .

En campos aplicados, los números complejos se utilizan a menudo para calcular ciertas integrales impropias de valor real mediante funciones de valor complejo. Existen varios métodos para ello; véanse los métodos de integración de contorno .

En ecuaciones diferenciales , es común encontrar primero todas las raíces complejas r de la ecuación característica de una ecuación diferencial lineal o sistema de ecuaciones y luego intentar resolver el sistema en términos de funciones base de la forma f ( t ) = e ^rt . De manera similar, en ecuaciones en diferencias , se utilizan las raíces complejas r de la ecuación característica del sistema de ecuaciones en diferencias para intentar resolver el sistema en términos de funciones base de la forma f ( t ) = r ^t .

Dado que es algebraicamente cerrada, cualquier matriz cuadrada compleja no vacía tiene al menos un autovalor (complejo) . En comparación, las matrices reales no siempre tienen autovalores reales; por ejemplo, las matrices de rotación (para rotaciones del plano con ángulos distintos de 0° o 180°) no dejan ninguna dirección fija y, por lo tanto, no tienen ningún autovalor real . La existencia de autovalores (complejos) y la consiguiente existencia de la descomposición en autovalores es una herramienta útil para calcular potencias y exponenciales de matrices .${\displaystyle \mathbb {C} }$

Los números complejos suelen generalizar conceptos concebidos originalmente en los números reales. Por ejemplo, la transpuesta conjugada generaliza la transpuesta , las matrices hermíticas generalizan las matrices simétricas y las matrices unitarias generalizan las matrices ortogonales .

El campo tiene las siguientes tres propiedades:${\displaystyle \mathbb {C} }$

• En primer lugar, tiene característica 0. Esto significa que 1 + 1 + ⋯ + 1 ≠ 0 para cualquier número de sumandos (todos los cuales son iguales a uno).
• Segundo, su grado de trascendencia sobre , el campo primordial de es la cardinalidad del continuo .${\displaystyle \mathbb {Q} }$${\displaystyle \mathbb {C} ,}$
• En tercer lugar, es algebraicamente cerrada (véase más arriba).

Se puede demostrar que cualquier campo que tenga estas propiedades es isomorfo (como campo) a Por ejemplo, la clausura algebraica del campo del número p- ádico también satisface estas tres propiedades, por lo que estos dos campos son isomorfos (como campos, pero no como campos topológicos). ^{[ 76 ]} Además, es isomorfo al campo de series de Puiseux complejas . Sin embargo, especificar un isomorfismo requiere el axioma de elección . Otra consecuencia de esta caracterización algebraica es que contiene muchos subcampos propios que son isomorfos a .${\displaystyle \mathbb {C} .}$${\displaystyle \mathbb {Q} _{p}}$${\displaystyle \mathbb {C} }$${\displaystyle \mathbb {C} }$${\displaystyle \mathbb {C} }$

La caracterización anterior de describe únicamente los aspectos algebraicos de Es decir, no se tratan las propiedades de proximidad y continuidad , que son importantes en áreas como el análisis y la topología . La siguiente descripción de como un campo topológico (es decir, un campo que está dotado de una topología , que permite la noción de convergencia) sí tiene en cuenta las propiedades topológicas. contiene un subconjunto P (a saber, el conjunto de números reales positivos) de elementos distintos de cero que satisfacen las siguientes tres condiciones:${\displaystyle \mathbb {C} }$${\displaystyle \mathbb {C} .}$${\displaystyle \mathbb {C} }$${\displaystyle \mathbb {C} }$

• P es cerrado bajo la suma, la multiplicación y el cálculo de inversos.
• Si x e y son elementos distintos de P , entonces o bien x − y o bien y − x está en P.
• Si S es cualquier subconjunto no vacío de P , entonces S + P = x + P para algún x en${\displaystyle \mathbb {C} .}$

Además, tiene un automorfismo involutivo no trivial x ↦ x * (es decir, conjugación compleja), tal que x x * está en P para cualquier x distinto de cero en${\displaystyle \mathbb {C} }$${\displaystyle \mathbb {C} .}$

Cualquier cuerpo F con estas propiedades puede dotarse de una topología tomando como base los conjuntos B ( x , p ) = { y | p − ( y − x )( y − x )* ∈ P } , donde x recorre el cuerpo y p recorre P . Con esta topología, F es isomorfo como cuerpo topológico a${\displaystyle \mathbb {C} .}$

Los únicos campos topológicos conexos localmente compactos son y Esto da otra caracterización de como un campo topológico, porque se puede distinguir de porque los números complejos no nulos son conexos , mientras que los números reales no nulos no lo son. ^{[ 77 ]}${\displaystyle \mathbb {R} }$${\displaystyle \mathbb {C} .}$${\displaystyle \mathbb {C} }$${\displaystyle \mathbb {C} }$${\displaystyle \mathbb {R} }$

El proceso de extender el campo de los números reales a es un ejemplo de la construcción de Cayley-Dickson . Aplicando esta construcción iterativamente a se obtienen los cuaterniones , los octoniones , ^{[ 78 ]} los sedeniones y los trigintaduoniones . Esta construcción resulta disminuir las propiedades estructurales de los sistemas numéricos involucrados.${\displaystyle \mathbb {R} }$${\displaystyle \mathbb {C} }$${\displaystyle \mathbb {C} }$

A diferencia de los reales, no es un cuerpo ordenado , es decir, no es posible definir una relación z ₁ < z ₂ que sea compatible con la suma y la multiplicación. De hecho, en cualquier cuerpo ordenado, el cuadrado de cualquier elemento es necesariamente positivo, por lo que i ² = −1 excluye la existencia de un ordenamiento en ^{[ 79 ]} Pasar de a los cuaterniones pierde la conmutatividad, mientras que los octoniones (además de no ser conmutativos) no son asociativos. Los reales, los números complejos, los cuaterniones y los octoniones son todos álgebras de división normadas sobre . Por el teorema de Hurwitz son los únicos; los sedeniones , el siguiente paso en la construcción de Cayley-Dickson, no tienen esta estructura.${\displaystyle \mathbb {C} }$${\displaystyle \mathbb {C} .}$${\displaystyle \mathbb {C} }$${\displaystyle \mathbb {H} }$${\displaystyle \mathbb {R} }$

La construcción de Cayley-Dickson está estrechamente relacionada con la representación regular de pensada como un -álgebra (un espacio vectorial -con una multiplicación), con respecto a la base (1, i ) . Esto significa lo siguiente: el mapa -lineal para algún número complejo fijo w puede representarse mediante una matriz de 2 × 2 (una vez que se ha elegido una base). Con respecto a la base (1, i ) , esta matriz es es decir, la mencionada en la sección sobre representación matricial de números complejos más arriba. Si bien esta es una representación lineal de en las matrices reales de 2 × 2, no es la única. Cualquier matriz tiene la propiedad de que su cuadrado es el negativo de la matriz identidad: J ² = − I . Entonces también es isomorfo al campo y da una estructura compleja alternativa en Esto se generaliza mediante la noción de una estructura compleja lineal .${\displaystyle \mathbb {C} ,}$${\displaystyle \mathbb {R} }$${\displaystyle \mathbb {R} }$${\displaystyle \mathbb {R} }$$${\displaystyle {\begin{aligned}\mathbb {C} &\rightarrow \mathbb {C} \\z&\mapsto wz\end{aligned}}}$$$${\displaystyle {\begin{pmatrix}\operatorname {Re} (w)&-\operatorname {Im} (w)\\\operatorname {Im} (w)&\operatorname {Re} (w)\end{pmatrix}},}$$${\displaystyle \mathbb {C} }$$${\displaystyle J={\begin{pmatrix}p&q\\r&-p\end{pmatrix}},\quad p^{2}+qr+1=0}$$$${\displaystyle \{z=aI+bJ:a,b\in \mathbb {R} \}}$$${\displaystyle \mathbb {C} ,}$${\displaystyle \mathbb {R} ^{2}.}$

Los números hipercomplejos también generalizan y Por ejemplo, esta noción contiene los números complejos divididos , que son elementos del anillo (a diferencia de para los números complejos). En este anillo, la ecuación a ² = 1 tiene cuatro soluciones.${\displaystyle \mathbb {R} ,}$${\displaystyle \mathbb {C} ,}$${\displaystyle \mathbb {H} ,}$${\displaystyle \mathbb {O} .}$${\displaystyle \mathbb {R} [x]/(x^{2}-1)}$${\displaystyle \mathbb {R} [x]/(x^{2}+1)}$

El campo es la completación del campo de los números racionales , con respecto a la métrica usual del valor absoluto . Otras elecciones de métricas en conducen a los campos de los números p -ádicos (para cualquier número primo p ), que son análogos a . No hay otras formas no triviales de completar que y por el teorema de Ostrowski . Los cierres algebraicos de aún tienen una norma, pero (a diferencia de ) no son completos con respecto a ella. La completación de resulta ser algebraicamente cerrada. Por analogía, se llama el campo de los números complejos p -ádicos.${\displaystyle \mathbb {R} }$${\displaystyle \mathbb {Q} ,}$${\displaystyle \mathbb {Q} }$${\displaystyle \mathbb {Q} _{p}}$${\displaystyle \mathbb {R} }$${\displaystyle \mathbb {Q} }$${\displaystyle \mathbb {R} }$${\displaystyle \mathbb {Q} _{p},}$${\displaystyle {\overline {\mathbb {Q} _{p}}}}$${\displaystyle \mathbb {Q} _{p}}$${\displaystyle \mathbb {C} }$${\displaystyle \mathbb {C} _{p}}$${\displaystyle {\overline {\mathbb {Q} _{p}}}}$${\displaystyle \mathbb {C} _{p}}$

Los campos y sus extensiones de campo finitas, incluyendo , se denominan campos locales .${\displaystyle \mathbb {R} ,}$${\displaystyle \mathbb {Q} _{p},}$${\displaystyle \mathbb {C} ,}$