# Lp Space Property

Something has been bothering me for a few days. Here goes. An $L^p$ space is a space of functions consisting of $\{f: \int_X |f|^pd\mu <\infty\}$. So essentially, if we can integrate the p-th power of the function and get a finite answer, then the function is in the space. (The careful reader will note that this is dependent not just on p, but on the space and on the measure. Also, since we only care about the integral, functions that differ by a set of measure zero are considered the same function, i.e. equivalence class).

This is a normed space with norm given by $\|f\|_p=\left(\int_X|f|^pd\mu\right)^{1/p}$. Well, I could go on for awhile about this, but here is what was troubling me. If you define a function $\phi(p)=\|f\|_p^p$, or the p-th power of the p-norm, then this function is continuous on $E=\{p : \phi(p)<\infty\}$.

I couldn’t seem to do this in any classical straightforward sense. I tried, I really did, with the epsilons and deltas. Luckily, my inability led me to a rather sneaky method (though it assumes knowledge of two other things that I won’t prove). Assume knowledge of the following facts: that if $\ln\phi$ is convex then $\phi$ is convex, every convex function is continuous, and Holder’s Inequality. These facts should be in any standard advanced analysis or measure theory text.

Let $\lambda\in (0,1)$ and $p,q\in E$, examine:
$\ln\phi ((1-\lambda)p+\lambda q) = \ln\left(\int_X|f|^{(1-\lambda)p}|f|^{\lambda q}d\mu\right)$
$\leq \ln\left(\int |f|^p\right)^{1-\lambda}\left(\int |f|^q\right)^\lambda$
$= \ln\left( (\phi(p)^{1-\lambda})(\phi(q))^\lambda\right)$
$= (1-\lambda)\ln(\phi(p))+\lambda\ln(\phi(q))$

So, $\phi$ is convex and hence continuous. I thought that although this relies on some heavier machinery than a direct way, it was much slicker.