Let be Lebesgue measurable functions on a Lebesgue measurable set , converging almost everywhere to , with . The limit has a measurable representative: use off the exceptional null set and zero on it. The completeness of Lebesgue measure makes any alternative values on that null set measurable as well. Fatou's lemma applied to gives the displayed bound, so is finite almost everywhere and Lebesgue integrable. A uniform L1 norm bound alone does not imply convergence in L1 space; the strict inequality in Fatou lemma supplies a shrinking-spike example.
Articles by others on the same topic
There are currently no matching articles.