« Section 27: Problem 4 Solution

Section 27: Problem 6 Solution »

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 .