Corollary
Tag 0C5N, permanent. Cite it as [Bourbaki, Tag 0C5N].
General Topology, chapter IX, § 4. Normal spaces
If is a finite continuous real-valued function defined on , then there exists a finite continuous real-valued function defined on , which extends .
First consider the case in which for all ; then there is a continuous extension of to , taking its values in . If we put , then is closed and by hypothesis does not meet ; the function which is equal to on and to 0 on is therefore a continuous function on the closed set . Let be a continuous extension of to , again taking its values in ; the function is then a continuous extension of to , whose values are and finite at every point of .
To pass to the general case, it is enough to remark that, if is finite and continuous on , then so are and ; extending and to by finite continuous functions and respectively, we see that the function is finite and continuous on and extends .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.