Metric Space is Paracompact/Proof 1

From ProofWiki
Jump to navigation Jump to search

Theorem

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

Then $M$ is a paracompact space.


Proof

We have that a Metric Space is Fully Normal.

Then we have that a Fully Normal Space is Paracompact.

$\blacksquare$


Sources