微分形式のソースを表示

{{出典の明記|date=2015年9月}}
数学における'''微分形式'''（びぶんけいしき、{{lang-en-short|differential form}}）とは、[[微分可能多様体]]上に定義される[[テンソル場|共変テンソル場]]である。微分形式によって多様体上の局所的な座標の取り方によらない関数の微分が表現され、また多様体の内在的な構造のみによる積分は微分形式に対して定義される。微分多様体上の微分形式は共変テンソルとしての座標変換性によって、あるいは接ベクトル空間上の線型形式の連続的な分布として定式化される。また、代数幾何学・数論幾何学や非可換幾何学などさまざまな幾何学の分野でそれぞれ、この類推として得られる微分形式の概念が定式化されている。

== 概要 ==
[[エリ・カルタン]]によって[[微分方程式]]を[[幾何学]]的に捕らえようとする試みから生まれた微分形式は、[[解析学]]や幾何学のいろいろな概念や公式を統一的な視点からまとめ、形式的な計算により多くの結果を得、多様体などの図形を調べるのにも非常に強力な道具になっていった。

{{mvar|n}} 次元[[ユークリッド空間]]において、座標が ({{math|''x''<sub>1</sub>, ''x''<sub>2</sub>, &hellip;, ''x<sub>n</sub>'')}} で与えられているとき、{{mvar|n}} 変数関数 {{math|''f''(''x''<sub>1</sub>, ''x''<sub>2</sub>, &hellip;, ''x<sub>n</sub>'')}} を微分 0 形式といい、 [[接ベクトル束|余接ベクトル場]] {{math|''f''<sub>1</sub> d''x''<sub>1</sub> +  ''f''<sub>2</sub> d''x''<sub>2</sub> + ⋯ +  ''f''<sub>''n''</sub> d''x''<sub>''n''</sub> }}の事を 微分 1 形式という。係数となっている{{mvar|f<sub>k</sub>}} は変数を省略してあるが関数である。これは関数の[[全微分]]で現れる式と同じである。2 次以上の微分形式は微分形式同士を[[テンソル積]]でかけ合わせることにより得られる。例えば {{mvar|p}} 次の微分形式 {{mvar|&xi;}} と {{mvar|q}} 次の微分形式 {{mvar|&eta;}} のテンソル積は
{{Indent|<math>\xi \otimes \eta </math>}}
と書かれる。しかし、通常はこのような一般的すぎる積の代わりに何らかの対称性を課した対称微分形式や交代微分形式がもちいられる。いずれも、座標のとりかたによらない幾何学的な量を表すものであるが、区別するためにも、このテンソル積の記号はあまり用いられない。対称微分形式は、[[計量テンソル|リーマン計量]]などを表現するときによく使われ、
{{Indent|<math>\sum a_{ij} \,\mathrm{d}x_i \,\mathrm{d}x_j</math>}}
のような形でテンソル積の記号は省略して書かれる。 {{math|d''x''<sup>2</sup>}} といった形で指数にして表してしまうこともある。
{{Indent|リーマン計量は多様体上の各点での接ベクトルの大きさを定めるものであり、局所的に線素の「長さ」を定めていることになる。[[カール・フリードリヒ・ガウス|ガウス]]が曲面論で示したように、このような局所的な情報から、多様体全体の形や大きさをかなりの程度知ることができる。}}

交代微分形式の方は、テンソル積の代わりに[[外積代数]]の積としての記号 {{math|&and;}} を用い
{{Indent|<math>\sum a_{ij} \,\mathrm{d}x_i \wedge \mathrm{d}x_j</math>}}
の形に書かれる。交代微分形式は、向きの与えられた幾何学的な量を表している。
{{Indent|<math>\mathrm{d}x_i \wedge \mathrm{d}x_j=-\mathrm{d}x_j\wedge \mathrm{d}x_i</math>}}
という関係式を満たし {{math|{{mset|d''x''<sub>''k''</sub>}}}} の並ぶ順序の入れ替えに応じて符号が変わる（対称微分形式では符号は変わらない）。こういった符号の反転を内包させることによって積分する変数の「向き」を捉えられることになる。したがって微分形式の積分として得られる面積や体積などの量にも符号が導入され、負の面積や負の体積といったものも現れるが、そうすることによって重積分における座標変換の公式などが、非常に簡明に計算できるようになる。

