Tema 1.2: Topologa del plano complejo.

La
esfera de Riemann
Facultad de Ciencias Experimentales, Curso 2008-09
E. de Amo
Pretendemos dotar al plano complejo C de una estructura topolgica. Si
de lo que se trata es de buscar entre los candidatos, la topologa asociada a la
distancia dada por el valor absoluto habr de ser la primera a considerar:
d(., n) := [. n[ , \., n C.
Acostumbraremos a escribir, como es usual,
.
n
. := \- 0, :
0
N : : _ :
0
== d (.
n
, .) < -.
En estas circunstancias, se van a vericar las siguientes propiedades que
resumimos sin demostracin:
Proposicin. Sean (.
n
) y (n
n
) dos sucesiones en C, convergentes a . y n,
respectivamente. Entonces:
i. .
n
+ n
n
. + n
ii. .
n
n
n
.n
iii. Si n ,= 0 (y, por tanto, n
n
,= 0, \: _ :
0
), entonces
zn
wn

z
w
Proposicin. Para que la serie de nmeros complejos

n0
.
n
sea conver-
gente, es suciente que

n0
[.
n
[ tambin lo sea.
Test de mayoracin de Weierstrass. Sean O ,= C y

n1
)
n
una
serie de funciones de en C. Supongamos que existe una sucesin de
reales positivos ('
n
)
n1
, tal que
a. [)
n
(a)[ _ '
n
, \a , \: N, y
b.

n1
'
n
converge.
Entonces la serie

n1
)
n
converge absoluta y uniformemente en .
De hecho, el par (C, d) es un espacio mtrico completo (no estamos hablando
de otra cosa, hasta ahora, que el plano eucldeo). Adems, C es un cuerpo
topolgico: es lo que nos dice la primera de las proposiciones arriba enunciadas
sobre la compatibilidad de las operaciones suma y producto y la distancia d.
Ser til, por tanto, el
1
Teorema de Hausdor. En todo espacio mtrico 1, son equivalentes:
i. 1 es compacto.
ii. Toda sucesin en 1 admite parcial convergente en 1.
iii. Todo subconjunto innito en 1 tiene acumulacin en 1.
Observemos que C es un espacio mtrico localmente compacto, pues los
discos cerrados (de centro . C y radio r 0)
1(., r) := n C : [. n[ < r
son compactos. Podemos aplicar, por tanto, es aplicable el
Teorema de Alexandro. Sea A un espacio topolgico localmente com-
pacto y de Hausdor. Sea un objeto matemtico tal que , A.
Consideremos el par (A
1
, t), donde A
1
:= A ' y t es la familia
dada por
abiertos de A ' A
1
: A compacto .
Entonces
i. (A
1
, t) es un espacio topolgico compacto y de Hausdor.
ii. La topologa inducida en A por A
1
es la de partida de A.
Si aplicamos este teorema al plano complejo C obtendremos lo que llamamos
el plano ampliado C
1
, que acostumbraremos a escribir como C. Es evidente que
los entornos de cada punto . C admiten discos abiertos contenidos en ellos,
de la forma
1(., r) := n C : [. n[ < r .
(El caso paradigmtico ser cuando . = 0, r = 1: D := 1(0, 1), el disco unidad.)
Para el punto , que llamaremos (punto del) innito, una base de entornos
es la dada por
l

: j 0 ,
donde
l

:= . C : [.[ j ' C.
En efecto: si G t, con G, se tiene que CG es compacto, luego acotado:
existe j 0 tal que si . CG entonces [.[ _ j; as, l

G. Y como
consecuencia de ser l

: j 0 base de entornos:
Proposicin. Para cada sucesin (.
n
) de nmeros complejos de tiene que
.
n
= [.
n
[ +.
2
Es sencillo verlo:
.
n
= \j 0, :; : _ : == [.
n
[ j = [.
n
[ +.
Es importante observar que, pese a todo, en C ya no se podr operar como
en C: el objeto slo se ha incorporado con nes topolgicos, no operacionales;
C no es un cuerpo. De hecho, hay ms:
Proposicin. No hay ninguna distancia en C que genere la topologa t.
En efecto; si fuese lo contrario, para tal d : C C [0, +[ se tendra, en
particular, que
: = d(:, ) 0.
Pero:
d(:, 0) = : _ d(0, ) + d(, :) _ d(0, ) + ', : _ :
0
,
de modo que N estara acotado; y sabemos que esto no es bueno...
Pese a no poder obtener la topologa de C a partir de la distancia eucldea,
es decir, pese a no poder extender la distancia eucldea a C, lo que s que se
puede es denir otra distancia en el plano C que s se pueda extender a C. Nos
familiarizaremos con la Esfera de Riemann y la Proyeccin Estereogrca.
Consideremos la esfera unidad del espacio eucldeo R
3
:
o
2
:=
_
(a, /, c) R
3
: a
2
+ /
2
+ c
2
= 1
_
y establezcamos
: o
2
C
dada por
(a, /, c) :=
_
a+ib
1c
..., (a, /, c) ,= (0, 0, 1)
..., (a, /, c) = (0, 0, 1)
La inversa de es fcilmente calculable:

1
(.) =
_
_
_
_
z+z
1+jzj
2
,
zz
i(1+jzj
2
)
,
jzj1
1+jzj
2
_
..., . C
(0, 0, 1) ..., . =
(Comprueba la frmula para
1
.)
Observamos que es homeomorsmo entre los espacios de Hausdor com-
pactos o
2
y C. (Por esta razn se le suele llamar Esfera de Riemann al plano
ampliado.) La compacidad en C aporta algo esencial que lo diferencia de C:
todas las sucesiones de complejos se acumulan en C.
Se dene la distancia o mtrica cordal en C como la aplicacin
c (., n) : =

1
(.)
1
(n)

=
=
_
_
_
2jzwj
_
1+jzj
2
_
1+jwj
2
..., ., n C
1
_
1+jzj
2
..., . C, n =
3
(observa que
1
(.) y
1
(n) estn sobre la esfera o
2
, de ah el nombre
de"cordal").
(Comprueba que la frmula anterior que nos da la distancia cordal en tr-
minos de . y n.)
Resumimos lo anterior:
Ventaja: la mtrica cordal c se tiene en todo C
Desventaja:
_
C, c
jC
_
no es un mtrico completo
Y podemos completar las propiedades de convergencia de sucesiones de C a
C del siguiente modo:
Proposicin. i. Si .
n
y n
n
n C0, entonces .
n
n
n

ii. Para .
n
; : N C0, entonces .
n
=
1
zn
0
A continuacin introducimos los contenidos topolgicos mnimos que nos
sern imprescindibles para lo que sigue. Si bien el contexto ser generalizable a
situaciones abstractas, nos limitaremos a presentar las deniciones y los resul-
tados en el ambiente del plano complejo C.
Recordemos que la acumulacin de un conjunto de nmeros complejos se
dene como

0
:= . C : (a
n
) a; a
n
a ;
que el cierre o adherencia de un conjunto de nmeros complejos viene dado
por
:= '
0
y que para todo conjunto C innito y acotado, se tiene que
0
,= O.
Esta propiedad equivale, tal y como ocurre en todo eucldeo que se pre-
cie, a que toda sucesin innita en un acotado admita una parcial convergente
(propiedad de Weierstrass). Del mismo modo, para O , = C, son equivalentes
(teorema de Heine-Borel):
i. es cerrado y acotado
ii. es compacto (todo cubrimiento por abiertos de admite un recubrim-
iento nito).
La frontera de , que la denotaremos por 0, se dene como
0 = C.
Un conjunto se va a decir conexo si no se puede expresar como la unin
disjunta de dos abiertos relativos. En particular, ello conlleva que si el conexo
es un conjunto abierto y cerrado, entonces = O o bien = C. Para cada
a , llamaremos componente conexa de a, que se notar por C
A
[a], al mayor
conexo en tal que a C
A
[a].
4
Si no hay confusin, evitaremos el subndice, de modo que se escribir, sim-
plemente, C[a]. Claramente, es conexo si, y slo si, C[a] = C[/] para cua-
lesquiera a, / y cada conjunto se puede expresar como unin disjunta de sus
componentes conexas. Adems a = C[a], si, y slo si, a es un punto aislado
de .
Un concepto central en este curso:
DEFINICIN DE DOMINIO.
Se dice dominio del plano complejo a cualquier abierto y conexo. Es decir,
cualquier punto del mismo admite como entorno a algn disco:
\a r 0 : 1(a, r) .
Las componentes conexas de un abierto son, igualmente, abiertos (de hecho,
dominios).
Damos el paso a considerar propiedades funciones complejas de variable com-
pleja.
Proposicin. Sean O ,= C, ) : C, | C y a
0
. Cada una de las
siguientes armaciones implica la otra:
i. Para toda sucesin (a
n
) de elementos en a convergente a a, se
tiene que )(a
n
) |.
ii. Para cada real positivo -, existe otro c tal que si 0 < [r a[ < c, r
, entonces [) (r) |[ < -.
Se dir, caso de vericarse estas armaciones, que ) tiene lmite | en el punto
a; y escribiremos
| = lim
x!a
)(r).
Proposicin. Sean O ,= C, ) : C y a
0
. Cada una de las
siguientes armaciones implica la otra:
i. Para toda sucesin (a
n
) de elementos en convergente a a, se tiene
que )(a
n
) )(a).
ii. Para cada real positivo -, existe otro c tal que si [r a[ < c, r ,
entonces [) (r) )(a)[ < -.
Se dir, caso de vericarse estas armaciones, que ) es continua en el punto a.
Es de observar que:
a. En caso de que a
0
, ambos conceptos coinciden si, y slo si,
lim
x!a
)(r) = )(a).
5
b. Si a es punto aislado de , dominio de ), siempre habr continuidad (por
el carcter local de la misma) y no tendr sentido plantear la existencia o
no de lmite. De modo anlogo, si a
0
, entonces no tendr sentido
plantear la continuidad o no de ) en a.
Se trata de propiedades locales; en particular, se tiene cierta la siguiente
Propiedad del carcter local de la continuidad. Sea ) : C C
una funcin y sea a . Sea c 0 y llamemos 1 := r : [r a[ < c.
Entonces, equivalen:
i. ) es continua en a.
ii. )
jB
es continua en a.
Los ejemplos conocidos ya por nosotros, en este corto periodo de vida que
llevamos con la variable compleja, son todos de funciones continuas con lmite
en todo su dominio:
a. el mdulo o valor absoluto,
b. la conjugacin de nmeros complejos,
c. la suma y producto de nmeros complejos...
d. salvo, el nada trivial ejemplo de la funcin argumento (principal, o cualquiera
de sus ramas); lo cual se demostrar en breve.
Las propiedades fundamentales de las funciones continuas sobre conjuntos
destacados que nos interesan las recogemos en la siguiente
Proposicin. Sea ) : C C una funcin continua. Entonces:
i. Si es un conjunto conexo, entonces )() es conexo.
ii. Si es un cojunto compacto, entonces )() es compacto.
Vamos ya con propiedades nada triviales. Concretamente, comenzamos
probando que el argumento principal es continuo en todo el plano salvo un rayo
que parte del origen. Adems, completaremos esta informacin probando que
no es posible mejorar esta situacin: sto le va a pasar a cualquier determinacin
que tomemos para el argumento.
Proposicin. La funcin argumento principal
arg : C0 R
arg(.) : =
_
2 arctan
Imz
jzj+Re z
..., . , R

..., . R

es continua en CR

0
.
6
Demostracin. Como CR

0
es un abierto y arg
jCnR

0
es continua, por su
forma de denicin, el carcter local de la continuidad nos dice que tambin
lo va a ser arg . Que la continuidad se rompe en el conjunto R

0
, se pone de
maniesto de la siguiente manera: consideramos r R
+
y la sucesin (.
n
) dada
por
.
n
:= r + i
(1)
n
:
r.
En estas condiciones, la sucesin
arg (.
n
) = 2 arctan
(1)
n
n
r +
_
r
2
+
1
n
2
= 2 (1)
n
arctan
1
:r +
_
1 + :
2
r
2
no es convergente, por lo que el argumento principal no converge en ningn
punto de R

.
Proposicin. Si o es una semirrecta cerrada que parte del origen (0 o),
entonces podemos encontrar una funcin continua ) de Co en R tal que
)(.) Arg (.) , \. Co.
Demostracin. Sabemos que el argumento principal viene caracterizado
por dos propiedades:
a. . C0 == arg(.) Arg(.)
b. . C0 == arg(.) ], ] .
Sea ahora 0 R, y denamos a

: C0 R dada por:
a. . C0 == a

(.) Arg(.)
b. . C0 == a

(.) ], ] .
Observamos que si , := a

(.), con . C0, entonces , ]0 , 0 + ];

