a) Notice that $ \mu(\{|f|>0\})>0 $, so we have

$ (\int_{X}|f|^{n})^{1/n} \leq (\mu(X)||f||_{\infty})^{1/n} $

Taking the limit of both side as $ n $ go to infinity, we get

$ \lim_{n\to \infty}||f||_{n} \leq ||f||_{\infty} $

Let $ M<||f||_{\infty} $, and $ E=\{|f|>M\} $, then

$ \lim_{n\to \infty}||f||_{n} \geq \lim_{n\to \infty}(\int_{E}|f|^{n})^{1/n} \geq (\mu(E)M^{n})^{1/n} = M $

So, $ (\int_{X}|f|^{n})^{1/n} \geq (\mu(X)||f||_{\infty})^{1/n} $

and we have the identity.

Notice that it is true for true for finite measure space.

b) $ \lim_{n\to\infty}\frac{\int_{X}|f|^{n+1}}{\int_{X}|f|^{n}} = \lim_{n\to\infty}\frac{(||f||_{n+1})^{n+1}}{(||f||_{n})^{n}} = \frac{(||f||_{\infty})^{n+1}}{(||f||_{\infty})^{n}}=||f||_{\infty} $

c) If the space is of infinite measure, it is not true. Let $ f(x)=1 $ for all real $ x $, we have a counter example.

Alumni Liaison

ECE462 Survivor

Seraj Dosenbach