Tutorial6
Tutorial6
Tutorial6
4. Let (X, A, µ) be a measure space. Show that L1 (X, A, µ) L3 (X, A, µ) ⊂ L2 (X, A, µ).
T
5. Let (X, A1 ), (Y, A2 ) be two measurable spaces. Let f and g be real-valued functions on
X and Y , respectively. Suppose that f is A1 -measurable and that g is A2 -measurable.
If h is defined for (x, y) in X × Y by h(x, y) = f (x)g(y), show that h is A1 × A2
-measurable.
7. Consider the measure space ([0, 1], B([0, 1], m), ([0, 1], B([0, 1]), µ), where µ is the count-
ing measure and m is the Lebesgue measure. If D = {(x, y) : x = y}, show that D is a
measurable subset of [0, 1] × [0, 1] but that
Z Z
µ(Dx )dm(x) 6= m(Dy )dµ(y).
(
xy
(x2 +y 2 )2
, (x, y) ∈ I × I \ {(0, 0)}
9. Let I = [−1, 1] and f (x, y) = . Show that the inte-
0, (x, y) = (0, 0)
grals
Z Z Z Z
f (x, y)dm(x) dm(y) = f (x, y)dm(y) dm(x).
I I I I
R
But f (x, y)d(m × m)(x, y) does not exist.
I×I
1
10. Let 1 ≤ p < q ≤ ∞. Show that if fn → f in Lq (X), then fn → f in Lp (X).
11. Let µ be the counting measure on (N, P (N)) and for all m, n ∈ N, let
1,
if m = n
f (m, n) = −1, if m = n + 1
0, otherwise
R R R R
Evaluate f (m, n)dµ(m) dµ(n), f (m, n)dµ(n) dµ(m).
N N N N