Captulo 5

Topologa de espacios mtricos

En el siglo XIX, Bolzano y Cauchy fueron los primeros matemticos en reconocer la im-
portancia de las sucesiones que hoy llevan el nombre de este ltimo. Es el principio de
Cauchy lo que permite construir a los nmeros reales a partir de los racionales.
1
Otro concepto muy til ha sido el de compacidad. Las condiciones de compacidad dada
por Heine, Lebesgue y Borel da una caracterizacin simple de conjuntos compactos en
cualquier espacio euclidiano. Sin embargo, no existe una caracterizacin sucientemente
simple para espacios mtricos en general. La compacidad es un concepto de gran utilidad,
que simplica muchas demostraciones.
Frchet fue el creador de la denicin de espacio mtrico. Tambin reconoci la impor-
tancia de la compacidad por sucesiones. En el contexto de espacios mtricos, este concepto
result ser equivalente a la denicin original por cubiertas abiertas.
Heine, inspirado por los trabajos de Weierstrass y Cantor, es el primero en denir con-
tinuidad uniforme. Es, adems, el autor del teorema de que toda funcin continua sobre un
conjunto compacto es uniformemente continua.
Al estudiar conjuntos abstractos de funciones, fue deseable introducir y generalizar es-
tructuras y propiedades que se haban estudiado en la recta real. El concepto de convergen-
cia uniforme da origen al estudio sistemtico de espacios de funciones; es decir, conjuntos
1
Para mayor informacin acerca de la Historia del Anlisis ver los siguientes textos: [3] o [9].
5.1 TOPOLOGA BSICA Y CONTINUIDAD 116
con una doble estructura de espacio mtrico y espacio vectorial. Estas ideas se desarrollan
a nales del siglo XIX, principalmente en Alemania e Italia.
5.1 Topologa bsica y continuidad
La idea central en Topologa es hacer claro el concepto de cercana. Una denicin
importante es la siguiente.
Denicin 5.1.1 Sea (X, ) un espacio mtrico. Un conjunto G es abierto si
(p G) (r > 0) : B
r
(p) G.
Un conjunto F es cerrado en X si F
c
es abierto en X.
Proposicin 5.1.2 Para toda x X y para toda r > 0, B
r
(x) es abierto.
Demostracin
Sea y B
r
(x), por demostrar que existe s > 0 tal que B
s
(y) B
r
(x). Sea s =
r d(x, y) y z B
s
(y) arbitrario, queremos ver que d(z, x) < r. Por la desigualdad del
tringulo tenemos que
d(z, x) d(z, y) +d(y, x) < s +d(y, x) = r d(x, y) +d(y, x) = r
Por lo tanto d(z, x) < r y como z B
s
(y) fue arbitrario, se tiene que B
s
(y) B
r
(x).
Proposicin 5.1.3 Un conjunto F es cerrado si y slo si para toda sucesin convergente
x
n
x

cuya imagen satisfaga {x

n
: n N} F, el lmite satisface x

F.
Demostracin
) Sea F cerrado. Sea (x
n
) sucesin convergente x
n
x

cuya imagen est conteni-

da en F, esto es: {x
n
: n N} F. Supongamos que x

F
c
. Como F
c
es abierto existe
un radio > 0 tal que B

(x

) F
c
. Por la convergencia de la sucesin (x
n
) existe un
5.1 TOPOLOGA BSICA Y CONTINUIDAD 117
nmero N tal que si n N se tiene que x
n
B

(x

) F
c
, lo cual contradice la hiptesis.
Por lo tanto x

F
c
.
) Sea x

F
c
arbitrario. Supongamos que no existe un radio > 0 tal que
B

(x

) F
c
. Es decir, para toda > 0 se tiene que B

(x

) F = . Vamos a cons-
truir una sucesin en F. Para cada n N escogemos un elemento x
n
B
1/n
(x

) F. Esto
implica que la sucesin (x
n
) es tal que {x
n
: n N} F y
d(x
n
, x

) <
1
n
.
Por lo tanto x
n
x

