Compact Metric Space is Complete

From ProofWiki
Jump to navigation Jump to search

Theorem

A compact metric space is complete.


Proof

Follows directly from:

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

$\blacksquare$


Sources