The space generated by the sphere radius 1 is![]()
Let
be any point of![]()
is homeomorphic to
and so is a contractible space. If
is the antipodal point to
take
to be the tangent plane to
at![]()
The projection of a point
is a point
determined by the intersection of the line through
and
with the plane
hence
and
are homeomorphic.
If
is a loop in
and
is any point in
then
is homeomorphic to a loop in![]()
Thus
is homotopic to the identity function f of
Hence any loop in
based on
is homotopic to![]()
Hence
consists only of the identity function![]()