Hey, I'm just wondering how to show the following:
Let K be the subset of consisting of the equivalence classes of non-negative measurable functions with . Show that is closed in .
Isn't there a result along the lines of convergence in implies the existence of a subsequence that converges pointwise almost everywhere? I can't seem to find it.
1) If then for all
2) If , where then and the for fixed , the map is continous (Riesz representation theorem).
Another approach that works for arbitrary and is taking and using the monotone convergence theorem on .