Hodge decomposition theorem (source code)

= Hodge decomposition theorem
{c}

= Hodge theorem
{c}
{synonym}

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.

This orthogonal-splitting theorem is one result of <Hodge theory>.