Totally Bounded Metric Space is Second-Countable

From ProofWiki
Jump to navigation Jump to search


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

Then $M$ is second-countable.

Proof 1

Let $M = \struct {A, d}$ be totally bounded.

Let $\epsilon = 1, \dfrac 1 2, \dfrac 1 3, \ldots$

As $M$ is totally bounded, for each $\epsilon$ there exists a finite $\epsilon$-net $\CC$ for $M$.

From Net forms Basis for Metric Space, $\CC$ is a countable basis for $M$.

That is, $M$ is second-countable.


Proof 2

Follows directly from:

Totally Bounded Metric Space is Separable
Separable Metric Space is Second-Countable


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.