You are on page 1of 2

MATH 544 FALL 2009 HOMEWORK 5 Due November 20, 2009 STUDENT NAME STUDENT NUMBER 1) Let (X1

X1 , M1 , 1 ) and (X2 , M2 , 2 ) be -nite measure spaces. Given M1 M2 dene (1) (x2 ) = {x1 X1 : (x1 , x2 ) } for x2 X2 and (2) (x1 ) = {x2 X2 : (x1 , x2 ) } for x1 X1 . a)(5 points) Prove that i (xj ) Mi , i, j = 1, 2, i = j. b) (5 points) Show that the map Xj [0, ] xj i (i (xj )) is measurable on (Xj , Mj ), j = 1, 2. c)(5 points) Show that 1 2 () = 0 if and only if i (i (xj )) = 0 for j -almost everywhere in Ej . d)(5 points) Show that 1 (1 (x2 )) = 0 for 2 -almost x2 X2 if and only if 2 (2 (x1 )) = 0 for 1 almost x1 X1 . e)(5 points) Let f : X1 C be such that f L1 (X1 ). Let X1 C = {((x, f (x)) : x X1 }. Is measurable with respect to the product measure? What is the measure of ? 2) (15 points) Prove that Lp (Rn ) Lq (Rn ) Lr (Rn ), 1 < p, q, r < , 1 + 1/r = 1/p + 1/q. 3) (10 points) Let (X, S , ) and (Y, T , ) be -nite measure spaces, and let 1 p < . Prove that if f measurable on X Y, with respect to , we have
p 1/p 1/p

|f (x, y )| d
Y X

X Y

|f (x, y )|p d

d.

Explain why this is a generalization of Minkowskis inequality. 4) (10 points) Let Bj Rn , j N, be a ball of radius rj > 0. Suppose that supj rj < . Show that there exists J N such that Bm Bj = if m, j J, and such that

Bj
j =1 m J

5Bm .

5) Let E Rn be a Lebesgue measurable set. We say that x is a point of density of E if m(E B (x, r) = 1. r 0 m(B (x, r) lim Prove that almost every point of E is a density point of E.
1

The Lebesgue dierentiation theorem says that if f L1 (Rn ) then there exists a set E Rn with m(E ) = 0 such that 1 f (y ) dy = f (x), x Rn \ E. lim r 0 m(B (x, r)) B (x,r ) If we took the limit using boxes of diameter 2r instead of balls, would the set E be the same? 6) Let f L1 (Rn ). a) (10 points) Show that for every c R there exists a set Ec Rn such that m(Ec ) = 0 and 1 lim |f (y ) c| dy = |f (x) c|, x Rn \ Ec . r 0 m(B (x, r)) B (x,r ) b) (10 points) Show that there exists a set E independent of c such that
r 0

lim

1 m(B (x, r))

|f (y ) c| dy = |f (x) c|, x Rn \ E.
B (x,r )

c)(10 points) Show that if E is the set dened in item b, then 1 |f (y ) f (x)| dy = 0, x Rn \ E. lim r 0 m(B (x, r)) B (x,r ) d) (10 points) A family F of subsets of Rn is said to be regular if there exists > 0 such that for every S F there exists a ball B (0, r) such that S B (0, r) and m(S ) m(B (0, r)). Prove that for every f L1 (Rn ), there exists a set E such that m(E ) = 0 and such that for every regular family F we have 1 f (x y ) dy = f (x), x Rn \ E. lim m(S )0,S F m(S ) S The idea is to adapt the denition of the maximal function to the family F by setting 1 MF (f )(x) = sup f (x y ) dy. S F m(S ) S