y por hiptesis x

F lo cual es una contradiccin. Concluimos que

existe un radio > 0 tal que B

(x

) F
c
y por ende, dado que x

F
c
fue arbitrario, se
tiene que F
c
es abierto.
Denicin 5.1.4 Sean (X, d
1
) y (Y, d
2
) dos espacios mtricos. Se dice que una funcin
f : X Y es continua en x
0
X si
( > 0) ( > 0) : d
1
(x, x
0
) < d
2
( f (x), f (x
0
)) < .
Si f es continua en todos los puntos de X, se dir simplemente que es continua en X.
Usando bolas se puede dar una denicin equivalente a la anterior: f : X Y es
continua en x
0
X si
( > 0) ( > 0) : x B

(x
0
) f (x) B

( f (x
0
)). (5.1)
Debemos recalcar que en la denicin anterior el nmero puede depender tanto del punto
x
0
como de . Posteriormente se dar una nueva denicin de continuidad (continuidad
uniforme), en la que no depender del punto. Esta diferencia, aparentemente trivial, ser
esencial en secciones posteriores.
Dados una funcin f : X Y y un subconjunto A Y, recordemos que la imagen
inversa f
1
(A) es el subconjunto de X dado por
f
1
(A) = {x X : f (x) A} .
5.1 TOPOLOGA BSICA Y CONTINUIDAD 118
Usando esta notacin, podemos reescribir la denicin (5.1) de la siguiente manera: f :
X Y es continua en x
0
X si
( > 0) ( > 0) : B

(x
0
) f
1
(B

( f (x
0
))) .
Usando el concepto de abierto y la armacin anterior, tenemos la siguiente til caracteri-
zacin continuidad.
Proposicin 5.1.5 Sean (X, d
1
) y (Y, d
2
) dos espacios mtricos. Sea f : X Y funcin.
Son equivalentes las siguientes armaciones
a) f es continua.
b) Para todo conjunto abierto G Y, el conjunto f
1
(G) X es abierto.
c) Para todo conjunto cerrado F Y, el conjunto f
1
(F) X es cerrado.
Usando sucesiones, tambin se puede caracterizar la continuidad.
Proposicin 5.1.6 Una funcin f : X Y es continua en x

X si y slo si para toda

sucesin (x
n
) X tal que x
n
x

se tiene que f (x
n
) f (x

).
Demostracin
) Supongamos que d
1
y d
2
son las mtricas de X y Y respectivamente.
Sea x
n
una sucesin convergente con lmite x

. Queremos demostrar que f (x

n
) con-
verge a f (x

). Sea > 0. Por la denicin de continuidad, tenemos que existe > 0 tal
que
d
1
(x, x

) < d
2
( f (x), f (x

)) < .
Por otro lado, por ser (x
n
) convergente a x

tenemos que existe N

> 0 tal que

n N

(x
n
, x

) < .
Por lo tanto, si n N

entonces d
2
( f (x
n
), f (x

)) < y esto implica que f (x

n
)
converge a f (x

).
5.1 TOPOLOGA BSICA Y CONTINUIDAD 119
) Sea H un conjunto cerrado. Usando el la proposicin 5.1.5, basta demostrar que
f
1
(H) es un subconjunto cerrado de X. Para ello, usaremos la caracterizacin dada en la
proposicin 5.1.3.
Sea (x
n
) una sucesin totalmente contenida en f
1
(H) que, adems, es convergente al
lmite x

. Queremos demostrar que x

f
1
(H). Sabemos que, para cada n, f (x
n
) H.
Por hiptesis, f (x
n
) converge a f (x

). Por ser H un cerrado, tenemos que f (x

) H.
Esto implica que x

