「超複素数 」はこの項目へ転送 されています。超実数 (hyperreal number) の複素化については「超実数 」を、超現実数 の複素化(超現複素数)については「超現実数 」をご覧ください。
数学 における多元数 (たげんすう、英 : hypercomplex number ; 超複素数 )は、実数 体 上の単位的多元環 の元を表す歴史的な用語である。多元数の研究は19世紀後半に現代的な群の表現論 の基盤となった。
歴史
19世紀には、数学の文献において四元数 (quaternion) , 双複素数 (tessarine) , 余四元数 (英語版 ) (coquaternion) , 双四元数 (英語版 ) (biquaternion) および八元数 (octonion) と呼ばれる数 体系が実数 や複素数 に加えて確立された概念となっていた。多元数 (hypercomplex number) の概念はこれらすべてを包含するものであり、またこれらを説明し分類するための指針を示唆する呼称である。
カタログ化の試みは1872年にベンジャミン・パース が著書 Linear Associative Algebra (『結合線型環』)を初版した時に始まり、それは息子のチャールズ・サンダース・パース に引き継がれた[ 1] 。最も著しい点は、かれらが分類に有効な多元数として冪零元 および冪等元 を同定したことである。ケーリー=ディクソン構成 では、対合 を用いて実数の体系から複素数、四元数、八元数が作り出される。フルヴィッツとフロベニウスはこのような超複素数性に限界があることを述べる定理を証明している(フルヴィッツの定理 (合成代数) (英語版 ) およびフロベニウスの定理 (代数学) の項を参照)。最終的に、1958年にJ・フランク・アダムズが位相的な方法を用いて有限次元実多元体 が四種類(実数体 R , 複素数体 C , 四元数体 H , 八元数体 O )に限り存在することを証明した[ 2] 。
多元数の体系(超複素数系)の手綱をとったのは行列論 であった。まず行列を用いて、実二次正方行列 のような新たな多元数が供給される。すぐに、行列のパラダイムは、行列とその演算を用いて表現することでほかの多元数を説明するようになる。1907年にジョセフ・ウェダーバーン (英語版 ) は結合的な超複素数系は必ず行列環 か行列環の直和 として表現されなければならないことを示した(アルティン・ウェダーバーンの定理 )。これ以降、ウェダーバーンのエディンバラ大学 での修士論文タイトルにも見られるように、このような超複素数系を言い表す用語として結合多元環 (associative algebra) が用いられるようになっていった[ 3] 。それでもなお、八元数や双曲四元数 (英語版 ) のような非結合的な体系の表す別種の超複素数系があることに注意すべきである。
ホーキンスの説明によれば、超複素数系はリー群 およびその表現論 を学ぶための布石である[ 4] 。例えば、1929年にエミー・ネーター は „Hyperkomplexe Größen und Darstellungstheorie“ (『超複素数量および表現論』)を書き下ろした[ 5] 。1973年に書かれた多元数に関する教科書 Гиперкомплексные числа Кантор & Солодовников (1973) は各国語で翻訳が出ている[ 6] 。
カレン・パーシャル (英語版 ) は[ 7] 、テオドール・モリーン (英語版 ) [ 8] やエデュアルト・シュテューディ (英語版 ) [ 9] らの著名な役割を含む、多元数の黄金時代の詳細な説明を書いている。現代代数学 への移り変わりについて、B・L・ファン・デル・ヴェルデン は自身の著書 History of Algebra (『代数学の歴史』)において多元数について30頁の紙幅を割いている[ 10] 。
定義
Кантор & Солодовников (1973) によれば、多元数 あるいは超複素数 は、実数 体 R 上有限次元の単位的分配多元環 (結合的 である必要はない)の元として定義されている。n -次元の各多元数(n -元数)x は、実数係数 a 0 , …, a n −1 を用いて基底 {1, i 1 , …, i n −1 } の一次結合
x
=
a
0
1
+
a
1
i
1
+
⋯ ⋯ -->
+
a
n
− − -->
1
i
n
− − -->
1
{\displaystyle x=a_{0}1+a_{1}i_{1}+\dotsb +a_{n-1}i_{n-1}}
の形に書き表される。可能ならば、各基底 i k について、その平方 i k 2 が −1, 0, 1 のいずれかになるようにするのが慣習である。
例
定理[ 11] [ 12] [ 13]
同型を除いて 、実数体上二次元の単位的多元環は通常の複素数 、分解型複素数 、二重数 のちょうど三種類しかない。
いくつかの系列について
クリフォード代数
クリフォード代数 は、二次形式 を備える線型空間を台として、その上に構成される単位的結合多元環である。二次形式を持つということは、実数体上では対称双線型形式 の意味でのスカラー積 u ⋅v = 1 / 2 (uv + vu ) を定義できることと同値で、これに関する直交化 を施すことにより、基底 {e 1 , …, e k } で
1
2
(
e
i
e
j
+
e
j
e
i
)
=
{
− − -->
1
,
0
,
+
1
(
i
=
j
)
0
(
i
≠ ≠ -->
j
)
{\displaystyle {\frac {1}{2}}(e_{i}e_{j}+e_{j}e_{i})={\begin{cases}-1,0,+1&(i=j)\\0&(i\neq j)\end{cases}}}
を満たすものをとることができる。乗法が閉じる ように、2k 個の元 {1, e 1 , e 2 , e 3 , …, e 1 e 2 , …, e 1 e 2 e 3 , …} によって張られる 多重ベクトル (英語版 ) の空間を作る。これらの多重ベクトルを超複素数系の基底として解釈することができる。この基底は、もとの基底 {e 1 , …, ek } と異なり、それらの交換に際していくつ単純因子を入れ替える必要があるかによって、反交換となることもならないこともある。つまり、例えば e 1 e 2 = −e 2 e 1 だが、 e 1 (e 2 e 3 ) = +(e 2 e 3 )e 1 である。
ei 2 = 0 となる ei を含む基底(つまり、もとの空間において二次形式が退化 している方向)を除けば、そうでない部分で作られるクリフォード線型環は Cl p ,q (R ) とラベル付けることができる。この記法の添字については、この多元環の単純基底元のうち p 個が ei 2 = +1 を満たし、かつ q 個が ej 2 = −1 を満たすということ、また R はこれが実数体上の多元環(各元の係数が実数)であることを示唆するものである。
幾何代数 (英語版 ) と呼ばれるこれら多元環は体系的な集合を成し、特に古典力学 、量子力学 、電磁気学 、相対性理論 における回転 、位相 、スピン などを含む物理学的問題に非常に有効なことが知られている。例えば:
複素数 体 Cl 0,1 (R ) , 分解型複素数 環 Cl 1,0 (R ) , 四元数 体 Cl 0,2 (R ) , 分解型双四元数 (英語版 ) 環 Cl 0,3 (R ) ,
余四元数 (英語版 ) 環 Cl 1,1 (R ) ≈ Cl 2,0 (R ) :二次元空間の自然代数 (natural algebra)
Cl 3,0 (R ) : 三次元の自然代数、パウリ行列 の代数
時空代数 (英語版 ) Cl 1,3 (R )
多元環 Cl p ,q (R ) の元全体は、多元環 Cl q +1,p (R ) の偶部分環 Cl 0q +1,p (R ) を成す。このことはより大きな代数における回転をパラメータ付けするために利用することができる。これはつまり、複素数と二次元空間の回転の間の、あるいは四元数と四次元空間の回転の間の、また分解型複素数と 1 + 1 次元空間の双曲的回転(ローレンツ変換 )の間の、ほかにも同様の、それぞれ近しい関係があるということである。
ケーリー=ディクソン構成 やその変形である分解型の構成法では八次元以上になると乗法に関して結合的でなくなるが、クリフォード線型環は何次元であっても結合的なままである。
1995年にイアン・ポーテアス (英語版 ) は自身のクリフォード線型環に関する著書で “The recognition of subalgebras” (部分多元環の解釈)について書いている。その命題 11.4 に多元数の場合がまとめられている[ 14] :単位元 1 を持つ結合的実多元環 A について、
1 は実数 体 R を生成する。
e 0 2 = −1 を満たす任意の元 e 0 ∈ A の生成する二次元部分環は、複素数 体 C に同型である。
e 0 2 = +1 を満たす任意の元 e 0 ∈ A の生成する二次元部分環は、分解型複素数 環 2 R に同型である。
互いに反交換する A の二元 {e 0 , e 1 } の生成する四次元部分環は、e 0 2 = e 1 2 = −1 ならば必ず四元数 体 H に同型である。
互いに反交換する A の二元 {e 0 , e 1 } の生成する四次元部分環は、e 0 2 = e 1 2 = +1 ならば必ず余四元数 (英語版 ) 環 M2 (R ) に同型である。
互いに反交換する A の三元 {e 0 , e 1 , e 2 } の生成する八次元部分環は、e 0 2 = e 1 2 = e 2 2 = −1 ならば必ず分解型双四元数 (英語版 ) 2 H に同型である。
互いに反交換する A の三元 {e 0 , e 1 , e 2 } の生成する八次元部分環は、e 0 2 = e 1 2 = e 2 2 = +1 ならば必ず双四元数 (英語版 ) 環(あるいはパウリ代数 )M2 (C ) に同型である。
古典多元環を超えた拡張については、クリフォード代数の分類 (英語版 ) の項を参照せよ。
ケーリー=ディクソン代数
実数体、複素数体、四元数体を除くすべてのクリフォード代数 Cl p ,q (R ) は、平方が +1 となる非実元を持ち、従って多元体とならない。複素数を拡張する別のアプローチとしてケーリー=ディクソン構成 をとることが挙げられる。これにより作り出される数体系は、n = 2, 3, 4, … に対して 2n 次元で、その基底 {1, i 1 , …, i 2n −1 } の非実基底元 im はすべて互いに反交換し、かつ i m 2 = −1 を満足する(虚数単位 )。こうして得られる多元環は、八次元以上 (n ≥ 3 ) で非結合的となり、十六次元以上 (n ≥ 4 ) で零因子 を含む。
この系列の初めの方は、四次元の四元数 、八次元の八元数 、十六次元の十六元数 で、次元が上がるごとに代数的対称性がそれぞれ失われていく。実際、四元数の乗法は可換 でなくなり、八元数の乗法は結合的 でなくなり、十六元数のノルム は乗法的でなくなる。
ケーリー=ディクソン構成の適当な段階において余分な符号を挿入することにより、構成を変形することができる。そうして(多元体を考える代わりに)合成代数 の系列に属する「分解型多元環」(“split algebra” ) を作り出すことができる。
分解型複素数 :基底 {1, j } (j 2 = +1 )
分解型四元数 (英語版 ) :基底 {1, i , j , k } (i 2 = −1, j 2 = k 2 = +1 )
分解型八元数 :基底 {1, i 1 , i 2 , i 3 , i 4 , i 5 , i 6 , i 7 } (i 1 2 = i 2 2 = i 3 2 = −1, i 4 2 = i 5 2 = i 6 2 = i 7 2 = +1 )
複素数と異なり、分解型複素数の全体は代数的閉体 でなく、さらに零因子 や非自明な冪等元 を含む。四元数同様に、分解型四元数の全体は非可換だが、さらに冪零元 を含む点では異なる(分解型四元数環は M2 (R ) に同型である)。分解型八元数の全体は非結合的で冪零元を含む。
テンソル積による構成
任意の二つの多元環のテンソル積 はふたたび多元環とすることができるから、これにより多くの様々な超複素数系の例を作り出すことができる。
特に複素数体 C (を実数体 R 上の多元環と見たもの)とのテンソル積をとれば、四次元の双複素数 環 C ⊗R C , 八次元の双四元数 (英語版 ) 環 C ⊗R H , 十六次元の複素八元数環 C ⊗R O が得られる。
更なる例
双複素数 C ⊕ C :実四次元多元環であり、かつ複素二次元の多元環にもなる
多重複素数 C n +1 = C n + in C n (C 1 = C , i 1 = i ):n = 1, 2, … に対して定義される、複素 2n −1 次元(実 2n 次元)ベクトル空間と虚数単位 の系列
合成代数 :代数の乗法の分解に伴って分解する二次形式 を備えた多元環(四平方和定理 などと関連がある)
関連項目
注
^ Peirce, Benjamin (1881). Linear Associative Algebra . 4 . 221–6. doi :10.2307/2369153 . JSTOR 2369153 . http://archive.org/details/linearassocalgeb00pierrich
^ 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 . JSTOR 1970147 . http://www.math.rochester.edu/people/faculty/doug/otherpapers/Adams-HI1.pdf .
^ Wedderburn (1908)
^ Hawkins, Thomas (1972). “Hypercomplex numbers, Lie groups, and the creation of group representation theory”. Archive for History of Exact Sciences 8 (4): 243–287. doi :10.1007/BF00328434 .
^ Noether, Emmy (1929). “Hyperkomplexe Größen und Darstellungstheorie” (ドイツ語). Mathematische Annalen 30 : 641-692. doi :10.1007/BF01187794 . オリジナル の2016-03-29時点におけるアーカイブ。. https://web.archive.org/web/20160329230805/http://gdz.sub.uni-goettingen.de/index.php?id=11&PPN=GDZPPN002371448&L=1 .
^ 独訳: Hyperkomplexe Zahlen . Leipzig: BSB B.G. Teubner Verlagsgesellschaft. (1978) ; 英訳: Hypercomplex numbers . Berlin, New York: Springer-Verlag . (1989). ISBN 978-0-387-96980-0 . MR 996029 . https://archive.org/details/hypercomplexnumb0000kant ; 日本語訳:浅野洋、笠原久弘 訳『超複素数入門: 多元環へのアプローチ』森北出版、1999年。
^ Parshall, Karen (1985). “Joseph H. M. Wedderburn and the structure theory of algebras”. Archive for History of Exact Sciences 32 (3–4): 223–349. doi :10.1007/BF00348450 .
^ Molien, Theodor (1893). “Über Systeme höherer complexer Zahlen” . Mathematische Annalen 41 (1): 83–156. doi :10.1007/BF01443450 . https://zenodo.org/record/2029540 .
^ Study, Eduard (1898). “Theorie der gemeinen und höhern komplexen Grössen”. Encyclopädie der mathematischen Wissenschaften . I A . pp. 147–183
^ van der Waerden, B.L. (1985), “Chapter 10: The discovery of algebras, Chapter 11: Structure of algebras”, A History of Algebra , Springer, ISBN 3-540-13610X
^ Yaglom, Isaak (1968), Complex Numbers in Geometry , pp. 10–14
^ Ewing, John H., ed. (1991), Numbers , Springer, p. 237, ISBN 3-540-97497-0
^ Кантор & Солодовников (1973) , 14,15
^ Porteous, Ian R. (1995). Clifford Algebras and the Classical Groups . Cambridge University Press . pp. 88–89. ISBN 0-521-55177-3
関連文献
Кантор, И.Л.; Солодовников, А.С. (1973) (ロシア語). Гиперкомплексные числа . Рипол Классик. ISBN 9785458447003
Alfsmann, Daniel (2006), “On families of 2^N dimensional hypercomplex algebras suitable for digital signal processing” , 14th European Signal Processing Conference, Florence, Italy , pp. 1–4, http://www.eurasip.org/proceedings/eusipco/eusipco2006/papers/1568981962.pdf
Artin, Emil (1965). “Zur Theorie der hyperkomplexen Zahlen; Zur Arithmetik hyperkomplexer Zahlen”. In Lang, Serge ; Tate, John T. . The Collected Papers of Emil Artin . Addison-Wesley. pp. 301–345
Baez, John (2002). “The Octonions” . Bulletin of the American Mathematical Society 39 (2): 145–205. arXiv :math/0105155 . doi :10.1090/S0273-0979-01-00934-X . ISSN 0002-9904 . https://math.ucr.edu/home/baez/octonions/octonions.html .
Cartan, Élie (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.
Herzberger, Max (1923). Ueber Systeme hyperkomplexer Grössen (Doctoral Dissertation). Friedrich Wilhelm University . 2021年1月30日時点のオリジナル よりアーカイブ。2015年9月20日閲覧 。
La Duke, Jeanne (1983). “The study of linear associative algebras in the United States, 1870–1927” . In Srinivasan, B.; Sally, J.. Emmy Noether in Bryn Mawr: Proceedings of a Symposium Sponsored by the Association for Women in Mathematics in Honor of Emmy Noether's 100th Birthday . Springer. pp. 147–159. ISBN 978-0-387-90838-0 . https://books.google.com/books?id=b7NYvQEACAAJ
Olariu, Silviu (2002). Complex Numbers in N Dimensions . North-Holland Mathematics Studies. 190 . Elsevier . ISBN 0-444-51123-7
Sabadini, Irene; Shapiro, Michael; Sommen, Frank, eds (2009). Hypercomplex Analysis and Applications . Birkhauser. ISBN 978-3-7643-9892-7
Taber, Henry (1904). “On Hypercomplex Number Systems”. Transactions of the American Mathematical Society 5 (4): 509–548. doi :10.2307/1986280 . JSTOR 1986280 .
Wedderburn, J.H. (1908). “On Hypercomplex Numbers” . Proceedings of the London Mathematical Society s2-6 (1): 77–118. doi :10.1112/plms/s2-6.1.77 . https://zenodo.org/record/1447798 .
外部リンク
Hazewinkel, Michiel, ed. (2001), “Hypercomplex number” , Encyclopedia of Mathematics , Springer, ISBN 978-1-55608-010-4 , https://www.encyclopediaofmath.org/index.php?title=Hypercomplex_number
History of the Hypercomplexes on hyperjeff.com
Hypercomplex.info
Weisstein, Eric W. "Hypercomplex number" . mathworld.wolfram.com (英語).
E. Study, "On systems of complex numbers and their application to the theory of transformation groups" (English translation)
G. Frobenius, "Theory of hypercomplex quantities" (英語)
小川のn元数