When discussing a rotation, there are two possible conventions: rotation of the axes, and rotation of the object relative to fixed axes.
In , consider the matrix that rotates
a given vector
by a counterclockwise angle
in a fixed coordinate system. Then
|
(1)
|
so
|
(2)
|
This is the convention used by the Wolfram Language command RotationMatrix[theta].
On the other hand, consider the matrix that rotates the coordinate system through a counterclockwise angle . The coordinates
of the fixed vector
in the rotated coordinate system are
now given by a rotation matrix which is the transpose
of the fixed-axis matrix and, as can be seen in the above diagram, is equivalent
to rotating the vector by a counterclockwise angle of
relative
to a fixed set of axes, giving
|
(3)
|
This is the convention commonly used in textbooks such as Arfken (1985, p. 195).
In , coordinate system rotations of the
x-, y-, and z-axes in a counterclockwise direction when looking
towards the origin give the matrices
|
(4)
| |||
|
(5)
| |||
|
(6)
|
(Goldstein 1980, pp. 146-147 and 608; Arfken 1985, pp. 199-200).
Any rotation can be given as a composition of rotations about three axes (Euler's rotation theorem),
and thus can be represented by a matrix
operating on a vector,
|
(7)
|
We wish to place conditions on this matrix so that it is consistent with an orthogonal transformation (basically, a rotation or improper rotation).
In a rotation, a vector must keep its original length, so it must be true that
|
(8)
|
for , 2, 3, where Einstein
summation is being used. Therefore, from the transformation equation,
|
(9)
|
This can be rearranged to
|
(10)
| |||
|
(11)
| |||
|
(12)
|
In order for this to hold, it must be true that
|
(13)
|
for , 2, 3, where
is the
Kronecker delta. This is known as the orthogonality
condition, and it guarantees that
|
(14)
|
and
|
(15)
|
where is the transpose
and
is the identity
matrix. Equation (15) is the identity which gives the orthogonal
matrix its name. Orthogonal matrices have special properties which allow them to
be manipulated and identified with particular ease.
Let and
be two orthogonal
matrices. By the orthogonality condition,
they satisfy
|
(16)
|
and
|
(17)
|
where is the Kronecker
delta. Now
|
(18)
| |||
|
(19)
| |||
|
(20)
| |||
|
(21)
| |||
|
(22)
| |||
|
(23)
|
so the product of two orthogonal matrices is also
orthogonal.
The eigenvalues of an orthogonal rotation matrix must satisfy one of the following:
1. All eigenvalues are 1.
2. One eigenvalue is 1 and the other two are .
3. One eigenvalue is 1 and the other two are complex conjugates of the form and
.
An orthogonal matrix is classified
as proper (corresponding to pure rotation) if
|
(24)
|
where is the determinant
of
, or improper (corresponding to inversion
with possible rotation; improper rotation) if
|
(25)
|