Equivalencia entre compacidad secuencial y compacidad

Eduardo Arrieta

2020

Dividimos la prueba en dos partes, teniendo en cuenta la cantidad de lemas necesarios para probar una
de las implicaciones.
Teorema. Sea (X, d) un espacio métrico. Si X es compacto, entonces X es secuencialmente compacto
Demostración. En [1] Teorema 3.38 tenemos compacidad implica la propiedad de Bolzano - Weirstrass. Lue-
go, harı́a falta ver que dicha propiedad implica compacidad secuencial, para esto seguimos [2]. Asumamos
que (X, d) satisface la propiedad de Bolzano - Weirstrass, esto es, todo M ⊆ X infinito tiene punto de
acumulación. Tomemos una secuencia {xn } de X, entonces dicha secuencia puede ser de dos formas: tiene
un término que se repite infinitas veces o no.

En el caso que dicha secuencia tenga un término que se repita infnitas veces se cumple que la secuencia es
convergente, lo cual completarı́a la prueba. En el caso en que la secuencia no tenga un término que se repita
en infinitas ocasiones consideramos el conunto A de todos los puntos de la secuencia, el cual resulta ser infinito
1
. Luego, en virtud de la propiedad de Bolzano Weirstrass el conjunto A tiene un punto de acumulación.
1
Sea m el punto de acumulación, consideremos entonces B(m; r) y construyamos Bi (m; ri ) donde ri = 2ir−1 .
Ahora bien, observemos que {ri }i∈N nos permite hablar de una sucesión de xi tal que xi ∈ Bi (x; ri ). Por el
cómo se construyó {ri }i∈N sabemos que la sucesión {xi } convergerá al punto de acumulación x. Esto último
completa la prueba.
Para la segunda parte de la demostración haremos uso de los siguientes lemas y la siguiente definción
Lema 1 (Número de Lebesgue). Dado (X, d) un espacio métrico secuencialmente compacto, entonces para
cualquier cubrimiento {Ui }i∈I abierto existe δ ∈ R, δ > 0 llamado número de Lebesgue para X, tal que
para cada punto x ∈ X existe un i ∈ I tal que la bola abierta de centro x y radio δ tal que B(x; δ) ⊆ Ui
Demostración. Siguiendo [4] procedamos por contradicción. Entonces, para cualquier n ∈ N 2 existe un
punto xn tal que para cualquier i ∈ I la bola B(xn ; n1 ) no está contenida en Ui . Observe que los puntos
{xn }n∈N constituyen una sucesión. Luego, como el espacio es secuencialmente compacto existe una subsuce-
sión {xk }k∈N que converge a algún c ∈ X. Gracias a que {Ui }i∈I es un cubrimiento de X entonces para algún
ic ∈ I se cumple c ∈ Uc , y en virtud de que el cubrimiento es abierto existe B(c; ) ⊆ Uc . En consecuencia
de la convergencia de {xk }k∈N es posible escoger un k ∈ N tal que
 1 
d(xk ; c) < y <
2 xk 2

Pero, veamos que al tomar un b cualquiera dentro de B(xk ; x1k ) se tiene que

 1
d(c, b) ≤ d(c, xk ) + d(xk , b) < + <
2 xk

Lo cual implicarı́a que B(xk ; x1k ) ⊆ B(c, ) ⊆ Uc , hecho que contradice la asumción de que ningún Ui contiene
la bola abierta B(xk ; 1/xk ), lo cual completa la demostración.
1 Esto se da en virtud de la definición de secuencia y de la suposición de que no tiene términos que se repitan infinitas veces
2 Que en particular está en los reales positivos

1
Lema 2. Sea (X, d) un espacio métrico secuencialmente compacto, entonces es un espacio totalmente aco-
tado.
Demostración. 3 Supongamos que (X, d) no está totalmente acotado, esto es, existe  ∈ R con  > 0 tal que
para cada subconjunto finito F ⊆ X
[
X 6= B(f ; )
f ∈F

Haciendo las siguientes elecciones de manera inductiva

x1 ∈ X
x2 ∈
/ B(f ; )
..
.
n
[
xn+1 ∈
/ B(; xj )
j=1

De donde podemos observar que la sucesión de los (xn ) no tiene un subsucesión convergente. Esto en virtud
de que d(xj ; xk ) >  para todo j 6= k. Lo cual culmina la demostración.
Teorema. Sea (X, d) un espacio secuencialmente compacto, entonces X es compacto

Demostración. 4 Gracias al Lema de Número de Lebesgue existe un número real positivo δ > 0 tal que para
todo x ∈ X existe ix ∈ I tal que B(x; δ) ⊆ Uix . Y en virtud de que todo espacio métrico secuencialmente
compacto está totalmente acotado, entonces existe un conjunto finito S ⊆ X tal que
[
X= B(s; S)
s∈S

Lo cual completa la demostración.

Referencias
[1] Apostol, T. (1996). Análisis Matemático (2da ed.). Barcelona: Reverté.
[2] Simmons, G. (1983). Introduction to topology and modern analysis. Malabar, Fla.: Krieger.
[3] Schreiber, U. (2020). Sequentially Compact Metric Spaces are Equivalently Compact Metric Spaces.
Retrieved 30 September 2020 from nLab [web]

[4] Lebesgue number lemma. (2020). Retrieved 30 September 2020, from nLab [web]
[5] Sequentially Compact Metric Spaces are Totally Bounded. (2020). Retrieved 2 October 2020, from nLab

3 Véase [5]
4 Véase [3]