Quaternions als Vektorraum \(\mathbb{H}\)

Quaternions in der Linearen Algebra: Vektorräume und Operationen

Quaternions bilden einen Vektorraum $\mathbb{H}$ über den reellen Zahlen $\mathbb{R}$ mit Dimension 4. Die Basis besteht aus Einheitsvektoren $\hat{h}, \hat{\imath}, \hat{\jmath}, \hat{k}$, wobei $\hat{h}$ den Realteil und die anderen den imaginären Unterraum repräsentieren.

Jedes Quaternion lässt sich schreiben als $\mathbf{q} = x^0 \hat{h} + x^1 \hat{\imath} + x^2 \hat{\jmath} + x^3 \hat{k} = x^0 + \vec{q}$, wobei $\vec{q}$ der Vektor des imaginären Teils ist. Die Addition von Quaternions und die Skalarmultiplikation mit Reellen aus $\mathbb{R}$ sind in $\mathbb{H}$ abgeschlossen und erfüllen die Axiome eines Vektorraums.

Der imaginäre Unterraum $\Im = \{ \mathbf{q} \in \mathbb{H} \mid x^0 = 0 \}$ ist $\mathbb{R}^3$ mit Basis $\hat{\imath}, \hat{\jmath}, \hat{k}$. Er ist unter Addition und Skalarmultiplikation abgeschlossen, aber das Produkt zweier reiner Quaternions verlässt $\Im$: $\mathbf{q}_1 \mathbf{q}_2 = - \langle \vec{q}_1, \vec{q}_2 \rangle + \vec{q}_1 \times \vec{q}_2$.

Reduzierte und Bilineare Operationen

Das reduzierte Quaternion-Produkt extrahiert den Skalarteil des Standardprodukts: $\mathbf{q}_1 \circ \mathbf{q}_2 = \langle \mathbf{q}_1, \mathbf{q}_2 \rangle = x_1^0 x_2^0 - \vec{q}_1 \cdot \vec{q}_2$. Dies ist eine bilineare, symmetrische und positiv definite Form.

Die vollständige Quaternion-Multiplikation zerfällt in drei bilineare Formen:

• Intraskalarprodukt: $x_1^0 x_2^0$
• Komplex: $x_1^0 \vec{q}_2 + x_2^0 \vec{q}_1$
• Vektor: $- \vec{q}_1 \cdot \vec{q}_2 + \vec{q}_1 \times \vec{q}_2$

\mathbf{q}_1 \mathbf{q}_2 = (x_1^0 x_2^0 - \vec{q}_1 \cdot \vec{q}_2) + (x_1^0 \vec{q}_2 + x_2^0 \vec{q}_1 + \vec{q}_1 \times \vec{q}_2)

Quaternion-Norm: $||\mathbf{q}|| = \sqrt{x_0^2 + |\vec{q}|^2}$, euklidisch in $\mathbb{R}^4$.

Rotationen und Skalierungen

Einheitsquaternions $\hat{\mathbf{q}} = \cos \angle_q + \hat{q} \sin \angle_q$ stellen Rotationen im imaginären $\Im$ dar. Wirkung auf einen Vektor $\mathbf{v} \in \Im$: $\hat{\mathbf{q}} \mathbf{v} \hat{\mathbf{q}}^{-1}$.

Eine real-imaginäre Rotation $r \hat{q}$, wobei $r \in \mathbb{R}$, $\hat{q} \in \Im$, skaliert den Raum entlang der $\hat{q}$-Achse: $r \hat{q} \mathbf{v} (r \hat{q})^{-1} = r^2 \langle \mathbf{v}, \hat{q} \rangle \hat{q} + \mathbf{v}_\perp$.

Jedes Quaternion entspricht einer Rotation eines reellen Skalars um eine imaginäre Achse: $\mathbf{q} = |\mathbf{q}| e^{\angle_q \hat{q}}$.

Vergleich mit Oktavionen $\mathbb{O}$: Dimension 8, 7 imaginäre Einheiten, alternative (nicht-assoziative) Algebra. Die Multiplikationstabelle zeigt den Verlust der Assoziativität, z. B. $\jmath \circ (\ell \circ m) \neq (\jmath \circ \ell) \circ m$.

Praktische Aspekte

• Basis-Eigenschaften: $\imath^2 = \jmath^2 = k^2 = -1$, $\imath \jmath = k$, zyklisch.
• Konjugiertes: $\overline{\mathbf{q}} = x^0 - \vec{q}$, $\mathbf{q} \overline{\mathbf{q}} = ||\mathbf{q}||^2$.
• Reine Quaternions: $\mathbf{q}^* = \vec{q}$, liegen in $\Im$.

Für Entwickler: Quaternions glänzen in der 3D-Grafik bei der Rotationsinterpolation (SLERP), bieten Kompaktheit und numerische Stabilität im Vergleich zu 3×3-Matrizen.

Wichtige Erkenntnisse

• Quaternions sind ein 4D-euklidischer Raum mit nicht-kommutativer Multiplikation.
• Die Multiplikation zerfällt in bilineare Formen für einfachere Analyse.
• Einheitsquaternions parametrisieren SO(3) ohne Gimbal-Lock.
• Real-imaginäre Rotationen ermöglichen anisotrope Skalierungen.
• Oktavionen erweitern die Algebra, verlieren aber die Assoziativität.

— Editorial Team