Riesz-Fischer Theorem

Theorem
Let $\struct {X, \Sigma, \mu}$ be a measure space.

Let $p \in \R$, $p \ge 1$.

The Lebesgue $p$-space $\map {\LL^p} \mu$, endowed with the $p$-norm, is a complete metric space.