Theorem
A connected set cannot be expressed as the union of nonempty, disjoint, closed subsets.
Proof
Suppose
is connected and closed sets
exist with![]()
Then
and![]()
The complement of a closed set is open, so that
and
are also both open and
is the union of open sets
and
Hence
is not connected.
Conversely suppose
is disconnected. Then nonempty open sets
exist such tha
and![]()
Then
and
so that
and
are closed - a contradiction.