Quaternionen

Die Quaternionen sind eine Verallgemeinerung der komplexen Zahlen. Erdacht wurden sie 1843 von Sir William Rowan Hamilton und werden oft auch Hamilton-Zahlen genannt. Die Menge der Quaternionen wird meist mit H\mathbb{H} bezeichnet.
Quaternionen sind eine vierdimensionale Divisionsalgebra über dem Körper der reellen Zahlen mit einer nicht kommutativen Multiplikation. Als vierdimensionale reelle Algebra sind die Quaternionen ein vierdimensionaler reeller Vektorraum. Daher ist jedes Quaternion durch vier reelle Komponenten x0,x1,x2,x3 x_0, x_1, x_2, x_3 eindeutig bestimmt. Als Basiselemente dieses Vektorraums werden vier Elemente mit der Länge 1 1 gewählt, die senkrecht aufeinander stehen; sie werden mit 1,i,j,k 1, i, j, k bezeichnet. Die Linearkombination der vier Komponenten mit den vier Basiselementen lautet also
x0+x1i+x2j+x3k x_0 + x_1 i + x_2 j + x_3 k
Dabei ist R\R eingebettet als Elemente der Form x0x_0, also mit x1=x2=x3=0 x_1 = x_2 = x_3 = 0. Die Menge der komplexen Zahlen kann auf verschiedene Weisen in die Quaternionen eingebettet werden; die Quaternionen sind jedoch keine C\mathbb C-Algebra.
 
 

Rechenregeln

Überträgt man die aus den Körpern R\R (reelle Zahlenebene) und C\mathbb{C} (komplexe Zahlenebene) bekannten Operationen ++ (Addition) und ⋅\cdot (Multiplikation) auf H\mathbb{H}, erhält man einen Schiefkörper. Die Addition ist dabei identisch mit der Addition des Vektorraums und die Skalarmultiplikation des Vektorraums wird für die Multiplikation übernommen. Dadurch ist zur Definition der Multiplikation nur noch das Produkt von Basiselementen des Vektorraums anzugeben (siehe Multiplikation).

Operationen über zwei Quaternionen

Addition Multiplikation
(x0+x1⋅i+x2⋅j+x3⋅k)+ \braceNT{ x_0 + x_1 \cdot i + x_2 \cdot j + x_3 \cdot k } + {} \,
(y0+y1⋅i+y2⋅j+y3⋅k)= \braceNT{ y_0 + y_1 \cdot i + y_2 \cdot j + y_3 \cdot k } = {} \,
(x0+y0)+(x1+y1)⋅i+ \braceNT{ x_0 + y_0 } + \braceNT{ x_1 + y_1 } \cdot i + {} \,
(x2+y2)⋅j+(x3+y3)⋅k \braceNT{ x_2 + y_2 } \cdot j + \braceNT{ x_3 + y_3 } \cdot k \, 		(x0+x1⋅i+x2⋅j+x3⋅k)⋅ \braceNT{ x_0 + x_1 \cdot i + x_2 \cdot j + x_3 \cdot k } \cdot{} \,
(y0+y1⋅i+y2⋅j+y3⋅k)= \braceNT{ y_0 + y_1 \cdot i + y_2 \cdot j + y_3 \cdot k } = {} \,
(x0⋅y0−x1⋅y1−x2⋅y2−x3⋅y3)+ \braceNT{ x_0 \cdot y_0 - x_1 \cdot y_1 - x_2 \cdot y_2 - x_3 \cdot y_3 } + {} \,
(x0⋅y1+x1⋅y0+x2⋅y3−x3⋅y2)⋅i+ \braceNT{ x_0 \cdot y_1 + x_1 \cdot y_0 + x_2 \cdot y_3 - x_3 \cdot y_2 } \cdot i + {} \,
(x0⋅y2−x1⋅y3+x2⋅y0+x3⋅y1)⋅j+ \braceNT{ x_0 \cdot y_2 - x_1 \cdot y_3 + x_2 \cdot y_0 + x_3 \cdot y_1 } \cdot j + {} \,
(x0⋅y3+x1⋅y2−x2⋅y1+x3⋅y0)⋅k\braceNT{ x_0 \cdot y_3 + x_1 \cdot y_2 - x_2 \cdot y_1 + x_3 \cdot y_0 } \cdot k
ist assoziativ und kommutativ ist assoziativ, aber nicht kommutativ
Die besondere Stellung der Komponente x0x_{0} bezeichnet man analog zu den Komplexen Zahlen als Realteil oder Skalarteil s=x0s=x_0, während die Komponenten x1, x2x_{1},\, x_{2} und x3x_{3} Imaginärteil x1i+x2j+x3kx_1 i + x_2 j + x_3 k oder Vektorteil v=(x1,x2,x3)v=(x_1,x_2,x_3) genannt werden. Ein Quaternion, dessen Realteil 0 ist, nennt man reines Quaternion.

Darstellung als Matrix

Die Quaternionen können auch als Unterring des Rings C2×2\Bbb C^{2\times 2} der komplexen 2×22\times 2-Matrizen (alternativ auch als Unterring des Rings R4×4\R^{4\times 4} der reellen 4×44\times 4-Matrizen) aufgefasst werden. Dabei setzt man
1=(1001)1 = \begin{pmatrix} 1 & 0 \\ 0 & 1 \end{pmatrix} I=(i00−i)I = \begin{pmatrix} i & 0 \\ 0 & -i \end{pmatrix}
J=(01−10)J = \begin{pmatrix} 0 & 1 \\ -1 & 0 \end{pmatrix} K=(0ii0)K = \begin{pmatrix} 0 & i \\ i & 0 \end{pmatrix}
(vgl. auch Pauli-Matrix)
Als Ergebnis erhält man eine der folgenden Matrixdarstellungen:

Quaternion a+b⋅i+c⋅j+d⋅ka + b \cdot i + c \cdot j + d \cdot k als Matrix

2x2 komplex 4x4 reell
(a+bic+di−c+dia−bi)\begin{pmatrix} a+bi & c+di \\ -c+di & a-bi \end{pmatrix} (  a−b  d−c  b  a−c−d−d  c  a−b  c  d  b  a)\begin{pmatrix} \, \, a & -b & \, \, d & -c \\ \, \, b & \, \, a & -c & -d \\ -d & \, \, c & \, \, a & -b \\ \, \, c & \, \, d & \, \, b & \, \, a \end{pmatrix}

Hamilton-Regeln

Für Quaternionen gelten die folgenden Hamilton-Regeln:
i⋅j=k i \cdot j = k j⋅k=ij \cdot k = i k⋅i=jk \cdot i = j
j⋅i=−k j \cdot i = -k k⋅j=−ik \cdot j = -i i⋅k=−ji \cdot k = -j
Zusätzlich folgt aus den Verknüpfungsregeln i2=j2=k2=−1 i^2 = j^2 = k^2 = -1 \, und i⋅j⋅k=−1i \cdot j \cdot k = -1.

