实变函数论6-微分与不定积分5-斯蒂尔切斯积分2：定理2

下面介绍一个在应用上重要的 $S$ 积分存在的充分条件

定理2

设 $f(x)$ 在 $[a,b]$ 上连续， $\alpha (x)$ 在 $[a,b]$上是有界变差的，则${\int }_a^{b}f(x)\mathrm{d}\alpha (x)$存在.

证明
由若尔当分解定理， $\alpha (x)$ 可以分解为两个增函数之差，因此不妨设 $\alpha (x)$ 为增函数.

任取 $[a,b]$ 一分划$T:a=x_0<x_1<\cdots <x_n=b,$ 作和数

$$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 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,α)=