フルーリーの多重複素数

その他の用法については「多重複素数」をご覧ください。

数学における多重複素数（たじゅうふくそすう、英: multi­complex number）MC_n は、Norbert Fleury が (Fleury, Rausch de Traubenberg & Yamaleev 1993) で導入した、任意の自然数（0 を含まない）n ∈ N^* に対して定義される超複素数系の系列で、それぞれ R 上 n-次元の可換結合多元環を成す。

一つの元 e^{[注釈 1]} は eⁿ = −1 を満たし、かつその冪からなる有限列 (1, e, e², …, eⁿ⁻¹) は線型独立とする。このとき、MC_n は、この列を生成系とする実多元環として定義される^{[注釈 2][1][2]}。

• 各代数 MC_n は一般化クリフォード代数（英語版）の例になっている^[3]。
• eⁿ + 1 = 0 であるから、各代数 MC_n は商多元環 R[X]/(Xⁿ+1) に自然同型である。
• 擬ノルム（ドイツ語版）が非零となる任意の多重複素数は極形式 ${\textstyle x=\rho \exp(\sum _{i=1}^{n-1}\phi _{i}e^{i})}$ に書ける^[4]。

• 各代数 MC_n は R および C からなる代数の直和^{[注釈 3]} になる^{[3][注釈 4]}:
  • n が偶数のとき:

    ${\displaystyle {\mathcal {M}}\mathbf {C} _{n}\cong \underbrace {\mathbf {C} \oplus \mathbf {C} \oplus \cdots \oplus \mathbf {C} } _{{\frac {n}{2}}{\text{ summands}}}=\bigoplus ^{\frac {n}{2}}\mathbf {C} =\mathbf {C} ^{\frac {n}{2}};}$

  • n が奇数のとき:

    ${\displaystyle {\mathcal {M}}\mathbf {C} _{n}\cong \mathbf {R} \oplus \underbrace {\mathbf {C} \oplus \mathbf {C} \oplus \cdots \oplus \mathbf {C} } _{{\frac {n-1}{2}}{\text{ summands}}}=\mathbf {R} \oplus \bigoplus ^{\frac {n-1}{2}}\mathbf {C} =\mathbf {R} \times \mathbf {C} ^{\frac {n-1}{2}}=\mathbf {R} \oplus {\mathcal {M}}\mathbf {C} _{n-1};}$

  • あるいはまとめて: MC_n ≅ R^{n mod 2} × C^⌊n/2⌋.
• ここから直ちに従うこととして:
  • m, n が何れか奇数でないならば MC_m ⊕ MC_n ≅ MC_m+n;
  • m, n がともに奇数のとき ${\textstyle {\mathcal {M}}\mathbf {C} _{m}\oplus {\mathcal {M}}\mathbf {C} _{n}\cong {\mathcal {M}}\mathbf {C} _{m+n-2}\oplus \mathbf {C} \!\!\!\!\diagdown }$^{[注釈 5]}。
• 上記の性質を利用して、代数のテンソル積 ⊗_R が代数の直和 ⊕ の上に分配的であること、および同型^{[注釈 6]} MC₄ ≅ C ⊗_R C がわかる。そこから MC_m ⊗_R 𝓜ℂ_n ≅ MC_mn を示すのは容易。

• MC_2ⁿ ≅ C_n.

• MC_n−1 ⊂ MC_n.
• R^⌈n/2⌉ ⊂ MC_n.
• D’où ${\textstyle \mathbf {C} \!\!\!\!\diagdown ^{\lfloor (n+1)/4\rfloor }\subset {\mathcal {M}}\mathbf {C} _{n}}$.
• C^⌊n/2⌋ ⊂ MC_n.

19世紀に複素数を二次元の平面という幾何学的な形に表す考えが優位となったのち、数学者はこれを三次元の空間に対応する超複素数系に拡張しようと試みたがことごとく失敗に終わった。最終的には、超複素数の代数の成す次元とそれが表す幾何学的空間の次元が等しいという仮定を捨て去って、四次元の数である四元数が、そしてその三次元空間における回転（フランス語版）との関係（英語版）が発見されることとなる。そのような四元数の成功にもかかわらず、空間における幾何学的操作に相同する性質を示す次元数 3 の超複素数系を探索する者たちが引き続き存在しており、そのうちの幾人かはそれぞれ独立に MC₃^[5] またはそれに自明な^{[6][注釈 7]}同型を持つ代数にたどり着いている。

• Fleury, Norbert; Rausch de Traubenberg, Michel; Yamaleev, Robert Masgutovich (December 1993). "Commutative Extended Complex Numbers and Connected Trigonometry" (pdf). Journal of Mathematical Analysis and Applications (英語). 180 (2): 431–457. doi:10.1006/jmaa.1993.1410. ISSN 0022-247X. 2016年3月9日閲覧。
• Fleury, Norbert; Rausch de Traubenberg, Michel; Yamaleev, Robert Masgutovich (1 April 1995). "Extended Complex Number Analysis and Conformal-like Transformations" (pdf). Journal of Mathematical Analysis and Applications (英語). 191 (1): 118–136. doi:10.1006/jmaa.1995.1123. ISSN 0022-247X. 2016年3月9日閲覧。
• Rausch de Traubenberg, Michel (23 October 1997). "1.2 Extension des nombres complexes". Algèbres de Clifford, Supersymétrie et Symétries Z_n, Applications en Théorie des Champs (habilitation à diriger des recherches) (フランス語). Strasbourg: Université Louis Pasteur. p. 20–29. arXiv:hep-th/9802141。
• Olariu, Silviu (4 August 2000). Complex Numbers in Three Dimensions (英語). arXiv:math/0008120。^{[注釈 1]}
• Jacobi, Shlomo (7 September 2015). On a novel 3D hypercomplex number system (英語). arXiv:1509.01459。

ポータル 数学

• 巡回多元環

表 話 編 歴 数の体系
可算な体系	自然数 (${\displaystyle \mathbb {N} }$) 整数 (${\displaystyle \mathbb {Z} }$) 有理数 (${\displaystyle \mathbb {Q} }$) 作図可能数 代数的数 (${\displaystyle \mathbb {A} }$) 周期 計算可能数 定義可能実数 算術数（英語版） ガウス整数 (${\displaystyle \mathbb {Z} [i]}$) アイゼンシュタイン整数 (${\displaystyle \mathbb {Z} [\omega ]}$)
合成代数	通常型 実数 (${\displaystyle \mathbb {R} }$) 複素数 (${\displaystyle \mathbb {C} }$) 四元数 (${\displaystyle \mathbb {H} }$) 八元数 (${\displaystyle \mathbb {O} }$) 分解型 /${\displaystyle \mathbb {R} }$ 分解型複素数 分解型四元数（英語版） 分解型八元数 /${\displaystyle \mathbb {C} }$ 双複素数 双四元数（英語版） 双八元数
その他の多元数	二重数 二重四元数（英語版） 双曲四元数（英語版） 十六元数 (${\displaystyle \mathbb {S} }$) 分解型双四元数（英語版） 多重複素数
その他	基数 無理数 ファジー数（英語版） 超実数 レヴィ＝チヴィタ体 超現実数 超越数 順序数 p-進数 (${\displaystyle \mathbb {Q} _{p}}$) シュタイニッツ数 準超実数
一覧 カテゴリ:数