Octonion déployé — Wikipédia
En mathématiques, les octonions déployés ou octonions fendus sont une extension non associative des quaternions (ou des coquaternions). Ils diffèrent des octonions par la signature de la forme quadratique : les octonions déployés ont une signature mixte (4,4) alors que les octonions ont une signature définie positive (8,0).
Définition[modifier | modifier le code]
La construction de Cayley-Dickson[modifier | modifier le code]
Les octonions et les octonions déployés peuvent être obtenus par la construction de Cayley-Dickson en définissant une multiplication sur les paires de quaternions. Nous introduisons une nouvelle unité imaginaire ℓ et nous écrivons une paire de quaternions (a, b) sous la forme a + ℓb. Le produit est défini par la règle suivante :
où
Si est choisi égal à - 1, nous obtenons les octonions. Si, à la place, il est choisi égal à + 1, nous obtenons les octonions déployés. On peut aussi obtenir les octonions déployés via un doublement de Cayley-Dickson des coquaternions. Ici, quel que soit le choix de (±1), cela donnera les octonions déployés. Voir aussi les nombres complexes déployés en général.
La table de multiplication[modifier | modifier le code]
Une base pour les octonions déployés est donnée par l'ensemble {1, i, j, k, ℓ, ℓi, ℓj, ℓk}. Chaque octonion déployé x peut être écrit comme une combinaison linéaire des éléments de la base,
![](http://upload.wikimedia.org/wikipedia/commons/thumb/1/10/Plan_mn%C3%A9mot%C3%A9chnique_de_Fano_pour_les_Octonions_d%C3%A9ploy%C3%A9s.png/220px-Plan_mn%C3%A9mot%C3%A9chnique_de_Fano_pour_les_Octonions_d%C3%A9ploy%C3%A9s.png)
avec des coefficients réels xa. Par linéarité, la multiplication des octonions déployés est complètement déterminée par la table de multiplication suivante :
Le conjugué, la norme et l'inverse[modifier | modifier le code]
Le conjugué d'un octonion déployé x est donné par
comme pour les octonions. La forme quadratique (ou norme carrée) sur x est donnée par
Cette norme est la norme pseudo-euclidienne standard sur . En raison de la signature de fente, la norme N est isotropique, ce qui signifie qu'il existe des éléments x différents de zéro pour lesquels N(x) = 0. Un élément x possède un inverse (à deux faces) si et seulement si N(x) ≠ 0. Dans ce cas, l'inverse est donné par
- .
Propriétés[modifier | modifier le code]
Les octonions déployés, comme les octonions, ne sont pas commutatifs ni associatifs. Comme les octonions, aussi, ils forment une algèbre de composition puisque la forme quadratique N est multiplicative. C’est-à-dire,
- .
Les octonions déployés satisfont les identités de Moufang et ainsi forment une algèbre alternative. Par conséquent, par un théorème d'Artin, la sous-algèbre engendrée par deux éléments quelconques est associative. L'ensemble de tous les éléments inversibles (i.e. ces éléments pour lesquels N(x) ≠ 0) forment une boucle de Moufang.
Les octonions hyperboliques[modifier | modifier le code]
Les octonions déployés sont de manière calculatoire, équivalents aux octonions hyperboliques.
Les octonions déployés en physiques[modifier | modifier le code]
Les octonions déployés sont utilisés dans la description d'une loi physique, e.g. en théorie des cordes. L'équation de Dirac en physique (l'équation de mouvement d'une particule de spin libre 1/2, comme un électron ou un proton) peut être exprimée avec l'arithmétique des octonions déployés (voir les références ci-dessous).
Algèbre matricielle-vectorielle de Zorn[modifier | modifier le code]
Puisque les octonions déployés ne sont pas associatifs, ils ne peuvent pas être représentés par les matrices ordinaires (la multiplication matricielle est toujours associative). Max Zorn a trouvé une manière de les représenter sous la forme de "matrices" contenant à la fois des scalaires et des vecteurs en utilisant une version modifiée de la multiplication matricielle. Plus précisément, définissons qu'une matrice-vecteur est une matrice 2 x 2 de la forme
où a et b sont des nombres réels et v et w des vecteurs dans . Définissons la multiplication de ces matrices par la règle suivante
où . est le produit scalaire et x le produit vectoriel ordinaire de 3 vecteurs. Avec l'addition et la multiplication scalaire définie comme d'habitude dans l'ensemble de toutes les matrices de cette sorte forme une algèbre à huit dimensions non associative unitaire sur les réels, appelée algèbre matricielle-vectorielle de Zorn.
Définissons le "déterminant" d'un matrice vecteur par la règle
- .
Ce déterminant est une forme quadratique de l'algèbre de Zorn qui satisfait la loi de composition :
- .
L'algèbre matricielle-vectorielle de Zorn est, en fait, isomorphe à l'algèbre des octonions déployés. Écrivons un octonion x sous la forme
où a et b sont des nombres réels, a et b sont des quaternions purs qui sont vus comme des vecteurs dans . L'isomorphisme des octonions déployés vers l'algèbre de Zorn est donné par
- .
Cet isomorphisme préserve la norme puisque .
Références[modifier | modifier le code]
- (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Split-octonion » (voir la liste des auteurs).
- Pour la physique sur l'arithmétique des octonions déployés, voir
- (en) M. Gogberashvili, « Octonionic Electrodynamics », dans J. Phys. A: Math. Gen. 39 (2006) 7099-7104. doi:10.1088/0305-4470/39/22/020
- (en) J. Köplinger, « Dirac equation on hyperbolic octonions », dans Appl. Math. Computation (2006) doi:10.1016/j.amc.2006.04.005