In mathematics, Henri Lebesgue's dominated convergence theorem states that if a sequence { f_n : n = 1, 2, 3, ... } of real-valued measurable functions on a measure space S converges almost everywhere, and is "dominated" (explained below) by some measurable function g whose integral is finite, then

<math>\int_S\lim_{n\rightarrow\infty} f_n=\lim_{n\rightarrow\infty}\int_S f_n.<math>

To say that the sequence is "dominated" by g means that

<math>-g(x)\leq f_n(x)\leq g(x)<math>

for every n and "almost every" x (i.e., the measure of the set of exceptional values of x is zero). The theorem assumes that g is "integrable", i.e.,

<math>\int_S\left|g\right|<\infty.<math>

Given the inequalities above, the absolute value sign enclosing g may be dispensed with. In Lebesgue's theory of integration, one calls a function "integrable" precisely if the integral of its absolute value is finite, so this hypothesis is expressed by saying that the dominating function is integrable.

That the assumption that the integral of g is finite cannot be dispensed with may be seen as follows: let f(x) = n if 0 < x < 1/n and f(x) = 0 otherwise. In that case,

<math>\int_0^1\lim_{n\rightarrow\infty} f_n(x)\,dx=0\neq 1=\lim_{n\rightarrow\infty}\int_0^1 f_n(x)\,dx.<math>