さらに交代微分形式の微分から[[ド・ラーム・コホモロジー]]が得られ、解析的な計算によって多様体全体の形を調べることができる。

特に何の指定も無い場合、（高次元の）微分形式というと、交代微分形式の方を指すことが多い。この項目でも交代微分形式を中心に扱う。

== 定義 ==
=== 微分形式 ===
{{mvar|n}} 次元[[微分可能多様体]] {{mvar|M}} を考える。分かりにくい時は特別な場合として {{mvar|M}} を {{mvar|n}} 次元[[ユークリッド空間]] {{math|'''R'''<sup>''n''</sup>}} で考えるとよい。領域 {{mvar|D}} 上で定義された {{mvar|C<sup>r</sup>}} 級関数（{{mvar|r}} 回[[滑らかな関数|連続微分可能関数]]）の事を、 {{mvar|C<sup>r</sup>}} 級 '''0 次微分形式'''、あるいは、{{mvar|C<sup>r</sup>}} 級'''微分 0 形式'''などという。:特に混乱の問題がない場合には {{mvar|C<sup>r</sup>}} 級などは省略される。どこにも言及されていない場合、微分形式に対しては {{math|''C''<sup>&infin;</sup>}} 級など、様々な操作が自由に行えるだけの連続微分可能性を持つとみなすことが多い。いずれにせよ最も扱いやすい {{math|''C''<sup>&infin;</sup>}} 級の関数はより荒い関数たちを近似するのに十分なだけ豊富に存在する。

{{mvar|M}} のそれぞれの点 {{mvar|p}} に対して {{mvar|p}} における[[余接ベクトル]] {{math|''&xi;<sub>p</sub>'' &isin; T<sup>*</sup><sub>''p''</sub>(''M'')}} を、 {{mvar|p}} に関して連続的に与える対応のことを'''1 次微分形式'''、あるいは、'''微分 1 形式'''などという。したがって微分形式は[[余接束]]の切断、つまり余接ベクトル場だということになる。{{mvar|M}} の点 {{math|''p''<sub>0</sub>}} のまわりの[[座標系]]が具体的に {{math|{{mset|''x''<sub>1</sub>, ''x''<sub>2</sub>, &hellip;, ''x<sub>n</sub>''}}}} で与えられているとき、 {{math|''p''<sub>0</sub>}} のまわりでの1 次微分形式は
{{Indent|<math>f_{1}(p) \,{\mathrm{d}x_1}^p + f_{2}(p) \,{\mathrm{d}x_2}^p + \dotsb + f_{n}(p) \,{\mathrm{d}x_n}^p</math>}}
のように表示できる。係数の {{math|''f<sub>i</sub>''(''p'')}} などは、 {{math|''p''<sub>0</sub>}} のまわりの点 {{mvar|p}} に関する実数値関数である。<!-- 場合によっては、[[全微分]]と呼ばれることもある。 -->これらが {{mvar|C<sup>r</sup>}} 級で、そのことを強調したい場合には微分 0 形式の時のように {{mvar|C<sup>r</sup>}} 級微分 1 形式のようにいう。

領域 {{mvar|D}} 上の微分 1 形式と {{math|&and;}} を用いて構成される[[テンソル場|共変テンソル場]]
{{Indent|<math>\xi = \sum f_{i_1,\dotsc,i_k} \mathrm{d}x_{i_1} \wedge \dotsb \wedge \mathrm{d}x_{i_k} </math> }}
は{{mvar|D}} 上の '''k 次微分形式'''、あるいは、'''微分 k 形式'''などとよばれる。係数となる {{mvar|f}} は、それぞれ {{mvar|D}} 上の {{mvar|C<sup>r</sup>}} 級関数である。この時の {{mvar|k}} を微分形式 {{mvar|&xi;}} の'''次数'''という。{{mvar|D}} 上の微分 {{mvar|k}} 形式がなす空間は {{math|'''&Omega;'''<sup>''k''</sup>(''D'') }} と書かれる。{{mvar|k}} の値に関係なく、これらをまとめて'''微分形式'''、あるいは、'''外微分形式'''などという。

