UNIVERSIDAD DE MURCIA

Departamento de Matemáticas

Topologı́a
8. Espacios métricos completos
Pedro José Herrero y Pascual Lucas

Resumen: Comenzamos introduciendo las sucesiones de Cauchy, que

comparamos con las sucesiones convergentes. En el caso de que coinci-
dan, se trata de un espacio métrico completo. Estudiamos los espacios
euclı́deos y Rω con diversas distancias. También estudiamos los espa-
cios de funciones continuas y acotadas. Terminamos con el teorema del
embebimiento isométrico, el teorema de encaje de Cantor y el teorema
de Baire.

c 2002 [email protected]
Actualizado el 18 de febrero de 2002 Versión 0.2
 Indice general
1. Sucesiones de Cauchy
2. Espacios métricos completos
3. Completitud y compacidad
4. El espacio Rω
5. La distancia uniforme
6. La distancia del supremo
7. Teorema del embebimiento isométrico
7.1. Completación de un espacio métrico
8. Algunos resultados interesantes
8.1. Teorema de encaje de Cantor
8.2. Teorema de Baire
9. Problemas propuestos
Soluciones de los ejercicios
Soluciones de las cuestiones
Sección 1: Sucesiones de Cauchy 3

El concepto de completitud en R suele aparecer en los libros de cálculo: es un

concepto básico para todos los aspectos del análisis. La completitud es una propiedad
métrica, más que una propiedad topológica, pero muchos teoremas que implican a los
espacios métricos completos son de naturaleza topológica.
El ejemplo más familiar de espacio métrico completo es el espacio euclı́deo con cual-
quiera de sus distancias usuales. Con este capı́tulo sólo pretendemos introducir al lector
en este tema, por sus importantes implicaciones en otras ramas de las matemáticas. Un
desarrollo profundo excede del objeto primordial de esta asignatura.

1. Sucesiones de Cauchy
Definición 8.1 Sea (X, d) un espacio métrico. Una sucesión (xn )n de puntos de X se
dice que es una sucesión de Cauchy en (X, d) si tiene la propiedad de que, dado ε > 0,
existe un entero N tal que
d(xn , xm ) < ε para todo n, m ≥ N.
Ejemplo 8.1.
(1) Las únicas sucesiones de Cauchy en un espacio métrico discreto X son las de cola
constante, es decir, aquellas sucesiones (xn ) para las que existe un punto a ∈ X y
un número natural n 0 tales que xn = a para todo n ≥ n0 .
(2) La sucesión ( n1 )∞
n=1 es de Cauchy tanto en (R, | |) como en ((0, 1), | |). En efecto,

Toc JJ II J I Volver J Doc Doc I

Sección 1: Sucesiones de Cauchy 4

dado ε > 0 existe n0 tal que n1 < ε para todo n ≥ n0 . Entonces si n, m > n0 se
verifica
1 1 1 1 1 1
d( , ) = | − | < máx{ , } < ε.
n m n m n m
(3) La sucesión (n)∞
n=1 no es de Cauchy en (R, | |). Observemos que para todo ε > 0 y
todo número natural n 0 siempre existen números n, m > n0 tales que |n − m| > ε.
Ejemplo 8.2. Es trivial que cualquier sucesión convergente en X es necesariamente una
sucesión de Cauchy. En efecto, si (xn ) es una sucesión tal que x n → x, entonces para
todo ε > 0 existe n0 tal que si n > n0 se cumple que d(xn , x) < ε2 . Ası́, para todo
n, m > n0 se tiene
ε ε
d(xn , xm ) ≤ d(xn , x) + d(x, xm ) < + = ε.
2 2

Ejemplo 8.3. El recı́proco del Ejemplo 8.2 no es cierto en general. La sucesión ( n1 )n∈N es
de Cauchy en ((0, +∞), | |) y, sin embargo, no converge. Esto justificará la introducción
de los espacios métricos completos.

Lema 8.1 Sea (X, d) un espacio métrico. Si (xn )∞

n=1 es una sucesión de Cauchy que con-
tiene una subsucesión (xnk )∞
k=1 que converge a x, entonces la sucesión (xn )∞
n=1 también
converge a x.

