ポアンカレの補題
k > 0 とし、k 次微分形式 ω ∈ A(R) が
d ω = 0 {\displaystyle \mathrm {d} \omega =0\,}
を満たすとする。 このとき、k − 1 次微分形式 η ∈ A(R) が存在して、
ω = d η {\displaystyle \omega =\mathrm {d} \eta \,}
が成り立つ。