Totally Bounded Metric Space is Second-Countable/Proof 1
Jump to navigation
Jump to search
Theorem
Let $M = \struct {A, d}$ be a metric space which is totally bounded.
Then $M$ is second-countable.
Proof
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.
$\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.
This article, or a section of it, needs explaining. In particular: Add the link to the above template invocation so as to indicate where in the proof the ACC is used. 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. |
Sources
- 1978: Lynn Arthur Steen and J. Arthur Seebach, Jr.: Counterexamples in Topology (2nd ed.) ... (previous) ... (next): Part $\text I$: Basic Definitions: Section $5$: Metric Spaces: Complete Metric Spaces