Monotone Convergence Theorem: Difference between revisions

From Optimal Transport Wiki
Jump to navigation Jump to search
No edit summary
Line 1: Line 1:
==Monotone Convergence Theorem==
==Monotone Convergence Theorem==
===Theorem===
Suppose <math>\{f_n\}</math> is a sequence of non-negative measurable functions, <math> f_n: X \to [0,+\infty]</math> such that <math> f_{n-1} \leq f_{n} </math> for all <math>n</math>.
Suppose <math>\{f_n\}</math> is a sequence of non-negative measurable functions, <math> f_n: X \to [0,+\infty]</math> such that <math> f_{n-1} \leq f_{n} </math> for all <math>n</math>.
Furthermore, <math> \lim_{n\to+\infty} f_n = f ( = \sup_n f_n) </math>.
Furthermore, <math> \lim_{n\to+\infty} f_n = f ( = \sup_n f_n) </math>.
Then
Then
:<math> \lim_{n\to+\infty} \int f_n = \int  \lim_{n\to+\infty}  f_n .</math><ref name="Folland">Gerald B. Folland, ''Real Analysis: Modern Techniques and Their Applications, second edition'', §2.2 </ref>
:<math> \lim_{n\to+\infty} \int f_n = \int  \lim_{n\to+\infty}  f_n .</math><ref name="Folland">Gerald B. Folland, ''Real Analysis: Modern Techniques and Their Applications, second edition'', §2.2 </ref>
==Proof==
==References==


==References==
==References==

Revision as of 05:14, 6 December 2020

Monotone Convergence Theorem

Suppose is a sequence of non-negative measurable functions, such that for all . Furthermore, . Then

[1]

Proof

References

References

  1. Gerald B. Folland, Real Analysis: Modern Techniques and Their Applications, second edition, §2.2