Los números complejos son una extensión de los números reales y forman un cuerpo

algebraicamente cerrado.1 El conjunto de los números complejos se designa con la

notación {\displaystyle \scriptstyle \mathbb {C} }\scriptstyle {\mathbb {C}},
siendo {\displaystyle \scriptstyle \mathbb {R} }\scriptstyle {\mathbb {R}} el
conjunto de los números reales se cumple que {\displaystyle \scriptstyle \mathbb
{R} \subset \mathbb {C} }\scriptstyle {\mathbb {R}}\subset {\mathbb {C}}
({\displaystyle \scriptstyle \mathbb {R} }\scriptstyle {\mathbb {R}} está
estrictamente contenido en {\displaystyle \scriptstyle \mathbb {C} }\scriptstyle
{\mathbb {C}}). 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 i), o en forma polar.

Los números complejos son la herramienta de trabajo del álgebra, análisis, así como
de ramas de las matemáticas puras y aplicadas como variable compleja, ecuaciones
diferenciales, facilita el cálculo de integrales, en aerodinámica, hidrodinámica y
electromagnetismo entre otras de gran importancia. Además, los números complejos se
utilizan por doquier en matemáticas, en muchos campos de la física (notoriamente en
la mecánica cuántica) y en ingeniería, especialmente en la 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.

Índice
1 Historia
2 Definición
2.1 Operaciones racionales
2.2 Unidad imaginaria
3 Valor absoluto o módulo, argumento y conjugado
3.1 Valor absoluto o módulo de un número complejo
3.2 Argumento o fase
3.3 Conjugado de un número complejo
4 Representaciones
4.1 Representación binómica
4.2 Representación polar
4.2.1 Operaciones en forma polar
4.3 Raíz enésima de un número complejo
4.4 Representación en forma de matrices de orden 2
5 Plano de los números complejos o Diagrama de Argand
6 Propiedades
6.1 Cuerpo de los números complejos
6.2 Espacio vectorial
7 Aplicaciones
7.1 En matemáticas
7.1.1 Soluciones de ecuaciones polinómicas
7.1.2 Variable compleja o análisis complejo
7.1.3 Ecuaciones diferenciales
7.1.4 Fractales
7.2 En física
8 Generalizaciones
9 Véase también
10 Referencias
10.1 Bibliografía
10.2 Enlaces externos
Historia
La primera referencia conocida a raíces cuadradas de números negativos proviene 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 y Cardano. Originalmente, los
números complejos fueron propuestos en 1545, por el matemático italiano, Girolamo
Cardano (1501-1576), en un tratado epitómico que versaba sobre la solución de las
ecuaciones cúbicas y cuárticas, con el título de Ars magna. El término imaginario
para estas cantidades fue acuñado por Descartes en el Siglo XVII y está en desuso.

Las cantidades «ficticias» de Cardano cayeron en un mar de indiferencia por la

mayoría de los miembros de la comunidad matemática. Fueron Caspar Wessel en 1799 y
Jean-Robert Argand en 1806, con la propuesta del plano complejo y la representación
de la unidad imaginaria i, mediante el punto (0,1) del eje vertical quienes
sentaron las bases de estos números. El matemático alemán Carl Friedrich Gauss
(1777-1855), fue quien les dio nombre, los definió rigurosamente y los utilizó en
la demostración original del teorema fundamental del álgebra, que afirma que todo
polinomio que no sea constante, posee al menos un cero. La implementación más
formal, con pares de números reales fue dada en el Siglo XIX.

La frase número complejo fue usada por Carnot en 1803. Años después la empleó Gauss
en Theoria residorum biquadratorum en 1828; la usaba para eludir la expresión
número imaginario. Cardano los llamaba números negativos puros2.

Los números complejos ligados a las funciones analíticas o de variable compleja,

permiten 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.3

