(diffeomorphic)
Proof:
We have that
Since , we may view
as
Consider the map
It is clear that is well-defined since if
, then
.
If , it is clear that
. So
is injective. It is also clear that
is surjective.
Note that , where
denotes the set of 2 by 2 complex matrices.
When is viewed as a function
, it is clear that
and
are smooth maps since their component functions are of class
. Since
and
are submanifolds, the restrictions to these submanifolds (i.e.\
and
) are also smooth.
Hence is a diffeomorphism.