Captulo 8

Espacios completos

8.1 Sucesiones de Cauchy

Definicion 8.1.1 (Sucesion de Cauchy). Diremos que una sucesion (xn )

n=1 en un espacio metrico
(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 sucesion de Cauchy depende de la distancia d como se pone de manifiesto en los

ejemplos siguientes. Ademas como vimos en el ejemplo 5.2.11 6), tampoco es una propiedad
topologica ya que no se conserva mediante homeomorfismos.

Ejemplo 8.1.2.
(1) Las unicas sucesiones de Cauchy en un espacio metrico discreto son las de cola constante.

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

(3) La sucesion (n)

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

Proposicion 8.1.3. Si una sucesion (xn )

n=1 en un espacio metrico (X, d) converge a x X,

entonces (xn )n=1 es de Cauchy.

Demostracion. 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 recproco de este resultado no es cierto en general.

71
72 CAPITULO 8. ESPACIOS COMPLETOS

Ejemplo 8.1.4.

La sucesion ( n1 )nN es de Cauchy en ((0, +), | |) y sin embargo no converge. 

Lema 8.1.5. Si (xn )

n=1 es una sucesion de Cauchy en un espacio metrico (X, d) tal que existe
una subsucesion (xnk )
k=1 que converge a x, entonces la sucesion (xn )n=1 tambien converge a x.

Demostracion. 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 subsucesion (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 sucesion (xn )
n=1 converge a x.

Proposicion 8.1.6. Toda sucesion de Cauchy en un espacio metrico (X, d) esta acotada.

Demostracion. 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). Solo quedan un numero
finito de terminos 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 metrico completo

Definicion 8.2.1 (Espacio completo). Diremos que un espacio metrico (X, d) es completo si toda
sucesion de Cauchy es convergente.

Ejemplo 8.2.2.

(1) Todo espacio metrico discreto es completo.

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

8.2. ESPACIO METRICO COMPLETO 73

Proposicion 8.2.3. El espacio Rn con cualquiera de las tres metricas d1 , d2 , d es completo.

Demostracion. Sea (xn ) n=1 una sucesion de Cauchy que, por la proposicion anterior esta acotada,
luego esta contenida en una bola cerrada, que por el teorema de Heine-Borel-Lebesgue 7.4.13, es
compacto; entonces segun este mismo teorema, dicha sucesion tiene una subsucesion convergente.
Aplicando ahora el Lema 8.1.5 (xn ) n=1 tambien es convergente.

Proposicion 8.2.4. Todo espacio metrico compacto es completo.

Demostracion. Sea (X, d) un espacio metrico compacto y sea (xn ) n=1 una sucesion de Cauchy en
X. Como (X, d ) es compacto, tambien es secuencialmente compacto, luego existe una subsuce-
sion de (xn )
n=1 , (xnk )k=1 , convergente y como consecuencia del Lema 8.1.5 (xn )n=1 tambien es
convergente.

La implicacion recproca no es cierta, pero s que se cumple si se considera una hipotesis adi-
cional, la de ser totalmente acotado. La demostracion siguiente es algo complicada. Ademas, esta
propiedad justifica que los espacios metricos totalmente acotados reciban tambien el nombre de
precompactos.

Proposicion 8.2.5. Todo espacio metrico completo y totalmente acotado es secuencialmente com-
pacto.

Demostracion. Sea (X, d) un espacio metrico completo y totalmente acotado, sea (xn )
n=1 una
sucesion en X. Vamos a construir una subsucesion de Cauchy que sera convergente al ser X
completo y por tanto X sera secuencialmente compacto.

Si la sucesion es finita no hay nada que probar, pues tiene infinitos terminos iguales y ya tenemos
la subsucesion convergente. Supongamos entonces que la sucesion S = (xn ) n=1 tiene infinitos
terminos distintos. Como X es totalmente acotado y S X, S tambien es totalmente acotado, por
tanto dado 21 existe un numero finito de bolas con este radio que recubren S. Como S es infinito,
una de estas bolas contendra infinitos puntos de dicha sucesion S, llamemos a esta bola B1 .

