Biquaternion


Biquaternion

En mathématiques, un biquaternion (ou quaternion complexe) est un élément de l'algèbre des quaternions sur les nombres complexes. Le concept d'un biquaternion fut mentionné la première fois par William Rowan Hamilton au dix-neuvième siècle. William Kingdon Clifford utilisa le même nom à propos d'une algèbre différente.

Article détaillé : biquaternion de Clifford.

.

Il y a aussi une autre notion de biquaternions, distincte: une algèbre de quaternions sur un corps commutatif K est une algèbre qui est isomorphe au produit tensoriel de deux algèbres de quaternions sur K (sa dimension est 16 sur K, et non pas 8 sur R).

Sommaire

Définition

Soit {1, i, j, k}\,, la base pour les quaternions (réels), et soient u, v, w, x\, des nombres complexes, alors

q = u + v i + w j + x k\,

est un biquaternion. Les scalaires complexes sont supposés commuter avec les vecteurs de la base des quaternions (c.a.d. vj = jv). En opérant judicieusement avec l'addition et la multiplication, en accord avec le groupe des quaternions, cette collection forme une algèbre à 4 dimensions sur les nombres complexes. L'algèbre des biquaternions est associative, mais pas commutative.

L'algèbre des biquaternions peut être considérée comme un produit tensoriel \mathbb{C}\otimes\mathbb{H}\,\mathbb{C} est le corps des nombres complexes et \mathbb{H}\, est l'algèbre des quaternions réels.

Place dans la théorie des anneaux

Représentation linéaire

Notez que le produit matriciel

\begin{pmatrix}i & 0\\0 & -i\end{pmatrix}\begin{pmatrix}0 & 1\\-1 & 0\end{pmatrix} = \begin{pmatrix}0 & i\\i & 0\end{pmatrix}

où chacune de ces matrices possède un carré égal au négatif de la matrice identité. Lorsque le produit matriciel est interprété comme i~j = k\,, on obtient alors un sous-groupe du groupe des matrices qui est isomorphe au groupe de quaternions. En conséquence,

\begin{pmatrix}u+iv & w+ix\\-w+ix & u-iv\end{pmatrix} représente le biquaternion q.

Étant donné une matrice complexe 2x2 quelconque, il existe des valeurs complexes u, v, w et x pour la tourner dans cette forme, c’est-à-dire que l'anneau des matrices est isomorphe à l'anneau des biquaternions.

Plan complexe alternatif

