Solution

ID: past-exam-of-the-symmetry-and-relativity-course-of-the-university-of-oxford/2021/4/c/solution

The supplied matrix obeys
Separate the even and odd powers in the matrix exponential to obtain
It fixes the component and is a counterclockwise active rotation viewed from . This sign differs from the clockwise convention in b, because the source fixes the sign of both and the exponential. Replacing by yields the clockwise rotation.
With , the generators of rotations obey
The commutator measures the leading difference between performing two infinitesimal rotations in opposite orders. For example, with and ,
The failure to commute is itself an infinitesimal rotation about the perpendicular axis; the Lie algebra closes on the same three generators of rotations.
To pass from this local statement to the full group property, put . These are real antisymmetric matrices, with . The Baker--Campbell--Hausdorff formula shows locally that the logarithm of a product of their exponentials remains a linear combination of the , because all nested commutators do. Globally, each exponential has and . If have these properties, then
Every real three-dimensional orthogonal matrix of determinant has an eigenvector with eigenvalue : its nonreal eigenvalues come in conjugate pairs, and the product of all three is . On the perpendicular plane it acts as a two-dimensional rotation. It therefore has axis-angle form and can be written . Thus the product is again a rotation. The identity is , the inverse reverses , and associativity comes from matrix multiplication. This proves that all these rotations form the special orthogonal group . The commutator supplies local closure, while the orthogonality and axis-angle argument supplies the necessary global step.

New to topics? Read the docs here!