Definition:Total Variation/Complex Measure

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

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

Let $\cmod \mu$ be the variation of $\mu$.

We define the total variation $\norm \mu$ of $\mu$ by:


 * $\norm \mu = \map {\cmod \mu} X$