Definición
Se define cada número complejo z como un par ordenado de números reales: z = (a,
b). A su vez el primer elemento a se define como parte real de z, se denota
{\displaystyle a={\text{Re}}(z)}{\displaystyle a={\text{Re}}(z)}; el segundo
elemento b se define como parte imaginaria de z, se denota {\displaystyle
b={\text{Im}}(z)}{\displaystyle b={\text{Im}}(z)}. Luego en el conjunto ℂ de los
números complejos, se definen tres operaciones y la relación de igualdad:

Igualdad
{\displaystyle (a,b)=(c,d)\iff a=c\land b=d}(a,b)=(c,d)\iff a=c\land b=d
Al número {\displaystyle (a,0)} (a,0) se 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 número
complejo {\displaystyle (0,b)} (0,b) se denomina número imaginario puro. Puesto que
{\displaystyle (a,0)+(0,b)=(a,b)} (a,0) + (0,b) = (a, b) se dice que un número
complejo es la suma de un número real con un número imaginario puro.4

Operaciones racionales
Adición
{\displaystyle (a,b)+(c,d)=(a+c,\,b+d)}(a,b)+(c,d)=(a+c,\,b+d)
Producto por escalar
{\displaystyle r(a,b)=(ra,\,rb)}r(a,b)=(ra,\,rb)
Multiplicación
{\displaystyle (a,b)\cdot (c,d)=(ac-bd,ad+bc)}(a,b)\cdot (c,d)=(ac-bd,ad+bc)
A partir de estas operaciones podemos deducir otras como las siguientes:

Resta
{\displaystyle (a,b)-(c,d)=(a-c,\,b-d)}(a,b)-(c,d)=(a-c,\,b-d)
División
{\displaystyle {\frac {(a,b)}{(c,d)}}={(ac+bd,\,bc-ad) \over
c^{2}+d^{2}}=\left({ac+bd \over c^{2}+d^{2}},{bc-ad \over c^{2}+d^{2}}\right)}
{\frac {(a,b)}{(c,d)}}={(ac+bd,\,bc-ad) \over c^{2}+d^{2}}=\left({ac+bd \over
c^{2}+d^{2}},{bc-ad \over c^{2}+d^{2}}\right)
Unidad imaginaria
Se define un número complejo especial, sobre todo en el álgebra, de suma
relevancia, el número i ( j en física), llamado unidad imaginaria, definido como

{\displaystyle \mathrm {i} =(0,1)\,\!}{\mathrm {i}}=(0,1)\,\!

Que satisface la siguiente igualdad:

{\displaystyle \mathrm {i} ^{2}=\mathrm {i} \cdot \mathrm {i} =(0,1)\cdot (0,1)=(-
1,0)=-1}{\mathrm {i}}^{2}={\mathrm {i}}\cdot {\mathrm {i}}=(0,1)\cdot (0,1)=(-
1,0)=-1
Tomando en cuenta que {\displaystyle (a,0)\cdot (0,1)=(0,a)}(a,0)\cdot (0,1)=(0,a),
cabe la identificación

{\displaystyle (a,0)\cdot (0,1)=a\mathrm {i} =(0,a)}(a, 0) \cdot (0, 1) =

a\mathrm{i} = (0, a)
En textos elementales se define que i 2 es igual a -1. Además es una de las raíces
de la ecuación x 2 + 1 = 0. 5
Valor absoluto o módulo, argumento y conjugado
Valor absoluto o módulo de un número complejo

La fórmula de Euler ilustrada en el plano complejo.

El valor absoluto, módulo o magnitud de un número complejo z viene dado por la
siguiente expresión:

{\displaystyle |z|={\sqrt {zz^{*}}}={\sqrt {{\hbox{Re}}^{2}(z)+{\hbox{Im}}^{2}

(z)}}}|z|={\sqrt {zz^{*}}}={\sqrt {{\hbox{Re}}^{2}(z)+{\hbox{Im}}^{2}(z)}}

Si pensamos en las coordenadas cartesianas del número complejo z 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 z = r eiφ, entonces |z| = r. Se

puede expresar en forma trigonométrica como z = r (cosφ + isenφ), donde cosφ +
isenφ = eiφ es la conocida fórmula de Euler.

