分割複素数

代数学において分割複素数(または双曲数複素数倍精度数)は、 (式)を満たす双曲単位 jに基づきます。分割複素数は、2 つの実数要素xyを持ち、 と書きます。z共役は です。zとその共役のは、等方性の二次形式であるためです

すべての分割複素数の集合Dは、実数体 上の代数を形成します。2つの分割複素数wzには、 を満たすwz があります。 この代数積上のNの合成により、 ( D , +, ×, *)は合成代数になります。

、成分ごとの加法と乗法に基づく同様の代数xy上の二次形式)次空間を形成します。環同型は二次空間等長変換です

分離複素数には他にも多くの名前があります。以下の§ 同義語を参照してください。分離複素数の関数については、モーター変数の記事を参照してください。

意味

分割複素数は、実数の順序付きペアであり、次の形式で表されます。

ここでxyは実数であり双曲単位[1] jは実数ではなく独立量であり、

複素数体では、 虚数単位i は次の式を満たします。符号の変化により、分割複素数は通常の複素数と区別されます。

このようなzの集合は分割複素平面と呼ばれる分割複素数の加法乗法は次のように定義される。

この乗算は可換結合的であり、加算に対して分配されます

共役、係数、双線形形式

複素数の場合と同様に、複素共役分解の概念を定義することができる。

zの共役は次のように定義される。

共役は複素共役と同様の性質を満たす反転である。すなわち、

分割複素数の二乗係数は等方性二次形式で与えられる。

これは合成代数特性を持ちます:

しかし、この二次形式は正定値ではなく、シグネチャ (1, −1)を持つため、係数はノルムではありませ

関連する双線型形式は次のように与えられる。

ここ実部は で定義される。平方モジュラスの別の表現は次のようになる。

この双線型形式は正定値ではないため、内積ではない。しかし、この双線型形式はしばしば不定内積と呼ばれる。同様の誤用として、法をノルムと呼ぶことがある。

分割複素数は、その法が非ゼロ)のときのみ逆元となる。x ± jx形式をとる数には逆元がなく、零ベクトルと呼ばれる。逆元の乗法逆元は次のように与えられる。

対角基底

およびによって与えられる2 つの非自明なべき等要素があります。べき等性とは、および であることを意味します。これらの要素は両方ともnull です。

分割複素平面の代替基底としてee を用いると便利な場合が多い。この基底は対角基底またはヌル基底と呼ばれる。分割複素数z はヌル基底において次のように表される。

実数abの数を( a , b )表記すると、0は(0,0)、1は(1,1)となり、分割複素加算は次のように表され、分割複素乗算は次のように表される。

対角基底における分割複素共役は次のように与えられ、二乗係数は次のように 与えられる。

同型性

この可換図は、Dの双曲バーサーの作用と、 σを適用した圧縮写像との関係を示している

基底 {e, e*} によれば、分割複素数は、加算と乗算が対で定義された直和と環同型であることが明らかなります

分割複素数平面の対角基底は、xyの順序付きペアを使って、写像

二次形式は、さらに、

したがって、2つのパラメータ化された双曲線はSと対応するようになります

双曲バーサー作用はこの線形変換の下ではスクイーズ写像に対応する。

分割複素平面と 2 つの実直線の直和は、環のカテゴリで同じ同型類に属していますが、直交平面における配置が異なります。平面写像としての同型は、反時計回りに 45° 回転し、2だけ拡大します。特に拡大は、双曲セクターの面積との関連で混乱を引き起こすことがあります。実際、双曲角は、次のように与えられる「単位円」を持つ平面内のセクターの面積に対応します。分割複素平面の縮約された単位双曲線は、対応する双曲セクターのスパンの面積の半分しかありません。このような混乱は、分割複素平面の幾何学がの幾何学と区別されていない場合に永続する可能性があります

