## Difference between SO(3) and so(3)

Hi,

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?

Regards,
Priyanshu
 PhysOrg.com science news on PhysOrg.com >> Leading 3-D printer firms to merge in $403M deal (Update)>> LA to give every student an iPad;$30M order>> CIA faulted for choosing Amazon over IBM on cloud contract
 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.

Mentor
In terms of differential geometry, so(3) is the tangent space at the identity element of SO(3), with a Lie bracket $(X,Y)\mapsto[X,Y]$ 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).

 Quote by Fredrik Suppose that M and N are manifolds and $\phi:M\rightarrow N$ is a diffeomorphism. Then we can define a function $$\phi(p)_*:T_pM\rightarrow T_{\phi(p)}N$$ for each $p\in M$. A Lie group is both a group and a manifold. We can use any member g of a group G to construct two diffeomorphisms $\rho_g$ and $\lambda_g$ that map G onto itself: $$\rho_g(h)=hg$$ $$\lambda_g(h)=gh$$ The Lie algebra associated with the Lie Group is defined as the tangent space at the identity element, with a Lie bracket that will be defined below. Let's use the notation $\mathfrak{g}=T_eG$ We can use either right or left multiplication to map the Lie algebra onto the tangent space at any other point g: $$\rho_g_*:\mathfrak{g}\rightarrow T_gG$$ $$\lambda_g_*:\mathfrak{g}\rightarrow T_gG$$ Let's simplify the notation a bit: $$\rho_g_*(L)=Lg$$ $$\lambda_g_*(L)=gL$$ We can use these maps to construct two vector fields $X_L^\rho$ and $X_L^\lambda$ for each vector L in the Lie algebra: $$X_L^\rho|_g=Lg$$ $$X_L^\lambda|_g=gL$$ Either of these two vector fields can be used to define a Lie bracket on the Lie Algebra: $$[K,L]=[X_K^\rho,X_L^\rho]_e$$ $$[K,L]=[X_K^\lambda,X_L^\lambda]_e$$

## Difference between SO(3) and so(3)

Thanks Fredrick and shoehorn.
 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 $SO(3)$ happens to be $SU(2).$ This is the reason that $SU(2)$ is used as the rotation group for three dimensional space.
 Thanks for the addition tmccullough. I came across it while reading some proofs in computer vision.
 Recognitions: Science Advisor 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.

 Tags lie algebra

 Similar discussions for: Difference between SO(3) and so(3) Thread Forum Replies Introductory Physics Homework 26 General Physics 5 Introductory Physics Homework 0 General Physics 3 Atomic, Solid State, Comp. Physics 2