To prove the surjectivity of , note that
and
are three dimensional manifolds and
is a smooth map. We show that the
derivative
is an invertible linear map and so by the inverse function theorem the
image must contain a neighborhood of the
identity. We merely have to recall from lecture 5 that if a subgroup
of a connected topological group
contains a neighborhood of the identity then
.
We now turn to the proof that is a surjective linear transformation. We shall regard
as a map from
to
and compute its derivative at
.
For a quaternion
with sufficiently small norm,