Octonion

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

En mathématiques, les octonions ou octaves sont une extension non associative des quaternions. Ils forment une algèbre à huit dimensions sur le corps ℝ des nombres réels. L’algèbre des octonions est généralement notée 𝕆.

En perdant l’importante propriété d’associativité, les octonions ont reçu moins d’attention que les quaternions. Malgré cela, ils gardent leur importance en algèbre et en géométrie, notamment parmi les groupes de Lie.

Historique[modifier | modifier le code]

Les octonions ont été découverts en 1843 par John T. Graves (en), un ami de William Hamilton, qui les appela octaves. Ils furent découverts indépendamment par Arthur Cayley, qui publia le premier article sur le sujet en 1845. Ils sont souvent appelés octaves de Cayley ou algèbre de Cayley.

Définition[modifier | modifier le code]

Structure d'espace vectoriel[modifier | modifier le code]

L'espace 𝕆 des octonions est un espace vectoriel réel de dimension 8 rapporté à une base notée (1, i, j, k, l, il, jl, kl) (en anticipant légèrement la définition de la multiplication).

Autrement dit : chaque octonion x s'écrit de manière unique comme combinaison linéaire à coefficients réels xn de ces huit éléments :

x=x_0+x_1{\rm i}+x_2{\rm j}+x_3{\rm k}+x_4{\rm l}+x_5{\rm il}+x_6{\rm jl}+x_7{\rm kl}

et les deux opérations d'espace vectoriel (addition de deux octonions et multiplication à gauche d'un octonion par un réel) se font coordonnée par coordonnée.

Multiplication[modifier | modifier le code]

La multiplication des octonions est alors définie comme l'unique application bilinéaire, c'est-à-dire vérifiant

