Dominated Convergence Theorem: Difference between revisions
Jump to navigation
Jump to search
Liang Feng (talk | contribs) No edit summary |
Liang Feng (talk | contribs) No edit summary |
||
Line 1: | Line 1: | ||
In measure theory, the dominated convergence theorem is a cornerstone of Lebesgue integration. It can be viewed as a culmination of all efforts, and is a general statement about the interplay between limits and integrals. | In measure theory, the dominated convergence theorem is a cornerstone of Lebesgue integration. It can be viewed as a culmination of all efforts, and is a general statement about the interplay between limits and integrals. | ||
==Statement and proof of Theorem== | ==Statement and proof of Theorem== | ||
====Statement==== Suppose <math>\{f_n\}</math> is a sequence of [[Measurable function | measurable functions]] such that <math>f_n(x) \to f(x)</math> a.e. x, as n goes to infinity. If <math>|f_n(x)|\leq g(x) </math>, where g is integrable, then | |||
:<math>\int |f_n-f|\to 0</math> | :<math>\int |f_n-f|\to 0</math> | ||
and consequently | and consequently | ||
:<math>\int f_n \to \int f</math> | :<math>\int f_n \to \int f</math> |
Revision as of 03:50, 18 December 2020
In measure theory, the dominated convergence theorem is a cornerstone of Lebesgue integration. It can be viewed as a culmination of all efforts, and is a general statement about the interplay between limits and integrals.
Statement and proof of Theorem
====Statement==== Suppose is a sequence of measurable functions such that a.e. x, as n goes to infinity. If , where g is integrable, then
and consequently