Properties of the “hat” notation:

  • Equivalent to cross product: ,

Rotation is a rigid body transformation:

Matrix exponential of so(3) and SO(3):

  • Given ,
  • Rodrigues’ formula:
  • If , then