多元数

「超複素数」はこの項目へ(転送)されています。超実数 (hyper­real number) の複素化については「超実数」を、超現実数の複素化（超現複素数）については「超現実数」をご覧ください。

数学における多元数（たげんすう、英: hyper­complex number; 超複素数）は、実数体上の単位的多元環の元を表す歴史的な用語である。多元数の研究は19世紀後半に現代的な群の表現論の基盤となった。

歴史

19世紀には、数学の文献において四元数 (quaternion), 双複素数 (tessarine), (余四元数)（英語版） (coquaternion), (双四元数)（英語版） (biquaternion) および八元数 (octonion) と呼ばれる(数体系)が実数や複素数に加えて確立された概念となっていた。多元数 (hypercomplex number) の概念はこれらすべてを包含するものであり、またこれらを説明し分類するための指針を示唆する呼称である。

カタログ化の試みは1872年にベンジャミン・パースが著書 Linear Associative Algebra（『結合線型環』）を初版した時に始まり、それは息子のチャールズ・サンダース・パースに引き継がれた^[1]。最も著しい点は、かれらが分類に有効な多元数として冪零元および冪等元を同定したことである。ケーリー＝ディクソン構成では、対合を用いて実数の体系から複素数、四元数、八元数が作り出される。フルヴィッツとフロベニウスはこのような超複素数性に限界があることを述べる定理を証明している（(フルヴィッツの定理 (ノルム多元体))（英語版）およびフロベニウスの定理 (代数学)の項を参照）。最終的に、1958年にＪ・フランク・アダムズが位相的な方法を用いて有限次元実多元体が四種類（実数体 ℝ, 複素数体 ℂ, 四元数体 ℍ, 八元数体 𝕆）に限り存在することを証明した^[2]。

多元数の体系（超複素数系）の手綱をとったのは行列論であった。まず行列を用いて、実二次正方行列のような新たな多元数が供給される。すぐに、行列のパラダイムは、行列とその演算を用いて表現することでほかの多元数を説明するようになる。1907年に(ジョセフ・ウェダーバーン)（英語版）は結合的な超複素数系は必ず行列環か行列環の直和として表現されなければならないことを示した。これ以降、ウェダーバーンのエディンバラ大学での修士論文タイトルにも見られるように、このような超複素数系を言い表す用語として結合多元環 (associative algebra) が用いられるようになっていった。それでもなお、八元数や(双曲四元数)（英語版）のような非結合的な体系の表す別種の超複素数系があることに注意すべきである。

ホーキンス^[3] の説明によれば、超複素数系はリー群およびその表現論を学ぶための布石である。例えば、1929年にエミー・ネーターは "Hyperkomplexe Größen und Darstellungstheorie"（『超複素数量および表現論』）を書き下ろした^[4]。1973年に書かれた多元数に関する教科書 Гиперкомплексные числа (Кантор & Солодовников 1973) は各国語で翻訳が出ている^[5]。

(カレン・パーシャル)（英語版）は、(テオドール・モリーン)（英語版）^[6]や(エデュアルト・シュテューディ)（英語版）^[7]らの著名な役割を含む、多元数の黄金時代の詳細な説明を書いている^[8]。現代代数学への移り変わりについて、(バーテル・リーンデルト・ヴァンデルヴェルデン)（英語版）は自身の著書 History of Algebra（『代数学の歴史』）において多元数について30頁の紙幅を割いている^[9]。

定義

Kantor & Solodovnikov (1989) によれば、多元数あるいは超複素数は、実数体 R 上有限次元の単位的分配多元環（結合的である必要はない）の元として定義されている。n-次元の各多元数（n-元数）x は、実数係数 a₀, …, a_n−1 を用いて基底 {1, i₁, …, i_n−1} に対する一次結合

${\displaystyle x=a_{0}1+a_{1}i_{1}+\dotsb +a_{n-1}i_{n-1}}$ 

の形に書き表される。可能ならば、各基点元 i_k に対して、その平方 i_k² は −1, 0, 1 のうちの何れかから選ぶのが慣習である。

例

詳細は「二元数」を参照

定理^{[10][11][5]:14,15}

同型を除いて、実数体上二次元の単位的多元環は通常の複素数、分解型複素数、二重数のちょうど三種類しかない。

いくつかの系列について

クリフォード代数

