2
$\begingroup$

$X,M,\mu$ is a measure space for which $\mu(A)>0 \to \mu(A) \ge 1.$ If $1 \le p, then $L^p \subset L^q$ , and then $||f||_\infty \le ||f||_q \le ||f||_p \le ||f||_1$

This inequality is introduced on my book, and very useful. So I'm trying to prove that inequality. How can I do that?

1 Answers 1

1

For any measurable $f\ne0$, and for any $\varepsilon$, there exists a measurable subset $A$ with positive measure (and so $\mu(A)\geq1$) such that $|f|\geq\|f\|_\infty-\varepsilon$ on $A$. Then $ \|f\|_q=\left(\int|f|^q\right)^{1/q}\geq\left(\int_A|f|^q\right)^{1/q} \geq\left(\int_A(|f|_\infty-\varepsilon)^q\right)^{1/q}=(\|f\|_\infty-\varepsilon)\,\mu(A)\geq\|f\|_\infty-\varepsilon. $ As $\varepsilon$ was arbitrary, the first inequality is proven.

For the second inequality, assume first that $\|f\|_q=1$. This implies, by the first inequality, that $|f|\leq1$ a.e. Then, using $p\leq q$ (and so $|f|^p\geq|f|^q$), $ \|f\|_p=\left(\int|f|^p\right)^{1/p}\geq\left(\int|f|^q\right)^{1/p}=1^{1/p}=1=\|f\|_q $ The case $\|f\|_q\ne1$ follows easily.

The third inequality is a particular case of the second one.

  • 0
    It's done well. Thanks @Mart$i$nArgeram$i$2012-06-13