If R(t) is a time dependant rotation tensor, is transformed into r(t) by
where is the dual vector of
Proof:
Recall that is the dual vector of of
is
transformed into r(t) by
is
transformed into r(t) by
is the
dual vector of
is the
dual vector of of
