Definition 1.1 .
A rotation matrix is an orthogonal matrix of
determinant , rather than
. (Note: The identity
matrix is considered a rotation matrix.)
Proposition 1.2 . (a) The product of two
rotation matrices is a
rotation matrix. (b) The inverse of a rotation matrix is a
rotation matrix. (In fact, it's the transpose.)
1.3 Rotation matrices in
R
Our notation will be
, giving a rotation about the
origin through an angle
, measured counterclockwise.
Proposition 1.4 . All
rotation matrices are of this form.
1.5 Rotation matrices in
R
By
we will mean the rotation matrix that
gives a rotation about the
-axis by an angle
measured starting from the
-axis and rotating towards the
-axis. Its effect on the
-plane is the same as the
effect of
. Because
and
are
moved in the
-plane as if
were being
applied, and because
is left fixed,
.
is the inverse of
. Thus
gives the rotation
about the
-axis by an angle
measured starting from
the
-axis and rotating towards the
-axis.
,
,
, and
are defined
similarly.
1.6 Remarks.