Integral of Positive Simple Function is Positive Homogeneous

Theorem
Let $\left({X, \Sigma, \mu}\right)$ be a measure space.

Let $f: X \to \R, f \in \mathcal{E}^+$ be a positive simple function.

Let $\lambda \in \R_{\ge 0}$ be a positive real number.

Then $I_\mu \left({\lambda \cdot f}\right) = \lambda \cdot I_\mu \left({f}\right)$, where:


 * $\lambda \cdot f$ is the pointwise $\lambda$-multiple of $f$
 * $I_\mu$ denotes $\mu$-integration

This can be summarized by saying that $I_\mu$ is positive homogeneous.