# Countably Compact Metric Space is Compact

## Theorem

Let $M = \struct {A, d}$ be a metric space.

Let $M$ be countably compact.

Then $M$ is compact.

## Proof 1

This follows directly from:

- Metric Space is First-Countable
- Countably Compact First-Countable Space is Sequentially Compact
- Sequentially Compact Metric Space is Second-Countable
- Second-Countable Space is Compact iff Countably Compact

$\blacksquare$

## Proof 2

We have that a Metric Space is Countably Compact iff Sequentially Compact.

Then we have that a Sequentially Compact Metric Space is Separable.

For each $n$, a metric space which is countably compact can be covered by finitely many open $\paren {1/n}$-balls: $\map {B_{1/n} } {x_i}$.

This article, or a section of it, needs explaining.In particular: why?You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by explaining it.To discuss this page in more detail, feel free to use the talk page.When this work has been completed, you may remove this instance of `{{Explain}}` from the code. |

So $\set {x_i}$ is a dense subset of $A$ which is countable.

So if a metric space is countably compact it is by definition second-countable.

This article, or a section of it, needs explaining.In particular: by definition? See unresolved issues in Talk page.You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by explaining it.To discuss this page in more detail, feel free to use the talk page.When this work has been completed, you may remove this instance of `{{Explain}}` from the code. |

The result follows from Second-Countable Space is Compact iff Countably 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.