Template:Metrization theorem

From Topospaces

This article is about a metrization theorem: a theorem that gives necessary and sufficient conditions for a metric (possibly with additional restrictions) to exist. In particular, it gives some conditions under which a topological space is metrizable.