f
1
(H).
Denicin 5.1.7 Sea (X, ) un espacio mtrico. Si A B X, se dice que A es denso
en B, si para todo b B y todo > 0 existe a A tal que (a, b) < .
Proposicin 5.1.8 Sea (X, d) un espacio mtrico. Un conjunto A X es denso si para
cualquier abierto no vaco G de X se tiene que G A = .
Una propiedad importante de R
n
es la siguiente.
Teorema 5.1.9 Dado B R
n
, existe un subconjunto numerable A B que es denso en
el conjunto B.
Demostracin
El conjunto R
n
, tiene la siguiente propiedad: existe un subconjunto C R
n
que es
denso y numerable, por ejemplo Q
n
. Como Q
n
es numerable, podemos suponer que Q
n
=
{x
1
, x
2
, x
3
, . . .}. Para cada entero positivo m tenemos que
R
n
=

_
k=1
B1
m
(x
k
)
y por lo tanto
B

_
k=1
B1
m
(x
k
) B.
Sea J el conjunto de parejas de enteros (k, m) positivos para los cuales se cumple que
B1
m
(x
k
) B = .
5.1 TOPOLOGA BSICA Y CONTINUIDAD 120
Esto es, J =
_
(k, m) (Z
+
)
2
|B1
m
(x
k
) B =
_
. Claramente J es un conjunto numerable.
Por el axioma de eleccin, para cada = (k, m) J , escogemos un elemento
z

B1
m
(x
k
) B.
Vamos a demostrar que el subconjunto A = {z

R
n
| J } B es denso en B.
Sea > 0 y b B. Sea m un entero positivo tal que
1
m
<

2
. Por construccin, existe
x
r
C tal que b B1
m
(x
r
) B. Por lo tanto, = (r, m) J . Concluimos que
d(z

, b) d(z

, x
r
) +d(x
r
, b) <
1
m
+
1
m
< .
Esto termina la demostracin.
Ejemplo 5.1.10 Consideremos a R con la mtrica usual. Para cada nmero irracional
RQ se dene el conjunto () = { p +q : p, q Z}. Demostraremos que () es
denso en R.
Solucin
Para cada entero positivo k existe q
k
Z tal que
0 < k +q
k
< 1
Sea u
k
= k +q
k
. Denimos A
j
= [
j 1
n
,
j
n
) para j = 1, , n.
Notemos que todos los elementos u
k
son distintos. Es decir si u
i
= u
j
, entonces
i +q
i
= j +q
j
y esto implicara
(i j ) = q
j
q
i
Como es irracional esto slo podra ocurrir si i = j . Por el principio del palomar, existe
j tal que
A
j
{u
1
, , u
n+1
}
5.1 TOPOLOGA BSICA Y CONTINUIDAD 121
contiene por lo menos dos elementos. Esto implica que existen u
k
, u
k
tales que
| u
k
u
k
|<
1
n
,
es decir,
| k +q
k
k

