By the previous result it is immaterial which point
is chosen as the base point.
Assume that
is star shaped with respect to
Let
be a loop in
based at
We shall
prove
by constructing a homotopy
between
and
the constant loop
, namely
This makes sense because
is star shaped with respect to
. Turning to the boundary conditions,
nisha
2012-03-20