Infinite Measure is Measure

From ProofWiki
Jump to navigation Jump to search

Theorem

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


Then the infinite measure $\mu$ on $\left({X, \Sigma}\right)$ is a measure.


Proof