下面介绍一个在应用上重要的 S S S 积分存在的充分条件
定理2
设 f ( x ) f ( x ) f(x) 在 [ a , b ] [ a , b ] [a,b] 上连续, α ( x ) \alpha ( x ) α(x) 在 [ a , b ] [ a , b ] [a,b]上是有界变差的,则 ∫ a b f ( x ) d α ( x ) \int _ { a } ^ { b } f ( x ) \mathrm { d } \alpha ( x ) ∫abf(x)dα(x)存在.
证明
由若尔当分解定理, α ( x ) \alpha ( x ) α(x) 可以分解为两个增函数之差,因此不妨设 α ( x ) \alpha ( x ) α(x) 为增函数.
任取 [ a , b ] [ a , b ] [a,b] 一分划 T : a = x 0 < x 1 < ⋯ < x n = b , T : a = x _ { 0 } < x _ { 1 } < \cdots < x _ { n } = b , T:a=x0<x1<⋯<xn=b, 作和数
S ( T , f , α ) = ∑ i = 1 n M i ( α ( x i ) − α ( x i − 1 ) ) , S ( T , f , \alpha ) = \sum _ { i = 1 } ^ { n } M _ { i } \left( \alpha \left( x _ { i } \right) - \alpha \left( x _ { i - 1 } \right) \right) , S(T,f,α)=i=1∑nMi(α(xi)−α(xi−1)),
s ( T , f , α ) = ∑ i = 1 n m i ( α ( x i ) − α ( x i − 1 ) ) , s ( T , f , \alpha ) = \sum _ { i = 1 } ^ { n } m _ { i } \left( \alpha \left( x _ { i } \right) - \alpha \left( x _ { i - 1 } \right) \right) , s(T,f,α)=