Let
be the homotopy between
and
. Since
is star shaped with respect to
and
ex
the
lifting lemma gives a unique lift
with
.
The image
is a connected subset of
as
runs from 0 to
and
exp
for all
.
So
is integer valued and hence constant. From
we conclude that
for all
.
In particular the lifts
and
both start at the origin and
so
deg

deg
Our job will be over if we show that
.
Well,
must map the connected set
onto a connected
subset
of
and since
ex
this connected subset
must be a subset of
and hence reduces to a singleton which means

for all
Setting
and
we see that
thereby completing the proof that the map
deg
is well defined.
nisha
2012-03-20