Toc JJ II J I Volver J Doc Doc I

Sección 1: Sucesiones de Cauchy 5

Demostración. Como (xn )∞ n=1 es una sucesión de Cauchy, dado ε > 0 existe n1 tal que
para todo n, m > n1 se cumple que
ε
d(xn , xm ) < .
2
Por otra parte, la subsucesión (xnk )k es convergente a x, luego existe k 0 tal que si
nk > nk0 se cumple que
ε
d(xnk , x) < .
2
Consideremos n0 = máx{n1 , nk0 } y tomemos n > n0 y k tal que nk > n0 , entonces
ε ε
d(xn , x) ≤ d(xn , xnk ) + d(xnk , x) < + = ε,
2 2
de modo que la sucesión (xn )∞
n=1 converge a x. 

Proposición 8.2 Toda sucesión de Cauchy en un espacio métrico (X, d) está acotada.
Demostración. Sea (xn ) una sucesión de Cauchy y consideremos ε = 1. Por la condición
de Cauchy existe n0 tal que si m, n > n0 se tiene que d(xn , xm ) < 1, de modo que si
n > n0 , entonces xn ∈ B(xn0 +1 , 1). Sólo quedan un número finito de términos que
pueden estar fuera de esta bola. Sea
r = máx{d(x1 , xn0 ), . . . , d(xn0 , xn0 +1 )}.

Toc JJ II J I Volver J Doc Doc I

Sección 2: Espacios métricos completos 6

Para todo n se cumple que d(xn , xn0 +1 ) ≤ r. Ası́ deducimos

{xn | n = 1, . . . , ∞} ⊂ B(xn0 +1 , r + 1),
como querı́amos. 

2. Espacios métricos completos

Definición 8.2 Un espacio métrico (X, d) se dice que es completo si toda sucesión de
Cauchy en X es convergente.
Ejemplo 8.4.
(1) Todo espacio métrico discreto es completo.
(2) (0, ∞) no es completo con la distancia usual.
Ejercicio 8.1. Sea (X, d) un espacio métrico completo y A ⊂ X un subconjunto
cerrado. ¿Es A completo?
Ejercicio 8.2. Si (X, d) es completo, entonces X es completo con la distancia acotada
estándar
d̄(x, y) = mı́n{d(x, y), 1}
correspondiente a d, y recı́procamente. ¿Por qué?
Veamos un criterio útil para comprobar si un espacio métrico es completo:
Toc JJ II J I Volver J Doc Doc I
Sección 2: Espacios métricos completos 7

Lema 8.3 Un espacio métrico X es completo si toda sucesión de Cauchy tiene una
subsucesión convergente.
Demostración. Sea (xn ) una sucesión de Cauchy en (X, d). Vamos a probar que si (xn )
tiene una subsucesión (xni ) que converge a un punto x, entonces la propia sucesión (xn )
converge a x.
Dado ε > 0, y puesto que (xn ) es una sucesión de Cauchy, elijamos primero N lo
suficientemente grande para que
d(xn , xm ) < ε/2
para todos n, m ≥ N. Entonces sea i un entero lo suficientemente grande para que
ni ≥ N y
d(xni , x) < ε/2
(utilizamos aquı́ el hecho de que n 1 < n2 < · · · es una sucesión creciente de enteros
y que (xni ) converge a x). Teniendo en cuenta ambas desigualdades, obtenemos para
n≥N
d(xn , x) ≤ d(xn , xni ) + d(xni , x) < ε,
que es el resultado buscado. 

Teorema 8.4 El espacio euclı́deo Rk es completo con cualquiera de sus distancias usua-
les, la distancia euclı́dea d o la distancia del supremo d ∞ .

Toc JJ II J I Volver J Doc Doc I

Sección 2: Espacios métricos completos 8

