Almost-everywhere convergent subsequence from Lp convergence

ID: almost-everywhere-convergent-subsequence-from-lp-convergence

If in for , choose a subsequence with . Tonelli's theorem makes finite almost everywhere, so almost everywhere. For , norm convergence itself gives almost-everywhere convergence after removing one common null set.

New to topics? Read the docs here!