二元数

この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。(このテンプレートの使い方)
出典検索^?: "二元数" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL (2016年1月)

数学における二元数(にげんすう、英: binarion)とは、2次元の多元数、すなわち実数体上2次元の単位的結合多元環の元のことである。各二元数 x は適当な基底 {1, u} の実数係数の線型結合 x = a + bu (a, b ∈ R) の形に表される。

多元環における積は双線型であるから、2つの二元数 x = a + bu, y = c + du に対して

xy=(a+bu)(c+du)=ac+(ad+bc)u+bdu^{2}

{\displaystyle xy=(a+bu)(c+du)=ac+(ad+bc)u+bdu^{2}}

これが再び二元数となる(つまり乗法について閉じている)ためには、u の平方が再び {1, u} の線型結合に書けることが必要かつ十分である。

以下の3つは実二次元の単位的多元環である:

実は二元数は本質的にこの3種しかないことが示される。

二元数の分類定理

定理^[1]^[2]^[3]^:14,15: 同型を除いて、実数体上二次元の単位的多元環は通常の複素数体、分解型複素数環、二重数環のちょうど3種類しかない。

証明 — 実数体上二次元の単位的多元環を A とし、実数体上の基底 {1, u} をとれば、適当な実数 a, b を用いて

u^{2}=a+bu

{\displaystyle u^{2}=a+bu}

となる。平方完成を施して

{\tilde {u}}^{2}=a+{\frac {b^{2}}{4}}\quad \left({\tilde {u}}:=u-{\tfrac {b}{2}}\right)

{\displaystyle {\tilde {u}}^{2}=a+{\frac {b^{2}}{4}}\quad \left({\tilde {u}}:=u-{\tfrac {b}{2}}\right)}

と書くことができるから、右辺が実数値であることに注意すれば、その値に従って以下の三分律が成り立つ:

4a = −b² のとき、従って ũ² = 0。このとき、ũ ↦ ε は A と二重数環との同型を与える。
4a > −b² のとき、正の実数 c := √a + b²⁄4 が取れて、v := 1/cũ は v² = +1 を満たす。このとき、v ↦ j は A と分解型複素数環との同型である。
4a < −b² のとき、正の実数 d := √b²⁄4 − a が取れて、w = 1/dũ は w² = −1。このとき、A と複素数体との同型は w ↦ i によって定まる。

複素数の全体は体を成す(同型を除いて)唯一の二元数代数である。
分解型複素数は実数とは異なる 1 の冪根を持ち、冪等元 1/2(1 ± j) および零因子 (1 + j)(1 − j) = 0 を持つ。ゆえに、その全体は多元体とはならないが、これらの性質は十分に意味のあるものである。例えば、特殊相対論のローレンツ変換を記述するために用いることができる。

Mathematics Magazine(2004年版)は二元数代数を「一般化された複素数」として扱う^[4]。四複素数の成す複比の概念は二元数代数に対しても拡張することができる^[5]。

^ Isaak Yaglom (1968) Complex Numbers in Geometry, pages 10 to 14
^ John H. Ewing editor (1991) Numbers, page 237, Springer, ISBN 3-540-97497-0
^ Kantor, I.L., Solodownikow (1978), Hyperkomplexe Zahlen, BSB B.G. Teubner Verlagsgesellschaft, Leipzig
^ Anthony A. Harkin & Joseph B. Harkin (2004) Geometry of Generalized Complex Numbers, Mathematics Magazine 77(2):118–29
^ Sky Brewer (2013) "Projective Cross-ratio on Hypercomplex Numbers", Advances in Applied Clifford Algebras 23(1):1–14