函数的倒函数的Riemann可积性证明

若函数$f(x)$在$[a,b]$上黎曼可积，那么$\frac{1}{f(x)}$在满足什么条件下在$[a,b]$上也可积？下面给出相关命题及证明。

命题

若函数$f(x)$在$[a,b]$上黎曼可积，且在$[a,b]$上满足$|f(x)|\ge m>0$，$m$是一个常数，则$\frac{1}{f(x)}$在$[a,b]$上也黎曼可积。

证明

任意构造一个在$[a,b]$上的划分$P:a=x_0<x_1<...<x_n=b$，考察其中任意一个区间$[x_{i-1},x_i]$。记函数$f(x)$在区间$[x_{i-1},x_i]$的上确界为$M_i$，下确界为$m_i$，设$x_{i-1}\le x^{{}^{\prime }}\ne x^{{}^{\prime \prime }}\le x_i$，则$f(x)$在$[x_{i-1},x_i]$的振幅可以表示为
ω i ( f ) = M i − m i = m a x { f ( x ′ ) − f ( x ′ ′ ) } \omega_{i}(f)=M_i-m_i=max\{f(x^{'})-f(x^{''})\} ωi​(f)=Mi​−mi​=max{f(x′)−f(x′′)}

现在考察函数的倒数$\frac{1}{f(x)}$。记函数$\frac{1}{f(x)}$在区间$[x_{i-1},x_i]$的上确界为$M_i^{{}^{\prime }}$，下确界为$m_i^{{}^{\prime }}$，同理，$\frac{1}{f(x)}$在$[x_{i-1},x_i]$的振幅可表示为
ω i ( 1 f ) = M i ′ − m i ′ = m a x { 1 f ( x ′ ) − 1 f ( x ′ ′ ) } \omega_{i}(\frac{1}{f})=M_i^{'}-m_i^{'}=max\{\frac{1}{f(x^{'})}-\frac{1}{f(x^{''})}\} ωi​(f1​)=Mi′​−mi′​=max{f(x′)1​−f(x′′)1​}
由于
$$\frac{1}{f(x^{{}^{\prime }})}-\frac{1}{f(x^{{}^{\prime \prime }})}=\frac{f(x^{{}^{\prime \prime }})-f(x^{{}^{\prime }})}{f(x^{{}^{\prime }})f(x^{{}^{\prime \prime }})}\le \frac{f(x^{{}^{\prime \prime }})-f(x^{{}^{\prime }})}{m^2}$$
因此有
ω i ( 1 f ) ≤ 1 m 2 m a x { f ( x ′ ) − f ( x ′ ′ ) } = 1 m 2 ω i ( f ) \omega_{i}(\frac{1}{f})\leq \frac{1}{m^2} max\{f(x^{'})-f(x^{''})\}=\frac{1}{m^2}\omega_{i}(f) ωi​(f1​)≤m21​max{f(x′)−f(x′′)}=m21​ωi​(f)

由于函数$f(x)$在$[a,b]$上黎曼可积，因此对于任意给定的$\epsilon >0,\exists \delta >0,\forall \lambda =\underset{1\le i\le n}{\max }(\Delta x_i)<\delta$，使得${\sum }_{i=1}^n{\omega }_i(f)\Delta x_i<m^2\epsilon$。从而有
$$\sum _{i=1}^n{\omega }_i(\frac{1}{f})\Delta x_i\le \frac{1}{m^2}\sum _{i=1}^n{\omega }_i(f)\Delta x_i<\epsilon$$
此即$\frac{1}{f(x)}$在$[a,b]$上也黎曼可积。证毕。