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.

Principe

Une base dénombrable permet d'indexer et de combiner les données locales de séparation en une seule métrique ; la régularité (séparation des points et des fermés par des voisinages) garantit le contrôle local nécessaire pour que la distance construite soit cohérente avec la topologie.

Démonstration

Toute variété de dimension finie ou R^n est séparée, régulière et à base dénombrable, donc le théorème assure l'existence d'une métrique compatible ; concrètement on peut construire une métrique en sommant des fonctions d'Urysohn pondérées associées à une base dénombrable.

Mauvaise application

Croire que la métrisabilité découle d'hypothèses plus faibles comme la première dénombrabilité seule, ou appliquer le théorème à des espaces sans base dénombrable ou sans régularité ; confondre deuxième dénombrabilité et séparabilité (proches mais distincts).

Conséquence

Permet d'importer les résultats des espaces métriques (séquences, complétude, théorème de Baire) et simplifie l'analyse en autorisant des constructions basées sur une distance et l'usage d'invariants métriques.

Inversion

La réciproque est en général fausse : un espace métrisable n'est pas toujours second dénombrable dans certains cadres (selon des considérations d'ensemble), et la métrisabilité peut aussi être caractérisée par d'autres critères (Nagata–Smirnov, Bing) aux hypothèses différentes.

Limite

Fournit des conditions suffisantes mais pas nécessaires ; exige une base dénombrable et la régularité/séparation de Hausdorff et n'englobe pas d'autres critères de métrisation ni des exemples pathologiques relevant d'axiomes différents.

Tension sémantique

Concurrence avec d'autres théorèmes de métrisation (Nagata–Smirnov, Bing) qui utilisent des hypothèses alternatives (p. ex. paracompacité, développement) — il faut choisir le critère adapté selon les hypothèses structurelles disponibles.

Synthèse

Le théorème de métrisation d'Urysohn affirme que la présence d'une base dénombrable conjuguée à des propriétés de séparation régulières suffit à produire une métrique induisant la topologie, transformant certains espaces topologiques abstraits en espaces métriques.