Let {fn}n∈N be a sequence of measurable functions on a measure space and f measurable. Assume the measure space X has finite measure. If fn converges to f in L∞-norm , then fn converges to f in L1-norm.
This is my approach:
We know ||fn−f||∞→0 and by definition ||fn−f||∞=inf{M≥0:|fn−f|≤M}. Then
||fn−f||1 =∫|fn−f|dm ≤∫|fn|dm+∫|f|dm
I don't know how to proceed after that, any help would be appreciated.
Answer
For any function g, ||g||1=∫X|g(m)|dm≤∫X||g||∞dm=μ(X)∗||g||∞ (as |g(m)|≤||g||∞ almost everywhere); ||g||∞≥||g||1μ(X), so if ||fn−f||∞ tends to zero, then ||fn−f||1 tends to zero as well.
No comments:
Post a Comment