MathLabs
TheoremProved

$\mathfrak{so}(3)$ with the bracket is isomorphic to $(\mathbb{R}^3, \times)$

Statement

There is a linear isomorphism R3→so(3)\mathbb{R}^3 \to \mathfrak{so}(3), u↦Xuu \mapsto X_u, under which the Lie bracket corresponds exactly to the vector cross product: so(3)≅(R3,×),[Xu,Xv]=Xu×v\mathfrak{so}(3) \cong (\mathbb{R}^3, \times), \qquad [X_u, X_v] = X_{u \times v}. Consequently the 33-dimensional Lie algebra of the rotation group is, as an algebraic object, nothing more than R3\mathbb{R}^3 with the familiar cross product X×YX \times Y.

Why is it true?

This identification is exactly why angular velocity in physics is a 33-vector: the "instantaneous rotation rate" of a rigid body lives in so(3)\mathfrak{so}(3), and the isomorphism with (R3,×)(\mathbb{R}^3,\times) is why ω⃗×r⃗\vec\omega \times \vec r gives the velocity of a point r⃗\vec r on a spinning body.

Proof sketch

Step 1 (basis). Every skew-symmetric X∈so(3)X \in \mathfrak{so}(3) has the form Xu=(0−u3u2u30−u1−u2u10)X_u = \begin{pmatrix} 0 & -u_3 & u_2 \\ u_3 & 0 & -u_1 \\ -u_2 & u_1 & 0 \end{pmatrix} for a unique u=(u1,u2,u3)∈R3u=(u_1,u_2,u_3) \in \mathbb{R}^3 (three free entries above the diagonal determine the rest), and u↦Xuu \mapsto X_u is manifestly linear and bijective, so it is a linear isomorphism of 33-dimensional vector spaces.

Step 2 (action on vectors). A direct computation shows Xuv=u×vX_u v = u \times v for every v∈R3v \in \mathbb{R}^3, i.e. XuX_u acts on R3\mathbb{R}^3 exactly as "cross with uu".

Step 3 (bracket matches cross product). Using Step 2 twice, for any vv: [Xu,Xv]w=Xu(Xvw)−Xv(Xuw)=u×(v×w)−v×(u×w)[X_u,X_v]w = X_u(X_v w) - X_v(X_u w) = u\times(v\times w) - v\times(u\times w). Applying the vector triple-product identity a×(b×c)=b(a⋅c)−c(a⋅b)a\times(b\times c) = b(a\cdot c) - c(a\cdot b) to both terms and simplifying, the right side collapses to (u×v)×w=Xu×vw(u\times v)\times w = X_{u\times v} w for every ww, hence [Xu,Xv]=Xu×v[X_u,X_v] = X_{u\times v} as operators — exactly so(3)≅(R3,×),[Xu,Xv]=Xu×v\mathfrak{so}(3) \cong (\mathbb{R}^3, \times), \qquad [X_u, X_v] = X_{u \times v}.

Step 4 (conclusion). Since u↦Xuu \mapsto X_u is a linear bijection that turns the cross product into the matrix bracket, it is a Lie algebra isomorphism (R3,×)≅so(3)(\mathbb{R}^3,\times) \cong \mathfrak{so}(3), as claimed.

Topics that use this theorem

Step-by-step proofs

No step-by-step proof yet for this theorem.

References

  1. Brian C. Hall (2015). Lie Groups, Lie Algebras, and Representations: An Elementary Introduction
  2. John Stillwell (2008). Naive Lie Theory
  3. Dennis Gaitsgory, Sam Raskin, et al. (2024). The Proof of the Geometric Langlands Conjecture · arXiv:2405.03599
  4. William Fulton, Joe Harris (1991). Representation Theory: A First Course