Sequentially Compact Metric Space is Compact

Proof using Lindelöf Property

Let $\left({A, d}\right)$ be a sequentially compact metric space.

From Sequentially Compact Metric Space is Lindelöf, every open cover of $A$ has a countable subcover.

Let $C$ be an open cover $A$.

Extract from it a countable subcover $\left\{{U_1, U_2, \ldots}\right\}$.

Aiming for a contradiction, suppose there exists no finite subcover of $C$.

Then, for all $n \in \N_{\ge 1}$, the set $\left\{{U_1, \ldots, U_n}\right\}$ does not cover $A$.

Hence it is possible to choose $x_n \in A$ such that:

$x_n \notin U_1 \cup \cdots \cup U_n$.

Thus we construct an infinite sequence $\left\{{x_n}\right\}_{n \ge 1}$ of points of $A$.

By assumption $A$ is sequentially compact

Thus $\left\{{x_n}\right\}_{n \ge 1}$ has a subsequence which converges to some $x \in A$.

But because the $U_i: i \ge 1$ forms a cover for $A$, there exists some $U_m$ such that $x \in U_m$.

Hence by one of the characterizations of convergence, there is an infinite number of terms in the sequence $\left\langle{x_i}\right\rangle$ which are contained in $U_m$.

But from the method of construction of $\left\langle{x_i}\right\rangle$, each $U_n$ can contain only points $x_i$ with $i < n$.

That is, each $U_n$ can only contain a finite number of the terms of $\left\langle{x_i}\right\rangle$.

Thus the supposition that there exists no finite subcover of $C$ was false.

Hence the result.

$\blacksquare$

Proof using Lebesgue Number

Let $M = \left({A, d}\right)$ be a sequentially compact metric space.

Let $\mathcal U$ be any open cover of $M$.

By Lebesgue's Number Lemma, there exists a Lebesgue number for $\mathcal U$.

By Sequentially Compact Metric Space is Totally Bounded, there exists $\left\{{x_1, x_2, \ldots, x_n}\right\}$ which is a finite $\epsilon$-net for $M$, where $\epsilon$ is this same Lebesgue number.

Let $B_\epsilon \left({x_i}\right)$ be the open $\epsilon$-ball of $x_i$.

By definition of Lebesgue number, $B_\epsilon \left({x_i}\right)$ is contained in some $U_i \in \mathcal U$.

Since:

$\displaystyle M \subseteq \bigcup_{i \mathop = 1}^n B_\epsilon \left({x_i}\right) \subseteq \bigcup_{i \mathop = 1}^n U_i$

we have a finite subcover $\left\{{U_1, U_2, \ldots, U_n}\right\}$ of $\mathcal{U}$ for $M$.

Hence the result.

$\blacksquare$

Proof 3

Follows directly from:

Sequentially Compact Space is Countably Compact
Countably Compact Metric Space is Compact

$\blacksquare$

Axiom of Countable Choice

This theorem depends on the Axiom of Countable Choice.

Although not as strong as the Axiom of Choice, the Axiom of Countable Choice is similarly independent of the Zermelo-Fraenkel axioms.

As such, mathematicians are generally convinced of its truth and believe that it should be generally accepted.