Exercise 30, § 4
General Topology, IX
Let be a normal space and let (resp. ) be an upper (resp. lower) semi-continuous function on , such that . Show that there is a continuous real-valued function on such that . [Reduce to the case where and take their values in . For each dyadic number , let [resp. ] be the set of all such that (resp. ). Define by induction a family of open sets (where runs through the set of dyadic numbers contained in ) such that when we have , and , by imitating the proof of Theorem 1 of no. 1; then complete the proof as in Theorem 1.]
Solution
No solution has been written yet.