An infinitesimal transformation of a vector is given by
|
(1)
|
where the matrix is infinitesimal and
is the identity matrix.
(Note that the infinitesimal transformation may not correspond to an inversion, since
inversion is a discontinuous process.) The commutativity
of infinitesimal transformations
and
is established by the equivalence of
|
(2)
| |||
|
(3)
| |||
|
(4)
| |||
|
(5)
|
Now let
|
(6)
|
The inverse
is then
,
since
|
(7)
| |||
|
(8)
| |||
|
(9)
|
Since we are defining our infinitesimal transformation to be a rotation, orthogonality of rotation matrices requires that
|
(10)
|
but
|
(11)
| |||
|
(12)
| |||
|
(13)
|
so
and the infinitesimal rotation is antisymmetric.
It must therefore have a matrix of
the form
|
(14)
|
The differential change in a vector upon application of the rotation
matrix is then
|
(15)
|
Writing in matrix form,
|
(16)
| |||
|
(17)
| |||
|
(18)
| |||
|
(19)
|
Therefore,
|
(20)
|
where
|
(21)
|
The total rotation observed in the stationary frame will be a sum of the rotational velocity and the velocity in the rotating frame. However, note that an observer in the stationary frame will see a velocity opposite in direction to that of the observer in the frame of the rotating body, so
|
(22)
|
This can be written as an operator equation, known as the rotation operator, defined as
|
(23)
|