Octonion déployé

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher

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) 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 :

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,

Plan mnémotechnique de Fano pour Octonions déployés, le cercle jouant le rôle de *(-1)

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 (en) 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). 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

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

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]