Addition

Die Addition ist die einfachste Rechenregel für Quaternionen. Man braucht lediglich die Komponenten einzeln zu addieren:
(a1+i b1+j c1+k d1)+(a2+i b2+j c2+k d2)= (a_1 + i \, b_1 + j \, c_1 + k \, d_1) + (a_2 + i \, b_2 + j \, c_2 + k \, d_2) = { \, }
(a1+a2)+i (b1+b2)+j (c1+c2)+k (d1+d2)(a_1 + a_2) + i \, (b_1 + b_2) + j \, (c_1 + c_2) + k \, (d_1 + d_2)

Subtraktion

Da die Addition der Quaternionen kommutativ ist, geht man bei der Subtraktion analog zur Addition vor und subtrahiert die einzelnen Komponenten:
(a1+i b1+j c1+k d1)−(a2+i b2+j c2+k d2)= (a_1 + i \, b_1 + j \, c_1 + k \, d_1) - (a_2 + i \, b_2 + j \, c_2 + k \, d_2) = { \, }
(a1−a2)+i (b1−b2)+j (c1−c2)+k (d1−d2)(a_1 - a_2) + i \, (b_1 - b_2) + j \, (c_1 - c_2) + k \, (d_1 - d_2)

Multiplikation

Für Quaternionen sind verschiedene Arten der Multiplikation definiert. Man unterscheidet grundsätzlich zwischen der Multiplikation nach Graßmann und der Multiplikation nach Euklid, sowie dem Produkt, dem Geradenprodukt und dem Ungeradenprodukt.
Hierbei sind die Geraden definiert durch die Gleichung:
Geraden(q1,q2)=q1 q2+q2 q12\mathrm{Geraden} \braceNT{ q_1 , q_2 } = \dfrac{q_1 \, q_2 + q_2 \, q_1}{2}
und die Ungeraden durch:
Ungeraden(q1,q2)=q1 q2−q2 q12\mathrm{Ungeraden} \braceNT{ q_1 , q_2 } = \dfrac{q_1 \, q_2 - q_2 \, q_1}{2}

Graßmann-Produkt

Die gewöhnliche Multiplikation der Quaternionen, auch als Graßmann-Produkt bekannt, leitet sich aus der Multiplikation der komplexen Zahlen ab.
q1 q2=(a+i b) (c+i d)=(a⋅c−b⋅d)+i(a⋅d+b⋅c)q_1 \, q_2 = (a + i \, b) \, (c + i \, d) = (a \cdot c-b \cdot d) + i(a \cdot d + b \cdot c)
In der Matrixdarstellung sieht dies folgendermaßen aus:
(a,b) (c,d)=(ac−bd,ad+bc)(a,b) \, (c,d) = (ac - bd, ad + bc)
Im Fall der Quaternionen wird als b und d ein dreidimensionaler Vektor verwendet (b→u; d→v)(b \to \vec u;\, d \to \vec v) und das Kreuzprodukt dieser Vektoren addiert.
(a+iu) (c+iv)=(a c−u v)+i(a v+u c+u×v)(a + i{\vec u}) \, (c + i{\vec v}) = (a \, c-{\vec u} \, {\vec v}) + i(a \, {\vec v} + \vec u \, c + {\vec u} \times {\vec v})
Und in der Darstellung als Matrix:
(a,u) (c,v)=(a c−u v ,a v+u c+u×v)(a, \vec u) \, (c, \vec v) = ( a \, c - \vec u \, \vec v \, , a \, {\vec v} + \vec u \, c + {\vec u} \times {\vec v})
Merke: (erste minus letzte, außen plus innen plus kreuz)
Es entsteht also bei der Multiplikation reiner Quaternionen qaq_a und qbq_b ein Quaternion qq, dessen Skalarteil S(q)=−qa qbS(q) = - q_a \, q_b bis auf das Vorzeichen dem Skalarprodukt der beiden Vektorteile entspricht, während der Vektorteil V(q)=qa×qb V(q) = q_a \times q_b \, , das Vektorprodukt der Vektorteile von qaq_a und qbq_b ist.
Die einzelnen Vektoren (x,y,z)(x,y,z) werden hierbei in der Form (ix+jy+kz)(ix + jy + kz) ausgedrückt. Aus dem Einsetzen dieser Vektoren erhält man die oben dargestellten Regeln für die Multiplikation der Quaternionen.
Aufgelöst ergibt sich daher für die Multiplikation:
(a1+i b1+j c1+k d1) (a2+i b2+j c2+k d2)= (a_1 + i \, b_1 + j \, c_1 + k \, d_1) \, (a_2 + i \, b_2 + j \, c_2 + k \, d_2)= {}
(a1⋅a2−b1⋅b2−c1⋅c2−d1⋅d2)+ \braceNT{ a_1 \cdot a_2 - b_1 \cdot b_2 - c_1 \cdot c_2 - d_1 \cdot d_2 } + {} \,
i (a1⋅b2+b1⋅a2+c1⋅d2−d1⋅c2)+ i \, \braceNT{ a_1 \cdot b_2 + b_1 \cdot a_2 + c_1 \cdot d_2 - d_1 \cdot c_2 } + {} \,
j (a1⋅c2−b1⋅d2+c1⋅a2+d1⋅b2)+ j \, \braceNT{ a_1 \cdot c_2 - b_1 \cdot d_2 + c_1 \cdot a_2 + d_1 \cdot b_2 } + {} \,
k (a1⋅d2+b1⋅c2−c1⋅b2+d1⋅a2)k \, \braceNT{ a_1 \cdot d_2 + b_1 \cdot c_2 - c_1 \cdot b_2 + d_1 \cdot a_2 }
Im Spezialfall, dass ein Quaternion qδtq_{\delta t}, bestehend aus der Ableitung der Zeit
δδt\dfrac{\delta}{\delta t}
und dem Nabla-Operator
∇=iδδx+jδδy+kδδz\nabla = i \dfrac{\delta}{\delta x} + j \dfrac{\delta}{\delta y} + k \dfrac{\delta}{\delta z},
mit einem anderen Quaternion qxq_x multipliziert wird, enthält man die zeitbasierte Ableitung des Skalars, sowie 3-Vektorfunktionen welche die Abweichung vom Ursprung (Offset), Steigung und Biegung einer Bewegung enthalten.
qδt qx=(δδt,∇) (c,v)=(δcδt−∇ v,δvδt+∇ c+∇×v)q_{\delta t} \, q_x = \braceNT{ \dfrac{\delta}{\delta t} , \nabla } \, \braceNT{ c, \vec v } = \braceNT{ \dfrac{\delta c}{\delta t} - {\vec\nabla} \, {\vec v},\dfrac{\delta {\vec v}}{\delta t} + {\vec\nabla} \, c + {\vec\nabla} \times {\vec v}}
Dies ist eine sehr kompakte Darstellung um etwa eine ballistische Flugbahn darzustellen.

