Está en la página 1de 12

Tema 1.2: Topología 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 topológica. Si
de lo que se trata es de buscar entre los candidatos, la topología 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 veri…car las siguientes propiedades que
resumimos sin demostración:
Proposición. 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
Proposición. Para que la serie de números complejos

n0
.
n
sea conver-
gente, es su…ciente que

n0
[.
n
[ también lo sea.
Test de mayoración de Weierstrass. Sean O ,= ¹ ¸ C y

n1
)
n
una
serie de funciones de ¹ en C. Supongamos que existe una sucesión 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 métrico completo (no estamos hablando
de otra cosa, hasta ahora, que el plano euclídeo). Además, C es un cuerpo
topológico: 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 métrico 1, son equivalentes:
i. 1 es compacto.
ii. Toda sucesión en 1 admite parcial convergente en 1.
iii. Todo subconjunto in…nito en 1 tiene acumulación en 1.
Observemos que C es un espacio métrico 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 topológico localmente com-
pacto y de Hausdor¤. Sea · un objeto matemático 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 topológico compacto y de Hausdor¤.
ii. La topología 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 paradigmático será cuando . = 0, r = 1: D := 1(0, 1), el disco unidad.)
Para el punto ·, que llamaremos (punto del) in…nito, 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 C¸G es compacto, luego acotado:
existe j 0 tal que si . ¸ C¸G entonces [.[ _ j; así, l

¸ G. Y como
consecuencia de ser ¦l

: j 0¦ base de entornos:
Proposición. Para cada sucesión (.
n
) de números 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 ·sólo se ha incorporado con …nes topológicos, no operacionales;
C no es un cuerpo. De hecho, hay más:
Proposición. No hay ninguna distancia en C que genere la topología t.
En efecto; si fuese lo contrario, para tal d : C C ÷ [0, +·[ se tendría, en
particular, que
: ÷ · = d(:, ·) ÷ 0.
Pero:
d(:, 0) = : _ d(0, ·) + d(·, :) _ d(0, ·) + ', : _ :
0
,
de modo que N estaría acotado; y sabemos que esto no es bueno...
Pese a no poder obtener la topología de C a partir de la distancia euclídea,
es decir, pese a no poder extender la distancia euclídea a C, lo que sí que se
puede es de…nir otra distancia en el plano C que sí se pueda extender a C. Nos
familiarizaremos con la Esfera de Riemann y la Proyección Estereográ…ca.
Consideremos la esfera unidad del espacio euclídeo 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 fácilmente calculable:
¸
1
(.) =
_
_
_
_
z+z
1+jzj
2
,
zz
i(1+jzj
2
)
,
jzj1
1+jzj
2
_
..., . ¸ C
(0, 0, 1) ..., . = ·
(Comprueba la fórmula para ¸
1
.)
Observamos que ¸ es homeomor…smo entre los espacios de Hausdor¤ com-
pactos o
2
y C. (Por esta razón 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 de…ne la distancia o métrica cordal en C como la aplicación
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) están sobre la esfera o
2
, de ahí el nombre
de"cordal").
(Comprueba que la fórmula anterior que nos da la distancia cordal en tér-
minos de . y n.)
Resumimos lo anterior:
Ventaja: la métrica cordal c se tiene en todo C
Desventaja:
_
C, c
jC
_
no es un métrico completo
Y podemos completar las propiedades de convergencia de sucesiones de C a
C del siguiente modo:
Proposición. i. Si .
n
÷ · y n
n
÷ n ¸ C¸¦0¦, entonces .
n
n
n
÷ ·
ii. Para ¦.
n
; : ¸ N¦ ¸ C¸¦0¦, entonces .
n
÷ · =
1
zn
÷ 0
A continuación introducimos los contenidos topológicos mínimos que nos
serán imprescindibles para lo que sigue. Si bien el contexto será generalizable a
situaciones abstractas, nos limitaremos a presentar las de…niciones y los resul-
tados en el ambiente del plano complejo C.
Recordemos que la acumulación de un conjunto ¹ de números complejos se
de…ne como
¹
0
:= ¦. ¸ C : ¬(a
n
) ¸ ¹¸¦a¦; a
n
÷ a¦ ;
que el cierre o adherencia ¹ de un conjunto ¹ de números complejos viene dado
por
¹ := ¹' ¹
0
y que para todo conjunto ¹ ¸ C in…nito y acotado, se tiene que ¹
0
,= O.
Esta propiedad equivale, tal y como ocurre en todo euclídeo que se pre-
cie, a que toda sucesión in…nita 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 de…ne como
0¹ = ¹¨ C¸¹.
Un conjunto ¹ se va a decir conexo si no se puede expresar como la unión
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 confusión, evitaremos el subíndice, de modo que se escribirá, sim-
plemente, C[a]. Claramente, ¹ es conexo si, y sólo si, C[a] = C[/] para cua-
lesquiera a, / ¸ ¹ y cada conjunto se puede expresar como unión disjunta de sus
componentes conexas. Además ¦a¦ = C[a], si, y sólo si, a es un punto aislado
de ¹.
Un concepto central en este curso:
DEFINICIÓN DE DOMINIO.
Se dice dominio del plano complejo a cualquier abierto y conexo. Es decir,
cualquier punto del mismo admite como entorno a algún 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.
Proposición. Sean O ,= ¹ ¸ C, ) : ¹ ÷ C, | ¸ C y a ¸ ¹
0
. Cada una de las
siguientes a…rmaciones implica la otra:
i. Para toda sucesión (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 veri…carse estas a…rmaciones, que ) tiene límite | en el punto
a; y escribiremos
| = lim
x!a
)(r).
Proposición. Sean O ,= ¹ ¸ C, ) : ¹ ÷ C y a ¸ ¹ ¨ ¹
0
. Cada una de las
siguientes a…rmaciones implica la otra:
i. Para toda sucesión (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 veri…carse estas a…rmaciones, que ) es continua en el punto a.
Es de observar que:
a. En caso de que a ¸ ¹¨ ¹
0
, ambos conceptos coinciden si, y sólo si,
lim
x!a
)(r) = )(a).
5
b. Si a es punto aislado de ¹, dominio de ), siempre habrá continuidad (por
el carácter local de la misma) y no tendrá sentido plantear la existencia o
no de límite. De modo análogo, 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 carácter local de la continuidad. Sea ) : ¹ ¸ C ÷ C
una función 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 límite
en todo su dominio:
a. el módulo o valor absoluto,
b. la conjugación de números complejos,
c. la suma y producto de números complejos...
d. salvo, el nada trivial ejemplo de la función 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
Proposición. Sea ) : ¹ ¸ C ÷C una función 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. Además, completaremos esta información probando que
no es posible mejorar esta situación: ésto le va a pasar a cualquier determinación
que tomemos para el argumento.
Proposición. La función argumento principal
arg : C¸¦0¦ ÷R
arg(.) : =
_
2 arctan
Imz
jzj+Re z
..., . , ¸ R

