Series of Measures is Measure

Theorem
Let $\left({X, \mathcal A}\right)$ be a measurable space.

Let $\left({\mu_n}\right)_{n \in \N}$ be a sequence of measures on $\left({X, \mathcal A}\right)$.

Let $\left({a_n}\right)_{n \in \N}$ be a sequence of positive real numbers.

Then the mapping $\mu: \mathcal A \to \overline{\R}$, defined by:


 * $\displaystyle \mu \left({A}\right) := \sum_{n \in \N} a_n \mu_n \left({A}\right)$

is also a measure on $\left({X, \mathcal A}\right)$.