Ver la fonte de Númberu complexu

{{1000}}
[[Ficheru:Complex conjugate picture.svg|thumb|Ilustración del planu complexu. Los númberos reales alcuéntrense na exa de coordenaes horizontal y los imaxinarios na exa vertical.]]
Los '''númberos complexos''' son una estensión de los [[númberu real|númberos reales]] y formen el mínimu [[cuerpu alxebraicamente zarráu]] que los contién. El conxuntu de los númberos complexos desígnase cola notación <math>\scriptstyle \mathbb{C}</math>, siendo <math>\scriptstyle \mathbb{R}</math> el conxuntu de los númberos reales que cumplen que <math>\scriptstyle \mathbb{R}\sub\mathbb{C}</math> (<math>\scriptstyle \mathbb{R}</math> ta [[Notación matemática#Teoría de conxuntos|puramente conteníu]] en <math>\scriptstyle \mathbb{C}</math>). Los númberos complexos incluyen tolos [[raigañu (matemática)|raigaños]] de los [[polinomiu|polinomios]], a diferencia de los reales. Tou '''númberu complexu''' puede representase como la suma d'un [[númberu real]] y un [[númberu imaxinariu]] (que ye un múltiplu real de la [[unidá imaxinaria]], que s'indica cola lletra '''i'''), o en [[#Representación polar|forma polar]].

Los númberos complexos son la ferramienta de trabayu de l'álxebra, analís, lo mesmo que de cañes de les matemátiques puru y aplicáu como variable complexa, ecuaciones diferenciales, facilitar el cálculu d'integrales, n'aerodinámica, hidrodinámica y electromagnetismu ente otres de gran importancia. Amás los númberos complexos utilícense per auquiera en matemátiques, en munchos campos de la [[física]] (notoriamente na [[mecánica cuántica]]) y n'[[inxeniería]], especialmente na [[electrónica]] y les [[telecomunicaciones]], pola so utilidá pa representar les [[ondes electromagnétiques]] y la [[corriente llétrica]].

En matemátiques, estos númberos constituyen un [[cuerpu (matemática)|cuerpu]] y, polo xeneral, considérense como puntos del planu: el [[planu complexu]]. Esti cuerpu contién a los númberos reales y los imaxinarios puros. Una propiedá importante que carauteriza a los númberos complexos ye'l [[teorema fundamental de l'álxebra]] — pero que se demuestra entá nun cursu de variable complexa —, qu'afirma que cualquier [[ecuación alxebraica]] de grau ''n'' tien exautamente n soluciones complexes. Los análogos del [[cálculu diferencial]] y [[integral]] con númberos complexos reciben el nome de [[variable complexa]] o analís complexu.<ref>Trejo, César A. Funciones de variable complexa (1974) p.186</ref>

== Orixe ==
El primeru n'usar los númberos complexos foi'l matemáticu italianu [[Girolamo Cardano]] (1501–1576) que los usó na fórmula pa resolver les [[ecuación de tercer grau|ecuaciones cúbiques]]. El términu “númberu complexu” foi introducíu pol gran matemáticu alemán [[Carl Friedrich Gauss]] (1777–1855) que'l so trabayu foi d'importancia básica en [[álxebra]], [[teoría de los númberos]], [[ecuaciones diferenciales]], [[xeometría diferencial]], [[xeometría non euclidea]], [[analís complexu]], [[analís numbéricu]] y [[mecánica teórica]], tamién abrió'l camín pal usu xeneral y sistemático de los númberos complexos.

== Definición define cada númberu complexu ''z'' como un [[par ordenáu]] de númberos reales: ''z'' = (''a'', ''b''). De la mesma el primer elementu ''a'' defínese como '''parte real''' de ''z'', se denota <math> a = Re(z)</math>; el segundu elementu ''b'' defínese como ''' parte imaxinaria''' de ''z'', se denota <math>b= Im(z)</math>. Depués nel conxuntu ℂ de los númberos complexos, defínense tres operaciones y la rellación d'igualdá:

* Suma
: <math>(a, b) + (c, d) = (a+c,\, b+d)</math>
* Productu por escalar
: <math>r(a, b) = (ra,\, rb)</math>
* Multiplicación
: <math>(a, b) \cdot (c, d) = (ac - bd, ad + bc) </math>
* Igualdá
: <math>(a, b) = (c, d) \iff a = c \land b = d</math>


A partir d'estes operaciones podemos deducir otres como les siguientes:

* Resta
: <math>(a, b) - (c, d) = (a-c,\, b-d)</math>
* División
: <math>\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)</math>


