Let
and
be arbitrary points of
and let
be the set of all points of
that can be joined to
by a path. Clearly
is non-empty since it contains the point
. If
we show that
is open and closed then by connectedness of
it would follow that
would equal the whole space
. In particular
contains
thereby proving that there is a path in
joining
and
. First we show that
is open. Well, let
be an arbitrary point of
and choose a path
such that
and
. Choose a path connected neighborhood
of
and
be arbitrary.
Then there is a path
lying in
joining
and
. We now juxtapose
and
by defining
as
By virtue of the gluing lemma
is continuous and defines a path joining
and
. Hence
belongs to
and so
. We now show that
is closed as well. Let
and
be a path connected
neighborhood of
. Then we show that
. Well, if not, pick
and there is a path
in
joining
and
and a path
in
joining
and
. Juxtaposing we would get a path in
joining
and
which would contradict the fact that
. So
is also open in
and the proof is complete.
nisha
2012-03-20