Homework # 2.

1. Let J be a collection of non-degenerate closed intervals on R, and

let A be the set of centers of all intervals in J . Assume that for every > 0
and every center x A there exists an interval I J centered at x with
|I| < . Finally, assume that
D = sup[|I| : I J ] < +.
Show that there exist two sub-collections F1 and F2 of intervals in J so
that each F1,2 is a countable collection of pairwise disjoint intervals and the
set A is covered by F1 F2 .
2. Let be a Borel measure on R and F any collection of non-degenerate
closed intervals. Let A be the set of centers of the intervals in F. Assume
that (A) < + and that for every > 0 and every center x A there
exists an interval I J centered at x with |I| < . Then for every open set
U R there exists a pairwise disjoint countable sub-collection J of intervals
in F so that
[
I U,
IJ

and

U\

 [



= 0.

IJ

3. Construct a monotone function that is discontinuous on a dense set on

[0, 1].
4. Let Ek be a sequence of measurable sets such that

(Ek ) < +.

k=1

Show that then almost all x lie in at most finitely many of the sets REk .
5. Let be a non-negative continuous function on Rn such that = 1.
Given t > 0 define t (x) = tn (x/t). Show that if g C (Rn ) with
compact support then
Z

t (g) =

Rn

t (x)g(x)dx g(0).

Because of that t is called an approximation of identity. How much can

you weaken the regularity assumptions on and g?