Critère de métrisabilité de Nagata-Smirnov
Le critère de métrisabilité de Nagata-Smirnov est un théorème de topologie qui affirme qu'un espace topologique est métrisable si (et seulement si) il est régulier et a une base dénombrablement localement finie. Il a été démontré indépendamment par Jun-iti Nagata (1950), Yu. M. Smirnov (de) (1951) et R. H. Bing (1951).
(Tout espace métrique E possède bien une base réunion dénombrable de familles Fn localement finies, chaque Fn étant obtenue en raffinant (par paracompacité) le recouvrement de E par toutes les boules ouvertes de rayon 1/n.)
On peut en déduire le théorème de métrisabilité de Smirnov : un espace est métrisable si (et seulement si) il est paracompact et localement métrisable. En effet, tout espace paracompact X est normal donc régulier, et s'il est de plus recouvert par des ouverts Ui admettant chacun une base Bi dénombrablement localement finie alors, en se ramenant (par raffinement) au cas où le recouvrement (Ui) est localement fini, la réunion des Bi est une base dénombrablement localement finie de X.
Références
- (en) R. H. Bing, « Metrization of topological spaces », Canad. J. Math., vol. 3, , p. 175-186 (lire en ligne)
- (en) Norman R. Howes, Modern Analysis and Topology, Springer, , 444 p. (ISBN 978-0-387-97986-1, lire en ligne), p. 17
- (en) Yu. M. Smirnov (de), « A necessary and sufficient condition for metrizability of a topological space », Doklady Akad. Nauk SSSR (N.S.), vol. 77, , p. 197-200