You are on page 1of 28

Tema 1.

Nmeros complejos y
topologa en el plano
complejo.
Mtodos Matemticos I
2
o
Fsicas E
(Universidad de Granada) Tema 1. Nmeros complejos y topologa en el plano. Granada, 27 septiembre 2012 1 / 28
El cuerpo de los nmeros complejos
1
Los nmeros de la forma x + iy donde x e y son nmeros reales se
llaman nmeros complejos.
2
En el conjunto de los nmeros complejos la suma y el producto vienen
dados por
(x +iy) +(u +iv) = x +u +i (y +v), (x +iy)(u +iv) = xu yv +i (yu +xv)
3
Es muy fcil comprobar las propiedades asociativa, conmutativa de las
operaciones anteriores. Tambin se verica la distributiva del producto
respecto de la suma.
4
El elemento 0 es el neutro de la suma.
5
El opuesto de x + iy es x iy.
6
El elemento 1 es el neutro del producto.
7
Si x + iy = 0, se verica que
(x + iy)
1
x
2
+ y
2
(x iy) = 1
8
Notaremos por C al conjunto de los nmeros complejos, que es un
cuerpo.
(Universidad de Granada) Tema 1. Nmeros complejos y topologa en el plano. Granada, 27 septiembre 2012 2 / 28
Nmeros complejos
Si x e y son nmeros complejos, diremos que x es la parte real del
complejo x + iy e y la parte imaginaria. Escribiremos
x = Re(x + iy), y = Im(x + iy)
Un complejo con parte imaginaria cero es un nmero real. Si la parte
real es cero, el complejo es imaginario puro.
El cuerpo de los nmeros complejos no tiene un orden compatible, luego no
escribiremos desigualdades entre dos nmeros complejos.
Notacin
Usaremos las letras z, w para nmeros complejos. Para nmeros reales
utilizaremos, por ejemplo, x, y, u, v, t .
(Universidad de Granada) Tema 1. Nmeros complejos y topologa en el plano. Granada, 27 septiembre 2012 3 / 28
Conjugacin
Dado un nmero complejo z = x + iy, el nmero complejo x iy ser el
conjugado de z, y escribiremos z = x iy.
La conjugacin verica las siguientes propiedades:
z = z.
z + w = z + w
zw = z w
Si w = 0, entonces
_
z
w
_
=
z
w
Para averiguar la parte real de un cociente de complejos, basta multiplicar por
el conjugado del denominador.
(Universidad de Granada) Tema 1. Nmeros complejos y topologa en el plano. Granada, 27 septiembre 2012 4 / 28
Mdulo de un nmero complejo
Si z = x + iy es un complejo, se dene su mdulo |z| por
|z| =
_
x
2
+ y
2
Ntese que |z| no es ms que la norma eucldea del vector (x, y) en R
2
.
La distancia entre dos complejos z = x + iy y w = u + iv viene dada por
|z w| =
_
(x u)
2
+ (y v)
2
,
que no es ms que la distancia eucldea entre los vectores (x, y) y (u, v).
(Universidad de Granada) Tema 1. Nmeros complejos y topologa en el plano. Granada, 27 septiembre 2012 5 / 28
Propiedades del mdulo
Propiedades
Se verica que |z|
2
= zz.
max{| Rez|, | Imz|} |z| | Rez| +| Imz|
|z| = |z|
|zw| = |z||w|
Desigualdad triangular
|z + w| |z| +|w|
|z + w| = |z| +|w| zw = 0 o z R
+
w

|z| |w|

|z w|
Si w = 0,

z
w

