Measure, Integration & Real Analysis · Problem 9A.5
Linear Maps on Hilbert Spaces — Sheldon Axler
Mathematics — Measure Theory · integration-change-of-measure
Problem
Suppose μ is a (positive) measure on a measurable space (X,S) and h is a nonnegative function in L1(μ). Let ν be the (positive) measure on (X,S) defined by dν=hdμ. Prove that
∫fdν=∫fhdμ
for all S-measurable functions f:X→[0,∞].