詳細は「クリフォード代数」を参照

クリフォード代数は、二次形式を備える線型空間を台として、その上に構成される単位的結合多元環である。二次形式を持つということは、実数体上では対称双線型形式の意味でのスカラー積 u⋅v = 1/2(uv + vu) を定義できることと同値で、これに関する直交化を施すことにより、基底 {e₁, …, e_k} で

${\displaystyle {\frac {1}{2}}(e_{i}e_{j}+e_{j}e_{i})={\begin{cases}-1{\text{ or }}0{\text{ or }}+1&(i=j),\\0&(i\neq j)\end{cases}}}$ 

を満たすものをとることができる。乗法が閉じるように、2^k 個の元 {1, e₁, e₂, e₃, …, e₁e₂, …, e₁e₂e₃, …} によって張られる(多重ベクトル)（英語版）の空間を作る。これらの多重ベクトルを超複素数系の基底として解釈することができる。もとの基底 {e₁, …, e_k} と異なり、それ以外の基底元はそれらの交換に際していくつ単純因子を入れ替える必要があるかによって、反交換となることもならないこともある。つまり、例えば e₁e₂ = −e₂e₁ だが、 e₁(e₂e₃) = +(e₂e₃)e₁ である。

e_i² = 0 となる基底（つまり、もとの空間において二次形式が退化している方向）を除けば、そうでない部分で作られるクリフォード線型環は Cℓ_p,q(R) とラベル付けることができる。この記法の添字については、この多元環の単純基底元のうち p 個が e_i² = +1 を満たし、かつ q 個が e_j² = −1 を満たすということ、また R はこれが実数体上の多元環（各元の係数が実数）であることを示唆するものである。

(幾何代数)（英語版）と呼ばれるこれら多元環は体系的な集合を成し、特に古典力学、量子力学、電磁気学、相対論における回転、位相、スピンなどを含む物理学的問題に非常に有効なことが知られている。例えば:

• 複素数体 Cℓ_0,1(R), 分解型複素数環 Cℓ_1,0(R), 四元数体 Cℓ_0,2(R), (分解型双四元数)（英語版）環 Cℓ_0,3(R),
• (余四元数)（英語版）環 Cℓ_1,1(R) ≈ Cℓ_2,0(R)：二次元空間の自然代数 (natural algebra)
• Cℓ_3,0(R): 三次元の自然代数、パウリ行列の代数
• (時空代数)（英語版） Cℓ_1,3(R)

多元環 Cℓ_p,q(R) の元全体は、多元環 Cℓ_q+1,p(R) の偶部分環 Cℓ 0
q+1,p (R) を成す。このことはより大きな代数における回転をパラメータ付けするために利用することができる。これはつまり、複素数と二次元空間の回転の間の、あるいは四元数と四次元空間の回転の間の、また分解型複素数と 1 + 1次元空間の双曲的回転（ローレンツ変換）の間の、ほかにも同様の、それぞれ近しい関係があるということである。

ケーリー＝ディクソン構成やその変形である分解型の構成法では八次元以上になると乗法に関して結合的でなくなるが、クリフォード線型環は何次元であっても結合的なままである。

1995年に(イアン・ポーテアス)（英語版）は自身のクリフォード線型環に関する著書で "The recognition of subalgebras"（部分多元環の解釈）について書いている。その命題 11.4 に多元数の場合がまとめられている^[12]：単位元 1 を持つ結合的実多元環 A について、

• 1 は実数体 R を生成する。
• e₀² = −1 を満たす任意の元 e₀ ∈ A の生成する二次元部分環は、複素数体 C に同型である。
• e₀² = +1 を満たす任意の元 e₀ ∈ A の生成する二次元部分環は、分解型複素数環 ²R に同型である。
• 互いに反交換する A の二元 {e₀, e₁} の生成する四次元部分環は、e₀² = e₁² = −1 ならば必ず四元数体 H に同型である。
• 互いに反交換する A の二元 {e₀, e₁} の生成する四次元部分環は、e₀² = e₁² = +1 ならば必ず(余四元数)（英語版）環 M₂(R) に同型である。
• 互いに反交換する A の三元 {e₀, e₁, e₂} の生成する八次元部分環は、e₀² = e₁² = e₂² = −1 ならば必ず(分解型双四元数)（英語版） ²H に同型である。
• 互いに反交換する A の三元 {e₀, e₁, e₂} の生成する八次元部分環は、e₀² = e₁² = e₂² = +1 ならば必ず(双四元数)（英語版）環（あるいはパウリ代数）M₂(C) に同型である。