{{mvar|M}} の点 {{mvar|p}} における{{mvar|k}} 次微分形式 {{mvar|&xi;}} の値
{{Indent|<math>\xi_p = \sum f_{i_1,\dotsc,i_k}(p) \,{\mathrm{d}x_{i_1}}^p \wedge \dotsb \wedge {\mathrm{d}x_{i_k}}^p </math>}}
は {{mvar|p}} における余接ベクトルと[[外積代数]]の積 {{math|&and;}} （外積、{{lang|en|''wedge''}}）を用いて構成されており、これは {{mvar|p}} における余接空間 {{math|T*<sub>''p''</sub>(''M'')}} の {{mvar|k}} 次交代外積 <math display="inline">\bigwedge^k \mathrm{T}^{*}_{p}(M)</math> の元を与えている。{{math|d''x''<sub>''i''</sub>}} は余接ベクトルなので、接ベクトル上の線型形式であるが、{{mvar|&xi;<sub>p</sub>}} は接ベクトル空間 {{math|T<sub>''p''</sub>(''M'')}} の {{mvar|k}} 個の[[直積]] {{math|T<sub>''p''</sub><sup>''k''</sup>(''M'')}} を実数に写す
{{Indent|<math>\xi\colon \mathrm{T}_p^k(M) \to \mathbf{R}</math>}}
という関数で[[交代線型性]]を満たすものになっている。

微分 1 形式 {{math|''ϕ''<sub>1</sub>, &hellip;, ''ϕ<sub>k</sub>''}} によって
{{Indent|<math>\xi_P=\phi_1 \wedge \dotsb \wedge \phi_P</math>}}
の形に書かれている微分 {{mvar|k}} 形式は、 {{math|''X<sub>i</sub>'' &isin; T<sub>''p''</sub>(''M''), (''i''{{=}}1,&hellip;,''k'')}} に対して
{{Indent|<math> \xi_P \bigl( X_1, X_2, \dotsc, X_k \bigr) = \frac{1}{k!} \det \begin{pmatrix}
 \phi_1(X_1) & \phi_1(X_2) & \cdots & \phi_1(X_k) \\
 \phi_2(X_1) & \phi_2(X_2) & \cdots & \phi_2(X_k) \\
 \vdots      & \vdots      & \ddots & \vdots \\
 \phi_k(X_1) & \phi_k(X_2) & \cdots & \phi_k(X_k)
\end{pmatrix}</math>}}
という値を取るとする。 {{mvar|ϕ<sub>i</sub>}} の線型性と[[行列式]]の性質から、{{mvar|ϕ<sub>i</sub>}} および {{mvar|X<sub>i</sub>}} のそれぞれについて多重線型性と交代性が分かる。

=== 外微分 ===
{{main|外微分}}
微分形式の「係数」になっている関数の微分を通じて、微分形式の次数を 1 つあげる線形写像
<math display="inline">\mathrm{d}\colon \bigwedge^{k}(D) \to \bigwedge^{k+1}(D)</math>
が定義される。
{{Indent|正確には、この写像は {{mvar|k}} によって定義域や値域が異なる写像であり {{math|d<sup>''k''</sup>}} のように {{mvar|k}} を明示して区別すべきであるが、特に気にせず、どれも {{math|d}} で表すことが多い。}}

領域 {{mvar|D}} に座標系 {{math|{{mset|''x''<sub>1</sub>, ''x''<sub>2</sub>, &hellip;, ''x<sub>n</sub>''}}}} が与えられているとき、微分 0 形式 すなわち {{mvar|D}} 上の関数 {{mvar|f}} には[[全微分]]
{{Indent|<math>\mathrm{d}f = \frac{\partial f}{\partial x_1} \,\mathrm{d}x_1 + \frac{\partial f}{\partial x_2} \,\mathrm{d}x_2 + \dotsb + \frac{\partial f}{\partial x_n} \,\mathrm{d}x_n </math>}}
を対応させる。これは座標系の選び方によらない量になっている。従って多様体 {{mvar|M}} 全体で定義された関数の外微分も、局所的には上の式によって定義することで、座標系の選択によらない自然な量として定義できる。

