Lebl-Basic-Analysis-I · Problem 7.4.20

Metric Spaces

Mathematics · compactness

Problem

Let (X,d)(X, d) be a complete metric space. We say a set S⊂XS \subset X is relatively compact if the closure S‾\overline{S} is compact. Prove that S⊂XS \subset X is relatively compact if and only if given any sequence {xn}n=1∞\{x_n\}_{n=1}^\infty in SS, there exists a subsequence {xnk}k=1∞\{x_{n_k}\}_{k=1}^\infty that converges (in XX).

Browse the problem library