定理4
设 f ( x ) f ( x ) f(x) 在 [ a , b ] [ a , b ] [a,b] 上连续, g ( x ) g ( x ) g(x) 为绝对连续,则
( S ) ∫ a b f ( x ) d g ( x ) = ( L ) ∫ a b f ( x ) g ′ ( x ) d x . (S)\int _ { a } ^ { b } f ( x ) \mathrm { d } g ( x ) = ( L ) \int _ { a } ^ { b } f ( x ) g ^ { \prime } ( x ) \mathrm { d } x . (S)∫abf(x)dg(x)=(L)∫abf(x)g′(x)dx.
证明
上面两积分存在是明显的,今证明两积分相等
对 [ 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, 作和
σ