Théorème de Métrisation D'Urysohn

Critère suffisant pour qu'un espace topologique admette une métrique compatible : un espace séparé régulier muni d'une base dénombrable (autrement dit régulier T1 et deuxième dénombrabilité) est métrisable — il existe une métrique induisant la topologie donnée.