Bourbaki

Corollary

Tag 0C5N, permanent. Cite it as [Bourbaki, Tag 0C5N].

General Topology, chapter IX, § 4. Normal spaces

If ff is a finite continuous real-valued function defined on AA, then there exists a finite continuous real-valued function gg defined on XX, which extends ff.

First consider the case in which f(x)≥0f(x) \geq 0 for all x∈Ax \in A; then there is a continuous extension g1g_1 of ff to XX, taking its values in [0,+∞][0, +\infty]. If we put B=g1‾(+∞)B = \overline{g_1}(+\infty), then BB is closed and by hypothesis does not meet AA; the function hh which is equal to ff on AA and to 0 on BB is therefore a continuous function on the closed set A∪BA \cup B. Let g2g_2 be a continuous extension of hh to XX, again taking its values in [0,+∞][0, +\infty]; the function g=inf⁡(g1,g2)g = \inf(g_1, g_2) is then a continuous extension of ff to XX, whose values are ≥0\geq 0 and finite at every point of XX.

To pass to the general case, it is enough to remark that, if ff is finite and continuous on AA, then so are f+f^+ and f−f^-; extending f+f^+ and f−f^- to XX by finite continuous functions g1g_1 and g2g_2 respectively, we see that the function g1−g2g_1 - g_2 is finite and continuous on XX and extends ff.

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Nothing.

Transcribed from the printed volume. Not translated.