二重数のソースを表示

[[数学]]における'''二重数'''（にじゅうすう、{{lang-en-short|''dual numbers''}}）または'''双対数'''（そうついすう）とは、実数 {{math|''a'', ''b''}} と {{math|1= ''ε''{{sup|2}} = 0}}（[[冪零|複零性]]）を満たす実数でない {{mvar|ε}} を用いて {{math|1= ''z'' = ''a'' + ''bε''}} と表すことのできる[[数]]のことである。

二重数全体は、[[実数]]全体に {{math|1= ''ε''{{sup|2}} = 0}} を満たす新しい元 {{mvar|ε}} を添加して得られる。二重数全体からなる集合は、実数[[可換体|体]]上の二[[ハメル次元|次元]]の[[可換多元環|可換]]かつ[[単位的多元環|単位的]]な[[結合多元環]]（[[二元数]]）の一種になる。二重数全体の成す平面は、'''交代的複素数平面''' ({{en|alternative complex plane}}) と呼ばれ、通常の[[複素数平面]] {{math|'''C'''}} と[[分解型複素数]]平面とに対して相補的な関係にある。

== 線型表現 ==
[[行列]]を用いると二重数は
:<math>\varepsilon=\begin{pmatrix}0 & 1 \\0 & 0 \end{pmatrix}\quad\text{and}\quad a + b\varepsilon = \begin{pmatrix}a & b \\ 0 & a \end{pmatrix}</math>
と表現することができる。このとき二重数の和と積は、通常の[[行列の和]]と[[行列の積]]によって計算することができ、両演算は可換かつ結合的である。

