Quaternions and Spatial Rotation - Pairs of Unit Quaternions As Rotations in 4D Space

Pairs of Unit Quaternions As Rotations in 4D Space

A pair of unit quaternions zl and zr can represent any rotation in 4D space. Given a four dimensional vector, and pretending that it is a quaternion, we can rotate the vector like this:

f(\vec{v})=z_l \vec{v} z_r=
\begin{pmatrix}
a_l&-b_l&-c_l&-d_l\\
b_l&a_l&-d_l&c_l\\
c_l&d_l&a_l&-b_l\\
d_l&-c_l&b_l&a_l
\end{pmatrix}\begin{pmatrix}
a_r&-b_r&-c_r&-d_r\\
b_r&a_r&d_r&-c_r\\
c_r&-d_r&a_r&b_r\\
d_r&c_r&-b_r&a_r
\end{pmatrix}\begin{pmatrix}
w\\x\\y\\z
\end{pmatrix}.

It is straightforward to check that for each matrix M MT = I, that is, that each matrix (and hence both matrices together) represents a rotation. Note that since, the two matrices must commute. Therefore, there are two commuting subgroups of the set of four dimensional rotations. Arbitrary four dimensional rotations have 6 degrees of freedom, each matrix represents 3 of those 6 degrees of freedom.

Since an infinitesimal four-dimensional rotation can be represented by a pair of quaternions (as follows), all (non-infinitesimal) four-dimensional rotations can also be represented.

z_l \vec{v} z_r = \begin{pmatrix}
1 &-dt_{ab}&-dt_{ac}&-dt_{ad}\\
dt_{ab}&1 &-dt_{bc}&-dt_{bd}\\
dt_{ac}& dt_{bc}&1 &-dt_{cd}\\
dt_{ad}& dt_{bd}& dt_{cd}&1
\end{pmatrix}\begin{pmatrix}
w\\
x\\
y\\
z
\end{pmatrix}
z_l=
1+{dt_{ab}+dt_{cd}\over 2}i+{dt_{ac}-dt_{bd}\over 2}j+{dt_{ad}+dt_{bc}\over 2}k
z_r=
1+{dt_{ab}-dt_{cd}\over 2}i+{dt_{ac}+dt_{bd}\over 2}j+{dt_{ad}-dt_{bc}\over 2}k

Read more about this topic:  Quaternions And Spatial Rotation

Famous quotes containing the words unit and/or space:

    During the Suffragette revolt of 1913 I ... [urged] that what was needed was not the vote, but a constitutional amendment enacting that all representative bodies shall consist of women and men in equal numbers, whether elected or nominated or coopted or registered or picked up in the street like a coroner’s jury. In the case of elected bodies the only way of effecting this is by the Coupled Vote. The representative unit must not be a man or a woman but a man and a woman.
    George Bernard Shaw (1856–1950)

    When my body leaves me
    I’m lonesome for it.
    but body
    goes away to I don’t know where
    and it’s lonesome to drift
    above the space it
    fills when it’s here.
    Denise Levertov (b. 1923)