フルーリーの多重複素数

数学における多重複素数︵たじゅうふくそすう、英: multicomplex number︶

𝓜 ℂ n

は、Norbert Fleury が (Fleury, Rausch de Traubenberg & Yamaleev 1993) で導入した、任意の自然数︵

0

を含まない︶

n \in ℕ *

に対して定義される超複素数系の系列で、それぞれ

ℝ

上

n

-次元の可換結合多元環を成す。

定義

一つの元

e

^[注釈 1] は

e n = - 1

を満たし、かつその冪からなる有限列

(1, e, e 2, \dots, e n - 1)

は線型独立とする。このとき、

𝓜 ℂ n

は、この列を生成系とする実多元環として定義される^[注釈 2]^[1]^[2]。

代数的性質

●各代数

𝓜 ℂ n

は一般化クリフォード代数︵英語版︶の例になっている^[3]。 ●

e n + 1 = 0

であるから、各代数

𝓜 ℂ n

は商多元環

ℝ [X] / (X n + 1)

に自然同型である。 ●擬ノルム︵ドイツ語版︶が非零となる任意の多重複素数は極形式

{\textstyle x=\rho \exp(\sum _{i=1}^{n-1}\phi _{i}e^{i})}

{\textstyle x=\rho \exp(\sum _{i=1}^{n-1}\phi _{i}e^{i})}

に書ける^[4]。

直和およびテンソル積

●各代数

𝓜 ℂ n

は

ℝ

および

ℂ

からなる代数の直和^[注釈^3] になる^[3]^[注釈 4]: ●

n

が偶数のとき:

{\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}};

{\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

が奇数のとき:

{\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};

{\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 m o d 2 \times ℂ ⌊

n / 2 ⌋

. ●ここから直ちに従うこととして: ●

m, n

が何れか奇数でないならば

𝓜 ℂ m \oplus 𝓜 ℂ n ≅

𝓜 ℂ m + n

; ●

m, n

がともに奇数のとき

{\textstyle {\mathcal {M}}\mathbb {C} _{m}\oplus {\mathcal {M}}\mathbb {C} _{n}\cong {\mathcal {M}}\mathbb {C} _{m+n-2}\oplus \mathbb {C} \!\!\!\!\diagdown }

{\textstyle {\mathcal {M}}\mathbb {C} _{m}\oplus {\mathcal {M}}\mathbb {C} _{n}\cong {\mathcal {M}}\mathbb {C} _{m+n-2}\oplus \mathbb {C} \!\!\!\!\diagdown }

^[注釈 5]。 ●上記の性質を利用して、代数のテンソル積

\otimes ℝ

が代数の直和

\oplus

の上に分配的であること、および同型^[注釈 6]

𝓜 ℂ 4 ≅

ℂ \otimes ℝ ℂ

がわかる。そこから

𝓜 ℂ m \otimes ℝ 𝓜 ℂ n ≅ 𝓜

ℂ mn

を示すのは容易。

$ℂ n$ との関係

$𝓜 ℂ 2 n ≅ ℂ n$ .

部分環

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

特に 𝓜ℂ₃ に関して

19世紀に複素数を二次元の平面という幾何学的な形に表す考えが優位となったのち、数学者はこれを三次元の空間に対応する超複素数系に拡張しようと試みたがことごとく失敗に終わった。最終的には、超複素数の代数の成す次元とそれが表す幾何学的空間の次元が等しいという仮定を捨て去って、四次元の数である四元数が、そしてその三次元空間における回転︵フランス語版︶との関係︵英語版︶が発見されることとなる。そのような四元数の成功にもかかわらず、空間における幾何学的操作に相同する性質を示す次元数

3

の超複素数系を探索する者たちが引き続き存在しており、そのうちの幾人かはそれぞれ独立に

𝓜 ℂ 3

^[5] またはそれに自明な^[6]^[注釈 7]同型を持つ代数にたどり着いている。

注

注釈

^ ネイピア数ではない
^ 定義により、この列が生成する超複素数系の基底となる
^ 直和因子の数は有限個だから、直和 $\oplus$ は代数の直積 $\times$ と同値
^ この参考文献では $n$ が奇数のときの説明に誤りがある
^ ${\textstyle \mathbb {C} \!\!\!\!\diagdown \cong \mathbb {R} \otimes \mathbb {R} }$ は分解型複素数を表す
^ ここでは証明しない
^ 単に基底を $(1, h, k) = (1, - e, e 2$ ) と置きかえる

参考文献

^ 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.
（英語） 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.
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)^{[注釈 1]}
(en) Shlomo Jacobi, On a novel 3D hypercomplex number system,‎ 7 septembre 2015 (arXiv 1509.01459)

^ この本では、研究対象である $𝓜 ℂ 3$ に同型なものを « nombres tricomplexes »（「三重複素数」）と呼んでいるが、歴史的にセグレの多重複素数のひとつ $ℂ 3$ のことを « nombres tricomplexes » 言うのと混同してはならない

定義

代数的性質

直和およびテンソル積

ℂn との関係

部分環

特に 𝓜ℂ3 に関して

注

注釈

参考文献

参考文献

関連項目

$ℂ n$ との関係

特に 𝓜ℂ₃ に関して