Proposition 2
Tag 0C5I, permanent. Cite it as [Bourbaki, Tag 0C5I].
General Topology, chapter IX, § 4. Normal spaces
A metrizable space is normal.
Let be a metrizable space and let be a metric compatible with the topology of . Let be two disjoint closed subsets of ; since the functions and are continuous, the set (resp. ) of points such that [resp. ] is open; clearly and and , hence Axiom is satisfied.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Cites
Nothing.