命題 X と Y をそれぞれ局所コンパクト空間とし、μを X 上の正値Radon測度とする。 写像 π: X → Y と写像 ψ: X → [0, +∞) がμ適合(>>157)であるとする。 ν を μ適合な対 (π, ψ) から定まる正値Radon測度(>>158)とする。 f : Y → [0, +∞] を任意の関数とする。
このとき、 ∫^e f(y) dν(y) = ∫^e f(π(x))ψ(x) dμ(x) である。
証明 Φ = { K ; K は X のコンパクト集合で π と ψ の K への制限は連続 } とおく。 過去スレ011の122より、Φ はμ密である。 過去スレ011の90より、X 上の正値Radon測度の総和可能族 (μ_i), i ∈ I が 存在し、μ = Σμ_i となる。 ここで、(Supp(μ_i)), i ∈ I は互いに交わらない Φ の元からなる 局所可算な族である。
各 i に対して ν_i を (μ_i)適合な対 (π, ψ) から定まる正値Radon測度とする。 任意の g ∈ K+(Y, R) に対して ∫ g dν = ∫ (gπ)ψ dμ = Σ ∫ (gπ)ψ dμ_i = Σ ∫ g dν_i よって、ν = Σν_i となる。 よって、過去スレ011の88より、∫^e f dν = Σ∫^e f dν_i である。 >>199より、∫^e f dν_i = ∫^e (fπ)ψ dμ_i となる。 よって、∫^e f dν = Σ∫^e (fπ)ψ dμ_i 過去スレ011の88より、この右辺は ∫^e (fπ)ψ dμ である。 証明終
