Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2025/ii/paper-3/22h/b/i/solution

Consider the inclusion map
Its graph is closed. Indeed, suppose in and in . By hypothesis, some subsequence of converges almost everywhere to . From its convergence, that subsequence has a further subsequence converging almost everywhere to . Uniqueness of almost-everywhere limits gives as classes.
Both spaces are Banach, so the closed graph theorem makes bounded. Therefore some satisfies

New to topics? Read the docs here!