|
Assume is not an interval.
Let and with
Let
and
Then and are open subsets of and
So is not connected.
Assume is an interval.
To show: is connected.
Proof by contradiction.
Assume is not connected.
Let and be open subsets of such that
Then given by
is a continuous surjective function.
Let with
and
Switching and if necessary we may assume that
Construct sequences
and by
By induction, and and,
since is an interval,
so that is
defined and
Also,
so that
Since is complete and the sequence
is increasing and bounded by
exists in
Since is complete and the sequence
is decreasing and bounded by
exists in
Since
then
Let
Since
for then
Since is an interval,
Since is continuous,
This is a contradiction.
So is connected.
|