Heine-Borel Theorem/Metric Space

From ProofWiki
Jump to: navigation, search


A metric space is compact if and only if it is both complete and totally bounded.


Necessary Condition

This follows directly from:


Sufficient Condition

This follows directly from:


Axiom of Countable Choice

This theorem depends on the Axiom of Countable Choice, by way of Complete and Totally Bounded Metric Space is Sequentially Compact.

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.

Source of Name

This entry was named for Heinrich Eduard Heine and Émile Borel.

Also see