Espacios métricos precompactos

Escuela Colombiana de Ingeniería Julio Garavito

Lilian Daniela Suárez Riveros
Laura Lucía Rodríguez Ávila
Programa de Matemáticas

22 de noviembre de 2019

1. Introducción
Como proyecto de final de semestre, con la asesoría y acompañamiento del profesor
Nestor Raúl Pachón decidimos trabajar sobre espacios métricos precompactos, con el
fin de conocer una caracterización de los espacios métricos compactos con los espacios mé-
tricos precompactos.
Iniciaremos con unas definiciones previas y necesarias para el entendimiento del documento.
Adicionalmente, veremos unos resultados interesantes de los espacios métricos precompac-
tos.

2. Definiciones
2.1. Definiciones preliminares
Definición 2.1.1. Conjunto abierto y cerrado

Sea (X, d) un espacio métrico.

1. A ⊆ X es abierto, si para todo x ∈ A, existe r > 0 tal que Br (x) ⊆ A.

2. A ⊆ X es cerrado, si X − A es abierto.

Definición 2.1.2. Distancia entre x y A

Sean (X, d) un espacio métrico, A ⊆ X y x ∈ X. La distancia entre x y A es

d(x, A) = inf {d(x, a) : a ∈ A}

Definición 2.1.3. Diámetro

Sea (X, d) un espacio métrico. El diámetro de A ⊆ X es

diam(A) = sup{d(x, y) : x, y ∈ A}

Definición 2.1.4. Adherencia

Sean (X, d) un espacio métrico, A ⊆ X y x ∈ X, entonces:

1. Se dice que x es un punto de adherencia de A, si para todo r > 0, se tiene que

Br (x) ∩ A 6= ∅.

1
 2. El conjunto de todos los puntos de adherencia de A, se llama adherencia de A y se
denota por A.

Definición 2.1.5. Derivado

Sean (X, d) un espacio métrico, A ⊆ X y x ∈ X, entonces:

1. Se dice que x es un punto de acumulación de A, si para todo r > 0, se tiene que

Br (x) ∩ (A − {x}) 6= ∅.

2. El conjunto de todos los puntos de acumulación de A, se llama derivado de A y se

denota por A0 .

Definición 2.1.6. Punto aislado

Sean (X, d) un espacio métrico, A ⊆ X y x ∈ X, entonces, se dice que x es un punto

aislado de A si existe r > 0, tal que Br (x) ∩ A = {x}.

Definición 2.1.7. Convergencia de sucesiones

Se dice que una sucesión {xn } en un espacio métrico (X, d), converge si hay un punto
x ∈ X tal que para todo  > 0, existe N ∈ Z+ tal que si n ≥ N , entonces d(xn , x) < , es
decir xn converge a x o xn → x.

Definición 2.1.8. Sucesiones de Cauchy

Se dice que una sucesión {xn } en un espacio métrico (X,d) es una sucesión de Cauchy
si para todo  > 0, existe N ∈ Z+ tal que si n ≥ N y m ≥ N , entonces d(xn , xm ) < .

Definición 2.1.9. Espacio métrico completo

Si toda sucesión de Cauchy converge en un espacio métrico, se dice que este es completo.

Definición 2.1.10. Función uniformemente continua

Si (X, d) y (Y, D) son espacios métricos. Una función f : (X, d) → (Y, D) se dice que es
uniformemente continua si para todo  > 0, existe δ > 0 tal que si, para todo {x0 , x1 } ⊆ X
d(x0 , x1 ) < δ, entonces D(f (x0 ), f (x1 )) < .

Definición 2.1.11. Espacios métricos compactos

S de A ⊆ X es una colección
Si (X, d) es un espacio métrico, un cubrimiento abierto
{Vα }α∈I de subconjuntos abiertos de X, tales qué, A ⊆ Vα .
α∈I S
Si además {Vα }α∈I0 ⊆ {Vα }α∈I donde I0 ⊆ I, y A ⊆ Vα , entonces diremos que
α∈I0
{Vα }α∈I0 es un subcubrimiento de {Vα }α∈I para A.