El númberu <math> (a,0)</math> llámase númberu complexu real y como ente'l conxuntu d'estos y el conxuntu ℝ de los númberos reales establezse un isomorfismu , asúmese que tou númberu real ye un númberu complexu. El númberu complexu <math> (0,b)</math> llámase '''númberu imaxinariu puru'''. Como
<math> (a,0) + (0,b) = (a, b)</math> dizse qu'un númberu complexu ye la suma d'un númberu real con un númberu imaxinariu puru.<ref>''Álgebra moderna''. Ediciones Schaumm</ref>. 

=== Cuerpu de los númberos complexos ===

Los númberos complexos formen un [[cuerpu (matemática)|cuerpu]], el cuerpu complexu, representáu por '''C''' (o más apropiadamente pol caráuter [[unicode]] ℂ ). Si identificamos el númberu real ''a'' col complexu (''a'', 0), el cuerpu de los númberos reales '''R''' apaez como un subcuerpu de '''C'''. Entá más, '''C''' forma un [[espaciu vectorial]] de dimensión 2 sobre los reales. Los complexos nun pueden ser ordenaos como, por casu, los [[númberos reales]], polo que '''C''' nun puede convertise de nenguna manera nun cuerpu [[Teoría del orde|ordenáu]].

=== Unidá imaxinaria ===
Defínese un númberu complexu especial, sobremanera na álxebra, de suma relevancia, el númberu ''i'' ( ''j'' en física), llamáu '''unidá imaxinaria''', definíu como : 
<math>\mathrm{i} = (0, 1) \,\!</math>

Que satisfai la siguiente igualdá:

: <math>\mathrm{i}^2 = \mathrm{i} \cdot \mathrm{i} = (0, 1) \cdot (0, 1) = (-1, 0) = -1 </math>

D'onde resulta:

: <math>\sqrt{-1} = \mathrm{i}</math>

Tomando en cuenta que <math>(a, 0) \cdot (0, 1) = (0, a)</math>, cabo la identificación 

:<math>(a, 0) \cdot (0, 1) = a\mathrm{i} = (0, a)</math>

== Valor absolutu o módulu, argumentu y conxugáu ==
=== Valor absolutu o módulu d'un númberu complexu ===
[[Ficheru:Euler's formula.svg|thumb|300px|La [[fórmula d'Euler]] ilustrada nel [[planu complexu]].]]
El [[valor absolutu]], ''módulu'' o ''magnitú'' d'un númberu complexu ''z'' vien dau pola siguiente espresión:
{{ecuación|
<math> |z| = \sqrt{z z^*} = \sqrt{\hbox{Re}^2(z) + \hbox{Im}^2(z)}
</math>
||left}}
Si pensamos nes coordenaes cartesianes del númberu complexu ''z'' como dalgún puntu nel planu; podemos ver, pol [[teorema de Pitágoras]], que'l valor absolutu d'un númberu complexu coincide cola [[distancia euclidea]] dende l'orixe del planu a dichu puntu.

Si'l complexu ta escritu en forma esponencial ''z'' = ''r y''<sup>iφ</sup>, entós |''z''| = ''r''. Puede espresase en forma trigonométrica como ''z'' = ''r (cosφ + isenφ)'', onde cosφ + isenφ = ''y''<sup>iφ</sup> ye la conocida [[fórmula d'Euler]]. 

Podemos comprobar con facilidá estos cuatro importantes propiedaes del valor absolutu

: <math> \left| z \right| = 0 \Longleftrightarrow z = 0 </math>

: <math> \left| z + w \right| \leq |z| + |w| </math>

: <math> \left| zw \right| = |z||w| </math>

: <math> \left| z - w \right| \ge |z| - |w| </math>

pa cualquier complexu ''z'' y ''w''.

