Rotation operator (vector space)