I thought every Riemann integrable function is lebesgue integrable. But here, a user comments that the statement is not correct. I'm confused. Can someone clarify?
-
1@SanathDevalapurkar But that's not a Riemann integral after all. – JLA Mar 20 '14 at 01:41
3 Answers
Define $\inf $ to be the infimum over all upper sums of a function $ f $ and $\sup $ to be the supremum over all lower sums. Every step function is also a simple function, every upper sum is a simple function that is bigger than $f$, and every lower function is a simple function less than $f$, giving $$\sup \leq\sup_{\text {Lesbegue integrable}}\leq \inf_{\text {Lesbegue integrable}}\leq \inf$$ If $f$ is Riemann integrable, the first and last quantities agree, so $f$ must be Lebesgue integrable as well with the same value for the integral. Q.E.D.
No. This does not have to always hold on unbounded intervals.
$$\int_{0}^{\infty} \frac{\sin{x}}{x} \, dx$$ exists in the sense of Riemann, but does not exist in the sense of Lebesgue as
$$\int_{(0,\infty)} \frac{\sin{x}}{x} \, d\mu. $$
This has to do with the fact that there is no "conditional convergence" in Lebesgue Integration.
- 6,965
A characterization of Riemann integrable function is that $f$ is Riemann integrable iff it is continuous almost everywhere.
Now, since in Riemann integration we always talk about integration on bounded intervals, and in Lebesgue integration we do not differentiate between functions that are equal almost everywhere, and since continuous functions are Lebesgue integrable on bounded intervals, we have our result.
- 7,132
-
4This is true on bounded intervals but fails for improper integrals. – Cameron L. Williams Jun 14 '14 at 14:32
-
1true. but that is what I said. There are some partial results about improper integral as well. – Vishal Gupta Jun 14 '14 at 14:50
-
2Right I just wanted to add some detail to your post. Sorry if it sounded like I was disagreeing. – Cameron L. Williams Jun 14 '14 at 18:29
-
1No need to be sorry. No offense taken. I upvoted your comment and I provided a clarification, which I thought was needed. – Vishal Gupta Jun 14 '14 at 22:40