Relationship between and
High technology approach
The special orthogonal group SO(3) consists of rotations of the 3D space. It can be defined in several ways, but ultimately we have a group representation
This way,
The Lie algebra
with generators
On the other hand, we have the group SU(2), of unitary 2x2 complex matrices with determinant equal to 1. This definition is, in fact, a complex linear representation by itself
The Lie algebra
(by the way, these are the Pauli matrices multiplied by
The Lie algebras
and conserve the commutation relations.
Since
Low level approach
But we can forget about these sophisticated tools, and try to see more directly the relationship between
-
can be seen like rotations of a sphere . -
Therefore, they can be seen like some kind of transformations of the extended complex plane
, via stereographic projection . They constitute a subgroup of Moebius transformations , since they are conformal maps (rotations are conformal, and stereographic projection is).
-
But
is, in fact, the same as the group acting over . This identification comes this way: the Moebius transformation
with
with nonzero determinant.
In other words, the complex vector space
But several linear transformations give rise to the same Moebius transformation, so we take equivalence classes. Even if we restrict to the singular matrices with unit determinant, we have a 2-1 relation. That is, we have a 2-1 surjection from
so we can express the Moebius transformation (abusing of notation) by
with
- To see which Moebius transformations correspond to which rotations, let's study two of them: rotation along the
-axis and angle ,
and rotation along the
Pure algebraic manipulations lead us to the Moebius transformations:
and
so, in
- Now, a general rotation
is a composition of the two above (see section on Euler angles), so the same is true for the associated Moebius transformation.
So if we start with the rotation of Euler angles:
we get
where the determinant is obviously 1.
- You can check that all the matrices like above are of the form
with
to find the Euler angles.
We can even express the 3x3 rotation matrix in function of the given complexes numbers:
- So we have a surjective 2-1 group homomorphism
with kernel