Section 7.4

The Riemann Integral, Part Two

[11/0%]
LaTeX
Problem 7.4.1

Focus attention on a closed and bounded kk-dimensional rectangle I=[a,b]I=[\boldsymbol {a}, \boldsymbol {b}]. Suppose that ff and gg are RI on II. Using the main results of this section, quickly show that af+bgaf+bg [where a,b∈Ra, b \in \mathbb {R}] and fgfg are also RI. [The idea is to not regurgitate the calculus-based proofs. Observe by Claim 1 or Claim 2 (of this section) that af+bgaf+bg and fgfg are continuous almost everywhere on II if ff and gg are RI.]

?
Problem 7.4.2

Here, take I=[0,1]I=[0,1], and let ff denote the indicator function of the set of rational numbers in [0,1][0,1].

?
(a)

ff is not RI on [0,1][0,1].

(b)

We have that ∫[0,1]f dλ\int_{[0,1]} f \, d\lambda exists and equals 00, so that this is an example of where the Lebesgue integral of ff exists while the Riemann integral doesn't exist.

Problem 7.4.3

Work the following parts:

?
(a)

lim⁡n→+∞∫0nπsin⁡xx dx\lim_{n \rightarrow +\infty } \int_{0}^{n \pi } \frac{\sin x}{x} \, dx exists and equals π/2\pi /2. [Show that ∫(n−1)πnπsin⁡xx dx\int_{(n-1) \pi }^{n \pi } \frac{\sin x}{x} \, dx alternates in sign and has absolute value decreasing to zero.] In calculus, this limit would be written as an improper Riemann integral: ∫0+∞sin⁡xx dx=π/2\int_{0}^{+\infty } \frac{\sin x}{x} \, dx=\pi /2.

(b)

The Lebesgue integral ∫(0,+∞)sin⁡xx dλ(x)\int_{(0,+\infty )} \frac{\sin x}{x} \, d\lambda (x) does not exist, as both the Lebesgue integrals ∫(0,+∞)(sin⁡x/x)+ dλ(x)\int_{(0,+\infty )} \left(\sin x/x\right)^{+} \, d\lambda (x) and ∫(0,+∞)(sin⁡x/x)− dλ(x)\int_{(0,+\infty )} \left(\sin x/x\right)^{-} \, d\lambda (x) equal +∞+\infty.

Problem 7.4.4

Obtain ∫(0,1)1x dλ(x)\int_{(0,1)} \frac{1}{\sqrt{x}} \, d\lambda (x) if it exists, otherwise show that it fails to exist. Observe that 1x\frac{1}{\sqrt{x}} is not bounded on (0,1)(0,1), so that one cannot immediately appeal to Claim 1 or Claim 2 (of this section).

?
Problem 7.4.5

∫R11+x2 dλ(x)\int_{\mathbb {R}} \frac{1}{1+x^{2}} \, d\lambda (x) exists and equals π\pi. [Be more careful here than merely stating that the improper Riemann integral ∫−∞+∞11+x2 dx\int_{-\infty }^{+\infty } \frac{1}{1+x^{2}} \, dx exists and equals π\pi.]

?
Problem 7.4.6

Is a RI function necessarily Borel measurable?

?
Problem 7.4.7

Show that ∫1+∞1x dλ(x)=+∞\int_{1}^{+\infty } \frac{1}{x} \, d\lambda (x)=+\infty. [Be careful here.]

?
Problem 7.4.8

Let f:R→R‾f: \mathbb {R} \rightarrow \overline{\mathbb {R}} be such that ∫Rf dλˉ\int_{\mathbb {R}} f \, d\bar{\lambda } exists, is finite. Further suppose that ∫(a,b)f dλˉ=0\int_{(a,b)} f \, d\bar{\lambda }=0 for every −∞<a<b<+∞-\infty <a<b<+\infty. Then f=0f=0 λˉ\bar{\lambda }-a.e. on R\mathbb {R}. [Work from indicators to simple functions, then to nonnegative functions, then to general integrable functions.]

?
Problem 7.4.9

Assume the result of Exercise 8 [problem 7.4.8 above]. Show that there cannot exist a set E∈BE \in \mathcal{B} such that λ(E∩[a,b])=12(b−a)\lambda \left(E \cap [a, b]\right)=\frac{1}{2}(b-a) for all real a<ba<b. [Write the left side as ∫[a,b]  1E dλ\int_{[a,b]} \; \mathbb {1}_{E} \, d\lambda, and write the right side as ∫[a,b]12 dλ\int_{[a,b]} \frac{1}{2} \, d\lambda. Use the previous exercise, working by contradiction.]

?
Problem 7.4.10

There exists a real valued ff on [0,1][0,1] such that ff is continuous on (0,1](0,1], lim⁡δ→0+∫[δ,1]f dλˉ\lim_{\delta \rightarrow 0^{+}} \int_{[\delta , 1]} f \, d\bar{\lambda } exists and is finite, but ∫[0,1]f dλˉ\int_{[0,1]} f \, d\bar{\lambda } is undefined.

?
Problem 7.4.11

Suppose that ff is improperly Riemann integrable over the real line, so that

∫−∞+∞f(x) dx=lim⁡a→−∞, b→+∞∫abf(x) dx \int _{-\infty }^{+\infty } f(x) \, dx=\lim _{a \rightarrow -\infty , \, b \rightarrow +\infty } \int _{a}^{b} f(x) \, dx

exists as a real number. [Observe that this implies that ff is RI over each interval [a,b][a, b].] Give sufficient conditions for ff so that ∫Rf dλ=∫−∞+∞f(x) dx\int_{\mathbb {R}} f \, d\lambda =\int_{-\infty }^{+\infty } f(x) \, dx.

?