分解型複素数

分解型複素数とは、数学において、2つの実数 //x//, //y//}} と 1=//j//sup を満たす実数でない量を用いて 1=//z// = //x// + //yj//}} と表せる数のことである。

分解型複素数と通常の複素数の最も大きな幾何学的な違いは、通常の複素数の乗法が ℝsup における通常の自乗ユークリッドノルム //x//sup に従う一方、分解型複素数の乗法が自乗ミンコフスキーノルム //x//sup に従うことである。

代数的には、分解型複素数は非自明な冪等元を含むという興味深い性質を持つ。また、全ての分解型複素数が成す集合は体にはならないが、その代わりに環を成す。

分解型複素数には他の呼び名がたくさんある。「分解型」en というのは、}}-型の符号数が「分解型符号数」 と呼ばれることからきている。つまり、分解型複素数は分解型符号数 }} を持つ複素数の類似である。

1. 定義
-----

分解型複素数は //z// =}} //x// + //jy//}} なる形をしている。ここで //x//, //y//}} は実数で、量 j}} は 1=//j//sup を満たす、実数でない量である。

通常の複素数と異なるのは、虚数単位が 1=//i//sup でなく 1=//j//sup であることである。

分解型複素数 z}} 全体からなる集合は分解型複素平面 en と呼ばれる。分解型複素数の加法と乗法は

1= +  =  + //j//}}, で定義される。この乗法は可換結合的であり、加法に対して分配的である。

1.1. 共軛、ノルムおよび内積
----------------

複素数における複素共役と同様に、分解型複素共軛 en の概念を定義することができる。分解型複素数 1=//z// = //x// + //jy//}} に対して、その共軛は

で与えられる。この共軛は、複素共役と同様に、

などの性質を満たす。この3条件は分解型複素数の環が、分解型複素共軛を対合に持つ対合付き環であることを示している。分解型複素数 1=//z// = //x// + //jy//}} の絶対値は二次形式

で与えられる。重要な性質として、絶対値は

が成立するという意味で分解型複素数の乗法と両立する。ただし、この二次形式は正定値ではなく符号数 }} を持つ不定値二次形式であるので、この絶対値は平方根をとるわけにはいかないし取れたとしてもノルムにはならない。分解型複素数に付随する }}-型双曲的内積が

によって与えられる。ただし、1=//z// = //x// + //jy//, //w// = //u// + //jv//}} である。これを用いると、絶対値の別の表示として

と書くことができる。分解型複素数が可逆であることとその絶対値が非零であることとは同値であり、そのとき逆元は

で与えられる。可逆でない分解型複素数はヌル元 en と呼ばれ、ヌル元の全体は適当な実数 a}} をとって //a// ± //ja//}} の形に書ける元の全体と一致する。

1.2. 対角基底
---------

分解型複素数には非自明な冪等元が2つ存在して、それは 1=//e// coloneqq}} /2, //e*// = /2}} で与えられるこれらが冪等とは math。これらはともに

ゆえ、ヌル元である。分解型複素平面におけるもう一つの基底として mset をとるとしばしば便利である。この基底は対角基底あるいはヌル基底と呼ばれる。分解型複素数 z}} は対角基底を用いて

と表せる。実数 a, b}} の順序対 }} で分解型複素数 //ae// + //be*//}} を表すとき、分解型複素数の乗法は

で与えられる。この基底を用いれば、分解型複素数の全体が環の直和 ℝ ⊕ ℝ}}加法と乗法は成分ごとのそれで定義する。}}に同型であることがはっきり判る。

対角基底に関して分解型複素共軛は 1=* = }} であり、絶対値は 1=norm を満たす。

2. 分解型複素数の幾何
------------

ミンコフスキー内積を備えた実二次元線型空間は }}-次元ミンコフスキー空間と呼ばれ、しばしば ℝsup と表される。ユークリッド平面 ℝsup における幾何学が複素数を用いて記述できるのと同様に、ミンコフスキー平面 ℝsup における幾何学は分解型複素数を用いて記述できる。

