Nagata–Smirnov metrization theorem
In
metrizable
. The theorem states that a topological space is metrizable if and only if it is 
basis
.
A topological space is called a regular space if every non-empty closed subset of and a point p not contained in admit non-overlapping open neighborhoods. A collection in a space is countably locally finite (or 𝜎-locally finite) if it is the union of a countable family of locally finite collections of subsets of
Unlike
Urysohn's metrization theorem, which provides only a sufficient condition for metrizability, this theorem provides both a necessary and sufficient condition for a topological space to be metrizable. The theorem is named after Junichi Nagata and Yuriĭ Mikhaĭlovich Smirnov, whose (independent) proofs were published in 1950[1] and 1951,[2]
respectively.
See also
- Bing metrization theorem – Characterizes when a topological space is metrizable
- Kolmogorov's normability criterion – Characterization of normable spaces
- Uniformizable space – Topological space whose topology is generated by a uniform structure
Notes
- ^ J. Nagata, "On a necessary and sufficient condition of metrizability", J. Inst. Polytech. Osaka City Univ. Ser. A. 1 (1950), 93–100.
- ^ Y. Smirnov, "A necessary and sufficient condition for metrizability of a topological space" (Russian), Dokl. Akad. Nauk SSSR 77 (1951), 197–200.
References
- ISBN 0-13-925495-1.
- Patty, C. Wayne (2009), "7.3 The Nagata–Smirnov Metrization Theorem", Foundations of Topology (2nd ed.), Jones & Bartlett, pp. 257–262, ISBN 978-0-7637-4234-8.
 | This topology-related article is a stub. You can help Wikipedia by expanding it. |