Demostración. Para probar que el espacio métrico (Rk , d∞ ) es completo, sea (xn ) una
sucesión de Cauchy en (Rk , d∞ ). Entonces el conjunto {xn } es un subconjunto acotado
de (Rk , d∞ ), ya que si N es tal que
d∞ (xn , xm ) ≤ 1
para todos n, m ≥ N, entonces el número
M = máx{d∞ (x1 , 0), . . . , d∞ (xN−1 , 0), d∞ (xN , 0) + 1}
es una cota superior para d ∞ (xn , 0). De este modo, los puntos de la sucesión (xn )
permanecen todos en el cubo [−M, M]k . Dado que este cubo es compacto, la sucesión
(xn ) tiene una subsucesión convergente. Entonces (Rk , d∞ ) es completo.
Para probar que (Rk , d) es completo, observemos que una sucesión es una sucesión
de Cauchy para d si, y sólo si, es una sucesión de Cauchy para d ∞ , y una sucesión
converge en la distancia d si, y sólo si, converge en la distancia d ∞ . 
Ejercicio 8.3. Consideremos el espacio Q de los números racionales con la distancia
usual d(x, y) = |x − y|. ¿Es completo?

Cuestion 8.1. ¿Es el intervalo abierto (−1, 1) de R con la distancia d(x, y) = |x − y|

un espacio completo?
(a) Sı́ (b) No

Toc JJ II J I Volver J Doc Doc I

Sección 3: Completitud y compacidad 9

La cuestión anterior demuestra que la completitud no es una propiedad topológica,

es decir, no se conserva por homeomorfismos, ya que el intervalo (−1, 1) es homeomorfo
a la recta real R y este espacio es completo con su distancia usual.

Proposición 8.5 Todo subespacio completo de un espacio métrico es cerrado.

Demostración. Sea (X, d) un espacio métrico y sea H ⊂ X tal que (H, dH ) es completo.
Veamos que H es cerrado comprobando que H = H. Si x ∈ H, entonces existe una
sucesión en H, (xn )∞
n=1 , que converge a x y, por tanto, es de Cauchy, tanto en X como
en H. Como (H, dH ) es completo la sucesión (xn )∞ 0
n=1 converge en H a un punto x . Pero
(X, d) es un espacio métrico y, por tanto, de Hausdorff, de modo que x = x0 . Es decir,
x ∈ H. 

3. Completitud y compacidad
Proposición 8.6 Todo espacio métrico compacto es completo.
Demostración. Sea (X, d) un espacio métrico compacto y sea (xn )∞ n=1 una sucesión de
Cauchy en X. Como (X, Td ) es compacto, también es sucesionalmente compacto, luego
existe una subsucesión de (xn )∞ ∞
n=1 , (xnk )k=1 , convergente. Como consecuencia del Lema
∞
8.1 la sucesión inicial (xn )n=1 también es convergente. 
La implicación recı́proca no es cierta, en general, aunque sı́ se cumple si se considera
una hipótesis adicional, la de ser totalmente acotado. El siguiente resultado, que sirve de
Toc JJ II J I Volver J Doc Doc I
Sección 3: Completitud y compacidad 10

puente entre los espacios completos y los compactos, justifica que los espacios métricos
totalmente acotados reciban también el nombre de precompactos.

Proposición 8.7 Todo espacio métrico completo y totalmente acotado es sucesional-

mente compacto.
Demostración. Sea (X, d) un espacio métrico completo y totalmente acotado y sea
(xn )∞
n=1 una sucesión en X. Vamos a construir una subsucesión de Cauchy que será con-
vergente, por ser X completo. Por tanto, X será sucesionalmente compacto.
Si la sucesión es finita no hay nada que probar, pues tiene infinitos términos iguales
y ya tenemos la subsucesión convergente. Supongamos entonces que la sucesión S =
(xn )∞
n=1 tiene infinitos términos distintos. Como X es totalmente acotado y S ⊂ X, S
también es totalmente acotado. Por tanto, dado 21 existe un número finito de bolas con
este radio que recubren S. Como S es infinito, una de estas bolas contendrá infinitos
puntos de la sucesión S; llamemos a esta bola B 1 .
Consideremos ahora B 1 ∩ S. Este conjunto es también totalmente acotado, de modo
que si consideramos 212 , entonces B1 ∩ S estará recubierto por un número finito de
bolas de radio 212 . De entre todas ellas habrá al menos una, que llamaremos B 2 , que
contendrá una cantidad infinita de términos de la sucesión.
Ası́ sucesivamente vamos construyendo una sucesión de bolas B k de radio 21k , cada
una de las cuales tiene infinitos términos de la sucesión y que, según se han construido,
dos a dos tienen intersección no vacı́a.
Toc JJ II J I Volver J Doc Doc I
Sección 3: Completitud y compacidad 11