\forall a,b,c\in\mathbb O,\forall\lambda\in\R,\qquad\left\{\begin{matrix}(a+b)c=ac+bc\\a(b+c)=ab+ac\\(\lambda a)b=a(\lambda b)=\lambda(ab)\end{matrix}\right.

et dont les valeurs sur les vecteurs de base sont donnés par la table de multiplication ci-dessous :

1 i j k l il jl kl
1 1 i j k l il jl kl
i i –1 k –j il –l –kl jl
j j –k –1 i jl kl –l –il
k k j –i –1 kl –jl il –l
l l –il –jl –kl –1 i j k
il il l –kl jl –i –1 –k j
jl jl kl l –il –j k –1 –i
kl kl –jl il l –k –j i –1

On remarque immédiatement que :

  • (cases blanches) 1 est neutre (premières ligne et colonne de la table) et les 7 autres éléments de la base ont pour carré –1 (diagonale) ;
  • (cases vertes) deux éléments distincts a et b, parmi les 7 éléments de la base différents de 1, anticommutent (ab = –ba) (hormis dans les lignes et colonnes 1 et sur la diagonale où le produit est commutatif, la table est antisymétrique en signe par rapport à la diagonale).
  • Le quart supérieur gauche de la table est identique à la table de la multiplication des quaternions. En particulier : ij = k, jk = i, ki = j.

Le choix initial de (1, i, j, k, l, il, jl, kl) comme base est bien sûr arbitraire : comme on le verra plus loin, il y a bien d'autres choix pour i et j tels que, en posant k = ij et en choisissant l convenablement, on obtienne la même table. Par ailleurs, étant donné un tel choix, une autre base est par exemple (1, i, j, k, l, li, lj, lk) : la table est alors modifiée par des changements de signes.

Plan mnémotechnique de Fano[modifier | modifier le code]

Plan mnémotechnique de Fano
La même figure gravée sur une boule de pétanque

Un moyen mnémotechnique pour se rappeler les produits des octonions unitaires est donné par le diagramme ci-contre.

Ce diagramme à sept points et sept « cercles » (sur la figure plane, les segments joignant 3 points sont considérés comme des cercles en les prolongeant à l'infini de chaque côté où ils se rejoignent) est appelé le plan de Fano (il s'agit en fait du plan projectif construit sur le corps à deux éléments Z/2Z). Les cercles sont orientées dans ce diagramme. Les sept points correspondent aux sept éléments non réels de base de 𝕆. Chaque couple de points distincts se trouve sur un cercle unique et chaque cercle traverse exactement trois points.

La même figure peut aussi être retracée (ou imaginée tracée) pour la plaquer sur une sphère où les 7 cercles seront plus évidents (tels les cercles gravés sur une boule de pétanque). Dans le plan de Fano toutefois, les cercles sont désignés comme des « droites ».

Soit (a, b, c) un triplet ordonné de points situés sur un des cercles donné avec l’ordre donné par la direction de la flèche. La multiplication est donnée par :

  • ab = c, ba = –c

avec des permutations circulaires conservant l'ordre relatif donné par la direction du cercle :

  • bc = a, cb = –a
  • ca = b, ac = –b

Les multiplications opèrent avec la huitième dimension (réelle) de la manière suivante :

Chacun des sept cercles engendre une sous-algèbre de 𝕆 isomorphe aux quaternions ℍ.

Conjugué[modifier | modifier le code]

Le conjugué d'un octonion

x=x_0+x_1{\rm i}+x_2{\rm j}+x_3{\rm k}+x_4{\rm l}+x_5{\rm il}+x_6{\rm jl}+x_7{\rm kl}

est donné par

x^*=x_0-x_1{\rm i}-x_2{\rm j}-x_3{\rm k}-x_4{\rm l}-x_5{\rm il}-x_6{\rm jl}-x_7{\rm kl}.

La conjugaison est une involution de 𝕆 et satisfait

(xy)^*=(y^*)(x^*)

(notons le changement dans l’ordre de succession).

Parties réelle et imaginaire[modifier | modifier le code]

La partie réelle de l’octonion x est définie comme suit

  • {\rm Re}(x)=\frac{x+x^*}2=x_0

et sa partie imaginaire

  • {\rm Im}(x)=\frac{x-x^*}2=x_1{\rm i}+x_2{\rm j}+x_3{\rm k}+x_4{\rm l}+x_5{\rm il}+x_6{\rm jl}+x_7{\rm kl}

de sorte que pour tout octonion x,

  • {\rm Re}(x)+{\rm Im}(x)=x,
  • {\rm Re}(x^*)={\rm Re}(x),
  • {\rm Im}(x^*)=-{\rm Im}(x).

L’ensemble de tous les octonions purement imaginaires (dont la partie réelle est nulle) forme un ℝ-sous-espace vectoriel de 𝕆 de dimension 7, donc isomorphe à ℝ7. Ce n'est pas une sous-algèbre : par exemple, le carré d'un octonion purement imaginaire non nul est un réel strictement négatif.

L’ensemble de tous les octonions purement réels (dont la partie imaginaire est nulle) forme une sous-algèbre à une dimension de 𝕆, isomorphe à ℝ.

Norme[modifier | modifier le code]

La norme d’un octonion x est définie comme suit

  • \|x\|\ =\ \sqrt{x\ \ x^{*}}.

Cette racine carrée est bien un nombre réel positif :

  • \|x\|^2\ =\ x\ \ x^{*} = x_0^2 + x_1^2 + x_2^2 + x_3^2 + x_4^2 + x_5^2 + x_6^2 + x_7^2=[{\rm Re}(x)]^2-[{\rm Im}(x)]^2.

Cette norme correspond à la norme euclidienne sur ℝ8.

Inverse[modifier | modifier le code]

L’existence d’une norme sur 𝕆 implique l’existence d’un inverse pour chaque élément non nul dans 𝕆. L’inverse de tout x non nul est donné par :

x^{-1}\ =\ \|x\|^{-2}\ x^*.

Construction de Cayley-Dickson[modifier | modifier le code]

Article détaillé : Construction de Cayley-Dickson (en).

À l’instar des quaternions assimilés aux couples de nombres complexes (et des nombres complexes assimilés aux couples de nombres réels), les octonions peuvent être traités sous forme de couples de quaternions.

Le ℝ-espace vectoriel produit ℍ × ℍ des couples de quaternions est par construction isomorphe à 𝕆, via l'application (définie en identifiant naturellement ℍ à une sous-algèbre de 𝕆) :

\mathbb H^2\to\mathbb O,\quad(c,d)\mapsto c+d~{\rm l}.

Via cet isomorphisme, la multiplication dans 𝕆 se transcrit dans ℍ × ℍ en :

(a,~b)\cdot(c,~d)=(a~c~-d~b^*,~a^*~d~+~c~b)

z* désigne le conjugué du quaternion z.

L'espace ℍ2, muni de cette multiplication, forme donc une ℝ-algèbre isomorphe à 𝕆 (attention : 𝕆 n'est pas une ℍ-algèbre ni même un ℂ-espace vectoriel).

