实变函数论6-微分与不定积分3-有界变差函数3：定理1

定义2

设 $f(x)$ 为 $[a,b]$ 上的有限函数，如果对于 $[a,b]$的一切分划 $T,$ 使 { ∑ i = 1 n ∣ f ( x i ) − f ( x i − 1 ) ∣ } \left\{ \sum _ { i = 1 } ^ { n } \left| f \left( x _ { i } \right) - f \left( x _ { i - 1 } \right) \right| \right\} { ∑i=1n​∣f(xi​)−f(xi−1​)∣}成一有界数集，则称 $f(x)$ 为 $[a,b]$ 上的有界变差函数（或囿变函数)，并称该有界数集的上确界为 $f(x)$ 在