Vous êtes sur la page 1sur 23

Nmeros Complejos

El conjugado y el mdulo de un complejo lgebra


Semestre 2018-1

Araceli Guzmn
Guillermo Garro
Facultad de Ciencias UNAM

El Conjunto de Julia Lleno


para la funcin holomorfa
f (z) = z 2 + c
Animacin por Ted Burke
Nmeros Complejos lgebra

El conjugado
Si z = x + iy , el conjugado de z es el nmero complejo

z = x iy.

Tenemos entonces, por definicin,

Re(z) = Re(z) y Im(z) = Im(z).


Ejemplos

1 + 3i = 1 3i, 5 2i = 5 + 3i, 7 i = 7 + i, 2i = 2i, 4 = 4.


Araceli Guzmn y Guillermo Garro doyouwantmektalwar.wordpress.com Facultad de Ciencias UNAM
Nmeros Complejos lgebra

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.

Araceli Guzmn y Guillermo Garro doyouwantmektalwar.wordpress.com Facultad de Ciencias UNAM


Nmeros Complejos lgebra

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.

Araceli Guzmn y Guillermo Garro doyouwantmektalwar.wordpress.com Facultad de Ciencias UNAM


Nmeros Complejos lgebra

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.

Y por otra parte,


z = a ib = a + ib = z.

Araceli Guzmn y Guillermo Garro doyouwantmektalwar.wordpress.com Facultad de Ciencias UNAM


Nmeros Complejos lgebra

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.

Araceli Guzmn y Guillermo Garro doyouwantmektalwar.wordpress.com Facultad de Ciencias UNAM


Nmeros Complejos lgebra

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

Araceli Guzmn y Guillermo Garro doyouwantmektalwar.wordpress.com Facultad de Ciencias UNAM


Nmeros Complejos lgebra

El conjugado: Propiedades

Teorema
Si z, w C,
z z
= .
w w

Demostracin.

z
= zw1
w
= z w1
= z (w)1
z
= .
w

Araceli Guzmn y Guillermo Garro doyouwantmektalwar.wordpress.com Facultad de Ciencias UNAM


Nmeros Complejos lgebra

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.

Araceli Guzmn y Guillermo Garro doyouwantmektalwar.wordpress.com Facultad de Ciencias UNAM


Nmeros Complejos lgebra

El conjugado: Propiedades

Teorema
Si z C,
z z = (Re(z))2 + (Im(z))2 .

Demostracin.
Si z = x + iy , entonces

zz = (x + iy)(x iy) = x2 (iy)2 = x2 i2 y 2 = x2 + y 2 .

Araceli Guzmn y Guillermo Garro doyouwantmektalwar.wordpress.com Facultad de Ciencias UNAM


Nmeros Complejos lgebra

Mdulo de un nmero complejo


Si z C, definimos el mdulo de z , como el nmero real no-negativo

q
|z| = z z = (Re(z))2 + (Im(z))2 .

Observacin: Si z es puramente real, entonces |z| coincide con el valor absoluto de


q
Re(z). En efecto, si z = Re(z) R, (i.e. Im(z) = 0), entonces |z| = (Re)2 = |Re(z)|.
En este sentido, |z| es una generalizacin del valor absoluto.

Araceli Guzmn y Guillermo Garro doyouwantmektalwar.wordpress.com Facultad de Ciencias UNAM


Nmeros Complejos lgebra

Mdulo de un nmero complejo: Propiedades

Teorema
Para todo z C,
|z| = |z| y | z| = |z|.

Demostracin.
Por un lado, p
|z| = z z = z z = z z = |z|.

Y por otra lado,


q p
| z| = (z)(z) = (z)(z) = zz = |z|.

Araceli Guzmn y Guillermo Garro doyouwantmektalwar.wordpress.com Facultad de Ciencias UNAM


Nmeros Complejos lgebra

Mdulo de un nmero complejo: Propiedades

Teorema
Si z C, entonces

|Re(z)| |z| y |Im(z)| |z|.

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

Araceli Guzmn y Guillermo Garro doyouwantmektalwar.wordpress.com Facultad de Ciencias UNAM


Nmeros Complejos lgebra

Mdulo de un nmero complejo: Propiedades

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

Araceli Guzmn y Guillermo Garro doyouwantmektalwar.wordpress.com Facultad de Ciencias UNAM


Nmeros Complejos lgebra

Mdulo de un nmero complejo: Propiedades

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.

Araceli Guzmn y Guillermo Garro doyouwantmektalwar.wordpress.com Facultad de Ciencias UNAM


Nmeros Complejos lgebra

Mdulo de un nmero complejo:Propiedades

Prueba de la Desigualdad del Tringulo.

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

Mdulo de un nmero complejo: Propiedades

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|

Araceli Guzmn y Guillermo Garro doyouwantmektalwar.wordpress.com Facultad de Ciencias UNAM


Nmeros Complejos lgebra

Mdulo de un nmero complejo: Propiedades

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|

Araceli Guzmn y Guillermo Garro doyouwantmektalwar.wordpress.com Facultad de Ciencias UNAM


Nmeros Complejos lgebra

Mdulo de un nmero complejo: Otras Propiedades

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

Por otro lado,


|w| = |w z + z| |w z| + |z|,

de donde
|w| |z| |w z| = |z w|.

Araceli Guzmn y Guillermo Garro doyouwantmektalwar.wordpress.com Facultad de Ciencias UNAM


Nmeros Complejos lgebra

Mdulo de un nmero complejo: Otras Propiedades

Teorema
Para todo z, w C,
q q
|1 + zw| 1 + |z|2 1 + |w|2 .

Primero recordemos una propiedad de nmeros reales:

Lema

Si a y b son nmeros reales,


2ab a2 + b2 .

Demostracin.
Se sigue de que 0 (a b)2 = a2 2ab + b2 .

Araceli Guzmn y Guillermo Garro doyouwantmektalwar.wordpress.com Facultad de Ciencias UNAM


Nmeros Complejos lgebra

Mdulo de un nmero complejo: Otras Propiedades

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

Se sigue la desigualdad que queremos probar.

Araceli Guzmn y Guillermo Garro doyouwantmektalwar.wordpress.com Facultad de Ciencias UNAM


Nmeros Complejos lgebra

Mdulo de un nmero complejo: Otras Propiedades

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

Araceli Guzmn y Guillermo Garro doyouwantmektalwar.wordpress.com Facultad de Ciencias UNAM

Vous aimerez peut-être aussi