Capı́tulo 8

Espacios completos

8.1 Sucesiones de Cauchy

Definición 8.1.1 (Sucesión de Cauchy). Diremos que una sucesión (xn )∞

n=1 en un espacio métrico
(X, d) es de Cauchy si para todo ε > 0 existe un no tal que si n, m > no se cumple que
d(xn , xm ) < ε.

El concepto de sucesión de Cauchy depende de la distancia d como se pone de manifiesto en los

ejemplos siguientes. Además como vimos en el ejemplo 5.2.11 6), tampoco es una propiedad
topológica ya que no se conserva mediante homeomorfismos.

Ejemplo 8.1.2.
(1) Las únicas sucesiones de Cauchy en un espacio métrico discreto son las de cola constante.

(2) ( n1 )∞
n=1 es de Cauchy tanto en (R, | |) como en ((0, 1), | |).

(3) La sucesión (n)∞

n=1 no es de Cauchy en (R, | |). 

Proposición 8.1.3. Si una sucesión (xn )∞

n=1 en un espacio métrico (X, d) converge a x ∈ X,
∞
entonces (xn )n=1 es de Cauchy.

Demostración. Como xn → x, para todo ε > 0 existe un no tal que si n > no , entonces
d(xn , x) < 2ε . Ası́, para todo n, m > no se tiene
ε ε
d(xn , xm ) ≤ d(xn , x) + d(x, xm ) < + =ε
2 2

El recı́proco de este resultado no es cierto en general.

71
72 CAPÍTULO 8. ESPACIOS COMPLETOS

Ejemplo 8.1.4.

La sucesión ( n1 )n∈N es de Cauchy en ((0, +∞), | |) y sin embargo no converge. 

Lema 8.1.5. Si (xn )∞

n=1 es una sucesión de Cauchy en un espacio métrico (X, d) tal que existe
una subsucesión (xnk )∞ ∞
k=1 que converge a x, entonces la sucesión (xn )n=1 también converge a x.

Demostración. Como (xn )∞ n=1 es de Cauchy, dado ε > 0 existe un 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 un ko tal que si nk > nko se
cumple d(xnk , x) < 2ε .

Consideremos no = max{n1 , nko }, y tomemos n > no y k tal que nk > no , entonces

ε ε
d(xn , x) ≤ d(xn , xnk ) + d(xnk , x) < + =ε
2 2
y la sucesión (xn )∞
n=1 converge a x.

Proposición 8.1.6. Toda sucesión de Cauchy en un espacio métrico (X, d) está acotada.

Demostración. Consideremos ε = 1, por el hecho de ser de Cauchy existe no tal que si m, n > no
se tiene que d(xn , xm ) < 1, de modo que si n > no , xn ∈ B(xno +1 , 1). Sólo quedan un número
finito de términos que pueden estar fuera de esta bola. Sea

r = max{d(x1 , xno ), ..., d(xno , xno +1 )}

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

{xn : n = 1, ..., ∞} ⊂ B(xno +1 , r + 1)

8.2 Espacio métrico completo

Definición 8.2.1 (Espacio completo). Diremos que un espacio métrico (X, d) es completo si toda
sucesión de Cauchy es convergente.

Ejemplo 8.2.2.

(1) Todo espacio métrico discreto es completo.

(2) (0, ∞) no es completo con la distancia usual. 

8.2. ESPACIO MÉTRICO COMPLETO 73

Proposición 8.2.3. El espacio Rn con cualquiera de las tres métricas d1 , d2 , d∞ es completo.

Demostración. Sea (xn )∞ n=1 una sucesión de Cauchy que, por la proposición anterior está acotada,
luego está contenida en una bola cerrada, que por el teorema de Heine-Borel-Lebesgue 7.4.13, es
compacto; entonces según este mismo teorema, dicha sucesión tiene una subsucesión convergente.
Aplicando ahora el Lema 8.1.5 (xn )∞ n=1 también es convergente.

Proposición 8.2.4. 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, τd ) es compacto, también es secuencialmente compacto, luego existe una subsuce-
sión de (xn )∞ ∞ ∞
n=1 , (xnk )k=1 , convergente y como consecuencia del Lema 8.1.5 (xn )n=1 también es
convergente.

La implicación recı́proca no es cierta, pero sı́ que se cumple si se considera una hipótesis adi-
cional, la de ser totalmente acotado. La demostración siguiente es algo complicada. Además, ésta
propiedad justifica que los espacios métricos totalmente acotados reciban también el nombre de
precompactos.

Proposición 8.2.5. Todo espacio métrico completo y totalmente acotado es secuencialmente com-
pacto.

