Smirnov Metrization Theorem

From ProofWiki
Jump to: navigation, search

Theorem

Let $T = \left({S, \tau}\right)$ be a topological space.


Then $T$ is metrizable if and only if it is paracompact and locally metrizable.


Proof


Source of Name

This entry was named for Yurii Mikhailovich Smirnov.


Sources