World Library  
Flag as Inappropriate
Email this Article

Monotone convergence theorem

Article Id: WHEBN0000146263
Reproduction Date:

Title: Monotone convergence theorem  
Author: World Heritage Encyclopedia
Language: English
Subject: Real analysis, Lebesgue integration, Monotone, Convergence in measure, Infinite product
Publisher: World Heritage Encyclopedia

Monotone convergence theorem

In the mathematical field of real analysis, the monotone convergence theorem is any of a number of related theorems proving the convergence of monotonic sequences (sequences that are increasing or decreasing) that are also bounded. Informally, the theorems state that if a sequence is increasing and bounded above by a supremum, then the sequence will converge to the supremum; in the same way, if a sequence is decreasing and is bounded below by an infimum, it will converge to the infimum.


  • Convergence of a monotone sequence of real numbers 1
    • Lemma 1 1.1
    • Proof 1.2
    • Lemma 2 1.3
    • Proof 1.4
    • Theorem 1.5
    • Proof 1.6
  • Convergence of a monotone series 2
    • Theorem 2.1
  • Lebesgue's monotone convergence theorem 3
    • Theorem 3.1
    • Proof 3.2
  • See also 4
  • Notes 5

Convergence of a monotone sequence of real numbers

Lemma 1

If a sequence of real numbers is increasing and bounded above, then its supremum is the limit.


We prove that if an increasing sequence \{ a_n \} is bounded above, then it is convergent and the limit is \sup\limits_n \{a_n\}.

Since \{ a_n \} is non-empty and by assumption, it is bounded above, then, by the Least upper bound property of real numbers, c = \sup_n \{a_n\} exists and is finite. Now for every \varepsilon > 0, there exists N such that a_N > c - \varepsilon , since otherwise c - \varepsilon is an upper bound of \{ a_n \}, which contradicts to c being \sup_n \{a_n\}. Then since \{ a_n \} is increasing, if n > N , |c - a_n| \leq |c - a_N| < \varepsilon , hence by definition, the limit of \{ a_n \} is \sup_n \{a_n\}.

Lemma 2

If a sequence of real numbers is decreasing and bounded below, then its infimum is the limit.


The proof is similar to the proof for the case when the sequence is increasing and bounded above.


If \{ a_n \} is a monotone sequence of real numbers (i.e., if an ≤ an+1 for every n ≥ 1 or an ≥ an+1 for every n ≥ 1), then this sequence has a finite limit if and only if the sequence is bounded.[1]


The proof follows directly from the lemmas.

Convergence of a monotone series


If for all natural numbers j and k, aj,k is a non-negative real number and aj,k ≤ aj+1,k, then (see for instance [2] page 168)

\lim_{j\to\infty} \sum_k a_{j,k} = \sum_k \lim_{j\to\infty} a_{j,k}.

The theorem states that if you have an infinite matrix of non-negative real numbers such that

  1. the columns are weakly increasing and bounded, and
  2. for each row, the series whose terms are given by this row has a convergent sum,

then the limit of the sums of the rows is equal to the sum of the series whose term k is given by the limit of column k (which is also its supremum). The series has a convergent sum if and only if the (weakly increasing) sequence of row sums is bounded and therefore convergent.

As an example, consider the infinite series of rows

(1+1/n)^n=\sum_{k=0}^{n}\binom nk/n^k=\sum_{k=0}^{n}\frac1{k!}\times\frac nn\times\frac{n-1}n\times\cdots\times\frac{n-k+1}n,

where n approaches infinity (the limit of this series is e). Here the matrix entry in row n and column k is

\binom nk/n^k=\frac1{k!}\times\frac nn\times\frac{n-1}n\times\cdots\times\frac{n-k+1}n;

the columns (fixed k) are indeed weakly increasing with n and bounded (by 1/k!), while the rows only have finitely many nonzero terms, so condition 2 is satisfied; the theorem now says that you can compute the limit of the row sums (1+1/n)^n by taking the sum of the column limits, namely \frac1{k!}.

Lebesgue's monotone convergence theorem

This theorem generalizes the previous one, and is probably the most important monotone convergence theorem. It is also known as Beppo Levi's theorem.


Let (X, Σ, μ) be a measure space. Let f_1, f_2, \ldots  be a pointwise non-decreasing sequence of [0, ∞]-valued Σ–measurable functions, i.e. for every k ≥ 1 and every x in X,

0 \leq f_k(x) \leq f_{k+1}(x). \,

Next, set the pointwise limit of the sequence (f_{n}) to be f. That is, for every x in X,

f(x):= \lim_{k\to\infty} f_k(x). \,

Then f is Σ–measurable and

\lim_{k\to\infty} \int f_k \, \mathrm{d}\mu = \int f \, \mathrm{d}\mu.

Remark. If the sequence (f_k) satisfies the assumptions μ–almost everywhere, one can find a set N ∈ Σ with μ(N) = 0 such that the sequence (f_k(x)) is non-decreasing for every x \notin N. The result remains true because for every k,

\int f_k \, \mathrm{d}\mu = \int_{X \setminus N} f_k \, \mathrm{d}\mu, \ \text{and} \ \int f \, \mathrm{d}\mu = \int_{X \setminus N} f \, \mathrm{d}\mu,

provided that f is Σ–measurable (see for instance [3] section 21.38).


We will first show that f is Σ–measurable (see for instance [3] section 21.3). To do this, it is sufficient to show that the inverse image of an interval [0, t] under f is an element of the sigma algebra Σ on X, because (closed) intervals generate the Borel sigma algebra on the reals. Let I = [0, t] be such a subinterval of [0, ∞]. Let

