Definition:Variation/Complex Measure

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

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

Let $\mathcal A$ be the set of finite partitions of $A$ into $\Sigma$-measurable sets.

We define the variation $\cmod \mu$ of $\mu$ by:


 * $\ds \map {\cmod \mu} A = \sup \set {\sum_{j \mathop = 1}^n \cmod {\map \mu {A_j} } : \set {A_1, A_2, \ldots, A_n} \in \mathcal A}$

where the supremum is taken in the set of extended real numbers $\overline \R$.

Also see

 * Variation of Complex Measure is Well-Defined