Die Biquaternionen sind ein hyperkomplexes Zahlensystem, das von William Kingdon Clifford in der zweiten Hälfte des 19. Jahrhunderts beschrieben wurde. Vor Clifford hatte Arthur Cayley bereits die Quaternionen mit komplexen Koeffizienten (also die Menge ${\displaystyle \mathbb {C} \otimes \mathbb {H} }$) als Biquaternionen bezeichnet.

Hamilton-Biquaternion

Wir verwenden die Notation ${\displaystyle \omega$ :={\sqrt {-1}}} .

Die von Arthur Cayley beschriebenen Biquaternionen sind Quaternionen, deren Elemente komplexe Zahlen sind. Dies kann – durch die Umwandlung des Quaternions – dargestellt werden, wobei das Quaternion als 4-Vektor, als komplexe 2×2-Matrix oder als 4×4-Matrix dargestellt wird:

${\displaystyle \mathbf {q} \in \mathbb {C} \otimes \mathbb {H} =\left\{\left.{\begin{pmatrix}w\\x\\y\\z\end{pmatrix}}{\hat {=}}{\begin{pmatrix}w+\omega x&y+\omega z\\-y+\omega z&w-\omega x\end{pmatrix}}{\hat {=}}{\begin{pmatrix}w&-x&z&-y\\x&w&-y&-z\\-z&y&w&-x\\y&z&x&w\end{pmatrix}}\right\vert w,x,y,z\in \mathbb {C} \right\}}$

Die Biquaternionen sind also ein 8-dimensionales hyperkomplexes Zahlensystem mit den Einheiten 1, i, j, k, ${\displaystyle \omega }$, ${\displaystyle \omega }$i, ${\displaystyle \omega }$j, ${\displaystyle \omega }$k. Ein Biquaternion q kann also z. B. wie folgt dargestellt werden:

${\displaystyle \mathbf {q} ={\begin{pmatrix}\Re \mathbf {q} _{w}+\omega \,\Im \mathbf {q} _{w}\\\Re \mathbf {q} _{x}+\omega \,\Im \mathbf {q} _{x}\\\Re \mathbf {q} _{y}+\omega \,\Im \mathbf {q} _{y}\\\Re \mathbf {q} _{z}+\omega \,\Im \mathbf {q} _{z}\end{pmatrix}}}$

${\displaystyle \mathbf {q} =\Re \mathbf {q} _{w}+i\,\Re \mathbf {q} _{x}+j\,\Re \mathbf {q} _{y}+k\,\Re \mathbf {q} _{z}+\omega \,\Im \mathbf {q} _{w}+\omega i\,\Im \mathbf {q} _{x}+\omega j\,\Im \mathbf {q} _{y}+\omega k\,\Im \mathbf {q} _{z}}$

Hierbei sind i, j und k die Einheiten der Quaternionen. Es gilt zudem ${\displaystyle \omega ^{2}=-1}$, und dass ${\displaystyle \omega }$ mit i, j und k kommutiert. Die Komponenten w, x, y und z stellen die jeweiligen Dimensionen dar, die durch das Quaternion repräsentiert werden. Die Verbindung entsteht durch ${\displaystyle \mathbf {i} _{1}=i}$, ${\displaystyle \mathbf {i} _{2}=j}$, ${\displaystyle \mathbf {i} _{3}=k}$ und ${\displaystyle \mathbf {i} _{1}\mathbf {i} _{2}\mathbf {i} _{3}=\omega }$.

Clifford-Biquaternion

Die Clifford-Biquaternionen entstehen durch die Idee, die komplexen Zahlen in den Hamilton-Biquaternionen durch eine geteilte komplexe Zahl zu ersetzen. Dies erreicht man durch Umformung des Ausdrucks ${\displaystyle \mathbb {C} \otimes \mathbb {H} }$ in ${\displaystyle \mathbb {H} \otimes \mathbb {C} }$. Dies kann man sich so vorstellen, dass man anstatt eines „Quaternions mit komplexen Zahlen“ eine „komplexe Zahl mit Quaternionen“ bildet. Alternativ kann man sich die Biquaternionen als direkte Summe der Quaternionen mit sich selbst, also ${\displaystyle \mathbb {H} \oplus \mathbb {H} }$, bilden. Für das Biquaternion b kann dies so definiert werden:

