Measure, Integration & Real Analysis · Problem 3A.10
Integration — Sheldon Axler
Mathematics — Measure Theory · integral-of-series
Problem
Suppose (X,S,μ) is a measure space and f1,f2,… is a sequence of nonneg\-ative S-measurable functions. Define f:X→[0,∞] by f(x)=∑k=1∞fk(x). Prove that
∫fdμ=k=1∑∞∫fkdμ.