Let
be a homotopy between
and
so that
. The homotopy we seek is the map
given by
It can be checked that the definition is meaningful along
and the continuity of
follows by the gluing lemma. The reader may complete the proof by verifying that
nisha
2012-03-20