luego
< , 0 _ .
Sea ahora n := c
i
. As,
, Arg (.) == , 0 Arg
_
.
n
_
;
luego a

(.) = arg
_
z
w
_
+ 0 y, en consecuencia:
a

es continua en . == arg es continua en

.
n
==
== arg
_
.
n
_
,= == a

(.) ,= + 0 ==
== + 0 , Arg (.) .
Q.E.D.
Un conjunto del plano C se dice conexo por poligonales si cualesquiera
dos puntos suyos se pueden unir por un conjunto nito de segmentos, todos
completamente contenidos en .
7
El siguiente resultado ser clave (entre toda una multitud de cosas) para ver
que en C, la situacin
conexo por poligonales

conexo por arcos

conexo
tiene recproco cierto cuando se considera sobre dominios; es decir, si el conjunto,
adems de conexo, es abierto.
Lema de Conexin. Sean un dominio del plano C y O , = . Supong-
amos que verica la siguiente condicin:
a , 1(a, r) == 1(a, r) .
Entonces = .
Demostracin. La hiptesis nos dice de que es un abierto relativo en .
Por tanto, bastar probar que es, tambin, cerrado relativo a . Sea . .
Ha de existir r 0 tal que
1(., r) y 1
_
.,
r
2
_
,= O.
Sea, pues existe, a tal que [. a[ < r,2. As, si n 1(a, r,2),
[n .[ _ [n a[ +[. a[ < r,
luego n , de donde 1(a, r,2) . Aplicamos ahora la hiptesis de este
lema: 1(a, r,2) .
Pero esto conlleva que . , luego es un abierto y cerrado relativo a
no vaco: = . Q.E.D.
Proposicin. Todo dominio del plano complejo C es conexo por poligo-
nales.
Demostracin. Sea c . Llamemos
:= . : . se puede unir con c por una poligonal .
Claramente ,= O, o no? Sea, pues, a y sea r 0 tal que 1(a, r) . Es
claro que
. 1(a, r) == . ,
luego, por el lema de conexin, = . Q.E.D.
Gracias a que C es localmente conexo (y, por tanto, los abiertos son, local-
mente, dominios):
Proposicin. Las componentes conexas de un abierto del plano complejo
C son dominios.
8
Demostracin. Sea una componente conexa de . Veamos que es
abierta. Sea a y sea r 0 tal que 1(a, r) . Por argumentos de
conexin habr de ser 1(a, r) (detalla el argumento!), luego es un
abierto. Q.E.D.
(Recordemos que en C los abiertos se pueden expresar como unin numerable
de sus componentes conexas.)
Curvas en el plano complejo
Vamos a completar este tema con una introduccin al concepto de curva, tal
y como se va a usar en Variable Compleja.
Denicin. Llamamos curva en el plano C a cualquier aplicacin continua de
la forma
: [a, /] C.
Se acostumbra a escribir:

:= ([a, /]) := (r(t), j(t)) : t [a, /]

como la imagen de la curva, donde r, j son funciones continuas de [a, /]
en R.
Observemos que, aunque escribamos
(t) = (r(t), j(t)),
debemos no confundir entre la aplicacin y su (conjunto) imagen

C.
Con todo, se sobreentender, en cada caso, a quin nos estamos reriendo. A
(r(a) , j (a)) se le llama origen de c, mientras que a (r(/) , j (/)) se le llama
extremo de . Si origen y extremo son el mismo punto, a la curva se le llama
cerrada.
Observemos, igualmente, que las curvas pueden tener autocortes; es decir, no
tienen porqu ser aplicaciones inyectivas (pensemos en un lazo, por ejemplo).
Veamos algunos ejemplos que nos familiarizarn con expresiones con las que
habremos de acostumbrarnos.
Ejemplo 1. (Segmentos) Dados ., n C, el segmento de origen . y extremo
r es la curva
[., n] : [0, 1] C
dada por
[., n] (t) := tn + (1 t) ., \t [0, 1] .
Observemos cmo en este caso, la imagen [., n]

de [., n] coincide con lo

que en un exceso (recordemos que no hay orden en C!) podra llamarse
"intervalo de extremos" . y n, y que no podra escribirse de otra manera
sino [., n]. Esta curva recorre el segmento a velocidad constante, desde .
a n.
9
Ejemplo 2. (Circunferencias) La expresin

:= (a + r cos (t) , / + r sin(t)) : t [0, 2]

nos muestra la imagen de una curva cerrada que representa un circun-
ferencia de radio r 0 con centro en el punto (a, /) C, y que es recorrida
a velocidad constante en el sentido positivo (el contrario alas agujas del
reloj). Notemos que, en nuestro lenguaje,

= C((a, /), r).

(Nuestro caso ms familiar ser el de la circunferencia unidad T, cuando a =
/ = 0, r = 1.)
Ejemplo 3. (Yuxtaposicin) Si disponemos de dos curvas

1
: [a, /] C,
2
: [c, d] C
tales que
1
(/) =
2
(c), se puede denir lo que se llama curva suma de
ambas, y que se notar por
1
+
2
, como la aplicacin

1
+
2
: [0, 1] C
dada por
(
1
+
2
) (t) :=
_

1
(2t/ + (1 2t) a) ..., 0 _ t _
1
2

2
_
2
_
t
1
2
_
d + 2 (1 t) c
_
...,
1
2
_ t _ 1.
O bien, si se preere una parametrizacin sencilla sobre el intervalo [a, / + d c],
se puede hacer:
(
1
+
2
) (t) :=
_

1
(t) ..., a _ t _ /

2
(c / + t) ..., / _ t _ / + d c.
Ejemplo 4. (Curva opuesta) Si : [a, /] C es una curva, su opuesta
ser la nueva curva dada por
: [a, /] C
dada por
(t) := (/ + a t) , \t [a, /] .
Es decir, ()

y sus recorridos son opuestos: los hacen en sentido

contrario el uno respecto del otro. (En particular, el origen de una es el
extremo de la otra, y viceversa.) Por ello se dice que y son curvas
opuestas o de orientaciones contrarias. Y, en particular, + () es una
curva cerrada: representa un "sendero de ida y vuelta".
Ejemplo 5. (Poligonales) Los ejemplos 1 y 3 nos permiten escribir, con pleno
signicado, expresiones de la forma:
[.
1
, .
n
] = [.
1
, .
2
] + [.
2
, .
3
] + ... + [.
n1
, .
n
] .
10
Ejemplo 6. Una curva no ha de ser necesariamente, como ya se dijo ms
arriba, inyectiva (verica los clculos y estudia con detalle lo que repre-
senta):
t c
it
, \t [, 2] .
Una curva se dice regular si es derivable en todo punto. Se dice regular a
trozos si se puede expresar como yuxtaposicin de curvas regulares. Se dir
camino si se trata de una curva cerrada regular a trozos.
Cuando una curva es regular, se puede calcular su longitud mediante la
conocida frmula:
long () :=
_
b
a
[
0
(t)[ dt.
Puedes dar un vistazo de repaso y analizar las propiedades de las curvas
anteriores, en los ejemplos, en relacin a estos conceptos recin enunciados, as
como completar los detalles en los ejemplos 7 a 9 que siguen. En particular, se
puede refrescar lo concerniente a curvas recticables, que no son otras que las
funciones de variacin acotada: en el caso de que sean curvas regulares, su lon-
gitud (el supremo, nito, de las correspondientes sumas poligonales asociadas)
admite la representacin integral que aparece arriba.
Ejemplo 7. [1, 1] + [1, 1 + i] + [1 + i, 1 i]
Ejemplo 8. [1 i, 0] + [0, 1 + i] +

, donde
(t) :=
_
2c
i(t+

4
)
, \t
_
0, 3

2
_
.
Ejemplo 9. (t) := c
it
cos t, \t [0, 2] .
EJERCICIOS PROPUESTOS
1. Estdiese la existencia de lmite en el origen para la funcin compleja de
variable compleja ) denida en un entorno perforado del origen, cuando:
a. )(.) =
Re z
jzj
, b. )(.) =
z Re z
jzj
.
2. Sea ) una funcin compleja de variable compleja uniformemente continua
denida sobre el disco unidad D. Prubese que se trata de la restriccin,
al disco unidad (abierto), de alguna funcin q continua en el disco unidad
cerrado D.
3. Sea ) una funcin compleja de variable compleja continua en un dominio
. Supongamos que verica

)
2
(.) 1

< 1, \. .
Prubese que o bien Re )(.) < 0 o bien Re )(.) 0, para todo . .
11
4. Sea un dominio del plano complejo y sea ) una funcin compleja denida
sobre l. Supongamos que Re )(.) ,= 0 y que )
2
(.) = . en . Prubese
que, bajo estas hiptesis, o bien )(.) =
_
. o bien )(.) =
_
., para todo
. .
5. Sea una sucesin (.
n
) de nmeros complejos no nulos convegente a otro
complejo no nulo ., y sea 0 Arg(.). Prubese la existencia de una
sucesin (0
n
) tal que
0
n
Arg (.
n
) , \: natural y 0
n
0.
(Indicacin: redzcase el problema al caso . = 1.)
6. Hgase un estudio detallado de la proyeccin estereogrca: cmo se trans-
forma el hemisferio norte, cmo el hemisferio sur, cmo regiones acotadas
de la esfera no tienen porqu serlo en su correspondiente regin del plano
complejo ampliado, etc. Por ejemplo, qu accin signica sobre la esfera
o
2
la funcin compleja de variable compleja . )(.) = 1,.?
7. Prubese que la proyeccin estereogrca de cualquier circunferencia con-
tenida en la esfera de Riemann es una recta o una circunferencia en el
plano complejo, segn que la circunferencia de partida pase o no, respec-
tivamente, por el Polo Norte de la esfera.
8. Qu condiciones han de vericar dos puntos del plano complejo para ser
las proyecciones estereogrcas de dos puntos diametralmente opuestos de
la esfera de Riemann?
9. Considera la esfera de radio
1
2
tangencialmente situada sobre el origen del
plano complejo C. Calcula las ecuaciones de la correspondiente proyeccin
estereogrca.
12