Bourbaki marks this one as harder than the rest.
a) 设(fα)α∈A为函数⩾0的数值族,针对关系⩽,使得T到RA的映射t↦(fα(t))是μ可测的。令f为家庭(fα)的上层信封。那么f是μ可测的并且
∫∙fdμ=α∈Asup∫∙fαdμ.
(1)
b) 设(fα)α∈A是在T上定义的数值族函数⩾0,并具有以下性质:对于T的每个紧凑子集K和每个ε>0,都存在紧集 K′⊂K使得μ(K−K′)⩽ε并且使得所有函数fα中的限制到K′是下半连续的。令f为家庭(fα)的上层信封。证明 f 可测并且满足关系 (1)。
给出映射t↦(fα(t))中的例,满足上面的条件,那不是μ可测的。