閉微分形式

微分位相幾何学における微分形式が閉 (closed) である、または閉微分形式（へいびぶんけいしき、、短く閉形式 (closed form) とは、その外微分が零となるときに言う。
シュヴァルツの定理により、-函数係数の任意の完全微分形式は閉微分形式である。ポワンカレの補題はこの部分的な逆を保証する。
一次微分形式の場合.
-次元の 1-形式 formula_1 が閉であるとは、formula_2 が成り立つことである。これは全部で この条件を満足することを言っている。