q
k
|<
1
n
.
De este modo, se encuentran a
n
, b
n
Z tales que | a
n
+ b
n
|<
1
n
. Sin prdida de
generalidad, supongamos
0 < a
n
+b
n
<
1
n
.
Sea x
0
R y > 0 arbitrario. Sea n tal que 0 <
1
n
< . Sean a
n
, b
n
Z tales que
0 < a
n
+b
n
<
1
n
.
Denimos
n
= a
n
+b
n
(). Por la propiedad arquimediana, existe un entero r Z
tal que
x
0
[r
n
, (r +1)
n
).
Por lo tanto
0 x
0
r
n
<
n
<
1
n
< .
Esto completa la demostracin.
EJERCICIOS
5.1 Sea (X, d) un espacio mtrico. Demostrar que tanto X como son abiertos y
cerrados.
5.2 Sea (X, d) un espacio mtrico completo. Sea F X un subconjunto cerrado en
X. Demostrar que el espacio mtrico (F, d) es un espacio completo.
5.3 Sea (X, d) como en el ejemplo 3.1.3. Describir los conjuntos cerrados y abiertos.
5.4 Sea (X, d) un espacio mtrico. Demostrar lo siguiente.
5.1 TOPOLOGA BSICA Y CONTINUIDAD 122
a) La unin arbitraria de conjuntos abiertos es un conjunto abierto.
b) La interseccin nita de conjuntos abiertos es un conjunto abierto.
c) La interseccin arbitraria de conjuntos cerrados es un conjunto cerrado.
d) La unin nita de conjuntos cerrados es un conjunto cerrado.
5.5 Sea (X, d) un espacio mtrico. Sea u X un elemento jo. Demostrar que
la funcin f : X R, dada por f (x) = d(x, u), es continua. (Sugerencia: usar la
desigualdad del tringulo.)
5.6 Sea (X, ) un espacio normado. Demostrar que la funcin : X R, dada
por (x) = x, es continua.
5.7 Sea (X, d) un espacio mtrico. Sean u X un elemento jo y r > 0. Demostrar
que el siguiente conjunto es abierto.
{x X : d(x, u) > r} .
5.8 Demostrar que cualquier intervalo I R de la forma I = (a, b), I = (a, ), y
I = (, b) son conjuntos abiertos bajo la distancia usual de la recta real.
5.9 Demostrar que, en (R
2
,
2
), el conjunto A = {(x, y) R
2
: y > 0} es abierto.
5.10 Demostrar que el conjunto A = {(x, y) R
2
: x + y < 1} es abierto en
(R
2
,

).
5.11 Demuestre que en (R, | |), Q no es abierto ni cerrado. Demuestre que N es
cerrado en (R, | |).
5.12 Probar que en un espacio mtrico (X, d) todo subconjunto nito de X es cerrado.
5.13 Sea (X, d) un espacio mtrico. Sean A B C X. Demostrar que si A es
denso en B y B es denso en C entonces A es denso en C.
5.1 TOPOLOGA BSICA Y CONTINUIDAD 123
5.14 Pruebe que Q
n
es denso en (R
n
,

). Use la equivalencia entre

y
2
para probar que Q
n
es denso en (R
n
,
2
).
5.15 Sea (X, d) un espacio mtrico. Demuestre que si f : R es una funcin conti-
nua entonces {x X : f (x) = a} es un conjunto cerrado en X.
5.16 Demostrar que si f : (X, d) R es continua y f (x
0
) > 0 para algn x
0
X
entonces existe r > 0 tal que f (x) > 0 para todo x B
r
(x
0
).
5.17 Pruebe, usando continuidad, que A es abierto en (R
n
,
2
) si y slo si A es
abierto en (R
n
,
1
). (Sugerencia: basta probar que cierta funcin es continua.)
5.18 Sean (X, d
1
) y (Y, d
2
) dos espacios mtricos. Suponer que A es denso en X.
Sean f : X Y y g : X Y dos funciones continuas tales que, para todo x A,
f (x) = g(x). Demostrar que f = g, es decir que f (x) = g(x), para todo x X.
5.19 Demostrar que si f : R R es una funcin continua tal que f (q) = 0 para todo
racional q Q, entonces f (x) = 0 para toda x R.
5.20 Sea f : R R una funcin continua. Suponer que f satisface que, para toda x
se cumple
f (x) = f (x +1) = f (x +),
donde es un irracional. Demostrar que f es constante. (Sugerencia: usar el ejemplo
5.1.10.)
5.21 Demostrar la proposicin 5.1.8.

5.2 COMPACIDAD 124

5.2 Compacidad
Denicin 5.2.1 Sean (X, ) un espacio mtrico y K X. Sea
F = {G

X : I }
una familia de conjuntos abiertos en X. Se dice que F es una cubierta abierta de K si
K
_
I
G

.
Tambin se dice que F cubre a K. Una subcubierta de F es un subconjunto de F que
tambin es cubierta de K.
Denicin 5.2.2 K X es compacto si toda cubierta abierta {G

: I } de K tiene una
subcubierta nita. Es decir, existe un nmero nito de ndices
1
, . . . ,
n
I tal que
K
n
_
j =1
G