Podemos comprobar con facilidad estas cuatro importantes propiedades del valor
absoluto

{\displaystyle \left|z\right|=0\Longleftrightarrow z=0}\left|z\right|

=0\Longleftrightarrow z=0
{\displaystyle \left|z+w\right|\leq |z|+|w|}\left|z+w\right|\leq |z|+|w|
{\displaystyle \left|zw\right|=|z||w|}\left|zw\right|=|z||w|
{\displaystyle \left|z-w\right|\geq ||z|-|w||}{\displaystyle \left|z-w\right|\geq
||z|-|w||}
para cualquier complejo 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.
Argumento o fase
Artículo principal: Argumento (análisis complejo)
El argumento principal o fase de un número complejo genérico {\displaystyle
z=x+yi\,}z=x+yi\, (siendo x=Re(z) e y=Im(z)) es el ángulo {\displaystyle \phi }
\phi que forman el eje de abscisas OX y el vector OM, con M(x,y). Viene dado por la
siguiente expresión:

{\displaystyle \phi =\operatorname {Arg} (z)=\operatorname {atan2} (y,x)}\phi

=\operatorname {Arg}(z)=\operatorname {atan2}(y,x)

donde atan2(y,x) es la función arcotangente definida para los cuatro cuadrantes:

{\displaystyle \operatorname {atan2} (y,x)={\begin{cases}\arctan \left({\frac {y}

{x}}\right)&\qquad x>0\\\arctan \left({\frac {y}{x}}\right)+\pi &\qquad y\geq
0,x<0\\\arctan \left({\frac {y}{x}}\right)-\pi &\qquad y<0,x<0\\+{\frac {\pi }
{2}}&\qquad y>0,x=0\\-{\frac {\pi }{2}}&\qquad y<0,x=0\\{\text{indefinido}}&\qquad
y=0,x=0\end{cases}}}\operatorname {atan2}(y,x)={\begin{cases}\arctan \left({\frac
yx}\right)&\qquad x>0\\\arctan \left({\frac yx}\right)+\pi &\qquad y\geq
0,x<0\\\arctan \left({\frac yx}\right)-\pi &\qquad y<0,x<0\\+{\frac {\pi }
{2}}&\qquad y>0,x=0\\-{\frac {\pi }{2}}&\qquad y<0,x=0\\{\text{indefinido}}&\qquad
y=0,x=0\end{cases}}
O también: {\displaystyle \operatorname {atan2} (y,x)={\frac {\pi }
{2}}\operatorname {sgn} (y)-\arctan \left({\frac {x}{y}}\right)\quad \forall x,y\in
\mathbb {R} }\operatorname {atan2}(y,x)={\frac \pi 2}\operatorname{sgn}(y)-\arctan
\left({\frac xy}\right)\quad \forall x,y\in {\mathbb R} Siendo:

{\displaystyle \operatorname {sgn} (y)={\begin{cases}1\qquad y\geq 0\\-1\qquad

y<0\\\end{cases}}}\operatorname{sgn}(y)={\begin{cases}1\qquad y\geq 0\\-1\qquad
y<0\\\end{cases}}6
la función signo.

El argumento tiene periodicidad 2π, con lo que {\displaystyle \arg z=\operatorname

{Arg} z+2k\pi }{\displaystyle \arg z=\operatorname {Arg} z+2k\pi } siendo
{\displaystyle k}k cualquier número entero. El ángulo Arg z es el valor principal
de arg z que verifica las condiciones -π < Arg z <= π descritas antes.7

Conjugado de un número complejo

Dos binomios se llaman conjugados si solo difieren en su signo central. De esta
manera, el conjugado de un complejo z (denotado como {\displaystyle {\bar {z}}}
{\bar {z}} o {\displaystyle z^{*}\,\!}z^{*}\,\!) es un nuevo número complejo,
definido así:

{\displaystyle {\bar {z}}=a-\mathrm {i} b\Longleftrightarrow z=a+\mathrm {i} b}

