672 CHAPTER 21. THE BOCHNER INTEGRAL
Proof: The measurability of x follows from Theorem 21.1.10 if convergence happensfor each s. Otherwise, x is measurable by assumption. Then ∥xn (s)− x(s)∥ ≤ 2g(s) a.e.so, from Fatou’s lemma,∫
Ω
2g(s)dµ ≤ lim infn→∞
∫Ω
(2g(s)−∥xn (s)− x(s)∥)dµ
=∫
Ω
2g(s)dµ− lim supn→∞
∫Ω
∥xn (s)− x(s)∥dµ
and so,
lim supn→∞
∫Ω
∥xn (s)− x(s)∥dµ ≤ 0
Also, from Fatou’s lemma again,∫Ω
∥x(s)∥dµ ≤ lim infn→∞
∫Ω
∥xn (s)∥dµ <∫
Ω
g(s)dµ < ∞
so x ∈ L1. Then by the triangle inequality,
lim supn→∞
∥∥∥∥∫Ω
x(s)dµ−∫
Ω
xn (s)dµ
∥∥∥∥≤ lim supn→∞
∫Ω
∥xn (s)− x(s)∥dµ = 0
One can also give a version of the Vitali convergence theorem.
Definition 21.5.6 Let A ⊆ L1 (Ω;X). Then A is said to be uniformly integrable if forevery ε > 0 there exists δ > 0 such that whenever µ (E)< δ , it follows∫
E∥ f∥X dµ < ε
for all f ∈A . It is bounded if
supf∈A
∫Ω
∥ f∥X dµ < ∞.
Theorem 21.5.7 Let (Ω,F ,µ) be a finite measure space and let X be a separable Banachspace. Let { fn}⊆ L1 (Ω;X) be uniformly integrable and bounded such that fn (ω)→ f (ω)for each ω ∈Ω. Then f ∈ L1 (Ω;X) and
limn→∞
∫Ω
∥ fn− f∥X dµ = 0.
Proof: Let ε > 0 be given. Then by uniform integrability there exists δ > 0 such thatif µ (E)< δ then ∫
E∥ fn∥dµ < ε/3.
By Fatou’s lemma the same inequality holds for f . Fatou’s lemma shows f ∈ L1 (Ω;X), fbeing measurable because of Theorem 11.1.9.