=
|z|
|w|
(Universidad de Granada) Tema 1. Nmeros complejos y topologa en el plano. Granada, 27 septiembre 2012 6 / 28
Representaciones de un nmero complejo
A la expresin z = x + iy se llama forma binmica del complejo z.
Si z es un complejo no nulo, a la expresin
z = |z|
_
x
|z|
+ i
y
|z|
_
= |z|
_
cos + i sen
_
=
se llama forma polar del complejo z.
Es claro que hay innitos nmeros reales que verican la expresin
anterior. A cualquiera de ellos se llama argumento del nmero complejo
z.
Notaremos por Arg al conjunto de los argumentos de un complejo no
nulo, esto es,
Arg(z) =
_
t R : z = |z|
_
cos t + i sent
__
(Universidad de Granada) Tema 1. Nmeros complejos y topologa en el plano. Granada, 27 septiembre 2012 7 / 28
Argumento de un nmero complejo
Propiedades
Si s, t Arg(z), entonces s t 2Z.
Adems, es claro que si t Arg(z), entonces t +2k Arg(z), para todo
entero k.
Por tanto, para cada complejo z no nulo, el conjunto Arg(z)] , ]
tiene un nico elemento, que se llama argumento principal de z, y que
notaremos por arg(z).
(Universidad de Granada) Tema 1. Nmeros complejos y topologa en el plano. Granada, 27 septiembre 2012 8 / 28
Argumento principal
Una expresin del argumento principal
arg : C\{0} R
arg(z) =
_
_
_
2 arctan
Imz
|z|+Re z
si z R

si z R

La funcin argumento principal es una funcin continua en C\R

0
(y es
discontinua en R

).
(Universidad de Granada) Tema 1. Nmeros complejos y topologa en el plano. Granada, 27 septiembre 2012 9 / 28
Argumento principal
En la prctica suele ser ms til la siguiente expresin: Para
z = x + iy C\{0}
arg(z) =
_

_
arctan
_
y
x
_
si x < 0, y < 0,


2
si x = 0, y < 0,
arctan
_
y
x
_
si x > 0,

2
si x = 0, y > 0,
arctan
_
y
x
_
+ si x < 0, y 0.
(Universidad de Granada) Tema 1. Nmeros complejos y topologa en el plano. Granada, 27 septiembre 2012 10 / 28
Argumento
Propiedades del conjunto de argumentos
Si w C\{0} y t R
+
, arg(tw) = argw (luego Arg(tw) = Argw).
Arg
_
1
z
_
= Arg(z) = Arg(z) z C\{0}
Arg(zw) = Arg(z) + Arg(w) z, w C\{0}
n Arg(z) Arg(z
n
) z C\{0}
Frmula de De Moivre
Si z = |z|
_
cost + i sent
_
C\{0} y n N, entonces
z
n
= |z|
n
_
cos(nt ) + i sen(nt )
_
(Universidad de Granada) Tema 1. Nmeros complejos y topologa en el plano. Granada, 27 septiembre 2012 11 / 28
Races de un complejo
Si z C\{0} y n N, n 2, describiremos los complejos que verican
w
n
= z (las races n-simas de z).
Las soluciones de la ecuacin w
n
= z vienen dadas por los complejos
siguientes
w
k
= |z|
1
n
_
cos
_
argz + 2k
n
_
+ i sen
_
argz + 2k
n
_
_
, 0 k n 1
Raz principal de un complejo
La raz principal de orden n de un complejo z no nulo viene dada por
n

z = |z|
1
n
_
cos
_
argz
n
_
+ i sen
_
argz
n
_
_
Es fcil comprobar que la raz principal de orden n extiende a la raz
n-sima denida en R
+
.
(Universidad de Granada) Tema 1. Nmeros complejos y topologa en el plano. Granada, 27 septiembre 2012 12 / 28
Races de un complejo
En cambio, no siempre se verica la igualdad
n

zw =
n

z
n

w
Ejemplo
Se verica que

1 = | 1|
1
2
_
cos
_
arg(1)
2
_
+ i sen
_
arg(1)
2
_
_
= i .
Luego
_
(1)
_
(1) = i
2
= 1 = 1 =

