积分, V, p. 116
令T为局部紧凑空间,μ为T上的正测度=0,A为离散空间,λ为A上的测度,由A的每个点处的质量+1定义。
a) 为了将 A×T 的映射 f 转换为空间 (λ⊗μ) 可测,对于每个α∈A,映射 t↦f(α,t) μ 可测是充分必要的。
b) 对于在A×T上定义的函数f,R或Banach空间中的值,要(λ⊗μ)可积,有充分必要:1∘除了可数的集合 α∈A、函数t↦f(α,t)值相同零;对于每个α∈A,2∘,函数t↦f(α,t)是μ可积; 3∘∑α∈A∫∣f(α,t)∣dμ(t)<+∞。对于f本质上(λ⊗μ)可积,必要且充分的是:1∘对于每个α∈A,函数t↦f(α,t)本质上μ可积; 2∘∑α∈A∫∣f(α,t)∣dμ(t)<+∞;那么一个人有
∬fdλdμ=α∈A∑∫f(α,t)dμ(t).
c) 设X为局部紧凑空间,(α,t)↦ρα,tX(α∈A,t∈T)上的一系列积极措施。在阶中,族(α,t)↦ρα,t为(μ⊗ν)充足,对于每个α∈A,族t↦ρα,t为μ充足,并且措施族(∫ρα,tdμ(t))α∈A可求和是充分必要的。