« Section 33: Problem 3 Solution

Section 33: Problem 5 Solution »

Section 33: Problem 4 Solution

Working problems is a crucial part of learning mathematics. No one can learn topology merely by poring over the definitions, theorems, and examples that are worked out in the text. One must work part of it out for oneself. To provide that opportunity is the purpose of the exercises.
James R. Munkres
Suppose such exists. must be closed, and, using exercise 1, it is the countable intersection of open sets. The other direction. If is closed and there is a countable collection of open sets such that their intersection is , then let and for every if is defined let . This is possible because the space is normal and is closed. We need to slightly modify the construction in the proof of the Urysohn lemma. Namely, we do not define , we define a sequence of point of starting from 1 such that no is defined before if . So, first we define , then , then some for , then , then some for , etc. This way we can define for all rational points in with the properties required by the proof. Moreover, .