Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2017/ii/paper-1/22f/d/solution

Let be conjugate to , so , including for . Hölder's inequality implies, for every measurable finite-measure set ,
This proves integrability on and gives uniform integrability there. Choose a set with on which convergence is uniform, using Egorov theorem. Then
First take and then . Thus even the local difference tends to zero, and in particular
For , simple functions supported on finite-measure Borel sets are dense in . The displayed convergence proves pairing convergence for such functions. Approximate any by a simple and use
By the duality of Lp spaces, these are all continuous linear functionals on , so converges weakly to . It need not converge strongly: converges pointwise to zero but has norm one. For the pairing argument gives weak-star convergence against , rather than asserting weak convergence against every functional in the much larger full dual.

New to topics? Read the docs here!