Section 23: Problem 12 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
; let
and
be connected. Show that if
and
form a separation of
, then
and
are connected.
It is sufficient to show for one set only, so we show that
is connected. Suppose it is not, then let
where
and
are nonempty disjoint open subsets of
. Since
is a connected subset of
, it must lie within either
or
(Lemma 23.2), so suppose
, so that
. We have
. Using Lemma 23.1, no limit point of
can be in
, and no limit point of
can be in
, so that
is closed, and
is open in
. But no limit point of
can lie in
or
. So that
is closed in
. Therefore,
is both open and closed in
. Contradiction.