- categories: Measure Theory, Theorem, Real Analysis
Statement:
Let be a measure space, and let be a sequence of non-negative measurable functions such that:
- for all and all (i.e., is non-decreasing).
- pointwise as for some measurable function .
Then:
Intuition:
The theorem ensures that if a sequence of functions increases pointwise to a limit, then the integral of the limit function is the limit of the integrals. This is useful because it allows interchanging the order of the limit and the integral under certain conditions.
Key Properties:
- The theorem applies only to non-negative functions.
- The integrals are finite for each , and the limit exists in .
Proof Sketch:
- Show that being non-decreasing implies for all .
- Use Fatou’s Lemma to show that .
- The monotonicity of the sequence implies .
- Combine these results to conclude equality.