Measure of Empty Set is Zero

Theorem
Let $\struct {X, \Sigma, \mu}$ be a measure space.

Then $\map \mu \O = 0$.

That is, $\O$ is a $\mu$-null set.

Proof
By definition of measure, there exists at least one $E \in \Sigma$ such that $\map \mu E$ is finite.

So, suppose that $E \in \Sigma$ such that $\map \mu E$ is finite.

Let $\map \mu E = x$.

Consider the sequence $\sequence {S_n}_{n \mathop \in \N} \subseteq \Sigma$ defined as:
 * $S_n = \begin {cases} E & : n = 1 \\ \O & : n > 1 \end {cases}$

Then:
 * $\displaystyle \bigcup_{n \mathop = 1}^\infty S_n = E$

Hence:

It follows directly that $\map \mu \O = 0$.