Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Im
z=x+iy
y
r
Re
r
y
1 Esbozo histrico
z=xiy
Originalmente, los nmeros complejos fueron propuestos
en 1545, por el matemtico italiano, Girolamo Cardano
(1501-1576), en un tratado epitmico que versaba sobre
la solucin de las ecuaciones cbicas y curticas, con el
ttulo de Ars magna. Se aprecia el peso cientco de esta propuesta, al tener en cuenta que el concepto de los
nmeros negativos recin haba conseguido aceptacin,
y an se levantaban controversias respecto de sus propiedades. Las cantidades cticias de Cardano cayeron en
un mar de indiferencia por la mayora de los miembros de
la comunidad matemtica, hasta que lleg el genial matemtico creador alemn, Carlos Federico Gauss (17771855), que les dio nombre y los utiliz en la primigenia
prueba del Teorema fundamental del lgebra, que arma
que todo polinomioque no sea constante, posee al menos
un cero. Luego Argand con la propuesta del plano complejo y la sencilla y esencial representacin de la unidad
imaginaria i, mediante el punto (0,1) del eje vertical, aplicando la propiedad de la altura de un tringulo rectngulo
equiltero cuya hipotenusa tiene sus extremos en (1,0) y
(1,0). Los nmeros complejos ligados a las funciones
analticas o de variable compleja, permiten extender el
concepto del clculo al plano complejo, de modo que la
derivacin y la integracin consiguen nueva profundidad
y elegancia y la naturaleza bidimensional del plano complejo es veta de varios resultados tiles en la matemtica
aplicada. [2]
Denicin
DEFINICIN
Entero negativo
z = q signica z q = p , en donde se
toman en cuenta todas las soluciones z posibles.
Se supone que p y q son primos entre s.
Suma
(a, b) + (c, d) = (a + c, b + d)
. Se deduce
. En consecuencia
Multiplicacin
|z| = || q y argz =
p
q
arg +
2k
q
Igualdad
Exponente complejo
(a, b) = (c, d) a = c b = d
Resta
El conjunto de los nmeros complejos (v, w , z) satisfacen las leyes de la axiomtica que dene un cuerpo:
(a, b) (c, d) = (a c, b d)
Divisin
(a, b)
(ac + bd, bc ad)
=
=
(c, d)
c2 + d2
ac + bd bc ad
,
c2 + d2 c2 + d2
2.1
z1=1z =z
Inversos: cada nmero complejo tiene su inverso
aditivo -z tal que z +(-z) = 0 y cada nmero complejo, distinto de cero, tiene su inverso multiplicativo
z1 , tal que z z1 = 1. [8]
Exponente natural y entero. Sea el nmero complejo, en notacin trigonomtrica, z = r(cos + Si identicamos el nmero real a con el complejo (a, 0),
isen) , segn l teorema de Moivre:
el cuerpo de los nmeros reales R aparece como un subcuerpo de C. Ms an, C forma un espacio vectorial de
dimensin 2 sobre los reales. Los complejos no pueden
ser ordenados como, por ejemplo, los nmeros reales, por
z n = rn [cosn + isenn] .
lo que C no puede ser convertido de ninguna manera en
[4]
un cuerpo ordenado.
3.2
2.3
Argumento o fase
Unidad imaginaria
i = (0, 1)
Que satisface la siguiente igualdad:
|z + w| |z| + |w|
1 = i
|zw| = |z||w|
3
3.1
|z| = 0 z = 0
|z w| |z| |w|
para cualquier complejo z y w.
Por denicin, la funcin distancia queda como sigue d(z,
w) = |z - w| y nos provee de un espacio mtrico con los
complejos gracias al que se puede hablar de lmites y
continuidad. La suma, la resta, la multiplicacin y la divisin de complejos son operaciones continuas. Si no se
dice lo contrario, se asume que sta es la mtrica usada
en los nmeros complejos.
El argumento principal o fase de un nmero complejo genrico z = x+yi (siendo x=Re(z) e y=Im(z)) viene dado
por la siguiente expresin:
= Arg(z) = atan2(y, x)
donde atan2(y,x) es la funcin arcotangente denida para
los cuatro cuadrantes:
( )
arctan xy
( )
arctan xy +
arctan y )
x
atan2(y, x) =
indenido
x>0
y 0, x < 0
y < 0, x < 0
y > 0, x = 0
y < 0, x = 0
y = 0, x = 0
O
La frmula de Euler ilustrada en el plano complejo.
El valor absoluto, mdulo o magnitud de un nmero complejo z viene dado por la siguiente expresin:
|z| =
tambin:
atan2(y, x)
=
( )
x
arctan y
x, y R Siendo:
{
1
sgn(y) =
1
la funcin signo.
y0
y<0
[9]
sgn(y)
4 REPRESENTACIONES
3.2.1
Alternativamente
En la forma exponencial,
Sea el nmero complejo z = (x,y) representado por el vector OM de origen (0,0) y su extremo es el punto M(x,y).
El ngulo formado por el vector OM con el eje OX sea z = rei entonces z = rei
se llama Argumento del nmero complejo z, denotado [12]
= Argz no determinado unvocamente sino que satisface la igualdad:
Argz = argz +2k siendo k cualquier nmero entero. El ngulo arg z es el valor principal
de Arg z que verica las condiciones
4 Representaciones
4.1 Representacin binmica
3.3
z = a ib z = a + ib
Se observa que ambos dieren en el signo de la parte ima- Un nmero complejo representado como un punto (en rojo) y un
vector de posicin (azul) en un diagrama de Argand; a + bi es
ginaria.
la expresin binomial del punto.
z + z = 2 Re(z)
z z = 2i Im(z)
zw = zw
z R z = z
|z|2 = z z 0
z = 0
1
z
= 2
z
|z|
z = a + bi
La parte real del nmero complejo y la parte imaginaria,
se pueden expresar de varias maneras, como se muestra
a continuacin:
a = Re(z) = (z)
b = Im(z) = (z)
Representacin polar
En esta representacin, r es el mdulo del nmero complejo y el ngulo es el argumento del nmero complejo.
En la forma polar
= arctan
(b)
a
)
(
)
(
Im(z) = arctan Im(z)
= arctan Re
(z)
Re(z)
4.3
5
se diferencian por el nmero de revoluciones, ya sean de
sentido antihorario (positivas) u horario (negativas) las
cuales se representan por nmeros enteros k Z , como
implica la frmula de Euler:
Im
y
kZ z = ei(+2k)
Por esto, generalmente restringimos al intervalo [-, )
y a ste restringido lo llamamos argumento principal de
z y escribimos =Arg(z). Con este convenio, las coordenadas estaran unvocamente determinadas por z.
Re
z1
r
= ei()
z2
s
Potenciacin:
(
)n
z n = rn ein z n = rei
z = r (cos + i sin )
Frecuentemente, esta expresin se abrevia convenientemente de la siguiente manera:
z = r cis
z n = (a+bi)n =
( )
( )
( )
(
)
n n
n n1
n n2
n
2
a +
a
bi+
a
(bi) +. . .+
0
1
2
n1
la cual solo contiene las abreviaturas de las razones trigo- El concepto de plano complejo permite interpretar
nomtricas coseno, la unidad imaginaria y la razn seno geomtricamente los nmeros complejos. La suma de ndel argumento respectivamente.
meros complejos se puede relacionar con la suma con
Segn esta expresin, puede observarse que para denir vectores, y la multiplicacin de nmeros complejos pueun nmero complejo tanto de esta forma como con la re- de expresarse simplemente usando coordenadas polares,
presentacin binomial se requieren dos parmetros, que donde la magnitud del producto es el producto de las magpueden ser parte real e imaginaria o bien mdulo y argu- nitudes de los trminos, y el ngulo contado desde el eje
real del producto es la suma de los ngulos de los trmimento, respectivamente.
nos.
Segn la Frmula de Euler, vemos que:
Los diagramas de Argand se usan frecuentemente para
mostrar las posiciones de los polos y los ceros de una
funcin en el plano complejo.
i
i
cos + i sin = e ; z = re
El anlisis complejo, la teora de las funciones complejas,
No obstante, el ngulo no est unvocamente determi- es una de las reas ms ricas de la matemtica, que ennado por z, pueden existir innitos nmeros complejos cuentra aplicacin en muchas otras reas de la matemtique tienen el mismo valor representado en el plano, que ca as como en fsica, electrnica y muchos otros campos.
10 APLICACIONES
En particular la matriz
(
0 1
1 0
Geomtricamente, las operaciones algebraicas con complejos las podemos entender como sigue. Para sumar dos
cumple el rol de unidad imaginaria. [13]
complejos z1 =a1 + ib1 y z2 = a2 + ib2 , podemos pensar en ello como la suma de dos vectores del plano x-y
apuntando desde el origen al punto (a1 , b1 ) y (a2 ,b2 ),
respectivamente. Si trasladamos (movemos) el segundo 8 Espacio vectorial
vector, sin cambiar su direccin, con lo que su punto de
aplicacin coincide con el punto nal del primer vector; El conjunto con la adicin de nmeros complejos y
el segundo vector as ubicado apuntar al complejo z1 + considerando como escalares , nmeros reales, se puede
z2 .
denir un espacio vectorial con escalares reales. Esto
Siguiendo con esta idea, para multiplicar dos complejos es:
z1 y z2 , primero medimos el ngulo que forman en sentido contrario a las agujas del reloj con el eje positivo de las
x y sumamos ambos ngulos: el ngulo resultante corresponde con el del vector que representa al complejo producto z1 z2 . La longitud de este vector producto viene
dada por la multiplicacin de las longitudes de los vectores originales. La multiplicacin por un nmero complejo
jo puede ser vista como la transformacin del vector que
rota y cambia su tamao simultneamente.
)
b+d
a+c
) (
)
a b
c d
.
=
b a
d d
(
)
ac bd
ad + bc
(ad + bc) ac bd
10 Aplicaciones
10.1 En matemticas
10.1.1 Soluciones de ecuaciones polinmicas
Un raz o cero[15] del polinomio p es un complejo z tal que
p(z)=0;
7
Un resultado importante de esta denicin es que todas
las ecuaciones polinmicas (algebraicas) de grado n tienen exactamente n soluciones en el cuerpo de los nmeros
complejos, esto es, tiene exactamente n complejos z que
cumplen la igualdad p(z)=0, contados con sus respectivas
multiplicidades. Tambin se cumple que si z es una raz
entonces su conjugado tambin es una raz del polinomio
p. A esto se lo conoce como Teorema Fundamental del
lgebra, y demuestra que los complejos son un cuerpo
algebraicamente cerrado; por esto los matemticos consideran a los nmeros complejos unos nmeros ms naturales[cita requerida] que los nmeros reales a la hora de
resolver ecuaciones.
10.1.2
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 funcin de variable compleja de la forma
f (t) = zeit donde representa la frecuencia angular y
el nmero complejo z nos da la fase y la amplitud, el tratamiento de todas las frmulas que rigen las resistencias,
capacidades e inductores pueden ser unicadas introduciendo resistencias imaginarias para las dos ltimas (ver
redes elctricas). Ingenieros elctricos y fsicos usan la
letra j para la unidad imaginaria en vez de i que est tpicamente destinada a la intensidad de corriente.
El campo complejo es igualmente importante en
mecnica cuntica cuya matemtica subyacente utiliza
Espacios de Hilbert de dimensin innita sobre C ().
En la relatividad especial y la relatividad general, alguAl estudio de las funciones de variable compleja se lo co- nas frmulas para la mtrica del espacio-tiempo son munoce como el Anlisis complejo. Tiene una gran canti- cho ms simples si tomamos el tiempo como una variable
dad de usos como herramienta de matemticas aplicadas imaginaria.
as como en otras ramas de las matemticas. El anlisis
complejo provee algunas importantes herramientas para
la demostracin de teoremas incluso en teora de nme11 Generalizaciones
ros; mientras que las funciones reales de variable real, necesitan de un plano cartesiano para ser representadas; las
Los nmeros complejos pueden generalizarse danfunciones de variable compleja necesitan un espacio de
do lugar a los nmeros hipercomplejos. El cuerpo
cuatro dimensiones, lo que las hace especialmente difde los nmeros complejos es un subcuerpo conmuciles de representar. Se suelen utilizar ilustraciones colotativo del lgebra cuaterninica H , que a su vez
readas en un espacio de tres dimensiones para sugerir la
es una sublgebra de otras lgebras ms extensas
cuarta coordenada o animaciones en 3D para representar
(octoniones, sedeniones):
las cuatro.
10.1.3
Ecuaciones diferenciales
En ecuaciones diferenciales, cuando se estudian las soluciones de las ecuaciones diferenciales lineales con coecientes constantes, es habitual encontrar primero las
races (en general complejas) del polinomio caracterstico, lo que permite expresar la solucin general del
sistema en trminos de funciones de base de la forma:
f (x) = ex .
10.1.4
Fractales
Muchos objetos fractales, como el conjunto de Mandelbrot, pueden obtenerse a partir de propiedades de convergencia de una sucesin de nmeros complejos. El anlisis
del dominio de convergencia revela que dichos conjuntos
pueden tener una enorme complejidad autosimilar.
10.2
En fsica
Los nmeros complejos se usan en ingeniera electrnica y en otros campos para una descripcin adecuada de
las seales peridicas variables (ver Anlisis de Fourier).
En una expresin del tipo z = rei podemos pensar en
r como la amplitud y en como la fase de una onda
CHOS
Otra posible generalizacin es considerar la complejicacin de los nmeros hiperreales:
C R(i)
12 Vase tambin
Plano de Argand
Conjunto de Mandelbrot
Conjunto de Julia
13 Referencias
[1] Trejo, Csar A. Funciones de variable compleja (1974)
p.186
[2] William R. Derrick: Variable compleja con aplicaciones.
Grupo Editorial Iberoamrica, impreso en Mxico ISBN
968-7270-35-7
[3] lgebra moderna. Ediciones Schaumm
13
13.1
Bibliografa
13.2
Enlaces externos
Weisstein, Eric W. Complex Number. En Weisstein, Eric W. MathWorld (en ingls). Wolfram Research.
REFERENCIAS
14
14.1
Nmero complejo Fuente: https://es.wikipedia.org/wiki/N%C3%BAmero_complejo?oldid=85876574 Colaboradores: Maveric149, Kristobal, Joseaperez, Sabbut, Moriel, Frutoseco, JorgeGG, Julie, Vivero, Zwobot, Zorosandro, Togo~eswiki, Dodo, Ascnder, Avm, Tano4595,
Xenoforme, Arturo Reina~eswiki, Cinabrium, Toad32767, Fmariluis, Dat, FAR, Reignerok, Digigalos, Peejayem, Airunp, Magister Mathematicae, Chobot, Pertile, CSTAR, Aeoris, Yrbot, Wikiwert, Oscar ., FlaBot, Vitamine, .Sergio, MI GENERAL ZAPATA, GermanX, Santiperez, Baneld, Gtz, Vbenedetti, Er Komandante, Filipo, Matiasasb, Alexquendi, Juan Marquez, Kn, BOTpolicia, Gizmo II, CEM-bot,
Laura Fiorucci, Soteke, Carloszelayeta, JMCC1, Retama, Mister, Davius, Carledu8, Rosarinagazo, Antur, Dorieo, Ggenellina, Ingenioso
Hidalgo, Airwolf, Alvaro qc, Drake 81, RoyFocker, Rodrigma, Doctor C, Botones, Isha, LPFR, Bernard, MSBOT, Gusgus, Mpeinadopa,
JAnDbot, VanKleinen, Kved, Charly Toluca, Homo logos, Don Depresor, Muro de Aguas, Gsrdzl, TXiKiBoT, Hingelstein, Humberto,
Netito777, Pabloallo, Idioma-bot, Plux, Jtico, VolkovBot, Technopat, Matdrodes, 3coma14, Muro Bot, Jesusosm, Mjollnir1984, SieBot,
Mushii, Loveless, Macarrones, LCB, BOTarate, Pacomegia, Mel 23, OboeCrack, Manw, Garber, Greek, Mafores, Tirithel, Jmmuguerza,
Dnu72, HUB, MetsBot~eswiki, Quark&Jaguar, Farisori, Leonpolanco, Pan con queso, Charly genio, Juan Mayordomo, Sobolev, Rge,
Raulshc, Aipni-Lovrij, Osado, Agualin, SilvonenBot, Camilo, UA31, AVBOT, Msdus, Jose32, David0811, Flakinho, MastiBot, Geronime, Diegusjaimes, Davidgutierrezalvarez, MelancholieBot, LimoWreck, Andreasmperu, Luckas-bot, Nallimbot, Roinpa, Ptbotgourou,
Jotterbot, SuperBraulio13, Xqbot, Jkbw, Xasel, Joker Miguel, CorzoC., Psambrana, Botarel, AstaBOTh15, Ivivaj, BOTirithel, Micael 3a,
TobeBot, Ciclopediatro, Jerowiki, PatruBOT, KamikazeBot, Humbefa, Foundling, Riveravaldez, EmausBot, Bachi 2805, Savh, Lalela,
ZroBot, J. A. Glvez, Rubpe19, ChuispastonBot, WikitanvirBot, Nahueli1989, CocuBot, Movses-bot, JABO, Pachamama41, Leibniz
Newton, AvicBot, MetroBot, Invadibot, DerKrieger, Acratta, Helmy oved, Angelbor, Eclipsis Proteo, VlassWik, Addbot, Balles2601,
JuanCabrera, Jarould, Ethel Fernandez Vega, X2y3, JuanFVera y Annimos: 389
14.2
Imgenes
Archivo:Commons-logo.svg Fuente: https://upload.wikimedia.org/wikipedia/commons/4/4a/Commons-logo.svg Licencia: Public domain Colaboradores: This version created by Pumbaa, using a proper partial circle and SVG geometry features. (Former versions used
to be slightly warped.) Artista original: SVG version was created by User:Grunt and cleaned up by 3247, based on the earlier PNG version,
created by Reidab.
Archivo:Complex_conjugate_picture.svg
Fuente:
https://upload.wikimedia.org/wikipedia/commons/6/69/Complex_conjugate_
picture.svg Licencia: CC-BY-SA-3.0 Colaboradores: Vectorized version of http://ja.wikipedia.org/wiki/%E7%94%BB%E5%83%8F:
Complex.png with some tweaks Artista original: Oleg Alexandrov
Archivo:Complex_number_illustration.png
Fuente:
https://upload.wikimedia.org/wikipedia/commons/a/aa/Complex_number_
illustration.png Licencia: CC BY-SA 3.0 Colaboradores: Trabajo propio Artista original: Kan8eDie
Archivo:Complex_number_illustration_modarg.svg Fuente: https://upload.wikimedia.org/wikipedia/commons/7/7a/Complex_
number_illustration_modarg.svg Licencia: CC BY-SA 3.0 Colaboradores:
Complex_number_illustration.svg Artista original: Complex_number_illustration.svg: The original uploader was Wolfkeeper de Wikipedia
en ingls
Archivo:Euler{}s_formula.svg Fuente: https://upload.wikimedia.org/wikipedia/commons/7/71/Euler%27s_formula.svg Licencia: CCBY-SA-3.0 Colaboradores: Drawn by en User:Gunther, modied by others. Artista original: Originally created by gunther using xg, recreated in Inkscape by Wereon, italics xed by lasindi.
14.3