微分 {{mvar|k}} 形式
{{Indent|<math>\xi = \sum f_{i_1,\dotsc,i_k} \mathrm{d}x_{i_1} \wedge \dotsb \wedge \mathrm{d}x_{i_k} </math>}}
に対しては、微分 {{math|''k''+1}} 形式
{{Indent|<math>\mathrm{d}\xi = \sum \mathrm{d}f_{i_1,\dotsc,i_k} \wedge \mathrm{d}x_{i_1} \wedge \dotsb \wedge \mathrm{d}x_{i_k} </math>}}
を対応させる。これもふたたび局所的な座標系の取り方にはよらず、{{mvar|M}} 上の微分形式に対する外微分が考えられることになる。

このような写像 {{math|d}} を'''外微分'''（がいびぶん）とよぶ。任意の微分形式 {{mvar|&xi;}} に対して 2 回外微分を施すと必ず
{{Indent|<math>\mathrm{d}(\mathrm{d}\xi)=0</math>}}
となる。これは2つの変数に関する偏微分同士の交換性によっている。

== 外積の計算 ==
外積代数の詳細は当該項目に譲るとして、ここでは計算規則だけ述べる。微分 1 形式の順序を入れ替えると符号が反転する。
{{Indent|<math>\mathrm{d}x_a\wedge \mathrm{d}x_b=-\mathrm{d}x_b\wedge \mathrm{d}x_a</math> （交代性）}}
この性質から特に同じ 1 次微分形式の積は {{math|0}} である。
{{Indent|<math>\mathrm{d}x_a\wedge \mathrm{d}x_a = 0</math> }}
もっと一般に、
{{Indent|<math> \mathrm{d}x_{i_1} \wedge \dotsb \wedge \mathrm{d}x_{i_k} =  \operatorname{sgn}(\sigma) \,\mathrm{d}x_{\sigma(i_1)} \wedge \dotsb \wedge \mathrm{d}x_{\sigma(i_k)}</math>}}
である。ここで、 {{mvar|&sigma;}} は[[対称群|置換]]であり、 {{math|sgn(''&sigma;'')}} は置換 {{mvar|&sigma;}} の符号である。
{{Indent|{{math|''i''<sub>1</sub>, &hellip;, ''i<sub>k</sub>''}} を並べ替えたときに、それが奇置換なら符号は負になるということである。}}
したがって、次数の高い微分形式でも同じ微分 1 形式を含んでいたら {{math|0}} になる。
{{Indent|<math>\mathrm{d}x_1\wedge \mathrm{d}x_3\wedge \mathrm{d}x_4\wedge \mathrm{d}x_1=0</math> }}
関数 {{mvar|f}} については、どの微分 1 形式の係数と考えても良く
{{Indent|<math>f \,\mathrm{d}x_a \wedge \mathrm{d}x_b = (f \,\mathrm{d}x_a)\wedge \mathrm{d}x_b = \mathrm{d}x_a \wedge (f \,\mathrm{d}x_b)</math>}}
などが成り立つ。

微分 {{mvar|k}} 形式 {{mvar|&xi;}} と微分 {{mvar|l}} 形式 {{mvar|&eta;}} の外積 {{math|''&xi;'' &and; ''&eta;''}} は、微分 {{math|''k'' + ''l''}} 形式となり、交代性から
{{Indent|<math>\xi\wedge\eta=(-1)^{kl}\eta\wedge\xi</math>}}
となることが分かる。

特に、{{mvar|k}} が奇数の時は
{{Indent|<math>\xi\wedge\xi=-\xi\wedge\xi</math>}}
となり
{{Indent|<math>\xi\wedge\xi=0</math>}}
が導かれる。これは、 同じ微分 1 形式の外積が {{math|0}} になるという事実の一般化である。偶数次の微分形式の時は {{math|0}} になるとは限らない。

また、和と積を組み合わせた演算では[[分配法則]]
{{Indent|{{math|(''f''{{sub|1}} d''x''{{sub|1}} + ''f''{{sub|2}} d''x''{{sub|2}}) ∧ (''f''{{sub|3}} d''x''{{sub|3}} + ''f''{{sub|4}} d''x''{{sub|4}})  {{=}}  ''f''{{sub|1}} ''f''{{sub|3}} d''x''{{sub|1}} ∧ d''x''{{sub|3}}  +  ''f''{{sub|1}} ''f''{{sub|4}} d''x''{{sub|1}} ∧ d''x''{{sub|4}}  +  ''f''{{sub|2}} ''f''{{sub|3}} d''x''{{sub|2}} ∧ d''x''{{sub|3}}  +  ''f''{{sub|2}} ''f''{{sub|4}} d''x''{{sub|2}} ∧ d''x''{{sub|4}}}}}}
などが成り立つ。

