Section 27: Problem 5 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
Let
be a compact Hausdorff space; let
be a countable collection of closed sets of
. Show that if each set
has empty interior in
, then the union
has empty interior in
. [Hint: Imitate the proof of Theorem 27.7.]
Following the idea of Theorem 27.7. If
is closed,
is non-empty and open and
, then there is a non-empty open set
such that
. Indeed, since
, there is a point
, and there are disjoint open neighborhoods
and
about
(closed) and
, respectively (Lemma 26.4), so that
.
We take any non-empty open set
and show that it has a point not in the union
. For
,
,
is non-empty and
(
has no interior points), hence, there is a non-empty open set
such that
. We have a nested sequence of non-empty closed sets
, and their intersection is nonempty as
is compact, where any point in the intersection belongs to
but does not belong to
.