Jordan Decomposition of Finite Signed Measure

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

Let $\mu$ be a finite signed measure on $\struct {X, \Sigma}$.

Let $\tuple {\mu^+, \mu^-}$ be the Jordan decomposition of $\mu$.

Then $\mu^+$ and $\mu^-$ are finite measures.

Proof
From the definition of Jordan decomposition, we have:


 * $\mu = \mu^+ - \mu^-$

with at least one of $\mu^+$ and $\mu^-$ finite. From the definition of a finite signed measure, we have:


 * $\cmod {\map \mu X} < \infty$

We show that:


 * if exactly one of $\mu^+$ and $\mu^-$ is finite, then $\mu$ is not a finite signed measure

that is:


 * if exactly one of $\mu^+$ and $\mu^-$ is finite, then $\map \mu X = \infty$ or $\map \mu X = -\infty$.

At which point we will have a contradiction, giving:


 * $\mu^+$ and $\mu^-$ are both finite.

suppose exactly one of $\mu^+$ and $\mu^-$ is finite.

Consider first the case of $\mu^+$ non-finite.

Then $\mu^-$ is finite, so:


 * $\map {\mu^-} X < \infty$

Since $\mu^+$ is not finite, we have:


 * $\map {\mu^+} X = \infty$

From the definition of extended real subtraction, we then have:


 * $\map \mu X = \map {\mu^+} X - \map {\mu^-} X = \infty$

which contradicts:


 * $\cmod {\map \mu X} < \infty$

So we have a contradiction in the case of $\mu^+$ non-finite.

Now suppose that $\mu^-$ is non-finite.

Then $\mu^+$ is finite, so:


 * $\map {\mu^+} X < \infty$

Since $\mu^-$ is not finite, we have:


 * $\map {\mu^-} X = \infty$

From the definition of extended real subtraction, we then have:


 * $\map \mu X = \map {\mu^+} X - \map {\mu^-} X = -\infty$

which contradicts:


 * $\cmod {\map \mu X} < \infty$

So we have a contradiction in the case of $\mu^-$ non-finite.

So we must have that both $\mu^+$ and $\mu^-$ are finite, completing the proof.