外微分

出典は列挙するだけでなく、脚注などを用いてどの記述の情報源であるかを明記してください。 記事の信頼性向上にご協力をお願いいたします。（2017年10月）

下記テーマに関する記事の一部
解析学
基本定理 関数の極限 連続性 平均値の定理
微分法 定義 導関数 (一般化（英語版）) 微分 無限小 関数の 全 概念 微分の記法 二階導関数 三階導関数（英語版） 変数変換（英語版） 陰関数の微分 Related rates（英語版） テイラーの定理 法則と恒等式（英語版） 和（英語版） 積 合成 冪（英語版） 商 一般ライプニッツ ファー・ディ・ブルーノの公式（英語版）
積分法 積分一覧 定義 不定積分 積分 (広義) リーマン積分 ルベーグ積分 線積分 複素線積分 道具 部分 Discs（英語版） 円殻（バウムクーヘン） 置換 三角置換（英語版） 部分分数（英語版） 順序（英語版） 漸化式
級数 幾何 (算術幾何) 調和 交代 冪 二項 テイラー 収束判定法（英語版） 項の極限（項判定法）（英語版） 比 冪根 積分 比較 極限比較（英語版） 交代級数（英語版） 凝集 ディリクレ アーベル（英語版）
ベクトル 勾配 発散 回転 ラプラシアン 方向微分 公式（英語版） 定理 発散 勾配（英語版） グリーン ケルビン・ストークス
多変数 形式と枠組み 行列（英語版） テンソル 外 幾何学的（英語版） 定義 偏微分 多重積分 線積分 面積分 体積分 ヤコビアン ヘッセ行列
特殊化 分数階微積分 解析接続 マリアヴァン（英語版） 確率（英語版） 変分
その他 解析学記号
表 話 編 歴

可微分多様体上、外微分（がいびぶん、英: exterior derivative）は関数の微分の概念を高次の微分形式に拡張する。外微分はエリ・カルタンによって最初に現在の形式で記述された。それによってベクトル解析のストークスの定理、ガウスの定理、グリーンの定理の自然な、距離に依存しない一般化ができる。

k 形式を無限小 k 次元平行面体を通る流量を測るものと考えれば、その外微分を (k + 1)-平行面体^[どれ?]の境界を通る正味の流れを測るものと考えることができる。^{[要追加記述]}

k 次微分形式の外微分は k + 1 次微分形式である。

f が滑らかな関数（0 形式）であれば、f の外微分 df は f の全微分 df である。つまり、外微分df は

任意の滑らかなベクトル場 X に対して、df(X) = d_Xf（ただし d_Xf は X 方向への f の方向微分）。

を満たす一意的な 1 形式である。

一般の k 形式の外微分には様々な同値な定義が存在する。

外微分 d は以下の性質を満たす k-形式から (k + 1)-形式への一意的な R-線型写像として定義される：

1. 滑らかな関数 f に対して d(f) ≔ df はf の微分である。
2. 任意の滑らかな関数 f に対して d(df) = 0 である。
3. d(α ∧ β) = dα ∧ β + (−1)^p(α ∧ dβ) である、ただし α は p-形式とする。つまり、d は微分形式のなす外積代数上次数 1 の反微分である。

二番目の定義性質はより一般性を持って成り立つ： 実は、任意の k-形式 α に対して d(dα) = 0（より簡潔には、d² = 0）である。三番目の定義性質は特別な場合として f が関数で α が k-形式であれば d(fα) = d(f ∧ α) = df ∧ α + f ∧ dα であるということを含んでいる。なぜならば、関数は 0 形式であり、スカラー乗法と外積は引数の一方がスカラーであるとき同値であるからである。

代わりに、完全に局所座標系 (x¹, …, xⁿ) の言葉で定義することもできる。まず、座標（微分）形式 dx¹, …, dxⁿ は座標チャートの範囲内で 1-形式の基底をなす。1 ≤ p ≤ k なる各 p に対して 1 ≤ i_p ≤ n とし、多重添字 I = (i₁, …, i_k) （および表記の濫用で dx^i₁ ∧ ⋯ ∧ dx^i_k を dx^I と書く）が与えられたとき、Rⁿ 上の単純 k-形式 φ = f dx^I の外微分は

${\displaystyle \mathrm {d} \varphi :=\sum _{i=1}^{n}{\frac {\partial f}{\partial x^{i}}}\mathrm {d} x^{i}\wedge \mathrm {d} x^{I}}$

で与えられる。一般の k-形式は I が {1, …, n} の k-元部分集合全てを渡る単純 k-形式の和

${\displaystyle \omega =\sum _{I}f_{I}\mathrm {d} x^{I}}$