Vamos a construir la subsucesión de la siguiente manera.

El primer término será un término arbitrario de la sucesión que esté en B 1 y le
llamamos xn1 . Como en B2 hay infinitos términos de la sucesión, existe un término de
la sucesión xn2 6= xn1 y con n2 > n1 ; procediendo de esta manera construimos una
subsucesión (xnk )k , tal que cada xnk ∈ Bk . Veamos que esta subsucesión es de Cauchy.
Sean p, q ∈ N con p < q. Como Bp ∩ Bq 6= ∅, si y ∈ Bp ∩ Bq tendremos que
1 1 1 1 1
d(xnp , xnq ) ≤ d(xnp , y) + d(y, xnq ) ≤ + q < p + p = p−1 .
2p 2 2 2 2
1
Por tanto, dado ε > 0 existe m tal que 2m−1 < ε, y si p, q > m (con p > q por ejemplo),
entonces
1 1
d(xnp , xnq ) < p−1 < m−1 < ε,
2 2
lo que prueba que la subsucesión es de Cauchy. 
Teniendo en cuenta que todo espacio métrico compacto es sucesionalmente com-
pacto, podemos expresar los dos resultados anteriores en el siguiente teorema.

Teorema 8.8 Un espacio métrico (X, d) es compacto si, y sólo si, (X, d) es completo y
totalmente acotado.

Toc JJ II J I Volver J Doc Doc I

Sección 4: El espacio Rω 12

4. El espacio Rω
Vamos a estudiar ahora el espacio producto Rω .
Q
Lema 8.9 Sea X el espacio producto X = Xi y sea xn una sucesión de puntos de X.
Entonces xn → x si, y sólo si, πi (xn ) → πi (x), para cada i.
Demostración. En primer lugar, como la proyección πi : X → Xi es una aplicación
continua, entonces conserva la convergencia de sucesiones y deducimos la condición
necesaria del lema. Q
Supongamos ahora que πi (xn ) → πi (x), para cada i ∈ J. Sea U = Ui un elemento
básico de X que contenga a x. Para cada i de forma que U i no es igual a todo el espacio
Xi , sea Ni un entero tal que πi (xn ) ∈ Ui para todo n ≥ Ni . Si N es el número más
grande de todos los N i , entonces xn ∈ U, para todo n ≥ N. 

Teorema 8.10 Existe una distancia para el espacio producto Rω con la cual Rω es
completo.
Demostración. Sea d̄(a, b) = mı́n{|a − b|, 1} la distancia acotada estándar sobre R.
Sea D la distancia sobre Rω definida por
D(x, y) = sup{d̄(xi , yi )/i}.

Toc JJ II J I Volver J Doc Doc I

Sección 5: La distancia uniforme 13

Entonces D induce la topologı́a producto sobre Rω y Rω es completo con la distancia

D. Sea xn una sucesión de Cauchy en (Rω , D). Como
d̄(πi (x), πi (y)) ≤ iD(x, y)
observamos que, para i fijo, la sucesión πi (xn ) es una sucesión de Cauchy en R y,
por tanto, converge a un número a i . Entonces la sucesión xn converge al punto a =
(a1 , a2 , . . .) de Rω . 

5. La distancia uniforme
Definición 8.3 Sea (Y, d) un espacio métrico. Pongamos d̄(a, b) = mı́n{d(a, b), 1}
para la distancia acotada estándar sobre Y correspondiente a d. Si x = (xi )i∈J e y =
(yi )i∈J son puntos del producto cartesiano Y J , definimos
ρ̄(x, y) = sup{d̄(xα , yα ) | α ∈ J}.
ρ̄ es una distancia denominada distancia uniforme sobre Y J correspondiente a la dis-
tancia d sobre Y.
Los elementos de Y J son simplemente aplicaciones de J en Y. Con esta notación,
la definición de la distancia uniforme adquiere la siguiente forma: para f , g : J → Y,
entonces
ρ̄(f, g) = sup{d̄(f(α), g(α)) | α ∈ J}.

