In real analysis and measure theory, one of the central questions is when we are allowed to interchange limits and integrals. Many students first encounter this issue when sequences of functions behave nicely pointwise, but their integrals do not seem to follow the same limit. The Lebesgue bounded convergence theorem addresses this problem in a clear and elegant way under strong but intuitive assumptions. It shows that when a sequence of functions converges pointwise and is uniformly bounded, integration behaves as expected. This theorem plays an important role in understanding why Lebesgue integration is more powerful than Riemann integration.
Background and Motivation
Before stating the Lebesgue bounded convergence theorem, it is useful to recall why such a result is needed. In calculus, we often assume that if a sequence of functions converges pointwise, then the integrals also converge to the integral of the limit function. However, this is not always true. There are many counterexamples where pointwise convergence alone is not enough.
Lebesgue integration provides tools to handle limits more carefully. Several convergence theorems exist, including the monotone convergence theorem and the dominated convergence theorem. The bounded convergence theorem can be seen as a simpler special case of the dominated convergence theorem, where the dominating function is just a constant bound.
Statement of the Lebesgue Bounded Convergence Theorem
We now state the theorem in a precise but accessible form.
Theorem (Lebesgue Bounded Convergence Theorem)
Let \((X, \mathcal{M}, \mu)\) be a measure space with finite measure, meaning \(\mu(X) < \infty\). Let \((f_n)\) be a sequence of measurable functions on \(X\) such that
- \(f_n(x) \to f(x)\) pointwise almost everywhere on \(X\),
- there exists a constant \(M > 0\) such that \(|f_n(x)| \le M\) for all \(n\) and for almost every \(x \in X\).
Then the limit function \(f\) is integrable, and
\[ \lim_{n \to \infty} \int_X f_n \, d\mu = \int_X f \, d\mu. \]
Understanding the Assumptions
Each assumption in the bounded convergence theorem has a clear meaning. The requirement that the measure of the space is finite prevents integrals from becoming unmanageable due to infinite size. The pointwise convergence condition ensures that the functions approach a well-defined limit almost everywhere.
The uniform bound is the most important condition. It says that no matter how large \(n\) becomes, the functions never exceed a fixed constant in absolute value. This prevents extreme oscillations or spikes that could disrupt convergence of integrals.
Why Boundedness Matters
Boundedness allows us to control the size of the functions uniformly across the entire space. Since the measure of the space is finite, a bounded function is automatically integrable. This fact is crucial in the proof, because it ensures that both the functions \(f_n\) and their limit \(f\) belong to the Lebesgue integrable class.
Intuitively, bounded convergence says that if functions converge pointwise and never grow too large, then integration behaves continuously with respect to limits.
Proof of the Lebesgue Bounded Convergence Theorem
We now present a step-by-step proof using ideas that build naturally from the assumptions.
Step 1 Integrability of the Limit Function
Since \(|f_n(x)| \le M\) for all \(n\), taking the limit as \(n \to \infty\) gives \(|f(x)| \le M\) almost everywhere. Because \(X\) has finite measure, the constant function \(M\) is integrable over \(X\).
Therefore, the limit function \(f\) is also integrable. This confirms that the expression \(\int_X f \, d\mu\) is well defined.
Step 2 Consider the Difference of Integrals
To prove convergence of the integrals, we examine the difference
\[ \left| \int_X f_n \, d\mu – \int_X f \, d\mu \right| = \left| \int_X (f_n – f) \, d\mu \right|. \]
Using properties of the Lebesgue integral, we can bound this by
\[ \int_X |f_n – f| \, d\mu. \]
Step 3 Apply Dominated Convergence Ideas
Because \(f_n \to f\) pointwise almost everywhere, we have \(|f_n – f| \to 0\) almost everywhere. Moreover, since both \(f_n\) and \(f\) are bounded by \(M\), we have
\[ |f_n – f| \le |f_n| + |f| \le 2M. \]
The constant function \(2M\) is integrable on \(X\) because the measure of \(X\) is finite.
Step 4 Conclude Convergence
Since \(|f_n – f|\) converges pointwise to zero and is dominated by the integrable function \(2M\), we can conclude that
\[ \int_X |f_n – f| \, d\mu \to 0. \]
This implies
\[ \lim_{n \to \infty} \int_X f_n \, d\mu = \int_X f \, d\mu. \]
This completes the proof of the Lebesgue bounded convergence theorem.
Relationship to the Dominated Convergence Theorem
The bounded convergence theorem is actually a special case of the dominated convergence theorem. In the dominated convergence theorem, the dominating function can vary across the space, as long as it is integrable. In bounded convergence, the dominating function is simply a constant.
This makes the bounded convergence theorem easier to apply in practice, especially when working on finite measure spaces with uniformly bounded functions.
Examples and Intuition
Consider a sequence of continuous functions on a closed interval that converges pointwise to a continuous limit and is uniformly bounded. Since closed intervals have finite measure, the bounded convergence theorem guarantees convergence of the integrals.
This result aligns well with intuition from calculus, showing how Lebesgue integration extends and formalizes familiar ideas in a more general setting.
Why the Theorem Is Important
The Lebesgue bounded convergence theorem provides a reliable condition for interchanging limits and integrals. It simplifies analysis in probability theory, functional analysis, and partial differential equations, where sequences of bounded functions frequently arise.
By clearly identifying when convergence behaves well, the theorem helps avoid errors and clarifies the structure behind many limiting processes.
The Lebesgue bounded convergence theorem states that on a finite measure space, pointwise convergence together with uniform boundedness guarantees convergence of integrals. Its proof relies on simple but powerful ideas boundedness, integrability, and control of differences. Although it is a special case of a more general theorem, its clarity and usefulness make it a cornerstone of modern real analysis and a key result for anyone studying Lebesgue integration.