に書かれるから、その外微分の定義は単純形式の場合を線型に拡張することによって与えられる。i が多重添え字 I の成分の 1 つであるときにはいつでも dxⁱ ∧ dx^I = 0 であることに注意しよう（ウェッジ積を参照）。

この局所座標系による定義は前節の公理による定義から従う。実際、単純形式 φ ≔ f dx^I に対し、前節で述べた性質を適用すれば d(f dx^I) = df ∧ dx^I + f d(dx^I) で第二項 = 0 だから dφ = df ∧ dx^I = ∑n
i=1∂f/∂xⁱdxⁱ ∧ dx^I を得る。

結果を一般の場合に直截に書けば、k-形式 ω の外微分は

${\displaystyle \mathrm {d} \omega :=\sum _{I}\sum _{i=1}^{n}{\frac {\partial f_{I}}{\partial x^{i}}}\mathrm {d} x^{i}\wedge \mathrm {d} x^{I}}$

と定義される。

代わりに、明示的な式を k-形式 ω の外微分に対して、k + 1 個の任意の滑らかなベクトル場 V₀, V₁, ..., V_k とペアにされたとき、与えることができる^[1]：

${\displaystyle \mathrm {d} \omega (V_{0},...,V_{k})=\sum _{i}(-1)^{i}V_{i}(\omega (V_{0},\ldots ,{\overset {\wedge }{V_{i}}},\ldots ,V_{k}))+\sum _{i<j}(-1)^{i+j}\omega ([V_{i},V_{j}],V_{0},\ldots ,{\overset {\wedge }{V_{i}}},\ldots ,{\overset {\wedge }{V_{j}}},\ldots ,V_{k}),}$

ただし [V_i, V_j] は括弧積（英語版）を表し、ハットはその元を取り除くことを表す：

${\displaystyle \omega (V_{0},\ldots ,{\overset {\wedge }{V_{i}}},\ldots ,V_{k}):=\omega (V_{0},\ldots ,V_{i-1},V_{i+1},\ldots ,V_{k}).}$

特に、1 形式に対して次が成り立つ： dω(X, Y) = Xω(Y) − Yω(X) − ω([X, Y]), ただし X と Y はベクトル場である。

M が境界をもつコンパクトで滑らかで向き付け可能な n 次元多様体で、ω は M 上の (n − 1) 形式とするとき、一般化されたストークスの定理は

${\displaystyle \int _{M}\mathrm {d} \omega =\int _{\partial {M}}\omega }$

なることを述べる。直感的には、M が無限小領域に分割されたと考え、すべての領域の境界に渡って流れ (flux) を加えたとき、内部の境界はすべて打ち消し合い、M の境界を通る全体の流れが残る。

例 1.

1-形式の基底 dx¹, …, dxⁿ 上 σ = u dx¹ ∧ dx² を考えよう。その外微分は：

${\displaystyle {\begin{aligned}\mathrm {d} \sigma &=\mathrm {d} (u)\wedge \mathrm {d} x^{1}\wedge \mathrm {d} x^{2}\\&=\left(\sum _{i=1}^{n}{\frac {\partial u}{\partial x^{i}}}\mathrm {d} x^{i}\right)\wedge \mathrm {d} x^{1}\wedge \mathrm {d} x^{2}\\&=\sum _{i=3}^{n}{\frac {\partial u}{\partial x^{i}}}\mathrm {d} x^{i}\wedge \mathrm {d} x^{1}\wedge \mathrm {d} x^{2}.\end{aligned}}}$

最後の式はウェッジ積の性質から容易に従う。すなわち、dxⁱ ∧ dxⁱ = 0.

例 2.

σ = u dx + v dy を R² 上の 1-形式とする。各項に上記の公式を適用することによって（x¹ = x および x² = y と考える）次が成り立つ。

${\displaystyle {\begin{aligned}\mathrm {d} \sigma &=\sum _{i=1}^{2}{\frac {\partial u}{\partial x^{i}}}\mathrm {d} x^{i}\wedge \mathrm {d} x+\sum _{i=1}^{2}{\frac {\partial v}{\partial x^{i}}}\mathrm {d} x^{i}\wedge \mathrm {d} y\\&={\frac {\partial u}{\partial x}}\mathrm {d} x\wedge \mathrm {d} x+{\frac {\partial u}{\partial y}}\mathrm {d} y\wedge \mathrm {d} x+{\frac {\partial v}{\partial x}}\mathrm {d} x\wedge \mathrm {d} y+{\frac {\partial v}{\partial y}}\mathrm {d} y\wedge \mathrm {d} y\\&=0-{\frac {\partial u}{\partial y}}\mathrm {d} x\wedge \mathrm {d} y+{\frac {\partial v}{\partial x}}\mathrm {d} x\wedge \mathrm {d} y+0\\&=\left({\frac {\partial v}{\partial x}}-{\frac {\partial u}{\partial y}}\right)\mathrm {d} x\wedge \mathrm {d} y.\end{aligned}}}$

