Número complejo






Ilustración del plano complejo. Los números reales se encuentran en el eje de coordenadas horizontal y los imaginarios en el eje vertical.


Los números complejos son una extensión de los números reales y forman el mínimo cuerpo algebraicamente cerrado.[1]​ El conjunto de los números complejos se designa con la notación C{displaystyle scriptstyle mathbb {C} }scriptstyle {mathbb  {C}}, siendo R{displaystyle scriptstyle mathbb {R} }scriptstyle {mathbb  {R}} el conjunto de los números reales se cumple que R⊂C{displaystyle scriptstyle mathbb {R} subset mathbb {C} }scriptstyle {mathbb  {R}}subset {mathbb  {C}} (R{displaystyle scriptstyle mathbb {R} }scriptstyle {mathbb  {R}} está estrictamente contenido en C{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ó Karl Gauss en Theoria residorum biquadratorum en 1828; la usaba para eludir la expresión número imaginario. Cardano los llamaba números negativos puros[2]​.


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 a=Re(z){displaystyle a={text{Re}}(z)}{displaystyle a={text{Re}}(z)}; el segundo elemento b se define como parte imaginaria de z, se denota b=Im(z){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

(a,b)=(c,d)⟺a=c∧b=d{displaystyle (a,b)=(c,d)iff a=cland b=d}(a,b)=(c,d)iff a=cland b=d

Al número (a,0){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 (0,b){displaystyle (0,b)} (0,b) se denomina número imaginario puro. Puesto que
(a,0)+(0,b)=(a,b){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

(a,b)+(c,d)=(a+c,b+d){displaystyle (a,b)+(c,d)=(a+c,,b+d)}(a,b)+(c,d)=(a+c,,b+d)

  • Producto por escalar

r(a,b)=(ra,rb){displaystyle r(a,b)=(ra,,rb)}r(a,b)=(ra,,rb)

  • Multiplicación

(a,b)⋅(c,d)=(ac−bd,ad+bc){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

(a,b)−(c,d)=(a−c,b−d){displaystyle (a,b)-(c,d)=(a-c,,b-d)}(a,b)-(c,d)=(a-c,,b-d)

  • División

(a,b)(c,d)=(ac+bd,bc−ad)c2+d2=(ac+bdc2+d2,bc−adc2+d2){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


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

Que satisface la siguiente igualdad:


i2=i⋅i=(0,1)⋅(0,1)=(−1,0)=−1{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 (a,0)⋅(0,1)=(0,a){displaystyle (a,0)cdot (0,1)=(0,a)}(a,0)cdot (0,1)=(0,a), cabe la identificación


(a,0)⋅(0,1)=ai=(0,a){displaystyle (a,0)cdot (0,1)=amathrm {i} =(0,a)}(a, 0) cdot (0, 1)  = amathrm{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:



|z|=zz∗=Re2(z)+Im2(z){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 e, entonces |z| = r. Se puede expresar en forma trigonométrica como z = r (cosφ + isenφ), donde cosφ + isenφ = e es la conocida fórmula de Euler.


Podemos comprobar con facilidad estas cuatro importantes propiedades del valor absoluto


|z|=0⟺z=0{displaystyle left|zright|=0Longleftrightarrow z=0}left|zright|=0Longleftrightarrow z=0

|z+w|≤|z|+|w|{displaystyle left|z+wright|leq |z|+|w|}left|z+wright|leq |z|+|w|

|zw|=|z||w|{displaystyle left|zwright|=|z||w|}left|zwright|=|z||w|

|z−w|≥||z|−|w||{displaystyle left|z-wright|geq ||z|-|w||}{displaystyle left|z-wright|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



El argumento principal o fase de un número complejo genérico z=x+yi{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:



ϕ=Arg⁡(z)=atan2⁡(y,x){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:


atan2⁡(y,x)={arctan⁡(yx)x>0arctan⁡(yx)+πy≥0,x<0arctan⁡(yx)−πy<0,x<0+π2y>0,x=0−π2y<0,x=0indefinidoy=0,x=0{displaystyle operatorname {atan2} (y,x)={begin{cases}arctan left({frac {y}{x}}right)&qquad x>0\arctan left({frac {y}{x}}right)+pi &qquad ygeq 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=0end{cases}}}operatorname {atan2}(y,x)={begin{cases}arctan left({frac  yx}right)&qquad x>0\arctan left({frac  yx}right)+pi &qquad ygeq 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=0end{cases}}

O también: atan2⁡(y,x)=π2sgn⁡(y)−arctan⁡(xy)∀x,y∈R{displaystyle operatorname {atan2} (y,x)={frac {pi }{2}}operatorname {sgn} (y)-arctan left({frac {x}{y}}right)quad forall x,yin mathbb {R} }operatorname {atan2}(y,x)={frac  pi 2}operatorname{sgn}(y)-arctan left({frac  xy}right)quad forall x,yin {mathbb  R} Siendo:



sgn⁡(y)={1y≥0−1y<0{displaystyle operatorname {sgn} (y)={begin{cases}1qquad ygeq 0\-1qquad y<0\end{cases}}}operatorname{sgn}(y)={begin{cases}1qquad ygeq 0\-1qquad y<0\end{cases}}[6]

la función signo.


El argumento tiene periodicidad 2π, con lo que arg⁡z=Arg⁡z+2kπ{displaystyle arg z=operatorname {Arg} z+2kpi }{displaystyle arg z=operatorname {Arg} z+2kpi } siendo k{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 z∗{displaystyle z^{*},!}z^{*},!) es un nuevo número complejo, definido así:


=a−ib⟺z=a+ib{displaystyle {bar {z}}=a-mathrm {i} bLongleftrightarrow z=a+mathrm {i} b}{bar  {z}}=a-{mathrm  {i}}bLongleftrightarrow 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:


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

z+z¯=2⋅Re(z){displaystyle z+{overline {z}}=2cdot {hbox{Re}}(z)}z+overline {z}=2cdot {hbox{Re}}(z)

z−=2i⋅Im(z){displaystyle z-{overline {z}}=2icdot {hbox{Im}}(z)}z-overline {z}=2icdot {hbox{Im}}(z)

zw¯=z¯{displaystyle {overline {zw}}={bar {z}}{bar {w}}}overline {zw}={bar  {z}}{bar  {w}}

z∈R⟺=z{displaystyle zin mathbb {R} Longleftrightarrow {bar {z}}=z}zin {mathbb  {R}}Longleftrightarrow {bar  {z}}=z

|z|2=zz¯0{displaystyle |z|^{2}=z{bar {z}}geq 0}{displaystyle |z|^{2}=z{bar {z}}geq 0}

z≠0⇒1z=z¯|z|2{displaystyle zneq 0Rightarrow {frac {1}{z}}={frac {bar {z}}{|z|^{2}}}}zneq 0Rightarrow {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; a+bi{displaystyle a+bi}a+bi es la expresión binomial del punto.


Un número complejo se representa en forma binomial como:


z=a+bi{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:



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

b=Im(z)=ℑ(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; r(cos⁡ϕ+isin⁡ϕ){displaystyle r(cos phi +isin phi )}r(cos phi +isin phi ) o reiϕ{displaystyle re^{iphi }}re^{{iphi }} es la expresión polar del punto.


En esta representación, r{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.


ϕ=arctan⁡(ba)=arctan⁡(Im(z)Re(z))=−arctan⁡(−Im(z)Re(z)){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)

cos⁡ϕ=ar , sin⁡ϕ=br{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:


z=a+ib;z=rcos⁡ϕ+irsin⁡ϕ{displaystyle z=a+mathrm {i} b;;z=rcos {phi }+mathrm {i} rsin {phi }}z=a+{mathrm  {i}}b;;z=rcos {phi }+{mathrm  {i}}rsin {phi }

Sacando factor común r:


z=r(cos⁡ϕ+isin⁡ϕ){displaystyle z=rleft(cos {phi }+mathrm {i} sin {phi }right)}z=rleft(cos {phi }+{mathrm  {i}}sin {phi }right)

Frecuentemente, esta expresión se abrevia convenientemente de la siguiente manera:


 z=rcisϕ{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:


cos⁡ϕ+isin⁡ϕ=eiϕ;z=reiϕ{displaystyle cos {phi }+mathrm {i} sin {phi }=e^{mathrm {i} phi };;z=re^{iphi }}cos {phi }+{mathrm  {i}}sin {phi }=e^{{{mathrm  {i}}phi }};;z=re^{{iphi }}

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 k∈Z{displaystyle kin mathbb {Z} }kin {mathbb  {Z}}, como implica la fórmula de Euler:


k∈Zz=rei(ϕ+2πk){displaystyle forall {k}{in }mathbb {Z} quad z=re^{mathrm {i} (phi +2pi {}k)}}{displaystyle forall {k}{in }mathbb {Z} quad z=re^{mathrm {i} (phi +2pi {}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:


z1z2=rsei(ϕ)⇔z1z2=reiϕseiψ{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:


z1z2=rsei(ϕψ){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:


zn=rneiϕn⇔zn=(reiϕ)n{displaystyle z^{n}=r^{n}e^{mathrm {i} phi n}Leftrightarrow z^{n}=left(re^{iphi }right)^{n}}z^{n}=r^{n}e^{{{mathrm  {i}}phi n}}Leftrightarrow z^{n}=left(re^{{iphi }}right)^{{n}}

zn=(a+bi)n=(n0)an+(n1)an−1bi+(n2)an−2(bi)2+…+(nn−1)a(bi)n−1+(nn)(bi)n{displaystyle z^{n}=(a+bmathrm {i} )^{n}={n choose 0}a^{n}+{n choose 1}a^{n-1}bmathrm {i} +{n choose 2}a^{n-2}left(bmathrm {i} right)^{2}+ldots +{n choose {n-1}}aleft(bmathrm {i} right)^{n-1}+{n choose n}left(bmathrm {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}}aleft(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 z={w1,w2}{displaystyle {sqrt {z}}={w_{1},w_{2}}}{displaystyle {sqrt {z}}={w_{1},w_{2}}} y se cumple que z=wi2,i=1,2{displaystyle z=w_{i}^{2},,i=1,2}{displaystyle z=w_{i}^{2},,i=1,2}


Ejemplo i={cosπ4+senπ4,cos3π4+sen3π4}{displaystyle {sqrt {i}}={cos{frac {pi }{4}}+sen{frac {pi }{4}},,cos{frac {3pi }{4}}+sen{frac {3pi }{4}}}}{displaystyle {sqrt {i}}={cos{frac {pi }{4}}+sen{frac {pi }{4}},,cos{frac {3pi }{4}}+sen{frac {3pi }{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


(a−bba).{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 (0−110){displaystyle {bigl (}{begin{smallmatrix}0&-1\1&0end{smallmatrix}}{bigr )}}{displaystyle {bigl (}{begin{smallmatrix}0&-1\1&0end{smallmatrix}}{bigr )}} cumple el rol de unidad imaginaria.[8]



Plano de los números complejos o Diagrama de Argand



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: z⋅1=1⋅z=z{displaystyle zcdot 1=1cdot z=z}{displaystyle zcdot 1=1cdot 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:



  1. 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.

  2. 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 cero[11]​ 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



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: f(x)=eλx{displaystyle f(x)=e^{lambda x},}f(x)=e^{{lambda x}},.



Fractales



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 z=reiϕ{displaystyle z=re^{iphi },}z=re^{{iphi }}, podemos pensar en r{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 f(t)=zeiωt{displaystyle f(t)=ze^{iomega t},}f(t)=ze^{{iomega 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 H{displaystyle scriptstyle mathbb {H} }scriptstyle {mathbb  {H}}, que a su vez es una subálgebra de otras álgebras más extensas (octoniones, sedeniones):


C⊂H⊂O⊂S{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:


C⊂R(i){displaystyle mathbb {C} subset {}^{*}mathbb {R} (i)}{mathbb  {C}}subset {}^{*}mathbb{R} (i)




Véase también



  • Plano de Argand

  • Conjunto de Mandelbrot

  • Conjunto de Julia











Clasificación de números

Complejos :C{displaystyle :;mathbb {C} }{displaystyle :;mathbb {C} }









Reales :R{displaystyle :;mathbb {R} }{displaystyle :;mathbb {R} }









Racionales :Q{displaystyle :;mathbb {Q} }{displaystyle :;mathbb {Q} }









Enteros :Z{displaystyle :;mathbb {Z} }{displaystyle :;mathbb {Z} }










Naturales :N{displaystyle :;mathbb {N} }{displaystyle :;mathbb {N} }






uno: 1

Naturales primos

Naturales compuestos



Cero: 0

Enteros negativos







Fraccionarios







Exactos

Periódicos




Puros
Mixtos










Irracionales





Irracionales algebraicos

Trascendentes





Imaginarios





Referencias




  1. J. V. Uspenski (profesor de la Universidad de Stanford): Teoría de ecuaciones, Limusa grupo Noriega editores. México DF. (1992) ISBN 968-18-2335-4.


  2. N. V. Alexándrova: Diccionario histórico de notaciones, términos y conceptos de las matemáticas. Editorial URSS Moscú (2015)


  3. William R. Derrick: Variable compleja con aplicaciones. Grupo Editorial Iberoamérica, impreso en México ISBN 968-7270-35-7


  4. Álgebra moderna. Ediciones Schaumm


  5. Álgebra de Aurelio Baldor


  6. Coincide totalmente con lo expuesto en ««Funciones de variable compleja Cálculo operacional Teoría de la estabilidad » de Krasnov/ Kiselev y Makárenko. Editorial Mir, Moscú. pág. 9 (1983)


  7. César Trejo. Op. cit.


  8. Moisés Lázaro. Números complejos. Ediciones Moshera, Lima (2011)


  9. Derryck. Op. cit.


  10. Zamansky. Introducción al álgebra y análisis moderno


  11. Análisis matemático . Volumen I de Haaser, LaSalle y Sullivan (1977) Trillas, p.483



Bibliografía




  • Conway, John B. (1986), Functions of One Complex Variable I, Springer, ISBN 0-387-90328-3 

  • I. M. Yaglom: Números complejos y sus aplicaciones a la geometría'. Editorial URSS Moscú (2009) ISBN 978-5-396-00077-3



Enlaces externos




  • Wikimedia Commons alberga una categoría multimedia sobre Número complejo.


  • Weisstein, Eric W. «Complex Number». En Weisstein, Eric W. MathWorld (en inglés). Wolfram Research. 


  • Los números complejos. Libro interactivo gratuito de RED Descartes




Popular posts from this blog

Plaza Victoria

Puebla de Zaragoza

Musa