The Riemann Integral, Part Two
[11/0%]Focus attention on a closed and bounded -dimensional rectangle . Suppose that and are RI on . Using the main results of this section, quickly show that [where ] and are also RI. [The idea is to not regurgitate the calculus-based proofs. Observe by Claim 1 or Claim 2 (of this section) that and are continuous almost everywhere on if and are RI.]
Here, take , and let denote the indicator function of the set of rational numbers in .
is not RI on .
We have that exists and equals , so that this is an example of where the Lebesgue integral of exists while the Riemann integral doesn't exist.
Work the following parts:
exists and equals . [Show that alternates in sign and has absolute value decreasing to zero.] In calculus, this limit would be written as an improper Riemann integral: .
The Lebesgue integral does not exist, as both the Lebesgue integrals and equal .
Obtain if it exists, otherwise show that it fails to exist. Observe that is not bounded on , so that one cannot immediately appeal to Claim 1 or Claim 2 (of this section).
exists and equals . [Be more careful here than merely stating that the improper Riemann integral exists and equals .]
Is a RI function necessarily Borel measurable?
Show that . [Be careful here.]
Let be such that exists, is finite. Further suppose that for every . Then -a.e. on . [Work from indicators to simple functions, then to nonnegative functions, then to general integrable functions.]
Assume the result of Exercise 8 [problem 7.4.8 above]. Show that there cannot exist a set such that for all real . [Write the left side as , and write the right side as . Use the previous exercise, working by contradiction.]
There exists a real valued on such that is continuous on , exists and is finite, but is undefined.
Suppose that is improperly Riemann integrable over the real line, so that
exists as a real number. [Observe that this implies that is RI over each interval .] Give sufficient conditions for so that .