幾何学

  単位双曲線: z ‖ = 1
  共役双曲線: z ‖ = −1
  漸近線: z ‖ = 0

ミンコフスキー内積を持つ2 次元実ベクトル空間は(1 + 1)次元ミンコフスキー空間と呼ばれ、しばしばと表記されます。ユークリッド平面⁠の幾何の多くが複素数で記述できるのと同様に、ミンコフスキー平面の幾何学は分割複素数で記述できます。

点の集合

における任意の非零aに対して双曲線である。双曲線は( a , 0)(− a , 0)を通る右枝と左枝から構成される。a = 1 の場合は単位双曲線と呼ばれる共役双曲線は次のように与えられる。

上側と下側の枝はそれぞれ(0, a )(0, − a )を通る。双曲線と共役双曲線は、2つの対角漸近線によって区切られ、これらの漸近線が零元集合を形成する。

これら2本の線(ヌルコーンと呼ばれることもあります)は内で垂直で、傾きは ±1 です。

分割複素数zwが双曲直交性を持つとは、 z , w ⟩ = 0 のときである。これは通常の複素数演算で知られる通常の直交性と類似しているが、この条件はより微妙である。これは時空における同時超平面の概念の基礎となる

分離複素数に対するオイラーの公式の類似は

この式は、cosh は偶数次しか持たないのに対し、sinh は奇数次しか持たないという事実を用いて、冪級数展開から導くことができる。 [2]双曲角θのすべての実数値に対して、分解複素数λ = exp( )はノルム1を持ち、単位双曲線の右枝上にある。λような数は双曲的バーソルと呼ばれている

λは法1を持つため、任意の分解複素数zλを乗じてもzの法は保存され双曲回転ローレンツブーストまたはスクイーズ写像とも呼ばれる)を表します。λ を乗じることで幾何的構造が保存され、双曲線はそれ自身に、ヌルコーンはそれ自身に引き寄せられます。

分割複素平面上のすべての変換で、係数(あるいは内積)を保存するものの集合は、一般化直交群O(1, 1)と呼ばれる群を形成する。この群は、 SO + (1, 1) で表される部分群を形成する双曲回転と、次式で表される4つの離散反射との組み合わせから構成される。

そして

指数マップ

θをexp( )で回転させることは通常の指数式が適用されるため群同型である。

分割複素数z が対角線のいずれにも存在しない場合、z は極分解を持ちます

代数的性質

二次代数として、分割複素数は、多項式環イデアル ⁠割った商として記述することができ、この場合は多項式によって生成される。

商におけるxの像は双曲単位jである。この記述から、分解複素数は実数上の可換代数を形成することが明らかである。この代数は、零元が逆元ではないため、体ではない。零でない零元はすべて零因子である。

加算と乗算は平面の通常の位相に関して連続的な演算であるため、分割複素数は位相環を形成します。

分割複素数の代数は合成代数を形成する。

任意の数zwについて。

定義から、分割複素数環は実数群C 2上の巡回群群環 同型であることが明らかである

D単位元群の単位には4つの平方根があります。例えば、はpの平方根です。さらに、もpの平方根です

べき等元 はそれ自身の平方根であり、

行列表現

行列行列乗算の概念を用いることで、分割複素数を線形代数で表すことができます。実数単位1と双曲数単位jは、 I 2 = J 2 = IかつIJ = JI = JただしJ ± I を満たす任意の行列IとJのペアで表すことができますしたがって分割複素数a + bjは行列aI + bJで表すことができ、分割複素数演算の一般的な規則はすべて行列演算の規則から導出できます。

最も一般的な選択は、1jを2×2の 単位行列 Iと行列Jで表すことである

任意の分割複素数a + bj は次のように表すことができます。

より一般的には、トレースがゼロで行列式が負の1である任意の実数値2×2行列はIに2乗されるためJ選択できます。いずれにせよ、det( aI + bJ ) = a 2b 2 は、分解複素数の2乗係数です。