¬..., . ¸ R

es continua en C¸R

0
.
6
Demostración. Como C¸R

0
es un abierto y arg
jCnR

0
es continua, por su
forma de de…nición, el carácter local de la continuidad nos dice que también
lo va a ser arg . Que la continuidad se rompe en el conjunto R

0
, se pone de
mani…esto de la siguiente manera: consideramos r ¸ R
+
y la sucesión (.
n
) dada
por
.
n
:= ÷r + i
(÷1)
n
:
÷ ÷r.
En estas condiciones, la sucesión
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 ningún
punto de R

.
Proposición. Si o es una semirrecta cerrada que parte del origen (0 ¸ o),
entonces podemos encontrar una función continua ) de C¸o en R tal que
)(.) ¸ Arg (.) , \. ¸ C¸o.
Demostración. Sabemos que el argumento principal viene caracterizado
por dos propiedades:
a. . ¸ C¸¦0¦ == arg(.) ¸ Arg(.)
b. . ¸ C¸¦0¦ == arg(.) ¸ ]÷¬, ¬] .
Sea ahora 0 ¸ R, y de…namos a

: C¸¦0¦ ÷÷R dada por:
a’. . ¸ C¸¦0¦ == a

(.) ¸ Arg(.)
b’. . ¸ C¸¦0¦ == a

(.) ¸ ]÷¬, ¬] .
Observamos que si , := a

