1534 CHAPTER 48. MULTIFUNCTIONS AND THEIR MEASURABILITY

Then Ωn ∈ C and Ωn∩Ωm = /0 for n ̸= m and ∪∞n=1Ωn = Ω. Let

Dn ≡ {xk : xk ∈ B(xn,1)} .

Now for each n, and ω ∈Ωn, let ψ2 (ω) = xk where k is the smallest index such that xk ∈Dnand B

(xk,

12

)∩Γ(ω) ̸= /0. Thus dist(ψ2 (ω) ,Γ(ω))< 1

2 and

d (ψ2 (ω) ,ψ1 (ω))< 1.

Continue this way obtaining ψk a measurable function such that

dist(ψk (ω) ,Γ(ω))<1

2k−1 , d(ψk (ω) ,ψk+1 (ω)

)<

12k−2 .

Then for each ω,{ψk (ω)} is a Cauchy sequence converging to a point, σ (ω) ∈ Γ(ω).

This has shown that if Γ is measurable, there exists a measurable selection, σ (ω) ∈ Γ(ω).Of course, if Γ(ω) is closed, then σ (ω) ∈ Γ(ω). Note that this had nothing to do with themeasure. It remains to show there exists a sequence of these measurable selections σn suchthat the conclusion of 4.) holds. To do this we define for Γ(ω) closed and measurable,

Γni (ω)≡{

Γ(ω)∩B(xn,2−i

)if Γ(ω)∩B

(xn,2−i

)̸= /0

Γ(ω) otherwise. .

Thus in the case of nonempty intersecton in the above cases,

Γ(ω)∩B(xn,2−(i+1)

)⊆ Γni (ω)⊆ Γ(ω)∩B(xn,2−i).

First we show that Γni is measurable. Let U be open. Then

{ω : Γni (ω)∩U ̸= /0}={

ω : Γ(ω)∩B(xn,2−i)∩U ̸= /0

}∪[{

ω : Γ(ω)∩B(xn,2−i)= /0

}∩{ω : Γ(ω)∩U ̸= /0}

]={

ω : Γ(ω)∩B(xn,2−i)∩U ̸= /0

}∪[(

Ω\{

ω : Γ(ω)∩B(xn,2−i) ̸= /0

})∩{ω : Γ(ω)∩U ̸= /0}

],

a measurable set. By what was just shown, there exists σni, a measurable function suchthat σni (ω) ∈ Γni (ω)⊆ Γ(ω) for all ω ∈Ω. If x ∈ Γ(ω) , then

x ∈ B(xn,2−(i+2)

)whenever xn is close enough to x. Thus both x,σn(i+2) (ω) are in B

(xn,2−(i+2)

)and so∣∣σn(i+1) (ω)− x

∣∣< 2−i. It follows that condition 4.) holds. Note that this had nothing to dowith the measure.

Now we verify that 4.) ⇒ 3.). Suppose there exist measurable selections σn (ω) ∈Γ(ω) satisfying condition 4.). Let U be open. Then

{ω : Γ(ω)∩U ̸= /0}= ∪∞n=1σ

−1n (U) ∈ C .

1534 CHAPTER 48. MULTIFUNCTIONS AND THEIR MEASURABILITYThen Q, € @ and Q, NQn =O for n A mand UP_, Q, = Q. LetDy = {xp 2 XE € B(Xn, 1)}-Now for each n, and @ € Q,, let 5 (@) = x, where k is the smallest index such that x, € Dy,and B (xx, 5) AT (@) 4 0. Thus dist (yw, (@) ,.T(@)) < 5 andd(Wo(),W(@)) <1.Continue this way obtaining y, a measurable function such thatdist (y, (@) ,T'(@)) < — d (Wx (@), Wey1 (@)) < eTThen for each w,{y,(@)} is a Cauchy sequence converging to a point, o(@) €T'(a).This has shown that if is measurable, there exists a measurable selection, o (@) €T'(@).Of course, if ['(@) is closed, then o (@) € '(@). Note that this had nothing to do with themeasure. It remains to show there exists a sequence of these measurable selections 0, suchthat the conclusion of 4.) holds. To do this we define for (@) closed and measurable,_ f§ T(@)NB(x,2~) if 0 (@) OB (xp,27') 40Eni (@) = { T(@) are ,Thus in the case of nonempty intersecton in the above cases,1(@) MB (p,2-FD) CT, (@) CT (@)ABOn,2~).First we show that I, is measurable. Let U be open. Then{@:Tni(@) NU 40} = {@:T(@) OB (x%n,2-') NU ZO}U[{@:T(@) OB (x,2') =0} A {@:T(@) NU FO}= {@:T(@)NB(%,2')NU ZO}U[(Q\ {@ :T(@)NB (xn,2') £0}) N{@:T(@)nU 40}],a measurable set. By what was just shown, there exists 0,;, a measurable function suchthat o,,;(@) €T,;(@) CT (@) for all @ € Q. If x ET (a), thenx € B(x,,2-))whenever x, is close enough to x. Thus both x,0,,(;42)(@) are in B (sn,2-)) and solOn(i+1 ) (@) —x| < 27‘. It follows that condition 4.) holds. Note that this had nothing to dowith the measure.Now we verify that 4.) = 3.). Suppose there exist measurable selections 0,(@) €T'(q) satisfying condition 4.). Let U be open. Then{o:T(@)NU £0} =U"_,0,!(U) €@.