World Library  
Flag as Inappropriate
Email this Article

Dominated convergence theorem

Article Id: WHEBN0000351853
Reproduction Date:

Title: Dominated convergence theorem  
Author: World Heritage Encyclopedia
Language: English
Subject: Lebesgue integration, Bochner integral, DCT, Convergence in measure, Fatou's lemma
Collection:
Publisher: World Heritage Encyclopedia
Publication
Date:
 

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.

It is widely used in probability theory, since it gives a sufficient condition for the convergence of expected values of random variables.

Contents

  • Statement of the theorem 1
  • Proof of the theorem 2
  • Discussion of the assumptions 3
  • Bounded convergence theorem 4
    • Proof 4.1
  • Dominated convergence in Lp-spaces (corollary) 5
  • Extensions 6
  • See also 7
  • References 8

Statement of the theorem

Lebesgue's Dominated Convergence Theorem. Let {fn} be a sequence of real-valued measurable functions on a measure space (S, Σ, μ). Suppose that the sequence converges pointwise to a function f and is dominated by some integrable function g in the sense that

|f_n(x)| \le g(x)

for all numbers n in the index set of the sequence and all points xS. Then f is integrable and

\lim_{n\to\infty} \int_S |f_n-f|\,d\mu = 0

which also implies

\lim_{n\to\infty} \int_S f_n\,d\mu = \int_S f\,d\mu

Remark 1. The statement "g is integrable" is meant in the sense of Lebesgue; that is

\int_S|g|\,d\mu < \infty.

Remark 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 f 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 f might not be measurable.)

Remark 3. If μ(S) < ∞, the condition that there is a dominating integrable function g can be relaxed to uniform integrability of the sequence {fn}, see Vitali convergence theorem.

Proof of the theorem

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 (fn) of measurable functions that are dominated by g, it is also measurable and dominated by g, hence it is integrable. Furthermore (these will be needed later),

|f-f_n| \le |f| + |f_n| \leq 2g

for all n and

\limsup_{n\to\infty} |f-f_n| = 0.

The second of these is trivially true (by the very definition of f). Using linearity and monotonicity of the Lebesgue integral,

\left | \int_S{f\,d\mu} - \int_S{f_n\,d\mu} \right|= \left| \int_S{(f-f_n)\,d\mu} \right|\le \int_S{|f-f_n|\,d\mu}.

By the reverse Fatou lemma (it is here that we use the fact that |ffn| is bounded above by an integrable function)

\limsup_{n\to\infty} \int_S |f-f_n|\,d\mu \le \int_S \limsup_{n\to\infty} |f-f_n|\,d\mu = 0,

which implies that the limit exists and vanishes i.e.

\lim_{n\to\infty} \int_S |f-f_n|\,d\mu= 0.

The theorem now follows.

If the assumptions hold only μ-almost everywhere, then there exists a μ-null set N ∈ Σ such that the functions fn 1N satisfy the assumptions everywhere on S. Then f(x) is the pointwise limit of fn(x) for xS \ N and f(x) = 0 for xN, hence f is measurable. The values of the integrals are not influenced by this μ-null set N.

DCT holds even if fn converges to f in measure (finite 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 fn(x) = n for x in the interval (0, 1/n] and fn(x) = 0 otherwise. Any g which dominates the sequence must also dominate the pointwise supremum h = supn fn. Observe that

\int_0^1 h(x)\,dx \ge \int_{\frac{1}{m}}^1{h(x)\,dx} = \sum_{n=1}^{m-1} \int_{\left(\frac{1}{n+1},\frac{1}{n}\right]}{h(x)\,dx} \ge \sum_{n=1}^{m-1} \int_{\left(\frac{1}{n+1},\frac{1}{n}\right]}{n\,dx}=\sum_{n=1}^{m-1} \frac{1}{n+1} \to \infty \qquad \text{as }m\to\infty

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 [0,1]. A direct calculation shows that integration and pointwise limit do not commute for this sequence:

\int_0^1 \lim_{n\to\infty} f_n(x)\,dx = 0 \neq 1 = \lim_{n\to\infty}\int_0^1 f_n(x)\,dx,

because the pointwise limit of the sequence is the zero function. Note that the sequence {fn} 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 {fn} is a sequence of uniformly bounded real-valued measurable functions which converges pointwise on a bounded measure space (S, Σ, μ) (i.e. one in which μ(S) is finite) to a function f, then the limit f is an integrable function and

\lim_{n\to\infty} \int_S{f_n\,d\mu} = \int_S{f\,d\mu}.

Remark: The pointwise convergence and uniform boundedness of the sequence can be relaxed to hold only μ-almost everywhere, provided the measure space (S, Σ, μ) is complete or f is chosen as a measurable function which agrees μ-almost everywhere with the μ-almost everywhere existing pointwise limit.

Proof

Since the sequence is uniformly bounded, there is a real number M such that |fn(x)| ≤ M for all xS and for all n. Define g(x) = M for all xS. 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 μ-almost everywhere, then there exists a μ-null set N ∈ Σ such that the functions fn1N satisfy the assumptions everywhere on S.

Dominated convergence in Lp-spaces (corollary)

Let (\Omega,\mathcal{A},\mu) be a measure space, 1 ≤ p < ∞ a real number and {fn} a sequence of \mathcal{A}-measurable functions f_n:\Omega\to\R\cup\{\infty\}.

Assume the sequence {fn} converges μ-almost everywhere to an \mathcal{A}-measurable function f, and is dominated by a g \in L^p, i.e., for every natural number n we have: |fn| ≤ g, μ-almost everywhere.

Then all fn as well as f are in L^p and the sequence {fn} converges to f in the sense of L^p, i.e.:

\lim_{n \to \infty}\|f_n-f\|_p =\lim_{n \to \infty}\left(\int_\Omega |f_n-f|^p \,d\mu\right)^{\frac{1}{p}} = 0.

Idea of the proof: Apply the original theorem to the function sequence h_n = |f_n-f|^p with the dominating function (2g)^p.

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.

See also

References

  • Bartle, R.G. (1995). The elements of integration and Lebesgue measure. Wiley Interscience. 
  • Royden, H.L. (1988). Real analysis. Prentice Hall. 
  •  
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 USA.gov, which sources content from all federal, state, local, tribal, and territorial government publication portals (.gov, .mil, .edu). Funding for USA.gov 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.