二重数

数学における二重数（にじゅうすう、テンプレート:Lang-en-short）または双対数（そうついすう）とは、実数 テンプレート:Math と テンプレート:Math（複零性）を満たす実数でない テンプレート:Mvar を用いて テンプレート:Math と表すことのできる数のことである。

二重数全体は、実数全体に テンプレート:Math を満たす新しい元 テンプレート:Mvar を添加して得られる。二重数全体からなる集合は、実数体上の二次元の可換かつ単位的な結合多元環（二元数）の一種になる。二重数全体の成す平面は、交代的複素数平面 (テンプレート:En) と呼ばれ、通常の複素数平面 テンプレート:Math と分解型複素数平面とに対して相補的な関係にある。

線型表現

行列を用いると二重数は

$\epsilon =\left(\begin{array}{cc}0& 1\\ 0& 0\end{array}\right)\text{and}a+b\epsilon =\left(\begin{array}{cc}a& b\\ 0& a\end{array}\right)$

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

これは複素数の行列表現の類似であり、さらに言えばテンプレート:仮リンクに二重数の概念が必要である。

幾何

二重数平面上の“単位円”は、実部 テンプレート:Mvar が テンプレート:Math である二重数全体からなる集合である。これは、二重数 テンプレート:Math に対して、その“共軛”が テンプレート:Math であり、

テンプレート:Math

であることによる。

$\exp (b\epsilon )=1+b\epsilon$

が成立する（テイラー展開に テンプレート:Math を適用すれば2次以降の項が全て消える）ことに注意すれば、この指数函数を テンプレート:Mvar軸に対して適用しても“単位円”の半分 (テンプレート:Math の部分) しか被覆できない。

二重数 テンプレート:Math に対して、テンプレート:Math のとき、テンプレート:Math とすると、

テンプレート:Math

は テンプレート:Mvar の極分解であり、傾き テンプレート:Mvar はその偏角になる。二重数平面における“回転”の概念は、

テンプレート:Math

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

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

$(t^{\prime },x^{\prime })=(t,x)\left(\begin{array}{cc}1& v\\ 0& 1\end{array}\right)⟺t^{\prime }=t,x^{\prime }=vt+x$

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

循環

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

$x_1=x,y_1=vx+y$

と平行移動

$x^{\prime }=x_1=v/2a,y^{\prime }=y_1+v^2/4a$

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

代数的性質

抽象代数学の言葉を使えば、二重数の全体は多項式環 テンプレート:Math を多項式 Xテンプレート:Sup の生成するイデアルで割って得られる剰余環

テンプレート:Math

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

一般化

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

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

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

微分法

二重数の 1つの応用先として自動微分の理論がある。ここでは上記の実数体上の二重数を考える。任意の実係数多項式 テンプレート:Math が与えられたとき、多項式函数の定義域を実数から二重数へ直接に拡張して

$P(a+b\epsilon )=P(a)+b{P}^{\prime }(a)\epsilon$

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

超空間

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

除法

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

そういうわけで、

$\frac{a+b\epsilon }{c+d\epsilon }$

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

$\begin{array}{cc}& =\frac{(a+b\epsilon )(c-d\epsilon )}{(c+d\epsilon )(c-d\epsilon )}=\frac{ac-ad\epsilon +bc\epsilon -bd{\epsilon }^2}{(c^2+cd\epsilon -cd\epsilon -d^2{\epsilon }^2)}=\frac{ac-ad\epsilon +bc\epsilon -0}{c^2-0}\\ & =\frac{ac+\epsilon (bc-ad)}{c^2}\\ & =\frac{a}{c}+\frac{bc-ad}{c^2}\epsilon \end{array}$

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

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

$a+b\epsilon =(x+y\epsilon )d\epsilon =xd\epsilon +0$

は、

1. a が非零ならば解を持たない
2. さもなくば テンプレート:Math の形の任意の二重数が解になる

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

関連項目

• クリフォード代数
• 二重四元数
• 外積代数
• 摂動論

参考文献

• テンプレート:Cite journal
• テンプレート:Cite journal
• テンプレート:Cite book
• テンプレート:Cite journal
• テンプレート:Cite journal
• テンプレート:Cite journal
• テンプレート:Cite journal

外部リンク

• テンプレート:MathWorld
• テンプレート:Nlab
• テンプレート:SpringerEOM

テンプレート:Navbox テンプレート:無限小