Consideremos ahora B1 S. Este conjunto es tambien totalmente acotado, de modo que si con-
sideramos 212 , B1 S estara recubierto por un numero finito de bolas de radio 212 y de ellas, al
menos una, que llamaremos B2 , contendra una cantidad finita de terminos de la sucesion.

As sucesivamente hemos construido una sucesion de bolas Bk de radio 21k , cada una de las cuales
tiene infinitos terminos de la sucesion y que, segun se han construido, dos a dos tienen interseccion
no vaca.

Vamos a construir la subsucesion de la siguiente manera:

74 CAPITULO 8. ESPACIOS COMPLETOS

El primer termino sera un termino arbitrario de la sucesion que este en B1 y le llamamos xn1 ,
como en B2 hay infinitos terminos de la sucesion, existe un termino de la sucesion xn2 6= xn1
y con n2 > n1 , as sucesivamente construimos una subsucesion (xnk )k , tal que cada xnk Bk .
Veamos que esta subsucesion 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 = p1
2 2 2 2 2
1
Por tanto, dado > 0, existe m tal que 2m1
< y si p, q > m (con p > q por ejemplo), entonces

1 1
d(xnp , xnq ) < < <
2p1 2m1
y la subsucesion es de Cauchy.

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

Teorema 8.2.6. Un espacio metrico (X, d) es compacto si, y solo si (X, d) es completo y total-
mente acotado.

Proposicion 8.2.7. Todo subespacio cerrado de un espacio completo es completo.

Demostracion. Sea (X, d) un espacio metrico completo y sea H X cerrado.

Sea (xn )
n=1 una sucesion de Cauchy en H. Evidentemente, tambien es sucesion 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.

Proposicion 8.2.8. Todo subespacio completo de un espacio metrico es cerrado.

Demostracion. Sea (X, d) un espacio metrico 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 sucesion 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 sucesion (xn ) 0
n=1 converge en H a un punto x . Pero (X, d) es un espacio metrico 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 metrico completo y sea
{Cn }n=1 una sucesion decreciente de cerrados en X, no vacos y tales que la sucesion de sus
diametros converge a 0. Entonces n=1 Cn es exactamente un punto.
8.3. ALGUNOS RESULTADOS INTERESANTES 75

Demostracion. Que la sucesion de cerrados es decreciente quiere decir que C1 C2

Cn . . . .

Sea (xn )
n=1 una sucesion en X de manera que xn Cn para cada n N .

Veamos que esta sucesion es de Cauchy:

Como los diametros de ((Cn ))n forman una sucesion que tiende a 0, tendremos que dado > 0,
existe no N tal que si n > no , (Cn ) < . Por tanto, como la sucesion de cerrados es
decreciente, tenemos que si n, m > no , con m > n, xn , xm Cn y entonces d(xn , xm ) <
(Cm ) < y la sucesion es de Cauchy.

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

Veamos que x nN 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 sucesion 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 unico en la interseccion. Supongamos que existe otro punto
y nN 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 metrico completo y sea {An }
n=1 una sucesion 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.

Demostracion. Es suficiente probar que todo abierto no vaco de X corta a

n=1 An . Sea A X
un abierto. Como A1 es denso, A A1 es no vaco 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 vaco y A2 es denso resulta que B(x1 , r1 ) A2 es no vaco
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 induccion se puede construir una sucesion 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 hipotesis del Teorema
de encaje de Cantor, y por tanto su interseccion es un unico 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 CAPITULO 8. ESPACIOS COMPLETOS

8.4 Completado de un espacio metrico