== 座標変換と積分 ==
{{math|'''R'''<sup>2</sup>}} の領域 {{mvar|D}} で、[[座標系]]が {{math|{{mset|''x''<sub>1</sub>, ''x''<sub>2</sub>}}}} と 、{{math|{{mset|''y''<sub>1</sub>, ''y''<sub>2</sub>}}}} の 2 通りあり、[[座標変換]]が
{{Indent|<math>\begin{align}
y_1 &= y_1 (x_1, x_2) \\
y_2 &= y_2 (x_1, x_2)
\end{align}</math>}}
と表されているならば、外微分と外積の計算により
{{Indent|<math>\begin{align}
\mathrm{d}y_1 \wedge \mathrm{d}y_2 
&= \left( \frac{\partial y_1}{\partial x_1} \,\mathrm{d}x_1 + \frac{\partial y_1}{\partial x_2} \,\mathrm{d}x_2 \right)
\wedge \left( \frac{\partial y_2}{\partial x_1} \,\mathrm{d}x_1 + \frac{\partial y_2}{\partial x_2} \,\mathrm{d}x_2 \right) \\
&= \frac{\partial y_1}{\partial x_1} \frac{\partial y_2}{\partial x_1} \,\mathrm{d}x_1 \wedge \mathrm{d}x_1
+  \frac{\partial y_1}{\partial x_1} \frac{\partial y_2}{\partial x_2} \,\mathrm{d}x_1 \wedge \mathrm{d}x_2 \\
&\qquad {}+ \frac{\partial y_1}{\partial x_2} \frac{\partial y_2}{\partial x_1} \,\mathrm{d}x_2 \wedge \mathrm{d}x_1
+ \frac{\partial y_1}{\partial x_2} \frac{\partial y_2}{\partial x_2} \,\mathrm{d}x_2 \wedge \mathrm{d}x_2 \\
&= \frac{\partial y_1}{\partial x_1} \frac{\partial y_2}{\partial x_2} \,\mathrm{d}x_1 \wedge \mathrm{d}x_2
+ \frac{\partial y_1}{\partial x_2} \frac{\partial y_2}{\partial x_1} \,\mathrm{d}x_2 \wedge \mathrm{d}x_1 \\
&= \left( \frac{\partial y_1}{\partial x_1} \frac{\partial y_2}{\partial x_2} - \frac{\partial y_1}{\partial x_2} \frac{\partial y_2}{\partial x_1} \right) \,\mathrm{d}x_1 \wedge \mathrm{d}x_2 \\
&= \frac{\partial (y_1, y_2)}{\partial (x_1, x_2)} \,\mathrm{d}x_1 \wedge \mathrm{d}x_2
\end{align}</math>}}
となる。最後の式の係数は[[関数行列|ヤコビアン]]である。この式は 2変数関数の[[重積分]]の変数変換の公式
{{Indent|<math>\iint f(y_1, y_2) \,\mathrm{d}y_1 \mathrm{d}y_2 = \iint f \bigl( y_1 (x_1, x_2), y_2 (x_1, x_2) \bigr) \left| \frac{\partial (y_1, y_2)}{\partial (x_1, x_2)} \right| \mathrm{d}x_1 \mathrm{d}x_2 </math>}}
に似ている。このように微分形式を用いると、重積分の変数変換の公式を代数的な計算だけで導けるとも考えられる。

