Section 26: Problem 11 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
Just follow the hint.
is closed. Therefore, both sets
and
are closed in
. Since
is compact, they are compact as well, and, by exercise 5, since
is also Hausdorff, there are open and disjoint
and
containing them.
are closed, nonempty (otherwise, since
and
are disjoint and both contain a point of
, there would be a separation of
, which is connected) and simply ordered by proper inclusion (because the initial sequence is, otherwise the result would not hold), therefore, they satisfy the finite intersection property (why?), and since
is compact, the intersection is nonempty. That implies that there is a point in
that is not in
and, therefore, not in
. Contradiction.