Graßmann-Geradenprodukt

Das Graßmann-Geradenprodukt der Quaternionen wird selten verwendet. Dieses Produkt ist kommutativ, d.h. es gilt Even⁡(q1,q2)=Even⁡(q2,q1)\operatorname{Even}(q_1, q_2)=\operatorname{Even}(q_2, q_1).
Even⁡(q1,q2)\operatorname{Even}(q_1,q_2) =q1 q2+q2 q12=(a1 a2−u v,a1 v+u a2) = \dfrac{q_1 \, q_2 + q_2 \, q_1}{2} = (a_1 \, a_2 - \vec u \, \vec v , a_1 \, \vec v + \vec u \, a_2)
Even⁡(q1,q2)\operatorname{Even}(q_1, q_2)=(a1 a2−b1 b2−c1 c2−d1 d2) = (a_1 \, a_2 - b_1 \, b_2 - c_1 \, c_2 - d_1 \, d_2) +i (a1 b2+b1 a2) + i \, (a_1 \, b_2 + b_1 \, a_2) +j (a1 c2+c1 a2) + j \, (a_1 \, c_2 + c_1 \, a_2) +k (a1 d2+d1 a2) + k \, (a_1 \, d_2 + d_1 \, a_2)

Graßmann-Ungeradenprodukt

Das Kreuzprodukt oder auch Graßmann-Ungeradenprodukt zweier Quaternionen ist das Äquivalent zum Vektorprodukt. Es entspricht dem Vektorprodukt der beiden Vektorteile dieser Quaternionen:
q1×q2=q1 q2−q2 q12=(0,u×v)q_1 \times q_2 = \dfrac{q_1 \, q_2 - q_2 \, q_1}{2} = (0 , \vec u \times \vec v)
q1×q2=i (c1d2−d1c2)+j (d1b2−b1d2)+k (b1c2−c1b2)q_1 \times q_2 = i \, (c_1 d_2 - d_1 c_2) + j \, (d_1 b_2 - b_1 d_2) + k \, (b_1 c_2 - c_1 b_2)

Euklidsches Produkt

EuklidProd⁡(q1,q2)→q1‾q2=q1q2‾=(a1a2+uv,a1v−ua2−u×v)\operatorname{EuklidProd}(q_1, q_2) \to \overline{q_1} q_2 = q_1 \overline{q_2} = (a_1 a_2 + \vec u \vec v , a_1 \vec v - \vec u a_2 - \vec u \times \vec v)

Euklidsches Geradenprodukt

Das Punktprodukt, auch Skalarprodukt, euklidsches Geradenprodukt oder inneres euklidsches Produkt genannt, entspricht dem Punktprodukt eines 4-wertigen Vektors.
⟨q1,q2⟩=a1 a2+b1 b2+c1 c2+d1 d2\langle q_1 , q_2 \rangle = a_1 \, a_2 + b_1 \, b_2 + c_1 \, c_2 + d_1 \, d_2
Man kann das Punktprodukt in das Graßmann Produkt (d. h. eine Multiplikation) umformen:
⟨q1,q2⟩=q1‾q2+q2q1‾2=(a1a2+uv,0)\langle q_1 , q_2 \rangle = \dfrac{\overline{q_1} q_2 + q_2 \overline{q_1}}{2} = (a_1 a_2 + \vec u \vec v,0)
Punktprodukte sind nützlich, wenn man ein einzelnes Element eines Quaternions isolieren möchte:
⟨q,i⟩=b\langle q , i \rangle = b

Euklidsches Ungeradenprodukt

Das euklidsche Ungeradenprodukt, auch äußeres euklidsches Produkt genannt, wird nur selten benötigt. Es ist ähnlich zum inneren euklidschen Produkt und wird deshalb als Paar mit diesem behandelt (siehe: Gerades euklidsches Produkt):
Outer(q1,q2)=q1‾ q2−q1‾ q22=(0,a1v−ua2−u×v){Outer}(q_1, q_2) = \dfrac{\overline{q_1} \, q_2 - \overline{q_1} \, q_2}{2} = (0,a_1 \vec v - \vec u a_2 - \vec u \times \vec v)
Outer(q1,q2)={Outer}(q_1, q_2) = i (a1b2−b1a2−c1d2+d1c2) i \, (a_1 b_2 - b_1 a_2 - c_1 d_2 + d_1 c_2) +j (a1c2 + j \, (a_1 c_2 +b1d2−c1a2−d1b2) + b_1 d_2 - c_1 a_2 - d_1 b_2) +k (a1d2−b1c2+c1b2−d1a2) + k \, (a_1 d_2 - b_1 c_2 + c_1 b_2 - d_1 a_2)

Division

Die Division zweier Quaternionen wird nicht mit einem Bruchstrich, sondern unter Verwendung eines negativen Exponenten dargestellt. Der Grund dafür ist, dass die Multiplikation von Quaternionen nicht kommutativ ist und man daher zwischen q1⋅q2−1q_1 \cdot q_2^{-1} und q2−1⋅q1q_2^{-1} \cdot q_1 unterscheiden muss.
Wenn die einzelnen Elemente des Quaternion eine Längeneinheit besitzen bzw. das Quaternion normalisiert wurde, so gilt:
q−1=qˉq^{-1} = \bar{q}
Wobei qˉ\bar{q} die Konjugation des Quaternions qq ist. Daher gilt:
q⋅qˉ=1q \cdot \bar{q} = 1
Wenn das Quaternion eine andere Einheit besitzt, teilt man das konjungierte Quaternion durch einen skalaren Wert, welcher sich aus dem Quadrat der Amplitude des Quaternions ergibt, um den reziproken Wert zu erhalten:
q−1=qˉ∣q∣2=q‾q q‾q^{-1} = \dfrac{\bar{q}}{\ntxbraceI{ q }^2} = \dfrac{\overline{q}}{q \, \overline{q}}
Ausgeschrieben ergibt sich die folgende Form:
(a+i b+j c+k d)−1=(a−i b−j c−k d)(a2+b2+c2+d2)(a + i \, b + j \, c + k \, d)^{-1} = \dfrac{\braceNT{ a - i \, b - j \, c - k \, d } }{\braceNT{ a^2 + b^2 + c^2 + d^2 } }
Der Beweis ergibt sich aus der einfachen Umformung der Division in eine Multiplikation:
q⋅qˉ=∣q∣2q \cdot \bar{q} = \ntxbraceI{ q }^2

Konjugation

