MA 4102-Tutorial 6

1. Let (X, A, µ) be a measure space. Let 1 ≤ p < ∞. Let fn be a sequence in Lp (X, A, µ)

and there exists g ∈ Lp (X, A, µ) such that |fn | ≤ g for each n ∈ N. If fn → f pointwise,
then show that f ∈ Lp (X, A, µ) and fn → f in Lp (X, A, µ).

2. If f and g belongs to L2 , then show that f g is integrable.

3. Let (X, A, µ) be a measure space and 1 ≤ p < q ≤ ∞. If µ(X) = ∞, then in general

Lp (X, A, µ) ⊂ Lq (X, A, µ) or Lq (X, A, µ) ⊂ Lp (X, A, µ) may not hold. Verify this with
the examples X = (0, ∞), (
1
q, 0<x≤1
f (x) = x
0, x>1
and (
0, 0<x<1
g(x) = 1
xp , x ≥ 1.

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.

6. Let (X, A, µ) be a measure space. Let p, q, r ∈ (1, ∞] be such that p ≥ r, q ≥ r and

1 θ 1−θ p q r θ 1−θ
r = p + q . If f ∈ L (µ) ∩ L (µ), then show that f ∈ L (µ) and kf kr ≤ kf kp kf kq .

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).

8. If amn ≥ 0 for m, n ∈ N, then show that

∞ X
X ∞ ∞ X
X ∞
amn = amn .
m=1 n=1 n=1 m=1

(
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