より大きな行列も使用できます。たとえば、1 は4 × 4単位行列で表され、 j はγ 0 ディラック行列で表されます

歴史

分割複素数の使用は、ジェームズ・コックルがテッサライン[3] を発表した1848年にまで遡りますウィリアム・キングドン・クリフォードは、スピンの和を表すために分割複素数を使用しました。クリフォードは、現在分割双四元数と呼ばれる四元数代数の係数として分割複素数を用いることを導入しました。彼はその要素を「モーター」と呼びました。これは、円周群から得られる通常の複素数の「回転子」作用と類似した用語です。この類推を拡張すると、モーター変数の関数は通常の複素変数の関数とは対照的です

20 世紀後半以来、分割複素乗算は時空平面のローレンツブーストとしてよく見られてきた。[4] [ 5] [6] [7] [8] [9]そのモデルでは、数z = x + y j は時空平面でのイベントを表し、x は秒単位で測定され、y は光秒単位で測定される。未来はイベントの象限{ z  : | y | < x }に対応し、分割複素極分解を持つ。モデルによれば、ラピディティa参照フレームに入り、 ρナノ秒待つことで原点からzに到達できる。単位双曲線上の積を表す分割複素方程式は、 共線速度のラピディティの加法性を示している。イベントの同時性はラピディティaに依存する。は、 ラピディティaの参照フレームで原点と同時に発生するイベントのラインである

2つの事象zw は、 のとき双曲直交です。標準事象exp( aj )j exp( aj )は双曲直交であり、原点と同時に発生する事象がj exp( aj )に比例する参照フレームの軸上にあります

1933年、マックス・ゾーンは分割八元数を用いて合成代数の性質に注目した。彼は、除算代数を生成するために用いられるケーリー・ディクソン構成を(因子ガンマγを用いて)修正することで、分割八元数を含む他の合成代数を構築できることに気づいた。彼の革新は、エイドリアン・アルバート、リチャード・D・シェーファーらによって継承された[10] Rを基底体とするガンマ因子は、分割複素数を合成代数として構築する。数学レビュー誌でアルバートを評論したNHマッコイは、「ケーリー・ディクソン代数を一般化する、 F上の2階eの新しい代数の導入」があったと記している。[11] F = Re = 1とすることは、この論文の代数に対応する。

1935 年、JC Vignaux と A. Durañona y Vedia は、アルゼンチン共和国ラプラタ国立大学のContribución a las Ciencias Físicas y Matemáticas に掲載された 4 つの論文で分割複素幾何代数と関数理論を開発しました(スペイン語)。これらの説明的で教育的なエッセイは、この主題を広く評価するために提示されました。[12]

1941年、EFアレンは分割複素幾何演算を用いてzz =1に内接する三角形の 9点双曲線を証明した。[13]

