Homework 4

Math 114: Analysis II

Measure, Integration and Banach Spaces
Due Tuesday, 30 September 2014

1. Let f : R → R be a measurable function. Prove there is a sequence of

continuous functions gn such that gn (x) → f (x) for almost every x ∈ R.
(Thus the measurable functions are the ‘completion’ of the continuous
functions under pointwise limits.)

2. Let F ⊂ R be a closed set and let f : F → R be a continuous function.

Show that f can be extended to a continuous function on the whole
real line.

3. Let f : R → R be a function whose set of discontinuities has measure

zero. Prove that f is measurable. (Hint: use the preceding exercise.)

4. Let fn , f be measurable functions on R, and let

mn (r) = m({x : |f (x) − fn (x)| > r}).

P
Suppose n mn (r) < ∞ for all r > 0. Show that fn (x) → f (x) a.e.
(almost everywhere).

5. Let f : R → R be a measurable function vanishing outside [0, 1]. Show

that m{x : |f (x) − f (x + t)| > 1} → 0 as t → 0.

6. Let E ⊂ [0, 1] be a set of positive measure. Prove that E contains

a subset that is homeomorphic to the Cantor middle-thirds set. (In
particular, |E| = |R|.)

7. Let f : R → R be an integrable function. Prove that

Z
lim f (x) cos(nx) dx = 0.
n→∞