(.), con . ¸ C¸¦0¦, 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 situación
conexo por poligonales
¸
conexo por arcos
¸
conexo
tiene recíproco cierto cuando se considera sobre dominios; es decir, si el conjunto,
además de conexo, es abierto.
Lema de Conexión. Sean un dominio del plano C y O , = ¹ ¸ . Supong-
amos que ¹ veri…ca la siguiente condición:
a ¸ ¹, 1(a, r) ¸ == 1(a, r) ¸ ¹.
Entonces ¹ = .
Demostración. La hipótesis nos dice de ¹ que es un abierto relativo en .
Por tanto, bastará probar que es, también, 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 hipótesis de este
lema: 1(a, r,2) ¸ ¹.
Pero esto conlleva que . ¸ ¹, luego ¹ es un abierto y cerrado relativo a
no vacío: ¹ = . Q.E.D.
Proposición. Todo dominio del plano complejo C es conexo por poligo-
nales.
Demostración. 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 conexión, ¹ = . Q.E.D.
Gracias a que C es localmente conexo (y, por tanto, los abiertos son, local-
mente, dominios):
Proposición. Las componentes conexas de un abierto ¹ del plano complejo
C son dominios.
8
Demostración. Sea una componente conexa de ¹. Veamos que es
abierta. Sea a ¸ y sea r 0 tal que 1(a, r) ¸ ¹. Por argumentos de
conexión 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 unión numerable
de sus componentes conexas.)
Curvas en el plano complejo
Vamos a completar este tema con una introducción al concepto de curva, tal
y como se va a usar en Variable Compleja.
De…nición. Llamamos curva en el plano C a cualquier aplicación 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 aplicación ¸ y su (conjunto) imagen ¸

¸ C.
Con todo, se sobreentenderá, en cada caso, a quién nos estamos re…riendo. 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 familiarizarán 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 cómo en este caso, la imagen [., n]

de [., n] coincide con lo
que en un exceso (¡recordemos que no hay orden en C!) podría llamarse
"intervalo de extremos" . y n, y que no podría escribirse de otra manera
sino [., n]. Esta curva recorre el segmento a velocidad constante, desde .
a n.
9
Ejemplo 2. (Circunferencias) La expresión
¸

:= ¦(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 más familiar será el de la circunferencia unidad T, cuando a =
/ = 0, r = 1.)
Ejemplo 3. (Yuxtaposición) Si disponemos de dos curvas
¸
1
: [a, /] ÷÷C, ¸
2
: [c, d] ÷÷C
tales que ¸
1
(/) = ¸
2
(c), se puede de…nir lo que se llama curva suma de
ambas, y que se notará por ¸
1
+ ¸
2
, como la aplicación
¸
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 pre…ere una parametrización 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
signi…cado, 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 más
arriba, inyectiva (veri…ca los cálculos 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 yuxtaposición 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 fórmula:
long (¸) :=
_
b
a

0
(t)[ dt.
Puedes dar un vistazo de repaso y analizar las propiedades de las curvas
anteriores, en los ejemplos, en relación a estos conceptos recién enunciados, así
como completar los detalles en los ejemplos 7 a 9 que siguen. En particular, se
puede refrescar lo concerniente a curvas recti…cables, que no son otras que las
funciones de variación acotada: en el caso de que sean curvas regulares, su lon-
gitud (el supremo, …nito, de las correspondientes sumas poligonales asociadas)
admite la representación 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. Estúdiese la existencia de límite en el origen para la función compleja de
variable compleja ) de…nida en un entorno perforado del origen, cuando:
a. )(.) =
Re z
jzj
, b. )(.) =
z Re z
jzj
.
2. Sea ) una función compleja de variable compleja uniformemente continua
de…nida sobre el disco unidad D. Pruébese que se trata de la restricción,
al disco unidad (abierto), de alguna función q continua en el disco unidad
cerrado D.
3. Sea ) una función compleja de variable compleja continua en un dominio
. Supongamos que veri…ca
¸
¸
)
2
(.) ÷1
¸
¸
< 1, \. ¸ .
Pruébese que o bien Re )(.) < 0 o bien Re )(.) 0, para todo . ¸ .
11
4. Sea un dominio del plano complejo y sea ) una función compleja de…nida
sobre él. Supongamos que Re )(.) ,= 0 y que )
2
(.) = . en . Pruébese
que, bajo estas hipótesis, o bien )(.) =
_
. o bien )(.) = ÷
_
., para todo
. ¸ .
5. Sea una sucesión (.
n
) de números complejos no nulos convegente a otro
complejo no nulo ., y sea 0 ¸ Arg(.). Pruébese la existencia de una
sucesión (0
n
) tal que
0
n
¸ Arg (.
n
) , \: natural y 0
n
÷ 0.
(Indicación: redúzcase el problema al caso . = 1.)
6. Hágase un estudio detallado de la proyección estereográ…ca: cómo se trans-
forma el hemisferio norte, cómo el hemisferio sur, cómo regiones acotadas
de la esfera no tienen porqué serlo en su correspondiente región del plano
complejo ampliado, etc. Por ejemplo, ¿qué acción signi…ca sobre la esfera
o
2
la función compleja de variable compleja . ÷ )(.) = 1,.?
7. Pruébese que la proyección estereográ…ca de cualquier circunferencia con-
tenida en la esfera de Riemann es una recta o una circunferencia en el
plano complejo, según que la circunferencia de partida pase o no, respec-
tivamente, por el Polo Norte de la esfera.
8. ¿Qué condiciones han de veri…car dos puntos del plano complejo para ser
las proyecciones estereográ…cas 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 proyección
estereográ…ca.
12