Toc JJ II J I Volver J Doc Doc I

Sección 5: La distancia uniforme 14

Teorema 8.11 Si el espacio Y es completo con la distancia d, entonces el espacio Y J

es completo con la distancia uniforme ρ̄ correspondiente a d.
Demostración. Si (Y, d) es completo, entonces (Y, d̄) también lo es, donde d̄ es la
distancia acotada correspondiente a d. Supongamos que f 1 , f2 , . . . es una sucesión de
puntos de Y J que es una sucesión de Cauchy para la distancia ρ̄. Dado i en J, el hecho
de que
d̄(fn (i), fm (i)) ≤ ρ̄(fn , fm )
para todos n, m se traduce en que la sucesión f 1 (i), f2 (i), . . . es una sucesión de Cauchy
en (Y, d̄). Por tanto, la sucesión converge a un punto y i . Sea f : J → Y la aplicación
definida por f(i) = yi . Afirmamos que la sucesión (fn ) converge a f en la distancia ρ̄.
Dado ε > 0, elijamos N lo suficientemente grande para que ρ̄(fn , fm ) < ε/2, para
todos n, m ≥ N. Entonces, en particular,
d̄(fn (i), fm (i)) < ε/2
para n, m ≥ N e i ∈ J. Manteniendo n y i fijos y haciendo tender m a infinito, obtenemos
que
d̄(fn (i), f(i)) ≤ ε/2.
Esta desigualdad es cierta para todo α, siempre que n ≥ N. Por consiguiente,
ρ̄(fn , f) ≤ ε/2 < ε
para n ≥ N, como deseábamos probar. 
Toc JJ II J I Volver J Doc Doc I
Sección 5: La distancia uniforme 15

Supongamos ahora que X es un espacio topológico y consideremos los subconjuntos

C(X, Y) y A(X, Y) de todas las aplicaciones f : X → Y continuas y acotadas, respecti-
vamente, de X en Y.

Teorema 8.12 Sea X un espacio topológico y sea (Y, d) un espacio métrico. Los con-
juntos C(X, Y) y A(X, Y) son cerrados en Y X . Por tanto, si Y es completo entonces
estos dos espacios son completos con la distancia uniforme.
Demostración. La primera parte de este teorema es justo el teorema del lı́mite uniforme.
Veamos, en primer lugar, que si una sucesión de elementos f n de Y X converge al elemento
f de Y X en la distancia ρ̄ de Y X , entonces la sucesión converge uniformemente a f, para
la distancia d̄ sobre Y. Dado ε > 0, elijamos un entero N tal que
ρ̄(f, fn ) < ε
para todo n > N. Entonces, para todo x ∈ X y todo n ≥ N,
d̄(fn (x), f(x)) ≤ ρ̄(fn , f) < ε.
Y, por tanto, (fn ) converge uniformemente a f.
Probemos ahora que C(X, Y) es cerrado en Y X con la distancia ρ̄. Sea f un elemento
de Y X que es un punto lı́mite de C(X, Y). Existe entonces una sucesión (fn ) de elementos
de C(X, Y) convergente a f en la distancia ρ̄. Por el teorema del lı́mite uniforme, f es
continua, de forma que f ∈ C(X, Y).

Toc JJ II J I Volver J Doc Doc I

Sección 6: La distancia del supremo 16

Finalmente, probemos que A(X, Y) es cerrado en Y X . Si f es un punto lı́mite de

A(X, Y), existe una sucesión de elementos f n de A(X, Y) convergente a f. Elijamos N
lo suficientemente grande para que ρ̄(fN , f) < 1/2. Entonces, para x ∈ X, tenemos que
d̄(fN (x), f(x)) < 1/2, lo cual implica que d(fN (x), f(x)) < 1/2. Deducimos que, si M es
el diámetro del conjunto f N (X), entonces f(X) tiene diámetro menor o igual que M + 1.
Por tanto, f ∈ A(X, Y). 

Corolario 8.13 Sea X un espacio topológico. Los conjuntos C(X, R) y A(X, R) son
cerrados en RX y completos con la distancia uniforme.