古典多元環を超えた拡張については、(クリフォード代数の分類)（英語版）の項を参照せよ。

ケーリー＝ディクソン代数

詳細は「ケーリー＝ディクソンの構成法」を参照

実数体、複素数体、四元数体を除くすべてのクリフォード代数 Cℓ_p,q(R) は、平方が +1 となる非実元を持ち、従って多元体とならない。複素数を拡張する別のアプローチとしてケーリー＝ディクソン構成をとることが挙げられる。これにより作り出される数体系は、n = 2, 3, 4, … に対して 2ⁿ次元で、その基底 {1, i₁, …, i_2ⁿ−1} の非実基底元 i_m はすべて互いに反交換し、かつ i_m² = −1 を満足する（虚数単位）。こうして得られる多元環は、八次元以上 (n ≥ 3) で非結合的となり、十六次元以上 (n ≥ 4) で零因子を含む。

この系列の初めの方は、四次元の四元数、八次元の八元数、十六次元の十六元数で、次元が上がるごとに代数的対称性がそれぞれ失われていく。実際、四元数の乗法は可換でなくなり、八元数の乗法は結合的でなくなり、十六元数のノルムは乗法的でなくなる。

ケーリー＝ディクソン構成の適当な段階において余分な符号を挿入することにより、構成を変形することができる。そうして（多元体を考える代わりに）合成代数の系列に属する「分解型多元環」("split algebra") を作り出すことができる。

• 分解型複素数：基底 {1, j} (j² = +1)
• (分解型四元数)（英語版）：基底 {1, i, j, k} (i² = −1, j² = k² = +1)
• 分解型八元数：基底 {1, i₁, i₂, i₃, i₄, i₅, i₆, i₇} (i₁² = i₂² = i₃² = −1, i₄² = i₅² = i₆² = i₇² = +1)

複素数と異なり、分解型複素数の全体は代数的閉体でなく、さらに零因子や非自明な冪等元を含む。四元数同様に、分解型四元数の全体は非可換だが、さらに冪零元を含む点では異なる（分解型四元数環は M₂(R) に同型である）。分解型八元数の全体は非結合的で冪零元を含む。

テンソル積による構成

「多元環のテンソル積」も参照

任意の二つの多元環のテンソル積はふたたび多元環とすることができるから、これにより多くの様々な超複素数系の例を作り出すことができる。

特に複素数体 C（を実数体 R 上の多元環と見たもの）とのテンソル積をとれば、四次元の双複素数環 C ⊗_R C, 八次元の(双四元数)（英語版）環 C ⊗_R H, 十六次元の複素八元数環 C ⊗_R O が得られる。

更なる例

• 双複素数 C ⊕ C：実四次元多元環であり、かつ複素二次元の多元環にもなる
• 多重複素数 C_n+1 = C_n + i_nC_n (C₁ = C, i₁ = i)：n = 1, 2, … に対して定義される、複素 2ⁿ⁻¹次元（実 2_n次元）ベクトル空間と虚数単位の系列
• 合成代数：代数の乗法の分解に伴って分解する二次形式を備えた多元環（(四平方和定理)などと関連がある）

関連項目

• (トーマス・カークマン)（英語版）
• (ゲオルク・ヴィルヘルム・シェファーズ)（英語版）
• (リカルト・ダゴベルト・ブラウアー)（英語版）
• 超複素解析

注

