I think my pure-math head is messing with me on the question below: my physics and CS friends both seemed to think it was a simple computational thing, and my program says the method works, but now I've confused myself about rotations vs. angular velocities.

The problem: you have data from gyroscopes on a rigid body that give you the angular speeds of the object around three orthogonal axes through the body. These measured angular speeds are constant, call them $\omega_x$, $\omega_y$, and $\omega_z$.

Sine the angular speeds are constant, the axis of rotation of the object is also constant, and it's not too much trouble to find it by considering the combined angular velocity vector $\Omega$ = ($\omega_x$,$\omega_y$,$\omega_z$).

I am then confused when I think about this in terms of rotations. There's a unique axis of rotation because every composition of rotations is equivalent to a single rotation about some axis. It seems, then that you should be able to determine this axis by determining the eigenvectors of the combined matrix ABC, where A, B, C each represent the rotation about one of the axes.

But of course, rotations in general don't commute. I'm forced to conclude that what makes the unique determination of an axis work is that infinitesimal rotations commute.

So, if I'm right about this, my question is -- how can I see that infinitesimal rotations commute? My intuition fails me here.

If they don't - what's the link between the rotation and angular velocity vector way of looking at this that removes the usual problems dealing with rotations that don't commute?


1 Answer 1


how can I see that infinitesimal rotations commute

See the Wolfram MathWorld article on Infinitesimal Rotation

UPDATE: I've recently been made aware that it's bad form to simply "answer" with a link sans summary so I will succinctly summarize the contents of the link.

Essentially, the infinitesimal rotation matrix is the Identity plus an infinitesimal matrix. In the product of two of these, the non-commutative part evaporates as the components are products of infinitesimals. Only the sum of the Identity (squared) and the two infinitesimal matrices remain regardless of the order in the product.

  • $\begingroup$ ach, fair enough - thanks. Didn't do my due diligence on this one. $\endgroup$ Commented Jun 24, 2012 at 22:15

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.