二重数

出典: フリー百科事典『ウィキペディア(Wikipedia)』

出典: フリー百科事典『ウィキペディア(Wikipedia)』
検索に移動

数学における二重数(にじゅうすう、: dual numbers)とは、実数 a, bε2 = 0複零性)を満たす ε を用いて z = a + と表すことのできるのことである。

二重数全体は、実数全体に ε2 = 0 を満たす新しい元 ε を添加して得られる。二重数全体からなる集合は、実数上の二次元可換単位的結合多元環二元数)の一種になる。二重数全体の成す平面は「交代的複素数平面」("alternative complex plane") と呼ばれ、通常の複素数平面 C分解型複素数平面とに対して相補的な関係にある。

線型表現[編集]

行列を用いると二重数は

と表現することができる。このとき二重数の和と積は、通常の行列の和と行列の積によって計算することができ、両演算は可換かつ結合的である。

これは複素数の行列表現の類似であり、さらに言えば二次正方行列の分類英語版に二重数の概念が必要である。

幾何[編集]

二重数平面上の「単位円」は、実部 a±1 である二重数全体からなる集合である。これは、二重数 z = a + に対して、その「共軛」が z = a であり、

zz = a2 = 1

であることによる。

が成立する(テイラー展開に ε2 = 0 を適用すれば2次以降の項が全て消える)ことに注意すれば、この指数函数を ε軸に対して適用しても「単位円」の半分 (a = 1 の部分) しか被覆できない。

二重数 z = a + に対して、a ≠ 0 のとき、m = b/a とすると、

z = a(1 + m ε) = a exp()

z の極分解であり、傾き m はその偏角になる。二重数平面における「回転」の概念は、

(1 + )(1 + ) = 1 + (p + q)ε

が成り立つことから、垂直剪断変換と同値である。

二重数平面はガリレイ不変量と呼ばれる研究においてガリレイの素朴な時空を表すのに利用できる。これは速度 v の古典的な事象変換が

のように見えることによる。

循環[編集]

二つの二重数 p, q が与えられたとき、z から p および q のそれぞれへ引いた二直線の間のガリレイ角が一定であるような二重数 z 全体の成す集合を決定することができる。この集合は、二重数平面における循環 (cycle) と呼ばれる。直線の傾きの差が一定であるとおいて得られる方程式が z の実部の二次方程式になるので、輪体は抛物線になる。二重数の反転環幾何において、二重数上の射影直線の上の射影性として、「循環的回転」("cyclic rotation") に遭遇する。Yaglom (1979)[1] に従えば、循環 Z = {z : y = αx2} は剪断

平行移動

との合成変換に関して不変である。

代数的性質[編集]

抽象代数学の言葉を使えば、二重数の全体は多項式環 R[X]多項式 X2 の生成するイデアルで割って得られる剰余環

R[X]/(X2)

として記述できる。この商における X の像が「虚数単位」ε である。このように書けば、二重数の全体が標数 0 の可換環を成すことは明らかである。さらには、これによって多項式環から遺伝する乗法が、二重数の全体に実二次元の可換結合多元環の構造を与えることも分かる。この多元環は、虚数単位 ε が可逆ではないから、にも多元体にもならない。実は任意の非零純虚元が零因子になるのである(後述)。二元数全体の成す多元環は、R1外積代数 R に同型である。

一般化[編集]

先の構成法はもっと一般の状況に対して適用できる。つまり、可換環 R に対して R 上の二重数と言うものを、多項式環 R[X] をイデアル (X2) で割って得られる剰余環として定義するのである。このとき X の属する剰余類は自乗して零に等しく、上記の元 ε に対応する。

このような環及びその一般化は、導分およびケーラー微分(純代数的な微分形式)の代数的理論において重要な役割を果たす。

