Octonion

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

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

Structure d'espace vectoriel

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 $x n$ 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

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 \mathbb {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ées 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

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és dans ce diagramme. Les sept points correspondent aux sept éléments non réels de la base de 𝕆. Chaque paire de points 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 :

$1$ est l’élément neutre pour la multiplication,
$e 2 = -1$ pour chaque point $e$ du diagramme définit complètement la structure algébrique des octonions.

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

Conjugué

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^{*})

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

Parties réelle et imaginaire

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 à ℝ⁷. 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

La norme d’un octonion x est définie comme la racine carrée d'un nombre réel positif :

$\|x\|\ =\ {\sqrt {x\ \ x^{*}}}={\sqrt {x_{0}^{2}+x_{1}^{2}+x_{2}^{2}+x_{3}^{2}+x_{4}^{2}+x_{5}^{2}+x_{6}^{2}+x_{7}^{2}}}$ .

Cette norme correspond à la norme euclidienne sur ℝ⁸.

\|x\|^{2}=[{\rm {Re}}(x)]^{2}-[{\rm {Im}}(x)]^{2}

.

Inverse

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

Article détaillé : Construction de Cayley-Dickson.

À 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^[1] :

(a,b)\times (c,d)=(ac-d^{*}b,da+bc^{*})

où $z *$ désigne le conjugué du quaternion $z$ .

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

Construction des octonions avec l'aide du corps à 8 éléments

Article détaillé : Construction des octonions basée sur le corps à 8 éléments.

La construction de Cayley-Dickson rend fastidieuse la vérification de certaines propriétés des octonions de la base canonique, notamment de symétrie, anti-commutativité et anti-associativité : par exemple, a, b, c étant des éléments de base, trouver le signe correct dans (ab)c = +/– a(bc) nécessite à priori 512 = 8³ calculs. Une construction des octonions basée sur le corps à 8 éléments permet de remédier à cette difficulté. Elle nécessite des connaissances minimales sur les corps finis.

Propriétés

Article détaillé : Théorème de Frobenius généralisé.

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.

La multiplication des octonions est en outre associative des puissances, c’est-à-dire que les puissances sont univoquement définies.

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

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 G₂. 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

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

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

Voir aussi

Sur les autres projets Wikimedia :

Octonions avec Python et Ruby, sur Wikibooks

Articles connexes

Liens externes

(en) John C. Baez, « The Octonions », Bull. Amer. Math. Soc., vol. 39,‎ 2002, p. 145-205 (lire en ligne)
Images fractales octonioniques réalisées avec Gecif à partir des octonions
Octavions, Dictionnaire des nombres, Gérard Villemin

Notes et références

↑ H.-D. Ebbinghaus & al., Les Nombres, Vuibert, 1998 (ISBN 2711789012), p. 268

Portail des mathématiques

[1] H.-D. Ebbinghaus & al., Les Nombres, Vuibert, 1998 (ISBN 2711789012), p. 268

[1]

v · m Notion de nombre
Ensembles usuels	Entier naturel ( $\scriptstyle \mathbb {N}$ ) Entier relatif ( $\scriptstyle \mathbb {Z}$ ) Nombre décimal ( $\scriptstyle \mathbb {D}$ ) Nombre rationnel ( $\scriptstyle \mathbb {Q}$ ) Nombre réel ( $\scriptstyle \mathbb {R}$ ) Nombre complexe ( $\scriptstyle \mathbb {C}$ )
Extensions	Quaternion ( $\scriptstyle \mathbb {H}$ ) Octonion ( $\scriptstyle \mathbb {O}$ ) Sédénion ( $\scriptstyle \mathbb {S}$ ) Nombre complexe déployé Tessarine Nombre bicomplexe ( $\scriptstyle \mathbb {C} _{2}$ ) Nombre multicomplexe ( $\scriptstyle \mathbb {C} _{n}$ $\scriptstyle {\mathcal {M}}\mathbb {C} _{n}$ ) Biquaternion Coquaternion Quaternion hyperbolique Octonion déployé Nombre hypercomplexe Nombre p-adique ( $\scriptstyle \mathbb {Q} _{p}$ ) Nombre hyperréel Nombre superréel Nombre dual Droite réelle achevée Nombre cardinal Nombre ordinal Nombre surréel Nombre pseudo-réel
Propriétés particulières	Parité Nombre premier Nombre composé Nombre figuré Nombre parfait Nombre positif Nombre négatif Fraction dyadique Nombre irrationnel Nombre algébrique Nombre transcendant Nombre imaginaire pur Nombre de Liouville Période Nombre normal Nombre univers Nombre constructible Nombre réel calculable Nombre transfini Infiniment petit
Exemples	Pi ( $π$ ) Racine carrée de deux ( $\scriptstyle {\sqrt {2}}$ ) Nombre d’or (φ) Zéro (0) Unité imaginaire ( $i$ ) Constante de Neper ( $e$ ) Aleph-zéro (ℵ₀) Table de constantes mathématiques
Articles liés	Chiffre Numération Fraction Opération Calcul Algèbre Arithmétique Suite d'entiers Infini ( $\infty$ ) Chiffre significatif