Urysohn Metrization Theorem

- Mathematics & Logic -
Pure Mathematics Dictionary
A sufficient criterion for a topological space to admit a compatible metric: a second-countable, regular Hausdorff space (equivalently regular T1 with a countable base) is metrizable — there exists a metric that induces the given topology.