Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Difference between SO(3) and so(3)

  1. Jul 5, 2010 #1

    What is the difference between lie group SO(3) and lie algebra so(3)? I just got the idea in terms of terminology that one represents the group and the other stands for algebra. But can anyone please provide details as to what exactly is the difference?

  2. jcsd
  3. Jul 6, 2010 #2
    SO(3) is a Lie group; so(3) is the Lie algebra of SO(3). SO(3) is a manifold; so(3) is a vector space with a bilinear, antisymmetric bracket that satisfies the Jacobi identity.

    That really is all there is to it.
  4. Jul 6, 2010 #3


    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    In terms of differential geometry, so(3) is the tangent space at the identity element of SO(3), with a Lie bracket [itex](X,Y)\mapsto[X,Y][/itex] defined by setting [X,Y] equal to the commutator at the identity, of the left-invariant (or right-invariant) vector fields corresponding to X and Y. (Those are the fields defined in the quote below. The two Lie algebras defined this way are isomorphic, so it doesn't matter if we use left multiplication or right multiplication to define the Lie bracket).

    In terms of matrices, SO(3) is the set of 3×3 orthogonal matrices with determinant 1, and so(3) is the set of matrices X such that exp(tX) is in SO(3) for all real numbers t. (This is a trick to find a Lie algebra that's isomorphic to the group's Lie algebra. It works for matrix Lie groups). So it's the set of all antisymmetric traceless 3×3 matrices. (Mathematicians use the term "skew symmetric" or just "skew" instead of "antisymmetric". It means XT=-X. "Traceless" means Tr X=0, where Tr X is the sum of the diagonal elements).

  5. Jul 6, 2010 #4
    Thanks Fredrick and shoehorn.
  6. Jul 6, 2010 #5
    I imagine your question is ultimately rooted in quantum mechanics reading. The other posts definitely are correct, but there is a missing piece.

    Given the Lie group, you get the Lie algebra as described, but Lie algebras aren't unique. Different Lie groups share the same Lie algebra, but to do so they are topologically "close". They are locally isomorphic - they share the same universal cover (algebraic topology concept).

    The Lie algebra gets you to the unique simply connected version of the Lie group, which for [itex]SO(3)[/itex] happens to be [itex]SU(2).[/itex] This is the reason that [itex]SU(2)[/itex] is used as the rotation group for three dimensional space.
  7. Jul 6, 2010 #6
    Thanks for the addition tmccullough. I came across it while reading some proofs in computer vision.
  8. Jul 6, 2010 #7


    User Avatar
    Science Advisor
    Gold Member
    2017 Award

    btw: SO(3) is topologically the real projective space of lines in Euclidean three space. It is diffeomorphic to the tangent circle bundle of the 2 sphere. With this picture you can also visualize the Lie algebra structure of the tangent space at the identity - an instructive excercise.
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook