閉微分形式

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 (英語).
• closed (differential form) - PlanetMath.（英語）
• closed differential forms on a simply connected domain - PlanetMath.（英語）
• closed form in nLab