Ahora:

1. Se dice que A es compacto si todo cubrimiento abierto de A, tiene subcubrimientos

finitos para A.

2
 2. (X, d) es compacto, si X es compacto

Definición 2.1.12. Espacios métricos relativamente compactos

Sea (X, d) un espacio métrico. Se dice que A ⊆ X, es relativamente compacto, si A es

un subconjunto compacto de X.

Definición 2.1.13. Espacios separables

Sea (X, d) un espacio métrico. Entonces, (X, d) es separable, si, y solo si, existe A ⊆ X
contable tal que A = X.

2.2. Espacios métricos precompactos

Definición 2.2.1. Espacios métricos precompactos

1. Sea (X, d) un espacio métrico. Se dice que (X, d) es precompacto o totalmente

acotado, si para todo  > 0, existe un cubrimiento finito {Aα }α∈I de X, tal que,
diam(Aα ) <  para todo α ∈ I.

2. Un espacio métrico es precompacto o totalmente acotado si para todo  > 0, existe

n
S
{x1 , x2 , ..., xn } ⊆ X, tal que X = B (xi ).
i=1

3. Si (X,d) es un espacio métrico, se dice que A ⊆ X es precompacto, si (A, d) es un

espacio métrico precompacto.

En el presente documento nos referiremos a los espacios métricos precompactos.

Como 2.2.1 es una definición, se hace necesario establecer la siguiente equivalencia:

Teorema 2.1. Sea (X, d) un espacio métrico. Entonces las siguientes condiciones son
equivalentes:

1. Para todo  > 0, existe un cubrimiento finito {Aα }α∈I de X, tal que, diam(Aα ) < 
para todo α ∈ I.
n
S
2. Para todo  > 0, existe {x1 , x2 , ..., xn } ⊆ X, tal que X = B (xi ).
i

S 1 ⇒ 2 Sea  > 0. Existe una colección ζ finita de subconjuntos de X tal

Demostración.
que X = V y para cada V ∈ ζ tenemos que diam(V ) < .
V ∈ζ
Sea A = {a ∈ V : V ∈ ζ}. Si V ∈ ζ y a ∈ V , entonces para cada b ∈ V , se cumple que,
d(a, b) ≤ diam(VS) < , asíSb ∈ B (a). Esto implica que
S V ⊆ B (a).
Entonces, X = V = B (a) ⊆ X y así X = B (a).
V ∈ζ a∈A a∈A
n
S
2 ⇒ 1 Sea {x1 , x2 , ..., xn } ⊆ X, tal que X = B 2 (xi ). Consideremos
i=1
n o
ζ = B 2 (xi ) : i ∈ {1, 2, ..., n}, xi ∈ X

entonces, ζ es finito. Además, si V ∈ ζ, entonces existe xi ∈ X con i ∈ {1, 2, ..., n} tal que
V = B 2 (xi ) y diam(V ) = diam(B 2 (xi )) ≤ .

3
2.3. Ejemplos
Ejemplo 2.1 Todo subconjunto compacto de un espacio métrico es precompacto.

