PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Medium Entry average rating: No information on entry rating
[parent] proof of monotone convergence theorem (Proof)

It is enough to prove the following

Theorem 1   Let $(X,\mu)$ be a measurable space and let $f_k\colon X\to {\mathbb R}\cup\{+\infty\}$ be a monotone increasing sequence of positive measurable functions (i.e. $0\le f_1 \le f_2 \le \ldots$ ). Then $f(x)=\lim_{k\to \infty} f_k(x)$ is measurable and $$ \lim_{n\to\infty} \int_X f_k\, d\mu = \int_{X} f(x) \, d\mu. $$

First of all by the monotonicity of the sequence we have $$ f(x)= \sup_k f_k(x) $$ hence we know that $f$ is measurable. Moreover being $f_k\le f$ for all $k$ , by the monotonicity of the integral, we immediately get $$ \sup_k \int_X f_k\, d\mu \le \int_X f(x)\, d\mu. $$

So take any simple measurable function $s$ such that $0\le s \le f$ . Given also $\alpha<1$ define $$ E_k = \{ x \in X \colon f_k(x) \ge \alpha s(x)\}. $$ The sequence $E_k$ is an increasing sequence of measurable sets. Moreover the union of all $E_k$ is the whole space $X$ since $\lim_{k\to\infty} f_k(x)=f(x) \ge s(x) > \alpha s(x)$ . Moreover it holds $$ \int_X f_k\, d\mu \ge \int_{E_k} f_k\, d\mu \ge \alpha\int_{E_k} s\, d\mu. $$ Since $s$ is a simple measurable function it is easy to check that $E\mapsto \int_E s\, d\mu$ is a measure and hence $$ \sup_k \int_X f_k\, d\mu \ge \alpha \int_X s\, d\mu. $$ But this last inequality holds for every $\alpha<1$ and for all simple measurable functions $s$ with $s\le f$ . Hence by the definition of Lebesgue integral $$ \sup_k \int_X f_k \, d\mu \ge \int_X f\, d\mu $$ which completes the proof.




"proof of monotone convergence theorem" is owned by paolini.
(view preamble | get metadata)

View style:


This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: proof, completes, Lebesgue integral, inequality, measure, union, measurable sets, increasing, simple, integral, monotonicity, measurable, measurable functions, positive, sequence, monotone increasing, measurable space

This is version 4 of proof of monotone convergence theorem, born on 2003-03-07, modified 2007-04-26.
Object id is 4075, canonical name is ProofOfMonotoneConvergenceTheorem.
Accessed 8056 times total.

Classification:
AMS MSC28A20 (Measure and integration :: Classical measure theory :: Measurable and nonmeasurable functions, sequences of measurable functions, modes of convergence)
 26A42 (Real functions :: Functions of one variable :: Integrals of Riemann, Stieltjes and Lebesgue type)

Pending Errata and Addenda
None.
[ View all 2 ]
Discussion
Style: Expand: Order:
forum policy
The last inequality by bchui on 2006-11-14 07:14:51
Should the last inequality be

$\displaystyle{ \int_X fd\mu \leq \sup_{k}\int_X f_k d\mu }$

instead of $\int_k$ on the RHS ?
[ reply | up ]

Interact
post | correct | update request | add example | add (any)