Por definición, la función distancia queda como sigue ''d''(''z'', ''w'') = |''z'' - ''w''| y nos apurre un [[espaciu métricu]] colos complexos gracies al que puede falase de [[llende matemática|llendes]] y [[Continuidá (matemática)|continuidá]]. La suma, la resta, la multiplicación y la división de complexos son operaciones continues. Si nun se diz lo contrario, asúmese qu'ésta ye la métrica usada nos númberos complexos.

=== Argumentu o fase ===
{{AP|argumentu (analís complexu)}}
El ''[[argumentu (analís complexu)|argumentu]] principal'' o ''fase'' d'un númberu complexu xenéricu <math>z=x+yi\,</math> (siendo x=Re(z) y y=Im(z)) vien dau pola siguiente espresión:

:<math> \phi = \operatorname{Arg}(z) = \operatorname{arreyen2}(y,x)</math>

onde arreyen2(y,x) ye la [[función arcutanxente]] definida pa los cuatro cuadrantes:

:<math>\operatorname{arreyen2}(y, x) = \begin{cases}
\arctan\left(\frac y x\right) & \qquad x > 0 \\
\arctan\left(\frac y x\right) + \pi& \qquad y \ge 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{indefiníu} & \qquad y = 0, x = 0
\end{cases}</math>

O tamién: <math>\operatorname{arreyen2}(y, x) =\frac \pi2 \sgn(y)-\arctan\left(\frac x y\right)\quad\forall x,y \in \mathbb R</math> Siendo:
:<math>\sgn(y)=\begin{cases}
1 \qquad y \ge 0 \\
-1 \qquad y < 0\\
\end{cases}</math><ref>Coincide totalmente colo espuesto en «Funciones de variable compleja Cálculo operacional Teoría de la estabilidad » de Krasnov/ Kiselev y Makárenko. Editorial Mir, Moscú. páx. 9 (1983)</ref>

la [[función signu]].

L'argumentu tien periodicidá 2π, colo que <math> \arg z = \operatorname{Arg} z + 2k\pi</math> siendo <math>k</math> cualquier númberu enteru. L'ángulu Arg ''z'' ye'l valor principal de arg ''z'' que verifica les condiciones -π < Arg ''z'' <= π descrites antes.<ref>César Trejo. Op. cit.</ref>

====Alternativamente====
Sía'l númberu complexu ''z'' = ''(x,y)'' representáu pol vector OM d'orixe (0,0) y el so estremu ye'l puntu M(x,y). L'ángulu <math> \phi</math> formáu pol vector OM cola exa OX llámase '''Argumentu''' del númberu complexu ''z'', denotado <math> \phi = Arg z</math> non determináu unívocamente sinón que satisfai la igualdá:

: <math> Arg z = arg z + 2k\pi</math> siendo <math> k </math> cualquier númberu enteru. L'ángulu ''arg z'' ye'l valor principal de ''Arg z'' que verifica les condiciones

: -π < arg z <= π.<ref>César Trejo. Op. cit.</ref>

=== Conxugáu d'un númberu complexu ===

Dos binomios llámense conxugaos si solo difieren nel so signu central, por casu, los dos binomios: 3m - 1 y 3m + 1 son conxugaos.

El ''conxugáu'' d'un complexu ''z'' (denotado como <math>\bar{z}</math> ó <math>z^* \,\!</math>) ye un nuevu númberu complexu, definíu asina:

: <math>\bar{z} = a - \mathrm{i}b \Longleftrightarrow z = a + \mathrm{i}b </math>

Reparar que dambos difieren nel signu de la parte imaxinaria.

Con esti númberu cumplen les propiedaes:

: <math>\overline{z + w} = \bar{z} + \bar{w}</math>

: <math>z+\overline{z} = 2\cdot \hbox{Re}(z)</math>

: <math>z-\overline{z} = 2i\cdot \hbox{Im}(z)</math>

: <math>\overline{zw} = \bar{z} \bar{w}</math>

: <math>z \in \mathbb{R} \Longleftrightarrow \bar{z} = z</math>

: <math>|z|^2 = z\bar{z}</math>

: <math>z \neq 0 \Rightarrow \frac{1}{z} = \frac{\bar{z}}{|z|^2}</math>

Esta última fórmula ye'l métodu escoyíu pa calcular l'inversu d'un númberu complexu si vien dau en coordenaes rectangulares.

: Un númberu complexu ye igual al so conxugáu si solu si ye un númberu real.

