# Smirnov Metrization Theorem

## Contents

## 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

- 1975: James R. Munkres:
*Topology*