一般に {{math|'''R'''<sup>''n''</sup>}} の領域 {{mvar|D}} で、[[座標系]]が {{math|{{mset|''x''<sub>1</sub>, ''x''<sub>2</sub>, &hellip;, ''x<sub>n</sub>''}}}} と 、{{math|{{mset|''y''<sub>1</sub>, ''y''<sub>2</sub>, &hellip;, ''y<sub>n</sub>''}}}} の 2 通りあり、座標変換が
{{Indent|<math>y_m = y_m (x_1, x_2, \dotsc, x_n) \quad 1 \leq m \leq n</math>}}
のように表されるならば、 微分 {{mvar|k}} 形式は
{{Indent|<math> \mathrm{d}y_{i_1} \wedge \dotsb \wedge \mathrm{d}y_{i_k} =
\sum_{j_1 < \dotsb < j_k} \frac{\partial \bigl( y_{i_1}, y_{i_2}, \dotsc, y_{i_k} \bigr)}{\partial \bigl( x_{j_1}, x_{j_2}, \dotsc, x_{j_k} \bigr)}  \mathrm{d}x_{j_1} \wedge \dotsb \wedge \mathrm{d}x_{j_k} </math> }}
と変換される。右辺の係数は、[[関数行列|ヤコビアン]]である。
{{Indent|{{math|∑}} が付くのは {{math|''k'' &lt; ''n''}} の時を含めた一般の式だからである。}}

{{math|''D'' &sube; '''R'''<sup>''n''</sup>}} において定義された微分 {{mvar|k}} 形式
{{Indent|<math>\xi = f \,\mathrm{d}x_1 \wedge \dotsb \wedge \mathrm{d}x_k</math>}}
に対し、{{mvar|D}} 上の[[積分]]を
{{Indent|<math>\int_{D} \xi = \int_{D} f \,\mathrm{d} x_1 \dotsm \mathrm{d}x_k</math>}}
で定義する。右辺は {{mvar|D}} で定義された[[重積分]]である。そしてこの定義は座標によらない。
{{Indent|通常は積分 <math display="inline">\int f(x) \,\mathrm{d}x</math> において、{{math|&int;}} と {{math|d''x''}} は一対の記号であり、別々に用いることはできないが、微分形式としての意味を与えたことによって {{math|d''x''}} は一つの記号として意味を持ったことになる。}}

== 座標近傍による構成 ==
[[ファイル:Manifold zahyou3.png|thumb|[[多様体]]上で座標近傍を張り合わせるのにあわせて微分形式も張り合わせていくことができる]]

{{mvar|n}} 次元微分可能多様体 {{mvar|M}} の座標近傍系 {{math|''S'' {{=}} {{mset|(''U<sub>&lambda;</sub>'', ''ϕ<sub>&lambda;</sub>'') | ''&lambda;'' &isin; &Lambda;}}}} の任意の 2 つの座標近傍 {{math|(''U''<sub>1</sub>, ''ϕ''<sub>1</sub>), (''U''<sub>2</sub>, ''ϕ''<sub>2</sub>)}} に対し、{{math|''U''<sub>1</sub> &cap; ''U''<sub>2</sub>}} が空でないならば座標変換
{{Indent|<math>\bigl( \phi_1 \circ {\phi_2}^{-1} \bigr) \colon \phi_2(U_1 \cap U_2) \to \phi_1(U_1 \cap U_2)</math>}}
が存在する。
{{Indent|<math>\begin{align}
\phi_1 &= (x_1, \dotsc,x_n) \\
\phi_2 &= (y_1, \dotsc, y_n)
\end{align}</math>}}
であるとき、微分 {{mvar|k}} 形式の座標変換を上のように定め、{{math|''U''<sub>1</sub>}} 上の微分形式と {{math|''U''<sub>2</sub>}} 上の微分形式を同一視することにより、各座標近傍の上に定義される微分形式を張り合わせていくことができ、多様体上での微分形式が定義される。