Demostración. Sea (X, d) un espacio métrico completo y totalmente acotado, sea (xn )∞
n=1 una
sucesión en X. Vamos a construir una subsucesión de Cauchy que será convergente al ser X
completo y por tanto X será secuencialmente 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 dicha sucesión S, llamemos a esta bola B1 .

Consideremos ahora B1 ∩ S. Este conjunto es también totalmente acotado, de modo que si con-
sideramos 212 , B1 ∩ S estará recubierto por un número finito de bolas de radio 212 y de ellas, al
menos una, que llamaremos B2 , contendrá una cantidad finita de términos de la sucesión.

Ası́ sucesivamente hemos construido una sucesión de bolas Bk 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.

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

74 CAPÍTULO 8. ESPACIOS COMPLETOS

El primer término será un término arbitrario de la sucesión que esté en B1 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 , ası́ sucesivamente construimos una subsucesión (xnk )k , tal que cada xnk ∈ Bk .
Veamos que esta subsucesión es de Cauchy. Si p, q ∈ N con p < q, como Bp ∩Bq 6= ∅, tendremos
que si y ∈ Bp ∩ Bq
1 1 1 1 1
d(xnp , xnq ) ≤ d(xnp , y) + d(y, xnq ) ≤ p
+ q < p + p = p−1
2 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 ) < < <ε
2p−1 2m−1
y la subsucesión es de Cauchy.

Teniendo en cuenta que todo espacio métrico compacto es secuencialmente compacto, podemos
expresar los dos resultados anteriores en el siguiente teorema:

Teorema 8.2.6. Un espacio métrico (X, d) es compacto si, y sólo si (X, d) es completo y total-
mente acotado.

Proposición 8.2.7. Todo subespacio cerrado de un espacio completo es completo.

Demostración. Sea (X, d) un espacio métrico completo y sea H ⊂ X cerrado.

Sea (xn )∞
n=1 una sucesión de Cauchy en H. Evidentemente, también es sucesión de Cauchy en
X. Por tanto, converge a un punto x ∈ X. Como H cerrado x ∈ H, y (xn )∞ n=1 converge a x en
H.

Proposición 8.2.8. 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 y x = x0 . Es decir, x ∈ H.

8.3 Algunos resultados interesantes

Teorema 8.3.1 (Teorema de Encaje de Cantor). 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.
8.3. ALGUNOS RESULTADOS INTERESANTES 75

Demostración. Que la sucesión de cerrados es decreciente quiere decir que C1 ⊃ C2 ⊃ · · · ⊃

Cn ⊃ . . . .

Sea (xn )∞ ∗
n=1 una sucesión en X de manera que xn ∈ 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 no ∈ N tal que si n > no , δ(Cn ) < ε. Por tanto, como la sucesión de cerrados es
decreciente, tenemos que si n, m > no , con m > n, xn , xm ∈ Cn y entonces d(xn , xm ) <
δ(Cm ) < ε y la sucesión es de Cauchy.

Entonces, como X es completo (xn )n es convergente a un punto x ∈ X.

Veamos que x ∈ ∩n∈N Cn . Supongamos que no fuera ası́, entonces existe k ∈ N tal que x ∈ / Ck y
r
como Ck es cerrado, tenemos que d(x, Ck ) = r > 0, con lo que la bola B(x, 2 ) y Ck no tienen
puntos comunes, pero si n > k, xn ∈ Ck (la sucesión de cerrados es decreciente), lo que implica
que xn ∈/ B(x, 2r ), lo cual es imposible puesto que xn → x.

Veamos por fin que este punto es el único en la intersección. Supongamos que existe otro punto
y ∈ ∩n∈N Cn , entonces d(x, y) ≤ δ(Cn ) para todo n ∈ N y como limn δ(Cn ) = 0, ha de ser
d(x, y) ≤ 0, pero d es una distancia, luego d(x, y) = 0. Por tanto x = y.

Teorema 8.3.2 (Baire). Sea (X, d) un espacio métrico completo y sea {An }∞
n=1 una sucesión de
abiertos de X tales que An 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 A1 es denso, A ∩ A1 es no vacı́o y por tanto x1 ∈ A ∩ A1 y A ∩ A1 es abierto,
luego existe r1 < 1 tal que la bola cerrada B(x1 , r1 ) ⊂ A ∩ A1 .

Como la bola B(x1 , r1 ) es abierto y no vacı́o y A2 es denso resulta que B(x1 , r1 ) ∩ A2 es no vacı́o
y por tanto existe x2 ∈ B(x1 , r1 ) ∩ A2 y es abierto luego existe r2 < 21 tales 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
1
n ∈ N, rn < n , 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

