Equivalence of Definitions of Concentration of Signed Measure on Measurable Set

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

Proof
From Characterization of Null Sets of Variation of Signed Measure, we have that:


 * $\map {\size \mu} {E^c} = 0$ :


 * for each $\Sigma$-measurable set $A \subseteq E^c$, we have $\map \mu A = 0$.

Hence the desired equivalence.