Metric Space Compact iff Complete in All Equivalent Metrics

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $M_1 = \struct {A, d_1}$ be a metric space.

Then $M_1$ is compact if and only if $M_2 = \struct {A, d_2}$ is a complete metric space whenever $d_2$ is equivalent to $d_1$.


Proof




Sources