Given $p_1,p_2$ such that $1 \leqslant p_1 < p_2 < \infty$ and a measurable set $E$ of finite measure, I'm trying to determine whether the space $L^{p_2}(E) $, which I know to be contained in $L^{p_1}(E)$, is complete under the $ L^{p_1}$ norm.
I think that it is not, and am trying to come up with a counter-example as follows: let $E = (0,1]$, then if we let $ f(x) = x^k$ where $ k = -\frac{1}{2}( \frac{1}{p_1} + \frac{1}{p_2} )$, $f$ is in $L^{p_1}$ but not $L^{p_2}$. I would then like to produce a sequence of functions in $L^{p_2}$ converging to $f$ under the $L^{p_1}$ norm, but am having trouble doing so.
Any help is appreciated!