Diffuse Measure of Countable Set

From ProofWiki
Jump to navigation Jump to search


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

Suppose that for all $x \in X$, the singleton $\left\{{x}\right\}$ is in $\Sigma$.

Suppose further that $\mu$ is a diffuse measure.

Let $E \in \Sigma$ be a countable measurable set.

Then $\mu \left({E}\right) = 0$.


It holds trivially that:

$\displaystyle E = \bigcup_{e \mathop \in E} \left\{{e}\right\}$

and in particular, this union is countable.

Also, $\mu \left({\left\{{e}\right\}}\right) = 0$ for all $e \in E$ as $\mu$ is diffuse.

Hence Null Sets Closed under Countable Union applies to yield:

$\mu \left({E}\right) = 0$