6. La distancia del supremo

Definición 8.4 Si (Y, d) es un espacio métrico, podemos definir otra distancia en el
conjunto A(X, Y) de las aplicaciones acotadas de X en Y por la ecuación
ρ(f, g) = sup{d(f(x), g(x)) | x ∈ X}.
Es fácil observar que ρ está bien definida porque el conjunto f (X) ∪ g(X) está acotado
si f(X) y g(X) lo están. La distancia ρ se conoce como distancia del supremo.
Ejercicio 8.4. ¿Qué relación hay entre la distancia del supremo y la distancia unifor-
me?

Toc JJ II J I Volver J Doc Doc I

Sección 7: Teorema del embebimiento isométrico 17

7. Teorema del embebimiento isométrico

Vamos a probar ahora un teorema clásico, el cual afirma que todo espacio métrico se
puede embeber isométricamente en un espacio métrico completo.

Teorema 8.14 Sea (X, d) un espacio métrico. Existe un embebimiento isométrico de

X en un espacio métrico completo.
Demostración. Sea A(X, R) el conjunto de todas las funciones acotadas de X en R.
Sea x0 un punto fijo de X. Dado a ∈ X, definamos φa : X → R mediante la ecuación
φa (x) = d(x, a) − d(x, x0 ).
Aseguramos que φa está acotada. Efectivamente, de las desigualdades
d(x, a) ≤ d(x, b) + d(a, b),
d(x, b) ≤ d(x, a) + d(a, b),
se deduce que
|d(x, a) − d(x, b)| ≤ d(a, b).
Poniendo b = x0 , concluimos que |φa (x)| ≤ d(a, x0 ), para todo x.
Definamos Φ : X → A(X, R) por
Φ(a) = φa .

Toc JJ II J I Volver J Doc Doc I

Sección 7: Teorema del embebimiento isométrico 18

Vamos a probar que Φ es un embebimiento isométrico de (X, d) en el espacio métrico

completo (A(X, R), ρ). Es decir, vamos a probar que, para todo par de puntos a, b ∈ X,
ρ(φa , φb ) = d(a, b).
Por definición,
ρ(φa , φb ) = sup{|φa (x) − φb (x)| : x ∈ X}
= sup{|d(x, a) − d(x, b)| : x ∈ X}.
Por tanto, concluimos que
ρ(φa , φb ) ≤ d(a, b).
Por otro lado, esta desigualdad no puede ser estricta, ya que si x = a entonces
|d(x, a) − d(x, b)| = d(a, b),
y ası́ concluye la prueba. 

7.1. Completación de un espacio métrico

Definición 8.5 Sea X un espacio métrico. Si h : X → Y es un embebimiento isométrico
de X en un espacio métrico completo Y, entonces el subespacio h(X) de Y es un espacio
métrico completo. Se conoce como completación de X.

Toc JJ II J I Volver J Doc Doc I

Sección 8: Algunos resultados interesantes 19

En otras palabras, si (X̄, d̄) es un espacio métrico completo y X es un espacio métrico

isométrico a un subconjunto denso de X̄, entonces (X̄, d̄) es la completación de X.
Ejemplo 8.5. La recta real (R, | |) es una completación de (Q, | |).

Proposición 8.15 Todo espacio métrico (X, d) admite una completación.

Demostración. Es una consecuencia inmediata del Teorema 8.14. 

8. Algunos resultados interesantes

8.1. Teorema de encaje de Cantor
Teorema 8.16 Sea (X, d) un espacio métrico completo y sea {Cn }∞ n=1 una sucesión
decreciente de cerrados en X, no vacı́os y tales que la sucesión de sus diámetros converge
a 0. Entonces ∩∞n=1 Cn es exactamente un punto.

Demostración. Que la sucesión de cerrados sea decreciente quiere decir que

C1 ⊃ C2 ⊃ · · · ⊃ Cn ⊃ . . . .
Sea (xn )∞
n=1 una sucesión en X de manera que x n ∈ Cn para cada n ∈ N. Veamos que
esta sucesión es de Cauchy.
Como los diámetros de (Cn )n forman una sucesión que tiende a 0, tendremos que
dado ε > 0, existe n0 ∈ N tal que si n > n0 , entonces diám(Cn ) < ε. Por tanto, como la
Toc JJ II J I Volver J Doc Doc I
Sección 8: Algunos resultados interesantes 20

