Académique Documents
Professionnel Documents
Culture Documents
Araceli Guzmn
Guillermo Garro
Facultad de Ciencias UNAM
El conjugado
Si z = x + iy , el conjugado de z es el nmero complejo
z = x iy.
El conjugado: Propiedades
Teorema
Si z C, entonces
z = z si y slo si Re(z) = 0.
Demostracin.
Si z = a + ib entonces z = a ib y z = a ib, por lo que
z = z a ib = a ib
a = a
2a = 0
a = 0.
El conjugado: Propiedades
Teorema
Si z C, entonces
z = z si y slo si Im(z) = 0
Demostracin.
Si z = a + ib entonces z = a ib, por lo que
z = z a + ib = a ib
ib = ib
i2 b = i2 b
b = b
2b = 0
b = 0.
El conjugado: Propiedades
Teorema
Si z C, entonces
z = z y z = z.
Demostracin.
Si z = x + iy C,
z = x iy = x + iy = (x iy) = x + iy = z.
El conjugado: Propiedades
Teorema
Si z, w C,
z + w = z + w.
Demostracin.
Si z = x + iy y w = u + iv ,
z + w = (x + iy) + (u + iv)
= (x + u) + i(y + v)
= (x + u) i(y + v)
= (x iy) + (u iv)
= x + iy + u + iv
= z + w.
El conjugado: Propiedades
Teorema
Si z, w C,
zw = z w.
Demostracin.
Si z = x + iy y w = u + iv ,
zw = (x + iy)(u + iv)
= (xu yv) + i(xv + yu)
= (xu yv) i(xv + yu)
= (xu ixv) (iyu + yv)
= x(u iv) iy(u iv)
= (x iy)(u iv)
= x + iy u + iv
= z w.
Araceli Guzmn y Guillermo Garro doyouwantmektalwar.wordpress.com Facultad de Ciencias UNAM
Nmeros Complejos lgebra
El conjugado: Propiedades
Teorema
Para todo z C,
(z)1 = z 1 .
Demostracin.
Dado que z 1 es el inverso multiplicativo de z ,
zz 1 = 1,
de donde
z z 1 = zz 1 = 1 = 1.
Esto es,
1
z 1 = = (z)1 .
z
El conjugado: Propiedades
Teorema
Si z, w C,
z z
= .
w w
Demostracin.
z
= zw1
w
= z w1
= z (w)1
z
= .
w
El conjugado: Propiedades
Teorema
Si z C,
z + z = 2 Re(z) y z z = 2i Im(z).
Demostracin.
Si z = x + iy , entonces
z + z = x + iy + x iy = 2x,
en tanto que
z z = x + iy x + iy = 2iy.
El conjugado: Propiedades
Teorema
Si z C,
z z = (Re(z))2 + (Im(z))2 .
Demostracin.
Si z = x + iy , entonces
q
|z| = z z = (Re(z))2 + (Im(z))2 .
Teorema
Para todo z C,
|z| = |z| y | z| = |z|.
Demostracin.
Por un lado, p
|z| = z z = z z = z z = |z|.
Teorema
Si z C, entonces
Demostracin.
Tenemos,
q q
|Re(z)| = (Re(z))2 (Re(z))2 + (Im(z))2 = zz = |z|.
Anlogamente,
q q
|Im(z)| = (Im(z))2 (Re(z))2 + (Im(z))2 = zz = |z|.
Teorema
Para todo z, w C,
|z w| = |z||w|.
Demostracin.
Tenemos,
p
|zw| = (zw)(zw)
p
= (zw)(z w)
p
= (zz)(ww)
= zz ww
= |z||w|.
Teorema
1. Para todo z C, |z| 0.
2. Para todo z C, |z| = 0 si y slo si z = 0.
3. Desigualdad del Tringulo: Para todos z, w C,
|z + w| |z| + |w|.
Demostracin.
1. Es obvio por definicin.
2. Sea z = x + iy . Entonces
|z| = 0 |z|2 = x2 + y 2 = 0
x2 = 0 y y 2 = 0
x=0 y y=0
z = 0.
Tenemos,
|z + w|2 = (z + w)(z + w)
= (z + w)(z + w)
= zz + zw + zw + ww
= |z|2 + zw + zw + |w|2
= |z|2 + 2Re(zw) + |w|2
|z|2 + 2|zw| + |w|2
= |z|2 + 2|z||w| + |w|2
= |z|2 + 2|z||w| + |w|2
= (|z| + |w|)2 .
Por lo tanto,
|z + w| |z| + |w|.
Araceli Guzmn y Guillermo Garro doyouwantmektalwar.wordpress.com Facultad de Ciencias UNAM
Nmeros Complejos lgebra
Teorema
Para todo z C, si z 6= 0,
1
z = |z|1 .
Demostracin.
Dado que z 1 es el inverso de z , y el mdulo de un nmero real coincide con su valor
absoluto, tenemos,
1 = |1| = |zz 1 | = |z||z 1 |,
de donde
1
|z 1 | = = |z|1
|z|
Teorema
Para todo z, w C, si w 6= 0,
z |z|
= .
w |w|
Demostracin.
z |z|
1 1 1
= |zw | = |z||w | = |z||w| = .
w |w|
Teorema
Para todo z, w C,
||z| |w|| |z w|.
Demostracin.
Tenemos,
|z| = |z w + w| |z w| + |w|.
De donde
|z| |w| |z w|.
de donde
|w| |z| |w z| = |z w|.
Teorema
Para todo z, w C,
q q
|1 + zw| 1 + |z|2 1 + |w|2 .
Lema
Demostracin.
Se sigue de que 0 (a b)2 = a2 2ab + b2 .
Teorema
Para todo z, w C,
q q
|1 + zw| 1 + |z|2 1 + |w|2 .
Demostracin.
Tenemos,
|1 + zw|2 (1 + |z||w|)2
= 1 + 2|z||w| + |z|2 |w|2
1 + |z|2 + |w|2 + |z|2 |w|2
= (1 + |z|2 )(1 + |w|2 ).
Corolario
Para todo zj , wj C, j = 1, 2,
q q
|z1 w1 + z2 w2 | |z1 |2 + |z2 |2 |w1 |2 + |w2 |2 .
Demostracin.
Si z1 = 0 w1 = 0 la desigualdad es inmediata (de hecho es una igualdad).
Supongamos que z1 6= 0 6= w1 . Por el teorema anterior,
s 2 s
w 1 2
1 + 2 2 = 1 + 2 2 1 + z2
z w z w
1+
.
z1 w1 z1 w1 z1 w2
De donde,
q
z2 w2
q
|z1 w1 + z2 w2 | = |z1 w1 | 1 +
|z1 |2 + |z2 |2 |w1 |2 + |w2 |2 .
z1 w 1