积分, V, p. 98
令t↦λt为T的μ充分映射进入M+(X)满足以下条件:对于T的每个紧凑子集K,存在X的紧凑子集LK使得Supp(λt)⊂LK对于所有t∈K。
a) 证明对于 X 上定义的每个函数 f≥0,
∫∙f(x)dν(x)≥∫∙dμ(t)∫∗f(x)dλt(x)
(利用提案 3 a))。
b) 如果f≥0局部ν可忽略,则t∈T的集合使得f局部λt可忽略不计,则局部μ可忽略。
c) 如果f是X的ν可测映射到拓扑空间X,则t∈T的集合使得f不可在本地进行λt可测μ-可以忽略不计。
d) 对于每个 ν-可测量函数 f≥0,映射 t↦∫∗fdλt 是 μ-可测量,并且
∫∙f(x)dν(x)=∫∙dμ(t)∫∗f(x)dλt(x).
e) 令 f 为 X 上定义的函数,其中值在 Banach 空间或R 中,且本质上 ν 可积。证明t∈T的集合使得f不是λt可积,在局部μ可忽略不计,函数t↦∫f(x)dλt(x)(几乎所有地方为μ局部定义)本质上是μ可积,并且
∫f(x)dν(x)=∫dμ(t)∫f(x)dλt(x).