微分

数学におけるの**微分係数**、**微分商**またはは、別の量（独立変数）に依存して決まる、ある量（関数の値あるいは従属変数）の変化の度合いを測るものであり、これらを求めることを**する**という。微分演算の結果である微分係数や導関数も用語の濫用でしばしば微分と呼ばれる。

## 概要
微分は解析学分野（特に微分積分学分野）の基本的な道具である。例えば、動く物体の位置の時間に関する導関数はその物体の速度であり、これは時間が進んだときその物体の位置がどれほど早く変わるかを測る。 

一変数関数の適当に選んだ入力値における微分係数は、その点におけるグラフの接線の傾きである。これは導関数がその入力値の近くでその関数の最適線型近似を記述するものであることを意味する。そのような理由で、微分係数はしばしば「瞬間の変化率」として記述される。瞬間の変化率は独立変数に依存する従属変数である。

微分はにも拡張できる。この一般化において、導関数はそのグラフが（適当な変換の後）もとの関数のグラフを最適線型近似する線型写像と解釈しなおされる。ヤコビ行列はこの線型変換を独立および従属変数を選ぶことで与えられる基底に関して表現する行列であり、独立変数に関する偏微分を用いて計算することができる。多変数実数値関数に対して、ヤコビ行列は勾配に簡約される。

導関数を求める過程を**微分**あるいは微分法、微分演算（）と言い、その逆の過程（原始関数を求めること）を反微分という。微分積分学の基本定理は反微分が積分と同じであることを主張する。一変数の微分積分学において微分と積分は基本的な操作の二本柱である。

