Compact Metric Spaces and Characterizations

Core Idea

In a metric space, compactness, sequential compactness, countable compactness, and having the Bolzano-Weierstrass property all coincide. A metric space is compact iff it is complete and totally bounded. Compact metric spaces are separable and second-countable. These equivalences make compact metric spaces highly structured.

Explainer

From sequential compactness you know that a metric space is sequentially compact if every sequence has a convergent subsequence with limit in the space. This already captures something deep: you cannot escape to infinity or accumulate at a missing boundary point. What this topic reveals is that in metric spaces, sequential compactness is not just one notion of compactness — it is *the same thing* as open-cover compactness, countable compactness, and the Bolzano-Weierstrass property. These four conditions, which can diverge in general topological spaces, collapse into a single unified concept the moment you assume a metric.

The most structurally illuminating characterization is: a metric space is compact if and only if it is complete and totally bounded. Completeness (every Cauchy sequence converges) prevents sequences from "disappearing" — there are no gaps where limits should be. Total boundedness is a finiteness condition: for every ε > 0, the space can be covered by finitely many open balls of radius ε. Together they say: you can't escape to infinity (totally bounded means the space fits inside a large enough ball), and you can't converge to a missing point (completeness closes all gaps). The unit interval [0, 1] illustrates both: it fits in a ball of radius 1, and every Cauchy sequence of reals in [0, 1] converges to something in [0, 1]. The open interval (0, 1) is totally bounded but not complete — the sequence 1/n is Cauchy but its limit 0 is missing.

The equivalences yield practical proof tools. To show a metric space is compact, you can choose whichever characterization is easiest: construct a finite ε-cover, show every sequence has a convergent subsequence, or prove the space is complete and totally bounded. To use compactness, you can extract convergent subsequences (sequential form) or find finite subcovers (covering form). The choice of framing depends on the proof. Continuous functions on compact metric spaces attain their extrema (Extreme Value Theorem) and are uniformly continuous — results that hold because compactness prevents both the domain and the function's behavior from "running away."

Compact metric spaces are also separable (have a countable dense subset) and second-countable (have a countable base for the topology). These properties emerge from total boundedness: the centers of the finite ε-covers, as ε ranges over 1/n, form a countable dense set. Second-countability means that every open cover already has a countable subcover before you extract a finite one — a useful intermediate step in proofs. Taken together, the rich structure of compact metric spaces — multiple equivalent characterizations, completeness + total boundedness, separability, second-countability — explains why compactness is one of the most powerful hypotheses in analysis: assuming it buys you a remarkable amount of control over sequences, covers, and functions simultaneously.