En efecto, sean (X, d) un espacio métrico, A ⊆ X compacto y  > 0. Como B = {B (x) :
x ∈ A} es un [ cubrimiento abierto para A y A es compacto, entonces existe A0 ⊆ A finito,
tal que A ⊆ B(x) . Por lo tanto, A es precompacto.
x∈A0
Ejemplo 2.2 En (R, d), donde d es la métrica usual. Tenemos que, (0, 1) es precom-
pacto.

En efecto, sea  > 0. Por propiedad arquimediana, existe N ∈ Z+ tal que N1 < .
Tomemos los puntos xi = Ni con i = 1, 2, ..., N pertenecen al intervalo (0, 1) hy lo divideni
en subintervalos de N1 . Sea y ∈ (0, 1), existe j ∈ {1, 2, 3, ..., N } tal que y ∈ Nj , j+1
N de
N
[
1
donde d(y, xj ) < N < . Así, (0, 1) ⊆ B (xi ). Por lo tanto, (0, 1) es precompacto.
i=1
Ejemplo 2.3 Si X es infinito, entonces (X, d), donde d es la métrica discreta, no es
precompacto.

En efecto, consideremos (X, d), donde d es la métrica discreta que está dada por:

0 si x = y
d(x, y) =
1 x 6= y

para todo {x, y} ⊆ X.

Tomemos B = {B (x) : x ∈ X,  < 1}. Si y ∈ B (x) entonces d(x, y) <  < 1 y así x = y.
Luego, B (x) = {x} para todo x ∈ X. Además, diam(B (x)) = 2.

Como X es infinito, no puede cubrirse con un número finito de elementos de B. Así, X

no es precompacto.

3. Lemas preliminares
Lema 3.1. En cualquier espacio métrico (X, d), toda sucesión convergente es una sucesión
de Cauchy.

Demostración. Supongamos que hay una sucesión {xn } en X que converge a x. Sea  > 0,
entonces existe N ∈ Z+ tal que si n ≥ N , d(x, xn ) < . Así

d(xn , xm ) ≤ d(xn , x) + d(x, xm )

< 2

si n ≥ N y m ≥ N . Por lo tanto {xn }n≥1 es una sucesión de Cauchy.

Lema 3.2. Sean (X, d) un espacio métrico y A ⊆ X. Entonces, A es cerrado.

Demostración. Sea x ∈ X − A. Entonces, existe r > 0 tal que Br (x) ∩ A = ∅. Ahora, si

z ∈ Br (x), entonces dado que Br (x)∩A = ∅ tenemos que z ∈ X −A. Así, A es cerrado.

Lema 3.3. Sea (X, d) un espacio métrico, A ⊆ X y b ∈ X. Entonces b ∈ A si, y solo si,
existe una sucesión {an } en A tal que an → b.

4
Demostración. ⇒ Supongamos que a ∈ A, entonces para todo n ∈ N, B 1 (a) ∩ A 6= ∅.
n
Elegimos an ∈ B 1 (a) ∩ A. Por la propiedad arquimediana existe N ∈ N+ tal que N1 < 
n
para todo  > 0. Entonces an → a, ya que para N ∈ Z+ , si n ≤ N , entonces d(an , a) <
1 1
n < N < .
⇐ Supongamos que existe {an } en A tal que an → a. Entonces para todo  > 0 existe
N ∈ N+ tal que d(an , a) < , es decir que an ∈ B (a) para todo n ≤ N . De donde,
B (a) ∩ A 6= ∅. Luego a ∈ A.

Lema 3.4. A es cerrado si, y solo si, dada cualquier sucesión {an } de A y an → a,
entonces a ∈ A.

Demostración. ⇒ Supongamos que an → a con a ∈ A. Sea y ∈ Ac . Como y ∈ / A, entonces

no es un punto de adherencia de {an } y así existe r > 0 tal que Br (y) ∩ A = ∅ o equivalente
a que Br (y) ⊆ Ac . Luego, A es cerrado.
⇐ Supongamos que A es cerrado. Sea la sucesión {an } que converge a a. Si a ∈ Ac , entonces
existe r > 0 tal que Br (a) ⊆ Ac , pues Ac es abierto. Así, Br (a) ∩ A = ∅. Lo que contradice
que a es un punto de adherencia y así a ∈ A.

Lema 3.5. Todo espacio métrico cerrado de un espacio métrico completo es completo.

Demostración. Sean (X, d) un espacio métrico completo y A ⊆ X cerrado. Consideremos

{an } una sucesión de Cauchy en A, es decir que {an } también es una sucesión de Cauchy
en X y así converge a un punto x ∈ X. Como A es cerrado, x ∈ A y {an } converge a x en
A por 3.4. Por lo tanto, (A, d) es completo.

Lema 3.6. Sean (X, d) un espacio métrico y {A, B} ⊆ X. Si A ⊆ B, entonces A ⊆ B.

Demostración. Sea a ∈ A, entonces para todo  > 0, se tiene que B (a) ∩ A 6= ∅. Como
A ⊆ B, entonces B (a) ∩ B 6= ∅, así a ∈ B.

Lema 3.7. Sean (X, d) un espacio métrico y {A, B} ⊆ X, entonces A ∪ B = A ∪ B.

Demostración. Sea x ∈ A ∪ B. Si x ∈ A, entonces x ∈ A ∪ B. Por otro lado, si x ∈ / A,

entonces existe δ > 0 tal que Bδ (x) ∩ A = ∅. Como x ∈ A ∪ B, entonces para todo  > 0,
tenemos que:

(Bδ (x) ∩ B (x)) ∩ (A ∪ B) = [(Bδ (x) ∩ B (x)) ∩ A] ∪ [(Bδ (x) ∩ B (x)) ∩ B]

= (Bδ (x) ∩ B (x)) ∩ B
6= ∅

Entonces x ∈ B y así x ∈ A ∪ B.
Además, como A ⊆ A ∪ B y B ⊆ A ∪ B, entonces A ⊆ A ∪ B y B ⊆ A ∪ B, por 3.6. Así,
A ∪ B ⊆ A ∪ B.

Lema 3.8. Sea (X, d) un espacio métrico.

1. Si A ⊆ X es cerrado y x ∈ X − A, entonces d(x, A) > 0.

2. Si (X, d) es completo. Sea {An } una sucesión decreciente

\ de subconjuntos cerrados
no vacíos de X tal que diam(An ) → 0, entonces An es unitario.
n≥1

Demostración.

5
 1. Como A es cerrado y x ∈ X − A, existe r > 0 tal que Br (x) ⊆ X − A. Si a ∈ A,
tenemos que d(a, x) ≥ r > 0, con lo que r es una cota inferior de {d(a, x) : a ∈ A}.
Por lo tanto, d(x, A) > 0.

2. Sea {An } una sucesión decreciente de subconjuntos cerrados no vacíos de X.

Consideremos {xn } una sucesión en X tal que xn ∈ An para cada n ≥ 1.
Como {diam(An )} es una sucesión que converge a 0, entonces para todo  > 0, existe
N ∈ Z+ tal que si n ≥ N , diam(An ) < .
Ya que la sucesión es decreciente, tenemos que si n, m ≥ N , con m > n y {xn , xm } ⊆
An , entonces d(xn , xm ) < diam(Am ) <  y así la sucesión es de Cauchy. Además,
xn → x con x ∈ X,\pues X es completo. \
Veamos que x ∈ An . Supongamos que x ∈ / An , entonces existe k ∈ Z+ tal
n≥1 n≥1
que x ∈ / Ak . Como Ak es cerrado por el numeral anterior, r = d(x, Ak ) > 0 y así
B r2 (x)∩Ak = ∅. Sin embargo, si n > k y xn ∈ Ak (la sucesión es decreciente), implica
que xn ∈ / B r2 (x), lo que no es posible puesto que xn → x.
\
Ahora, si existiera y ∈ An con x 6= y, entonces d(x, y) ≤ diam(An ) para todo
n≥1
n ∈ Z+ y como diam(An ) → 0, d(x, y) = 0. Luego, x = y.

Lema 3.9. Sea (X, d) un espacio métrico. Se dice que x ∈ A0 si y solo si Br (x) ∩ A es
infinito para todo r > 0.

Demostración. ⇒ Supongamos que existe r > 0 tal que Br (x) ∩ A es finito. Como los
singletones son cerrados, entonces todos los conjuntos finitos son cerrados. En particular,
(Br (x)∩A)−{x} es cerrado, entonces R = Br (x)−[(Br (x)∩A)−{x}] es abierto con x ∈ R.
Ya que x ∈ A0 , resulta que (R − {x}) ∩ A 6= ∅, es decir que (Br (x) − (Br (x) ∩ A)) ∩ A 6= ∅,
lo que es absurdo. Por lo tanto, Br (x) ∩ A es infinito para todo r > 0.
⇐ Como Br (x) ∩ A es infinito para todo r > 0, entonces (Br (x) − {x}) ∩ A 6= ∅ para todo
r > 0 y así, x ∈ A0 .

4. Propiedades de los espacios métricos precompactos

Teorema 4.1. Todo subconjunto precompacto en un espacio métrico es acotado.

Demostración. Sean (X, d) un espacio métrico y A ⊆ X precompacto.

Entonces, existe un cubrimiento finito de A, {Aα }α∈I , tal que diam(Aα ) < 1 para todo
α ∈ I.
Para cada i ∈ I, elegimos xi ∈ Ai y consideramos

δ = max{d(xi , xj ) : {i, j} ⊆ I}

Dados {x, y} ⊆ A, existirán {i, j} ⊆ I tales que x ∈ Ai y y ∈ Aj .

Luego,
d(x, y) ≤ d(x, xi ) + d(xi , xj ) + d(xj , y)
≤ diam(Ai ) + max{d(xi , xj ) : {i, j} ⊆ I} + diam(Aj )
< 1+δ+1
= 2+δ
Y por lo tanto A es acotado.

6
Teorema 4.2. Si A es un conjunto precompacto de un espacio métrico y B ⊆ A, entonces
B es precompacto.

Demostración. Sean (X, d) un espacio métrico, A ⊆ X precompacto y  > 0.

[ de A, {Aα }α∈I con I finito, tal que diam(Aα ) < 
Entonces, existe un cubrimiento finito
para todo α ∈ I. Ya que B ⊆ A ⊆ Aα , así B es precompacto.
α∈I

Teorema 4.3. Sea (X, d) un espacio métrico. A ⊆ X es precompacto si, y solo si, A es
precompacto.

Demostración. ⇒ Como A es precompacto, entonces para todo  > 0, existe {x1 , x2 , ..., xn } ⊆
n
S
X, tal que A ⊆ B (xi ). Así,
i=1

n
S
A ⊆ B (xi )
i=1
n
S
= B (xi )
i=1
n
S
⊆ B  (xi )
i=1

Veamos que para todo a ∈ X y r > 0, Br (a) ⊆ B r (a).

Sea x ∈ Br (a) − B r (a). Como x ∈ / B r (a), entonces d(x, a) > r. Consideremos δ =

d(x, a) − r > 0 y Bδ (x). Ya que x ∈ Br (a) , existe y ∈ Br (a) ∩ Bδ (x). Entonces,

d(x, a) ≤ d(x, y) + d(y, a)

< δ+r
= d(x, a)

Lo que es absurdo.
Por lo tanto, Br (a) ⊆ B r (a).
n
S n
S
Veamos que si {Ai : i ∈ {1, 2, ..., n}}, entonces Ai = Ai .
i=1 i=1
Apliquemos inducción sobre n.

1. Se cumple para n = 2, por 3.7.

2. Supongamos que se cumple para n = k, es decir que A1 ∪ A2 ∪ ... ∪ Ak = A1 ∪ A2 ∪

... ∪ Ak .

3. Veamos que se cumple para n = k + 1.

A1 ∪ A2 ∪ ... ∪ Ak ∪ Ak+1 = A1 ∪ A2 ∪ ... ∪ Ak ∪ Ak+1

= A1 ∪ A2 ∪ ... ∪ Ak ∪ Ak+1

Por lo tanto se cumple para todo n ∈ Z+ .

Por lo tanto, A es precompacto.
⇐ Como A es precompacto y A ⊆ A, entonces A es precompacto por 4.2.

Teorema 4.4. Si f : (X, d) → (Y, D) es uniformemente continua y (X, d) es precompacto,

entonces (f (X), D) es precompacto.

7
Demostración. Sea  > 0. Como f es uniformemente continua entonces existe δ > 0 tal
que para todo {x0 , x1 } ⊆ X, si d(x0 , x1 ) < δ, entonces D(f (x0 ), f (x1 )) < . Como (X, d)
es precompacto, entonces para δ > 0, existe {x1 , x2 , ..., xn } ⊆ X tal que
n
[
X= Bδ (xi )
i=1

Sea y ∈ f (X), entonces existe x ∈ X, tal que y = f (x). Además, existe i0 ∈ {1, 2, ..., n}
tal que d(x, xi0 ) < δ, ya que x ∈ X, por lo tanto D(f (x), f (xi0 )) < .
Sn n
S
Así y ∈ B (f (xi0 )) ⊆ B (f (xi )), es decir que f (X) ⊆ B (f (xi )).
i=1 i=1
Luego f (X) es precompacto.

Teorema 4.5. Si (X, d) es un espacio métrico precompacto, entonces X es separable.

+
Demostración. Como (X, d) es un espacio [ métrico precompacto, para cada n ∈ Z existe
Dn = {x1n , x2n , ..., xjn } tal que X = B 1 (x).
x∈Dn
[ n
Consideramos D = Dn , contable, pues es unión contable de conjuntos finitos.
n≥1
Veamos que D = X. Sea x ∈ X. Entonces para cada n ∈ Z+ existe yn ∈ Dn tal que
1
x ∈ B 1 (yn ), es decir que d(x, yn ) < . Luego, podemos construir una sucesión {yn } en X
n
n
1
tal que d(x, yn ) < . Lo que implica que yn → x. Así, x ∈ D por 3.3.
n
Por lo tanto, X es separable.

Teorema 4.6. Sea (X, d) un espacio métrico. Las siguientes afirmaciones son equivalentes:

1. X es compacto

2. Todo subconjunto infinito de X tiene un punto de acumulación.

3. Toda sucesión en X posee una subsucesión convergente.

4. X es precompacto y completo.

Demostración. 1 ⇒ 2 Supongamos que (X, d) es compacto y si A ⊆ X no tiene puntos

de acumulación, entonces A contiene todos sus puntos de adherencia, luego A es cerrado.
[cada x ∈ A existe rx > 0 tal que Brx (x) ∩ A = {x}.
Además, para
Como X = Brx (x) ∪ (X − A) y X es compacto, entonces existe A0 ⊆ A finito tal que
[ x∈A
X= Brx (x) ∪ (X − A). Así, A es finito.
x∈A0

2 ⇒ 3 Sean {xn } una sucesión en X y A = {x1 , x2 , ..., xn , ...}. Si A es finito, existe

N ∈ Z+ tal que si n ≥ N entonces xn = xN . Por consiguiente la sucesión {xn } tiene una
subsucesión constante convergente en A.
Si A es infinito, por hipótesis tiene un punto de acumulación x ∈ X. Entonces, para todo
r > 0 se cumple que (Br (x) − {x}) ∩ A 6= ∅ y esta intersección contiene infinitos puntos
por 3.9.
Construimos la siguiente sucesión:

Si rn1 = 1, existe xn1 ∈ (Brn1 (x) − {x}) ∩ A.

8
 Si rn2 = min{d(xn1 , x), 12 }, existe xn2 ∈ (Brn2 (x) − {x}) ∩ A.

Si rn3 = min{d(xn2 , x), 13 }, existe xn3 ∈ (Brn3 (x) − {x}) ∩ A.

Supongamos que para k ≥ 1 tenemos un elemento xnk ∈ (Brnk (x) − {x}) ∩ A donde
rnk = min{d(xnk−1 , x), k1 }.
Tenemos que:

{xnk } ⊆ A.

Como d(xnk , x) < rnk ≤ k1 , entonces xnk → x.

xnk 6= x para todo k ≥ 1.

Si k ≥ 1, d(xnk+1 , x) < rnk+1 ≤ d(xnk , x). Luego, si {k, t} ⊆ Z+ y k < t, entonces

d(xnt , x) < d(xnk , x).

Por lo tanto, la sucesión {xn } tiene una subsucesión convergente.

3 ⇒ 4 (a) Veamos que X es completo.

Sea {xn } una sucesión de Cauchy en X. Entonces dado  > 0 existe N1 ∈ Z+ tal que para
todo n, m ≥ N1 tenemos que d(xn , xm ) < 2 .
Por hipotesis, existe una subsucesión {xnk } que converge a x ∈ X, entonces, existe k0 tal
que si nk ≥ nk0 , d(xnk , x) < 2 .
Consideremos N = max{N1 , k0 }. Si n ≥ N y k tal que nk ≥ N , entonces

d(xn , x) ≤ d(xn , xnk ) + d(xnk , x)

< 2 + 2
= 

Luego, xn → x. Así, X es completo.

(b) Supongamos que X no es precompacto. Entonces existiría  > 0 tal que A no puede
cubrirse con un número finito de bolas de radio 2 .
Sea x1 ∈ X, arbitrario y tomemos x2 ∈ X − B (x1 ). En general, para n > 1 tomemos
n−1
[
xn ∈ X − B (xi ). Notemos que d(xn , xm ) ≥  para todo n > m. Así, ninguna subsuce-
i=1
sión de {xn } es de Cauchy. Lo que es absurdo, pues si existiera una subsucesión {xnk }k≥1
que converge, entonces por 3.1 sería de cauchy.
Por lo tanto, X es precompacto.

4 ⇒ 1 Supongamos que X no es compacto. Sea {Ui : i ∈ I} un cubrimiento abierto de

X que no tiene subcubrimiento finito.
Como X es precompacto, entonces se puede expresar como unión de un número finito de
subconjuntos cerrados con diámetro menor que 1. Por lo menos uno de estos subconjuntos,
que denotaremos por A1 , no está contenido en ninguna unión finita de los conjuntos {Ui :
i ∈ I}. Como A1 también es precompacto, entonces puede expresarse como una unión
finita de subconjuntos cerrados con diámetro menor que 12 . Por lo menos uno de estos
subconjuntos, que denotaremos por A2 , no puede ser cubierto con una unión finita de
conjuntos {Ui : i ∈ I}. Continuando de esta manera, encontramos una sucesión decreciente
de subconjuntos cerrados de X, A1 ⊃ A2 ⊃ A3 ⊃ ... ⊃ An ⊃ ... con diam(An ) < n1 con
n ≥ 1. \
Como X es completo, entonces An = {x}, para algún punto x ∈ X por 3.8.
n≥1
Por otra parte, existe j ∈ I tal que x ∈ Uj y como Uj es abierto, existe m ∈ Z+ tal

9
 1
que B 1 (x) ⊂ Uj . Ahora bien, como x ∈ Am y diam(Am ) < m , entonces se tiene que
m
Am ⊂ B 1 (x) ⊂ Uj ; lo que es una contradicción, pues ningún An está contenido en ninguna
m
unión finita de conjuntos {Ui : i ∈ I}. Por lo tanto, X es compacto.

Teorema 4.7. Sea (X, d) un espacio métrico completo. A ⊆ X es precompacto si, y solo
si, es relativamente compacto.

Demostración. ⇒ Supongamos que A ⊆ X es precompacto. Entonces A es precompacto

por 4.3. Como A es cerrado por 3.2 y X es completo, entonces A es completo por 3.5. Así,
como A es precompacto y completo, entonces A es compacto por 4.6. Así, A es relativamente
compacto.
⇐ Supongamos que A es relativamente compacto, es decir A es compacto. Luego, A es
precompacto. Como A ⊆ A, entonces A es precompacto por 4.2.

Referencias
[1] Abuabara T. Lasmes J., Elementos del análisis funcional. Departamento de Mate-
máticas. Universidad de los Andes.

[2] Walter Rudin, Principios de análisis matemático. 3a edición.

[3] Munkers J., Topología. Pearson Educación S.A. 2a edición.

10