20.9. SEQUENTIAL COMPACTNESS IN L1 639

for a unique h ∈ L∞ (Ω1,S1,µ) due to the Riesz representation theorem which holds herebecause Ω1 was shown to be σ finite. Therefore,

limn→∞

f (gn) = limn→∞

∫Ω1

hgndµ =∫

Ω1

hgdµ = i∗ f (g) = f (g) .

This proves the theorem.For more on this theorem see [45]. I have only discussed the sufficiency of the condi-

tions to give sequential compactness. They also discuss the necessity of these conditions.There is another nice condition which implies the above results which is seen in books

on probability. It is the concept of equi integrability.

Definition 20.9.4 Let (Ω,S ,µ) be a measure space in which µ (Ω)< ∞. Then

K ⊆ L1 (Ω,S ,µ)

is said to be equi integrable if

limλ→∞

supf∈K

∫[| f |≥λ ]

| f |dµ = 0

Lemma 20.9.5 Let K be an equi integrable set. Then there exists C > 0 such that for allf ∈ K,

∥ f∥L1 ≤C (20.9.25)

and K also satisfies the property that if {En} is a decreasing sequence of measurable setssuch that ∩∞

n=1En = /0, then for all ε > 0 there exists nε such that if n≥ nε , then∣∣∣∣∫En

f dµ

∣∣∣∣< ε (20.9.26)

for all f ∈ K.

Proof: Choose λ 0 such that

supf∈K

∫[| f |≥λ 0]

| f |dµ ≤ 1.

Then for f ∈ K, ∫Ω

| f |dµ =∫[| f |≥λ 0]

| f |dµ +∫[| f |<λ 0]

| f |dµ

≤ 1+λ 0µ (Ω)≡C

and this proves 20.9.25.Next suppose {En} is a decreasing sequence which has empty intersection and let ε > 0

and choose λ ε such that

supf∈K

∫[| f |≥λ ε ]

| f |dµ ≤ ε/2.

20.9. SEQUENTIAL COMPACTNESS IN L! 639for a unique h € L® (Q),.“, UL) due to the Riesz representation theorem which holds herebecause Q; was shown to be o finite. Therefore,Jim f (gn) = lim I hgndu = [ hgdu =i" f(g) = f(g).This proves the theorem.For more on this theorem see [45]. I have only discussed the sufficiency of the condi-tions to give sequential compactness. They also discuss the necessity of these conditions.There is another nice condition which implies the above results which is seen in bookson probability. It is the concept of equi integrability.Definition 20.9.4 Let (Q,.%,W) be a measure space in which pb (Q) < 0. ThenK CL'(Q,.7,y)is said to be equi integrable iflim sup | |f|du =0(712A)Ave fEKLemma 20.9.5 Let K be an equi integrable set. Then there exists C > 0 such that for allSek,lfllnn <C (20.9.25)and K also satisfies the property that if {E,} is a decreasing sequence of measurable setssuch that 17_,En = 9, then for all € > 0 there exists ng such that ifn > ne, then| fay| <e€ (20.9.26)forall f © K.Proof: Choose Ao such thatsup |f|du <1.feK J[|f|2A0]Then for f € K,[pianand this proves 20.9.25.Next suppose {E,,} is a decreasing sequence which has empty intersection and let € > 0and choose A ¢ such thatJ Maes [ Ufldu[1>A0] Is <Aal1+Aou(Q) =CIAsup \fldu <e/2.fEKI[If2Ae]