k-形式 ω は dω = 0 であるときに閉 (closed) であるという（すなわち閉形式は d の核の元のことである）。ω はある (k − 1)-形式 α に対して ω = dα であるときに完全 (exact) であるという（すなわち完全形式は d の像に属する）。d² = 0 ゆえ、任意の完全形式は閉である。ポワンカレの補題は、可縮領域において逆が正しいと述べている。

外微分 d は d² = 0 という性質をもつので、それを多様体上のド・ラームコホモロジーを定義する微分（双対境界写像）として使うことができる。k-次ド・ラームコホモロジー（群）は完全 k 形式を法とした閉 k-形式のなすベクトル空間である。直前の節で述べたように、ポワンカレの補題はこれらのベクトル空間が k > 0 に対して可縮領域に対して自明であることを述べている。滑らかな多様体に対して、形式の共通部分はド・ラームコホモロジーから R 上の特異コホモロジーへの自然な準同型を与える。ド・ラームの定理はこの写像が実は同型であることを示しており、ポワンカレの補題の遠大な一般化である。一般化されたストークスの定理によって示唆されているように、外微分は特異単体上の境界写像の「双対」である。

外微分はテクニカルな意味で自然である： f: M → N が滑らかな写像で Ω^k が各多様体に多様体上の k-形式の空間を割り当てる滑らかな反変関手であれば、次の図式は交換する

よって d(f*ω) = f*dω である、ただし f* は f の引き戻し（英語版）を表す。このことは、f_∗ を f の押し出し（微分）として、f*ω(•) が定義により ω(f_∗(•)) に等しいことから従う。ゆえに d は Ω^k から Ω^k+1 への自然変換である。

たいていのベクトル解析の演算子は外微分の概念の特別な場合であるか、あるいは、近い関係である。

滑らかな関数 f: Rⁿ → R は 0-形式である。この 0-形式の外微分は 1-形式

${\displaystyle \mathrm {d} f=\sum _{i=1}^{n}{\frac {\partial f}{\partial x^{i}}}\mathrm {d} x^{i}=\langle \nabla f,\bullet \rangle }$

である。つまり、形式 df は任意のベクトル場 V に作用して、各点において V と f の勾配 ∇f との内積を返す。

1-形式 df は余接束の断面であり、各点の余接空間において f の局所的な線型近似を与える。

Rⁿ 上のベクトル場 V = (v₁, v₂, …, v_n) は対応する (n − 1)-形式

${\displaystyle {\begin{aligned}\omega _{V}&=v_{1}(\mathrm {d} x^{2}\wedge \mathrm {d} x^{3}\wedge \cdots \wedge \mathrm {d} x^{n})-v_{2}(\mathrm {d} x^{1}\wedge \mathrm {d} x^{3}\wedge \cdots \wedge \mathrm {d} x^{n})+\cdots +(-1)^{n-1}v_{n}(\mathrm {d} x^{1}\wedge \cdots \wedge \mathrm {d} x^{n-1})\\&=\sum _{p=1}^{n}(-1)^{(p-1)}v_{p}(\mathrm {d} x^{1}\wedge \cdots \wedge \mathrm {d} x^{p-1}\wedge {\overset {\wedge }{\mathrm {d} x^{p}}}\wedge \mathrm {d} x^{p+1}\wedge \cdots \wedge \mathrm {d} x^{n})\end{aligned}}}$

をもつ、ただし ${\displaystyle {\overset {\wedge }{\mathrm {d} x^{p}}}}$ はその元を除くことを意味する。

（例えば、n = 3 つまり三次元空間のとき、2-形式 ω_V は局所的に V とのスカラー三重積である。）ω_V のある超曲面上の積分は V のその超曲面上の流束である。

この (n − 1)-形式の外微分は n-形式

${\displaystyle \mathrm {d} \omega _{V}=\operatorname {div} (V)(\mathrm {d} x^{1}\wedge \mathrm {d} x^{2}\wedge \cdots \wedge \mathrm {d} x^{n})}$

である。

Rⁿ 上のベクトル場 V もまた対応する 1-形式

${\displaystyle \eta _{V}=v_{1}\,\mathrm {d} x^{1}+v_{2}\,\mathrm {d} x^{2}+\cdots +v_{n}\,\mathrm {d} x^{n}}$