{\bar {z}}=a-{\mathrm {i}}b\Longleftrightarrow z=a+{\mathrm {i}}b
Se observa que ambos difieren en el signo de la parte imaginaria. Con este número
se cumplen las propiedades:

{\displaystyle {\overline {z+w}}={\bar {z}}+{\bar {w}}}\overline {z+w}={\bar {z}}+

{\bar {w}}
{\displaystyle z+{\overline {z}}=2\cdot {\hbox{Re}}(z)}z+\overline {z}=2\cdot
{\hbox{Re}}(z)
{\displaystyle z-{\overline {z}}=2i\cdot {\hbox{Im}}(z)}z-\overline {z}=2i\cdot
{\hbox{Im}}(z)
{\displaystyle {\overline {zw}}={\bar {z}}{\bar {w}}}\overline {zw}={\bar {z}}
{\bar {w}}
{\displaystyle z\in \mathbb {R} \Longleftrightarrow {\bar {z}}=z}z\in {\mathbb
{R}}\Longleftrightarrow {\bar {z}}=z
{\displaystyle |z|^{2}=z{\bar {z}}\geq 0}{\displaystyle |z|^{2}=z{\bar {z}}\geq 0}
{\displaystyle z\neq 0\Rightarrow {\frac {1}{z}}={\frac {\bar {z}}{|z|^{2}}}}z\neq
0\Rightarrow {\frac {1}{z}}={\frac {{\bar {z}}}{|z|^{2}}}
Esta última fórmula es el método elegido para calcular el inverso de un número
complejo si viene dado en coordenadas rectangulares.

Representaciones
Representación binómica

Un número complejo representado como un punto (en rojo) y un vector de posición

(azul) en un diagrama de Argand; {\displaystyle a+bi}a+bi es la expresión binomial
del punto.
Un número complejo se representa en forma binomial como:

{\displaystyle z=a+bi\,}z=a+bi\,
La parte real del número complejo y la parte imaginaria, se pueden expresar de
varias maneras, como se muestra a continuación:

{\displaystyle a={\hbox{Re}}(z)=\Re (z)}a={\hbox{Re}}(z)=\Re (z)

{\displaystyle b={\hbox{Im}}(z)=\Im (z)}b={\hbox{Im}}(z)=\Im (z)
Representación polar

El argumento φ y módulo r localizan un punto en un diagrama de Argand;

{\displaystyle r(\cos \phi +i\sin \phi )}r(\cos \phi +i\sin \phi ) o {\displaystyle
re^{i\phi }}re^{{i\phi }} es la expresión polar del punto.
En esta representación, {\displaystyle \textstyle {r}}\textstyle {r} es el módulo
del número complejo y el ángulo {\displaystyle \textstyle {\phi }}\textstyle
{\phi } es el argumento del número complejo.

{\displaystyle \textstyle {\phi }=\arctan \left({\frac {b}{a}}\right)=\arctan

\left({\frac {{\hbox{Im}}(z)}{{\hbox{Re}}(z)}}\right)=-\arctan \left(-{\frac
{{\hbox{Im}}(z)}{{\hbox{Re}}(z)}}\right)}\textstyle {\phi }=\arctan \left({\frac
{b}{a}}\right)=\arctan \left({\frac {{\hbox{Im}}(z)}{{\hbox{Re}}
(z)}}\right)=-\arctan \left(-{\frac {{\hbox{Im}}(z)}{{\hbox{Re}}(z)}}\right)
{\displaystyle \cos \phi ={\frac {a}{r}}\ ,\ \sin \phi ={\frac {b}{r}}}\cos \phi
={\frac {a}{r}}\ ,\ \sin \phi ={\frac {b}{r}}
Despejandose a y b en las expresiones anteriores y, utilizando la representación
binomial, resulta:

{\displaystyle z=a+\mathrm {i} b;\;z=r\cos {\phi }+\mathrm {i} r\sin {\phi }}z=a+
{\mathrm {i}}b;\;z=r\cos {\phi }+{\mathrm {i}}r\sin {\phi }
Sacando factor común r:

{\displaystyle z=r\left(\cos {\phi }+\mathrm {i} \sin {\phi }\right)}z=r\left(\cos

{\phi }+{\mathrm {i}}\sin {\phi }\right)
Frecuentemente, esta expresión se abrevia convenientemente de la siguiente manera:

{\displaystyle \ z=r\;\operatorname {cis} \;{\phi }}\ z=r\;\operatorname {cis}\;

{\phi }
la cual solo contiene las abreviaturas de las razones trigonométricas coseno, la
unidad imaginaria y la razón seno del argumento respectivamente.

Según esta expresión, puede observarse que para definir un número complejo tanto de
esta forma como con la representación binomial se requieren dos parámetros, que
pueden ser parte real e imaginaria o bien módulo y argumento, respectivamente.

Según la Fórmula de Euler:

{\displaystyle \cos {\phi }+\mathrm {i} \sin {\phi }=e^{\mathrm {i}

\phi };\;z=re^{i\phi }}\cos {\phi }+{\mathrm {i}}\sin {\phi }=e^{{{\mathrm
{i}}\phi }};\;z=re^{{i\phi }}
No obstante, el ángulo {\displaystyle \phi }\phi no está unívocamente determinado
por z, pues pueden existir infinitos números complejos que tienen el mismo valor
representado en el plano, que se diferencian por el número de revoluciones, ya sean
de sentido antihorario (positivas) u horario (negativas) las cuales se representan
por números enteros {\displaystyle k\in \mathbb {Z} }k\in {\mathbb {Z}}, como
implica la fórmula de Euler:

{\displaystyle \forall {k}{\in }\mathbb {Z} \quad z=re^{\mathrm {i} (\phi +2\pi
{}k)}}{\displaystyle \forall {k}{\in }\mathbb {Z} \quad z=re^{\mathrm {i} (\phi
+2\pi {}k)}}
Por esto, generalmente {\displaystyle \phi }\phi está restringido al intervalo [-
π, π) y a éste {\displaystyle \phi }\phi restringido se le llama argumento
principal de z y se denota φ=Arg(z). Con este convenio, las coordenadas están
unívocamente determinadas por z.

Operaciones en forma polar

La multiplicación de números complejos es especialmente sencilla con la notación
polar:

{\displaystyle z_{1}z_{2}=rse^{\mathrm {i} (\phi +\psi )}\Leftrightarrow

z_{1}z_{2}=re^{\mathrm {i} \phi }se^{\mathrm {i} \psi }}z_{1}z_{2}=rse^{{{\mathrm
{i}}(\phi +\psi )}}\Leftrightarrow z_{1}z_{2}=re^{{{\mathrm
{i}}\phi }}se^{{{\mathrm {i}}\psi }}
División:

{\displaystyle {\frac {z_{1}}{z_{2}}}={\frac {r}{s}}e^{\mathrm {i} (\phi -\psi )}}

{\frac {z_{1}}{z_{2}}}={\frac {r}{s}}e^{{{\mathrm {i}}(\phi -\psi )}}
Potenciación:

{\displaystyle z^{n}=r^{n}e^{\mathrm {i} \phi n}\Leftrightarrow

z^{n}=\left(re^{i\phi }\right)^{n}}z^{n}=r^{n}e^{{{\mathrm {i}}\phi
n}}\Leftrightarrow z^{n}=\left(re^{{i\phi }}\right)^{{n}}
{\displaystyle z^{n}=(a+b\mathrm {i} )^{n}={n \choose 0}a^{n}+{n \choose 1}a^{n-
1}b\mathrm {i} +{n \choose 2}a^{n-2}\left(b\mathrm {i} \right)^{2}+\ldots +{n
\choose {n-1}}a\left(b\mathrm {i} \right)^{n-1}+{n \choose n}\left(b\mathrm {i}
\right)^{n}}z^{n}=(a+b{\mathrm {i}})^{n}={n \choose 0}a^{n}+{n \choose 1}a^{{n-
1}}b{\mathrm {i}}+{n \choose 2}a^{{n-2}}\left(b{\mathrm {i}}\right)^{2}+\ldots +
{n \choose {n-1}}a\left(b{\mathrm {i}}\right)^{{n-1}}+{n \choose n}\left(b{\mathrm
{i}}\right)^{n}
Raíz enésima de un número complejo
Raíz cuadrada
Dado el número complejo z diremos {\displaystyle {\sqrt {z}}=\{w_{1},w_{2}\}}
{\displaystyle {\sqrt {z}}=\{w_{1},w_{2}\}} y se cumple que {\displaystyle
z=w_{i}^{2},\,i=1,2}{\displaystyle z=w_{i}^{2},\,i=1,2}