Die Konjugation eines Quaternions hat den selben Skalarteil. Jedoch sind die Vorzeichen aller komplexen Teile - d. h. der einzelnen Komponenten des Vektorteils - negiert:
q‾=q∗=(a,−u)=(a+i b+j c+k d)‾=(a−i b−j c−k d)\overline{q} = q^* = (a,\vec{-u}) = \overline{ \braceNT{ a + i \, b + j \, c + k \, d } } = {\braceNT{ a - i \, b - j \, c - k \, d }}
Wenn man ein Quaternion mit seiner Konjugation das Punktprodukt bildet erhält man eine reelle Zahl, aus der man den Betrag des Quaternions bilden kann:
q⋅q‾=(a+i b+j c+k d)⋅(a−i b−j c−k d)=a2+b2+c2+d2q \cdot \overline{q} = { \braceNT{ a + i \, b + j \, c + k \, d } } \cdot {\braceNT{ a - i \, b - j \, c - k \, d }} = a^2+b^2+c^2+d^2
Es gilt zudem:
q1⋅q2‾=q2‾⋅q1‾\overline{q_1 \cdot q_2} = \overline{q_2} \cdot \overline{q_1}
Die Konjugation eines Quaternions, welches eine Drehung darstellt, führt zu einer Drehung in die entgegengesetzte Richtung.

Drehungen

Quaternionen können zur Darstellung von Drehungen im dreidimensionalen Raum verwendet werden. Drehungen werden hierbei mit Hilfe von Multiplikationen durchgeführt.
Drehungen von Quaternionen haben durch die drei dargestellten Dimensionen (x y z)(x \, y \, z) drei Freiheitsgrade (γ φ θ)(\gamma \, \phi \, \theta). Die einzelnen Freiheitsgrade stehen dabei jeweils für eine Drehung um eine der Achsen.
Ein Quaternion, welches lediglich eine Drehung darstellen soll, muss normiert werden, so dass
q⋅q‾=q‾⋅q=1q\cdot\overline{q}=\overline{q}\cdot q=1
gilt.
Die Drehung mit Hilfe eines solchen normierten Quaternions qq multipliziert mit einem Punkt pp im Raum und dem konjungierten Quaternion q‾\overline{q} ergibt die neue Position für den Punkt p′p'. Bei dieser Art der Drehung werden keine Matrizen benötigt.
p′=q⋅p⋅q‾p' = q \cdot p \cdot \overline{q}
Durch Einsetzen des Punktes pp und des Quaternions qq (in vektorieller Schreibweise) erhält man:
p′=(wqxqyqzq)⋅(0xyz)⋅(wq−xq−yq−zq)p' = \begin{pmatrix} w_q \\ x_q \\ y_q \\ z_q \end{pmatrix} \cdot \begin{pmatrix} 0 \\ x \\ y \\ z \end{pmatrix} \cdot \begin{pmatrix} w_q \\ -x_q \\ -y_q \\ -z_q \end{pmatrix} Durch Auflösen und Vereinfachen in eine dreidimensionale Darstellung dieser Gleichung erhält man hieraus die folgende Matrixdarstellung:
p′=(x′y′z′)=p' = \begin{pmatrix} x' \\ y' \\ z' \end{pmatrix} =(xq2+wq2−yq2−zq22⋅(xq⋅yq−wq⋅zq)2⋅(xq⋅zq+wq⋅yq)2⋅(wq⋅zq+xq⋅yq)wq2−xq2+yq2−zq22⋅(yq⋅zq−wq⋅xq)2⋅(xq⋅zq−wq⋅yq)2⋅(wq⋅xq+yq⋅zq)wq2−xq2−yq2+zq2)⋅(xyz) \begin{pmatrix} x_q^2 + w_q^2 - y_q^2 - z_q^2 & 2\cdot (x_q\cdot y_q - w_q\cdot z_q) & 2\cdot (x_q\cdot z_q + w_q\cdot y_q) \\ 2\cdot (w_q\cdot z_q + x_q\cdot y_q) & w_q^2 - x_q^2 + y_q^2 - z_q^2 & 2 \cdot (y_q\cdot z_q - w_q\cdot x_q) \\ 2\cdot (x_q\cdot z_q - w_q\cdot y_q) & 2\cdot (w_q\cdot x_q + y_q\cdot z_q) & w_q^2 - x_q^2- y_q^2+ z_q^2 \end{pmatrix} \cdot \begin{pmatrix} x \\ y \\ z \end{pmatrix}

Achsenwinkel-Darstellung

Ein Quaternion, welches eine Drehung darstellt, ist normalisiert und wird in der Achsenwinkel-Darstellung folgendermaßen dargestellt:
qr=wq+i xq+j yq+k zqq_r = w_q + i \, x_q + j \, y_q + k \, z_q
qr=cos⁡α2+i x sin⁡α2+j y sin⁡α2+k z sin⁡α2q_r = \cos \dfrac{\alpha}{2} + i \, x \, \sin \dfrac{\alpha}{2} + j \, y \, \sin \dfrac{\alpha}{2} + k \, z \, \sin \dfrac{\alpha}{2} Hierbei gilt:
  • α\alpha ist der Drehwinkel
  • (x,y,z) ist ein normalisierter Vektor, der die Drehachse darstellt. Beispielsweise ergibt der Vektor (1,0,0) eine Drehung um die X-Achse und der Vektor (0,1,0) eine Drehung um die Y-Achse.
Diese Art der Darstellung leitet sich von der Achsenwinkel-Darstellung der Drehungen im zweidimensionalen Raum ab.
Das Quaternion i stellt somit eine Drehung von 180° um die X-Achse, j eine Drehung von 180° um die Y-Achse und k eine Drehung von 180° um die Z-Achse dar. Somit entspricht i⋅i=j⋅j=k⋅k=−1i \cdot i = j \cdot j = k \cdot k = -1 einer Drehung von 360° um die jeweilige Achse.
Komplexe Zahl Quaternion
Darstellung 2D-Vektor 3D-Drehung
Drehung um i 90° 180°
Kombination von
Rechenoperationen 		Addition Multiplikation
Dies führt dazu, dass das Quaternion (a+ib+jc+kd)(a + i b + j c + k d) dieselbe Drehung wie das Quaternion (−a−ib−jc−kd)(-a - i b - j c - k d) darstellt. Die Quaternionen 11 und −1-1 sind daher die IdentitätsDrehung (d.h. keine Änderung der Lage). Ein Quaternion, das um 360° gedreht wird, wird invertiert. Ein Quaternion ist also auch ein sogenannter Spinor.
siehe auch: Drehmatrix

Negation und Konjugation

