Past exam of the mathematics course of the University of Cambridge / 2005 / ii / Paper 3 / 24J / b / Solution

Completeness means that every norm-Cauchy sequence has a limit belonging to the same Lp space, with $\Vert f_n-f{\Vert }_p\to 0$. To prove it, choose a subsequence $f_{n_j}$ with $\Vert f_{n_{j+1}}-f_{n_j}{\Vert }_p\le 2^{-j}$. The functionshave $p$-norm bounded by $\Vert f_{n_1}{\Vert }_p+1$, by Minkowski inequality. They increase to $H$, and Fatou's lemma gives $\int H^p\le (\Vert f_{n_1}{\Vert }_p+1{)}^p$. Thus $H$ is finite almost everywhere, so the subsequence telescopes absolutely there to a measurable limit $f$ with $|f|\le H$ and $f\in L^p$.

The same argument on the tails gives $\Vert f-f_{n_j}{\Vert }_p\le {\sum }_{k\ge j}{2}^{-k}\to 0$. Given $ϵ$, choose such a subsequence term beyond the Cauchy threshold and use $\Vert f_n-f{\Vert }_p\le \Vert f_n-f_{n_j}{\Vert }_p+\Vert f_{n_j}-f{\Vert }_p$. This proves convergence of the full sequence and completeness for every $1\le p<\infty$, on an arbitrary measure space.