Warning: Undefined variable $type in /home/users/1/sub.jp-asate/web/wiki/extensions/HeadScript/HeadScript.php on line 3
Warning: "continue" targeting switch is equivalent to "break". Did you mean to use "continue 2"? in /home/users/1/sub.jp-asate/web/wiki/includes/json/FormatJson.php on line 297
Warning: Trying to access array offset on value of type bool in /home/users/1/sub.jp-asate/web/wiki/includes/Setup.php on line 660
Warning: session_name(): Session name cannot be changed after headers have already been sent in /home/users/1/sub.jp-asate/web/wiki/includes/Setup.php on line 834
Warning: ini_set(): Session ini settings cannot be changed after headers have already been sent in /home/users/1/sub.jp-asate/web/wiki/includes/session/PHPSessionHandler.php on line 126
Warning: ini_set(): Session ini settings cannot be changed after headers have already been sent in /home/users/1/sub.jp-asate/web/wiki/includes/session/PHPSessionHandler.php on line 127
Warning: session_cache_limiter(): Session cache limiter cannot be changed after headers have already been sent in /home/users/1/sub.jp-asate/web/wiki/includes/session/PHPSessionHandler.php on line 133
Warning: session_set_save_handler(): Session save handler cannot be changed after headers have already been sent in /home/users/1/sub.jp-asate/web/wiki/includes/session/PHPSessionHandler.php on line 140
Warning: "continue" targeting switch is equivalent to "break". Did you mean to use "continue 2"? in /home/users/1/sub.jp-asate/web/wiki/languages/LanguageConverter.php on line 773
Warning: Cannot modify header information - headers already sent by (output started at /home/users/1/sub.jp-asate/web/wiki/extensions/HeadScript/HeadScript.php:3) in /home/users/1/sub.jp-asate/web/wiki/includes/Feed.php on line 294
Warning: Cannot modify header information - headers already sent by (output started at /home/users/1/sub.jp-asate/web/wiki/extensions/HeadScript/HeadScript.php:3) in /home/users/1/sub.jp-asate/web/wiki/includes/Feed.php on line 300
Warning: Cannot modify header information - headers already sent by (output started at /home/users/1/sub.jp-asate/web/wiki/extensions/HeadScript/HeadScript.php:3) in /home/users/1/sub.jp-asate/web/wiki/includes/WebResponse.php on line 46
Warning: Cannot modify header information - headers already sent by (output started at /home/users/1/sub.jp-asate/web/wiki/extensions/HeadScript/HeadScript.php:3) in /home/users/1/sub.jp-asate/web/wiki/includes/WebResponse.php on line 46
Warning: Cannot modify header information - headers already sent by (output started at /home/users/1/sub.jp-asate/web/wiki/extensions/HeadScript/HeadScript.php:3) in /home/users/1/sub.jp-asate/web/wiki/includes/WebResponse.php on line 46 http:///mymemo.xyz/wiki/api.php?action=feedcontributions&feedformat=atom&user=1.114.4.74miniwiki - 利用者の投稿記録 [ja]2024-06-15T10:33:20Z利用者の投稿記録MediaWiki 1.31.0分解型複素数2017-12-24T16:05:36Z<p>1.114.4.74: /* 参考文献および外部リンク */</p>
<hr />
<div>[[線型代数学]]における'''分解型複素数'''(ぶんかいがたふくそすう、{{lang-en|''split-complex number''}}; 分裂複素数)とは、二つの[[実数]] ''x'', ''y'' と ''j''<sup>2</sup> = +1 を満たす(実数ではない)ものを用いて ''z'' = ''x'' + ''yj'' の形に表される「数」である。<br />
<br />
分解型複素数と通常の[[複素数]]の最も大きな幾何学的な違いは、通常の複素数の乗法が '''R'''<sup>2</sup> における通常の自乗[[ユークリッドノルム]] (''x''<sup>2</sup> + ''y''<sup>2</sup>) に従う一方、分解型複素数の乗法が自乗[[ミンコフスキーノルム]] (''x''<sup>2</sup> &minus; ''y''<sup>2</sup>) に従うことである。<br />
<br />
代数的には、分解型複素数は(通常の複素数には無い)非自明(0 でも 1 でもない)な[[冪等元]]を含むという興味深い性質を持つ。また、全ての分解型複素数が成す集合は[[可換体|体]]にはならないが、その代わりに[[環 (数学)|環]]を成す。<br />
<br />
分解型複素数には他の呼び名がたくさんある([[#別称|別称節]]を参照)。分解型 {{lang|en|(split)}} というのは、(''p'', ''p'')-型の(計量二次形式の)[[符号数]]が「分解型符号数」{{lang|en|(split signature)}}と呼ばれることからきている。つまり、分解型複素数は分解型符号数 (1, 1) を持つ複素数の類似である。<br />
<br />
== 定義 ==<br />
<br />
'''分解型複素数'''は ''z'' = ''x'' + ''jy'' なる形をしており、ここで ''x'', ''y'' は[[実数]]で、量 ''j'' は ''j''<sup>2</sup> = +1 を満たす。ここで代わりに ''j''<sup>2</sup> = &minus;1 として得られるものが通常の複素数であり、この符号の違いが分解型複素数と通常の複素数を区別するものになっている。この量 ''j'' は実数(つまり &plusmn;1)ではなく、実数とは独立な量(「虚数単位」)である。<br />
<br />
このような ''z'' の全体を集めた集合は'''分解型複素平面''' {{lang|en|(''split-complex plane'')}}と呼ばれる。分解型複素数の[[加法]]と[[乗法]]は<br />
<br />
: (''x'' + ''jy'') + (''u'' + ''jv'') = (''x'' + ''u'') + ''j''(''y'' + ''v''),<br />
: (''x'' + ''jy'')(''u'' + ''jv'') = (''xu'' + ''yv'') + ''j''(''xv'' + ''yu'')<br />
<br />
で定義される。この乗法は[[交換法則|可換]][[結合法則|結合的]]であり、[[加法]]に対して[[分配法則|分配的]]である。<br />
<br />
=== 共軛、ノルムおよび内積 ===<br />
<br />
ちょうど通常の複素数に対して定義するのと同様にして、'''分解型複素共軛''' {{lang|en|(''split-complex conjugate'')}} の概念を定義することができる。分解型複素数 ''z'' = ''x'' + ''jy'' に対して、その共軛は<br />
:''z''<sup>*</sup> = ''x'' &minus; ''jy''<br />
で与えられる。この共軛は通常の複素共軛と同様の、例えば<br />
* (''z'' + ''w'')<sup>*</sup> = ''z''<sup>*</sup> + ''w''<sup>*</sup>,<br />
* (''zw'')<sup>*</sup> = ''z''<sup>*</sup>''w''<sup>*</sup>,<br />
* (''z''<sup>*</sup>)<sup>*</sup> = ''z''<br />
といった性質を満足する。この3条件は分解型複素数の環が、分解型複素共軛を[[対合]](位数 2 の[[自己同型]])に持つ[[対合付き環]]であることを示している。分解型複素数 ''z'' = ''x'' + ''jy'' の'''絶対値'''は[[二次形式]]<br />
: <math>\lVert z \rVert = z z^* = z^* z = x^2 - y^2</math><br />
で与えられる。重要な性質として、絶対値は<br />
: <math>\lVert z w \rVert = \lVert z \rVert \lVert w \rVert</math><br />
が成立するという意味で分解型複素数の乗法によって保たれる。しかしこの二次形式は[[正定値]]ではなく[[符号数]] (1, 1) を持つ不定値二次形式であるので、この絶対値は[[ノルム]]とは異なる。分解型複素数に付随する (1, 1)-型双曲的(不定値)'''内積'''が<br />
: &lt;''z'', ''w''&gt; = Re(''zw''<sup>*</sup>) = Re(''z''<sup>*</sup>''w'') = ''xu'' &minus; ''yv''<br />
によって与えられる。ただし、''z'' = ''x'' + ''jy'', ''w'' = ''u'' + ''jv'' である。これを用いると、絶対値の別の表示として<br />
: <math> \lVert z \rVert = \langle z, z \rangle</math><br />
と書くことができる。分解型複素数が可逆であることとその絶対値が非零であることとは[[同値]]であり、そのとき[[逆元]]は<br />
: <math> z^{-1} = z^* / \lVert z \rVert</math><br />
で与えられる。可逆でない分解型複素数は'''ヌル元''' {{lang|en|(''null element'')}} と呼ばれ、ヌル元の全体は適当な実数 ''a'' をとって ''a'' &plusmn; ''ja'' の形に書ける元の全体と一致する。<br />
<br />
=== 対角基底 ===<br />
<br />
分解型複素数には非自明な[[冪等元]]が2つ存在して、それは ''e'' = (1 &minus; ''j'')/2, ''e''<sup>*</sup> = (1 + ''j'')/2 で与えられる(これらが冪等とは ''ee'' = ''e'' および ''e''<sup>*</sup>''e''<sup>*</sup> = ''e''<sup>*</sup> が満たされることであった)。これらはともに<br />
: <math>\lVert e \rVert = \lVert e^* \rVert = e^* e = 0</math><br />
ゆえ、ヌル元である。分解型複素平面におけるもう一つの基底として {''e'', ''e''<sup>*</sup>} をとるとしばしば便利である。この基底は'''対角基底'''あるいは'''ヌル基底'''と呼ばれる。分解型複素数 ''z'' は対角基底を用いて<br />
:''z'' = ''x'' + ''jy'' = (''x'' &minus; ''y'')''e'' + (''x'' + ''y'')''e''<sup>*</sup><br />
と表せる。実数 ''a'', ''b'' に対して、(''a'', ''b'') で分解型複素数 ''z'' = ''ae'' + ''be''<sup>*</sup> を表すとき、分解型複素数の乗法は<br />
: (''a''<sub>1</sub>, ''b''<sub>1</sub>)(''a''<sub>2</sub>, ''b''<sub>2</sub>) = (''a''<sub>1</sub>''a''<sub>2</sub>, ''b''<sub>1</sub>''b''<sub>2</sub>)<br />
で与えられる。この基底を用いれば、分解型複素数の全体が、加法と乗法を成分ごとのそれで定義した環の[[直和]] '''R''' &oplus; '''R''' に同型であることがはっきり判る。<br />
<br />
対角基底に関して分解型複素共軛は (''a'', ''b'')<sup>*</sup> = (''b'', ''a'')<br />
で与えられ、絶対値は &#x2016;(''a'', ''b'')&#x2016; = ''ab'' を満たす。<br />
<br />
== 分解型複素数の幾何 ==<!-- 本節は[[ローレンツ変換]]と関係がある --><br />
[[Image:Drini-conjugatehyperbolas.png|thumb|青:単位直交双曲線 &#x2016;''z''&#x2016; = 1, 緑:共軛双曲線 &#x2016;''z''&#x2016; = &minus;1, 赤:漸近線 &#x2016;''z''&#x2016; = 0]]<br />
<br />
ミンコフスキー内積を備えた実 2-次元[[線型空間]]は (1+1)-次元[[ミンコフスキー空間]]と呼ばれ、しばしば '''R'''<sup>1,1</sup> と表される。ユークリッド平面 '''R'''<sup>2</sup> における幾何学が複素数を用いて記述できるのと同様に、ミンコフスキー平面 '''R'''<sup>1,1</sup> における幾何学は分解型複素数を用いて記述できる。<br />
<br />
ゼロでない任意の実数 ''a'' に対し、点集合<br />
:<math>\{ z : \lVert z \rVert = a^2 \}</math><br />
は[[双曲線]]を成す。この双曲線は左右に (''a'', 0) を通るものと (&minus;''a'', 0) を通るものの2つの枝を持つ。''a'' = 1 の場合を'''単位双曲線''' と呼ぶ。各 ''a'' に対しその共軛双曲線は<br />
:<math>\{ z : \lVert z \rVert = -a^2 \}</math><br />
で与えられる。これは上下に (0, ''a'') を通るものと (0, &minus;''a'') を通るものの2つの枝を持つ。この双曲面とその共軛双曲面とは、ヌル元全体の集合<br />
:<math>\{ z : \lVert z \rVert = 0 \}</math><br />
の成す、対角線上にある2つの[[漸近線]]によって隔てられている。しばしば'''ヌル錐''' {{lang|en|(''null cone'')}} とも呼ばれるこの2本の直線は傾き &plusmn;1 を持ち、'''R'''<sup>2</sup> において[[直交]]する。<br />
<br />
分解型複素数 ''z'', ''w'' が &lt;''z'', ''w''&gt; = 0 を満たすとき、[[双曲的直交|双曲的に直交する]]という。これは特に通常の複素数の算術として知られている通常の意味での直交性の類似であるけれども、この条件はそれよりは判りにくいものである。これは時空における同時超平面 (simultaneous hyperplane) の概念の根幹を成す。<br />
<br />
複素数に対する[[オイラーの公式]]の分解型複素数に関する類似物として<br />
:<math>\exp(j\theta) = \cosh(\theta) + j\sinh(\theta)</math><br />
が成立する。このことは、[[双曲線関数|双曲線余弦関数]] cosh(&theta;) の冪級数展開が偶数次の項のみからなり、[[双曲線関数|双曲線正弦関数]] sinh(&theta;) が奇数次の項のみからなることを用いて導出することができる。任意の実数値を取る[[双曲角]] (hyperbolic angle) &theta; に対し、分解型複素数 &lambda; = exp(''j''&theta;) はノルムが 1 で単位双曲線の右側の枝上にある。このような数 &lambda; は'''双曲ベルソル'''と呼ばれる。<br />
<br />
&lambda; は絶対値が 1 であるから、任意の分解型複素数 ''z'' への &lambda; を掛ける操作は ''z'' の絶対値を保ち、'''双曲的回転'''(狭義ローレンツ変換、縮小写像とも)を表現する(「回転」というのは絶対値 1 の通常の複素数を掛ける操作が '''R'''<sup>2</sup> の回転を引き起こすことからの示唆)。&lambda; を掛ける操作は、双曲線をそれ自身に写し、ヌル錐をそれ自身に写すという意味で、幾何学的な構造を保つ。<br />
<br />
分解型複素平面上の絶対値を保存する(同じことだが内積を保存する)変換全体の成す集合は[[一般直交群]] O(1,1) と呼ばれる[[群 (数学)|群]]を成す。この群は双曲的回転と<br />
:<math>z\mapsto\pm z, \quad z\mapsto\pm z^{*}</math><br />
で与えられる4つの[[離散的]][[鏡映|鏡映変換]]の組み合わせからなる(双曲的回転の全体は SO<sup>+</sup>(1,1) で表される O(1,1) の部分群を成す)。<br />
<br />
双曲角 &theta; を双曲回転 exp(''j''&theta;) へ写す指数写像<br />
:<math>\exp\colon(\mathbb R, +) \to \mathrm{SO}^{+}(1,1)</math><br />
は通常の指数法則を用いれば<br />
:<math>e^{j(\theta+\phi)} = e^{j\theta}e^{j\phi}</math><br />
が成立するから、[[群同型]]である。<br />
<br />
== 代数的性質 ==<br />
[[抽象代数学]]の言葉では、分解型複素数の全体は[[多項式環]] '''R'''[''x''] の ''x''<sup>2</sup> &minus; 1 が生成する[[イデアル]]による[[商環]]<br />
<br />
:'''R'''[''x'']/(''x''<sup>2</sup> &minus; 1)<br />
<br />
として記述できる。この商における ''x'' の像が「虚数単位」''j'' である。この方法だと、分解型複素数の全体が[[標数]] 0 の[[可換環]]を成すことは明らかである。さらに自明な仕方でスカラー倍を定義して、分解型複素数の全体は実 2-次元の可換な[[多元環]]となる。この多元環は可逆元ではないヌル元をもつから[[斜体]]でも[[可換体]]でもない。事実として、非零ヌル元はすべて[[零因子]]である。加法と乗法は平面の通常の位相に関して連続であるから、分解型複素数の全体は[[位相環]]を成す。<br />
<br />
分解型複素数の全体は「ノルム」が正定値ではないから、術語を通常の意味に解する限りは[[ノルム代数]]を成さない。しかし、定義を拡張して一般の符号数を持つノルムというものを考えれば、その意味でのノルム代数と考えることができる。これは以下の事実<br />
<br />
:<math> \lVert zw \rVert = \lVert z \rVert \lVert w \rVert</math><br />
<br />
から従う。一般符号数を持つノルム代数の詳細はHarveyの文献を参照。<br />
<br />
定義により、分解型複素数の環は[[巡回群]] ''C''<sub>2</sub> の実数体 '''R''' 上の[[群環]] '''R'''[''C''<sub>2</sub>] に同型であることが従う。<br />
<br />
分解型複素数全体の環は[[クリフォード代数]]の特別の場合で、'''正定値二次形式'''を備えた一次元ベクトル空間上のクリフォード代数になっている。対して通常の複素数は負定値二次形式を備えた一次元ベクトル空間上のクリフォード代数である(注意:著者によってはクリフォード代数における符号を逆にしているものがあるので、その場合は正定値と負定値を入れ替えて読む必要がある)。<br />
[[数学]]的には'''分解型複素数'''というものは[[クリフォード代数]] ''C''&#x2113;<sub>1,0</sub>('''R''') = ''C''&#x2113;<sup>0</sup><sub>1,1</sub>('''R''') の元のことである。[[実数]]を同様に拡張して[[複素数]]を '''C''' = ''C''&#x2113;<sub>0,1</sub>('''R''') = ''C''&#x2113;<sup>0</sup><sub>2,0</sub>('''R''') と定義することができる。<br />
<br />
== 行列表現 ==<br />
分解型複素数は[[行列]]を用いて簡単に表示できる。分解型複素数<br />
: ''z'' = ''x'' + ''jy''<br />
は対応<br />
:<math>z \mapsto \begin{pmatrix}x & y \\ y & x\end{pmatrix}</math><br />
により行列で表示できる。分解型複素数の加法と乗法は行列の加法と乗法によって与えられる。''z'' の絶対値は対応する行列の[[行列式]]の値として得られる。分解型複素共軛は両側から次の行列<br />
:<math>C = \begin{pmatrix}1 & 0 \\ 0 & -1\end{pmatrix}</math><br />
を掛けることに対応する。任意の実数 ''a'' に対し、双曲角 ''a'' の双曲的回転は行列<br />
:<math>\begin{pmatrix}\cosh a & \sinh a \\ \sinh a & \cosh a\end{pmatrix}</math><br />
を掛けることに対応する。分解型複素平面の対角基底は、''z'' = ''x'' + ''jy'' を順序対 (''x'', ''y'') で表し、写像<br />
:<math>(u,v) = (x,y) \begin{pmatrix}1 & 1 \\1 & -1\end{pmatrix}</math><br />
を作ることによって想起される。すると二次形式は ''uv'' = (''x'' + ''y'')(''x'' &minus; ''y'') = ''x''<sup>2</sup> &minus; ''y''<sup>2</sup> で得られる。さらに<br />
:<math>(\cosh a, \sinh a)\begin{pmatrix}1 & 1\\1 & -1\end{pmatrix} = (e^a, e^{-a})</math><br />
だから、2つの[[一径数群|パラメータ付けられた]]双曲線は互いに他方へ写される。ベルソル ''e''<sup>''bj''</sup> の[[群作用|作用]]は従って線型変換<br />
:<math>(u,v) \mapsto (r u, v/r) , r = e^b</math><br />
のもとで[[縮小写像]]に対応する。<br />
[[file:Commutative_square.svg|150px|center]]<br />
この対応は ''A'' = ''B'' = '''R'''<sup>1,1</sup>, ''C'' = ''D'' = '''R'''<sup>2</sup> とし、''f'' を双曲ベルソルの作用、''g'' と ''h'' を行列による線型変換、''k'' を縮小写像とすることで上記の[[可換図式]]として解釈できる。<br />
<br />
== 歴史 ==<br />
<br />
分解型複素数の使用は、[[1848年]]に[[ジェームズ・クックル]]が[[テッサリン]]の概念を発明したときにまで遡れる。[[ウィリアム・クリフォード]]はスピンの和を表すために分解型複素数を用いている。クリフォードは、分解型複素数を今日[[分解型双四元数]]と呼ばれる四元数代数の係数としての使用法を導入した。彼はその元を「運動」{{lang|en|("motors")}} と呼んで分解型複素数の研究で幾度か用いている。<br />
<br />
[[20世紀]]に入ると、分解型複素数は双曲的回転によって基準系間の速度変化をよく表していたため、時空平面における[[ローレンツ変換]]や[[空間の相対性]]を記述するものとして表舞台に現れる。<br />
<br />
[[1935年]]、J.C. Vignaux, A. Durañona, Vedia らは ''Contribución a las Ciencias Físicas y Matemáticas'', [[National University of La Plata]], [[Argentina|República Argentina]] (in Spanish) における4つの論文で分解型複素幾何代数や函数論を展開した。See the article on functions of a [[motor variable]] for details.<br />
<br />
[[1941年]] E.F. Allen は分解型複素幾何の算術を用いて ''zz''<sup>*</sup> = 1 に内接する三角形の[[9点双曲線]]を構成した。<br />
<br />
== 別称 ==<br />
<br />
分解型複素数の名称は著者によってかなりバラつきがある。いくつか挙げれば<br />
<br />
* 実テッサリン: (''real'') ''tessarines'', James Cockle (1848)<br />
* 代数的運動: (''algebraic'') ''motors'', W.K. Clifford (1882)<br />
* 双曲(型)複素数: ''hyperbolic complex numbers'', J.C. Vignaux (1935) and G. Sobczyk (1995)<br />
* 反複素数、双曲的数: ''countercomplex'' or ''hyperbolic'' numbers from [[Musean hypernumber]]s<br />
* 二重数: ''double numbers'', [[Isaak Yaglom|I.M. Yaglom]] (1968) and [[Michiel Hazewinkel|Hazewinkel]] (1990)<br />
* 異常複素数、超準複素数: ''anormal-complex numbers'', W. Benz (1973)<br />
* 双数: ''dual numbers'', L. Kauffman (1985) and J. Hucks (1993)<br />
* 当惑数、複雑数: ''perplex numbers'', P. Fjelstad (1986) [see De Boer (1987) for the identification]<br />
* ローレンツ数: ''Lorentz numbers'', F.R. Harvey (1990)<br />
* 分裂複素数、分解型複素数: ''split-complex numbers'', B. Rosenfeld (1997)<br />
<br />
分解型複素数やその高次元版([[分解型四元数]]や[[分解型八元数]])は[[シャルル・ミュゼ]]<sup>[[:en:Charles Musès|en]]</sup>が考案した[[ミュゼハイパー数|ハイパー数]]<sup>[[:en:Musean hypernumber|en]]</sup>計画の部分集合であるため、「ミュゼ数」としてたびたび言及される。<br />
<br />
== 関連項目 ==<br />
<br />
*[[ローレンツ群]]<br />
*[[ミンコフスキー空間]]<br />
<br />
分解型複素数の高次元版は、[[ケーリー-ディクソン構成]]を修正することによって得られる<br />
<br />
*[[分解型四元数]](双対四元数 coquaternion)<br />
*[[分解型八元数]]<br />
<br />
包絡環と数の目録に関して<br />
<br />
*[[クリフォード代数]]<br />
*[[超複素数系]]<br />
*[[リー環]]<br />
<br />
== 参考文献 ==<br />
{{参照方法|section=1|date=2017年12月}}<br />
* Cockle, James (1848) "A New Imaginary in Algebra", ''London-Edinburgh-Dublin Philosophical Magazine'' (3) '''33''':345-9.<br />
* Clifford, W.K.,''Mathematical Works'' (1882) edited by A.W.Tucker,pp.392,"Further Notes on [[Clifford biquaternion|Biquaternion]]s"<br />
* 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.<br />
* Benz, W. (1973)''Vorlesungen uber Geometrie der Algebren'', Springer<br />
* C. Musès, Applied hypernumbers: Computational concepts, Appl. Math. Comput. 3 (1977) 211–226.<br />
* C. Musès, Hypernumbers II—Further concepts and computational applications, Appl. Math. Comput. 4 (1978) 45–66.<br />
* Fjelstadt, P. (1986) "Extending Special Relativity with Perplex Numbers", ''American Journal of Physics'' '''54''':416.<br />
* De Boer, R. (1987) "An also known as list for perplex numbers", ''American Journal of Physics'' '''55'''(4):296.<br />
* K. Carmody, Circular and hyperbolic quaternions, octonions, and sedenions, Appl. Math. Comput. 28:47–72 (1988)<br />
* 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.<br />
<!--* Hazewinkle, M. (1994) editor [[Encyclopaedia of Mathematics]] Soviet/AMS/Kluwer, Dordrect.--><br />
* Hucks, J. (1993) "Hyperbolic Complex Structures in Physics", ''Journal of Mathematical Physics'' '''34''':5986.<br />
* [http://ca.geocities.com/cocklebio/algmotor.html Introduction to Algebraic Motors]<br />
* [[Louis Kauffman]] (1985) "Transformations in Special Relativity", [[International Journal of Theoretical Physics]] 24:223-36.<br />
* Rosenfeld, B. (1997) ''Geometry of Lie Groups'' Kluwer Academic Pub.<br />
* Sobczyk, G.(1995) [http://www.garretstar.com/HYP2.PDF Hyperbolic Number Plane (PDF)]<br />
* K. Carmody, Circular and hyperbolic quaternions, octonions, and sedenions— further results, Appl. Math. Comput. 84:27–48 (1997)<br />
* Yaglom, I. (1968) ''Complex Numbers in Geometry'',translated by E. Primrose from 1963 Russian original, Academic Press, N.Y., pp.18-20.<br />
<br />
== 外部リンク ==<br />
* {{nlab|urlname=perplex+number|title=perplex number}} "(also known as a split-complex number or …)"<br />
* {{SpringerEOM|urlname=Double_and_dual_numbers|title=Double and dual numbers|first=I.V.|last=Dolgachev}}<br />
<br />
{{Number Systems}}<br />
{{DEFAULTSORT:ふんかいかたふくそすう}}<br />
[[Category:数学に関する記事]]<br />
[[Category:超複素数系]]</div>1.114.4.74 Warning: Cannot modify header information - headers already sent by (output started at /home/users/1/sub.jp-asate/web/wiki/extensions/HeadScript/HeadScript.php:3) in /home/users/1/sub.jp-asate/web/wiki/includes/WebResponse.php on line 46