Dominated Convergence Theorem - Statement of The Theorem

Statement of The Theorem

Let {ƒ_n} be a sequence of real-valued measurable functions on a measure space (S, Σ, μ). Suppose that the sequence converges pointwise to a function ƒ 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 in S. Then ƒ is integrable and

which also implies

Remarks:

1. The statement 'g is integrable' is meant in the sense of Lebesgue; that is
2. The convergence of the sequence and domination by g can be relaxed to hold only μ-almost everywhere provided the measure space (S, Σ, μ) is complete or ƒ is chosen as a measurable function which agrees μ-almost everywhere with the μ-almost everywhere existing pointwise limit. (These precautions are necessary, because otherwise there might exist a non-measurable subset of a μ-null set N ∈ Σ, hence ƒ might not be measurable.)
3. The condition that there is a dominating integrable function g can be relaxed to uniform integrability of the sequence {ƒ_n}, see Vitali convergence theorem.