• 数学分析原理 定理 6.8


    如果$f$在$[a,b]$上连续,则在$[a,b]$上,$f\in\mathcal{R}(\alpha)$.

    证明:我以前证明了闭区间上的连续函数是可以进行黎曼积分的.如下:$f$在$[a,b]$上连续,所以$f$在$[a,b]$上[一致连续].即$\forall \varepsilon>0,\exists\delta>0,$使得$\forall x_1,x_2\in [a,b]$,当$|x_1-x_2|\leq \delta$时都有$|f(x_1)-f(x_2)|\leq \varepsilon$.可见,$\forall\varepsilon>0$,都存在一个分割P,使得对于该分割形成的任何一个小区间$[x_i,x_{i+1}]$来说,函数在该小区间上的上确界减去函数在该小区间上的下确界不大于$\varepsilon$. 这样,就容易得到$U(f,P)-L(f,P)\leq \varepsilon(b-a)$.然后根据[数学分析原理_定理6.6]得出$f$在$[a,b]$上黎曼可积.

    下面我证明更广的结论,证明其在$[a,b]$上可以进行Riemann-Stieltjes积分.


    $f$在$[a,b]$上连续,所以$f$在$[a,b]$上一致连续.即$\forall \varepsilon>0,\exists\delta>0,$使得$\forall x_1,x_2\in [a,b]$,当$|x_1-x_2|\leq \delta$时都有$|f(x_1)-f(x_2)|\leq \varepsilon$.可见,$\forall\varepsilon>0$,都存在一个分割P,使得对于该分割形成的任何一个小区间$[x_i,x_{i+1}]$来说,函数在该小区间上的上确界(最大值,根据闭区间上的连续函数有最大值)减去函数在该小区间上的下确界(最小值)不大于$\varepsilon$. 这样,就容易得到对于任意给定的正实数$\varepsilon$,都存在一个分划P,使得
    $$U(P,f,\alpha)-L(P,f,\alpha)\leq \varepsilon(\alpha(b)-\alpha(a))$$
    然后根据数学分析原理_定理6.6(见书本),得出$f$在$[a,b]$上Riemann-Stieltjes可积.



  • 相关阅读:
    Opencv3 Robert算子 Sobel算子 拉普拉斯算子 自定义卷积核——实现渐进模糊
    Opencv3 形态学操作
    Opencv3 图片膨胀与腐蚀
    opencv3 图片模糊操作-均值滤波 高斯滤波 中值滤波 双边滤波
    Realsense D430 python pointclound
    opencv3读取视频并保存为图片
    Opencv3 Mat对象构造函数与常用方法
    掩膜
    Opencv图像变成灰度图像、取反图像
    ubuntu16.04 安装openpose
  • 原文地址:https://www.cnblogs.com/yeluqing/p/3827473.html
Copyright © 2020-2023  润新知