给定一个复测度 ,存在一个正测度,记为
,它度量
的全变差,有时也简称为“全变差”。 特别地,子集
上的
是
的任何细分的所有“变差”之和的最大值。 粗略地说,全变差测度是绝对值的无穷小版本。
更精确地,
(1)
|
其中,上确界取自 的所有划分为可测子集
的分割
。
注意 可能与
不同。 当
已经是正测度时,则
。 更一般地,如果
是绝对连续的,即
(2)
|
那么 也是绝对连续的,并且全变差测度可以写成
(3)
|
全变差测度可以用来重写原始测度,类似于复数的模。 测度 有极坐标表示
(4)
|
其中 。