1. ^ Linear Associative Algebra (1881) (American Journal of Mathematics) 4(1):221-6
2. ^ Adams, J. F. (1960-07). “On the Non-Existence of Elements of Hopf Invariant One”. Annals of Mathematics 72 (1): 20-104. doi:10.2307/1970147. http://www.jstor.org/stable/1970147. 
3. ^ Thomas Hawkins (1972) "Hypercomplex numbers, Lie groups, and the creation of group representation theory", (Archive for History of Exact Sciences) 8:243–87
4. ^ Noether, Emmy (1929), “Hyperkomplexe Größen und Darstellungstheorie” (German), Mathematische Annalen 30: 641-92, doi:10.1007/BF01187794, http://gdz.sub.uni-goettingen.de/index.php?id=11&PPN=GDZPPN002371448&L=1 
5. ^ ^{a b} Kantor, Isai L'vovich; Solodovnikov, Aleksandr Samuilovich  独訳： Hyperkomplexe Zahlen, Leipzig: BSB B.G. Teubner Verlagsgesellschaft, (1978) ; 英訳： Hypercomplex numbers, Berlin, New York: Springer-Verlag, (1989), ISBN (978-0-387-96980-0), MR996029 ; 日本語訳：浅野洋、笠原久弘 訳『超複素数入門: 多元環へのアプローチ』森北出版、1999年。 
6. ^ (Theodor Molien) (1893) "Über Systeme höher complexen Zahlen", Mathematische Annalen 41:83–156
7. ^ (Eduard Study) (1898) "Theorie der gemeinen und höhern komplexen Grössen", (Encyclopädie der mathematischen Wissenschaften) I A 4 147–83
8. ^ (Karen Parshall) (1985) "Wedderburn and the Structure of Algebras" Archive for History of Exact Sciences 32:223–349
9. ^ * (B.L. van der Waerden) (1985) A History of Algebra, Chapter 10: The discovery of algebras, Chapter 11: Structure of algebras, Springer, (ISBN 3-540-13610X)
10. ^ (Isaak Yaglom) (1968) Complex Numbers in Geometry, pages 10 to 14
11. ^ John H. Ewing editor (1991) Numbers, page 237, Springer, (ISBN 3-540-97497-0)
12. ^ (Ian R. Porteous) (1995) Clifford Algebras and the Classical Groups, pages 88–89, Cambridge University Press (ISBN 0-521-55177-3)

関連文献

• Кантор, И.Л.; Солодовников, А.С. (1973) (ロシア語), Гиперкомплексные числа, Рипол Классик, ISBN (9785458447003) 
• Daniel Alfsmann (2006) On families of 2^N dimensional hypercomplex algebras suitable for digital signal processing, 14th European Signal Processing Conference, Florence, Italy.
• Emil Artin (1928) "Zur Theorie der hyperkomplexen Zahlen" and "Zur Arithmetik hyperkomplexer Zahlen", in The Collected Papers of Emil Artin, Serge Lang and (John T. Tate) editors, pp 301–45, (Addison-Wesley), 1965.
• (John Baez) (2002), “The Octonions”, (Bulletin of the American Mathematical Society) 39: 145-205, doi:10.1090/S0273-0979-01-00934-X, ISSN 0002-9904, http://math.ucr.edu/home/baez/octonions/octonions.html 
• Élie Cartan (1908) "Les systèmes de nombres complex et les groupes de transformations", Encyclopédie des sciences mathématiques pures et appliquées I 1. and Ouvres Completes T.2 pt. 1, pp 107–246.
• (Max Herzberger) (1923) Ueber Systeme hyperkomplexer Grössen, doctoral dissertation at (Frederick William University).
• Jeanne La Duke (1983) "The study of linear associative algebras in the United States, 1870–1927", see pp. 147–159 of Emmy Noether in Bryn Mawr (Bhama Srinivasan) & Judith Sally editors, Springer Verlag.
• Silviu Olariu (2002) Complex Numbers in N Dimensions, North-Holland Mathematics Studies #190, Elsevier (ISBN 0-444-51123-7) .
• Irene Sabadini, Michael Shapiro & Frank Sommen, editors (2009) Hypercomplex Analysis and Applications Birkhauser (ISBN 978-3-7643-9892-7) .
• Henry Taber (1904) "On Hypercomplex Number Systems", (Transactions of the American Mathematical Society) 5:509.
• (Joseph Wedderburn) (1908) "On Hypercomplex Numbers", Proceedings of the London Mathematical Society 6:77–118.

外部リンク

• Hazewinkel, Michiel, ed. (2001), "Hypercomplex number", Encyclopaedia of Mathematics, Springer, ISBN 978-1-55608-010-4。
• Hypercomplex.info
• Weisstein, Eric W. "Hypercomplex number". MathWorld (英語).
• E. Study, "On systems of complex numbers and their application to the theory of transformation groups" (English translation)
• G. Frobenius, "Theory of hypercomplex quantities"（英語）
• 小川のｎ元数