Bourbaki

Exercise 7, § 4

General Topology, IX

A topological space XX is said to be perfectly normal if it is normal and if each closed subset of XX is a countable intersection of open sets (or, equivalently, if each open subset of XX is a countable union of closed sets).

a) A Hausdorff space XX is perfectly normal if and only if, given any closed subset AA of XX, there exists a real-valued continuous function ff on XX such that f−1(0)=Af^{-1}(0) = A [use the method of Exercise 16 a) of § 1].

b) Show that every perfectly normal space XX is completely normal and that every subspace of XX is perfectly normal [use Exercises 3 b) and 6].

c) Every lower semi-continuous real-valued function on a perfectly normal space is the upper envelope of a sequence of continuous functions (use the method of § 2, no. 7, Proposition 11).

d) The compact space XX obtained by adjoining a point at infinity to an uncountable discrete space is completely normal but not perfectly normal, and every subspace of XX is paracompact.

Solution

No solution has been written yet.

Transcribed from the printed volume. Not translated.