cohomology(英語版)]]」をご覧ください。plane)上の微分形式に対応するベクトル場、この空間のド・ラームコホモロジーが非自明であることを示している。cohomology)とは可微分多様体のひとつの不変量で、多様体上の微分形式を用いて定まるベクトル空間である。多様体の位相不変量である特異コホモロジーとド・ラームコホモロジーは同型になるというド・ラームの定理がある。存在するとき完全形式と呼ぶ。ユークリッド空間においてはポアンカレの補題によれば、閉形式はいつでも完全形式である。