待分析命题
闭区间 [ a , b ] \left[ a,b \right] [a,b]上的可微函数 f ( x ) f\left( x \right) f(x)的导函数 f ′ ( x ) f'\left( x \right) f′(x)是 [ a , b ] \left[ a,b \right] [a,b]上的可测函数。
分析过程
由导函数的定义,有
f ′ ( x ) = lim Δ x → 0 f ( x + Δ x ) − f ( x ) Δ x = lim n → + ∞ f ( x + 1 n ) − f ( x ) 1 n . f'\left( x \right)=\underset{\Delta x\to 0}{\mathop{\lim }}\,\frac{f\left( x+\Delta x \right)-f\left( x \right)}{\Delta x}=\underset{n\to +\infty }{\mathop{\lim }}\,\frac{f\left( x+\frac{1}{n} \right)-f\left( x \right)}{\frac{1}{n}}. f′(x)=Δx→0limΔxf(x+Δx)−f(x)=n→+∞lim