「二重数」の版間の差分
タグ: モバイル編集 モバイルウェブ編集 |
m 曖昧な鉤括弧を個別の記法で置き換える。参照リンク明示。参考文献を編集 (ProveIt使用)。 [fmt, +lk, cite] |
||
1行目: | 1行目: | ||
[[数学]]における'''二重数'''(にじゅうすう、{{lang-en-short|''dual numbers''}})または'''双対数'''(そうついすう)とは、実数 {{ |
[[数学]]における'''二重数'''(にじゅうすう、{{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|ε}} を添加して得られる。二重数全体からなる集合は、実数[[可換体|体]]上の二[[ハメル次元|次元]]の[[可換多元環|可換]]かつ[[単位的多元環|単位的]]な[[結合多元環]]([[二元数]])の一種になる。二重数全体の成す平面は |
二重数全体は、[[実数]]全体に {{math|1= ''ε''{{sup|2}} = 0}} を満たす新しい元 {{mvar|ε}} を添加して得られる。二重数全体からなる集合は、実数[[可換体|体]]上の二[[ハメル次元|次元]]の[[可換多元環|可換]]かつ[[単位的多元環|単位的]]な[[結合多元環]]([[二元数]])の一種になる。二重数全体の成す平面は、'''交代的複素数平面''' ({{en|alternative complex plane}}) と呼ばれ、通常の[[複素数平面]] {{math|'''C'''}} と[[分解型複素数]]平面とに対して相補的な関係にある。 |
||
== 線型表現 == |
== 線型表現 == |
||
11行目: | 11行目: | ||
== 幾何 == |
== 幾何 == |
||
二重数平面上の |
二重数平面上の“単位円”は、実部 {{mvar|a}} が {{math|±1}} である二重数全体からなる集合である。これは、二重数 {{math|1= ''z'' = ''a'' + ''bε''}} に対して、その“共軛”が {{math|1= ''z''{{sup|∗}} = ''a'' − ''bε''}} であり、 |
||
:{{ |
:{{math|1= ''zz''{{sup|∗}} = ''a''{{sup|2}} = 1}} |
||
であることによる。 |
であることによる。 |
||
:<math>\exp(b \varepsilon) = 1 + b\varepsilon</math> |
:<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'' exp(''mε'')}} |
:{{math|1= ''z'' = ''a''(1 + ''m'' ε) = ''a'' exp(''mε'')}} |
||
は {{mvar|z}} の[[極分解]]であり、[[傾き]] {{mvar|m}} はその偏角になる。二重数平面における |
は {{mvar|z}} の[[極分解]]であり、[[傾き (数学)|傾き]] {{mvar|m}} はその偏角になる。二重数平面における“回転”の概念は、 |
||
:{{math|1=(1 + ''pε'')(1 + ''qε'') = 1 + (''p'' + ''q'')''ε''}} |
:{{math|1= (1 + ''pε'')(1 + ''qε'') = 1 + (''p'' + ''q'')''ε''}} |
||
が成り立つことから、垂直[[せん断写像|剪断変換]]と同値である。 |
が成り立つことから、垂直[[せん断写像|剪断変換]]と同値である。 |
||
31行目: | 31行目: | ||
=== 循環 === |
=== 循環 === |
||
二つの二重数 ''p'', ''q'' が与えられたとき、''z'' から ''p'' および ''q'' のそれぞれへ引いた二直線の間の[[ガリレイ角]]が一定であるような二重数 ''z'' 全体の成す集合を決定することができる。この集合は、二重数平面における'''循環''' (''cycle'') と呼ばれる。直線の傾きの差が一定であるとおいて得られる方程式が ''z'' の実部の[[二次方程式]]になるので、輪体は[[抛物線]]になる。二重数の[[反転環幾何]]において、二重数上の射影直線の上の射影性として、 |
二つの二重数 ''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_1 = x ,\, y_1 = vx + y</math> |
||
と[[平行移動]] |
と[[平行移動]] |
||
40行目: | 40行目: | ||
[[抽象代数学]]の言葉を使えば、二重数の全体は[[多項式環]] {{math|'''R'''[''X'']}} を[[多項式]] ''X''{{sup|2}} の生成する[[イデアル (環論)|イデアル]]で割って得られる[[剰余環]] |
[[抽象代数学]]の言葉を使えば、二重数の全体は[[多項式環]] {{math|'''R'''[''X'']}} を[[多項式]] ''X''{{sup|2}} の生成する[[イデアル (環論)|イデアル]]で割って得られる[[剰余環]] |
||
: {{math|'''R'''[''X'']/(''X''{{sup|2}})}} |
: {{math|'''R'''[''X'']/(''X''{{sup|2}})}} |
||
として記述できる。この商における {{mvar|X}} の像が |
として記述できる。この商における {{mvar|X}} の像が'''虚数単位''' {{mvar|ε}} である。このように書けば、二重数の全体が[[標数]] 0 の[[可換環]]を成すことは明らかである。さらには、これによって多項式環から遺伝する乗法が、二重数の全体に実二次元の可換[[結合多元環]]の構造を与えることも分かる。この多元環は、虚数単位 {{mvar|ε}} が可逆ではないから、[[可換体|体]]にも[[多元体]]にもならない。実は任意の非零純虚元が[[零因子]]になるのである([[#除法|後述]])。二元数全体の成す多元環は、'''R'''{{sup|1}} の[[外積代数]] {{math|∧'''R'''}} に同型である。 |
||
== 一般化 == |
== 一般化 == |
||
50行目: | 50行目: | ||
== 微分法 == |
== 微分法 == |
||
二重数の |
二重数の 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> |
:<math>P(a+b\varepsilon)=P(a)+bP^\prime(a)\varepsilon</math> |
||
を得る。ただし、''P''′ は多項式函数 ''P'' の導函数である。実数上ではなく二重数上で計算したことにより、この式を多項式の微分の計算に用いることができるようになった。より一般に、二重数の除法を定義して、''f''(''a''+''b''ε) |
を得る。ただし、''P''′ は多項式函数 ''P'' の導函数である。実数上ではなく二重数上で計算したことにより、この式を多項式の微分の計算に用いることができるようになった。より一般に、二重数の除法を定義して、{{math|1= ''f''(''a''+''b''ε) = ''f''(''a'')+''bf'' ′(''a'')ε}} で定まる二重数変数の超越函数の定義へ進むことができる。二重数上のこれらの函数の合成を計算して、その結果の ε の係数を調べることによって、その合成函数の導函数を自動的に計算することができる。 |
||
== 超空間 == |
== 超空間 == |
||
二重数の応用は[[物理学]]にもあり、そこでは二重数は非自明な[[超空間]]の最も簡単な例を与える。虚数単位 ε に沿う方向は |
二重数の応用は[[物理学]]にもあり、そこでは二重数は非自明な[[超空間]]の最も簡単な例を与える。虚数単位 ε に沿う方向は'''フェルミ的'''方向といい、実成分は'''ボソン的'''方向と呼ばれる。フェルミ的方向というのは[[パウリの排他原理]]に[[フェルミオン]]が従うという事実からくるものである。座標変換のもとで、量子力学的波動函数は符号を変え、従って二つの座標がともに動くならば消えるという物理学的な考え方が、{{math|1= ε{{sup|2}} = 0}} なる代数的関係式でとらえられている。 |
||
{{main|:en:Superspace}} |
|||
== 除法 == |
== 除法 == |
||
78行目: | 78行目: | ||
# ''a'' が非零ならば解を持たない |
# ''a'' が非零ならば解を持たない |
||
# さもなくば {{math|{{sfrac|''b''|''d''}} + ''yε''}} の形の任意の二重数が解になる |
# さもなくば {{math|{{sfrac|''b''|''d''}} + ''yε''}} の形の任意の二重数が解になる |
||
の |
のいずれかである。これは、“商”の純虚部分が任意に取れることを意味するから、純虚二重数に対する除法は定義できない。実際、純虚二重数は(自明な)[[零因子]]であり、その全体は明らかに二重数の成す[[結合多元環]](従って[[環 (数学)|環]])の[[イデアル (環論)|イデアル]]を成す。 |
||
== 注 |
== 脚注 == |
||
{{Reflist}} |
{{Reflist}} |
||
90行目: | 90行目: | ||
== 参考文献 == |
== 参考文献 == |
||
* {{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}} |
|||
* [[Eduard Study]] (1903) [http://ebooks.library.cornell.edu/cgi/t/text/text-idx?c=math;cc=math;view=toc;subview=short;idno=03150002 Geometrie der Dynamen], page 196, from ''Cornell Historical Mathematical Monographs''. |
|||
* |
* {{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}} |
|||
* [[Isaak Yaglom]] (1968) ''Complex Numbers in Geometry'' |
|||
* |
* {{Cite journal |last=Kisil |first=Vladimir V. |date=2007-07-27 |title=Erlangen Program at Large--2: Inventing a wheel. The parabolic one |url=http://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}} |
||
* Bencivenga |
* {{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}} |
|||
* [https://link.springer.com/article/10.1007/s11044-007-9088-9 E.Pennestr, R.Stefanelli. Linear Algebra and Numerical Algorithms Using Dual Numbers] |
|||
== 外部リンク == |
== 外部リンク == |
2022年10月25日 (火) 08:45時点における版
数学における二重数(にじゅうすう、英: dual numbers)または双対数(そうついすう)とは、実数 a, b と ε2 = 0(複零性)を満たす ε を用いて z = a + bε と表すことのできる数のことである。
二重数全体は、実数全体に ε2 = 0 を満たす新しい元 ε を添加して得られる。二重数全体からなる集合は、実数体上の二次元の可換かつ単位的な結合多元環(二元数)の一種になる。二重数全体の成す平面は、交代的複素数平面 (alternative complex plane) と呼ばれ、通常の複素数平面 C と分解型複素数平面とに対して相補的な関係にある。
線型表現
行列を用いると二重数は
と表現することができる。このとき二重数の和と積は、通常の行列の和と行列の積によって計算することができ、両演算は可換かつ結合的である。
これは複素数の行列表現の類似であり、さらに言えば二次正方行列の分類に二重数の概念が必要である。
幾何
二重数平面上の“単位円”は、実部 a が ±1 である二重数全体からなる集合である。これは、二重数 z = a + bε に対して、その“共軛”が z∗ = a − bε であり、
- zz∗ = a2 = 1
であることによる。
が成立する(テイラー展開に ε2 = 0 を適用すれば2次以降の項が全て消える)ことに注意すれば、この指数函数を ε軸に対して適用しても“単位円”の半分 (a = 1 の部分) しか被覆できない。
二重数 z = a + bε に対して、a ≠ 0 のとき、m = b/a とすると、
- z = a(1 + m ε) = a exp(mε)
は z の極分解であり、傾き m はその偏角になる。二重数平面における“回転”の概念は、
- (1 + pε)(1 + qε) = 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 + bε が単元を持つ(つまり、乗法的可逆元である)ための必要十分条件は、実部 a が R における単元となることである。このとき、a + bε の逆元は a−1 − ba−2ε で与えられる。この帰結として、任意の体または任意の可換局所環上の二元数が必ず局所環を成すこと、およびその唯一の極大イデアルが ε の生成する主イデアルで与えられることが分かる。
微分法
二重数の 1つの応用先として自動微分の理論がある。ここでは上記の実数体上の二重数を考える。任意の実係数多項式 P(x) = p0 + p1x + p2x2 + … + pnxn が与えられたとき、多項式函数の定義域を実数から二重数へ直接に拡張して
を得る。ただし、P′ は多項式函数 P の導函数である。実数上ではなく二重数上で計算したことにより、この式を多項式の微分の計算に用いることができるようになった。より一般に、二重数の除法を定義して、f(a+bε) = f(a)+bf ′(a)ε で定まる二重数変数の超越函数の定義へ進むことができる。二重数上のこれらの函数の合成を計算して、その結果の ε の係数を調べることによって、その合成函数の導函数を自動的に計算することができる。
超空間
二重数の応用は物理学にもあり、そこでは二重数は非自明な超空間の最も簡単な例を与える。虚数単位 ε に沿う方向はフェルミ的方向といい、実成分はボソン的方向と呼ばれる。フェルミ的方向というのはパウリの排他原理にフェルミオンが従うという事実からくるものである。座標変換のもとで、量子力学的波動函数は符号を変え、従って二つの座標がともに動くならば消えるという物理学的な考え方が、ε2 = 0 なる代数的関係式でとらえられている。
除法
二重数の除法は、除数の実部が零でないときに定義され、除法の過程は複素数の場合と同様に、分母にその共軛元を掛けて純虚部分を消すことによって行われる。
そういうわけで、
の形の除法を計算するには、分母分子に分母の共軛元を掛けて
とする。これは c が 0 でない限り定義できる。
一方、c が 0 で d が 0 でないとき、方程式
は、
- a が非零ならば解を持たない
- さもなくば b/d + yε の形の任意の二重数が解になる
のいずれかである。これは、“商”の純虚部分が任意に取れることを意味するから、純虚二重数に対する除法は定義できない。実際、純虚二重数は(自明な)零因子であり、その全体は明らかに二重数の成す結合多元環(従って環)のイデアルを成す。
脚注
- ^ 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. Title of the Russian original edition: Principi otnositel'nosti Galileja i neevklidova geometrija. New York: Springer. pp. 92–93. doi:10.1007/978-1-4612-6135-3
関連項目
参考文献
- Study, Eduard (1903). Geometrie der dynamen. Die zusammensetzung von kräften und verwandte gegenstände der geometrie. Leipzig: B. G. Teubner .
- Grünwald, Josef (1906-12-01). “Über duale Zahlen und ihre Anwendung in der Geometrie” (ドイツ語). Monatshefte für Mathematik und Physik 17 (1): 81–136. doi:10.1007/BF01697639. ISSN 1436-5081 .
- I︠A︡glom, Isaak Moiseevič (1968) (英語). Complex Numbers in Geometry. New York,: Academic Press. ISBN 978-1-4832-5663-4. OCLC 651753381
- Kisil, Vladimir V. (2007-07-27). “Erlangen Program at Large--2: Inventing a wheel. The parabolic one”. arXiv:0707.4024 [math] .
- Clifford (11 1871). “Preliminary Sketch of Biquaternions” (英語). Proceedings of the London Mathematical Society s1-4 (1): 381–395. doi:10.1112/plms/s1-4.1.381 .
- Bencivenga, Uldrico (1946). “Sulla rappresentazione geometrica della algebra doppie dotate di modulo” (イタリア語). Atti della real accademia della scienze e belle-lettre di Napoli 2 (7). MR0021123 .
- Pennestrì, E.; Stefanelli, R. (2007-10-01). “Linear algebra and numerical algorithms using dual numbers” (英語). Multibody System Dynamics 18 (3): 323–344. doi:10.1007/s11044-007-9088-9. ISSN 1573-272X .
外部リンク
- Weisstein, Eric W. "Dual Number". mathworld.wolfram.com (英語).
- dual number in nLab
- Dolgachev, I. V. (2001), “Double and dual numbers”, in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4