j
.
La siguiente es una caracterizacin de conjuntos compactos que es muy til en diversas
aplicaciones. En ocasiones una demostracin ser ms fcil si se utiliza esta caracteriza-
cin. Sin embargo, la denicin de compacidad dada en 5.2.2 se puede generalizar a los
llamados espacios topolgicos, cosa que no se puede realizar en el caso de compacidad por
sucesiones.
Teorema 5.2.3 (Compacidad por sucesiones) En un espacio mtrico, un conjunto K es
compacto si y slo si toda sucesin en K tiene una subsucesin convergente en K.
Demostracin
) Supongamos que existe (a
n
) K tal que no tiene una subsucesin que converja
a un punto de K. Entonces para todo punto x K existe una bola B (x) que contiene un
nmero nito de elementos de a
n
(contando multiplicidad, es decir a
n
para solamente un
nmero nito de valores de n, an si hay muchos a
n
que son iguales).
5.2 COMPACIDAD 125
Esto implica que {B (x) : x K} es una cubierta de K y como K es compacto hay un
nmero nito de elementos x
1
, . . . , x
m
K tal que las bolas B (x
1
) . . . B (x
m
) cubren
a K y en cada una hay un nmero nito de a
n
, lo cual contradice que a
n
es una sucesin
(innita).
) Sea {U

}
I
una cubierta abierta de K. Primero armamos que
( > 0) (x K) ( I ) : B (x, ) U

.
Para ver que esa armacin es verdadera, supongamos que no y lleguemos a una con-
tradiccin. Para cada n N consideremos =
1
n
y as, para cada n N, existe x
n
K tal
que para toda I se tiene que
B
_
x
n
,
1
n
_
U

.
Como (x
n
) K tiene, por hiptesis, una subsucesin
_
x
n
k
_
convergente a un punto x

K. Adems x

para alguna I y como U

es abierto
(r > 0) : B
_
x

, r
_
U

.
Tomando en cuenta los ndices de la subsucesin {n
m
: m 1} , podemos escoger un entero
sucientemente grande m de tal forma que
1
n
m
<
r
2
y el elemento x
n
m
cumpla d
_
x
n
m
, x

_
<
r
2
. Esto implica que
B
_
x
n
m
,
1
n
m
_
B
_
x
n
m
,
r
2
_
B
_
x

, r
_
U

lo cual es una contradiccin.

Tomemos la > 0 de la armacin anterior. Vamos a construir un conjunto
{y
1
, . . . , y
N
} K.
Escogemos y
1
K cualquiera. Tenemos dos posibilidades:
a) (y K) : B
_
y,

2
_
B
_
y
1
,

2
_
= .
5.2 COMPACIDAD 126
b) (y

K) : B
_
y

,

2
_
B
_
y
1
,

2
_
= .
En el primer caso, hacemos N = 1 y el proceso de construccin ha terminado. Para
el segundo caso, hacemos y
2
= y

y continuamos con el proceso. Supongamos que se

han escogido {y
1
, . . . , y
n
} K tales que las bolas
_
B
_
y
k
,

2
_
: k = 1, . . . , n
_
son ajenas.
Tenemos nuevamente dos posibilidades:
a) (y K) : B
_
y,

2
_

_
n
k=1
B
_
y
k
,

2
__
= .
b) (y

K) : B
_
y,

2
_

_
n
k=1
B
_
y
k
,

2
__
= .
En el primer caso, decimos que N = n y proceso de construccin ha terminado. Para
el segundo caso, hacemos y
n+1
= y

y continuamos con el proceso. Ntese que, en esta

situacin, las bolas
_
B
_
y
k
,

2
_
: k = 1, . . . , n +1
_
son ajenas.
Ahora bien, si siempre tuvisemos el segundo caso, entonces la construccin no ter-
minara y as tendramos en K una sucesin {y
1
, y
2
, . . .} tal que no tendra subsucesin
convergente pues dos elementos cualesquiera de ella distan en al menos una distancia de ,
lo cual contradice la hiptesis. Por lo tanto, el proceso termina para algn N.
Claramente la coleccin nita {B (y
n
, ) : 1 n N} de bolas (cuyo radio es dos ve-
ces ms grande) cubre a K. Ahora tomemos los elementos correspondientes de la cubierta
U

