5
$\begingroup$

Assume $(X,\mathcal{M},\mu)$ is a measure space and for some $1\leq p<\infty$, $1\leq q<\infty$, $L^p(\mu)\subset L^q(\mu)$. Prove there is a constant $C>0$ so that $\|f\|_q\leq C\|f\|_p$ for all $f\in L^p(\mu)$.

I need help getting started on this.

2 Answers 2

7

$L^p(\mu)$ and $L^q(\mu)$ are Banach spaces, so we can apply the closed graph theorem: if $f_n\to f$ in $L^p$ and $f_n\to g$ in $L^q$ then passing to a subsequence $f_{n_k}\to f$ and $g$ almost everywhere. Hence the graph of the identity $\iota\colon L^p\to L^q$ is closed, so $\iota$ is continuous (and linear).

6

You could argue by contradiction: Suppose there was no such $C>0$. Then we can find a sequence $f_n\in L^p(\mu)$ satisfying

$\Vert f_n\Vert_q \ge 4^n, \qquad \Vert f_n\Vert_p = 1$

for all $n\in \mathbb N$. Now look at $g(x) = \sum_{n=1}^\infty 2^{-n} |f_n(x)|$ We have $g\in L^p(\mu)$, but $g$ is not in $L^q(\mu)$.

  • 0
    @john: We have $g \ge 2^{-m}|f_m|$ for all $m$. So upon integrating one obtains $\Vert g\Vert_q \ge 2^{-m} \Vert f_m\Vert_q \ge 2^m$ for any $m\in \mathbb N$.2012-05-27