My Math Forum Lebesgue integration question

 Real Analysis Real Analysis Math Forum

 February 24th, 2014, 04:39 AM #1 Member   Joined: Aug 2012 Posts: 32 Thanks: 0 Lebesgue integration question Lebesgue integral question: Consider measure space $(X, \epsilon, \lambda)$ with $f$ a summable function. I want to show that if $\int_{X}|f|d\lambda= 0$ then $|f|= 0$ a.e. and therefore $f= 0$ a.e. My proposed proof is as follows: Assume that $|f| > 0$ for some $x \in X$. Since $|f|$ is positive measurable function it follows that it is the limit of an increasing sequence of simple functions which I will show as $|f|= \sum_{i=1}^{k}C_{i,n}\chi_{E_{i},n}$: Using Beppoi Levi I know that the limit of the integral is the integral of the limit which gives the following: $\int_{X}|f|d\lambda= \int_{X}\lim\limits_{n \rightarrow \infty}\sum_{i=1}^{k}C_{i,n}\chi_{E_{i},n} = \lim\limits_{n \rightarrow \infty}\int_{X}\sum_{i=1}^{k}C_{i,n}\chi_{E_{i},n} = \lim\limits_{n \rightarrow \infty}\sum_{i=0}^{k}c_{i,n}\lambda(E_{i,n}) = 0$ This is only possible if for any $n \in \mathbb{N}$ we have $\sum_{i=1}^{k}c_{i,n}\lambda(E_{i,n}) = 0$. $\therefore$ for all $n$ and $i$ it follows that either $c_{i,n}= 0$ or $\lambda(E_{i,n})= 0$. Since we assumed that $|f|$ is nonzero for some $x \in X$ it follows that there is some $c_{i,n}\chi_{E_{i,n}} > 0$ where $c_{i,n} > 0$ therefore there must be some $E_{i,n}$ such that $\lambda(E_{i,n})= 0$ and which gives $f(x) > 0$ for $x \in E_{i,n}$. It follows that $|f|= 0$ a.e. and therefore $f= 0$ a.e. Is this proof fine? Thanks for assistance.

 Tags integration, lebesgue, question

 Thread Tools Display Modes Linear Mode

 Similar Threads Thread Thread Starter Forum Replies Last Post Fabion Real Analysis 0 March 20th, 2014 10:10 AM Fabion Real Analysis 0 March 10th, 2014 04:48 AM thamy_271091 Calculus 9 December 7th, 2012 07:34 AM mathabc Real Analysis 0 June 23rd, 2011 11:11 PM aptx4869 Real Analysis 5 May 7th, 2008 07:44 AM

 Contact - Home - Forums - Cryptocurrency Forum - Top