VARIABLE COMPLEJA: NOTAS PRELIMINARES

VICTOR

meros complejos
1. Nu
1.1. El cuerpo de los n
umeros complejos. Asumimos
2
que i = 1, entonces un numero complejo se representa por
z = + i donde y son reales, es la parte real y es la
parte imaginaria.
Se define la suma y el producto mediante
( + i) + ( + i) = ( + ) + i( + )
( + i) ( + i) = ( ) + i( + )
Cada numero complejo no nulo + i tiene un inverso
1
i
= 2
+ i + 2
Si denotamos por C el conjunto de los numeros complejos, se
puede verificar que la suma y el producto dotan a C de una
estructura de cuerpo conmutativo.
La ecuacion x2 + 1 = 0 no tiene solucion en el cuerpo de los
numeros reales (porque?), pero tiene solucion en el cuerpo de los
numeros complejos, tiene 2 soluciones i y i.
El cuerpo de los numeros reales puede ser visto como un subcuerpo de los numeros complejos. Se tiene:
R C;

:+i0
1

VICTOR

(z + w) = (z) + (w);

(zw) = (z)(w)

En el cuerpo de los numeros reales R se tiene un orden compatible con la suma y producto. Recordemos que R es un cuerpo
arquimediano, ordenado y completo.
En el cuerpo de los numeros complejos no se puede poner un
orden compatible con la suma y el producto.
A modo de ejercicio demuestre que si + i con = 0 entonces:

2
2

+ +

