Nombre multicomplexe (Fleury)

En mathématiques, les nombres multicomplexes de symbole ${\mathcal {M}}\mathbb {C} _{n}$ ( $n \in ℕ *$ ) constituent une famille d’algèbres hypercomplexes associatives et commutatives de dimension $n$ sur $ℝ$ . Ils ont été introduits par Norbert Fleury en 1993.

Définition

Soit un élément $e$ [note 1] tel que $e n = -1$ et tel que $(1,e,e 2,\dots,e n -1)$ soit une famille libre : $𝓜ℂ n$ est alors défini comme l’algèbre réelle générée par cette famille[note 2] - [1] - [2].

Propriétés algébriques

Chaque algèbre $𝓜ℂ n$ est un cas particulier d’algèbre de Clifford généralisée (en)[3].
Comme $e n +1 = 0$ , chaque algèbre $𝓜ℂ n$ est canoniquement isomorphe à l’algèbre quotient (en) $ℝ[X] / X n +1$ .
Tout nombre multicomplexe de pseudo-norme non nulle peut s’écrire sous forme polaire : $\textstyle x=\rho \exp(\sum _{i=1}^{n-1}\phi _{i}e^{i})$ [4].

Sommes directes et produits tensoriels

Chaque algèbre 𝓜ℂ_n est isomorphe à une somme directe[note 3] impliquant ℝ et ℂ[5] :
- si $n$ est pair :
  ${\displaystyle {\mathcal {M}}\mathbb {C} _{n}\cong \underbrace {\mathbb {C} \oplus \mathbb {C} \oplus \cdots \oplus \mathbb {C} } _{{\frac {n}{2}}{\text{ facteurs}}}=\bigoplus ^{\frac {n}{2}}\mathbb {C} =\mathbb {C} ^{\frac {n}{2}}\$
- si $n$ est impair :
  ${\displaystyle {\mathcal {M}}\mathbb {C} _{n}\cong \mathbb {R} \oplus \underbrace {\mathbb {C} \oplus \mathbb {C} \oplus \cdots \oplus \mathbb {C} } _{{\frac {n-1}{2}}{\text{ facteurs}}}=\mathbb {R} \oplus \bigoplus ^{\frac {n-1}{2}}\mathbb {C} =\mathbb {R} \times \mathbb {C} ^{\frac {n-1}{2}}=\mathbb {R} \oplus {\mathcal {M}}\mathbb {C} _{n-1}\$
- ce que l’on peut écrire de manière compacte : $𝓜ℂ n ≅ ℝ n mod 2 \times ℂ ⌊ n /2⌋$ .
Il s’ensuit immédiatement que :
- si $m$ et $n$ ne sont pas simultanément impairs, $𝓜ℂ m \oplus 𝓜ℂ n ≅ 𝓜ℂ m + n$ ;
- si $m$ et $n$ sont simultanément impairs, $\textstyle \mathbb {C} \!\!\!\!\diagdown$ [note 5].
En utilisant les propriétés précédentes, la distributivité du produit tensoriel d'algèbres $\otimes ℝ$ par rapport à la somme directe $\oplus$ et l’isomorphisme[note 6] $𝓜ℂ 4 ≅ ℂ \otimes ℝ ℂ$ , on démontre alors aisément que $𝓜ℂ m \otimes ℝ 𝓜ℂ n ≅ 𝓜ℂ mn$ .

Isomorphisme avec les nombres multicomplexes de Segre

$𝓜ℂ 2 n ≅ ℂ n$ .

Sous-algèbres

$𝓜ℂ n -1 \subset 𝓜ℂ n$ .
$ℝ ⌈ n /2⌉ \subset 𝓜ℂ n$ .
D’où $\textstyle \mathbb {C} \!\!\!\!\diagdown$ .
$ℂ ⌊ n /2⌋ \subset 𝓜ℂ n$ .

Cas particulier : 𝓜ℂ₃

Au XIX^e siècle, après que l’idée de représenter les nombres complexes sous la forme géométrique d’un plan 2D a été avancée, les mathématiciens ont cherché à étendre la notion de complexe à l’espace 3D, mais sans succès. C’est finalement en abandonnant l’égalité du nombre de dimensions entre l’algèbre hypercomplexe cherchée et l’espace géométrique que les quaternions, de dimension 4, et leurs liens avec les rotations dans l’espace ont été découverts. Malgré le succès des quaternions, les recherches d’une algèbre hypercomplexe de dimension 3 exhibant des propriétés similaires aux opérations géométriques dans l’espace ont continué, plusieurs auteurs arrivant finalement et indépendamment à l’algèbre $𝓜ℂ 3$ [6] ou l’un de ses isomorphes triviaux[7] - [note 7].

Voir aussi

Bibliographie

(en) Norbert Fleury, Michel Rausch de Traubenberg et Robert Masgutovich Yamaleev, « Commutative Extended Complex Numbers and Connected Trigonometry », Journal of Mathematical Analysis and Applications, vol. 180, n^o 2,‎ décembre 1993, p. 431–457 (ISSN 0022-247X, DOI 10.1006/jmaa.1993.1410, lire en ligne [PDF], consulté le 9 mars 2016)
(en) Norbert Fleury, Michel Rausch de Traubenberg et Robert Masgutovich Yamaleev, « Extended Complex Number Analysis and Conformal-like Transformations », Journal of Mathematical Analysis and Applications, vol. 191, n^o 1,‎ 1^er avril 1995, p. 118–136 (ISSN 0022-247X, DOI 10.1006/jmaa.1995.1123, lire en ligne [PDF], consulté le 9 mars 2016)
Michel Rausch de Traubenberg, Algèbres de Clifford, Supersymétrie et Symétries ℤ_n, Applications en Théorie des Champs (habilitation à diriger des recherches), Strasbourg, Université Louis Pasteur, 23 octobre 1997 (arXiv hep-th/9802141), chap. 1.2 (« Extension des nombres complexes »), p. 20–29
(en) Silviu Olariu, Complex Numbers in Three Dimensions, 4 août 2000 (arXiv math/0008120)[note 8]
(en) Shlomo Jacobi, On a novel 3D hypercomplex number system, 7 septembre 2015 (arXiv 1509.01459)

Notes et références

Notes

À ne pas confondre avec la constante de Néper.
Cette famille libre constitue donc, par définition, une base de l’algèbre hypercomplexe générée.
Le nombre de facteurs étant fini, la somme directe $\oplus$ est équivalente au produit direct $\times$ .
Le cas $n$ impair donné dans ce document est erroné.
$\scriptstyle \mathbb {C} \!\!\!\!\diagdown$ désigne les nombres complexes déployés, lesquels sont isomorphes à $ℝ \oplus ℝ$ .
Non démontré ici.
Par simple changement de base $(1,h,k) = (1,-e,e 2$ ).
L’auteur nomme « nombres tricomplexes » l’isomorphisme de $𝓜ℂ 3$ qu’il étudie, mais ils ne doivent pas être confondus avec les « nombres tricomplexes » désignant historiquement $ℂ 3$ .

Références

Fleury, Rausch de Traubenberg et Yamaleev 1993, p. 433
Fleury, Rausch de Traubenberg et Yamaleev 1995, p. 120
Rausch de Traubenberg 1997, p. 21
Fleury, Rausch de Traubenberg et Yamaleev 1993, p. 438–441
Rausch de Traubenberg 1997, p. 21[note 4]
Jacobi 2015
Olariu 2000

Cet article est issu de wikipedia. Text licence: CC BY-SA 4.0, Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.