Corollary
Tag 0C5U, permanent. Cite it as [Bourbaki, Tag 0C5U].
General Topology, chapter IX, § 4. Normal spaces
Given any locally finite open covering of a closed set in a normal space , there exists a family of continuous real-valued functions on , subordinate to the covering and such that for all and for all .
The family of sets consisting of and the is a locally finite open covering of . There is therefore a continuous partition of unity subordinate to this covering, consisting of a family such that for each , and a function whose support is contained in the complement of . The family clearly satisfies the required conditions.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.