これは複素数の行列表現の類似であり、さらに言えば{{仮リンク|二次正方行列|label=二次正方行列の分類|en|2 × 2 real matrices#2 × 2 real matrices as complex numbers}}に二重数の概念が必要である。

== 幾何 ==
二重数平面上の“単位円”は、実部 {{mvar|a}} が {{math|±1}} である二重数全体からなる集合である。これは、二重数 {{math|1= ''z'' = ''a'' + ''bε''}} に対して、その“共軛”が {{math|1= ''z''{{sup|&lowast;}} = ''a'' &minus; ''bε''}} であり、
:{{math|1= ''zz''{{sup|&lowast;}} = ''a''{{sup|2}} = 1}}
であることによる。
:<math>\exp(b \varepsilon) = 1 + b\varepsilon</math>
が成立する（テイラー展開に {{math|1= ''ε''{{sup|2}} = 0}} を適用すれば2次以降の項が全て消える）ことに注意すれば、この指数函数を {{mvar|ε}}軸に対して適用しても“単位円”の半分 ({{math|1= ''a'' = 1}} の部分) しか被覆できない。

二重数 {{math|1= ''z'' = ''a'' + ''bε''}} に対して、{{math|''a'' ≠ 0}} のとき、{{math|1= ''m'' = {{sfrac|''b''|''a''}}}} とすると、
:{{math|1= ''z'' = ''a''(1 + ''m'' ε) = ''a''&thinsp;exp(''mε'')}}
は {{mvar|z}} の[[極分解]]であり、[[傾き (数学)|傾き]] {{mvar|m}} はその偏角になる。二重数平面における“回転”の概念は、
:{{math|1= (1 + ''pε'')(1 + ''qε'') = 1 + (''p'' + ''q'')''ε''}}
が成り立つことから、垂直[[せん断写像|剪断（せんだん）変換]]と同値である。

二重数平面は[[ガリレイ不変量]]と呼ばれる研究においてガリレイの素朴な時空を表すのに利用できる。これは速度 ''v'' の古典的な事象変換が
:<math>(t',x') = (t,x)\begin{pmatrix}
1 &v \\
0 &1
\end{pmatrix} \iff t'=t,\, x' = vt + x</math>
のように見えることによる。

=== 循環 ===
二つの二重数 ''p'', ''q'' が与えられたとき、''z'' から ''p'' および ''q'' のそれぞれへ引いた二直線の間の[[ガリレイ角]]が一定であるような二重数 ''z'' 全体の成す集合を決定することができる。この集合は、二重数平面における'''循環''' (''cycle'') と呼ばれる。直線の傾きの差が一定であるとおいて得られる方程式が ''z'' の実部の[[二次方程式]]になるので、輪体は[[抛物線]]になる。二重数の[[反転環幾何]]において、二重数上の射影直線の上の射影性として、“循環的回転” ("cyclic rotation") に遭遇する。{{harvtxt|Yaglom|1979}}<ref>{{Cite book |last=Yaglom |first=Isaak M. |author-link=イサーク・ヤグロム |title=A Simple Non-Euclidean Geometry and Its Physical Basis : An Elementary Account of Galilean Geometry and the Galilean Principle of Relativity |url=https://link.springer.com/book/10.1007/978-1-4612-6135-3 |year=1979 |publisher=Springer |language=en |pages=92–93 |location=New York |others=translated from the Russian by Abe Shenitzer ; with the editorial assistance of Basil Gordon. Title of the Russian original edition: Principi otnositel'nosti Galileja i neevklidova geometrija |doi=10.1007/978-1-4612-6135-3}}</ref> に従えば、循環 {{math|1= ''Z'' = {{mset|''z''|2= ''y'' = α''x''{{sup|2}}}}}} は剪断
:<math>x_1 = x ,\, y_1 = vx + y</math>
と[[平行移動]]
:<math>x' = x_1 = v/2a,\, y' = y_1 + v^2/4a</math>
との合成変換に関して不変である。

== 代数的性質 ==
[[抽象代数学]]の言葉を使えば、二重数の全体は[[多項式環]] {{math|'''R'''[''X'']}} を[[多項式]] ''X''{{sup|2}} の生成する[[イデアル (環論)|イデアル]]で割って得られる[[剰余環]]
: {{math|'''R'''[''X'']/(''X''{{sup|2}})}}
として記述できる。この商における {{mvar|X}} の像が'''虚数単位''' {{mvar|ε}} である。このように書けば、二重数の全体が[[標数]] 0 の[[可換環]]を成すことは明らかである。さらには、これによって多項式環から遺伝する乗法が、二重数の全体に実二次元の可換[[結合多元環]]の構造を与えることも分かる。この多元環は、虚数単位 {{mvar|ε}} が[[可逆元]]ではないから、[[可換体|体]]にも[[多元体]]にもならない。実は任意の非零純虚元が[[零因子]]になるのである（[[#除法|後述]]）。二元数全体の成す多元環は、'''R'''{{sup|1}} の[[外積代数]] {{math|∧'''R'''}} に同型である。

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

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

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

== 微分法 ==
二重数の 1つの応用先として[[自動微分]]の理論がある。ここでは上記の実数体上の二重数を考える。任意の実係数多項式 {{math|1= ''P''(''x'') = ''p''{{sub|0}} + ''p''{{sub|1}}''x'' + ''p''{{sub|2}}''x''{{sup|2}} + … + ''p{{sub|n}}x{{sup|n}}''}} が与えられたとき、多項式函数の定義域を実数から二重数へ直接に拡張して
:<math>P(a+b\varepsilon)=P(a)+bP^\prime(a)\varepsilon</math>
を得る。ただし、''P''&prime; は多項式函数 ''P'' の導函数である。実数上ではなく二重数上で計算したことにより、この式を多項式の微分の計算に用いることができるようになった。より一般に、二重数の除法を定義して、{{math|1= ''f''(''a''+''b''ε) = ''f''(''a'')+''bf'' ′(''a'')ε}} で定まる二重数変数の超越函数の定義へ進むことができる。二重数上のこれらの函数の合成を計算して、その結果の ε の係数を調べることによって、その合成函数の導函数を自動的に計算することができる。

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

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

そういうわけで、
:<math>{a+b\varepsilon \over c+d\varepsilon}</math>
の形の除法を計算するには、分母分子に分母の共軛元を掛けて
:<math>\begin{align}
 & = {(a+b\varepsilon)(c-d\varepsilon) \over (c+d\varepsilon)(c-d\varepsilon)}
= {ac-ad\varepsilon+bc\varepsilon-bd\varepsilon^2 \over (c^2+cd\varepsilon-cd\varepsilon-d^2\varepsilon^2)}
= {ac-ad\varepsilon+bc\varepsilon-0 \over c^2-0}\\[5pt]
 & = {ac + \varepsilon(bc - ad) \over c^2}\\[5pt]
 & = {a \over c} + {bc - ad \over c^2}\varepsilon
\end{align}</math>
とする。これは ''c'' が 0 でない限り定義できる。

一方、c が 0 で ''d'' が 0 でないとき、方程式
:<math>{a+b\varepsilon = (x+y\varepsilon) d\varepsilon} = {xd\varepsilon + 0}</math>
は、
# ''a'' が非零ならば解を持たない
# さもなくば {{math|{{sfrac|''b''|''d''}} + ''yε''}} の形の任意の二重数が解になる
のいずれかである。これは、“商”の純虚部分が任意に取れることを意味するから、純虚二重数に対する除法は定義できない。実際、純虚二重数は（自明な）[[零因子]]であり、その全体は明らかに二重数の成す[[結合多元環]]（従って[[環 (数学)|環]]）の[[イデアル (環論)|イデアル]]を成す。

== 脚注 ==
{{Reflist}}

== 関連項目 ==
* [[クリフォード代数]]
* [[二重四元数]]
* [[外積代数]]
* [[摂動論]]

== 参考文献 ==
* {{Cite journal |last=Study |first=Eduard |date=1903 |title=Geometrie der dynamen. Die zusammensetzung von kräften und verwandte gegenstände der geometrie |url=https://catalog.hathitrust.org/Record/009376402 |publisher=B. G. Teubner |location=Leipzig}}
* {{Cite journal |last=Grünwald |first=Josef |date=1906-12-01 |title=Über duale Zahlen und ihre Anwendung in der Geometrie |url=https://doi.org/10.1007/BF01697639 |journal=Monatshefte für Mathematik und Physik |volume=17 |issue=1 |pages=81–136 |language=de |doi=10.1007/BF01697639 |issn=1436-5081}}
* {{Cite book |last=I︠A︡glom |first=Isaak Moiseevič |author-link=イサーク・ヤグロム |title=Complex Numbers in Geometry |year=1968 |publisher=Academic Press |language=en |isbn=978-1-4832-5663-4 |location=New York, |oclc=651753381}}
* {{Cite journal |last=Kisil |first=Vladimir V. |date=2007-07-27 |title=Erlangen Program at Large--2: Inventing a wheel. The parabolic one |url=https://arxiv.org/abs/0707.4024 |journal=arXiv:0707.4024 [math]}}
* {{Cite journal |last=Clifford |month=11 |year=1871 |title=Preliminary Sketch of Biquaternions |url=http://doi.wiley.com/10.1112/plms/s1-4.1.381 |journal=Proceedings of the London Mathematical Society |volume=s1-4 |issue=1 |pages=381–395 |language=en |DOI=10.1112/plms/s1-4.1.381 |doi=10.1112/plms/s1-4.1.381}}
* {{Cite journal |last=Bencivenga |first=Uldrico |year=1946 |title=Sulla rappresentazione geometrica della algebra doppie dotate di modulo |url=https://mathscinet.ams.org/mathscinet-getitem?mr=0021123 |journal=Atti della real accademia della scienze e belle-lettre di Napoli |volume=2 |issue=7 |language=it |MR=0021123}}
* {{Cite journal |last=Pennestrì |first=E. |last2=Stefanelli |first2=R. |date=2007-10-01 |title=Linear algebra and numerical algorithms using dual numbers |url=https://doi.org/10.1007/s11044-007-9088-9 |journal=Multibody System Dynamics |volume=18 |issue=3 |pages=323–344 |language=en |doi=10.1007/s11044-007-9088-9 |issn=1573-272X}}

== 外部リンク ==
* {{MathWorld|urlname=DualNumber|title=Dual Number}}
* {{nlab|urlname=dual+number|title=dual number}}
* {{SpringerEOM|urlname=Double_and_dual_numbers|title=Double and dual numbers|first=I. V.|last=Dolgachev}}


{{数の体系}}
{{無限小}}
{{DEFAULTSORT:にしゆうすう}}
[[Category:線型代数学]]
[[Category:超複素数系]]
[[Category:可換環論]]
[[Category:微分環]]
[[Category:数学に関する記事]]