をもつ。局所的には、η_V は V とのドット積である。ある道に沿った η_V の積分はその道に沿って −V に逆らってされた仕事である。

n = 3 のとき、三次元空間において、1-形式 η_V の外微分は 2-形式

${\displaystyle \mathrm {d} \eta _{V}=\omega _{\operatorname {curl} (V)}}$

である。

任意のリーマン多様体上、標準的なベクトル解析の演算子は座標によらない (coordinate-free) 表記で次のように書くことができる：

${\displaystyle {\begin{alignedat}{3}\operatorname {grad} (f)&{}=\nabla f&&{}=(\mathrm {d} f)^{\sharp }\\\operatorname {div} (F)&{}=\nabla \cdot F&&{}=\operatorname {\star } \mathrm {d} \operatorname {\star } (F^{\flat })\\\operatorname {curl} (F)&{}=\nabla \times F&&{}=[\operatorname {\star } (\mathrm {d} F^{\flat })]^{\sharp },\\\Delta f&{}=\nabla ^{2}f&&{}=\operatorname {\star } \mathrm {d} \operatorname {\star } \mathrm {d} f\end{alignedat}}}$

ここで ${\displaystyle \star }$ はホッジのスター演算子であり、 ${\displaystyle \flat }$ および ${\displaystyle \sharp }$ は音楽同型（英語版）、${\displaystyle f}$ はスカラー場、${\displaystyle F}$ はベクトル場である。

• 共変外微分（英語版）
• ド・ラーム複体
• 離散外積代数（英語版）
• グリーンの定理
• リー微分
• ストークスの定理
• フラクタル微分（英語版）

• Flanders, Harley (1989). Differential forms with applications to the physical sciences. New York: Dover Publications. pp. 20. ISBN 0-486-66169-5 
• Ramanan, S. (2005). Global calculus. Providence, Rhode Island: American Mathematical Society. pp. 54. ISBN 0-8218-3702-8 
• Conlon, Lawrence (2001). Differentiable manifolds. Basel, Switzerland: Birkhäuser. pp. 239. ISBN 0-8176-4134-3 
• Darling, R. W. R. (1994). Differential forms and connections. Cambridge, UK: Cambridge University Press. pp. 35. ISBN 0-521-46800-0 

• Rowland, Todd. "Exterior Derivative". mathworld.wolfram.com (英語).
• de Rham differential in nLab
• Definition:Exterior Derivative at ProofWiki

表 話 編 歴 テンソル
Glossary of tensor theory（英語版）
範囲 (Scope)	数学 座標 多重線型代数 ユークリッド幾何学 テンソル代数 微分幾何学 外微分 テンソル解析 物理学 • 工学 連続体力学 電磁気学 移動現象論 一般相対性理論 コンピュータビジョン
表記法 (Notation)	添字表記法 多重指数 アインシュタインの縮約記法 リッチ計算法（英語版） ペンローズのグラフ記法 フォークト表記 抽象添字記法 テトラド表記（英語版） ファン・デル・ヴェルデン表示
テンソルの定義	テンソル空間 テンソル場 テンソル密度（英語版） 曲線座標系におけるテンソル（英語版） 混テンソル（英語版） 反対称テンソル 対称テンソル テンソル作用素（英語版） テンソル束（英語版）
算法	テンソル積 楔積 テンソルの縮約 行列（2階テンソル）の転置 添字の上げ下げ（英語版） ホッジ双対 共変微分 外微分 共変外微分（英語版） リー微分
関連事項	次元 基底 ベクトル、ベクトル空間 多重ベクトル（英語版） ベクトルの共変性と反変性 線型写像 行列 スピノール カルタン形式 微分形式 接続形式 測地線 多様体 ファイバー束 曲率形式 レヴィ・チヴィタ接続 アフィン接続
有名なテンソル	数学 クロネッカーのデルタ エディントンのイプシロン 計量テンソル クリストッフェル記号 リッチテンソル リーマン曲率テンソル ワイルテンソル（英語版） 捩率テンソル 物理学 慣性モーメント 角運動量 応力テンソル エネルギー・運動量テンソル 電磁場テンソル グルーオン場の強度テンソル（英語版） アインシュタインテンソル 計量テンソル (一般相対論)（英語版）
数学者	レオンハルト・オイラー カール・フリードリヒ・ガウス オーギュスタン＝ルイ・コーシー ヘルマン・グラスマン グレゴリオ・リッチ＝クルバストロ トゥーリオ・レヴィ＝チヴィタ Jan Arnoldus Schouten（英語版） ベルンハルト・リーマン エルヴィン・クリストッフェル ヴォルデマール・フォークト エリ・カルタン ヘルマン・ワイル アルベルト・アインシュタイン
カテゴリ