Bourbaki

Exercise 29, § 4

General Topology, IX

Let XX be a Hausdorff topological space. Then XX is normal if and only if, for each closed subset AA of XX and each real-valued function ff defined on AA and continuous with respect to the induced topology, there exists a continuous pseudometric dd on XX with respect to which ff is uniformly continuous. (To show that the condition is sufficient, show that every real-valued function ff defined on a closed subset AA, and continuous with respect to the induced topology, can be extended to a continuous function on XX; for this, consider the Hausdorff space X‾\overline{X} associated with the uniformity defined on XX by the pseudometric dd.)

Solution

No solution has been written yet.

Transcribed from the printed volume. Not translated.