定義
矢量空間
實值函式ƒ定義在
區間[
a,
b]⊂'
R的總變差是一維參數曲線
x→ƒ(
x) ,
x∈[
a,
b]的
弧長。連續可微函式的總變差,可由如下的
積分給出
任意實值或虛值函式ƒ定義在區間[a,b]上的總變差,由
若ƒ可微,上式可簡化為
度量空間
其中
為
E的劃分。 如果
是符號測度,通過漢分解定理可知:
可微定義證明
首先需要利用高斯散度定理證明一個等式。
引理
在假設條件下,下面的等式成立:
引理證明
如果函式
f的總變差有限,則稱函式
f為有界變差函式。
參閱