The rotation angle of a 3D rotation is continuous
Statement
For define .
- Show that this is well defined and continuous on .
- Show that is the rotation angle of (the angle of the rotation about its axis, up to sign).
Hint
Every is conjugate by an orthogonal matrix to , where is the plane rotation of angle .
Show solutionHide solution
Solution
Idea. Choose an orthonormal basis adapted to the axis. In that basis is block diagonal and its trace is .
Step 1: normal form. By the previous problem there is a unit vector with . Since is orthogonal, it maps to itself and acts there as an orthogonal map of determinant , i.e. as a rotation of the plane (identified with via an orthonormal basis ). In the orthonormal basis ,
Step 2: trace. The trace is invariant under conjugation, so , i.e. . This shows both that is defined at this number and that (mod , reduced to ) is the rotation angle of , up to the sign ambiguity coming from the orientation of the axis.
Step 3: continuity. is linear, hence continuous; is continuous on . So is continuous on as a composition.
Check. For : . For (rotation by about the first axis): , .
Remark. The angle alone does not determine the rotation (there is also the axis), and the axis direction is not a continuous function on (it is undefined at ); but the angle is, as shown.
Lesson. Conjugation invariants such as the trace give continuous invariants of the conjugacy class.