$\mathfrak{so}(3)$ with the bracket is isomorphic to $(\mathbb{R}^3, \times)$
Statement
There is a linear isomorphism , , under which the Lie bracket corresponds exactly to the vector cross product: . Consequently the -dimensional Lie algebra of the rotation group is, as an algebraic object, nothing more than with the familiar cross product .
Why is it true?
This identification is exactly why angular velocity in physics is a -vector: the "instantaneous rotation rate" of a rigid body lives in , and the isomorphism with is why gives the velocity of a point on a spinning body.
Proof sketch
Step 1 (basis). Every skew-symmetric has the form for a unique (three free entries above the diagonal determine the rest), and is manifestly linear and bijective, so it is a linear isomorphism of -dimensional vector spaces.
Step 2 (action on vectors). A direct computation shows for every , i.e. acts on exactly as "cross with ".
Step 3 (bracket matches cross product). Using Step 2 twice, for any : . Applying the vector triple-product identity to both terms and simplifying, the right side collapses to for every , hence as operators — exactly .
Step 4 (conclusion). Since is a linear bijection that turns the cross product into the matrix bracket, it is a Lie algebra isomorphism , as claimed.
Topics that use this theorem
Step-by-step proofs
No step-by-step proof yet for this theorem.
References
- Brian C. Hall (2015). Lie Groups, Lie Algebras, and Representations: An Elementary Introduction
- John Stillwell (2008). Naive Lie Theory
- Dennis Gaitsgory, Sam Raskin, et al. (2024). The Proof of the Geometric Langlands Conjecture · arXiv:2405.03599
- William Fulton, Joe Harris (1991). Representation Theory: A First Course