Solution

ID: past-exam-of-the-integration-course-of-the-university-of-oxford/2023/3/c/solution

Let , the essential supremum of . If , almost everywhere and every Lp norm is zero. Suppose . Since almost everywhere and ,
For any with , the measurable set has positive Lebesgue measure; otherwise would be an essential upper bound. Hence
For fixed , . Thus . Letting and combining with the upper bound proves
The positive-measure superlevel sets explain why the Lp norms converge to the supremum norm even when the essential maximum is never attained.

New to topics? Read the docs here!