写像の微分

数学の一分野、微分幾何学における多様体間の写像の微分（びぶん、）または全微分 () は、通常の解析学における全微分の概念を可微分写像に対して一般化するもので、可微分多様体間の可微分写像のある意味での最適線型近似を各点において与えるものである。より具体的に、可微分多様体 の間の可微分写像 に対し、 の における微分（係数） は、 における の接空間から における の接空間への線型写像として与えられる。
各点における微分係数 は、接束を考えることにより、 を動かして微分写像（導写像） にすることができる。 は接写像とも呼ばれ、可微分多様体の接束をとる操作（接構成）は接写像を伴って可微分多様体の圏からベクトル束の圏への函手（接函手）を定める。
動機付け.
多変数微分積分学において既知の事実として、写像 が の開集合 から の開集合 への可微分函数であるとき、 の各点 において の全微分すなわち なる線型写像は、（標準基底に関して）ヤコビ行列によって表現されるのであった。
このことが任意の多様体 の間の可微分写像 に対する場合に一般化されることを見よう。
可微分写像の微分.
可微分多様体間の可微分写像 を考えるとき、適当な点 が与えられれば、 における の微分 ("differential") は の における接空間から の における接空間への線型写像 として与えられる。微分 を接ベクトル に作用させることは、 による の押し出し ("pushforward") とも呼ばれる。
微分あるいは押し出しの、正確な定義は接ベクトルの定義の仕方に依存する（接ベクトルの様々な定義の仕方は接空間の項を参照）。
さて および の周りのチャートを選べば、 は局所的に の開集合 から の開集合 への可微分函数 によって決定され、 における微分 は
と表現される（ただしアインシュタインの和の規約を用いた）。ここで偏微分は与えられたチャートにおいて に対応する の点において評価するものとする。これを線型に拡張して、-成分が
で与えられる行列を得る。これにより、微分 は、各点において可微分写像 に付随して決まる接空間の間の線型変換となるから、したがって適当な局所座標系を選んで、対応する から への可微分函数のヤコビ行列によって表現することができる。一般にはこの微分は可逆とは限らない。 が局所微分同相写像ならば における押し出しは可逆であり、逆写像は のによって与えられる。 
この微分は , , , など様々な記法を用いて表されることがよくある。
定義から、合成写像の微分が、微分の合成に等しいことが従う（すなわち、微分をとる操作は函手的である）。つまり、
また、局所微分同相写像の微分は、接空間の間の線型同型となる。
接束上の微分写像.
可微分写像 の微分 は、自然な仕方で を動かして、 の接束から の接束への（実は） または を誘導し、それは以下の図式 を可換にする。ただし、 および はそれぞれ および の接束に関する束射影である。
あるいは同じこと（の項参照）だが、 は接束 から への 上の束写像であり、これを 上の準同型束 の切断と見ることができる。この束写像 は とも書かれ、接写像 ("tangent map") と呼ばれる。この方法（）で は函手となる。 
ベクトル場の押し出し.
可微分写像 と 上のベクトル場 が与えられたとき、 の による押し出しを 上の適当なベクトル場と同一視することが普通はできない。例えば、写像 が全射でなければ の像に属さないところでそのような押し出しを定義する自然な方法がないし、また が単射でなければ与えられた点における押し出しの選び方が複数存在しうる。にもかかわらず、この困難を正確にして、写像に沿うベクトル場の概念が用いられる。
 上のベクトル束 の切断を に沿うベクトル場と呼ぶ。例えば、 が の部分多様体で、 が包含写像のとき、 に沿うベクトル場とは の接束の に沿う切断のことに他ならない。特に、 上のベクトル場は の への包含を通じてそのような切断を定める。
 を 上のベクトル場、すなわち の切断とするとき、微分を点ごとに に適用することにより、ベクトル場の押し出し が誘導され、これは に沿うベクトル場、すなわち 上の の切断である。
 上の任意のベクトル場 は の を なるものとして定義する。 上のベクトル場 と 上のベクトル場 が -関係を持つ ("-related") とは、 に沿うベクトル場として を満たすとき、すなわち各点 に対し が成り立つときに言う。
条件によっては、与えられた 上のベクトル場 に対して と -関係を持つ 上のベクトル場 が一意に決まるということもあり得る。特に が微分同相写像であるときには必ずそうなる。この場合、押出しが定める 上のベクトル場 は で与えられる。
より一般の状況として、 が全射のとき（例えば、ファイバー束の束射影のとき）、 上のベクトル場 が射影可能 ("projectable") とは、任意の に対して が の取り方に依らないときに言う。この条件はちょうど、 の押し出しが 上のベクトル場として定義可能となることを保証するものになっている。