## 1変数関数の微分法
### 直観的な説明
初めに最も簡単な場合を扱う。すなわち、実数値の変数を1個もち、値も1個の実数であるような関数 （または単に  とも書く）を微分することを考える。「微分する」というのは、より正確には、****または**[[微分#区間における微分可能性と導関数|導関数]]**のいずれかを求めることを意味している。

説明を単純にするため、 はすべての実数  に対して定義されているとしよう。すると各々の実数  に対して、 の  における微分係数と呼ばれる数がある（定義されない場合もあるが、ここでは理想的な状況のみを想定して説明する）。これを  で表す。また、実数  に対して微分係数  を対応させる関数  のことを  の導関数という。

微分係数  とは何であるか直観的に説明するには、いくつかの方法がある。

# 微分係数  とは、関数  のグラフに  において（すなわち点  において）接線をひいたときの、その接線の傾きのことである。
# 微分係数  とは、変数  の値の変化に伴う  の変化を考えたときの、 における  の瞬間変化率のことである。
# 微分係数  とは、関数  のグラフの  付近を（すなわち点  付近を）限りなく拡大していったときに、グラフが直線に近づいて見える場合における、その直線の傾きのことである。

これらはいずれも、論理的に厳密な定義とはいえない。それは、「接線」や「瞬間変化率」について厳密な定義が与えられていないし、またグラフを「限りなく拡大する」ということの意味も定かではないからである。

ごく単純な関数については、上記の説明が微分係数の具体的な値について十分な示唆を与えるのは確かだ。たとえば一次関数  を考えると、そのグラフは直線なので、「 における接線」もその直線自身であると考えるのが妥当だろう。直線  の傾きは  だから、微分係数  の値も  とすべきだと考えられる。また、二次関数についても、グラフの接線の概念を微分とは無関係に定義して、その傾きを求めることはできる。だが、ほとんどの関数にはこのような手法は通用しないから、一般的な定義を与えるためには新しい考えが必要である。

### 厳密な定式化

#### 一点における微分可能性と微分係数
関数  が開区間 I\subset\mathbb{R} において定義されているとする。そのとき、a\in I に対し、極限
: \lim_{h \to 0} \frac{f(a+h) - f(a)}{h}
が存在するとき、 は  において**微分可能**であるという（極限は有限確定値であることを要請する。すなわち、正の無限大や負の無限大であることは許容しない）。またそのとき、上記の極限を  における  の**微分係数**とよび、 によって表す。

これにともない、 のグラフ上の点  を通り傾き  をもつ直線のことを、 のグラフの  における**接線**という。つまり、 における接線とは、 によって与えられる直線のことである。

上述の微分係数の定義に現れる分数
: \frac{f(a+h) - f(a)}{h}
は差分商とよばれる。これは関数  のグラフ上の2点  と  を通る直線（**割線**という）の傾きを表している。あるいは、変数  の値が  から  まで変化するあいだの、関数の値の平均変化率を表しているとみることもできる。これらの見方によれば、微分係数の定義について、次のような解釈を与えることができる。
# グラフ上の2点 ,  を通る割線が、 を  へと近づけたときにある直線に近づくならば、それを接線とみなすのが妥当であろう。この意味での接線の傾きが、微分係数  である。
# 「変数  の値が  から  まで変化するあいだの関数値の平均変化率」が、 を  へと近づけたときにある数に近づくならば、それを瞬間変化率とみなすのが妥当であろう。この瞬間変化率が、微分係数  である。

なお、上述の微分可能性の定義では  が  にどのようにして近づいても差分商が一定の値に収束することを要請したが、近づき方を限定することも考えられる。 が正の値をとりながら  に近づいたときの片側極限
: \lim_{h\searrow 0} \frac{f(a+h) - f(a)}{h}
が存在するとき、 は  において**右側微分可能**であるといい、この片側極限を**右側微分係数**とよぶ。同様に、 が負の値をとりながら  に近づいたときの片側極限
: \lim_{h\nearrow 0} \frac{f(a+h) - f(a)}{h}
が存在するとき、 は  において**左側微分可能**であるといい、この片側極限を**左側微分係数**とよぶ。 が  において微分可能であるためには、「 が  において右側微分可能かつ左側微分可能で、かつ右側微分係数と左側微分係数が一致する」ということが必要十分である。

#### 区間における微分可能性と導関数

関数  が開区間 I\subset\mathbb{R} で定義されており、すべての a\in I において微分可能であるとき、 は区間  において**微分可能**であるという。またそのとき、 に対して微分係数  を対応させる区間  上の関数のことを、 の**導関数**といい （または変数の記号を補って ）で表す。

 がその他のタイプの区間である場合にも、区間  における微分可能性を定義することができる。たとえば、 が有界閉区間  である場合には、区間の内点では通常の意味での微分係数の存在を要請し、 では右側微分係数が、 では左側微分係数が存在することを要請する。導関数  の値は、 では右側微分係数、 では左側微分係数とする。

関数  が区間  において微分可能で、さらに導関数  が  で連続であるとき、 は  において**連続微分可能**である、または  **級**であるという。

#### 1次近似による定式化
開区間 I\subset\mathbb{R} で定義された関数  について、a\in I とするとき、次の条件は  の  における微分可能性と同値である。

ある定数  が存在して、 のとき  である。

ここで  はランダウの記号である。この条件が成り立つとき、 は微分係数  に他ならない。

「 のとき 」が成り立つことを指して、 は  の  における**1次近似**であるという。この言葉を用いれば、一点における微分可能性とは1次近似可能性のことだといえる。またこれは、#直観的な説明の、微分係数に関する3番目の説明を厳密化したものとみることができる。

### 連続性と可微分性
関数  が  において微分可能ならば、  は  で必ず連続である。

一方で、関数がある一点で連続だったとしても、そこで微分可能でないことがある。
* 絶対値関数  は  において連続だが、この点で微分可能でない。 のときは ,  を通る割線の傾きは  だが、 のときは  である。この例では、グラフは  においてカスプ（尖点）をもつという言い方をする。
* 関数  は  において連続だが、この点で微分可能でない。,  を通る割線の傾きは、 のとき正の無限大に発散するからである。この例は、グラフが滑らかにつながっているからといって微分可能とはかぎらないことを示している。

実用上現れる関数の大半は、ほとんど至るところで微分可能である。の初期には、多くの数学者は連続関数はほとんど至るところで微分可能であると考えていた。この仮定は緩やかな条件、たとえば単調写像やリプシッツ連続などのもとでは確かに満たされる。しかし1872年にワイエルシュトラスは、至るところ連続だが、至るところ微分不可能な関数の例を与えた（ワイエルシュトラス関数）。1931年にステファン・バナフは、連続関数全体のなす空間において、少なくとも1点で微分可能な関数全体のなす集合が痩せている(meager)ことを示した。くだけた言い方をすれば、ほとんどあらゆる連続関数がすべての点で微分不可能なのである。

### 高階微分
関数  が区間  で導関数  をもち、それがさらに  で微分可能なとき、 の導関数を  の2階導関数とよび  で表す。より一般に、関数  が区間  で  回繰り返して微分できるとき、 は  で  **回微分可能**であるといい、 回微分して得られる関数を  **階導関数**といって  で表す。

 が  回微分可能であって、さらに  階導関数  が連続であるとき、 は  **回連続微分可能**である（または  級である）という。何回でも微分可能な関数は**無限回微分可能**である（または  級である）という。 級関数のことを'''滑らか'''な関数ということもある（ただしこの語の用法は必ずしも一定していず、たとえば単に微分可能であることを指して滑らかであるという場合もある）。

### 微分と関数の増減・凹凸

#### 導関数の符号と関数の増減

微分可能な関数  について、導関数  が正の値をとる区間では、 の値は単調増加する（より詳しくいえば、狭義単調増加する）。導関数  が負の値をとる区間では  の値は単調減少する。導関数  の値がつねに  であるような区間では、関数  の値は一定である。

#### 2階導関数の符号と関数の凹凸

2階微分可能な関数  について、2階導関数  が正の値をとる区間では、関数  は凸（下に凸）である。 が負の値をとる区間では関数  は凹（上に凸）である。

関数  が  の前後で凸から凹に、あるいは凹から凸に切り替わるとき、点  は  のグラフの**[[変曲点]]**であるという。2階微分可能な関数  については、これは2階導関数  の符号が切り替わる  の値に対応する点ということができる。

### 多項式近似への応用

関数  が開区間  で  階微分可能で、 階導関数  が  で微分可能なとき、 の  における微分係数を  とすれば
:  f(a+h) = \frac{f(a)}{0!} + \frac{f'(a)h}{1!} + \frac{f*(a)}{2!} h^2 + \dots + \frac{f^{(n)}(a)}{n!} h^n + O(h^n)</math>
が成り立つ（テイラーの定理のペアノの剰余項による形）。これは、前述の、一点における微分可能性の1次近似による定式化の一般化にあたる。

=== ベクトル値関数の微分 ===
実数値の変数  をもち、<math>\mathbb{R}^m</math> に値をもつ[[ベクトル値函数]]  を考える。これが一点  において*'微分可能**であるというのは、
: <math>\lim_{h\to 0}\frac{f(a+h) - f(a)}{h}</math>
という極限が存在することである。上記の極限として現れるベクトルを  で表す（これも<math>\mathbb{R}^m</math>の元である）。一般には  に特に名前はないが、 が <math>\mathbb{R}^m</math> における点の位置の変化（[[曲線]]といってもよい）を表しているとみなす場合は、 を[[速度]]とよぶことがある。

 が  において微分可能であることと、各成分  がすべて  において微分可能であることは同値である。また
: <math>f'(a)=(f'_1(a),\dots,f'_m(a))</math>
が成り立つ。

ベクトル値関数  が区間  の各点で微分可能なとき、 は区間  において**微分可能**であるという。

ベクトル値関数については、高階微分も同様にして考えることができる。 は、 が <math>\mathbb{R}^m</math> における点の位置の変化を表しているとみなす場合は、[[加速度]]とよばれる。

=== 超準解析による定式化 ===
実数を拡大して[[超実数]]  の体系の中で考えるとき、実函数  の実点  における微分係数は（ の超実数への自然延長をやはり  と書くとき）、[[無限小]]  に対して  とすれば、 の  に関する商  の を考えることで定義することができる。ここで、上記の差分商の標準部が無限小  の取り方に依らずに定まるとき、すなわち
: <math>\exists! m\in \mathbb{R}, \forall \mathit{\Delta x}(\mathit{\Delta x} \in \operatorname{monad}(0)\land \mathit{\Delta x}\ne 0),\; m = \operatorname{st}\!\left( \frac{f(a+\mathit{\Delta x}) - f(a)}{\mathit{\Delta x}} \right) </math>
が成り立つとき、この実数  を実函数  の  における**微分係数**と呼ぶ。

== 記法について ==

関数  の導関数や高階導関数を表す記法には次のようなものがある。

また、 とおいて、下記の記法における  を  で置き換えた記法も用いられる。


===微分係数===
点  における微分係数（および高階の微分係数）を表すには、 を添えたり  を添えたりする。

例えば、

である。

== 微分公式 ==
=== 基本法則 ===

 が微分可能な  の函数で、 が  に無関係な[[定数]]のとき
* [[線型性]]:
*: <math>(au + bv)' = au' + bv'.</math>
* [[積の微分法則]]:
*: <math>(uv)' = u'v + uv',</math>
*: <math>\begin{align}\frac{d(u_1u_2\cdots u_n)}{\mathit{dx}} &= \sum_{i=1}^n u_1\cdots u_{i-1}\frac{du_i}{\mathit{dx}}u_{i+1}\cdots u_n \\
&= \frac{du_1}{\mathit{dx}}u_2u_3\cdots u_n + u_1\frac{du_2}{\mathit{dx}}u_3\cdots u_n + \cdots + u_1u_2\cdots u_{n-1}\frac{du_n}{\mathit{dx}},\end{align}</math>
*: <math>\frac{d^n(uv)}{\mathit{dx}^n} =\sum_{i=0}^n {n \choose i}u^{(n-i)}v^{(i)}.</math>
* [[連鎖律]] :
*: <math>\frac{d(u\circ v)}{\mathit{dx}} = \frac{du}{\mathit{dv}}\cdot\frac{dv}{\mathit{dx}}.</math>

=== 初等関数に関する公式 ===
いくつかの[[初等関数]]に関して、特徴的な微分公式が挙げられる。、、、 はそれぞれ[[指数関数]]と[[対数]]であり、、、 は[[三角関数]]、、、 は三角函数の逆函数（[[逆三角関数]]）、、、 は[[双曲線関数]]、、、 は双曲線函数の逆函数（[[逆双曲線関数]]）である。また、三角函数および双曲線函数の[[冪乗]]は  のように函数名の肩に指数を書いて表していることに注意。


== 多変数函数の微分法 ==


=== 偏微分と方向微分 ===

==== 偏微分 ====


 個の実数値変数をもつ多変数関数  が与えられたとする（ はスカラー値でなくベクトル値でもよい）。各  について、 を除く  個の変数の値を固定することにより、 を変数  のみをもつ1変数関数とみなすことができる。そのようにみた上で  を変数  について微分するのが偏微分とよばれる操作である。

 が <math>\mathbb{R}^n</math> の開集合  で定義されているとする。点 <math>(a_1,\dots,a_n)\in D</math> に対し、 以外の変数を  とおいて固定し、
: <math>f(a_1,\dots,a_{j-1},x_j,a_{j+1},\dots,a_n)</math>
という  の1変数関数を考える。その  における微分係数
: <math>\lim_{h \to 0}\frac{f(a_1,\ldots,a_{j-1},a_j+h,a_{j+1},\ldots,a_n) - f(a_1,\ldots,a_{j-1},a_j,a_{j+1},\ldots,a_n)}{h}</math>
を、 の点  における  に関する**偏微分係数**といい、
: <math>f_{x_j}(a_1,\ldots,a_n)</math>, <math>\frac{\partial f}{\partial x_j}(a_1,\ldots,a_n)</math>, <math>\partial_{x_j}f(a_1,\ldots,a_n)</math>
などの記号で表す。また、点  に対してこれらの偏微分係数を対応づける  上の関数を  の  に関する**偏導関数**といい、
: <math>f_{x_j}</math>, <math>\frac{\partial f}{\partial x_j}</math>, <math>\partial_{x_j}f</math>
などで表す。丸い d の記号 [[∂]] は偏微分記号などとよばれる。

 が  の各点ですべての変数について偏微分可能で、かつすべての偏導関数  が  で連続であるとき、関数  は  で**連続微分可能**（または  **級**）であるという。

==== 高階の偏微分 ====
偏微分を繰り返して行うことにより得られる微分係数のことを高階の偏微分係数という。これは微分の階数について帰納的に定義される。

たとえば  の点  における2階偏微分係数
: <math>\frac{\partial^2 f}{\partial x_{j_1}\partial x_{j_2}}(a)</math>
は次のように定義される。前提として、導関数  が存在するものとする。この仮定のもとで、  が点  において  に関して偏微分可能ならば、その偏微分係数のことを上記の記号で表すのである。 があらゆる点  において  に関して偏微分可能であるとき、点  に上記の2階偏微分係数を対応づける関数のことを、
: <math>\frac{\partial^2 f}{\partial x_{j_1}\partial x_{j_2}}</math>
と書いて2階偏導関数とよぶ。同様のことを繰り返して、一般の  階偏微分係数
: <math>\frac{\partial^k f}{\partial x_{j_1}\partial x_{j_2}\dotsb\partial x_{j_k}}(a)</math>
および  階偏導関数
: <math>\frac{\partial^k f}{\partial x_{j_1}\partial x_{j_2}\dotsb\partial x_{j_k}}</math>
が定義される。

微分の順序交換については次が知られている。2変数関数  について、2階偏導関数 ,  がともに存在して、さらにいずれも点  において連続ならば、
: <math>\frac{\partial^2 f}{\partial x\,\partial y}(a)=\frac{\partial^2 f}{\partial y\,\partial x}(a)</math>
が成立する。2階偏導関数の連続性の仮定が満たされなければこの等式は一般には成立しない。 変数関数の微分の順序交換についても同じことがいえる。

==== 方向微分 ====


関数  について、偏微分は  の各座標軸方向への変化を測る。 の任意の方向への変化を測るのが方向微分である。

ベクトル  に対して、関数  の点  における  方向への**方向微分係数**とは、
: <math>\lim_{h\to 0}\frac{f(a + hv) - f(a)}{h}</math>
のことである。 軸正の方向の単位ベクトルを  とするとき、 方向への方向微分係数は、 に関する偏微分係数に他ならない。

 が点  においてすべての変数に関して偏微分可能ならば、あらゆるベクトル  について、点  における  方向への方向微分係数が存在する。またこのとき、方向微分係数は  に関して線型である。特に、 に対して方向微分係数  は
: <math>D_vf(a) = \sum_{j=1}^n v_j \frac{\partial f}{\partial x_j}(a)</math>
によって与えられる。

=== 全微分 ===


 が  の開集合から  への函数ならば、 の方向微分は、その点における  の選択した方向への最適線型近似を与える。しかし、  のときは、位置方向への方向微分だけでは  の挙動を完全に捉えることはできない。全微分は、全ての方向を一度にまとめて考えることで函数の挙動を完全にとらえるものである。

 の  における**全微分係数*'（あるいは単に全微分）は
:<math>\lim_{\mathbf{h}\to 0} \frac{\lVert f(\mathbf{a} + \mathbf{h}) - f(\mathbf{a}) - f'(\mathbf{a})\mathbf{h}\rVert}{\lVert\mathbf{h}\rVert} = 0</math>
を満たす唯一の線型写像  と定義される。ただし、 だから分母におけるノルムは  における標準ノルムであり、他方  であり分子のノルムは  の標準ノルムである。 が  を始点とするベクトルならば、 は  による  の押し出しと呼ばれ、 とも書かれる。 の点  における全微分係数  は  を始点とする任意のベクトル  に対して、線型近似公式
: <math>f(\mathbf{a} + \mathbf{v}) \approx f(\mathbf{a}) + f'(\mathbf{a})\mathbf{v}</math>
が満足される。一変数の微分係数のときと同じく  はこの近似の誤差が可能な限り最小となるように選ばれる。高次元の場合に、この線型近似公式が意味を持つためには  は  のベクトルを  のベクトルへ写す線型写像でければならず、また  はその写像の  における値でなければならない。

==== 偏微分・方向微分との関係 ====
点  において全微分係数が存在するならば、 における  の任意の偏微分および方向微分が存在する。即ち、任意の  に対して   が  の  における -方向への方向微分になる。 を座標成分函数を用いて  と書けば、全微分係数は、偏微分を用いて[[行列 (数学)|行列]]として表すことができる。この行列
: <math>f'(\mathbf{a}) = \operatorname{Jac}_{\mathbf{a}} = \left(\frac{\partial f_i}{\partial x_j}\right)_{ij}</math>
は  の  における[[ヤコビ行列]]と呼ばれる。全微分係数  が存在することは、すべての偏微分が存在することよりも真に強い条件であるが、偏微分が全て存在して連続ならば全微分は存在し、それはヤコビ行列によって与えられ、 に関して連続的に変化する。

全微分係数の定義は一変数の場合も含むものになっている。 が実一変数の実数値函数であるとき、全微分係数の存在する必要十分条件は通常の微分係数が存在することである。ヤコビ行列は微分係数  を唯一の成分とする  行列であり、この行列は  なる近似性質を持つ。[[違いを除いて]]、これは函数  が  の  における最適線型近似であることを述べるものである。

==== 高階の全微分 ====
函数の全微分をとる操作では、一変数の場合と同じやり方で考えたのでは、別の函数（導函数）を与えることは無い。これは多変数函数の全微分係数が一変数函数の微分係数よりも多くの情報をもつものであることからくるもので、実際に全微分は函数の始域となる空間の[[接束]]から終域となる空間の接束への写像を与えるものになっている。

自然な意味で高階導函数に対応する概念は、線型写像でも接束上の写像でもなく、また全微分を繰り返すことで構成されるものでもない。

; ジェット: 高階の全導函数となるべきものはと呼ばれるもので、これは線型写像ではない（高階導函数は凹性（凸性）などの微妙な幾何学的性質を反映するので、これはベクトルのような線型の情報では記述できない）し、接束上の写像でもない（接束は底空間と方向微分に対してしか意味を成さない）。ジェットは高階の情報を反映することから、各方向への高階の変化を表す追加の座標を引数としてとる。このような余分の座標によって決定される空間はと呼ばれる。函数の全微分と偏微分との関係に並列に対応するものは、函数の -階のジェットと  階以下の偏微分との関係として理解することができる。

; 高階フレシェ微分: 全微分を繰り返しとることは、高階の[[フレシェ微分]]（を  に特殊化したもの）として定式化することができる。つまり、-階の全微分は
:: <math>D^k f\colon \mathbb{R}^n \to L^k(\mathbb{R}^n \times \cdots \times \mathbb{R}^n,\, \mathbb{R}^m)</math>
: なる写像として解釈することができる。この写像は点  に対して、 から  への -[[多重線型写像]]の空間の元で、その点において  を（ある特定の明確な意味において）「最適」に -重線型近似するものを割り当てる。対角線埋め込み  との合成を考えれば、多変数のテイラー級数も最初の方の項が
:: <math>\begin{align}
 f(\mathbf{x}) & \approx f(\mathbf{a}) + (D f)(\mathbf{x}) + (D^2 f)(\Delta(\mathbf{x-a})) + \cdots\\
 & = f(\mathbf{a}) + (D f)(\mathbf{x - a}) + (D^2 f)(\mathbf{x - a}, \mathbf{x - a})+ \cdots\\
 & = f(\mathbf{a}) + \sum_i (D f)_i (\mathbf{x-a})^i + \sum_{j, k} (D^2 f)_{j k} (\mathbf{x-a})^j (\mathbf{x-a})^k + \cdots
\end{align}</math>
: となるようなものとして与えられる。ただし、 は定値函数と同一視され、各  はベクトル  の第 -成分で、 は線型変換としての  の各成分を表す。

== 一般化 ==


微分の概念を多くの他の状況設定の下でも拡張して定義することができる。共通することは、一つの点における函数の導函数がその点における函数の[[線型近似]]として働くことである。
* 実函数の微分の重要な一般化は、[[複素平面]]上の[[領域 (解析学)|領域]]からガウス平面  への函数のような[[複素数]]の[[複素解析]]である。複素函数の微分の概念は、実函数の微分の定義において実変数であるところを複素変数に置き換えることで得られる。二つの実数  を用いて複素数  と書くことによりガウス平面  を座標平面  と同一視するとき、 から  への複素可微分函数は  から  へのある種の（その偏導函数が全て存在するという意味での）実可微分函数とみなすことができるが、逆は一般には成り立たない（複素微分が存在するのは実導函数が「複素線型」であるときに限り、これは二つの偏導函数が[[コーシー・リーマンの方程式|コーシー–リーマンの方程式]]と呼ばれる関係式を満足することを課すものである）。[[正則関数]]の項を参照。
* 別の一般化として[[可微分多様体]]（滑らかな多様体）の間の写像の微分を考えることができる。直観的に言えば、可微分多様体  とはその各点  の近くで[[接ベクトル空間]]と呼ばれる[[ベクトル空間]]によって近似することのできる空間である（原型的な例は  内のである）。そのような多様体間の可微分写像  の点  における微分係数あるいは微分は、 における  の接空間から  における  の接空間への[[線型写像]]であり、導函数は  の[[接束]]から  の接束への写像となる。この定義は[[微分幾何学]]において基本的であり、多くの応用がある。[[写像の微分]]（押し出し）およびの項を参照。
* [[バナッハ空間]]や[[フレシェ空間]]のような[[無限次元]]線型空間の間の写像に対する微分法も定義できる。[[方向微分]]の一般化である[[ガトー微分]]や[[関数の微分]]の一般化である[[フレシェ微分]]などがある。
* 古典的な微分の欠点は微分可能な函数がそれほどまでには多くないことである。それにも関わらず、微分の概念を拡張して任意の連続函数やほかの多くの函数を微分可能とするものに、[[弱微分]]がある。これは連続函数をより大きな分布の空間に埋め込んで、「平均の上で」のみ微分可能性を課すというものである。
* 微分の性質に着想を得て代数学や位相空間論における同様の対象がたくさん導入され研究されている。例えば、[[微分環]]などを参照。
* 微分の離散的対応物は[[有限差分]]である。微分法の研究は[[時間尺度微分積分学]]において差分法と統一される。
* （数論的微分）

== 訳語の由来 ==
微分・[[積分]]という訳語は[[李善蘭]]が（偉烈亜力）とともにの著書 *Elements of Analytical Geometry and of Differential and Integral Calculus'' を翻訳して『代微積拾級』（1859年（安政6年）出版）を著すときに作った。古代の成語「微を積みて著を成す」の意味からとったと推測されている。

## 関連項目

* 
* 積分法
* 
** ラドン&ndash;ニコディムの定理
** ダルブー導関数
** 
** 
** 
* 自動微分
* 
* 
* 対称微分
* 
* 
* 微分作用素
* 微分法
* 
* 無限小

* 微分可能関数

*スケール因子 - 異なる物理量間で微分を考える際、得られる値は実際の比というより、物理単位の取り方に依存した仮想的な値になる。

## 脚注

### 注釈

### 出典

## 参考文献

* 
* 
* 
* 
* 
* 
* 

### 関連文献
#### 印刷物

*
*
*
*
*
*

#### オンライン本

*
*
*
*
*
*
*
*
*

#### ウェブサイト
*
*Khan Academy: "Newton, Leibniz, and Usain Bolt"
*
*Online Derivative Calculator from Wolfram Alpha.
*Derivatives of Trigonometric functions, UBC