0}} でない任意の実数 a}} に対し、点集合

は双曲線を成す。この双曲線は左右に }} を通るものと }} を通るものの2つの枝を持つ。1=//a// = 1}} の場合を単位双曲線 と呼ぶ。各 a}} に対しその共軛双曲線は

で与えられる。これは上下に }} を通るものと }} を通るものの2つの枝を持つ。この双曲面とその共軛双曲面とは、ヌル元全体の集合

の成す、対角線上にある2つの漸近線によって隔てられている。しばしばヌル錐 en とも呼ばれるこの2本の直線は傾き ±1}} を持ち、ℝsup において直交する。

分解型複素数 //z//, //w//}} が 1=angbr を満たすとき、双曲的直交性という。これは特に通常の複素数の算術として知られている通常の意味での直交性の類似であるけれども、この条件はそれよりは判りにくいものである。これは時空における同時超平面  の概念の根幹を成す。

複素数におけるオイラーの公式の分解型複素数に該当する類似物として

が成立する。このことは、双曲線余弦関数 cosh}} の冪級数展開が偶数次の項のみからなり、双曲線正弦関数 sinh}} が奇数次の項のみからなることを用いて導出することができる。任意の実数値を取る双曲角 θ}} に対し、分解型複素数 //λ// coloneqq}} exp}} はノルムが 1}} で単位双曲線の右側の枝上にある。このような数 λ}} は双曲ベルソルと呼ばれる。

λ}} は絶対値が 1}} であるから、任意の分解型複素数 z}} への λ}} を掛ける操作は z}} の絶対値を保ち、双曲的回転を表現する。λ}} を掛ける操作は、双曲線をそれ自身に写し、ヌル錐をそれ自身に写すという意味で、幾何学的な構造を保つ。

分解型複素平面上の絶対値を保存する変換全体の成す集合は不定値直交群 //O//}} と呼ばれる群を成す。この群は双曲的回転と //z// mapsto}} ±//z//}} および //z// mapsto}} ±//z*//}} で与えられる4つの離散的鏡映変換の組み合わせからなる。

双曲角 θ}} を双曲回転 exp}} へ写す指数写像 は、通常の指数法則を用いれば が成立するから、群同型である。

3. 代数的性質
--------

抽象代数学の言葉では、分解型複素数の全体は多項式環 ℝ[//x//]}} の //x//sup が生成するイデアルによる商環

として記述できる。この商における x}} の像 //x// mod (//x//sup が「虚数単位」j}} である。この方法だと、分解型複素数の全体が標数 math の可換環を成すことは明らかである。さらに自明な仕方でスカラー倍を定義して、分解型複素数の全体は実 2-次元の可換な多元環となる。この多元環は可逆元ではないヌル元をもつから斜体でも可換体でもない。事実として、非零ヌル元はすべて零因子である。加法と乗法は平面の通常の位相に関して連続であるから、分解型複素数の全体は位相環を成す。

分解型複素数の全体は「ノルム」が正定値ではないから、術語を通常の意味に解する限りはノルム代数を成さない。しかし、定義を拡張して一般の符号数を持つノルムというものを考えれば、その意味での「ノルム代数」と考えることができる。これは以下の事実

から従う。一般符号数を持つノルム代数の詳細は Harvey を参照。

定義により、分解型複素数の環は位数 math の巡回群 //C//sub に対する実数体 ℝ}} 上の群環 ℝ[//C//sub に同型であることが従う。

分解型複素数全体の環はクリフォード代数の特別の場合で、正定値二次形式を備えた一次元ベクトル空間上のクリフォード代数になっている。対して通常の複素数は負定値二次形式を備えた一次元ベクトル空間上のクリフォード代数である注意：著者によってはクリフォード代数における符号を逆にしているものがあるので、その場合は正定値と負定値を入れ替えて読む必要がある}}。この枠組みにおける分解型複素数はクリフォード代数 1=subsup の元のことである。実数を同様に拡張して複素数を 1=ℂ coloneqq}} subsup と定義することができる。

4. 行列表現
-------

