Tích phân, V, p. 98
Cho t↦λt là một ánh xạ μ-thích hợp từ T vào M+(X) thỏa mãn điều kiện sau: với mọi tập con compact K của T, tồn tại một tập con compact LK của X sao cho Supp(λt)⊂LK với mọi t∈K.
a) Chứng minh rằng với mọi hàm f≥0 xác định trên X,
∫∙f(x)dν(x)≥∫∙dμ(t)∫∗f(x)dλt(x)
(sử dụng Mệnh đề 3 a)).
b) Nếu f≥0 là địa phương ν-không đáng kể, thì tập hợp các t∈T sao cho f không là địa phương λt-không đáng kể là địa phương μ-không đáng kể.
c) Nếu f là một ánh xạ ν-đo được từ X vào một không gian tôpô X, thì tập hợp các t∈T sao cho f không λt-đo được là địa phương μ-không đáng kể.
d) Với mọi hàm ν-đo được f≥0, ánh xạ t↦∫∗fdλt là μ-đo được và
∫∙f(x)dν(x)=∫∙dμ(t)∫∗f(x)dλt(x).
e) Cho f là một hàm xác định trên X, có giá trị trong một không gian Banach hoặc trong R, và khả tích ν theo nghĩa bản chất. Chứng minh rằng tập hợp các t∈T sao cho f không λt-khả tích là địa phương μ-không đáng kể, hàm t↦∫f(x)dλt(x) (được xác định địa phương hầu khắp nơi đối với μ) là khả tích μ theo nghĩa bản chất, và
∫f(x)dν(x)=∫dμ(t)∫f(x)dλt(x).