Eine konjungierte Drehung von Punkt A nach Punkt B ergibt eine Drehung von Punkt B nach Punkt A. Hierbei ist:
qrq_{r} Ein Rotations-Quaternion.
qAq_{A} Die, durch einen Vektor beschriebene, Position A im Raum.
qBq_{B} Die, durch einen Vektor beschriebene, Position B im Raum.
Durch die Negation rotiert das Rotations-Quaternion um -360°.
Auswirkung von Negation und Konjugation auf die Drehung
Quaternion Drehung
qr=(w+i x+j y+k z)q_r = (w + i \, x + j \, y + k \, z) qr⋅qA→qBq_r \cdot q_A \to q_B
qr‾=(w−i x−j y−k z)\overline{q_r} = (w - i \, x - j \, y - k \, z) qr‾⋅qB→qA\overline{q_r} \cdot q_B \to q_A
−qr‾=(−w+i x+j y+k z)-{\overline{q_r}} = (-w + i \, x + j \, y + k \, z) −qr‾⋅qB→qA1-{\overline{q_r}} \cdot q_B \to q_A ^{1}
−qr=(−w−i x−j y−k z)-q_r = (-w - i \, x - j \, y - k \, z) −qr⋅qA→qB1-q_r \cdot q_A \to q_B ^{1}
(1) Gilt nicht für Fermionen. Diese benötigen eine 720° Drehung um in die Ausgangslage zurück zu kommen.

Spiegelung

Eine Spiegelung kann als eine spezielle Form der Drehung aufgefasst werden und wird durch einen negativen Skalarteil ausgedrückt:
qsp=−1 q_{sp}=-1 \,
Jede durch ein Quaternion dargestellte Drehung kann als eine Folge von zwei (oder mehr) Spiegelungen ausgedrückt werden.

Betrag des Quaternions

Der Betrag (bzw. die Länge) eines Quaternions entspricht dem Betrag eines vierdimensionalen Vektors. Daher gilt die Formel:
∥q∥=∥a+i b+j c+k d∥=a2+b2+c2+d2{\| q \|} = {\| a + i \, b + j \, c + k \, d \|} = \sqrt{a^2 + b^2 + c^2 + d^2}
Weiters gilt:
∥q∥=q⋅q=q‾ q{\| q \|} = \sqrt{q \cdot q} = \sqrt{\overline{q} \, q}

Normiertes Quaternion

Ein normiertes Quaternion (oder Einheitsquaternion) ist ein Quaternion mit einem Betrag von Eins. Es gilt daher:
∥qn∥=1\| q_n \| = 1
Wobei qnq_n das normierte Quaternion ist. Das normierte Quaternion gibt also nur eine Richtung, jedoch keine spezifische Länge an. Man erhält es wenn man die einzelnen Komponenten des Quaternions durch seinen Betrag teilt:
qn=q∥q∥=(a b c d)∥q∥=(a∥q∥+i b∥q∥+j c∥q∥+k d∥q∥)q_n = \dfrac{\vec q}{\| q \|} = \dfrac{(a \, b \, c \, d)}{\| q \|} = \braceNT{\dfrac{a}{\| q\|} + i \, \dfrac{b}{\| q\|} + j \, \dfrac{c}{\| q\|} + k \, \dfrac{d}{\| q\|}}
Für ein normalisiertes Quaternion gilt:
1qn=qn‾\dfrac{1}{q_n} = \overline{q_n}
Dadurch werden Divisionen von Quaternionen wesentlich vereinfacht.
Das zugrundeliegende Prinzip ist dabei das selbe wie bei einer orthogonalen Matrix welche ebenfalls zur Repräsentation von Drehungen verwendet werden können.
siehe auch: Einheitsvektor, Normierter Raum

Polardarstellung

Jedes Quaternion kann in der Polarform dargestellt werden. Dazu benötigt man eine skalare Amplitude, den zugehörigen Winkel und einen dreidimensionalen Richtungs-Vektor i\vec i.
q=∥q∥ eθi=q‾ q (cos⁡θ+i sin⁡θ)q = \| q \| \, e^{\theta \vec i} = \overline{q} \, q \, \braceNT{ \cos \theta + \vec i \, \sin \theta }
Hierbei gilt:
θ=acos⁡(q+q‾2 ∥q∥)\theta = \operatorname{acos} \braceNT{ \dfrac{q + \overline{q}}{2 \, \| q \|} }
i=q−q‾∥q−q‾∥\vec i = \dfrac{q - \overline{q}}{\| q - \overline{q} \|}
Dabei zeigt sich, dass i2=−1{\vec i}^2 = -1 gilt:
(0,u)=q−q‾\braceNT{ 0,\vec u } = q - \overline{q}
i2=(0,u) (0,u)∥(0,u)∥ ∥(0,u)∥=(−u⋅u,u×u)∥u∥2=−1{\vec i}^2 = \dfrac{\braceNT{ 0,\vec u } \, \braceNT{ 0,\vec u }}{\| \braceNT{ 0,\vec u } \| \, \| \braceNT{ 0,\vec u } \|} = \dfrac{\braceNT{ -\vec u \cdot \vec u , \vec u \times \vec u }}{ {\| \vec u \|}^2 } = -1
Dadurch ist der Vektor i\vec i analog zur imaginären Zahl ii.

Umwandlung von Drehungs-Quaternionen

Quaternionen, die eine Drehung darstellen, können bei Bedarf in verschiedene Darstellungsformen konvertiert werden.

Matrixdarstellung

Um ein normalisiertes Quaternion qdrehq_{dreh}, welches eine Drehung darstellt, in eine Drehmatrix MdrehM_{dreh} umzuwandeln, kann man die folgende Umwandlung verwenden:
qdreh=(wxyz)→Mdreh=(1−2 (y2+z2)2 (x y−z w)2 (x z+y w)2 (x y+z w)1−2 (x2+z2)2 (y z−x w)2 (x z−y w)2 (y z+x w)1−2 (x2+y2)) \vec{q_{dreh}} = \begin{pmatrix} w \\ x \\ y \\ z \end{pmatrix} \to M_{dreh} = \begin{pmatrix} 1 - 2 \, (y^2 + z^2) & 2 \, (x \, y - z \, w) & 2 \, (x \, z + y \, w) \\ 2 \, (x \, y + z \, w) & 1 - 2 \, (x^2 + z^2) & 2 \, (y \, z - x \, w) \\ 2 \, (x \, z - y \, w) & 2 \, (y \, z + x \, w) & 1 - 2 \, (x^2 + y^2) \end{pmatrix}
mit ∣qdreh∣=w2+x2+y2+z2=1|\vec{q_{dreh}}| = \sqrt{w^2 + x^2 + y^2 + z^2} = 1
Umgekehrt kann man diese Matrix wieder zurück in ein Quaternion umwandeln:
Mdreh=(m0,0m0,1m0,2m1,0m1,1m1,2m2,0m2,1m2,2)→qdrehM_{dreh} = \begin{pmatrix} m_{0,0} & m_{0,1} & m_{0,2} \\ m_{1,0} & m_{1,1} & m_{1,2} \\ m_{2,0} & m_{2,1} & m_{2,2} \end{pmatrix} \to \vec{q_{dreh}} =(wxyz)=(1+m0,0+m1,1+m2,22m2,1−m1,24⋅wm0,2−m2,04⋅wm1,0−m0,14⋅w) = \begin{pmatrix} w \\ x \\ y \\ z \end{pmatrix} = {} \begin{pmatrix} \dfrac{\sqrt{1 + m_{0,0} + m_{1,1} + m_{2,2}}}{2} \\ \dfrac{m_{2,1} - m_{1,2}}{4\cdot w} \\ \dfrac{m_{0,2} - m_{2,0}}{4\cdot w} \\ \dfrac{m_{1,0} - m_{0,1}}{4\cdot w} \\ \end{pmatrix}
für m0,0+m1,1+m2,2+1>0m_{0,0} + m_{1,1} + m_{2,2} + 1 > 0