1956年、ミェチスワフ・ヴァルムスは『近似計算』を『ポーランド科学アカデミー紀要』 ( Bulletin de l'Académie polonaise des sciences)に発表した(参考文献のリンクを参照)。彼は2つの代数体系を開発し、それぞれを「近似数」と名付けた。そのうち2番目の代数体系は実代数を構成する。[14] DHレーマーは『数学レビュー』誌でこの論文をレビューし、この2番目の代数体系が本論文の主題である「双曲複素数」と同型であることを指摘した。

1961 年、ウォームスは近似値の構成要素を、示された間隔の中点と半径として参照しながら、説明を続けました。

同義語

様々な著者が、分解複素数に様々な名前を用いています。例えば、以下のようなものがあります。

  • 実在のテッサリン、ジェームズ・コックル(1848)
  • 代数的モーター、WKクリフォード(1882)
  • 双曲複素数、JC Vignaux (1935)、G. Cree (1949) [15]
  • 双実数、U. Bencivenga (1946)
  • 実双曲数、N.スミス(1949)[16]
  • 近似値、ウォームス(1956)、区間分析での使用
  • ダブルナンバーIMヤグロム(1968)、カントルとソロドヴニコフ(1989)、ヘイズウィンケル(1990)、ルーニー(2014)
  • 双曲数、W.ミラー&R.ボーニング(1968)、[17] G.ソブチク(1995)
  • 異常複素数、W. Benz (1973)
  • パープレックス数、P. Fjelstad (1986) および Poodiack & LeClair (2009)
  • 逆複素数または双曲形、カーモディ(1988)
  • ローレンツ数、FRハーヴェイ(1990)
  • 半複素数、F. アントヌッチオ (1994)
  • パラコンプレックス数、Cruceanu、Fortuny、Gadea (1996)
  • 分割複素数、B.ローゼンフェルド(1997)[18]
  • 時空数、N.ボロタ(2000)
  • 研究番号、P. Lounesto(2001)
  • 2 つの複素数、S. オラリウ (2002)
  • 分割二分関数、K. McCrimmon (2004)

参照

参考文献

  1. ^ Vladimir V. Kisil (2012)メビウス変換の幾何学:SL(2,R)の楕円、放物線、双曲作用、2ページ、161ページ、Imperial College Press ISBN 978-1-84816-858-9
  2. ^ ジェームズ・コックル(1848)代数学における新たな想像力について、哲学雑誌33:438
  3. ^ James Cockle (1849) On a New Imaginary in Algebra 34:37–47、London-Edinburgh-Dublin Philosophical Magazine (3) 33 :435–9、Biodiversity Heritage Libraryからのリンク。
  4. ^ フランチェスコ・アントヌッチオ (1994) 半複素解析と数理物理学
  5. ^ F. カトーニ、D. ボカレッティ、R. カンナータ、V. カトーニ、E. ニケラッティ、P. ザンペッティ。 (2008)ミンコフスキー時空の数学 Birkhäuser Verlag、バーゼル。第 4 章: ミンコフスキー平面の三角法。 ISBN 978-3-7643-8613-9
  6. ^ フランチェスコ・カトーニ;ディノ・ボカレッティ。ロベルト・カンナータ;ヴィンチェンツォ・カトーニ。パオロ・ザンペッティ (2011)。 「第 2 章: 双曲数」。ミンコフスキー時空の幾何学。シュプリンガーのサイエンス&ビジネスメディア。ISBN 978-3-642-17977-8
  7. ^ Fjelstad, Paul (1986)、「パープレックス数による特殊相対論の拡張」、American Journal of Physics54 (5): 416– 422、Bibcode :1986AmJPh..54..416F、doi :10.1119/1.14605
  8. ^ ルイス・カウフマン(1985)「特殊相対論における変換」、国際理論物理学ジャーナル24:223–36。
  9. ^ Sobczyk, G.(1995) 双曲数平面、College Mathematics Journal 26:268–80 にも掲載。
  10. ^ Robert B. Brown (1967)「一般化ケイリー・ディクソン代数について」Pacific Journal of Mathematics 20(3):415–22、Project Euclidからのリンク。
  11. ^ NH McCoy (1942) AA Albert著「合成可能な二次形式」のレビュー、 Mathematical Reviews #0006140
  12. ^ 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
  13. ^ アレン、EF(1941)「直角双曲線に内接する三角形について」アメリカ数学月刊48(10):675–681
  14. ^ M. Warmus (1956)「近似値の計算」2012年3月9日アーカイブ Bulletin de l'Académie polonaise des sciences、第4巻第5号、pp. 253–257、MR  0081372
  15. ^ クリー、ジョージ・C. (1949). 双曲型複素数系の数論 (修士論文). マギル大学.
  16. ^ スミス、ノーマン・E. (1949). 双曲型数論入門 (修士論文). マギル大学.
  17. ^ ウィリアム・ミラー、ロシェル・ベーニング (1968). 「ガウス数、放物線数、双曲数」.数学教師. 61 (4): 377– 382. doi :10.5951/MT.61.4.0377. JSTOR  27957849.
  18. ^ Rosenfeld, B. (1997)リー群の幾何学、30ページ、 Kluwer Academic Publishers ISBN 0-7923-4390-5

さらに読む

  • Bencivenga, Uldrico (1946) 「Sulla rappresentazione geometaica delle algebre doppie dotate di modulo」、Atti della Reale Accademia delle Scienze e Belle-Lettere di Napoli、Ser (3) v.2 No7。MR0021123  。
  • ヴァルター・ベンツ(1973)フォルレスンゲン・ウーバー・ジオメトリ・デア・アルゲブレン、シュプリンガー
  • NA Borota、E. Flores、TJ Osler (2000)「簡単な方法による時空数の計算」、数学とコンピュータ教育34: 159–168。
  • NA BorotaとTJ Osler(2002)「時空変数の関数」、数学とコンピュータ教育36:231–239。
  • K. Carmody, (1988)「円および双曲四元数、八元数、および十元数」、Appl. Math. Comput. 28:47–72。
  • K. Carmody, (1997)「円および双曲四元数、八元数、十元数 - さらなる結果」Appl. Math. Comput. 84:27–48.
  • ウィリアム・キングドン・クリフォード(1882)『数学全集』、AWタッカー編、392ページ、「双四元数に関する追加ノート」
  • V.Cruceanu、P. Fortuny、PM Gadea (1996)「パラコンプレックス幾何学の概観」、Rocky Mountain Journal of Mathematics 26(1): 83–115、Project Euclidからのリンク。
  • De Boer, R. (1987)「パープレックス数のリストとしても知られる」、American Journal of Physics 55(4):296。
  • アンソニー・A・ハーキン&ジョセフ・B・ハーキン(2004)一般化複素数の幾何学、数学マガジン77(2):118–29。
  • F. リース・ハーヴェイ著『スピノルとキャリブレーション』、アカデミック・プレス、サンディエゴ、1990年、ISBN 0-12-329650-1ローレンツ数を含む不定符号のノルム代数の説明が含まれています。
  • Hazewinkle, M. (1994)「倍数と双対数」、数学百科事典、Soviet/AMS/Kluwer、Dordrect。
  • ケビン・マクリモン(2004) 『ジョーダン代数の味わい』、pp 66, 157、Universitext、Springer ISBN 0-387-95447-3 MR  2014924
  • C. Musès, 「応用ハイパー数:計算概念」, Appl. Math. Comput. 3 (1977) 211–226.
  • C. Musès, 「ハイパーナンバーズII ― さらなる概念と計算アプリケーション」, Appl. Math. Comput. 4 (1978) 45–66.
  • Olariu, Silviu (2002) N次元の複素数、第1章:2次元の双曲複素数、1~16ページ、North-Holland Mathematics Studies #190、Elsevier ISBN 0-444-51123-7
  • Poodiack, Robert D. & Kevin J. LeClair (2009)「パープレックスに対する代数の基本定理」、The College Mathematics Journal 40(5):322–35。
  • Isaak Yaglom (1968) Complex Numbers in Geometry、1963 年のロシア語原文から E. Primrose が翻訳、Academic Press、pp. 18–20。
  • J. Rooney (2014). 「力学における一般化複素数」. Marco Ceccarelli, Victor A. Glazunov (編). 『ロボットとマニピュレータの理論と実践の進歩:Romansy 2014 XX CISM-IFToMM ロボットとマニピュレータの理論と実践に関するシンポジウム議事録』 . 機構と機械科学. 第22巻. Springer. pp.  55– 62. doi :10.1007/978-3-319-07058-2_7. ISBN 978-3-319-07058-2
Retrieved from "https://en.wikipedia.org/w/index.php?title=Split-complex_number&oldid=1320501794"