Hodge decomposition theorem (source code)

= Hodge decomposition theorem
{c}
{wiki=Hodge_theory#Hodge_decomposition}

On a compact oriented Riemannian manifold,
$$
\Omega^p=\mathcal H^p\oplus d\Omega^{p-1}\oplus\delta\Omega^{p+1}
$$
as an $L^2$-orthogonal direct sum. Every de Rham cohomology class consequently has a unique harmonic representative.