Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Just after studying the Bounded Convergence Theorem BCT for Lebesgue integral, I asked myself a question. Does the BCT hold for Riemann? I answered YES since the function is bounded according to the hypothesis of the BCT. But some Lebesgue integral are not Riemann, this is where I got confused, please I need a guide from experts in the field.

Thanks.

Statement of the BCT:

Let $\{f_{n}\}$ be a sequence of measurable functions defined on a set $E$ of finite measure. Assume $\{f_{n}\}$ converges to $f$ pointwise and also $\{f_{n}\}$ is bounded for all $n$. Then $$\int_{E}f=\lim_{n \to \infty}\int_{E}f_{n}.$$

share|improve this question
2  
What makes you think $f$ will be Riemann-integrable? –  Alex Becker May 25 '12 at 12:30
    
Since $f_{n}$ is bounded and converges to $f$ pointwise. –  Hassan Muhammad May 25 '12 at 12:33
    
In general you need uniform convergence for the function to remain Riemann-integrable. –  Alex Becker May 25 '12 at 12:40
    
This paper is relevant. –  Antonio Vargas May 25 '12 at 14:57
    
I believe the corresponding convergence theorem requires uniform convergence. See this post for a summary of "FTC" and "convergence theorems" for several different types of integrals. The role of dominated convergence for Lebesgue integrals is played by uniform convergence for Riemann integrals. –  Arturo Magidin May 26 '12 at 1:52
add comment

2 Answers

up vote 9 down vote accepted

No. Enumerate the rationals in [0,1] with the sequence $\{r_n\}_{n=1}^\infty$. Now define $f_n(x)$ by $f_n(x) = 1$ if $x = r_k$ for some $1\le k \le n$ and 0 otherwise. For all $n$, we have $$\int_0^1 f_n(x)\,dx = 0.$$ However, the limit function, the indicator of the rationals in $[0,1]$ is not Riemann integrable. The bounded convergence theorem fails for the Riemann Integral.

share|improve this answer
    
Yes, courses my life becomes easy now. Thanks@ncmathsadist. –  Hassan Muhammad May 25 '12 at 12:37
add comment

But this statement is true:

Let $\{f_n\}$ be a sequence of Riemann Integrable functions such that $f_n:[a,b]\rightarrow\mathbb{R}$ and $|f_n(x)|<M$ for all $n\geq1$ with $M>0$. Suppose that $f_n\to f$ pointwise where $f:[a,b]\rightarrow\mathbb{R}$ is Riemann Integrable. Then $$\lim\limits_{n\to\infty}\int_a^bf_n(x)\,dx = \int_a^bf(x)\,dx$$

share|improve this answer
    
Where can I find a proof of this? –  Twink Dec 13 '13 at 5:25
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.