(X1 . ).) Para el punto 1. Sea 1 un objeto matemático tal que 1 2 X. con 1 2 G. se tiene que CnG es compacto. ii. En todo espacio métrico E. que acostumbraremos a escribir como C: Es evidente que los entornos de cada punto z 2 C admiten discos abiertos contenidos en ellos. = Consideremos el par (X1 . donde X1 := X [ f1g y es la familia dada por fabiertos de Xg [ fA Entonces i. el disco unidad. i. E es compacto. por tanto. ) es un espacio topológico compacto y de Hausdor¤. Para cada sucesión (zn ) de números complejos de tiene que zn ! 1 . Y como consecuencia de ser fU : > 0g base de entornos: Proposición. es aplicable el Teorema de Alexandro¤. Podemos aplicar. de la forma D(z. que llamaremos (punto del) in…nito. así. pues los discos cerrados (de centro z 2 C y radio r > 0) D(z. U G. 1). La topología inducida en X por X1 es la de partida de X: X1 : XnA compactog : Si aplicamos este teorema al plano complejo C obtendremos lo que llamamos el plano ampliado C1 .Teorema de Hausdor¤. ii. jzn j ! +1: 2 . r) := fw 2 C : jz wj < rg son compactos. Sea X un espacio topológico localmente compacto y de Hausdor¤. iii. luego acotado: existe > 0 tal que si z 2 CnG entonces jzj . son equivalentes: Toda sucesión en E admite parcial convergente en E: Todo subconjunto in…nito en E tiene acumulación en E: Observemos que C es un espacio métrico localmente compacto. una base de entornos es la dada por fU : > 0g . r = 1: D := D(0. donde U := fz 2 C : jzj > g [ f1g C: En efecto: si G 2 . r) := fw 2 C : jz wj < rg : (El caso paradigmático será cuando z = 0.

pese a todo. c) 2 R3 : a2 + b2 + c2 = 1 y establezcamos : S2 ! C dada por (a. Consideremos la esfera unidad del espacio euclídeo R3 : S 2 := (a. 0. Nos familiarizaremos con la Esfera de Riemann y la Proyección Estereográ…ca. en C ya no se podrá operar como en C: el objeto 1 sólo se ha incorporado con …nes topológicos. pese a no poder extender la distancia euclídea a C. y sabemos que esto no es bueno.) La compacidad en C aporta algo esencial que lo diferencia de C: todas las sucesiones de complejos se acumulan en C. C no es un cuerpo. 1:::. Se de…ne la distancia o métrica cordal en C como la aplicación es fácilmente calculable: 8 < z+z . f8 > 0. 1) :::. (a. :::. c) := La inversa de a+ib 1 c :::. jzn j ! +1: Es importante observar que. 0) = n d(0. 9m. n) d(0. z. hay más: Proposición. en particular. No hay ninguna distancia en C que genere la topología . 1) ! 0: Pero: d(n. jzj 1 1 1+jzj2 i(1+jzj2 ) 1+jzj2 (z) = : (0. b. De hecho. En efecto. 0.. b. 1) 1 (Comprueba la fórmula para . que n ! 1 . z2C z=1 (z. z z . w 2 C z 2 C. de modo que N estaría acotado. b. si fuese lo contrario. +1[ se tendría. n m =) jzn j > g . 1+jzj2 3 . b.Es sencillo verlo: zn ! 1 . w = 1 : p 1+jzj 1+jwj2 1 :::. no operacionales. c) 6= (0. es decir. lo que sí que se puede es de…nir otra distancia en el plano C que sí se pueda extender a C. Pese a no poder obtener la topología de C a partir de la distancia euclídea. (Por esta razón se le suele llamar Esfera de Riemann al plano ampliado. 0. para tal d : C C ! [0. w) : = 1 = (z) 8 wj < p 2jz p 2 1 (w) = :::. 1) + d(1. 1) (a. 1) + M.. d(n. n n0 .) Observamos que es homeomor…smo entre los espacios de Hausdor¤ compactos S 2 y C. c) = (0.

o bien A = C.) Resumimos lo anterior: Ventaja: la métrica cordal C. ello conlleva que si el conexo A es un conjunto abierto y cerrado. para . Si bien el contexto será generalizable a situaciones abstractas. (Comprueba que la fórmula anterior que nos da la distancia cordal en términos de z y w.: Esta propiedad equivale. entonces zn wn ! 1 Cnf0g. que se notará por CA [a]. Recordemos que la acumulación de un conjunto A de números complejos se de…ne como A0 := fz 2 C : 9 (an ) Anfag. Del mismo modo. n 2 Ng !0 A continuación introducimos los contenidos topológicos mínimos que nos serán imprescindibles para lo que sigue. que el cierre o adherencia A de un conjunto A de números complejos viene dado por A := A [ A0 y que para todo conjunto A C in…nito y acotado. i. llamaremos componente conexa de a. son equivalentes 6 (teorema de Heine-Borel): i. Si zn ! 1 y wn ! w 2 Cnf0g. ii. de ahí el nombre de"cordal"). al mayor conexo en A tal que a 2 CA [a]: 4 . 1 zn Para fzn . a que toda sucesión in…nita en un acotado admita una parcial convergente (propiedad de Weierstrass). Para cada a 2 A. se tiene que A0 6= . ii.1 1 (observa que (z) y (w) están sobre la esfera S 2 . En particular. que la denotaremos por @A. entonces A = . La frontera de A. se de…ne como @A = A \ CnA: Un conjunto A se va a decir conexo si no se puede expresar como la unión disjunta de dos abiertos relativos. nos limitaremos a presentar las de…niciones y los resultados en el ambiente del plano complejo C. tal y como ocurre en todo euclídeo que se precie. jC se tiene en todo C Desventaja: no es un métrico completo Y podemos completar las propiedades de convergencia de sucesiones de C a C del siguiente modo: Proposición. an ! ag . = A C. A es cerrado y acotado A es compacto (todo cubrimiento por abiertos de A admite un recubrimiento …nito). entonces zn ! 1 .

f : A ! C y a 2 A \ A0 . Se dice dominio del plano complejo a cualquier abierto y conexo. Un concepto central en este curso: DEFINICIÓN DE DOMINIO. y sólo si. Proposición. Se dirá. abiertos (de hecho. Damos el paso a considerar propiedades funciones complejas de variable compleja. En caso de que a 2 A \ A0 . x 2 A. Para cada real positivo ". igualmente. evitaremos el subíndice. y sólo si. ii. tal que si 0 < jx aj < . 6= A C. f : A ! C. tal que si jx aj < . r) : Las componentes conexas de un abierto son. Cada una de las siguientes a…rmaciones implica la otra: i. simplemente. y sólo si. x 2 Se dirá. Claramente. Para toda sucesión (an ) de elementos en Anfag convergente a a. que f es continua en el punto a: Es de observar que: a. Para toda sucesión (an ) de elementos en A convergente a a. que f tiene límite l en el punto a. entonces jf (x) lj < ".Si no hay confusión. l 2 C y a 2 A0 . si. Cada una de las siguientes a…rmaciones implica la otra: i. Sean . b 2 A y cada conjunto se puede expresar como unión disjunta de sus componentes conexas. Para cada real positivo ". dominios). Es decir. cualquier punto del mismo admite como entorno a algún disco: 8a 2 9r > 0 : D (a. existe otro entonces jf (x) f (a)j < ". caso de veri…carse estas a…rmaciones. y escribiremos l = lim f (x): x!a Proposición. Sean . ambos conceptos coinciden si. C[a]. 6= A C. Además fag = C[a]. de modo que se escribirá. se tiene que f (an ) ! f (a). se tiene que f (an ) ! l. x!a lim f (x) = f (a): 5 . ii. existe otro A. caso de veri…carse estas a…rmaciones. a es un punto aislado de A. A es conexo si. C[a] = C[b] para cualesquiera a.

Concretamente. c. el módulo o valor absoluto. el nada trivial ejemplo de la función argumento (principal. z2R = z2R . Si A es un cojunto compacto.. Los ejemplos conocidos ya por nosotros. Si a es punto aislado de A. d. si a 2 A0 nA. entonces f (A) es conexo. Además. la suma y producto de números complejos. Vamos ya con propiedades nada triviales. :::. en particular. completaremos esta información probando que no es posible mejorar esta situación: ésto le va a pasar a cualquier determinación que tomemos para el argumento. salvo. comenzamos probando que el argumento principal es continuo en todo el plano salvo un rayo que parte del origen. Las propiedades fundamentales de las funciones continuas sobre conjuntos destacados que nos interesan las recogemos en la siguiente Proposición.. equivalen: i. o cualquiera de sus ramas). son todos de funciones continuas con límite en todo su dominio: a. Sea f : A una función y sea a 2 A. Sea > 0 y llamemos B := fx 2 A : jx Entonces. la conjugación de números complejos. Entonces: Si A es un conjunto conexo. i. lo cual se demostrará en breve. f es continua en a: fjB es continua en a: C ! C aj < g.b. dominio de f. Sea f : A C ! C una función continua. La función argumento principal arg arg(z) es continua en CnR0 : 6 : : Cnf0g ! R = Im z 2 arctan jzj+Re z :::. De modo análogo. ii. en este corto periodo de vida que llevamos con la variable compleja. entonces no tendrá sentido plantear la continuidad o no de f en a: Se trata de propiedades locales. entonces f (A) es compacto. siempre habrá continuidad (por el carácter local de la misma) y no tendrá sentido plantear la existencia o no de límite. b. se tiene cierta la siguiente Propiedad del carácter local de la continuidad. Proposición. ii.

luego <' : Sea ahora w := ei . todos completamente contenidos en A: 7 . + ]. el carácter local de la continuidad nos dice que también lo va a ser arg : Que la continuidad se rompe en el conjunto R0 . Observamos que si ' := a (z). b’ z 2 Cnf0g =) a (z) 2 ] .Demostración. Sabemos que el argumento principal viene caracterizado por dos propiedades: a. Como CnR0 es un abierto y argjCnR es continua. con z 2 Cnf0g. z 2 Cnf0g =) arg(z) 2 ] . Así. ' 2 Arg (z) () ' luego a (z) = arg z w 2 Arg z . Un conjunto A del plano C se dice conexo por poligonales si cualesquiera dos puntos suyos se pueden unir por un conjunto …nito de segmentos. ] : Sea ahora 2 R. en consecuencia: () () () arg es continua en arg z () w a es continua en z z 6= () a (z) 6= w + 2 Arg (z) : = + () Q. por lo que el argumento principal no converge en ningún punto de R . 8z 2 CnS: Demostración.E. Si S es una semirrecta cerrada que parte del origen (0 2 S). ] : . se pone de mani…esto de la siguiente manera: consideramos x 2 R+ y la sucesión (zn ) dada por n ( 1) ! x: zn := x + i n En estas condiciones. la sucesión arg (zn ) = 2 arctan q x + x2 + ( 1)n n = 2 ( 1) arctan 1 n2 n nx + 1 p 1 + n2 x2 no es convergente. entonces ' 2 ] . y de…namos a : Cnf0g ! R dada por: a’ z 2 Cnf0g =) a (z) 2 Arg(z) . entonces podemos encontrar una función continua f de CnS en R tal que f (z) 2 Arg (z) .D. Proposición. por su 0 forma de de…nición. z 2 Cnf0g =) arg(z) 2 Arg(z) b. w + y.

dominios): Proposición. r) Sea. por tanto. r) A: : Supong- aj < r=2.. la situación conexo por poligonales + conexo por arcos + conexo tiene recíproco cierto cuando se considera sobre dominios.E. nales. pues existe.El siguiente resultado será clave (entre toda una multitud de cosas) para ver que en C. Sea A := fz 2 2 . Proposición. Todo dominio del plano complejo C es conexo por poligo- Demostración. Sean un dominio del plano C y . localmente.E. a 2 A y sea r > 0 tal que D(a. r=2) A. ¿o no? Sea. Lema de Conexión. Sea z 2 \ A: Ha de existir r > 0 tal que D(z. además de conexo.: 2 =) D(a. r) claro que z 2 D(a. Así. r=2). Gracias a que C es localmente conexo (y. r \ A 6= . los abiertos son. bastará probar que es. r) Entonces A = : Demostración. si w 2 D(a. es decir.D. a 2 A tal que jz jw zj y D z. Es : z se puede unir con Claramente A 6= . 8 . pues. jw aj + jz aj < r. luego A es un abierto y cerrado relativo a no vacío: A = : Q. Llamemos por una poligonalg : . D(a. es abierto. cerrado relativo a . de donde D(a. luego w 2 . también. Las componentes conexas de un abierto A del plano complejo C son dominios. Pero esto conlleva que z 2 A. = A 6 amos que A veri…ca la siguiente condición: a 2 A. La hipótesis nos dice de A que es un abierto relativo en . Por tanto. por el lema de conexión. A = : Q.D. r=2) : Aplicamos ahora la hipótesis de este lema: D(a. luego. r) =) z 2 A. si el conjunto.

en cada caso. b]g como la imagen de la curva. la imagen [z. 1] ! C dada por [z. luego es un abierto. r) A. y(t)). w 2 C. igualmente. no tienen porqué ser aplicaciones inyectivas (pensemos en un lazo. Observemos que. Sea a 2 y sea r > 0 tal que D(a. r) (¡ detalla el argumento!). desde z a w. w] coincide con lo que en un exceso (¡ recordemos que no hay orden en C!) podría llamarse "intervalo de extremos" z y w.E. A (x (a) . el segmento de origen z y extremo x es la curva [z. 8t 2 [0. w] de [z.Demostración. se sobreentenderá. Ejemplo 1. 1] : Observemos cómo en este caso. por ejemplo). es decir. Esta curva recorre el segmento a velocidad constante. Sea una componente conexa de A. Observemos. tal y como se va a usar en Variable Compleja. De…nición. y (b)) se le llama extremo de : Si origen y extremo son el mismo punto. 9 . donde x. mientras que a (x (b) .D. w] (t) := tw + (1 t) z. que las curvas pueden tener autocortes. w]. (Recordemos que en C los abiertos se pueden expresar como unión numerable de sus componentes conexas. a quién nos estamos re…riendo. aunque escribamos (t) = (x(t). y que no podría escribirse de otra manera sino [z. y son funciones continuas de [a. b] ! C: Se acostumbra a escribir: := ([a. b]) := f(x(t). Veamos que es abierta. Llamamos curva en el plano C a cualquier aplicación continua de la forma : [a. Veamos algunos ejemplos que nos familiarizarán con expresiones con las que habremos de acostumbrarnos. Por argumentos de conexión habrá de ser D(a. w] : [0. debemos no confundir entre la aplicación y su (conjunto) imagen C: Con todo. (Segmentos) Dados z. Q. y (a)) se le llama origen de c. a la curva se le llama cerrada. b] en R. y(t)) : t 2 [a.) Curvas en el plano complejo Vamos a completar este tema con una introducción al concepto de curva.

Ejemplo 2. zn ] : t) . (Curva opuesta) Si será la nueva curva dada por ! C es una curva. y que es recorrida a velocidad constante en el sentido positivo (el contrario alas agujas del reloj). su opuesta : [a. b : [a. O bien. el origen de una es el extremo de la otra. (Poligonales) Los ejemplos 1 y 3 nos permiten escribir. como la aplicación 1 + 2 : [0. b + r sin (t)) : t 2 [0. (En particular. = C((a. 2 2 t 2 d + 2 (1 1 t t 1 2 1: c]. en nuestro lenguaje. con pleno signi…cado.) Por ello se dice que y son curvas opuestas o de orientaciones contrarias. b] ! C dada por (t) := (b + a Es decir. Ejemplo 5. en particular. Notemos que. 8t 2 [a. d] ! C tales que 1 (b) = 2 (c). z2 ] + [z2 . a (c b + t) :::. y que se notará por 1 + 2 . b). zn ] = [z1 . cuando a = b = 0.) Ejemplo 3. b] t t b b+d c: Ejemplo 4. 2 : [c. r = 1. + ( ) es una curva cerrada: representa un "sendero de ida y vuelta". (Yuxtaposición) Si disponemos de dos curvas 1 : [a. y viceversa. Y. si se pre…ere una parametrización sencilla sobre el intervalo [a. (Circunferencias) La expresión := f(a + r cos (t) . ( ) = y sus recorridos son opuestos: los hacen en sentido contrario el uno respecto del otro. b + d se puede hacer: ( 1 + 2 ) (t) := 1 2 (t) :::. 1] ! C 0 1 2 dada por ( 1 + 2 ) (t) := (2tb + (1 2t) a) :::. z3 ] + ::: + [zn 10 1 . r): (Nuestro caso más familiar será el de la circunferencia unidad T. 2 ]g nos muestra la imagen de una curva cerrada que representa un circunferencia de radio r > 0 con centro en el punto (a. b] : . b] ! C. expresiones de la forma: [z1 . b) 2 C. 1 t) c :::. se puede de…nir lo que se llama curva suma de ambas.

en los ejemplos. como ya se dijo más arriba. 1] + [1. 2 ] : Una curva se dice regular si es derivable en todo punto. Sea f una función compleja de variable compleja continua en un dominio : Supongamos que veri…ca f 2 (z) 1 < 1. f (z) = z Re z jzj : 2. 8t 2 0. Ejemplo 8. Ejemplo 7. [ 1. 1 [1 i. Sea f una función compleja de variable compleja uniformemente continua de…nida sobre el disco unidad D. se puede refrescar lo concerniente a curvas recti…cables. En particular. en relación a estos conceptos recién enunciados. inyectiva (veri…ca los cálculos y estudia con detalle lo que representa): t ! eit . de las correspondientes sumas poligonales asociadas) admite la representación integral que aparece arriba. Cuando una curva es regular. 1 + i] + [1 + i. de alguna función g continua en el disco unidad cerrado D: 3. (t) := eit cos t. al disco unidad (abierto). …nito. así como completar los detalles en los ejemplos 7 a 9 que siguen. cuando: a. Pruébese que se trata de la restricción. b. f (z) = Re z jzj . 8t 2 [ . Se dirá camino si se trata de una curva cerrada regular a trozos. 0] + [0. 8z 2 : Pruébese que o bien Re f (z) < 0 o bien Re f (z) > 0. 1 + i] + (t) := p . Una curva no ha de ser necesariamente. se puede calcular su longitud mediante la conocida fórmula: Z b long ( ) := a j 0 (t)j dt: Puedes dar un vistazo de repaso y analizar las propiedades de las curvas anteriores. su longitud (el supremo.Ejemplo 6. Estúdiese la existencia de límite en el origen para la función compleja de variable compleja f de…nida en un entorno perforado del origen. Se dice regular a trozos si se puede expresar como yuxtaposición de curvas regulares. 8t 2 [0. donde i] h i 2ei(t+ 4 ) . para todo z 2 . 2 ] : EJERCICIOS PROPUESTOS 1. 3 : 2 Ejemplo 9. 11 . que no son otras que las funciones de variación acotada: en el caso de que sean curvas regulares.

8n natural y n ! : (Indicación: redúzcase el problema al caso z = 1. respectivamente. Sea una sucesión (zn ) de números complejos no nulos convegente a otro complejo no nulo z. 5. o bien f (z) = z o bien f (z) = z.4. cómo regiones acotadas de la esfera no tienen porqué serlo en su correspondiente región del plano complejo ampliado. 8. Hágase un estudio detallado de la proyección estereográ…ca: cómo se transforma el hemisferio norte. bajo estas hipótesis. para todo z2 . Pruébese y p que. cómo el hemisferio sur. Por ejemplo. según que la circunferencia de partida pase o no. por el Polo Norte de la esfera. etc. Pruébese que la proyección estereográ…ca de cualquier circunferencia contenida en la esfera de Riemann es una recta o una circunferencia en el plano complejo. 12 . Pruébese la existencia de una sucesión ( n ) tal que n 2 Arg (zn ) . Considera la esfera de radio 2 tangencialmente situada sobre el origen del plano complejo C.) 6. Calcula las ecuaciones de la correspondiente proyección estereográ…ca. ¿Qué condiciones han de veri…car dos puntos del plano complejo para ser las proyecciones estereográ…cas de dos puntos diametralmente opuestos de la esfera de Riemann? 1 9. ¿qué acción signi…ca sobre la esfera S 2 la función compleja de variable compleja z ! f (z) = 1=z? 7. y sea 2 Arg(z). Sea un dominio del plano complejo y sea f una función compleja de…nida sobre él. Supongamos que Re f (z) 6= 0 p que f 2 (z) = z en .