Let us choose a base point
and
be an arbitrary loop in
based at
. The open cover
of
has a Lebesgue number
. Choose a partition
such that the length of each sub-interval is less than
. Then
maps each
into
or
. If
maps
two adjacent intervals into
or into
then drop the abutting point of the two intervals thereby coarsening the partition. Thus
may arrange it such that for each
, the point
lies in
. We now
choose a path
joining
and
such that
the image of
lies entirely in
.
This is possible since
is path connected and
. Also let
denote the restriction of
to the
sub-interval
(
). We may reparametrize
(retaining the name) so that its domain is
. Now
Now each of the loops
,
,
,
based at
lies in one of the simply connected open sets
or
and so each of them is
homotopic to the constant loop via a homotopy
. These homotopies
may be juxtaposed to provide a homotopy between
and the constant loop. The proof is complete.
nisha
2012-03-20