Homepage › Solution manuals › Theodore Gamelin › Introduction to Topology › Exercise 2.5.4 (Urysohn's Lemma II & Tietze Extension Theorem II)
Exercise 2.5.4 (Urysohn's Lemma II & Tietze Extension Theorem II)
Prove that a topological space is normal if and only if the conclusion of Urysohn’s Lemma is valid for . Prove that this occurs if and only if the conclusion of the Tietze Extension Theorem is valid for .
Answers
Forward implications are Theorems 5.3 and 5.4 respectively.
Urysohn’s Lemma
Proof. Suppose that is a topological space on which Urysohn’s Lemma holds, i.e., for any two disjoint closed subsets and of , there exists a continuous function from to the unit interval such that on and on F. Then the sets
must be open as the inverses of open subsets of under . Furthermore, these sets contain and respectively by definition. In other words, is normal. □
Tietze Extension Theorem
Proof. Suppose that is a topological space on which any bounded continuous real-valued function on a closed subset can be extended to a bounded continuous real-valued function on whole . Let and be arbitrary disjoint closed subsets of . Then 1 is a bounded continuous real-valued function on (The inverse image of any closed set in either contains or not; in both cases, the inverse is either or , i.e, it is closed by Exercise 3.2.). Let be a continuous extension of to . In a similar manner, the sets
are disjoint open subsets of containing and respectively. In other words, is normal. □