Professional Documents
Culture Documents
1
Problem 25: Suppose f is a function that is continuous on a closed set F of real numbers.
Show that f has a continuous extension to all of R. This is a special case of the forthcoming
Tietze Extension Theorem.
Solution: We may assume F is non-empty. Since F is closed we see that R F is open,
S therefore may be written as a countable disjoint union of open intervals R F =
and
k=1 (ak , bk ). On each of these intervals, we extend f continuously to f as a linear function
in the following way: suppose x (ak , bk ), then
f (bk ) f (ak )
f(x) = (x ak ) + f (ak ),
b k ak
if bk = define
f(x) = f (ak ),
if ak = define
f(x) = f (bk ).
Clearly the extended f is now continuous on R since it matches f on the endpoints of the
intervals and is therefore continuous at every point.
Problem 27: Show that the conclusion of Egoroffs Theorem can fail if we drop the as-
sumption that the domain has finite measure.
Solution: Consider sequence fn (x) = [n,) (x). Clearly fn 0 pointwise on R. Suppose
that there existed a set F such that m(R F ) < and fn 0 uniformly on F . Since fn is
an indicator function, uniform convergence means we can find an N such that fN = 0 on F .
This implies F (, N ) and so [N, ) R F , giving
which is a contradiction.
Problem 29: Prove the extension of Lusins Theorem to the case that E has infinite
measure.
Solution: Suppose f : E R is measurable. We split up E into disjoint finite measure
sets {En }nZ given by En = E [n, n + 1). By Lusins theorem for finite measure sets,
S functions gn : Fn R such that
we know that there exist closed sets Fn and continuous
m(En Fn ) < /2|n|+1 and f = gn on Fn . Define F = kZ Fn and
X
g(x) = gn (x)Fn (x).
kZ
2
We now claim that F is closed. To see this consider {xn } F , converging to an x E.
Since x Ek for some k, we see that for large enough N , {xn }nN belongs to Fk1 Fk
which is a closed set and therefore x Fk1 Fk F .
Since F is closed, by problem (25) we may extend g continuously to R. It now follows that
f = g on F and
!
[ X
m(E F ) = m (En Fn ) = m(En Fn ) < .
nZ kZ