Achsenwinkel Darstellung

Um ein Quaternion qdq_d, welches eine Drehung darstellt, in seine Achsenwinkel-Darstellung qwq_w umzuwandeln, kann man das folgende Gleichungssytem verwenden:
qd=(wxyz)→qw=(cos⁡α2xw sin⁡α2yw sin⁡α2zw sin⁡α2)\vec{q_d} = \begin{pmatrix} w \\ x \\ y \\ z \end{pmatrix} \to \vec{q_w} = \begin{pmatrix} \cos\dfrac{\alpha}{2} \\ x_w \, \sin\dfrac{\alpha}{2} \\ y_w \, \sin\dfrac{\alpha}{2} \\ z_w \, \sin\dfrac{\alpha}{2} \end{pmatrix}
α=2⋅acos⁡ w\alpha = 2\cdot\operatorname{acos} \, w
xw=x1−w2x_w = \dfrac{x}{\sqrt{1-w^2}}
yw=y1−w2y_w = \dfrac{y}{\sqrt{1-w^2}}
zw=z1−w2z_w = \dfrac{z}{\sqrt{1-w^2}}
Die Umkehrung ergibt sich durch Einsetzen und Auflösung der Gleichung. Allerdings muss für die Umkehrung sowohl die Drehachse als auch das resultierende Quaternion normalisiert sein:
xw2+yw2+zw2=1x_w^2 + y_w^2 + z_w^2 = 1
cos⁡2α2+xw2 sin⁡2α2+yw2 sin⁡2α2+zw2 sin⁡2α2=1\cos^2{\dfrac{\alpha}{2}} + x_w^2 \, \sin^2{\dfrac{\alpha}{2}} + y_w^2 \, \sin^2{\dfrac{\alpha}{2}} + z_w^2 \, \sin^2{\dfrac{\alpha}{2}} = 1

Euler-Winkel Darstellung

Um ein Quaternion q=w+i x+j y+k zq = w + i \, x + j \, y + k \, z, das eine Drehung darstellt, in die einzelnen Eulerwinkel umzuwandeln, kann man die folgende Gleichung verwenden:
(θφψ)=(arg⁡[2⋅(y⋅w−x⋅z), 1−2⋅(y2+z2)]asin⁡[2⋅(x⋅y+z⋅w)]arg⁡[2⋅(x⋅w−y⋅z), 1−2⋅(x2+z2)]) \begin{pmatrix} \theta \\ \phi \\ \psi \end{pmatrix} = \begin{pmatrix} \operatorname{arg}{\ntxbraceL{ 2\cdot (y\cdot w-x\cdot z) , \, 1 - 2\cdot (y^2 + z^2) } } \\ \operatorname{asin}{\ntxbraceL{ 2\cdot (x\cdot y + z\cdot w) }} \\ \operatorname{arg}{\ntxbraceL{ 2\cdot (x\cdot w-y\cdot z) , \, 1 - 2\cdot (x^2 + z^2) } } \end{pmatrix}
Diese Gleichung jedoch gilt nicht für die beiden Pole x⋅y+z⋅w=±0,5x\cdot y + z\cdot w = \pm 0{,}5.
Siehe auch: arg
Umgekehrt gilt:
q=(wxyz)=(k1⋅k2⋅k3−s1⋅s2⋅s3s1⋅s2⋅k3+k1⋅k2⋅s3s1⋅k2⋅k3+k1⋅s2⋅s3k1⋅s2⋅k3−s1⋅k2⋅s3)q = \begin{pmatrix} w \\ x \\ y \\ z \end{pmatrix} = \begin{pmatrix} k_1\cdot k_2\cdot k_3 - s_1\cdot s_2\cdot s_3 \\ s_1\cdot s_2\cdot k_3 + k_1\cdot k_2\cdot s_3 \\ s_1\cdot k_2\cdot k_3 + k_1\cdot s_2\cdot s_3 \\ k_1\cdot s_2\cdot k_3 - s_1\cdot k_2\cdot s_3 \end{pmatrix} =(1+K1⋅K2+K1⋅K3−S1⋅S2⋅S3+K2⋅K32K2⋅S3+K1⋅S3+S1⋅S2⋅K34⋅wS1⋅K2+S1⋅K3+C1⋅S2⋅S34⋅w−S1⋅S3+K1⋅S2⋅K3+S24⋅w) = \begin{pmatrix} \dfrac{\sqrt{1 + K_1 \cdot K_2 + K_1 \cdot K_3 - S_1 \cdot S_2 \cdot S_3 + K_2 \cdot K_3}}{2} \\ \dfrac{K_2 \cdot S_3 + K_1 \cdot S_3 + S_1 \cdot S_2 \cdot K_3}{4 \cdot w} \\ \dfrac{S_1 \cdot K_2 + S_1 \cdot K_3 + C_1 \cdot S_2 \cdot S_3}{4 \cdot w} \\ \dfrac{-S_1 \cdot S_3 + K_1 \cdot S_2 \cdot K_3 + S_2}{4 \cdot w} \end{pmatrix}
k1=cos⁡θ2k_1 = \cos\dfrac{\theta}{2} k2=cos⁡φ2k_2 = \cos\dfrac{\phi}{2} k3=cos⁡ψ2k_3 = \cos\dfrac{\psi}{2}
s1=sin⁡θ2s_1 = \sin\dfrac{\theta}{2} s2=sin⁡φ2s_2 = \sin\dfrac{\phi}{2} s3=sin⁡ψ2s_3 = \sin\dfrac{\psi}{2}
K1=cos⁡θ K_1 = \cos\theta \, K2=cos⁡φ K_2 = \cos\phi \, K3=cos⁡ψ K_3 = \cos\psi \,
S1=sin⁡θ S_1 = \sin\theta \, S2=sin⁡φ S_2 = \sin\phi \, S3=sin⁡ψ S_3 = \sin\psi \,

Funktionen