1 =
_
(1)(1)
(Universidad de Granada) Tema 1. Nmeros complejos y topologa en el plano. Granada, 27 septiembre 2012 13 / 28
Races de un complejo
Dado que la suma de los argumentos de dos complejos (no nulos) es un
argumento del producto, las races n-simas de un complejo forman un
polgono regular de n lados.
Ejemplo
Calcularemos las races cuartas de 1, que vienen dadas por
z
k
= |1|
1
4
_
cos
_
arg(1) + 2k
4
_
+ i sen
_
arg(1) + 2k
4
_
_
=
_
cos
_
2k
4
_
+ i sen
_
2k
4
_
_
, k = 0, 1, 2, 3
Ntese que z
k
=
_
cos
_
2
4
_
+ i sen
_
2
4
_
_
k
.
(Universidad de Granada) Tema 1. Nmeros complejos y topologa en el plano. Granada, 27 septiembre 2012 14 / 28
Topologa del plano complejo
La topologa de C es la topologa de R
2
.
Disco abierto de centro a y radio r > 0:
D(a, r ) = {z C : |z a| < r }
Por convenio pondremos D(a, +) = C.
Disco cerrado de centro a y radio r 0:
D(a, r ) = {z C : |z a| r }
Circunferencia de centro a C y radio r > 0:
C(a, r )

= {z C : |z a| = r }
A C est acotado si existe M > 0 tal que |z| M para todo z A.
(Universidad de Granada) Tema 1. Nmeros complejos y topologa en el plano. Granada, 27 septiembre 2012 15 / 28
Conexos y dominios
C C se dice que es conexo si la nica particin de C por abiertos
relativos es la trivial.
Todo convexo es conexo, luego todo disco es conexo.
Los nicos conexos en la recta real son los intervalos.
Un dominio es un conjunto abierto y conexo.
(Universidad de Granada) Tema 1. Nmeros complejos y topologa en el plano. Granada, 27 septiembre 2012 16 / 28
Conjuntos conexos
Caracterizacin de los dominios
Sea un subconjunto abierto no vaco de C. Equivalen las siguientes
propiedades:
es un dominio.
Los nicos subconjuntos de que son abiertos y cerrados relativos de
son y .
Dos puntos cualesquiera de pueden unirse por una curva contenida en
.
Dos puntos cualesquiera de pueden unirse por una poligonal
contenida en .
(Universidad de Granada) Tema 1. Nmeros complejos y topologa en el plano. Granada, 27 septiembre 2012 17 / 28
Conjuntos compactos
Caracterizacin de la compacidad
Sea K C. Equivalen las siguientes propiedades:
1
K es compacto (def. topolgica).
2
K es cerrado y acotado.
3
Toda sucesin de puntos de K tiene alguna subsucesin que converge a
un punto de K.
4
Todo subconjunto innito de K tiene un punto de acumulacin en K.
(Universidad de Granada) Tema 1. Nmeros complejos y topologa en el plano. Granada, 27 septiembre 2012 18 / 28
Conservacin de la compacidad y conexin por
funciones continuas
Teorema
Toda funcin continua que toma valores reales denida en un compacto
alcanza en dicho compacto un valor mximo y un valor mnimo absolutos.
(Heine-Borel) Toda funcin continua que toma valores reales o complejos
denida en un compacto es uniformemente continua.
Las funciones continuas transforman conexos en conexos y compactos
en compactos.
(Universidad de Granada) Tema 1. Nmeros complejos y topologa en el plano. Granada, 27 septiembre 2012 19 / 28
Sucesiones convergentes
Una sucesin de nmeros complejos es una aplicacin de N en C.
Representaremos por {z
n
} la sucesin dada por n z
n
donde z
n
C.
{z
n
} es convergente si z C tal que > 0 existe n
0
N tal que para todo
n n
0
se verica que |z
n
z| < .
En tal caso dicho nmero z es nico y escribimos lim{z
n
} = z o {z
n
} z y
se dice que z es el lmite de la sucesin {z
n
}.
(Universidad de Granada) Tema 1. Nmeros complejos y topologa en el plano. Granada, 27 septiembre 2012 20 / 28
Convergencia de sucesiones
Teniendo en cuenta las desigualdades siguientes
|Rez
n
Rez|
|Imz
n
Imz|
_
|z
n
z| |Rez
n
Rez| +|Imz
n
Imz|
deducimos que
lim{z
n
} = z
_
lim{Rez
n
} = Rez
lim{Imz
n
} = Imz
(Universidad de Granada) Tema 1. Nmeros complejos y topologa en el plano. Granada, 27 septiembre 2012 21 / 28
Sucesiones divergentes
Se dice que {z
n
} es divergente si {|z
n
|} +. En tal caso escribiremos
{z
n
} .
Si {z
n
} z y {w
n
} w, entonces {z
n
+ w
n
} z + w y {z
n
w
n
} zw.
Adems, si z
n
= 0 para todo n N y z = 0, entonces {1/z
n
} 1/z.
Si {z
n
} y {w
n
} est acotada entonces {z
n
+ w
n
} .
Si {z
n
} y {w
n
} est separada de 0, esto es, existen > 0 y n
0
N
de forma que para n n
0
se cumple |w
n
| , entonces {z
n
w
n
} .
(Universidad de Granada) Tema 1. Nmeros complejos y topologa en el plano. Granada, 27 septiembre 2012 22 / 28
Complitud de C
Se dice que {z
n
} es de Cauchy si para todo > 0 existe n
0
N tal que si
p, q n
0
se verica que |z
p
z
q
| < .
Teorema de complitud de C
Toda sucesin de Cauchy de nmeros complejos es convergente.
(Universidad de Granada) Tema 1. Nmeros complejos y topologa en el plano. Granada, 27 septiembre 2012 23 / 28
Teorema de BolzanoWeierstrass
Una subsucesin de una sucesin {z
n
} es cualquier sucesin de la forma
{z
(n)
}, donde : N N es una aplicacin estrictamente creciente.
Si {z
n
} z, entonces cualquier subsucesin de {z
n
} tambin converge a z.
Teorema de Bolzano Weierstrass
Toda sucesin acotada de nmeros complejos tiene alguna subsucesin
convergente.
(Universidad de Granada) Tema 1. Nmeros complejos y topologa en el plano. Granada, 27 septiembre 2012 24 / 28
Series de nmeros complejos
Dada una sucesin, {z
n
}, podemos formar a partir de ella otra sucesin,
{S
n
}, cuyos trminos se obtienen sumando consecutivamente los trminos
de {z
n
}, es decir:
S
1
= z
1
, S
2
= z
1
+ z
2
, S
3
= z
1
+ z
2
+ z
3
, . . . , S
n
= z
1
+ z
2
+ + z
n
, . . .
La sucesin {S
n
} = {

n
k=1
z
k
} se llama serie de trmino general z
n
y es
costumbre representarla por

