---
tag: G2S6H789RG
kind: statement
role: theorem
name: Monotone convergence theorem
msc: [28A25, 26A42]
uses: [DG76G5Z6XW, YYNCJSR0PJ]
about: [DG76G5Z6XW]
sources:
  - url: https://en.wikipedia.org/wiki/Monotone_convergence_theorem
---

## Statement

Let $(X, \Sigma, \mu)$ be a measure space.
Let $f_1, f_2, \dots \colon X \to [0, \infty]$ be [[measurable functions|YYNCJSR0PJ]] with $f_1(x) \le f_2(x) \le \cdots$ for every $x \in X$.
Let $f(x) = \lim_{n \to \infty} f_n(x)$, a limit in $[0, \infty]$.
Then $f$ is measurable and
$$\int_X f \, d\mu = \lim_{n \to \infty} \int_X f_n \, d\mu,$$
where the integrals are [[integrals of non-negative functions|DG76G5Z6XW]].

## Remarks

Proof idea: the integrals $\int f_n$ increase and are at most $\int f$, so their limit $L$ satisfies $L \le \int f$.
For the reverse bound, fix a simple $s \le f$ and $c \in (0, 1)$.
The sets $E_n = \set{f_n \ge c s}$ increase to $X$, so $\int f_n \ge c \int_{E_n} s \to c \int s$ by continuity of measure from below.
Letting $c \to 1$ and taking the supremum over $s$ gives $L \ge \int f$.

Example: with $f_n = \min(f, n)$ the theorem computes $\int f$ from bounded functions.
For a series of non-negative measurable functions it gives $\int \sum_k g_k \, d\mu = \sum_k \int g_k \, d\mu$.

Both hypotheses matter.
Without monotonicity, $f_n = \mathbf{1}_{[n, n+1]}$ on $\R$ tends to $0$ pointwise while each integral is $1$.
Without non-negativity, $f_n = -\mathbf{1}_{[n, \infty)}$ increases to $0$ while each integral is $-\infty$.
It holds also when $f_n \le f_{n+1}$ only almost everywhere.
The analogous fact for sequences of numbers is the [[monotone convergence theorem for sequences|0FM6N4R0VB]].

## Explanations

### L1 human

If a sequence of non-negative functions grows at every point, then the integrals grow to the integral of the limit.
No extra bound on the functions is needed.
The value $\infty$ is allowed on both sides.

### L2 human

This is the first of the three convergence theorems of Lebesgue integration.
Fatou's lemma follows from it, and the dominated convergence theorem follows from Fatou's lemma.
It is also the tool to prove that the integral is additive, by approximating with increasing simple functions.
In probability it gives $\mathbb{E}[\sum_k Y_k] = \sum_k \mathbb{E}[Y_k]$ for non-negative random variables.