フルーリーの多重複素数

数学における多重複素数（たじゅうふくそすう、英: multi­complex number）𝓜ℂn は、Norbert Fleury が (Fleury, Rausch de Traubenberg & Yamaleev 1993) で導入した、任意の自然数（0 を含まない）n ∈ ℕ* に対して定義される超複素数系の系列で、それぞれ ℝ 上 n-次元の可換結合多元環を成す。 一つの元 e は en = −1 を満たし、かつその冪からなる有限列 (1, e, e2, …, en−1) は線型独立とする。このとき、𝓜ℂn は、この列を生成系とする実多元環として定義される。 各代数 𝓜ℂn は一般化クリフォード代数（英語版）の例になっている。 en + 1 = 0 であるから、各代数 𝓜ℂn は商多元環 ℝ[X]/(Xn+1) に自然同型である。 擬ノルム（ドイツ語版）が非零となる任意の多重複素数は極形式 x = ρ exp ⁡ ( ∑ i = 1 n − 1 ϕ i e i ) {\textstyle x=\rho \exp(\sum _{i=1}^{n-1}\phi _{i}e^{i})} に書ける。 各代数 𝓜ℂn は ℝ および ℂ からなる代数の直和 になる: n が偶数のとき: M C n ≅ C ⊕ C ⊕ ⋯ ⊕ C ⏟ n 2  summands = ⨁ n 2 C = C n 2 ; {\displaystyle {\mathcal {M}}\mathbb {C} _{n}\cong \underbrace {\mathbb {C} \oplus \mathbb {C} \oplus \cdots \oplus \mathbb {C} } _{{\frac {n}{2}}{\text{ summands}}}=\bigoplus ^{\frac {n}{2}}\mathbb {C} =\mathbb {C} ^{\frac {n}{2}};} n が奇数のとき: M C n ≅ R ⊕ C ⊕ C ⊕ ⋯ ⊕ C ⏟ n − 1 2  summands = R ⊕ ⨁ n − 1 2 C = R × C n − 1 2 = R ⊕ M C n − 1 ; {\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{ summands}}}=\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};} あるいはまとめて: 𝓜ℂn ≅ ℝn mod 2 × ℂ⌊n/2⌋. ここから直ちに従うこととして: m ,n が何れか奇数でないならば 𝓜ℂm ⊕ 𝓜ℂn ≅ 𝓜ℂm+n; m, n がともに奇数のとき M C m ⊕ M C n ≅ M C m + n − 2 ⊕ C ╲ {\textstyle {\mathcal {M}}\mathbb {C} _{m}\oplus {\mathcal {M}}\mathbb {C} _{n}\cong {\mathcal {M}}\mathbb {C} _{m+n-2}\oplus \mathbb {C} \!\!\!\!\diagdown } 。 上記の性質を利用して、代数のテンソル積 ⊗ℝ が代数の直和 ⊕ の上に分配的であること、および同型 𝓜ℂ4 ≅ ℂ ⊗ℝ ℂ がわかる。そこから 𝓜ℂm ⊗ℝ 𝓜ℂn ≅ 𝓜ℂmn を示すのは容易。 𝓜ℂ2n ≅ ℂn. 𝓜ℂn−1 ⊂ 𝓜ℂn. ℝ⌈n/2⌉ ⊂ 𝓜ℂn. D’où C ╲ {\displaystyle \textstyle \mathbb {C} \!\!\!\!\diagdown } ⌊(n+1)/4⌋ ⊂ 𝓜ℂn. ℂ⌊n/2⌋ ⊂ 𝓜ℂn. 19世紀に複素数を二次元の平面という幾何学的な形に表す考えが優位となったのち、数学者はこれを三次元の空間に対応する超複素数系に拡張しようと試みたがことごとく失敗に終わった。最終的には、超複素数の代数の成す次元とそれが表す幾何学的空間の次元が等しいという仮定を捨て去って、四次元の数である四元数が、そしてその三次元空間における回転（フランス語版）との関係（英語版）が発見されることとなる。そのような四元数の成功にもかかわらず、空間における幾何学的操作に相同する性質を示す次元数 3 の超複素数系を探索する者たちが引き続き存在しており、そのうちの幾人かはそれぞれ独立に 𝓜ℂ3 またはそれに自明な同型を持つ代数にたどり着いている。 ^ ネイピア数ではない ^ 定義により、この列が生成する超複素数系の基底となる ^ 直和因子の数は有限個だから、直和 ⊕ は代数の直積 × と同値 ^ この参考文献では n が奇数のときの説明に誤りがある ^ C ╲ ≅ R ⊗ R {\textstyle \mathbb {C} \!\!\!\!\diagdown \cong \mathbb {R} \otimes \mathbb {R} } は分解型複素数を表す ^ ここでは証明しない ^ 単に基底を (1, h, k) = (1, −e, e2) と置きかえる ^ Fleury, Rausch de Traubenberg & Yamaleev 1993, p. 433. ^ Fleury, Rausch de Traubenberg & Yamaleev 1995, p. 120. ^ a b Rausch de Traubenberg 1997, p. 21. ^ Fleury, Rausch de Traubenberg & Yamaleev 1993, p. 438–441. ^ Jacobi 2015. ^ Olariu 2000. （英語） Fleury, Norbert; Rausch de Traubenberg, Michel; Yamaleev (1993). “Commutative Extended Complex Numbers and Connected Trigonometry” (pdf). Journal of Mathematical Analysis and Applications 180: 431–457. doi:10.1006/jmaa.1993.1410. ISSN 0022-247X. http://www.sciencedirect.com/science/article/pii/S0022247X83714101/pdf?md5=99c473b97d70da5a165a55850a33d7ea&pid=1-s2.0-S0022247X83714101-main.pdf.  （英語） Fleury, Norbert; Rausch de Traubenberg, Michel; Yamaleev, Robert Masgutovich (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. http://www.sciencedirect.com/science/article/pii/S0022247X85711237/pdf?md5=ac6d716df36bd8f8fa10e055b4412b92&pid=1-s2.0-S0022247X85711237-main.pdf.  Michel Rausch de Traubenberg, Algèbres de Clifford, Supersymétrie et Symétries ℤn, Applications en Théorie des Champs, Strasbourg, Université Louis Pasteur (habilitation à diriger des recherches),‎ 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) (en) Shlomo Jacobi, On a novel 3D hypercomplex number system,‎ 7 septembre 2015 (arXiv 1509.01459) ^ この本では、研究対象である 𝓜ℂ3 に同型なものを « nombres tricomplexes »（「三重複素数」）と呼んでいるが、歴史的にセグレの多重複素数のひとつ ℂ3 のことを « nombres tricomplexes » 言うのと混同してはならない ポータル 数学 巡回多元環