Metric and Hilbert Spaces
Arun Ram
Department of Mathematics and Statistics
University of Melbourne
Parkville, VIC 3010 Australia
aram@unimelb.edu.au
Last updated: 4 November 2014
Lecture 6: Continuous functions and connected sets
Let be a topological space. Let be a collection of connected subsets of such that
Prove that is connected.
|
|
Proof. |
|
Let and let
Proof by contradiction.
Assume is not connected.
Let and be open sets such that
Then or
Assume
Let be such that
Since then
so that
Since then
This is a contradiction to be connected.
So is connected.
|
Let be a topological space and let
be connected. Show that is connected.
|
|
Proof. |
|
Proof by contradiction.
Assume is not connected.
Let and be open subsets of such that
Then
There exists
is a close point of and, since is open, is a neighbourhood
of
So
There exists
is a close point of and, since is open, is a neighbourhood of
So
This is a contradiction to is connected.
So is connected.
|
Let be a topological space. Let
The connected component of is
the union of the connected subsets of containing
(a) |
is connected.
|
(b) |
is closed.
|
(c) |
If then
|
(d) |
If then
or
|
|
|
Proof. |
|
(a) This follows from Example 1.
(b) By Example 2, is a connected set that contains
So
So
(c) Assume Then is a
connected set containing So
Then is a connected set containing So
so
(d) Assume and
Let
So and
By (c),
So
|
Let be a topological space. Then is connected if and only
if there does not exist a continuous surjective function
where has the discrete topology.
|
|
Proof. |
|
To show: If there exists a continuous surjective function
then is not connected.
Assume that is a continuous surjective
function.
Let
Since is continuous, and are open.
Since is surjective,
and
Then
So is not connected.
To show: If is not connected then there exists a continuous surjective function
Assume is not connected.
Then there exist open sets and such that
Define by
Since and
is well defined.
Since and
is surjective.
Since and
are open,
is continuous.
So there exists a continuous surjective function
|
Notes and References
These are a typed copy of Lecture 6 from a series of handwritten lecture notes for the class Metric and Hilbert Spaces given on August 6, 2014.
page history