== Representaciones ==
=== Representación binómica ===
[[Imaxe:Complex number illustration.png|thumb|right|Un númberu complexu representáu como un puntu (en colloráu) y un vector de posición (azul) nun [[diagrama de Argand]]; <math>a+bi</math> ye la espresión ''binomial'' del puntu.]]

Un númberu complexu representar en forma binomial como: 

:<math>z = a + bi \,</math> 

La parte real del númberu complexu y la parte imaxinaria, pueden espresase de delles maneres, como s'amuesa de siguío:

:<math>a = \hbox{Re}(z)=\Re(z)</math>
:<math>b = \hbox{Im}(z)=\Im(z)</math>

=== Representación polar ===
[[Image:Complex_number_illustration_modarg.svg|right|thumb|L'argumentu ''φ'' y módulu ''r'' alcuentren un puntu nuna diagrama de Argand; <math>r(\cos \phi + i \sin \phi)</math> o <math>r y^{i\phi}</math> ye la espresión ''[[coordenaes polares|polar]]'' del puntu.]]

Nesta representación, <math>\textstyle{r}</math> ye'l '''módulu''' del númberu complexu y l'ángulu <math>\textstyle{\phi}</math> ye'l '''argumentu''' del númberu complexu.

: <math>
 \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)
</math>
 
: <math>
 \cos \phi = \frac{a}{r} \ , \ \sin \phi = \frac{b}{r}
</math>

Estenamos ''a'' y ''b'' nes espresiones anteriores y, utilizando la representación binomial:
: <math>
 z = 
 a + \mathrm{i}b ;\; z = 
 r\cos{\phi} + \mathrm{i}r\sin{\phi}
</math>
 
Sacamos factor común ''r'':
: <math>
 z = r \left( \cos{\phi} + \mathrm{i}\sin{\phi} \right) 
</math>

Frecuentemente, esta espresión embrívese convenientemente de la siguiente manera:
: <math>
 \ z = r \; \operatorname{cis} \; {\phi} 
</math>

la cual solo contién les abreviatures de les razones trigonométriques cosenu, la unidá imaxinaria y la razón senu del argumentu respeutivamente.

Según esta espresión, puede reparase que pa definir un númberu complexu tantu d'esta forma como cola representación binomial ríquense dos parámetros, que pueden ser parte real ya imaxinaria o bien módulu y argumentu, respeutivamente.

Según la [[Fórmula d'Euler]], vemos que:
: <math>
 \cos{\phi} + \mathrm{i}\sin{\phi} = 
 y^{\mathrm{i}\phi} ;\; z = r y^{i\phi}
</math>

Sicasí, l'ángulu <math>\phi</math> nun ta unívocamente determináu por ''z'', pueden esistir infinitos númberos complexos que tienen el mesmu valor representáu nel planu, que s'estremen pol númberu de revoluciones, yá seyan de sentíu antihorario (positives) o horariu (negatives) les cualos represéntense por númberos enteros <math>k\in\mathbb{Z}</math>, como implica la fórmula d'Euler:
: <math>
 \forall{k}{\in}\mathbb{Z}\; z=
 y^{\mathrm{i}(\phi + 2\pi{}k)}
</math>

Por esto, xeneralmente acutamos <math>\phi</math> al [[intervalu (matemática)|intervalu]] [-π, π) y a ésti <math>\phi</math> acutáu llamar ''argumentu principal'' de ''z'' y escribimos φ=Arg(''z''). Con esti conveniu, les coordenaes taríen unívocamente determinaes por ''z''.

=== Operaciones en forma polar ===

La multiplicación de númberos complexos ye especialmente senciella cola notación polar:
: <math>
 z_1 z_2 = 
 rse^{\mathrm{i}(\phi + \psi)} \Leftrightarrow z_1 z_2 = 
 r y^{\mathrm{i}\phi} s y^{\mathrm{i}\psi} 
</math>

División:
: <math>
 \frac{z_1}{z_2} = 
 \frac{r}{s} y^{\mathrm{i}(\phi - \psi)}
</math>

Potenciación:
: <math>
 z^n = 
 r^n y^{\mathrm{i} \phi n} \Leftrightarrow z^n = 
 \left( r y^{i\phi} \right)^{n}
</math>

: <math>
 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
</math>

== Planu de los númberos complexos o Diagrama de Argand ==
{{AP|Planu complexu}}
El conceutu de planu complexu dexa interpretar [[xeometría|geométricamente]] los númberos complexos. La suma de númberos complexos puede rellacionase cola [[suma]] con [[vector (espaciu euclídeo)|vectores]], y la [[multiplicación]] de númberos complexos puede espresase a cencielles usando [[coordenaes polares]], onde la magnitú del productu ye'l productu de les magnitúes de los términos, y l'ángulu contáu dende la exa real del productu ye la suma de los ángulos de los términos.

Les diagrames de Argand úsense frecuentemente p'amosar les posiciones de los [[Polu (analís complexu)|polos]] y los [[raigañu (matemátiques)|ceros]] d'una [[Función matemática|función]] nel planu complexu.

L'analís complexu, la teoría de les funciones complexes, ye una de les árees más riques de la matemática, qu'atopa aplicación en munches otres árees de la matemática según en [[física]], [[electrónica]] y munchos otros campos.

== Xeometría y operaciones con complexos ==

Geométricamente, les operaciones alxebraiques con complexos podemos entender como sigue. Pa sumar dos complexos ''z''<sub>1</sub> =''a''<sub>1</sub> + ''ib''<sub>1</sub> y ''z''<sub>2</sub> = ''a''<sub>2</sub> + ''ib''<sub>2</sub>, podemos pensar nello como la suma de dos vectores del planu ''x''-''y'' apuntando dende l'orixe al puntu (''a''<sub>1</sub>, ''b''<sub>1</sub>) y (''a''<sub>2</sub>,''b''<sub>2</sub>), respeutivamente. Si treslladamos (movemos) el segundu vector, ensin camudar la so direición, colo que'l so puntu d'aplicación coincide col puntu final del primer vector; el segundu vector asina allugáu va apuntar al complexu ''z''<sub>1</sub> + ''z''<sub>2</sub>.

Siguiendo con esta idea, pa multiplicar dos complexos ''z''<sub>1</sub> y ''z''<sub>2</sub>, primero midimos l'ángulu que formen en sentíu contrariu a les manes del reló cola exa positiva de les ''x'' y sumamos dambos ángulos: l'ángulu resultante correspuende col del vector que representa al complexu productu ''z''<sub>1</sub> · ''z''<sub>2</sub>. El llargor d'esti vector productu vien dada pola multiplicación de los llargores de los vectores orixinales. La multiplicación por un númberu complexu fixu pue ser vista como'l tresformamientu del vector que rota y camuda el so tamañu simultáneamente.

Multiplicar cualquier complexu por ''i'' correspuende con una rotación de 90º en direición contraria a les manes del reló. Coles mesmes el que (-1) · (-1) = +1 pue ser entendíu geométricamente como la combinación de dos rotaciones de 180° (i al cuadráu = -1), dando como resultáu un cambéu de signu al completar una vuelta.

==Isomorfismu con matrices d'orde 2==
Nel aniellu de les matrices de segundu orde sobre'l campu de númberos reales, puede topase un subconxuntu que ye isomorfu al campu de los númberos complexos. Pos, establezse una correspondencia ente cada númberu complexu a+bi cola matriz
 
* <center><math>
 \begin{pmatrix}
 a & b \\
 -b & a \\ 
 
 \end{pmatrix}
</math></center>

De tal manera llógrase una correspondencia biunívoca. 

*Amás de les aplicaciones <center><math>
 \begin{pmatrix}
 a & b \\
 -b & a \\ 
 
 \end{pmatrix}
</math> + <math>
 \begin{pmatrix}
 c & d \\
 -d & c \\
 
 \end{pmatrix}
</math> = <math>
 \begin{pmatrix}
 a+c & b+d \\
 -(b+d) & a+c \\
 
 \end{pmatrix}
</math></center>


*<center><math>
 \begin{pmatrix}
 a & b \\
 -b & a \\ 
 
 \end{pmatrix}
</math> . <math>
 \begin{pmatrix}
 c & d \\
 -d & d \\
 
 \end{pmatrix}
</math> = <math>
 \begin{pmatrix}
 ac-bd & ad+bc \\
 -(ad+bc) & ac-bd \\
 
 \end{pmatrix}
</math></center> esprender que l'aplicación ye un isomorfismu. 


* En particular la matriz <center> <math>
 \begin{pmatrix}
 0 & 1 \\
 -1 & 0 \\
 
 \end{pmatrix}
</math></center> cumple'l rol d'unidá imaxinaria.<ref>Moisés Lázaro. ''Númberos complexos''. Ediciones Moshera, Lima (2011)</ref>

==Espaciu vectorial==
El conxuntu ℂ cola adición de númberos complexos y considerando como esguilares , númberos reales, puede definise un espaciu vectorial ℂ con esguilares reales. Esto ye:
# z,w númberos complexos, entós z+w ye un númberu complexu. Esta operación interna define una estructura de grupu aditivu.
# Si r ye númberu real y z ye un númberu complexu, entós rz, llamáu múltiplu esguilar de z, ye tamién númberu complexu. Los dos operaciones satisfaen l'axomática d'un espaciu vectorial o llinial.<ref>Zamansky. ''Introducción a l'álxebra y analís modernu''</ref>

== Esbozu históricu ==

La primer referencia conocida a raigaños cuadraos de númberos negativos provién del trabayu de los matemáticos griegos, como [[Herón d'Alexandría]] nel [[sieglu I]] enantes de Cristu, como resultáu d'una imposible seición d'una [[Pirámide (xeometría)|pirámide]]. Los complexos fixéronse más patentes nel [[Sieglu XVI]], cuando la busca de fórmules que dieren los raigaños exactos de los polinomios de graos 2 y 3 fueron atopaes por matemáticos italianos como [[Tartaglia]], [[Gerolamo Cardano|Cardano]]. Anque namái taben interesaos nos raigaños reales d'esti tipu d'ecuaciones, atopar cola necesidá de trepar con raigaños de númberos negativos. El términu ''imaxinariu'' pa estes cantidaes foi acuñáu por [[René Descartes|Descartes]] nel [[Sieglu XVII]] y ta en desusu. La esistencia de númberos complexos nun foi dafechu aceptada hasta la más embaxo mentada interpretación xeométrica que describióse por Wessel en [[1799]], redescubierta dellos años dempués y popularizada por [[Carl Friedrich Gauss|Gauss]]. La implementación más formal, con pares de númberos reales foi dada nel [[Sieglu XIX]].

== Aplicaciones ==

=== En matemátiques ===
==== Soluciones d'ecuaciones polinómiques ====

Un ''[[raigañu d'una función|raigañu]]'' o ''cero''<ref>Analís matemáticu . Volume I de Haaser, LaSalle y Sullivan (1977) Tríes, p.483</ref> del [[polinomiu]] ''p'' ye un complexu ''z'' tal que ''p''(''z'')=0;

Una resultancia importante d'esta definición ye que toles ecuaciones polinómiques (alxebraiques) de grau ''n'' tienen esautamente ''n'' soluciones nel ''cuerpu de los númberos complexos'', esto ye, tien esautamente ''n'' complexos ''z'' que cumplen la igualdá ''p''(''z'')=0, cuntaos coles sos respeutives multiplicidaes. Tamién se cumple que si ''z'' ye un raigañu entós el so conxugáu tamién ye una ''raigañu'' del [[polinomiu]] ''p''. A esto conocer como [[Teorema Fundamental de l'Álxebra]], y demuestra que los complexos son un [[cuerpu algebraicamente zarráu]]; por esto los matemáticos consideren a los númberos complexos unos númberos más ''naturales''{{ensin referencies}} que los '''númberos reales''' a la de resolver ecuaciones.

==== Variable complexa o analís complexu ====
{{AP|analís complexu}}
Al estudiu de les [[función (matemática)|funciones]] de variable complexa conocer como'l [[Analís complexu]]. Tien una gran cantidá d'usos como ferramienta de [[Matemática aplicada|matemátiques aplicaes]] según n'otres cañes de les matemátiques. L'analís complexu aprove delles importantes ferramientes pa la demostración de teoremas inclusive en [[teoría de númberos]]; ente que les funciones reales de variable real, precisen d'un planu cartesianu pa ser representaes; les funciones de variable complexa precisen un espaciu de cuatro dimensiones, lo que les fai especialmente difíciles de representar. Suélense utilizar ilustraciones coloriaes nun espaciu de tres dimensiones pa suxerir la cuarta coordenada o animaciones en [[Gráficos 3D por ordenador|3D]] pa representar los cuatro.

==== Ecuaciones diferenciales ====

En [[ecuaciones diferenciales]], cuando s'estudien les soluciones de les [[ecuación diferencial llinial|ecuaciones diferenciales lliniales con coeficientes constantes]], ye habitual atopar primero los raigaños (polo xeneral complexes) <math>\lambda\,</math> del [[polinomiu característicu]], lo que dexa espresar la solución xeneral del sistema en términos de funciones de base de la forma: <math>f(x) = y^{\lambda x} \,</math>.

==== Fractales ====
{{AP|Fractal}}
Munchos oxetos [[fractales]], como'l conxuntu de Mandelbrot, pueden llograse a partir de propiedaes de converxencia d'una socesión de númberos complexos. L'analís del dominiu de converxencia revela que dichos conxuntos pueden tener una enorme complexidá [[autosimilaridad|autosimilar]].

=== En física ===
Los númberos complexos usar n'[[inxeniería electrónica]] y n'otros campos pa una descripción fayadiza de les señales periódiques variables ''(ver [[Analís de Fourier]])''. Nuna espresión del tipu <math>z=r y^{i \phi} \,</math> podemos pensar en <math>r\,</math> como l'[[amplitú]] y en <math> \phi \,</math> como la [[Fase (onda)|fase]] d'una [[onda sinusoidal]] d'una [[frecuencia]] dada. Cuando representamos una corriente o un voltaxe de corriente alterna (y por tanto con comportamientu sinusoidal) como la parte real d'una función de variable complexa de la forma <math>f(t)=z y^{i \omega t} \,</math> onde ω representa la [[frecuencia angular]] y el númberu complexu ''z'' danos la fase y l'amplitú, el tratamientu de toles fórmules que rixen les [[resistencia llétrica|resistencies]], [[condensador (llétricu)|capacidaes]] y [[inductor]]es pueden ser unificaes introduciendo resistencies imaxinaries pa los dos últimes (ver [[redes llétriques]]). Inxenieros llétricos y físicos usen la lletra ''j'' pa la unidá imaxinaria en cuenta de ''i'' que ta típicamente destinada a la intensidá de corriente.

El campu complexo ye igualmente importante en [[mecánica cuántica]] que la so matemática subxacente utiliza [[Espaciu de Hilbert|Espacios de Hilbert]] de dimensión infinita sobre '''C''' (ℂ).

Na [[relatividá especial]] y la [[relatividá xeneral]], delles fórmules pa la métrica del [[espaciu-tiempu]] son muncho más simples si tomamos el tiempu como una variable imaxinaria.

== Xeneralizaciones ==
* Los númberos complexos pueden xeneralizase dando llugar a los [[Númberu hipercomplejo|númberos hipercomplejos]]. El cuerpu de los númberos complexos ye un subcuerpo conmutativu del [[cuaternión|álxebra cuaterniónica]] <math>\scriptstyle \mathbb{H}</math>, que de la mesma ye una subálgebra d'otres álxebres más estenses ([[octonión|octoniones]], [[sedeniones]]):
{{ecuación|
<math>\mathbb{C} \subset \mathbb{H} \subset \mathbb{O} \subset \mathbb{S} </math>
||left}}
* Otra posible xeneralización ye considerar la complejificación de los [[númberos hiperreales]]:
{{ecuación|
<math>\mathbb{C} \subset {}^*\R(i) </math>
||left}}

== Ver tamién ==
* [[Planu de Argand]]
* [[Conxuntu de Mandelbrot]]
* [[Conxuntu de Julia]]

== Referencies ==
{{llistaref}}

=== Bibliografía ===
*{{Citation|last=Conway |first=John B.|títulu=Functions of One Complex Variable I |añu=1986 |publisher=Springer |isbn=0-387-90328-3}}

=== Enllaces esternos ===
{{commonscat|Complex numbers}}
*{{MathWorld|ComplexNumber|Complex Number}}

{{ORDENAR:Numberu complexu}}

{{Tradubot|Número complejo}}

{{control d'autoridaes}}
[[Categoría:Analís complexu]]
[[Categoría:Matemática elemental]]
[[Categoría:Númberos complexos| ]]