写像の微分

数学の一分野、微分幾何学における多様体間の写像の微分または全微分  は、通常の解析学における全微分の概念を可微分写像に対して一般化するもので、可微分多様体間の可微分写像のある意味での最適線型近似を各点において与えるものである。より具体的に、可微分多様体 M, N}} の間の可微分写像 //φ//: //M// → //N//}} に対し、φ}} の //x// ∈ //M//}} における微分 dφsub は、x}} における M}} の接空間から //φ//}} における N}} の接空間への線型写像として与えられる。

各点における微分係数 dφsub は、接束を考えることにより、x}} を動かして微分写像dφ}} にすることができる。dφ}} は接写像とも呼ばれ、可微分多様体の接束をとる操作は接写像を伴って可微分多様体の圏からベクトル束の圏への函手を定める。

1. 動機付け
-------

多変数微分積分学において既知の事実として、写像 //φ//: //U// → //V//}} が Rsup の開集合 U}} から Rsup の開集合 V}} への可微分函数であるとき、U}} の各点 x}} において φ}} の全微分すなわち //dφsub なる線型写像は、ヤコビ行列によって表現されるのであった。//

このことが任意の多様体 M, N}} の間の可微分写像 φ}} に対する場合に一般化されることを見よう。

2. 可微分写像の微分
-----------

可微分多様体間の可微分写像 //φ//: //M// → //N//}} を考えるとき、適当な点 //x// ∈ //M//}} が与えられれば、x}} における φ}} の微分  は M}} の x}} における接空間から N}} の //φ//}} における接空間への線型写像 //dφsub として与えられる。微分 dφsub を接ベクトル X}} に作用させることは、φ}} による X}} の押し出し  とも呼ばれる。//

微分あるいは押し出しの、正確な定義は接ベクトルの定義の仕方に依存する。

接ベクトルを、x}} を通る曲線の同値類として定義した場合には、上記の微分は //dφsub によって与えられる。ここに γ}} は 1=//γ// = //x//}} を満たす M}} 内の曲線である。言い換えれば、曲線 γ}} の 0}} における接ベクトルの押し出しは、曲線 //φ// ∘ //γ//}} の 0}} における接ベクトルによって与えられる。//
同じことだが、接ベクトルを実数値可微分函数の空間に作用する導分として定義した場合には、微分は //dφsub によって与えられる。ここに、//X// ∈ //Tsub は M}} 上定義された導分で、f}} は N}} 上の実数値可微分函数である。定義により、各点 //x// ∈ //M//}} における X}} の押し出しは //T//sub に属し、それ自体ひとつの導分となる。さて x}} および //φ//}} の周りのチャートを選べば、φ}} は局所的に Rsup の開集合 U}} から Rsup の開集合 V}} への可微分函数 hat によって決定され、x}} における微分 dφsub は

と表現される。ここで偏微分は与えられたチャートにおいて x}} に対応する U}} の点において評価するものとする。これを線型に拡張して、}}-成分が

で与えられる行列を得る。これにより、微分 dφsub は、各点において可微分写像 φ}} に付随して決まる接空間の間の線型変換となるから、したがって適当な局所座標系を選んで、対応する Rsup から Rsup への可微分函数のヤコビ行列によって表現することができる。一般にはこの微分は可逆とは限らない。φ}} が局所微分同相写像ならば x}} における押し出しは可逆であり、逆写像は //T//sub の引き戻し によって与えられる。

この微分は Dφsub, }}, Tsub など様々な記法を用いて表されることがよくある。

定義から、合成写像の微分が、微分の合成に等しいことが従う。つまり、

可微分写像の微分の連鎖律: 1=//d//sub.また、局所微分同相写像の微分は、接空間の間の線型同型となる。

3. 接束上の微分写像
-----------

可微分写像 φ}} の微分 dφsub は、自然な仕方で x}} を動かして、M}} の接束から N}} の接束への束写像dφ}} または //φ//sub を誘導し、それは以下の図式

を可換にする。ただし、πsub および πsub はそれぞれ M}} および N}} の接束に関する束射影である。あるいは同じことだが、1=//φ//sub は接束 TM}} から引き戻し束 //φ//sup への M}} 上の束写像であり、これを M}} 上の準同型束 Hom と呼ばれる。この方法で T}} は函手となる。

4. ベクトル場の押し出し
-------------

可微分写像 //φ//: //M// → //N//}} と M}} 上のベクトル場 X}} が与えられたとき、X}} の φ}} による押し出しを N}} 上の適当なベクトル場と同一視することが普通はできない。例えば、写像 φ}} が全射でなければ φ}} の像に属さないところでそのような押し出しを定義する自然な方法がないし、また φ}} が単射でなければ与えられた点における押し出しの選び方が複数存在しうる。にもかかわらず、この困難を正確にして、写像に沿うベクトル場の概念が用いられる。

M}} 上のベクトル束 //φ//sup の切断を φ}} に沿うベクトル場と呼ぶ。例えば、M}} が N}} の部分多様体で、φ}} が包含写像のとき、φ}} に沿うベクトル場とは N}} の接束の M}} に沿う切断のことに他ならない。特に、M}} 上のベクトル場は TM}} の TN}} への包含を通じてそのような切断を定める。

X}} を M}} 上のベクトル場、すなわち TM}} の切断とするとき、微分を点ごとにX}} に適用することにより、ベクトル場の押し出し //φ//sub が誘導され、これは φ}} に沿うベクトル場、すなわち M}} 上の //φ//sup の切断である。

N}} 上の任意のベクトル場 Y}} は //φ//sup の引き戻し切断 //φ//sup を 1= とは、φ}} に沿うベクトル場として 1=//φ//sub を満たすとき、すなわち各点 //x// ∈ //M//}} に対し 1=//dφsub が成り立つときに言う。//

条件によっては、与えられた M}} 上のベクトル場 X}} に対して X}} と φ}}-関係を持つ N}} 上のベクトル場 Y}} が一意に決まるということもあり得る。特に φ}} が微分同相写像であるときには必ずそうなる。この場合、押出しが定める N}} 上のベクトル場 Y}} は 1=//Ysub で与えられる。//

より一般の状況として、φ}} が全射のとき、M}} 上のベクトル場 X}} が射影可能  とは、任意の //y// ∈ //N//}} に対して //dφsub が //x// ∈ //φ//sup の取り方に依らないときに言う。この条件はちょうど、X}} の押し出しが N}} 上のベクトル場として定義可能となることを保証するものになっている。//

5. 関連項目
-------

6. 参考文献
-------

John M. Lee, //Introduction to Smooth Manifolds//,  Springer Graduate Texts in Mathematics 218.
Jürgen Jost, //Riemannian Geometry and Geometric Analysis//,  Springer-Verlag, Berlin ISBN 3-540-42627-2 //See section 1.6//.
Ralph Abraham and Jerrold E. Marsden, //Foundations of Mechanics//,  Benjamin-Cummings, London ISBN 0-8053-0102-X //See section 1.7 and 2.3//.

7. 外部リンク
--------

http://www.math.sci.hiroshima-u.ac.jp/~tamaru/files/09kika-a.pdf