有界变差

Template:NoteTA 有界變差（Template:Lang-en）是函數的一個性質，它指的是總變差為有限的函數。

有界變差的理論對黎曼－斯蒂尔杰斯积分有相當的用處。

定義

設 $\mathrm{\Delta }f(x_i)=f(x_i)-f(x_{i-1})$，若一個定義於實數區間 $[a,b]$ 上的函數$f$ 是有界變差函數，則存在一正數 $M$，對任意在區間 $[a,b]$上的（有限）分割$P=\{a=x_0,x_1,.....,x_n=b\}$ 而言，有 $\sum _{i=1}^n|\mathrm{\Delta }f(x_i)|\le M$。

另一個等價的定義為：定義一個跟函數 $f:[a,b]\mapsto ℝ$ 相關的量如下：

$V_a^b(f)=\underset{}{\sup }\{\sum _{i=0}^{n_P-1}|f(x_{i+1})-f(x_i)|:P\in 𝒫\},$

這裡的符號 $𝒫$ 代表在閉區間 [a, b] 上所有的（有限）分割。

$f$為有界變差函數若且唯若 $V_a^b(f)<\mathrm{\infty }$。

其定義可推廣至複數域乃至於任何的歐幾里德空間上。

性質

• 任意單調函數都是有界變差的。
• 设$f$在區間$[a,b]$上滿足Lipschitz條件，即存在常數$K>0$，使得對於任意$x^{\prime },x^{″}$，有$|f(x^{\prime })-f(x^{″})|\le K|x^{\prime }-x^{″}|$，則$f$在$[a,b]$上是有界變差的。
• 若$f$在區間$[a,b]$上連續，且在區間的內部$(a,b)$可微，若對於任意在$f$定義域$[a,b]$的內部$(a,b)$的點$x$而言，存在一正實數$A$使得$|f^{\prime }(x)|\le A$，則$f$在$[a,b]$上是有界變差的。
• 若$f$在區間$[a,b]$上是有界變差的，則$f$在該區間上亦是有界的。
• 若$f$在區間$[a,b]$上是有界變差的，則其不連續點的數量是可數的。

參見

• 總變差

參照

• T. M. Apostol, Mathematical Analysis, second edition.
• -{R|http://eom.springer.de/V/v096110.htm}- Template:Wayback