+ 2 + 2
+ i = (
+i
)
2
||
2
Si = 0 entonces:
{

cuando 0
i cuando < 0

1.2. Representaci
on geom
etrica. Consideremos el espacio
vectorial R2 con la base canonica e1 = (1, 0), e2 = (0, 1) y el
producto interno euclideano habitual.
Cada numero complejo z = + i se puede representar como
un vector z con coordenadas (, ).
C R2 ;

: + i (, )

Se pueda notar que la suma de numeros complejos corresponde

a la suma vectores.
Si un numero complejo z = +i se multiplica por un numero
real r ello corresponde a multiplicar el vector z por el escalar real
r.

VARIABLE COMPLEJA: NOTAS PRELIMINARES

En el espacio vectorial R2 tenemos entonces un producto interno denotado

+ , una norma
por < (, ), (, ) >=

(, ) = 2 + 2, una distancia d(
z ,
w ) =
z
w y
podemos tambien medir angulos entre dos vectores.
Al numero complejo z = + i le podemos asociar el numero
complejo conjugado ze = i, claramente se tiene:
z^
+ w = ze + w;
e

e
ze = z

Recordemos que se define el modulo de z como | z |=

entonces | z |=
z .
Tenemos entonces:

z ze

(1) | z |=| ze | para cada z C.

(2) | z | 0 para cada z C.
(3) | z |= 0 si y solamente si z = 0.
(4) | zw |=| z || w | para cada z, w C
(5) | z + w || z | + | w | para cada z, w C.
1.3. Algunas observaciones de topologa. Siendo el plano
complejo C un espacio metrico con la distancia d(z, w) =| z
w |, podemos considerar bolas abiertas, abiertos, cerrados y
otros conceptos de la topologa y el analisis.
Revisemos algunos conceptos y resultados conocidos previamente:
Una vecindad de centro z0 C y radio r > 0 es un disco
abierto con centro z0 y radio r, es decir
V (z0, r) = {z C/|z z0| < r}

VICTOR

naturalmente un disco cerrado con centro z0 y radio r, se denotara por

V (z0, r) = {z C/|z z0| r}
Un subconjunto U C es abierto si para cada w U existe
una vecindad V (w, r) tal que V (w, r) U .
Un subconjunto C C es cerrado si su complemento es un
abierto.
Sea X C, z C es un punto de acumulaci
on de X
si y solo si cada vecindad de z contiene infinitos puntos de X.
Un punto z C es un punto aislado de X si z tiene una
vecindad cuya interseccion con X es z.
Sea {n}
on de numeros reales tiene un lmite
n=1 una sucesi
a R, si para cada > 0 existe n0 N tal que |n a| <
para cada n n0.
Sea {n}
on de numeros reales, la sucesion es de
n=1 una sucesi
Cauchy si para cada > 0 existe n0 N tal que |n m| <
cada vez que n n0 y m n0.
En R y C cada sucesion de Cauchy converge, es decir son
espacios m
etricos completos.
Un subconjunto A C es acotado si existe r R tal que
A V (0, r)
Un subconjunto C C es compacto si y solamente si es
cerrado y acotado.
Una curva poligonal en C es la union finita de segmentos
de lne [z0, z1] [z1, z2] ... [zn1, zn].

VARIABLE COMPLEJA: NOTAS PRELIMINARES

Un subconjunto D C es poligonalmente conexo si cada

par de puntos z1, z2 D pueden ser unidos por una curva poligonal completamente contenida en D.
Un subconjunto D C abierto y no vaco es conexo si y
solamente si es poligonalmente conexo. Un subconjunto D no
vaco, abierto y conexo, generalmente se llama una region.
A menudo nos referiremos a los siguentes subconjuntos de C,
el disco unitario D = {z C/ | z |< 1}, el semiplano superior
H = {z = + i/ > 0}.
Se propone a modo de ejercicio de repaso, revisar que propiedades
anteriores tienen o no tienen los siguentes subconjuntos del plano:
(1) C, V (z0, r), V (z0, r), D, H.
(2) R, A = {1 + in/n N}, B = {z = + i/ = 1}
(3) = {n + im/n, m Z}, S = {z = + i/ | |< a, |
|< b, }, L = {z = + i/ = }.
1
(4) La sucesion {zn}
on {zn}
n=1 con zn = 1 + i( n ), la sucesi
n=1
1

n
con zn = n + i n , la sucesion {zn}n=1 con zn = i y la
n!
sucesion {zn}
n=1 con zn = i .
1.4. Representaci
on polar. Sea z = + i, si (r, ) son las
coordenadas polares de (, ) entonces:
= r cos ;

= r sin

entonces podemos escribir z = r(cos + i sin ) en esta notacion

r es siempre mayor o igual a cero y corresponde al modulo | z |.
El angulo polar se llama el argumento del numero complejo
y se denota por arg(z).
Si se consideran dos numeros complejos:
z1 = r1(cos 1 + i sin 1);

z2 = r2(cos 2 + i sin 2)

VICTOR

mediante las formulas de adicion para sin y cos se obtiene que:

z1z2 = r1r2(cos(1 + 2) + i sin(1 + 2))
de donde se tiene que
| z1z2 |= r1r2;

arg(z1z2) = arg(z1) + arg(z2)

Se puede notar que el argumento de 0 no esta definido, la

formula anterior tiene sentido si z1 y z2 son diferentes de 0. Por
otra parte el angulo polar esta determinado modulo multiplos
de 2.
Si z = r(cos + i sin ) , entonces z n = rn(cos n + i sin n).
Si r = 1 se obtienen la conocida formula de Moivre
(cos + i sin )n = cos n + i sin n
la que permite expresar de una manera simple cos n y sin n
en terminos de cos y sin .
Lo anterior permite resolver la ecuacion: z n = a, si suponemos
que a = (cos + i sin ) y z = r(cos + i sin ) se obtiene
que rn = y n = de donde se obtiene una solucion: z =
1
() n (cos n + i sin n ), sin embargo hay n soluciones dadas por:
1
2
2
z = () n [cos( +k )+i sin( +k )]; k = 0, k = 1, ..., (n1)
n
n
n
n
se puede notar que las n races son vertices de un polgono regular de n lados inscrito en un crculo de radio | a |.
En el caso a = 1, se trata de las races n-esimas de la unidad
2
2
n1
si: = cos 2
.
n + i sin n , entonces ellas son 1, , , ...,

Como z n 1 = (z 1)(z n1 + z n2 + ... + z 2 + z + 1), entonces

si es una raz de la unidad diferente de 1, ella satisface la

VARIABLE COMPLEJA: NOTAS PRELIMINARES

ecuacion:
1 + + 2 + ... + n2 + n1 = 0
1.5. La esfera de Riemann. En el espacio vectorial R3 con
la base canonica e1 = (1, 0, 0), e2 = (0, 1, 0), e3 = (0, 0, 1) y el
producto interno euclideano habitual. Consideramos la esfera
unitaria unitaria:
S 2 = {(x1, x2, x3) R3/x21 + x22 + x23 = 1}
y el plano:
H
= R2
= C = {(x1, x2, x3) R3/ x3 = 0}
se puede realizar una proyeccion de : S 2 {(0, 0, 1)} H
con centro el polo norte n = (0, 0, 1). Un ejercicio de geometra
( recta que pasa por n y (x1, x2, x3) S 2 hacerlo), permite
x2
x1
,
, 0) = + i = z C.
determinar (x1, x2, x3) = ( 1x
3 1x3
La transformacion ( llamada proyeccion esterografica) pone
en correspondencia biyectiva C con S 2 {(0, 0, 1)} y entonces
se puede identificar C {} con S 2 donde corresponde al
polo norte n. Se puede notar ademas que el hemisferio x3 < 0
corresponde al disco abierto | z |< 1 y el hemisferio x3 > 0
corresponde al abierto | z |> 1.
La proyeccion esterografica transforma cada lnea recta de
H
= R2
= C en un crculo en S 2 que pasa por el polo norte.
Cada crculo en S 2 corresponde a un crculo o una recta en H,
el lector puede demostrarlo rigurosamente.
Con la ayuda de la inversa de se puede calcular entre los pun

tos (x1, x2, x3) y (x1, x2, x3) de la esfera S 2 donde (x1, x2, x3) =

z y (x1, x2, x3) = z , se obtiene:

VICTOR

d(z, z ) =

2|zz |

(1+ | z |2)(1+ | z |2)

2
d(z, ) =
1+ | z |2

se puede notar que d(z, z ) 0 si y solo si | z z | 0, la

metrica d definida en S 2 es llamada la metrica cordal.
Consideremos U1 = S 2 {(0, 0, 1)} S 2, junto a la aplicacion
x1
x2
1 : U1 C definida por 1(x1, x2, x3) = 1x
+
i
1x3 = z
3
C, notar que 1(x1, x2, x3) = 0.
Consideremos U2 = S 2 {(0, 0, 1)} S 2, junto a la aplix2
x1
+i
=
cacion 2 : U1 C definida por 2(x1, x2, x3) = 1+x
1+x
3
3
w C, notar que 2(x1, x2, x3) = 0. Notar que S 2 U1 U2.
Sea 1 : U1 U2 1(U1 U2) C {0} y la trasformacion
2 : U1 U2 2(U1 U2) C {0}.
id - U U
U U
1

2
?

1(U1 U2)

2(U1 U2)

Sea z = 0 por 1
1 va en (x1 , x2 , x3 ) U1 U2 y ahora por 2
x1
x2
va en 1+x3 + i 1+x3 = w, es decir: = 2 1
1 (z) = w, usando
que x21 + x22 + x23 = 1 el lector puede probar que w = z1 entonces
1
2 1
1 (z) = z .
Lo anterior justificara: si queremos mirar el comportamiento
en {} en el plano complejo extendido C {} debemos cambiar la variable z por la variable w = z1 .