Ası́, tal y como se han construido estas bolas, x ∈ A ∩ (∩∞ ∞

n=1 An ) y ∩n=1 An es denso.
76 CAPÍTULO 8. ESPACIOS COMPLETOS

8.4 Completado de un espacio métrico

¯ es el completado
Definición 8.4.1 (Espacio completado). Diremos que un espacio métrico (X, d)
¯ es completo y X es isométrico a un subconjunto denso de
de un espacio métrico (X, d) si (X, d)
X.

Ejemplo 8.4.2.

(R, | |) es un completado de (Q, | |). 

Teorema 8.4.3. Sea X un conjunto cualquiera. Entonces el espacio métrico (B(X, R), d∞ ) con
B(X, R) = {f : X −→ R : f acotada} y d∞ (f, g) = sup{| f (x) − g(x) |: x ∈ X}, es un
espacio métrico completo.

Demostración. Sea (fn )∞

n=1 una sucesión, de funciones, de Cauchy en (B(X, R), d∞ ). Entonces
para cada x ∈ X la sucesión de números reales (fn (x))∞
n=1 , es una sucesión de Cauchy en (R, |
|).

Como (R, | |) es completo se tiene que, para cada x ∈ X, (fn (x))∞ n=1 converge a un punto en R
que llamaremos f (x). A partir de estos lı́mites definimos una función, f : X −→ R, tal que a
cada x ∈ X le hace corresponder el lı́mite de la sucesión (fn (x))∞
n=1 , que hemos llamado f (x).

Veamos que (fn )n converge a f . Como la sucesión es de Cauchy, tendremos que para todo ε > 0,
existe no tal que si m, n > no , entonces d∞ (fn , fm ) = sup{|fn (x) − fm (x)| : x ∈ X} < ε. En
particular, si tomamos n > no fijo y p ∈ N, tendremos que

d(fn , fn+p ) = sup{|fn (x) − fn+p (x)| : x ∈ X} < ε

Entonces tendremos que para todo x ∈ X, se cumple que

|fn (x) − fn+p (x)| < ε

Si ahora tomamos lı́mites cuando p → ∞, tendremos que, para todo x ∈ X

|fn (x) − fn+p (x)| → |fn (x) − f (x)|

lo que implica que |fn (x) − f (x)| < ε y por tanto la conclusión es que si n > no entonces

d∞ (fn , f ) = sup{|fn (x) − f (x)| : x ∈ X} < ε

lo que implica que (fn )n converge a f .

Esto también implica que f ∈ B(X, R), es decir, está acotada, pues como (fn )n es de Cauchy, por
la proposición 8.1.6, está acotada, luego existe M > 0 tal que (fn )n ⊂ B(0, M ), con 0 la función
8.5. EJERCICIOS 77

idénticamente nula, es decir d∞ (0, fn ) < M para todo n ∈ N. Entonces, dado 1 > 0, como (fn )n
converge a f , existe un n1 tal que si n > n1 , entonces d∞ (fn , f ) < 1. Por tanto podemos poner

d∞ (0, f ) ≤ d∞ (0, fn ) + d∞ (fn , f ) < M + 1

Proposición 8.4.4. Existe un completado de cualquier espacio métrico (X, d).

Demostración. Sea a ∈ X fijo. Definimos la aplicación ψ : X −→ B(X, R) como ψx : X −→

R, tal que ψx (y) = d(y, x) − d(y, a). ψx ∈ B(X, R) puesto que

d∞ (0, ψ) = sup{|ψx (y)| : y ∈ X} = sup{|d(y, x) − d(y, a)| : y ∈ X} = d(x, a)

Además ψ es una isometrı́a puesto que

d∞ (ψx , ψz ) = sup{|d(y, x) − d(y, z)| : y ∈ X} = d(x, z)

Si ahora consideramos la adherencia ψ(X) en B(X, R), con la distancia inducida, tenemos que
por la proposición 8.2.7, ψ(X) es completo por ser cerrado en B(X, R) que es completo. Ya
hemos encontrado un completado de X.

8.5 Ejercicios

1. Pruebe que toda sucesión de Cauchy en un espacio métrico es totalmente acotada.[Lipschutz],

pag. 199

2. Sea (X, d) un espacio métrico. Una aplicación f : X −→ X se llama contractiva, si existe

k ∈ R con 0 ≤ k < 1, tal que para todo x, y ∈ X, d(f (x), f (y)) ≤ kd(x, y). Pruebe:
a) Si f es contractiva, entonces f es continua.
b) Si f es contractiva y (X, d) es completo, existe x ∈ X tal que f (x) = x (Teorema del
punto fijo)

[Lipschutz], pag. 201

