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 X is normal if and only if the conclusion of Urysohn’s Lemma is valid for X. Prove that this occurs if and only if the conclusion of the Tietze Extension Theorem is valid for X.

Answers

Forward implications are Theorems 5.3 and 5.4 respectively.

Urysohn’s Lemma

Proof. Suppose that X is a topological space on which Urysohn’s Lemma holds, i.e., for any two disjoint closed subsets E and F of X, there exists a continuous function f from X to the unit interval [0,1] such that f = 0 on E and f = 1 on F. Then the sets

f1 ( [0, 1 2 ))f1 ( (1 2,1])

must be open as the inverses of open subsets of [0,1] under f. Furthermore, these sets contain E and F respectively by definition. In other words, X is normal. □

Tietze Extension Theorem

Proof. Suppose that X is a topological space on which any bounded continuous real-valued function f on a closed subset Y can be extended to a bounded continuous real-valued function h on whole X. Let E and F be arbitrary disjoint closed subsets of X. Then 1E1 is a bounded continuous real-valued function on E F (The inverse image of any closed set in [0,1] either contains 0 or not; in both cases, the inverse is either E or F, i.e, it is closed by Exercise 3.2.). Let f : X [0,1] be a continuous extension of 1E to X. In a similar manner, the sets

f1 ( [0, 1 2 ))f1 ( (1 2,1])

are disjoint open subsets of X containing E and F respectively. In other words, X is normal. □

User profile picture
2022-07-17 10:06
Comments