Propriétés[modifier | modifier le code]

De même que les quaternions (définis en munissant d'une multiplication l'espace vectoriel de base (1, i, j, k = ij)) forment une ℝ-algèbre engendrée par i et j, les octonions (définis en munissant d'une multiplication l'espace vectoriel de base (1, i, j, ij, l, il, jl, (ij)l)) forment une ℝ-algèbre engendrée par i, j et l.

La multiplication des octonions n'est

  • ni commutative : ij = –ji,
  • ni associative : (ij)l = kl = –i(jl).

Elle satisfait une propriété plus faible que l’associativité : l'alternativité, c'est-à-dire que deux éléments quelconques a et b vérifient :

(ab)b=a(bb).

En effet, il suffit évidemment pour cela que toute sous-algèbre engendrée par deux éléments soit associative (d'après un théorème d'Artin c'est même équivalent), or on peut montrer que dans 𝕆, toute sous-algèbre engendrée par deux éléments est isomorphe à une sous-algèbre de ℍ, qui est associative.

Les octonions partagent une propriété importante avec ℝ, ℂ et ℍ : la norme sur 𝕆 qui satisfait

\|xy\|\ =\ \|x\|\ \ \|y\|.

Cela implique que les octonions forment une algèbre normée à division. Les algèbres de plus haute dimension définies par la construction de Cayley-Dickson (par exemple les sédénions) ne satisfont pas cette propriété : elles ont toutes des diviseurs de zéro et leurs multiplications ne satisfont plus la conservation des normes.

D'après un théorème de Hurwitz, les seules ℝ-algèbres normées à division sont ℝ, ℂ, ℍ et 𝕆. Un autre théorème, dû à Zorn, établit que ces quatre algèbres forment aussi les seules ℝ-algèbres à division alternatives de dimension finie.

La multiplication des octonions n’étant pas associative, les éléments non nuls de 𝕆 ne forment pas un groupe mais seulement une boucle de Moufang.

Automorphismes[modifier | modifier le code]

Un automorphisme de l'algèbre des octonions est un automorphisme d'espace vectoriel A de 𝕆 qui vérifie de plus

A(xy)=A(x)A(y).

Le groupe des automorphismes de 𝕆 est le groupe G2. C'est un groupe de Lie réel simplement connexe et compact, de dimension 14. Ce groupe est le plus petit des cinq groupes de Lie exceptionnels.

Sous-algèbres particulières[modifier | modifier le code]

Par restrictions de l'inclusion des quaternions dans les octonions, on a les morphismes injectifs suivants de ℝ-algèbres :

\R\ \subset\ \C\ \subset\ \mathbb H\ \subset\ \mathbb O.

Voir aussi[modifier | modifier le code]

Sur les autres projets Wikimedia :

Articles connexes[modifier | modifier le code]

Liens externes[modifier | modifier le code]