es el completado
Definicion 8.4.1 (Espacio completado). Diremos que un espacio metrico (X, d)
es completo y X es isometrico a un subconjunto denso de
de un espacio metrico (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 metrico (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 metrico completo.

Demostracion. Sea (fn )

n=1 una sucesion, de funciones, de Cauchy en (B(X, R), d ). Entonces
para cada x X la sucesion de numeros reales (fn (x))
n=1 , es una sucesion 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 lmites definimos una funcion, f : X R, tal que a
cada x X le hace corresponder el lmite de la sucesion (fn (x))
n=1 , que hemos llamado f (x).

Veamos que (fn )n converge a f . Como la sucesion 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 lmites 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 conclusion 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 tambien implica que f B(X, R), es decir, esta acotada, pues como (fn )n es de Cauchy, por
la proposicion 8.1.6, esta acotada, luego existe M > 0 tal que (fn )n B(0, M ), con 0 la funcion
8.5. EJERCICIOS 77

identicamente 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

Proposicion 8.4.4. Existe un completado de cualquier espacio metrico (X, d).

Demostracion. Sea a X fijo. Definimos la aplicacion : 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)

Ademas es una isometra 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 proposicion 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 sucesion de Cauchy en un espacio metrico es totalmente acotada.[Lipschutz],

pag. 199

2. Sea (X, d) un espacio metrico. Una aplicacion 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 hipotesis son necesarias:
a) Completitud. Demuestre que la aplicacion f : (0, 31 ) (0, 13 ) dada por f (x) = x2
es una contractiva y que no tiene punto fijo.
b) Contractiva. Demuestre que la aplicacion 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 hipotesis:

78 CAPITULO 8. ESPACIOS COMPLETOS

a) Espacio metrico completo. Demuestre que {(0, n1 ]} n=2 es una sucesion de conjun-
tos cerrados de ((0, 1), | |) tales que sus diametros convergen a 0 y, sin embargo, su
interseccion es el vaco.
b) Conjuntos cerrados. Demuestre que {(0, n1 )} n=1 es una sucesion de conjuntos no
cerrados en R tales que sus diametros convergen a cero y su interseccion es el vaco.
c) Sucesion de diametros convergente a 0. Demuestre que {[n, )} n=1 es una sucesion
decreciente de conjuntos cerrados en R tales que su interseccion es el vaco.

5. Sea (X, d) un espacio metrico. Demuestre que si A, B X son completos, entonces A B

tambien es completo. [Fleitas], pag. 180

6. Sea (xn )n una sucesion en un espacio metrico (X, d) y sea la sucesion de conjuntos

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

Pruebe que (xn )n es una sucesion de Cauchy si, y solo si la sucesion de los diametros
((An ))n , converge a 0. [Lipschutz], pag. 199

REFERENCIAS

[Lipschutz]: Topologa General. Autor: S. Lipschutz. Serie Schaum. Ed. McGraw-Hill.

1970

[Fleitas]: Problemas de Topologa General. Autores: G. Fleitas y J. Margalef. Ed. Alham-

bra 1983
Indice General

1 Preliminares 1

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

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

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

2 Espacios Metricos 11

2.1 Distancias y espacios metricos . . . . . . . . . . . . . . . . . . . . . . . . . 11

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

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

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

3 Espacios topologicos 23

3.1 Espacio topologico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23

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

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

3.4 Subespacios topologicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28

3.5 Espacios topologicos metrizables . . . . . . . . . . . . . . . . . . . . . . . . 31

4 Subconjuntos notables de un Espacio Topologico 35

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

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

79
80 INDICE GENERAL

4.1.2 Puntos aislados y puntos de acumulacion . . . . . . . . . . . . . . . 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. Isometras . . . . . . . . . . . . . . . . . . . . . . . . 51

6 Espacios conexos 53

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

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

6.3 Conexion 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 metrico . . . . . . . . . . . . . . . . . . . . . . . 64

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

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

7.6 Propiedad de la interseccion finita . . . . . . . . . . . . . . . . . . . . . . . 69

8 Espacios completos 71

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

8.2 Espacio metrico completo . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72

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

INDICE GENERAL 81

8.4 Completado de un espacio metrico . . . . . . . . . . . . . . . . . . . . . . . 76

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