Zero Measure is Absolutely Continuous with respect to Every Measure

From ProofWiki
Jump to navigation Jump to search


Let $M$ be a measurable space.

Let $\mu$ be a measure on $M$.

Let $\nu$ be the null measure on $M$.

Let $\nu$ whenever $\map {\mu_2} E = 0$.

Then $\nu$ is absolutely continuous with respect to $\mu$.


Let $E$ be such that $\map \mu E = 0$.

By definition of null measure:

$\map \nu E = 0$

from which the result follows trivially.