分解型複素数は行列を用いて簡単に表示できる。分解型複素数 1=//z// = //x// + //jy//}} は、対応

により行列で表示できる。分解型複素数の加法と乗法は行列の加法と乗法によって与えられる。z}} の絶対値は対応する行列の行列式の値として得られる。分解型複素共軛は両側から次の行列

を掛けることに対応する。任意の実数 a}} に対し、双曲角 a}} の双曲的回転は行列

を掛けることに対応する。分解型複素平面の対角基底は、1=//z// = //x// + //jy//}} を順序対 }} で表し、写像

を作ることによって想起される。すると二次形式は 1=//uv// =  = //x//sup で得られる。さらに

だから、2つの一径数群双曲線は互いに他方へ写される。ベルソル esup の作用は従って線型変換

のもとで縮小写像に対応する。

この対応は 1=//A// = //B// = ℝsup および 1=//C// = //D// = ℝsup とし、f}} を双曲ベルソルの作用、g, h}} を行列による線型変換、k}} を縮小写像とするとき可換図式

を満足する。

5. 歴史
-----

分解型複素数の使用は、1848年にジェームズ・クックルが双複素数の概念を発明したときにまで遡れる。ウィリアム・キングドン・クリフォードはスピンの和を表すために分解型複素数を用いている。クリフォードは、分解型複素数を今日分解型双四元数と呼ばれる四元数代数の係数としての使用法を導入した。彼はその元を "motor" と呼んで分解型複素数の研究で幾度か用いている。

20世紀に入ると、分解型複素数は双曲的回転によって基準系間の速度変化をよく表していたため、時空平面におけるローレンツ変換や空間の相対性を記述するものとして表舞台に現れる。

1935年に J. C. Vignaux, A. Durañona, Vedia らは雑誌 //Contribución a las Ciencias Físicas y Matemáticas//における4つの論文で分解型複素幾何代数や函数論を展開したVignaux。詳細は分解型複素変数函数の項を参照。

1941年 E.F. Allen は分解型複素幾何の算術を用いて 1=//zz*// = 1}} に内接する三角形の9点双曲線を構成した。

6. 別称
-----

分解型複素数の名称は著者によってかなりバラつきがある。いくつか挙げれば

実テッサリン： //tessarine//,
代数的運動子： //motor//, txt
双曲複素数：//hyperbolic complex number//, J.C. Vignaux  および
反複素数、双曲数：//countercomplex// or //hyperbolic// number
二重数：//double number//, txt および Encyclopedia of Mathematics の "Double and dual numbers" の項
異常複素数：//anormal-complex number//,
双数：//dual number//, txt および
当惑数、複雑数：//perplex number//, txt 416}} [同定は txt 296}} を見よ]
ローレンツ数：//Lorentz number//,
分裂複素数、分解型複素数：//split-complex number//, txt 分解型複素数やその高次元版はシャルル・ミュゼが考案したミュゼのハイパー数計画の部分集合であるため、「ミュゼ数」としてたびたび言及される。

7. 関連項目
-------

ローレンツ群
ミンコフスキー空間分解型複素数の高次元版は、ケーリー＝ディクソン構成を修正することによって得られる。

分解型四元数
分解型八元数包絡環と数の目録に関して

クリフォード代数
多元数
リー代数

8. 注
----

8.1. 注釈
-------

8.2. 出典
-------

9. 参考文献
-------

author=F. Reese Harvey ：不定符号数のノルム代数およびローレンツ数に関する記述を含む。

10. 関連文献
--------

C. Musès, Applied hypernumbers: Computational concepts, Appl. Math. Comput. 3  211–226.
C. Musès, Hypernumbers II—Further concepts and computational applications, Appl. Math. Comput. 4  45–66.
K. Carmody, Circular and hyperbolic quaternions, octonions, and sedenions, Appl. Math. Comput. 28:47–72 
K. Carmody, Circular and hyperbolic quaternions, octonions, and sedenions— further results, Appl. Math. Comput. 84:27–48 

11. 外部リンク
---------

[1]
urlname=perplex+number ""