Beppo-Levi Theorem

The Beppo-Levi theorem is a result in measure theory that gives us conditions wherein we may then pass the integral through an infinite series of functions. That is to say, this theorem provides conditions under which the (possibly infinite) sum of the integrals is equal to the integral of the sums.

Statement

Let $(X,\Sigma ,\mu )$ be the underlying measure space and let $\{f_{n}\}_{n=1}^{\infty }$ be a sequence of measurable functions with $f_{n}:X\rightarrow [0,+\infty ]$. Then, $\sum _{n=1}^{\infty }\int f_{n}d\mu =\int \sum _{n=1}^{\infty }f_{n}d\mu$

Proof

For any two measurable functions $f,g:X\to [0,+\infty ]$, we already know that

$$\int f+\int g=\int f+g.$$