n
, es decir tales que B (y
n
, ) U

n
. Como
K
N
_
n=1
B (y
n
, )
N
_
n=1
U

n
,
entonces
_
U

n
: 1 n N
_
es una subcubierta nita de
_
U

n
_
I
y por lo tanto K resulta
ser compacto.
Para otra versin de la demostracin anterior, consultar [4]. A continuacin damos dos
propiedades importantes de los conjuntos compactos. Recordemos que un conjunto G es
acotado en un espacio mtrico (X, ) si y slo si existe M > 0 tal que para todo x, y G
se cumple (x, y) M, o bien si para todo x

X existe M > 0 tal que G B

M
(x

).
Proposicin 5.2.4 Todo conjunto compacto K es cerrado y acotado.
5.2 COMPACIDAD 127
Demostracin
Primero veamos que K es acotado. Sea a K y tomemos B (a, m) las bolas de radio
m y centro a, as que K

m=1
B (a, m) y como es compacto m
1
, . . . , m
n
tal que
K B (a, m
1
) . . . B (a, m
n
) B (a, M) donde M = max (m
1
, . . . , m
n
). As que
K es acotado. Ahora veamos que K es cerrado es decir K
c
abierto. Sea u K
c
, para
cada n N tomemos G
n
=
_
y X : d (y, u) >
1
n
_
. Por el ejercicio 5.7, cada G
n
es un
conjunto abierto. Notemos que, si m > n entonces G
n
G
m
. El conjunto G
n
es abierto y
como u / K se tiene que
K

_
m=1
G
m
pero como K es compacto existen ndices {m
1
, . . . , m
n
} tales que K G
m
1
... G
m
n
.
Si tomamos M = max {m
1
, . . . , m
n
}, entonces K G
M
. Por otra parte se tiene que
B
_
u,
1
M+1
_
G
c
M
y esto implica que B
_
u,
1
M+1
_
K
c
de donde K
c
es abierto y por lo
tanto K es cerrado.
Ejemplo 5.2.5 Sea (X, d) un espacio mtrico. Sea (x
n
) una sucesin en X que converge a
un punto x

. Entonces el conjunto
K = {x

} {x
n
: n N}
es compacto.
Ejemplo 5.2.6 Observemos que un conjunto cerrado y acotado no es, en general, compac-
to. En efecto sea (X, d) el espacio N con la mtrica
d (x, y) =
_
0 x = y
1 x = y
es claro que N es cerrado y es acotado. Sin embargo si tomamos la cubierta formada por
todas las bolas abiertas de radio
1
2
,
N

_
n=1
B
_
n,
1
2
_
,
5.2 COMPACIDAD 128
pero no tiene una subcubierta nita as que este es un ejemplo de un conjunto cerrado y
acotado que no es compacto.
Proposicin 5.2.7 Todo subconjunto cerrado F de un conjunto compacto K es compacto.
Demostracin
Sea {U

}
I
una cubierta abierta de F. Entonces {U

}
I
{F
c
} una cubierta abierta
de K, pues F
c
es abierto y
K F
c
F F
c

_
I
U

.
Por ser K compacto, existe una subcubierta nita de K de la forma
_
U

1
, . . . , U

n
_
{F
c
}.
Claramente
_
U

1
, . . . , U

n
_
es una subcubierta de {U

}
I
que cubre a F.
Proposicin 5.2.8 Si f : X Y es continua, y K es compacto en X, entonces la imagen
f (K) es un conjunto compacto en Y.
EJERCICIOS
5.22 Probar que en un espacio mtrico (X, d) todo subconjunto nito de X es com-
pacto.
5.23 Dar un ejemplo de una cubierta abierta de (a, b) que no tenga una subcubierta
nita.
5.24 Demostrar el ejemplo 5.2.5.
5.25 Demostrar la proposicin 5.2.8.
5.26 Sea f : X Y una funcin continua y biyectiva entre dos espacios mtricos.
Demostrar que si X es compacto entonces la funcin f
1
: Y X es continua.