Im Folgenden sind einige wichtige Funktionen für den Umgang mit Quaternionen aufgelistet.

Vorzeichen

Die Funktion sgn liefert das Vorzeichen eines Quaternions zurück, indem es das Quaternion durch dessen Betrag teilt:
sgn(q)=q∥q∥sgn(q)=\dfrac{q}{\| q \|}

Skalarteil

Den Skalarteil eines Quaternions erhält man, indem man zu dem Quaternion den konjugierten Wert addiert. Dadurch kürzt sich der Vektorteil weg:
Skalar⁡(q)=q+q‾2=(a+i b+j c+k d)+(a−i b−j c−k d)2=a\operatorname{Skalar}(q) = \dfrac{q + \overline{q}}{2} = \dfrac{(a+i \, b+j \, c+k \, d)+(a-i \, b-j \, c-k \, d)}{2} = a

Vektorteil

Den Vektorteil erhält man, analog wie bei der Funktion für den Skalarteil, indem man vom Quaternion das konjugierte Quaternion subtrahiert:
Vektor⁡(q)=q=\operatorname{Vektor}(q) = \vec q =q−q‾2=u= \dfrac{q - \overline{q}}{2} = \vec{u} = (a+i b+j c+k d)−(a−i b−j c−k d)2= \dfrac{(a+i \, b+j \, c+k \, d)-(a-i \, b-j \, c-k \, d)}{2} = i b+j c+k d i \, b + j \, c + k \, d

Quaternion-Argument

Diese Funktion liefert den Winkel zwischen dem skalaren Wert (d. h. der reellen Ebene) und dem durch das Quaternion dargestellten Vektor zurück.
arg⁡(q)=acos⁡(a∥q∥)\arg(q) = \operatorname{acos} \braceNT{\dfrac{a}{\| q \|}}

Exponenten und Logarithmus

Durch die Möglichkeit Quaternionen zu teilen, kann man exponentielle und logarithmische Funktionen definieren.
  • Natürlicher Exponent:
    • eq=exp⁡(q)=ea⋅(cos⁡∣v∣,sgn⁡v⋅sin⁡∣v∣)e^q = \exp(q) = e^a \cdot (\cos |\vec{v}| , \sgn \vec{v} \cdot \sin |\vec{v}|)
  • Exponent:
    • pq=eln⁡p×q p^q = e^{\ln p \times q} \, für p,q∈Hp, q \in \mathbb{H}
  • Natürlicher Logarithmus:
    • ln⁡q=ln⁡∣q∣+sgn⁡v⋅arg⁡(q)\ln q = \ln|q| + \sgn\vec{v} \cdot \arg(q)
  • Exponentielle Multiplikation:
q1 q2=(q1,q2)+∣(q1,q2)∣⋅eπ2⋅sgn⁡(q1,q2)q_1 \, q_2 = \braceNT{ q_1 , q_2 } + \ntxbraceI{ \braceNT{ q_1 , q_2 } } \cdot e^{ \dfrac{\pi}{2} \cdot \sgn{\braceNT{ q_1 , q_2 }} }

Trigonometrie

Auch trigonomentrische Funktionen lassen sich definieren.
  • Sinus:
    • sin⁡q=(sin⁡a⋅cosh⁡∣v∣,cos⁡a⋅sgn⁡v⋅sinh⁡∣v∣)\sin q = \braceNT{ \sin a \cdot \cosh |\vec{v}| , \cos a \cdot \sgn \vec{v} \cdot \sinh |\vec{v}| }
  • Kosinus:
    • cos⁡q=(cos⁡a⋅cosh⁡∣v∣,−sin⁡a⋅sgn⁡v⋅sinh⁡∣v∣)\cos q = \braceNT{ \cos a \cdot \cosh{ |\vec{v}| } , - \sin a \cdot \sgn \vec{v} \cdot \sinh |\vec{v}| }
  • Tangens:
    • tan⁡q=sin⁡qcos⁡q\tan q = \dfrac{\sin q}{\cos q}
Wie auch die entsprechenden Umkehrfunktionen.
  • Arkussinus:
    • asin⁡ q=−sgn⁡v⋅asinh⁡(qsgn⁡v)\operatorname{asin} \, q = -\sgn \vec{v} \cdot \operatorname{asinh}(q \sgn \vec{v})
  • Arkuskosinus:
    • acos⁡ q=−sgn⁡v⋅acosh⁡ q\operatorname{acos} \, q = -\sgn \vec{v} \cdot \operatorname{acosh} \, q
  • Arkustangens:
    • atan⁡ q=−sgn⁡v⋅atanh⁡(q⋅sgn⁡v)\operatorname{atan} \, q = -\sgn \vec{v} \cdot \operatorname{atanh}(q \cdot \sgn \vec{v})

Hyperbel

Zusätzlich lassen sich die Hyperbelfunktionen definieren:
  • Sinus Hyperbolikus:
    • sinh⁡q=(sinh⁡a⋅cos⁡∣u∣,cosh⁡a⋅sgn⁡∣u∣⋅sin⁡∣u∣)\sinh q = \braceNT{ \sinh a \cdot \cos |\vec{u}| , \cosh a \cdot \sgn |\vec{u}| \cdot \sin |\vec{u}| }
  • Kosinus Hyperbolikus:
    • cosh⁡q=(cosh⁡a⋅cos⁡∣u∣,sinh⁡a⋅sgn⁡∣u∣⋅sin⁡∣u∣)\cosh q = \braceNT{ \cosh a \cdot \cos |\vec{u}| , \sinh a \cdot \sgn |\vec{u}| \cdot \sin |\vec{u}| }
  • Tangens Hyperbolikus:
    • tanh⁡q=sinh⁡qcosh⁡q\tanh q = \dfrac{\sinh q}{\cosh q}
Dazu die jeweiligen Inversen:
  • Inverser Sinus Hyperbolikus:
    • asinh⁡ q=ln⁡(q+∣q2+1∣)\operatorname{asinh} \, q = \ln\braceNT{ q + \ntxbraceI{ \sqrt{q^2 + 1} } }
  • Inverser Kosinus Hyperbolikus:
    • acosh⁡ q=ln⁡(−q∣q2−1∣)\operatorname{acosh} \, q = \ln\braceNT{ \dfrac{- q}{\ntxbraceI{ \sqrt{q^2 - 1} } } }
  • Inverser Tangens Hyperbolikus:
    • atanh⁡ q=ln⁡(1+q)−ln⁡(1−q)2=ln⁡1+q1−q2\operatorname{atanh} \, q = \dfrac{\ln(1+q)-\ln(1-q)}{2} = \dfrac{\ln \dfrac{1+q}{1-q}}{2}

Exponentialfunktion