sucesión de cerrados es decreciente, si n, m > n0 , con m > n, tenemos que xn , xm ∈ Cn .

Entonces d(xn , xm ) < diám(Cm ) < ε y la sucesión es de Cauchy.
Como X es completo, la sucesión (xn )n es convergente a un punto x ∈ X. Veamos
que x ∈ ∩n∈N Cn .
Supongamos que no fuera ası́. Entonces existirı́a k ∈ N tal que x ∈ / Ck ; como Ck es
cerrado, tenemos que d(x, Ck ) = r > 0, con lo que la bola B(x, 2r ) y Ck no tienen puntos
comunes. Pero si n > k, entonces xn ∈ Ck (pues la sucesión de cerrados es decreciente),
lo que implica que x n ∈/ B(x, 2r ), lo cual es imposible puesto que x n → x.
Veamos, finalmente, que este punto es el único en la intersección. Supongamos que
existe otro punto y ∈ ∩n∈N Cn , entonces d(x, y) ≤ diám(Cn ) para todo n ∈ N y como
lı́mn diám(Cn ) = 0 ha de ser d(x, y) ≤ 0. Pero d es una distancia, luego d(x, y) = 0. Por
tanto, x = y. 

8.2. Teorema de Baire

Teorema 8.17 Sea (X, d) un espacio métrico completo y sea {An }∞
n=1 una sucesión de
abiertos de X tales que A n es denso en X para cada n ∈ N. Entonces se cumple que
∩∞
n=1 An es denso en X.

Demostración. Es suficiente probar que todo abierto no vacı́o de X corta a ∩∞ n=1 An .

Sea A ⊂ X un abierto. Como A 1 es denso, A ∩ A1 es no vacı́o y, por tanto, x 1 ∈ A ∩ A1 .
Como A ∩ A1 es abierto, existe r1 < 1 tal que la bola cerrada B(x1 , r1 ) ⊂ A ∩ A1 .

Toc JJ II J I Volver J Doc Doc I

Sección 9: Problemas propuestos 21

La bola B(x1 , r1 ) es abierta no vacı́a y A 2 es denso, luego B(x1 , r1 ) ∩ A2 es no vacı́o.

Por tanto, existe x2 ∈ B(x1 , r1 ) ∩ A2 ; esta intersección es abierta, luego existe r 2 < 12
tal que
B(x2 , r2 ) ⊂ B(x1 , r1 ) ∩ A2 ⊂ A ∩ A1 ∩ A2 .
Ası́, por inducción, se puede construir una sucesión de bolas {B(xn , rn )}∞ n=1 tales que
para cada n ∈ N rn < n1 y B(xn , rn ) ⊂ A ∩ A1 ∩ · · · ∩ An .
Si consideramos las bolas cerradas, la familia {B(xn , rn )}∞ n=1 cumple la hipótesis del
teorema de encaje de Cantor y, por tanto, su intersección es un único punto:
∩∞
n=1 B(xn , rn ) = {x}, x ∈ X.
En consecuencia, x ∈ A ∩ (∩∞ ∞
n=1 An ) por lo que ∩n=1 An es denso. 

9. Problemas propuestos
Problema 8.1. Sea X un espacio métrico.
(a) Suponga que, para algún ε > 0, toda ε-bola en X tiene clausura compacta. Pruebe
que X es completo.
(b) Suponga que, para cada x ∈ X, existe un ε > 0 tal que la bola B(x, ε) tiene
clausura compacta. Muestre mediante un ejemplo que X no es completo necesa-
riamente.

Toc JJ II J I Volver J Doc Doc I

Sección 9: Problemas propuestos 22