3. En el teorema de punto fijo del ejercicio anterior, las hipótesis son necesarias:
a) Completitud. Demuestre que la aplicación f : (0, 31 ) −→ (0, 13 ) dada por f (x) = x2
es una contractiva y que no tiene punto fijo.
b) Contractiva. Demuestre que la aplicación f : [1, ∞) −→ [1, ∞) dada por f (x) =
x + x1 no cumple | f (x) − f (y) |<| x − y | y no tiene punto fijo.

4. El Teorema de Encaje de Cantor necesita de todas las hipótesis:

78 CAPÍTULO 8. ESPACIOS COMPLETOS

a) Espacio métrico completo. Demuestre que {(0, n1 ]}∞ n=2 es una sucesión de conjun-
tos cerrados de ((0, 1), | |) tales que sus diámetros convergen a 0 y, sin embargo, su
intersección es el vacı́o.
b) Conjuntos cerrados. Demuestre que {(0, n1 )}∞ n=1 es una sucesión de conjuntos no
cerrados en R tales que sus diámetros convergen a cero y su intersección es el vacı́o.
c) Sucesión de diámetros convergente a 0. Demuestre que {[n, ∞)}∞ n=1 es una sucesión
decreciente de conjuntos cerrados en R tales que su intersección es el vacı́o.

5. Sea (X, d) un espacio métrico. Demuestre que si A, B ⊂ X son completos, entonces A ∪ B

también es completo. [Fleitas], pag. 180

6. Sea (xn )n una sucesión en un espacio métrico (X, d) y sea la sucesión de conjuntos

A1 = {x1 , x2 , . . . }, A2 = {x2 , x3 , . . . }, . . . , An = {xn , xn+1 , . . . }

Pruebe que (xn )n es una sucesión de Cauchy si, y sólo si la sucesión de los diámetros
(δ(An ))n , converge a 0. [Lipschutz], pag. 199

REFERENCIAS

[Lipschutz]: Topologı́a General. Autor: S. Lipschutz. Serie Schaum. Ed. McGraw-Hill.

1970

[Fleitas]: Problemas de Topologı́a General. Autores: G. Fleitas y J. Margalef. Ed. Alham-

bra 1983
Índice General

1 Preliminares 1

1.1 Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1

1.2 Aplicaciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3

1.3 Numerabilidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6

2 Espacios Métricos 11

2.1 Distancias y espacios métricos . . . . . . . . . . . . . . . . . . . . . . . . . 11

2.2 Bolas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17

2.3 Abiertos. Propiedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18

2.4 Cerrados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20

3 Espacios topológicos 23

3.1 Espacio topológico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23

3.2 Cerrados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26

3.3 Entornos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26

3.4 Subespacios topológicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28

3.5 Espacios topológicos metrizables . . . . . . . . . . . . . . . . . . . . . . . . 31

4 Subconjuntos notables de un Espacio Topológico 35

4.1 Adherencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35

4.1.1 Subconjuntos densos . . . . . . . . . . . . . . . . . . . . . . . . . . 37

79
80 ÍNDICE GENERAL

4.1.2 Puntos aislados y puntos de acumulación . . . . . . . . . . . . . . . 38

4.2 Interior y frontera . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39

4.3 Sucesiones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42

5 Continuidad 45

5.1 Continuidad en un punto . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45

5.2 Continuidad en todo el espacio . . . . . . . . . . . . . . . . . . . . . . . . . 48

5.3 Continuidad uniforme. Isometrı́as . . . . . . . . . . . . . . . . . . . . . . . . 51

6 Espacios conexos 53

6.1 Conexos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53

6.2 Conexos en R . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55

6.3 Conexión y continuidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56

7 Espacios compactos 59

7.1 Espacios compactos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59

7.2 Subconjuntos compactos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60

7.3 Compactos en R y Rn . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61

7.3.1 Compactos en R . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61

7.3.2 Compactos en Rn . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62

7.4 Compactos en un espacio métrico . . . . . . . . . . . . . . . . . . . . . . . 64

7.4.1 Compactos en Rn de nuevo . . . . . . . . . . . . . . . . . . . . . . . 67

7.5 Compactos y funciones continuas . . . . . . . . . . . . . . . . . . . . . . . 68

7.6 Propiedad de la intersección finita . . . . . . . . . . . . . . . . . . . . . . . 69

8 Espacios completos 71

8.1 Sucesiones de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71

8.2 Espacio métrico completo . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72

8.3 Algunos resultados interesantes . . . . . . . . . . . . . . . . . . . . . . . . 74

ÍNDICE GENERAL 81

8.4 Completado de un espacio métrico . . . . . . . . . . . . . . . . . . . . . . . 76

8.5 Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77