[[ファイル:Differential Form 1.png|thumb|{{mvar|N}} 上の微分形式に {{mvar|M}} 上の微分形式を対応させる写像]]
微分可能多様体 {{math|''M'', ''N''}} に対し {{math|C<sup>''s''</sup>}} 級写像
{{Indent|<math>f\colon M \to N</math>}}
と {{mvar|N}} 上の微分形式 {{mvar|&xi;}} が与えられたとき、 {{math|''p'' &isin; ''M''}} に対し {{math|''q'' {{=}} ''f''(''p'')}} とおくと
{{Indent|<math>\begin{align}
&f^{*}_{p}\colon \mathrm{T}^{*}_{q}(N) \to \mathrm{T}^{*}_{p}(M) \\
&f^{*}(\xi_q) = \xi_q \circ \mathrm{d}f_p
\end{align}</math>}}
という写像によって、{{mvar|q}} 上の微分形式 {{mvar|&xi;<sub>q</sub>}} に {{mvar|p}} 上の微分形式 {{math|''f''<sub>''p''</sub><sup>*</sup>(''&xi;<sub>p</sub>'')}} を対応させることができる。これを {{mvar|M}} 全体に拡げた {{math|''f''<sup>*</sup> {{=}} {''f''<sub>''p''</sub>}<sub>''p''&isin;''M''</sub>}} を考えることにより {{mvar|N}} 上の微分形式 {{mvar|&xi;}} に {{mvar|M}} の微分形式 {{math|''f''<sup>*</sup>(''&xi;'')}} を対応させることができる。この {{math|''f''<sup>*</sup>(''&xi;'')}} を {{mvar|&xi;}} の {{mvar|f}} による'''引き戻し'''{{lang|en|(''pull back'')}} という。
{{Indent|{{mvar|M}} と {{mvar|N}} は次元が異なってもよい。}}

== 多様体上の積分 ==
[[向き付け可能性|向き付け可能]]な {{mvar|n}} 次元微分可能多様体 {{mvar|M}} に対し、座標近傍 {{math|{{mset|(''U<sub>k</sub>'',''&phi;<sub>k</sub>'')}}}} が全て正の向きの座標系で与えられ、{{math|{{mset|''U<sub>k</sub>''}}}} が局所有限な開被覆であるとき、これに従属した[[1の分割]] {{math|{{mset|''f<sub>k</sub>''}}}} が存在する。 {{mvar|M}} 上の微分 {{mvar|n}} 形式 {{mvar|&xi;}} が、{{mvar|U<sub>k</sub>}} 上で {{mvar|&xi;<sub>k</sub>}} と表現されているとき、
{{Indent|<math>\int_M \xi = \sum_k \int_{U_k} f_k \xi_k </math>}}
によって、 {{mvar|M}} 上の {{mvar|&xi;}} の積分を定義することができる。
{{Indent|多様体が局所的に {{math|'''R'''<sup>''n''</sup>}} と見なせることから、局所的に計算した積分を足し合わせようという定義であり、開被覆で重なっている部分については 1 の分割により、重なっているそれぞれの座標近傍系に積分を割り振って計算しようということである。}}

== 閉形式と完全形式 ==
{{main|ポアンカレの補題}}
微分 {{mvar|k}} 形式 {{mvar|&xi;}} に、一回だけ外微分を作用させただけで
{{Indent|<math>\mathrm{d}\xi=0</math>}}
となるとき、 {{mvar|&xi;}} を'''[[閉形式]]'''（へいけいしき、{{lang|en|''closed form''}}）という。 {{math|''k'' &gt; 0}} の時、微分 {{mvar|k}} 形式 {{mvar|&xi;}} に対し
{{Indent|<math>\xi=\mathrm{d}\omega</math>}}
となるような微分 ({{math|''k'' &minus; 1}}) 形式 {{mvar|&omega;}} が存在する場合、 {{mvar|&xi;}} の事を'''[[完全形式]]'''（かんぜんけいしき、{{lang|en|''exact form''}}）という。完全形式は閉形式である、すなわち完全形式に外微分 {{math|d}} を施すと {{math|0}} になる。可縮な多様体（例えばユークリッド空間）であれば、[[ポアンカレの補題]]によって、逆が成り立つ。つまり閉形式は完全形式となる。しかしながら、これは一般には成り立たない（閉形式が完全形式であるとは限らない）。この閉形式と完全形式の違いは、多様体の幾何学的構造を反映しており、微分形式の重要な性質である。

== 関連図書 ==
* 森田茂之：「微分形式の幾何学」、岩波書店、ISBN 4-00-005873-8 (2005年3月4日)。

== 関連項目 ==
* [[接続 (幾何学)<!---本来はCartan接続が妥当と思うが、一旦、ここへリダイレクト-->|接続]]
* [[曲率]]
* [[ストークスの定理]]

{{Tensors}}

{{Normdaten}}
{{DEFAULTSORT:ひふんけいしき}}
[[Category:微分形式|*]]
[[Category:数学に関する記事]]