Problema 8.2. Sean (X, dX ) e (Y, dY ) dos espacios métricos, con Y completo. Sea
A ⊂ Y. Demuestre que si f : A → Y es uniformemente continua, entonces f puede ser
extendida unı́vocamente a una aplicación uniformemente continua g : Ā → Y.
Problema 8.3. Dos distancias d y d 0 sobre un conjunto X se dice que son métrica-
mente equivalentes si la aplicación identidad i : (X, d) → (X, d0 ) y su inversa son
uniformemente continuas.
(a) Demuestre que d es métricamente equivalente a la distancia acotada estándar d̄
asociada a d.
(b) Demuestre que si d y d 0 son métricamente equivalentes, entonces X es completo
con la distancia d si, y sólo si, es completo con la distancia d 0 .
Problema 8.4. Demuestre que el espacio métrico (X, d) es completo si, y sólo si, para
toda sucesión encajada A 1 ⊃ A2 ⊃ · · · de subconjuntos cerrados no vacı́os de X tales
que diám An → 0, la intersección de los conjuntos A n no es vacı́a.
Problema 8.5. Si (X, d) es un espacio métrico, recuerde que una aplicación f : X → X
se dice que es una contracción si existe un número α < 1 tal que
d(f(x), f(y)) ≤ αd(x, y),
para todos x, y ∈ X. Demuestre que si f es una contracción de un espacio métrico
completo, entonces existe un único punto x ∈ X tal que f(x) = x.

Toc JJ II J I Volver J Doc Doc I

Sección 9: Problemas propuestos 23

Problema 8.6. Un espacio X se dice que es topológicamente completo si existe una

distancia para la topologı́a de X para la cual X es completo.
(a) Demuestre que un subespacio cerrado de un espacio topológicamente completo
es topológicamente completo.
(b) Pruebe que un producto numerable de espacios topológicamente completos es
topológicamente completo (con la topologı́a producto).

Fin del Capı́tulo

Toc JJ II J I Volver J Doc Doc I

Soluciones de los ejercicios 24

Soluciones de los ejercicios

Ejercicio 8.1. Sı́, ya que una sucesión de Cauchy en A también es una sucesión de
Cauchy en X y, por tanto, converge en X. Como A es cerrado en X, el lı́mite de la
sucesión debe permanecer en A. Ejercicio 8.1

Toc JJ II J I Volver J Doc Doc I

Soluciones de los ejercicios 25

Ejercicio 8.2. Porque una sucesión (xn ) es una sucesión de Cauchy para la distancia d̄
si, y sólo si, es una sucesión de Cauchy para la distancia d. Y una sucesión converge en
la distancia d̄ si, y sólo si, converge en la distancia d. Ejercicio 8.2

Toc JJ II J I Volver J Doc Doc I

Soluciones de los ejercicios 26

Ejercicio 8.3. El espacio Q de los números racionales con la distancia usual d(x, y) =
|x − y| NO es completo. Por ejemplo, la sucesión
1,4, 1,41, 1,414, 1,4142, 1,41421, . . .
√
de números con una cantidad finita de decimales, que converge (en R) a 2, es una
sucesión de Cauchy en Q que no converge en Q. Ejercicio 8.3

Toc JJ II J I Volver J Doc Doc I

Soluciones de los ejercicios 27

Ejercicio 8.4. Si f, g ∈ A(X, Y) entonces

ρ̄(f, g) = mı́n{ρ(f, g), 1}
ya que si ρ(f, g) > 1 entonces d(f(x0 ), g(x0 )) > 1 para algún x0 ∈ X, de manera que
d̄(f(x0 ), g(x0 )) = 1 y ρ̄(f, g) = 1, por definición. Por otro lado, si ρ(f, g) ≤ 1 entonces
d̄(f(x), g(x)) = d(f(x), g(x)) ≤ 1 para todo x, y ası́ ρ̄(f, g) = ρ(f, g).
Observemos que sobre A(X, Y), la distancia ρ̄ es justamente la distancia acotada
estándar derivada de la distancia ρ. Ejercicio 8.4

Toc JJ II J I Volver J Doc Doc I

Soluciones de las cuestiones 28

Soluciones de las cuestiones

Cuestión 8.1. El intervalo abierto (−1, 1) de R con la distancia d(x, y) = |x − y| no es
completo. En este espacio, la sucesión (xn ) definida por
1
xn = 1 −
n
es una sucesión de Cauchy que no converge. Fin de la cuestión

Toc JJ II J I Volver J Doc Doc I