分解型複素数
線型代数学における分解型複素数(ぶんかいがたふくそすう、英語: split-complex number; 分裂複素数)とは、二つの実数 x, y と j2 = +1 を満たす(実数ではない)ものを用いて z = x + yj の形に表される「数」である。
分解型複素数と通常の複素数の最も大きな幾何学的な違いは、通常の複素数の乗法が R2 における通常の自乗ユークリッドノルム (x2 + y2) に従う一方、分解型複素数の乗法が自乗ミンコフスキーノルム (x2 − y2) に従うことである。
代数的には、分解型複素数は(通常の複素数には無い)非自明(0 でも 1 でもない)な冪等元を含むという興味深い性質を持つ。また、全ての分解型複素数が成す集合は体にはならないが、その代わりに環を成す。
分解型複素数には他の呼び名がたくさんある(別称節を参照)。分解型 (split) というのは、(p, p)-型の(計量二次形式の)符号数が「分解型符号数」(split signature)と呼ばれることからきている。つまり、分解型複素数は分解型符号数 (1, 1) を持つ複素数の類似である。
定義
分解型複素数は z = x + jy なる形をしており、ここで x, y は実数で、量 j は j2 = +1 を満たす。ここで代わりに j2 = −1 として得られるものが通常の複素数であり、この符号の違いが分解型複素数と通常の複素数を区別するものになっている。この量 j は実数(つまり ±1)ではなく、実数とは独立な量(「虚数単位」)である。
このような z の全体を集めた集合は分解型複素平面 (split-complex plane)と呼ばれる。分解型複素数の加法と乗法は
- (x + jy) + (u + jv) = (x + u) + j(y + v),
- (x + jy)(u + jv) = (xu + yv) + j(xv + yu)
で定義される。この乗法は可換結合的であり、加法に対して分配的である。
共軛、ノルムおよび内積
ちょうど通常の複素数に対して定義するのと同様にして、分解型複素共軛 (split-complex conjugate) の概念を定義することができる。分解型複素数 z = x + jy に対して、その共軛は
- z* = x − jy
で与えられる。この共軛は通常の複素共軛と同様の、例えば
- (z + w)* = z* + w*,
- (zw)* = z*w*,
- (z*)* = z
といった性質を満足する。この3条件は分解型複素数の環が、分解型複素共軛を対合(位数 2 の自己同型)に持つ対合付き環であることを示している。分解型複素数 z = x + jy の絶対値は二次形式
- [math]\lVert z \rVert = z z^* = z^* z = x^2 - y^2[/math]
で与えられる。重要な性質として、絶対値は
- [math]\lVert z w \rVert = \lVert z \rVert \lVert w \rVert[/math]
が成立するという意味で分解型複素数の乗法によって保たれる。しかしこの二次形式は正定値ではなく符号数 (1, 1) を持つ不定値二次形式であるので、この絶対値はノルムとは異なる。分解型複素数に付随する (1, 1)-型双曲的(不定値)内積が
- <z, w> = Re(zw*) = Re(z*w) = xu − yv
によって与えられる。ただし、z = x + jy, w = u + jv である。これを用いると、絶対値の別の表示として
- [math] \lVert z \rVert = \langle z, z \rangle[/math]
と書くことができる。分解型複素数が可逆であることとその絶対値が非零であることとは同値であり、そのとき逆元は
- [math] z^{-1} = z^* / \lVert z \rVert[/math]
で与えられる。可逆でない分解型複素数はヌル元 (null element) と呼ばれ、ヌル元の全体は適当な実数 a をとって a ± ja の形に書ける元の全体と一致する。
対角基底
分解型複素数には非自明な冪等元が2つ存在して、それは e = (1 − j)/2, e* = (1 + j)/2 で与えられる(これらが冪等とは ee = e および e*e* = e* が満たされることであった)。これらはともに
- [math]\lVert e \rVert = \lVert e^* \rVert = e^* e = 0[/math]
ゆえ、ヌル元である。分解型複素平面におけるもう一つの基底として {e, e*} をとるとしばしば便利である。この基底は対角基底あるいはヌル基底と呼ばれる。分解型複素数 z は対角基底を用いて
- z = x + jy = (x − y)e + (x + y)e*
と表せる。実数 a, b に対して、(a, b) で分解型複素数 z = ae + be* を表すとき、分解型複素数の乗法は
- (a1, b1)(a2, b2) = (a1a2, b1b2)
で与えられる。この基底を用いれば、分解型複素数の全体が、加法と乗法を成分ごとのそれで定義した環の直和 R ⊕ R に同型であることがはっきり判る。
対角基底に関して分解型複素共軛は (a, b)* = (b, a) で与えられ、絶対値は ‖(a, b)‖ = ab を満たす。
分解型複素数の幾何
ミンコフスキー内積を備えた実 2-次元線型空間は (1+1)-次元ミンコフスキー空間と呼ばれ、しばしば R1,1 と表される。ユークリッド平面 R2 における幾何学が複素数を用いて記述できるのと同様に、ミンコフスキー平面 R1,1 における幾何学は分解型複素数を用いて記述できる。
ゼロでない任意の実数 a に対し、点集合
- [math]\{ z : \lVert z \rVert = a^2 \}[/math]
は双曲線を成す。この双曲線は左右に (a, 0) を通るものと (−a, 0) を通るものの2つの枝を持つ。a = 1 の場合を単位双曲線 と呼ぶ。各 a に対しその共軛双曲線は
- [math]\{ z : \lVert z \rVert = -a^2 \}[/math]
で与えられる。これは上下に (0, a) を通るものと (0, −a) を通るものの2つの枝を持つ。この双曲面とその共軛双曲面とは、ヌル元全体の集合
- [math]\{ z : \lVert z \rVert = 0 \}[/math]
の成す、対角線上にある2つの漸近線によって隔てられている。しばしばヌル錐 (null cone) とも呼ばれるこの2本の直線は傾き ±1 を持ち、R2 において直交する。
分解型複素数 z, w が <z, w> = 0 を満たすとき、双曲的に直交するという。これは特に通常の複素数の算術として知られている通常の意味での直交性の類似であるけれども、この条件はそれよりは判りにくいものである。これは時空における同時超平面 (simultaneous hyperplane) の概念の根幹を成す。
複素数に対するオイラーの公式の分解型複素数に関する類似物として
- [math]\exp(j\theta) = \cosh(\theta) + j\sinh(\theta)[/math]
が成立する。このことは、双曲線余弦関数 cosh(θ) の冪級数展開が偶数次の項のみからなり、双曲線正弦関数 sinh(θ) が奇数次の項のみからなることを用いて導出することができる。任意の実数値を取る双曲角 (hyperbolic angle) θ に対し、分解型複素数 λ = exp(jθ) はノルムが 1 で単位双曲線の右側の枝上にある。このような数 λ は双曲ベルソルと呼ばれる。
λ は絶対値が 1 であるから、任意の分解型複素数 z への λ を掛ける操作は z の絶対値を保ち、双曲的回転(狭義ローレンツ変換、縮小写像とも)を表現する(「回転」というのは絶対値 1 の通常の複素数を掛ける操作が R2 の回転を引き起こすことからの示唆)。λ を掛ける操作は、双曲線をそれ自身に写し、ヌル錐をそれ自身に写すという意味で、幾何学的な構造を保つ。
分解型複素平面上の絶対値を保存する(同じことだが内積を保存する)変換全体の成す集合は一般直交群 O(1,1) と呼ばれる群を成す。この群は双曲的回転と
- [math]z\mapsto\pm z, \quad z\mapsto\pm z^{*}[/math]
で与えられる4つの離散的鏡映変換の組み合わせからなる(双曲的回転の全体は SO+(1,1) で表される O(1,1) の部分群を成す)。
双曲角 θ を双曲回転 exp(jθ) へ写す指数写像
- [math]\exp\colon(\mathbb R, +) \to \mathrm{SO}^{+}(1,1)[/math]
は通常の指数法則を用いれば
- [math]e^{j(\theta+\phi)} = e^{j\theta}e^{j\phi}[/math]
が成立するから、群同型である。
代数的性質
抽象代数学の言葉では、分解型複素数の全体は多項式環 R[x] の x2 − 1 が生成するイデアルによる商環
- R[x]/(x2 − 1)
として記述できる。この商における x の像が「虚数単位」j である。この方法だと、分解型複素数の全体が標数 0 の可換環を成すことは明らかである。さらに自明な仕方でスカラー倍を定義して、分解型複素数の全体は実 2-次元の可換な多元環となる。この多元環は可逆元ではないヌル元をもつから斜体でも可換体でもない。事実として、非零ヌル元はすべて零因子である。加法と乗法は平面の通常の位相に関して連続であるから、分解型複素数の全体は位相環を成す。
分解型複素数の全体は「ノルム」が正定値ではないから、術語を通常の意味に解する限りはノルム代数を成さない。しかし、定義を拡張して一般の符号数を持つノルムというものを考えれば、その意味でのノルム代数と考えることができる。これは以下の事実
- [math] \lVert zw \rVert = \lVert z \rVert \lVert w \rVert[/math]
から従う。一般符号数を持つノルム代数の詳細はHarveyの文献を参照。
定義により、分解型複素数の環は巡回群 C2 の実数体 R 上の群環 R[C2] に同型であることが従う。
分解型複素数全体の環はクリフォード代数の特別の場合で、正定値二次形式を備えた一次元ベクトル空間上のクリフォード代数になっている。対して通常の複素数は負定値二次形式を備えた一次元ベクトル空間上のクリフォード代数である(注意:著者によってはクリフォード代数における符号を逆にしているものがあるので、その場合は正定値と負定値を入れ替えて読む必要がある)。 数学的には分解型複素数というものはクリフォード代数 Cℓ1,0(R) = Cℓ01,1(R) の元のことである。実数を同様に拡張して複素数を C = Cℓ0,1(R) = Cℓ02,0(R) と定義することができる。
行列表現
分解型複素数は行列を用いて簡単に表示できる。分解型複素数
- z = x + jy
は対応
- [math]z \mapsto \begin{pmatrix}x & y \\ y & x\end{pmatrix}[/math]
により行列で表示できる。分解型複素数の加法と乗法は行列の加法と乗法によって与えられる。z の絶対値は対応する行列の行列式の値として得られる。分解型複素共軛は両側から次の行列
- [math]C = \begin{pmatrix}1 & 0 \\ 0 & -1\end{pmatrix}[/math]
を掛けることに対応する。任意の実数 a に対し、双曲角 a の双曲的回転は行列
- [math]\begin{pmatrix}\cosh a & \sinh a \\ \sinh a & \cosh a\end{pmatrix}[/math]
を掛けることに対応する。分解型複素平面の対角基底は、z = x + jy を順序対 (x, y) で表し、写像
- [math](u,v) = (x,y) \begin{pmatrix}1 & 1 \\1 & -1\end{pmatrix}[/math]
を作ることによって想起される。すると二次形式は uv = (x + y)(x − y) = x2 − y2 で得られる。さらに
- [math](\cosh a, \sinh a)\begin{pmatrix}1 & 1\\1 & -1\end{pmatrix} = (e^a, e^{-a})[/math]
だから、2つのパラメータ付けられた双曲線は互いに他方へ写される。ベルソル ebj の作用は従って線型変換
- [math](u,v) \mapsto (r u, v/r) , r = e^b[/math]
のもとで縮小写像に対応する。
この対応は A = B = R1,1, C = D = R2 とし、f を双曲ベルソルの作用、g と h を行列による線型変換、k を縮小写像とすることで上記の可換図式として解釈できる。
歴史
分解型複素数の使用は、1848年にジェームズ・クックルがテッサリンの概念を発明したときにまで遡れる。ウィリアム・クリフォードはスピンの和を表すために分解型複素数を用いている。クリフォードは、分解型複素数を今日分解型双四元数と呼ばれる四元数代数の係数としての使用法を導入した。彼はその元を「運動」("motors") と呼んで分解型複素数の研究で幾度か用いている。
20世紀に入ると、分解型複素数は双曲的回転によって基準系間の速度変化をよく表していたため、時空平面におけるローレンツ変換や空間の相対性を記述するものとして表舞台に現れる。
1935年、J.C. Vignaux, A. Durañona, Vedia らは Contribución a las Ciencias Físicas y Matemáticas, National University of La Plata, República Argentina (in Spanish) における4つの論文で分解型複素幾何代数や函数論を展開した。See the article on functions of a motor variable for details.
1941年 E.F. Allen は分解型複素幾何の算術を用いて zz* = 1 に内接する三角形の9点双曲線を構成した。
別称
分解型複素数の名称は著者によってかなりバラつきがある。いくつか挙げれば
- 実テッサリン: (real) tessarines, James Cockle (1848)
- 代数的運動: (algebraic) motors, W.K. Clifford (1882)
- 双曲(型)複素数: hyperbolic complex numbers, J.C. Vignaux (1935) and G. Sobczyk (1995)
- 反複素数、双曲的数: countercomplex or hyperbolic numbers from Musean hypernumbers
- 二重数: double numbers, I.M. Yaglom (1968) and Hazewinkel (1990)
- 異常複素数、超準複素数: anormal-complex numbers, W. Benz (1973)
- 双数: dual numbers, L. Kauffman (1985) and J. Hucks (1993)
- 当惑数、複雑数: perplex numbers, P. Fjelstad (1986) [see De Boer (1987) for the identification]
- ローレンツ数: Lorentz numbers, F.R. Harvey (1990)
- 分裂複素数、分解型複素数: split-complex numbers, B. Rosenfeld (1997)
分解型複素数やその高次元版(分解型四元数や分解型八元数)はシャルル・ミュゼenが考案したハイパー数en計画の部分集合であるため、「ミュゼ数」としてたびたび言及される。
関連項目
分解型複素数の高次元版は、ケーリー-ディクソン構成を修正することによって得られる
包絡環と数の目録に関して
参考文献
- Cockle, James (1848) "A New Imaginary in Algebra", London-Edinburgh-Dublin Philosophical Magazine (3) 33:345-9.
- Clifford, W.K.,Mathematical Works (1882) edited by A.W.Tucker,pp.392,"Further Notes on Biquaternions"
- Vignaux, J.(1935) "Sobre el numero complejo hiperbolico y su relacion con la geometria de Borel", Contribucion al Estudio de las Ciencias Fisicas y Matematicas, Universidad Nacional de la Plata, Republica Argentina.
- Benz, W. (1973)Vorlesungen uber Geometrie der Algebren, Springer
- C. Musès, Applied hypernumbers: Computational concepts, Appl. Math. Comput. 3 (1977) 211–226.
- C. Musès, Hypernumbers II—Further concepts and computational applications, Appl. Math. Comput. 4 (1978) 45–66.
- Fjelstadt, P. (1986) "Extending Special Relativity with Perplex Numbers", American Journal of Physics 54:416.
- De Boer, R. (1987) "An also known as list for perplex numbers", American Journal of Physics 55(4):296.
- K. Carmody, Circular and hyperbolic quaternions, octonions, and sedenions, Appl. Math. Comput. 28:47–72 (1988)
- F. Reese Harvey. Spinors and calibrations. Academic Press, San Diego. 1990. ISBN 0-12-329650-1. Contains a description of normed algebras in indefinite signature, including the Lorentz numbers.
- Hucks, J. (1993) "Hyperbolic Complex Structures in Physics", Journal of Mathematical Physics 34:5986.
- Introduction to Algebraic Motors
- Louis Kauffman (1985) "Transformations in Special Relativity", International Journal of Theoretical Physics 24:223-36.
- Rosenfeld, B. (1997) Geometry of Lie Groups Kluwer Academic Pub.
- Sobczyk, G.(1995) Hyperbolic Number Plane (PDF)
- K. Carmody, Circular and hyperbolic quaternions, octonions, and sedenions— further results, Appl. Math. Comput. 84:27–48 (1997)
- Yaglom, I. (1968) Complex Numbers in Geometry,translated by E. Primrose from 1963 Russian original, Academic Press, N.Y., pp.18-20.
外部リンク
- perplex number in nLab "(also known as a split-complex number or …)"
- {{#invoke:citation/CS1|citation
|CitationClass=citation }}