Dominated convergence theorem


In measure theory, Lebesgue's dominated convergence theorem provides sufficient conditions under which almost everywhere convergence of a sequence of functions implies convergence in the L1 norm. Its power and utility are two of the primary theoretical advantages of Lebesgue integration over Riemann integration.
In addition to its frequent appearance in mathematical analysis and partial differential equations, it is widely used in probability theory, since it gives a sufficient condition for the convergence of expected values of random variables.

Statement

Lebesgue's dominated convergence theorem. Let be a sequence of complex-valued measurable functions on a measure space. Suppose that the sequence converges pointwise to a function f and is dominated by some integrable function g in the sense that
for all numbers n in the index set of the sequence and all points x ∈ S.
Then f is integrable and
which also implies
Remark 1. The statement "g is integrable" means that measurable function g is Lebesgue integrable; i.e.
Remark 2. The convergence of the sequence and domination by g can be relaxed to hold only almost everywhere provided the measure space is complete or f is chosen as a measurable function which agrees everywhere with the everywhere existing pointwise limit.
Remark 3. If μ < ∞, the condition that there is a dominating integrable function g can be relaxed to uniform integrability of the sequence, see Vitali convergence theorem.

Proof

, one can assume that f is real, because one can split f into its real and imaginary parts and apply the triangle inequality at the end.
Lebesgue's dominated convergence theorem is a special case of the Fatou–Lebesgue theorem. Below, however, is a direct proof that uses Fatou’s lemma as the essential tool.
Since f is the pointwise limit of the sequence of measurable functions that are dominated by g, it is also measurable and dominated by g, hence it is integrable. Furthermore,,
for all n and
The second of these is trivially true. Using linearity and monotonicity of the Lebesgue integral,
By the reverse Fatou lemma
which implies that the limit exists and vanishes i.e.
Finally, since
we have that
The theorem now follows.
If the assumptions hold only everywhere, then there exists a set such that the functions fn 1S \ N satisfy the assumptions everywhere on S. Then the function f defined as the pointwise limit of fn for and by for, is measurable and is the pointwise limit of this modified function sequence. The values of these integrals are not influenced by these changes to the integrands on this μ-null set N, so the theorem continues to hold.
DCT holds even if fn converges to f in measure and the dominating function is non-negative almost everywhere.

Discussion of the assumptions

The assumption that the sequence is dominated by some integrable g cannot be dispensed with. This may be seen as follows: define for x in the interval and otherwise. Any g which dominates the sequence must also dominate the pointwise supremum. Observe that
by the divergence of the harmonic series. Hence, the monotonicity of the Lebesgue integral tells us that there exists no integrable function which dominates the sequence on . A direct calculation shows that integration and pointwise limit do not commute for this sequence:
because the pointwise limit of the sequence is the zero function. Note that the sequence is not even uniformly integrable, hence also the Vitali convergence theorem is not applicable.

Bounded convergence theorem

One corollary to the dominated convergence theorem is the bounded convergence theorem, which states that if is a sequence of uniformly bounded complex-valued measurable functions which converges pointwise on a bounded measure space to a function f, then the limit f is an integrable function and
Remark: The pointwise convergence and uniform boundedness of the sequence can be relaxed to hold only almost everywhere, provided the measure space is complete or f is chosen as a measurable function which agrees μ-almost everywhere with the everywhere existing pointwise limit.

Proof

Since the sequence is uniformly bounded, there is a real number M such that for all and for all n. Define for all. Then the sequence is dominated by g. Furthermore, g is integrable since it is a constant function on a set of finite measure. Therefore, the result follows from the dominated convergence theorem.
If the assumptions hold only everywhere, then there exists a set such that the functions fn1S\N satisfy the assumptions everywhere on S.

Dominated convergence in ''L''''p''-spaces (corollary)

Let be a measure space, a real number and a sequence of -measurable functions.
Assume the sequence converges μ-almost everywhere to an -measurable function f, and is dominated by a , i.e., for every natural number n we have: |fn| ≤ g, μ-almost everywhere.
Then all fn as well as f are in and the sequence converges to f in the sense of, i.e.:
Idea of the proof: Apply the original theorem to the function sequence with the dominating function.

Extensions

The dominated convergence theorem applies also to measurable functions with values in a Banach space, with the dominating function still being non-negative and integrable as above. The assumption of convergence almost everywhere can be weakened to require only convergence in measure.