Supposons que nous prenions w purement imaginaire, w = b~\iota\,, où \iota~\iota = - 1\,. (Ici, on utilise \iota\, à la place de i pour l'imaginaire complexe pour le distinguer du quaternion i). Maintenant, lorsque r = w j, alors son carré est

r~r = (w j)(w j) = (w w)(j j) = b b (-1)(-1) = b^2\,.

En particulier, lorsque b = 1 ou - 1, alors r^2 = + 1\,. Ce développement montre que les biquaternions sont une source de "moteurs algébriques" comme r qui élevé au carre donne +1. Alors {a + b~\iota~j : a, b \in  \mathbb{R}}\, est un sous-anneau des biquaternions isomorphe à l'anneau des nombres complexes fendus.

Application en physique relativiste

L'équation de Dirac permet une modélisation du changement de spin de l'électron et l'introduction du positron par une nouvelle théorie du moment cinétique orbital

Présentation du groupe de Lorentz

Les biquaternions \iota~k = \sigma_1\,, \iota~j = \sigma_2\, et -~\iota~i = \sigma_3\, ont été utilisés par Alexander MacFarlane et plus tard, sous leur forme matricielle par Wolfgang Pauli. Elles ont été connues sous le nom de matrices de Pauli. Elles ont chacune pour carré la matrice identité et par conséquent le sous-plan {a + b~\sigma ; a, b \in \mathbb{R}} engendré par l'une d'entre elles dans l'anneau des biquaternions est isomorphe à l'anneau des nombres complexes fendus. Par conséquent, une matrice de Pauli \sigma\, engendre un groupe à un paramètre {u : u = 
exp(a \sigma), a \in \mathbb{R}} dont les actions sur le sous-plan sont des rotations hyperboliques. Le groupe de Lorentz est un groupe de Lie à six paramètres, trois paramètres (c.a.d. les sous-groupes engendrés par les matrices de Pauli) sont associés avec les rotations hyperboliques, quelquefois appelées "boosts". Les trois autres paramètres correspondent aux rotations ordinaires dans l'espace, une structure des quaternions réels connue sous le nom quaternions et rotations spatiales. La vue habituelle par une forme quadratique de cette présentation est que u^2 + v^2 + w^2 + x^2 = q~q^*\, est conservée par le groupe orthogonal sur les biquaternions lorsqu'il est vu comme \mathbb{C}^4\,. Lorsque u est réel et v, w et x sont des imaginaires purs, alors on obtient le sous-espace M = \mathbb{R}^4\, qui convient pour modéliser l'espace-temps.

Voir aussi

Références

  • Cornelius Lanczos (1949) The Variational Principles of Mechanics, University of Toronto Press, pp. 304-12.
  • Silberstein, L. (mai 1912) Quaternionic form of relativity, Philosophy Magazine, series 6, 23:790-809.
  • Silberstein, L. (1914) The Theory of Relativity.
  • Synge, J.L. (1972) Quaternions, Lorentz transformations, and the Conway-Dirac-Eddington matrices Communications of the Dublin Institute for Advanced Studies, series A, #21, 67 pages.
  • Kilmister, C.W. (1994) Eddington's search for a fundamental theory, Cambridge University Press [ISBN 0-521-37165-1], pages 121, 122, 179, 180.

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Biquaternion de Wikipédia en français (auteurs)

Regardez d'autres dictionnaires:

  • biquaternion — ● biquaternion nom masculin Expression de la forme A + B i, où A et B sont des quaternions et i telle que i2 = − 1. ⇒BIQUATERNION, subst. masc. Matrice complexe d ordre 2 dans laquelle chaque terme revêt la forme a + bi, a et b représentant des… …   Encyclopédie Universelle

  • Biquaternion — In abstract algebra, the biquaternions are the numbers where w, x, y, and z are complex numbers and the elements of {1, i, j, k} multiply as in the quaternion group. As there are three types of complex number, so there are three types of… …   Wikipedia

  • Biquaternion — 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… …   Deutsch Wikipedia

  • biquaternion — …   Useful english dictionary

  • Biquaternion De Clifford — En mathématiques, un biquaternion de Clifford est un concept d algèbre géométrique. L idée consiste à remplacer les nombres complexes utilisés dans un biquaternion ordinaire par des nombres complexes fendus. Ainsi, q = w + x i + y j + z k, avec w …   Wikipédia en Français

  • Biquaternion de clifford — En mathématiques, un biquaternion de Clifford est un concept d algèbre géométrique. L idée consiste à remplacer les nombres complexes utilisés dans un biquaternion ordinaire par des nombres complexes fendus. Ainsi, q = w + x i + y j + z k, avec w …   Wikipédia en Français

  • Biquaternion de Clifford — En mathématiques, un biquaternion de Clifford est un concept d algèbre géométrique. L idée consiste à remplacer les nombres complexes utilisés dans un biquaternion ordinaire par des nombres complexes déployés. Ainsi, q = w + x i + y j + z k, avec …   Wikipédia en Français

  • Split-biquaternion — In mathematics, a split biquaternion is a hypercomplex number of the form where w, x, y, and z are split complex numbers and i, j, and k multiply as in the quaternion group. Since each coefficient w, x, y, z spans two real dimensions, the split… …   Wikipedia

  • Biquaternionen — 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… …   Deutsch Wikipedia

  • Classical Hamiltonian quaternions — For the history of quaternions see:history of quaternions For a more general treatment of quaternions see:quaternions William Rowan Hamilton invented quaternions, a mathematical entity in 1843. This article describes Hamilton s original treatment …   Wikipedia


Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.