外微分

可微分多様体上、外微分（がいびぶん、）は関数の微分の概念を高次の微分形式に拡張する。外微分はエリ・カルタンによって最初に現在の形式で記述された。それによってベクトル解析のストークスの定理、ガウスの定理、グリーンの定理の自然な、距離に依存しない一般化ができる。
定義.
 次微分形式の外微分は 次微分形式である。
 が滑らかな関数（ 形式）であれば、 の外微分 は の全微分 である。つまり、外微分 は
を満たす一意的な 1 形式である。
一般の 形式の外微分には様々な同値な定義が存在する。
公理による定義.
外微分 は以下の性質を満たす -形式から -形式への一意的な -線型写像として定義される：
二番目の定義性質はより一般性を持って成り立つ： 実は、任意の -形式 に対して （より簡潔には、）である。三番目の定義性質は特別な場合として が関数で が -形式であれば であるということを含んでいる。なぜならば、関数は 形式であり、スカラー乗法と外積は引数の一方がスカラーであるとき同値であるからである。
局所座標系による定義.
代わりに、完全に局所座標系 の言葉で定義することもできる。まず、座標（微分）形式 は座標チャートの範囲内で 1-形式の基底をなす。 なる各 に対して とし、多重添字 （および表記の濫用で を と書く）が与えられたとき、 上の単純 -形式 の外微分は
で与えられる。一般の -形式は が の -元部分集合全てを渡る単純 -形式の和
に書かれるから、その外微分の定義は単純形式の場合を線型に拡張することによって与えられる。 が多重添え字 の成分の 1 つであるときにはいつでも であることに注意しよう（ウェッジ積を参照）。
この局所座標系による定義は前節の公理による定義から従う。実際、単純形式 に対し、前節で述べた性質を適用すれば で だから を得る。
結果を一般の場合に直截に書けば、-形式 の外微分は
と定義される。
不変公式による定義.
代わりに、明示的な式を -形式 の外微分に対して、 個の任意の滑らかなベクトル場 とペアにされたとき、与えることができる：
ただし はを表し、ハットはその元を取り除くことを表す：
特に、 形式に対して次が成り立つ： , ただし と はベクトル場である。
多様体上のストークスの定理.
 が境界をもつコンパクトで滑らかで向き付け可能な 次元多様体で、 は 上の 形式とするとき、一般化されたストークスの定理は
なることを述べる。直感的には、 が無限小領域に分割されたと考え、すべての領域の境界に渡って流れ (flux) を加えたとき、内部の境界はすべて打ち消し合い、 の境界を通る全体の流れが残る。
さらなる性質.
閉形式と完全形式.
-形式 は であるときに閉 (closed) であるという（すなわち閉形式は の核の元のことである）。 はある -形式 に対して であるときに完全 (exact) であるという（すなわち完全形式は の像に属する）。 ゆえ、任意の完全形式は閉である。ポワンカレの補題は、可縮領域において逆が正しいと述べている。
ド・ラームコホロジー.
外微分 は という性質をもつので、それを多様体上のド・ラームコホモロジーを定義する微分（双対境界写像）として使うことができる。-次ド・ラームコホモロジー（群）は完全 形式を法とした閉 -形式のなすベクトル空間である。直前の節で述べたように、ポワンカレの補題はこれらのベクトル空間が に対して可縮領域に対して自明であることを述べている。滑らかな多様体に対して、形式の共通部分はド・ラームコホモロジーから 上の特異コホモロジーへの自然な準同型を与える。ド・ラームの定理はこの写像が実は同型であることを示しており、ポワンカレの補題の遠大な一般化である。一般化されたストークスの定理によって示唆されているように、外微分は特異単体上の境界写像の「双対」である。
自然性.
外微分はテクニカルな意味で自然である： が滑らかな写像で が各多様体に多様体上の -形式の空間を割り当てる滑らかな反変関手であれば、次の図式は交換する
よって である、ただし は のを表す。このことは、 を の押し出し（微分）として、 が定義により に等しいことから従う。ゆえに は から への自然変換である。
ベクトル解析における外微分.
たいていのベクトル解析の演算子は外微分の概念の特別な場合であるか、あるいは、近い関係である。
勾配.
滑らかな関数 は -形式である。この -形式の外微分は -形式
である。つまり、形式 は任意のベクトル場 に作用して、各点において と の勾配 との内積を返す。
-形式 は余接束の断面であり、各点の余接空間において の局所的な線型近似を与える。
発散.
 上のベクトル場 は対応する -形式
をもつ、ただし formula_11 はその元を除くことを意味する。
（例えば、 つまり三次元空間のとき、-形式 は局所的に とのスカラー三重積である。） のある超曲面上の積分は のその超曲面上の流束である。
この -形式の外微分は -形式
である。
回転.
 上のベクトル場 もまた対応する -形式
をもつ。局所的には、 は とのドット積である。ある道に沿った の積分はその道に沿って に逆らってされた仕事である。
 のとき、三次元空間において、-形式 の外微分は -形式
である。
grad, curl, div, およびラプラシアンの不変公式.
任意のリーマン多様体上、標準的なベクトル解析の演算子は座標によらない (coordinate-free) 表記で次のように書くことができる：
ここで formula_16 はホッジのスター演算子であり、 formula_17 および formula_18 は、formula_19 はスカラー場、formula_20 はベクトル場である。