在数学，特别是向量分析与微分拓扑中，一个闭形式 formula_1 是微分算子 formula_2 的核，即 formula_3的微分形式；而恰当形式(恰当微分形式) formula_1 是微分算子 formula_2 的像，即存在某个微分形式 formula_6 使得 formula_7，formula_6 称为关于 formula_1 的一个“本原”。因为 formula_10，所以恰当形式一定是闭形式，但闭形式是否为恰当形式并不显然。考虑一个闭形式是不是恰当的，可由不同的条件检测拓扑信息来得知。问