n1
z
n
o, ms sencillamente,

z
n
.
(Universidad de Granada) Tema 1. Nmeros complejos y topologa en el plano. Granada, 27 septiembre 2012 25 / 28
Series de nmeros complejos
Si una serie

n1
z
n
es convergente se usa el smbolo

n=1
z
n
para representar
su lmite que suele llamarse suma de la serie.
Naturalmente

n=1
z
n
es el nmero complejo denido por

n=1
z
n
= lim{S
n
} = lim
n
n

k=1
z
k
La serie

z
n
converge si, y slo si, las series
Re
_

z
n
_
=

n1
Rez
n
y Im
_

z
n
_
=

n1
Imz
n
son convergentes.
(Universidad de Granada) Tema 1. Nmeros complejos y topologa en el plano. Granada, 27 septiembre 2012 26 / 28
Series de nmeros complejos
Condicin necesaria para que la serie

z
n
converja es que {z
n
} 0.
Se dice que una serie de nmeros complejos

n1
z
n
converge absolutamente
si la serie de trminos positivos

n1
|z
n
| es convergente.
Si una serie de nmeros complejos

z
n
es absolutamente convergente
entonces dicha serie tambin es convergente.
(Universidad de Granada) Tema 1. Nmeros complejos y topologa en el plano. Granada, 27 septiembre 2012 27 / 28
Convergencia no absoluta
Sea {a
n
} una sucesin de nmeros reales y {z
n
} una sucesin de nmeros
complejos.
Criterio de Dirichlet. Si {a
n
} es montona y converge a cero y la serie

z
n
tiene sumas parciales acotadas, entonces

a
n
z
n
converge.
Criterio de Abel. Si {a
n
} es montona y acotada y la serie

z
n
converge, entonces

a
n
z
n
es convergente.
(Universidad de Granada) Tema 1. Nmeros complejos y topologa en el plano. Granada, 27 septiembre 2012 28 / 28

You might also like