Ejemplo {\displaystyle {\sqrt {i}}=\{cos{\frac {\pi }{4}}+sen{\frac {\pi }

{4}},\,cos{\frac {3\pi }{4}}+sen{\frac {3\pi }{4}}\}}{\displaystyle {\sqrt {i}}=\
{cos{\frac {\pi }{4}}+sen{\frac {\pi }{4}},\,cos{\frac {3\pi }{4}}+sen{\frac
{3\pi }{4}}\}}
Representación en forma de matrices de orden 2
En el anillo de las matrices de segundo orden sobre el campo de números reales, se
puede hallar un subconjunto que es isomorfo al cuerpo de los números complejos.
Pues, se establece una correspondencia entre cada número complejo a+bi con la
matriz

{\displaystyle {\begin{pmatrix}a&-b\\b&a\\\end{pmatrix}}.}{\displaystyle
{\begin{pmatrix}a&-b\\b&a\\\end{pmatrix}}.}
De tal manera se obtiene una correspondencia biunívoca. La suma y el producto de
dos de esta matrices tiene de nuevo esta forma, y la suma y producto de números
complejos corresponde a la suma y producto de tales matrices. En particular la
matriz {\displaystyle {\bigl (}{\begin{smallmatrix}0&-1\\1&0\end{smallmatrix}}
{\bigr )}}{\displaystyle {\bigl (}{\begin{smallmatrix}0&-1\\1&0\end{smallmatrix}}
{\bigr )}} cumple el rol de unidad imaginaria.8

Plano de los números complejos o Diagrama de Argand

Artículo principal: Plano complejo
El concepto de plano complejo permite interpretar geométricamente los números
complejos. La suma de números complejos se puede relacionar con la suma con
vectores, y la multiplicación de números complejos puede expresarse simplemente
usando coordenadas polares, donde la magnitud del producto es el producto de las
magnitudes de los términos, y el ángulo contado desde el eje real del producto es
la suma de los ángulos de los términos pudiendo ser vista como la 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º (i al
cuadrado = -1), dando como resultado un cambio de signo al completar una vuelta.

Los diagramas de Argand se usan frecuentemente para mostrar las posiciones de los
polos y los ceros de una función en el plano complejo.

El análisis complejo, la teoría de las funciones complejas, es una de las áreas más
ricas de la matemática, que encuentra aplicación en muchas otras áreas de la
matemática así como en física, electrónica y muchos otros campos.

Propiedades
Cuerpo de los números complejos
El conjunto ℂ de los números complejos satisface las leyes de la axiomática que
define un cuerpo:

Propiedad conmutativa: z+w = w+z; zw= wz.

Propiedad asociativa: v+(w+z)= (v+w)+ z; v(wz)= (vw)z
Propiedad distributiva: v(w+z) = vw+vz; (w+z)v = wv+zv
Existencia de identidades:
La identidad aditiva, el cero: z+ 0 = 0+z = z; la identidad multiplicativa, el 1:
{\displaystyle z\cdot 1=1\cdot z=z}{\displaystyle z\cdot 1=1\cdot z=z}
Inversos: cada número complejo tiene su inverso aditivo -z tal que z +(-z) = 0 y
cada número complejo, distinto de cero, tiene su inverso multiplicativo z-1, tal
que z·z-1 = 1.9
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, por lo que C no puede ser convertido de ninguna manera
en un cuerpo ordenado.