${\displaystyle \mathbf {b} \in \mathbb {H} \otimes \mathbb {C} {\hat {=}}\mathbb {H} \oplus \mathbb {H} \equiv \left\{\left.{\begin{pmatrix}\mathbf {q} \\\mathbf {p} \end{pmatrix}}{\hat {=}}\mathbf {q} +\omega \,\mathbf {p} \right\vert \mathbf {q} ,\mathbf {p} \in \mathbb {H} \right\}}$

Hierbei ist ${\displaystyle \mathbb {C} }$ die Menge der komplexen Zahlen, ${\displaystyle \mathbb {H} }$ die Menge der Quaternionen; q und p sind Quaternionen und ${\displaystyle \omega ^{2}=1}$.

Umformung

Die Clifford-Biquaternionen entsprechen der Clifford-Algebra ${\displaystyle Cl(3,0,\mathbb {R} )}$ und bilden einen Ring mit Nullteilern.

Die Hamilton-Biquaternionen und die Clifford-Biquaternionen sind Darstellungsformen der Biquaternionen. Ein Hamilton-Biquaternion entspricht dabei einem Clifford-Biquaternion:

${\displaystyle \mathbf {q} ={\begin{pmatrix}\Re \mathbf {q} _{w}+\omega \,\Im \mathbf {q} _{w}\\\Re \mathbf {q} _{x}+\omega \,\Im \mathbf {q} _{x}\\\Re \mathbf {q} _{y}+\omega \,\Im \mathbf {q} _{y}\\\Re \mathbf {q} _{z}+\omega \,\Im \mathbf {q} _{z}\end{pmatrix}}{\hat {=}}{\begin{pmatrix}\Re \mathbf {q} _{w}\\\Re \mathbf {q} _{x}\\\Re \mathbf {q} _{y}\\\Re \mathbf {q} _{z}\end{pmatrix}}+{\begin{pmatrix}\omega \,\Im \mathbf {q} _{w}\\\omega \,\Im \mathbf {q} _{x}\\\omega \,\Im \mathbf {q} _{y}\\\omega \,\Im \mathbf {q} _{z}\end{pmatrix}}{\hat {=}}{\begin{pmatrix}\Re \mathbf {q} _{w}\\\Re \mathbf {q} _{x}\\\Re \mathbf {q} _{y}\\\Re \mathbf {q} _{z}\end{pmatrix}}+\omega \,{\begin{pmatrix}\Im \mathbf {q} _{w}\\\Im \mathbf {q} _{x}\\\Im \mathbf {q} _{y}\\\Im \mathbf {q} _{z}\end{pmatrix}}}$

Da die Oktonionen nicht-assoziativ sind besitzen sie keine Matrixdarstellung. Infolgedessen können Biquaternionen nicht in Oktonionen umgewandelt werden.

Anwendung

Biquaternionen werden u. a. verwendet, um 8-dimensionale Räume beschreiben zu können. Hierbei werden die Zeit und die Raumdimensionen als komplexe Zahlen dargestellt, um die Zeitdilatation und Raumkrümmung abzubilden.

Ein einfacherer Anwendungsfall ist die Verwendung des Biquaternions zur Darstellung einer Geraden (Vertex) im 4-dimensionalen Raum (${\displaystyle \mathbb {R} ^{4}}$), wobei der Realteil den Stützvektor und der Imaginärteil den Richtungsvektor repräsentiert. Zur Verwendung in der animierten 3D-Computergrafik wird hierbei für den Faktor ${\displaystyle \Re q_{w}}$ die Zeit t eingesetzt — der Faktor ${\displaystyle \Im q_{w}}$ wird nicht benötigt und daher gleich null gesetzt.

Referenzen

• W. K. Clifford; Preliminary Sketch of Biquaternions.; Proc. London Math. Soc. 4, 381–395, 1873
• W. R. Hamilton; Lectures on Quaternions: Containing a Systematic Statement of a New Mathematical Method; Hodges and Smith, Dublin, 1853
• E. Study, Von den Bewegung und Umlegungen; Math. Ann. 39, 441–566, 1891.
• van der Waerden, B. L. A History of Algebra from al-Khwarizmi to Emmy Noether; Springer-Verlag, Seiten 188–189, New York, 1985. ISBN 038713610X

Siehe auch

• Zahlenbereiche
  • Ganze Zahl
  • Rationale Zahl
  • Reelle Zahl
  • Komplexe Zahl
• Hyperkomplexe Zahlen:
  • Oktave (Oktonion)
  • Quaternion
  • Sedenion