It is clear that
is connected (why?). Turning to the case
, we consider the action of
on the standard unit sphere
in
given by
where
and
.
It is an exercise for the student to check that this group action
is transitive and that the stabilizer of the unit vector
is the subgroup
consisting of all those matrices in
whose last column is
. The subgroup
is
homeomorphic to
and so, by induction hypothesis, is connected.
By exercise 3, the quotient space
is homeomorphic to
which is connected.
So the theorem can be applied with
,
and
is the sphere
with
.
nisha
2012-03-20