MATH 4000 - LEBESGUE INTEGRATION - FALL 2020

Instructor: Jie Xiao ∼ Days: MWF ∼ Time: 10:00-10:50 ∼ Room: online

Assignment 2 (Riemann Integrals) - due by Oct 7, 2020

1. Let f be continuous on [a, b].

(i) If g is defined on [a, b] and equal to f at every Rpoint of [a, b]R bexcept for at most finitely
b
many points, show that g is integrable on [a, b] and a g(x) dx = a f (x) dx.
Rb
(ii) Prove that exists c ∈ (a, b) such that a f (x) dx = f (c)(b − a).

2. (i) Find the Fourier series of


 x2 for x ∈ [−π, 0)

f (x) =  f (x + 2π) = f (x).

with
π2 for x ∈ [0, π)


n−2 = π2 /6.
P∞
(ii) Deduce from (i) that n=1

3. Let f : [0, 1] → R be defined by


q−1 if x = pq−1 where p, 0 , q ∈ N have no common factors

f (x) = 

0 if x is irrational, or x = 0, 1.


(i) Prove that f is continuous at every irrational point of [0, 1] and discontinuous where f (x) ,
0.
(ii) Prove that,
R 1 in spite of having infinitely many discontinuities, f is Riemann integrable on
[0, 1], and 0 f = 0.
(iii) Show that the composite function h = g ◦ f is not Riemann integrable whenever

1 as x ∈ (0, 1]

g(x) = 

0 as x = 0.


4. Verify the following three facts:

(i) A \ B does not have measure zero if A ⊂ R does not have measure zero and B ⊂ A has
measure zero.
(ii) the Cantor n-ary set has measure zero.
(iii) If F is the Cantor ternary set and 1F : [0, 1] → R which takes 1 on F and 0 otherwise,
then 1F is Riemann integrable and its integral over [0, 1] is 0.

5. Let f : [0, 1] → R be such that


 x2 sin x−2 for x , 0

f (x) = 

0 for x = 0.


Prove that f is continuous and differentiable but f 0 is not Riemann integrable.