Urysohns Metrisierungsatz

Ein hinreichendes Kriterium dafür, dass ein topologischer Raum eine kompatible Metrik besitzt: Ein zweitzählbarer, regulärer Hausdorff-Raum (äquivalent regulär T1 mit einer abzählbaren Basis) ist metrisierbar — es existiert eine Metrik, die die gegebene Topologie induziert.