Espacio vectorial
El conjunto ℂ con la adición de números complejos y considerando como escalares los
números reales, se puede definir ℂ como un espacio vectorial. Esto es:

Si z,w son números complejos, entonces z+w es un número complejo. Esta operación
interna define una estructura de grupo aditivo.
Si r es número real y z es un número complejo, entonces rz, llamado múltiplo
escalar de z, es también un número complejo. Las dos operaciones satisfacen la
axiomática de un espacio vectorial o lineal.10
Aplicaciones
En matemáticas
Soluciones de ecuaciones polinómicas
Una raíz o un cero11 del polinomio p es un complejo z tal que p(z)=0. Un resultado
importante de esta definición es que todas las ecuaciones polinómicas (algebraicas)
de grado n tienen exactamente n soluciones en el cuerpo de los números complejos,
esto es, tiene exactamente n complejos z que cumplen la igualdad p(z)=0, contados
con sus respectivas multiplicidades. A esto se lo conoce como Teorema Fundamental
del Álgebra, y demuestra que los complejos son un cuerpo algebraicamente cerrado;
por esto los matemáticos consideran a los números complejos unos números más
naturales[cita requerida] que los números reales a la hora de resolver ecuaciones.

También se cumple que si z es una raíz de un polinomio p con coeficientes reales,

entonces el complejo conjugado de z también es una raíz de p.

Variable compleja o análisis complejo

Artículo principal: Análisis complejo
Al estudio de las funciones de variable compleja se lo 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 provee 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.

Ecuaciones diferenciales
En ecuaciones diferenciales, cuando se estudian las soluciones de las ecuaciones
diferenciales lineales con coeficientes constantes, es habitual encontrar primero
las raíces (en general complejas) {\displaystyle \lambda \,}\lambda \, del
polinomio característico, lo que permite expresar la solución general del sistema
en términos de funciones de base de la forma: {\displaystyle f(x)=e^{\lambda
x}\,}f(x)=e^{{\lambda x}}\,.

Fractales
Artículo principal: Fractal
Muchos objetos fractales, como el conjunto de Mandelbrot, pueden obtenerse a partir
de propiedades de convergencia de una sucesión de números complejos. El análisis
del dominio de convergencia revela que dichos conjuntos pueden tener una enorme
complejidad autosimilar.

En física
Los números complejos se usan en ingeniería electrónica 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 {\displaystyle z=re^{i\phi }\,}z=re^{{i\phi }}\, podemos
pensar en {\displaystyle r\,}r\, como la amplitud y en {\displaystyle
\phi \,}\phi \, como la fase de una onda sinusoidal de una frecuencia 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 {\displaystyle f(t)=ze^{i\omega t}\,}f(t)=ze^{{i\omega 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 las resistencias,
capacidades 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 (ℂ).[cita
requerida]
En la relatividad especial y la relatividad general, algunas fórmulas para la
métrica del espacio-tiempo son mucho más simples si tomamos el tiempo como una
variable imaginaria.[cita requerida]

Generalizaciones
Los números complejos pueden generalizarse dando lugar a los números
hipercomplejos. El cuerpo de los números complejos es un subcuerpo conmutativo del
álgebra cuaterniónica {\displaystyle \scriptstyle \mathbb {H} }\scriptstyle
{\mathbb {H}}, que a su vez es una subálgebra de otras álgebras más extensas
(octoniones, sedeniones):
{\displaystyle \mathbb {C} \subset \mathbb {H} \subset \mathbb {O} \subset \mathbb
{S} }{\mathbb {C}}\subset {\mathbb {H}}\subset {\mathbb {O}}\subset {\mathbb
{S}}

Otra posible generalización es considerar la complejificación de los números

hiperreales:
{\displaystyle \mathbb {C} \subset {}^{*}\mathbb {R} (i)}{\mathbb {C}}\subset
{}^{*}\mathbb{R} (i)