形式 ω 可以分解为3个L 分量:其中 γ 为调和的: Δ γ = 0. 这是因为恰当和上恰当形式互相正交；他们的正交补就是同时恰当和上恰当的形式:也就是，调和形式。这里，正交性由formula_2上的L内积定义:精确的定义和分解的证明需要用索伯列夫空间来表述问题。主要的思想就是Sobolev空间提供了平方可积性和微分形式的柯西列收敛到极限形式的自然设置。这个语言使得我们得以克服紧支撑这样的限制，就像在亚历山大-斯潘尼尔上同调中那样。
德拉姆定理.德拉姆定理, 由乔治·德拉