Bing metrization theorem (source code)

= Bing metrization theorem
{wiki=Bing_metrization_theorem}

The Bing metrization theorem is a result in the field of topology, specifically in the area concerning the metrization of topological spaces. It provides a condition under which a topological space can be given a metric that generates the same topology. Formulated by the mathematician R. Bing in the mid-20th century, the theorem states that if a topological space is second countable and Hausdorff, then it can be metrized.