Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Introduccion
al cuerpo
de los numeros
complejos
Juan Mayorga-Zambrano, Ph.D.
Universidad Tecnologica
Israel
jrmayorgaz@gmail.com
br
an
Resumen
o,
J.
Septiembre 2012
funciones modulo
y conjugacion
de Euler.
am
Topicos
-Z
1. Introduccion
1
2
2
4
5
3.2. Funcion
. . . . . . . . . . . . . . . . . . . . . . . . . . . . .
de conjugacion
6
6
8
5. Formula
ay
or
ga
2. El cuerpo C
2.1. Operaciones con numeros
complejos . . . . . . . . . . . . . . . . . . . . . .
6. Problemas
1.
11
Introduccion
entonces
debera cumplirse que
i = 1
(1.1)
1
numero
imaginario.
numeros
complejos no es complicado, basta tener en mente (1.1) de manera que
i2 = 1.
Pero, de hecho, los numeros
complejos son bastante reales. Si los numeros
complejos
planares o numeros
bidimensionales o algo
similar, y no se utilizara el calificativo de imaginarios..., [1].
El cuerpo C
2.1.
complejos
am
2.
br
an
o,
J.
Los numeros
complejos son utiles
para describir ondas periodicas
y en el manejo practico
de solucio
nes de Ecuaciones en Derivadas Parciales. Las funciones de variable compleja son usadas en Electronica,
Transferencia de Energa, en aplicaciones de las Teoras de Filtrado y de Control, etc.
Al conjunto
(2.2)
-Z
C = R2 = {z = (x, y) : x R y R}
ga
ay
or
Definicion
2.1. [Operaciones con complejos]
Si z1 = (a, b) C y z2 = (c, d) C, se definen las operaciones de suma, + : C C C, y
multiplicacion, : C C C, mediante
z1 + z2
z1 z2
(a + c, b + d),
(2.3)
(2.4)
La suma de numeros
complejos no es mas que la suma habitual de vectores de R2 .
o,
J.
bidimensional.
un numero
z1 z2
br
an
= ac + iad + ibc + i2 bd
-Z
am
ga
ay
or
Para dar una segunda respuesta, consideramos el espacio vectorial de las matrices
cuadradas de orden 2, M2 (R), y el subespacio vectorial de dimension
2,
(
!
)
a b
W=
: a, b R .
b a
No es difcil verificar que la aplicacion
a b
b a
C 3 (a, b) 7
!
W
se tiene que
(%i3)
Z1.Z2;
!
a c b d a d b c
ad+bc acbd
de manera que Z1 Z2 pertenece a W y su representacion
en C es (ac bd, ad + bc), vease
(2.4).
( %o3)
2.2.
Propiedades de cuerpo
o,
J.
(z1 + z2 ) + z3 = z1 + (z2 + z3 ).
z + 0 = z,
br
an
para todo z C.
am
z + w = 0.
-Z
Por convencion
se denota w = z.
ga
ay
or
Asociatividad de la multiplicacion.
Dados z1 , z2 , z3 C, se tiene que
(z1 z2 ) z3 = z1 (z2 z3 ).
z 1 = 1 z = z,
para todo z C.
w C tal que
z w = w z = 1.
1
1
Por convencion
se denota w = z = .
z
Conmutatividad multiplicativa. Dados z, w C, se tiene que
w z = w z.
Ejercicio 2.1. Pruebe que C junto con las operaciones definidas en (2.3) y (2.4) constituye un
cuerpo.
4
2.3.
Notacion
imaginaria
Como ya se menciono,
definidas en (2.3) y (2.4) corresponden formal las operaciones
z = x + iy,
y se dira que
x = Re(z) R,
z C,
(2.5)
y = Im(z) R,
am
br
an
o,
J.
ay
or
ga
-Z
Figura 2: En el plano C = R2 al eje horizontal se le refiere como el eje real y al eje vertical
como el eje imaginario.
(%i1)
z1: a+b*%i;
z2: c+d*%i;
( %o1) i b + a
( %o2) i d + c
(%i3)
z1 / z2, rectform;
( %o3)
b d + a c i (b c a d)
+ 2 2
d 2 + c2
d +c
es decir,
z1 b d + a c i (b c a d)
= 2 2 + 2 2
z2
d +c
d +c
(2.6)
3.
3.1.
Funcion
modulo
Se llama funcion
compleja de variable compleja a toda funcion
cuyo dominio y
codominio son subconjuntos de C:
f :U
C C
7 w = f (z)
(3.7)
(3.7) se escribe
(3.8)
o,
J.
C U 3 z 7 f (z) C.
y se provee
solo
una
Regla del Maximo Dominio. Si no se hace explcito el dominio de una funcion
br
an
el conjunto mas
grande de numeros
formula
debera suponerse como dominio de la funcion
complejos donde
la formula
tiene sentido. Por defecto se supondra que el codominio es C.
-Z
am
ay
or
ga
Definicion
3.1. [Modulo]
(3.9)
Se cumple que
i)
ii)
iii)
iv)
=
a2 c2 + b2 d2 + a2 d2 + b2 c2
p
=
a2 (c2 + d2 ) + b2 (d2 + c2 )
p
=
(c2 + d2 )(a2 + b2 )
= |z| |w|.
6
Ejercicio 3.1. Pruebe los puntos i), ii) y iv) del Teorema 3.1.
br
an
o,
J.
Entonces el modulo
de un numero
complejo es un numero
no-negativo; es cero solo
si su
argumento es el numero
0 + 0i. Asimismo, el teorema anterior establece que el modulo
am
ga
-Z
( %o1)
|k| + |b %i + a| + 4
ay
or
(%i1)
La formula
para calcular la distancia entre numeros
complejos es simbolicamente
Definicion
3.2. [Distancia en C]
La distancia entre los numeros
|z1 z2 |.
(3.10)
(x1 x2 )2 + (y1 y2 )2 .
(3.11)
(3.12)
|Im(z)| |z|.
(3.13)
3.2.
Funcion
de conjugacion
La proyeccion
con respecto al eje de las x esta dada por la siguiente definicion.
Definicion
3.3. [Funcion
de conjugacion]
para z = x + iy.
(3.14)
-Z
am
br
an
o,
J.
ay
or
ga
z: a+%i*b;
w: c+%i*d;
( %o1) i b + a
( %o2) i d + c
(%i3)
( %o3)
(%i4)
( %o4)
conjugate(z*w), rectform;
i (a d b c) b d + a c
conjugate(z)*conjugate(w), rectform;
i (a d b c) b d + a c
Proposicion
3.1. [Propiedades de la conjugacion]
4.
a an1
a ... a
se pone asimismo
a0
= 1,
1
.
=
an
am
an
(4.15)
n veces;
br
an
an
o,
J.
(4.16)
(4.17)
ay
or
ga
-Z
Proposicion
4.1. [Leyes de los exponentes]
Sean m, n N y a, b K. Se tiene que
am an = am+n ,
(4.18)
(ab) = a b ,
(4.19)
(an )m = amn .
(4.20)
n n
5.
Formula
La formula
de Euler, provista en el siguiente teorema, es fundamental para el manejo
de funciones complejas pues simplifica muchos calculos que de otra manera resultaran
engorrosos.
Teorema 5.1. [Formula
de Euler]
Sea R. La sucesion (En )nN C, definida por la formula
En =
n
X
(i)k
k=0
k!
converge al numero
(5.21)
Observacion
5.1. Mas adelante en el curso estaremos en condiciones de entender y probar en
su plenitud el resultado anterior pues necesitamos entender lo que es el lmite de una sucesion
(real o compleja). Por el momento, debemos aceptar la validez de la formula (5.21).
Con ayuda de la formula
de Euler se escribe la forma polar de un numero
complejo
z = x + iy , 0:
z = r ei ,
(5.22)
donde
r = |z|,
(, ].
(5.23)
(5.24)
ga
-Z
am
br
an
o,
J.
x = r cos(),
ay
or
z: a+%i*b;
( %o1)
ib+a
(%i2)
( %o2)
w: polarform(z);
b2 + a2 ei atan2(b,a)
(%i3)
rectform(w);
( %o3)
ib+a
10
La siguiente notacion
se usara de aqu en adelante. Tome nota.
Para un angulo
R, el valor corresponde al angulo
en (, ] tal que
sen() = sen()
cos() = cos().
(5.25)
la misma direccion
que R.
Entonces es el angulo
en (, ] que provee
Las formulas
para multiplicacion
y division
de polinomios son realmente simples en
forma polar:
Teorema 5.2. [Multiplicacion
en forma polar]
Dados los numeros
o,
J.
z1 r1 i ([
= e 1 2 ) ,
z2 r2
z2 , 0.
(5.26)
(5.27)
|ei | = 1,
br
an
En particular, la multiplicacion
de un complejo z por un factor de la forma ei representa
una rotacion
de tamano
del vector z. Para futura referencia, tenga presente que
para todo R.
am
(5.28)
-Z
6.
ay
or
ga
(5.29)
Problemas
2ai
1+2i
z C.
Para n = 3, 4, 5, 6, 7 grafique el polgono que resulta de unir las soluciones de la ecuacion con
segmentos en el plano complejo.
6.3. Halle a, b R de manera que se cumpla
z z 1948 z
+i
, donde z = 1 i.
2|z| +
2
iz
z
z2 z z
2) a + ib = (1 + i)6 + 2 i191 , donde z = 1 + i.
|z|
z
z
1) a + ib =
z1 C en el numero
z2 C.
1) z1 = 3 + 3i, z2 =3 i 3.
2) z1 = 3 i, z2 = 3 i.
3) z1 = 4 3i, z2 = 5 + i 5 .
2
2
4) z1 = 3 2 + 2 2i, z2 = 5 + i.
6.6. Resuelva la ecuacion
z C;
z4 iz2 + i 1 = 0,
z C;
(z i + 1)(z + z + 1) = 0,
z C;
z + z + 1 = 0,
z C.
6.8. Sea z C.
(6.30)
-Z
am
br
an
z, w C :
1)
2)
3)
4)
o,
J.
z5 + z3 z2 1 = 0,
ga
6.9. Sea
A = {z = ei : R}.
ay
or
z1
=0
z+1
|z| = 1.
Referencias
[1] M. Alder, An Introduction to Complex Analysis for Engineers, Massachusetts Institute
of Technology, 1997.
[2] A. Kurosch, Curso de Algebra Superior, Editorial MIR, Moscu,
1987.
12