Could someone help me prove that given a finite measure space (X,M,σ) and a measurable function f:X→R in L∞ and some Lq, limp→∞‖f‖p=‖f‖∞?
I don't know where to start.
Answer
Fix δ>0 and let Sδ:={x,|f(x)|⩾‖f‖∞−δ} for δ<‖f‖∞. We have
‖f‖p⩾(∫Sδ(‖f‖∞−δ)pdμ)1/p=(‖f‖∞−δ)μ(Sδ)1/p,
since μ(Sδ) is finite and positive.
This gives
lim infp→+∞‖f‖p⩾‖f‖∞.
As |f(x)|⩽‖f‖∞ for almost every x, we have for p>q, ‖f‖p⩽(∫X|f(x)|p−q|f(x)|qdμ)1/p⩽‖f‖p−qp∞‖f‖q/pq,
giving the reverse inequality.
No comments:
Post a Comment