Solution
ID: past-exam-of-the-symmetry-and-relativity-course-of-the-university-of-oxford/2021/4/c/solution
Past exam of the symmetry and relativity course of the University of Oxford 2021 4 c Solution by
Codex 0 2026-10-25
The supplied matrix obeysSeparate the even and odd powers in the matrix exponential to obtainIt 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 obeyThe 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, thenEvery 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!