Man kann für Quaternionen qq eine Fortsetzung der Exponentialfunktion definieren:
exp⁡(q):=∑k=0∞qkk!\exp(q) := \sum\limits_{k=0}^\infty \dfrac{q^k}{k!}
Diese unendliche Reihe konvergiert für jedes Quaternion, und lässt sich in der Form
exp⁡(a+q0)=ea⋅exp⁡(q0)\exp(a+q_0) = e^a\cdot\exp(q_0)
schreiben, wobei q=a+q0q = a + q_0 ein Quaternion mit einer reellen Zahl aa und einem reinen Quaternion q0q_0 ist.
Das Exponential eines reinen Quaternions q0=ix+jy+kzq_0 = ix + jy + kz kann so berechnet werden:
exp⁡(q0)=cos⁡∣q0∣+q0∣q0∣⋅sin⁡∣q0∣\exp(q_0) = \cos|q_0| + \dfrac{q_0}{|q_0|} \cdot \sin|q_0|
wobei
∣q0∣=∣ix+jy+kz∣=x2+y2+z2 |q_0| = |ix+jy+kz| = \sqrt{x^2+y^2+z^2}
ist. Diese Gleichung geht für y=z=0 y=z=0 in die Eulersche Identität über:
exp⁡(ix)=cos⁡∣x∣+i⋅x∣x∣⋅sin⁡∣x∣=cos⁡(x)+i⋅sin⁡(x) \exp(ix) = \cos\ntxbraceI{x} + \dfrac{i\cdot x} {\ntxbraceI{x}} \cdot \sin\ntxbraceI{x} = \cos(x) + i \cdot \sin(x)
Die Exponentialfunktion erfüllt für Quaternionen mit ab=baab = ba die Funktionalgleichung
exp⁡(a+b)=exp⁡(a)exp⁡(b)\exp(a+b) = \exp(a)\exp(b).
Andernfalls ist das nicht garantiert, z.B. ist
exp⁡(πi)exp⁡(πj)=(−1)⋅(−1)=1\exp(\pi i) \exp(\pi j) = (-1)\cdot(-1) = 1
aber
exp⁡(πi+πj)=cos⁡(π2)+i+j2sin⁡(π2)≠1\exp(\pi i + \pi j) = \cos(\pi\sqrt{2})+\dfrac{i+j}{\sqrt{2}} \sin(\pi\sqrt{2}) \neq 1.

Praktische Anwendungen

QuaternionJuliaWP.jpg
3D-Schnitt einer quaternionischen (4D-)Julia-Menge
Arthur Cayley entdeckte, dass sich mit Quaternionen Drehungen im Raum beschreiben lassen. Genutzt wird dies heutzutage im Bereich der interaktiven Computergrafik, insbesondere bei Computerspielen, sowie bei der Steuerung und Regelung von Satelliten. Bei Verwendung von Quaternionen an Stelle von Drehmatrizen werden etwas weniger Rechenoperationen benötigt. Insbesondere, wenn viele Drehungen miteinander kombiniert (multipliziert) werden, steigt die Verarbeitungsgeschwindigkeit. Des Weiteren werden Quaternionen, neben den Eulerwinkeln, zur Programmierung von Industrierobotern (z.B. ABB) genutzt.
Da Quaternionen vierdimensionale Vorgänge beschreiben können, ergeben sich weitreichende Einsatzmöglichkeiten. Man kann durch die Verwendung der Quaternionen meist auf getrennte Gleichungen zur Berechnung von Zeit und Raum verzichten. Dies bietet Vorteile in der Physik, unter anderem in den Gebieten Mechanik, Wellengleichungen, Spezielle Relativitätstheorie und Gravitation, Elektromagnetismus sowie der Quantenmechanik.
In der Physik ist die Matrixalgebra, die von den Pauli-Matrizen aufgespannt wird, isomorph zu den Quaternionen. Insbesondere bilden die Einheitsquaternionen eine nichttriviale Überlagerung der 3-dimensionalen orthogonalen Gruppe SO(3), d.h. die Gruppe der Einheitsquaternionen ist isomorph zur Gruppe Spin(3).
Siehe auch: Spinor
Historisch bedeutsam ist, dass Maxwell sein Gleichungssystem 1873 ebenfalls in Quaternionen-Schreibweise publizierte.

Verwandte Themen

Ähnliche Konstruktionen wie die Quaternionen werden manchmal unter dem Namen "hyperkomplexe Zahlen" zusammengefasst. Beispielsweise sind die Cayley-Zahlen oder Oktaven ein achtdimensionales Analogon zu den Quaternionen.

Trivia

Am 16. Oktober 1843 ging Sir William Rowan Hamilton am Royal Canal entlang, auf dem Weg von seiner Wohnung im Observatorium von Dunsink zur Royal Irish Academy. Diesen Gang machte Hamilton sehr häufig, und er führte ihn an der Brougham Bridge vorbei (die heute Broombridge heißt). An dieser Stelle hatte Hamilton den Geistesblitz, der längst zur Folklore der Mathematikgeschichte gehört: Er fand geeignete Multiplikationsregeln für Quaternionen. Und sogleich ritzte er sie mit einem Taschenmesser in einen Stein der Brücke. An der Brücke wurde eine Gedenktafel angebracht.

Literatur

  • John H. Conway, Derek A. Smith, On Quaternios and Octonions, A K Peters Ltd, 2003, ISBN 1568811349 (englisch)
  • Jack B. Kuipers, Quaternions and Rotation Sequences, Princeton University Press, 2002, ISBN 0691102988 (englisch)
  • W. Bolton, Complex Numbers (Mathematics for Engineers), Addison Wesley, 1996, ISBN 0582237416 (englisch)
  • Jack B. Kuipers, J. B. Kuipers, Quaternions & Rotation Sequences, Princeton University Press, 1999, ISBN 0691058725 (englisch)
  • Andrew J. Hanson, Visualizing Quaternions, Morgan Kaufmann Publishers, 2006, ISBN 0120884003 (englisch)

Es gibt keinen Königsweg zur Mathematik.

Euklid

Copyright- und Lizenzinformationen: Diese Seite basiert dem Artikel Quaternion aus der frеiеn Enzyklοpädιe Wιkιpеdιa und stеht unter der Dοppellizеnz GNU-Lιzenz für freie Dokumentation und Crеative Commons CC-BY-SA 3.0 Unportеd (Kurzfassung). In der Wιkιpеdιa ist eine Listе dеr Autorеn des Originalartikels verfügbar. Da der Artikel geändert wurde, reicht die Angabe dieser Liste für eine lizenzkonforme Weiternutzung nicht aus!
Anbieterkеnnzeichnung: Mathеpеdιa von Тhοmas Stеιnfеld  • Dοrfplatz 25  •  17237 Blankеnsее  • Tel.: 01734332309 (Vodafone/D2)  •  Email: cο@maτhepedιa.dе
Datenschutzerklärung

 

Algebren