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,
.