任意の環 R 上で二重数 a + 単元を持つ(つまり、乗法的可逆元である)ための必要十分条件は、実部 aR における単元となることである。このとき、a + の逆元は a−1ba−2ε で与えられる。この帰結として、任意のまたは任意の可換局所環上の二元数が必ず局所環を成すこと、およびその唯一の極大イデアルが ε の生成する主イデアルで与えられることが分かる。

微分法[編集]

二重数の一つの応用先として自動微分の理論がある。ここでは上記の実数体上の二重数を考える。任意の実係数多項式 P(x) = p0 + p1x + p2x2 + … + pnxn が与えられたとき、多項式函数の定義域を実数から二重数へ直接に拡張して

を得る。ただし、P′ は多項式函数 P の導函数である。実数上ではなく二重数上で計算したことにより、この式を多項式の微分の計算に用いることができるようになった。より一般に、二重数の除法を定義して、f(a+bε) = f(a)+bf ′(a)ε で定まる二重数変数の超越函数の定義へ進むことができる。二重数上のこれらの函数の合成を計算して、その結果の ε の係数を調べることによって、その合成函数の導函数を自動的に計算することができる。

超空間[編集]

二重数の応用は物理学にもあり、そこでは二重数は非自明な超空間の最も簡単な例を与える。虚数単位 ε に沿う方向は「フェルミ的」方向といい、実成分は「ボソン的」方向と呼ばれる。フェルミ的方向というのはパウリの排他原理フェルミオンが従うという事実からくるものである。座標変換のもとで、量子力学的波動函数は符号を変え、従って二つの座標がともに動くならば消えるという物理学的な考え方が、ε2 = 0 なる代数的関係式でとらえられている。

除法[編集]

二重数の除法は、除数の実部が零でないときに定義され、除法の過程は複素数の場合と同様に、分母にその共軛元を掛けて純虚部分を消すことによって行われる。

そういうわけで、

の形の除法を計算するには、分母分子に分母の共軛元を掛けて

とする。これは c が 0 でない限り定義できる。

一方、c が 0 で d が 0 でないとき、方程式

は、

  1. a が非零ならば解を持たない
  2. さもなくば b/d + の形の任意の二重数が解になる

の何れかである。これは、「商」の純虚部分が任意に取れることを意味するから、従って純虚二重数に対する除法は定義できない。実際、純虚二重数は(自明な)零因子であり、その全体は明らかに二重数の成す結合多元環(従って)のイデアルを成す。

注釈[編集]

  1. ^ Yaglom, Isaak M. (1979), A simple non-Euclidean geometry and its physical basis : an elementary account of Galilean geometry and the Galilean principle of relativity, translated from the Russian by Abe Shenitzer ; with the editorial assistance of Basil Gordon., New York: Springer 

関連項目[編集]

参考文献[編集]

  • Eduard Study (1903) Geometrie der Dynamen, page 196, from Cornell Historical Mathematical Monographs.
  • Josef Grunwald (1906) "Über duale Zahlen und ihre Anwendung in der Geometrie", Monatshefte fur Mathematik17, 81–136.
  • Isaak Yaglom (1968) Complex Numbers in Geometry
  • V.V. Kisil (2007) "Inventing a Wheel, the Parabolic One" arXiv:0707.4024
  • William Kingdon Clifford (1873) Preliminary Sketch of Bi-quaternions, Proceedings of the London Mathematical Society 4:381–95
  • Bencivenga, Uldrico (1946) "Sulla rappresentazione geometrica della algebra doppie dotate di modulo", Atti della real accademia della scienze e belle-lettre di Napoli, Ser (3) v.2 No7. See MR0021123.
  • E.Pennestr, R.Stefanelli. Linear Algebra and Numerical Algorithms Using Dual Numbers
  • Weisstein, Eric W. "Dual Number". MathWorld (英語).
  • dual number in nLab
  • Dolgachev, I. V. (2001), "Double and dual numbers", in Hazewinkel, Michiel (ed.), Encyclopaedia of Mathematics, Springer, ISBN 978-1-55608-010-4