Nagata–Smirnov metrization theorem

The Nagata–Smirnov metrization theorem is a fundamental result in topology that provides conditions under which a topological space can be metrized, meaning that the topology of the space can be derived from a metric. This theorem is particularly relevant for spaces that are compact, Hausdorff, and first-countable.