##  [Théorème de Métrisation D'Urysohn](/fr/node/62210) 

 Définition

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

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

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

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

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

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

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

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

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.