閉微分形式

「閉形式」はこの項目へ転送されています。手続き的に閉じている式の表示については「[[閉じた形の式（英語版）]]」をご覧ください。

微分位相幾何学における微分形式が閉 (closed) である、または閉微分形式（へいびぶんけいしき、英: closed differential form、短く閉形式 (closed form) とは、その外微分が零となるときに言う。

シュヴァルツの定理により、C¹-級（フランス語版）函数係数の任意の完全微分形式は閉微分形式である。ポワンカレの補題はこの部分的な逆を保証する。

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

n-次元の 1-形式 ${\textstyle \omega (u)=a_{1}(u){\mathit {dx}}_{1}+\dotsb +a_{n}(u){\mathit {dx}}_{n}}$ が閉であるとは、$${\displaystyle {\frac {\partial a_{i}}{\partial x_{j}}}-{\frac {\partial a_{j}}{\partial x_{i}}}=0\quad (\forall i<j\leq n)}$$ が成り立つことである。これは全部で n(n – 1)/2 この条件を満足することを言っている。

• 一次元の場合、可微分 1-形式 ω ≔ A(x)dx は常に閉である。
• 二次元の場合、1-形式 ω ≔ A(x, y)dx + B(x, y)dy が閉となるのは、$${\displaystyle {\Bigl (}{\frac {\partial A}{\partial y}}{\Big )}_{x}={\Bigl (}{\frac {\partial B}{\partial x}}{\Big )}_{y}}$$ を満たすときである。
• 三次元の場合、1-形式 ω ≔ A(x, y, z)dx + B(x, y, z)dy + C(x, y, z)dz が閉となるのは、$${\displaystyle {\Bigl (}{\frac {\partial A}{\partial y}}{\Big )}_{x,z}={\Bigl (}{\frac {\partial B}{\partial x}}{\Big )}_{y,z};\qquad {\Bigl (}{\frac {\partial A}{\partial z}}{\Big )}_{x,y}={\Bigl (}{\frac {\partial C}{\partial x}}{\Big )}_{y,z};\qquad {\Bigl (}{\frac {\partial B}{\partial z}}{\Big )}_{x,y}={\Bigl (}{\frac {\partial C}{\partial y}}{\Big )}_{x,z}}$$ となるときである。これは Ω ≔ ^t(A, B, C) に対して rot Ω = 0 となることに対応する。

• （フランス語） Jacques Lafontaine, Introduction aux variétés différentielles ^{[要文献特定詳細情報]}
• （フランス語） Samuel Ferdinand Lubbe, Traité de calcul différentiel et de calcul intégral, Bachelier, 1832 [lire en ligne]

ポータル 数学

• Stover, Christopher; Weisstein, Eric W. "Closed Form". mathworld.wolfram.com (英語).
• closed (differential form) - PlanetMath.（英語）
• closed differential forms on a simply connected domain - PlanetMath.（英語）
• closed form in nLab