f^{-1}(I) = \{x\in X \mid f(x)\in I \}.

Since I is a closed interval and \forall k, f_k(x) \le f(x),

f(x)\in I \Leftrightarrow f_k(x)\in I, ~ \forall k\in \mathbb{N}.


\{x\in X \mid f(x)\in I\} = \bigcap_{k\in \mathbb{N}} \{x\in X \mid f_k(x)\in I\}.

Note that each set in the countable intersection is an element of Σ because it is the inverse image of a Borel subset under a Σ-measurable function f_k . Since sigma algebras are, by definition, closed under countable intersections, this shows that f is Σ-measurable. In general, the supremum of any countable family of measurable functions is also measurable.

Now we will prove the rest of the monotone convergence theorem. The fact that f is Σ-measurable implies that the expression \int f \, \mathrm{d}\mu is well defined.

We will start by showing that \int f \, \mathrm{d} \mu \geq \lim_k \int f_k \, \mathrm{d} \mu.

By the definition of the Lebesgue integral,

\int f \, \mathrm{d} \mu = \sup \left\{\int g \, \mathrm{d} \mu \mid g \in SF, \ g\leq f \right\},

where SF is the set of Σ-measurable simple functions on X. Since f_k(x)\leq f(x) at every x ∈ X, we have that

\left\{\int g \, \mathrm{d} \mu \mid g \in SF, \ g\leq f_k \right\}\subseteq \left\{\int g \, \mathrm{d} \mu \mid g \in SF, \ g\leq f \right\}.

Hence, since the supremum of a subset cannot be larger than that of the whole set, we have that:

\int f \, \mathrm{d} \mu \geq \lim_k \int f_k \, \mathrm{d} \mu,

and the limit on the right exists, since the sequence is monotonic.

We now prove the inequality in the other direction (which also follows from Fatou's lemma), that is we seek to show that

\int f \, \mathrm{d} \mu \leq \lim_k \int f_k \, \mathrm{d} \mu.

It follows from the definition of integral, that there is a non-decreasing sequence (gk) of non-negative simple functions such that gk ≤ f and such that

\lim_k \int g_k \, \mathrm{d} \mu = \int f \, \mathrm{d} \mu.

It suffices to prove that for each k\in \mathbb{N} ,

\int g_k \, \mathrm{d}\mu \leq \lim_j \int f_j \, \mathrm{d}\mu

because if this is true for each k, then the limit of the left-hand side will also be less than or equal to the right-hand side.

We will show that if gk is a simple function and

\lim_j f_j(x) \geq g_k(x) \,

for every x, then

\lim_j \int f_j \, \mathrm{d} \mu \geq \int g_k \, \mathrm{d} \mu.

Since the integral is linear, we may break up the function g_k into its constant value parts, reducing to the case in which g_k is the indicator function of an element B of the sigma algebra Σ. In this case, we assume that f_j is a sequence of measurable functions whose supremum at every point of B is greater than or equal to one.

To prove this result, fix ε > 0 and define the sequence of measurable sets

B_n = \{x \in B: f_n(x) \geq 1 - \epsilon \}. \,

By monotonicity of the integral, it follows that for any n\in \mathbb{N},

\mu(B_n) (1 - \epsilon) = \int (1 - \epsilon) 1_{B_n} \, \mathrm{d} \mu \leq \int f_n \, \mathrm{d} \mu

By the assumption that \lim_j f_j(x) \geq g_k(x) , any x in B will be in B_n for sufficiently high values of n, and therefore

\bigcup_n B_n = B.

Thus, we have that

\int g_k \, \mathrm{d} \mu =\int 1_B \, \mathrm{d}\mu = \mu(B) = \mu\left(\bigcup_n B_n\right) .

Using the monotonicity property of measures, we can continue the above equalities as follows:

\mu\left(\bigcup_n B_n\right)=\lim_n \mu(B_n) \leq \lim_n (1 - \epsilon)^{-1} \int f_n \, \mathrm{d}\mu.

Taking k → ∞, and using the fact that this is true for any positive ε, the result follows.

See also


  1. ^ A generalisation of this theorem was given by John Bibby (1974) “Axiomatisations of the average and a further generalisation of monotonic sequences,” Glasgow Mathematical Journal, vol. 15, pp. 63–65.
  2. ^
  3. ^ a b
This article was sourced from Creative Commons Attribution-ShareAlike License; additional terms may apply. World Heritage Encyclopedia content is assembled from numerous content providers, Open Access Publishing, and in compliance with The Fair Access to Science and Technology Research Act (FASTR), Wikimedia Foundation, Inc., Public Library of Science, The Encyclopedia of Life, Open Book Publishers (OBP), PubMed, U.S. National Library of Medicine, National Center for Biotechnology Information, U.S. National Library of Medicine, National Institutes of Health (NIH), U.S. Department of Health & Human Services, and, which sources content from all federal, state, local, tribal, and territorial government publication portals (.gov, .mil, .edu). Funding for and content contributors is made possible from the U.S. Congress, E-Government Act of 2002.
Crowd sourced content that is contributed to World Heritage Encyclopedia is peer reviewed and edited by our editorial staff to ensure quality scholarly research articles.
By using this site, you agree to the Terms of Use and Privacy Policy. World Heritage Encyclopedia™ is a registered trademark of the World Public Library Association, a non-profit organization.

Copyright © World Library Foundation. All rights reserved. eBooks from Project Gutenberg are sponsored by the World Library Foundation,
a 501c(4) Member's Support Non-Profit Organization, and is NOT affiliated with any governmental agency or department.