黎曼可积的充分必要条件 (3)

2023-05-16

推论 1

闭区间上的连续函数必定可积。

证明:

f(x) 在闭区间 [a,b] 连续, 则有界且一致连续。
因此, ε>0,δ>0,x,x′′[a,b], |xx′′|<δ, |f(x)f(x′′)|<εba,
且对于任意一种 [a,b] 上的划分 P,
iN,1in,f(x) [xi1,xi] 连续,
因此 ζi,ηi[xi1,xi], 使得 f(ζi)=Mi,f(ηi)=mi,
只要 λ=max{Δxi:iN,1in}<δ,
便有:
ni=1wiΔxi
=ni=1(Mimi)Δxi
=ni=1(f(ζi)f(ηi))Δxi
<ni=1εbaΔxi
=εbani=1Δxi
=εba(ba)=ε
因此 f(x) 可积。

推论 2

闭区间上的单调函数必定可积。

证明:

不妨设函数 f(x) 在闭区间 [a,b] 单调不减, 则
ε>0,δ=εf(b)f(a)+1>0,
对于任意一种 [a,b] 上的划分 P,
iN,1in,f(x) [xi1,xi] 单调不减,
因此 Mi=f(xi),mi=f(xi1),
只要 λ=max{Δxi:iN,1in}<δ,
便有:
ni=1wiΔxi
=ni=1(Mimi)Δxi
=ni=1(f(xi)f(xi1))Δxi
ni=1(f(xi)f(xi1))εf(b)f(a)+1
=εf(b)f(a)+1ni=1(f(xi)f(xi1))
=εf(b)f(a)+1(ni=1f(xi)ni=1f(xi1))
=εf(b)f(a)+1(f(b)f(a))
<ε,
因此 f(x) 可积。

推论 3

闭区间上在只有一个端点不连续的有界函数必定可积。

证明:

不妨设 f(x):[a,b]R 有界且只在点 b 不连续。
f(x):[a,b]R 有界 M,mR,x[a,b],mf(x)M,
M>m 。否则由于 Mm, M=m,
于是 x[a,b],f(x)=M, 从而 f(x) 在点 b 连续,与 f(x) 在点 b 不连续矛盾。

ε>0, c=max{a+b2,bε2(Mm)},
于是 a<a+b2c,
a+b2<b,bε2(Mm)<b,c<b,
c(a,b)f(x) [a,c] 连续。因此 f(x) [a,c] 可积。
于是 P:a=x0<<xn=c,nR,n1, 使得 ni=1wiΔxi<ε2,
因此 P=P{b}:a=x0<<xn=c<xn+1=b,
使得 n+1i=1wiΔxi=ni=1wiΔxi+wn+1Δxn+1<ε2+(Mm)Δxn+1
由于 bε2(Mm)cΔxn+1=bcε2(Mm),
因此 n+1i=1wiΔxi<ε2+(Mm)Δxn+1ε2+(Mm)ε2(Mm)=ε2+ε2=ε,
因此 f(x) 可积。

本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系:hwhale#tublm.com(使用前将#替换为@)

黎曼可积的充分必要条件 (3) 的相关文章

随机推荐

  • 在Windows上使用nginx具体步骤

    首先下载Windows版本的nginx http nginx org en docs windows html 直接将文件解压 xff0c 然后直接在有nginx exe同级的目录下执行cmd 当然你也可以双击下图红框中的文件 xff0c
  • Linux重启nginx服务

    1 方法一 到nginx下面的sbin目录下执行 nginx s reload 2 方法二 如果第一种不生效 xff0c xff08 项目背景 xff09 实际项目不生效 xff0c 也即部署到nginx下面的vue项目 xff0c 已经更
  • 静态方法调用yml配置文件中的值

    目录 一 概念讲解二 正确方式正确方法一正确方法二 可能遇到的问题 一 概念讲解 获取配置文件的注解方式有 64 value 64 ConfigurationProperties xff0c 这两种方式遇到下列情况都会失效 xff1a 属性
  • 2022IDEA搭建springMvc项目

    springmvc项目搭建 一 创建maven项目二 Add Framework Support三 添加依赖并配置maven四 配置前端控制器 96 DispatcherServlet 96 五 配置SpringMVC XML文件六 创建c
  • Error creating bean with name ‘mySwaggerResourceProvider‘

    多种情况都会导致此错误的产生 造成原因1 依赖冲突 xff1a 当maven导入项目的依赖A与导入项目的依赖B都依赖于依赖C xff0c 如下图所示 xff0c 都依赖于guava 也就是依赖C xff0c 因为依赖A与依赖B都有依赖C的依
  • Contents have difference only in line separators

    问题描述 xff1a idea关联上git xff0c 文件更改完 xff0c 然后ctrl 43 z回退到未更改之前 xff0c 但是git上的commit还是有此文件 xff08 表示有更改的地方 xff09 xff0c 如下图所示 红
  • valid prop: custom validator check failed for prop “size“.

    问题现象 xff0c 如下图所示 解决方案 xff1a 第一步 xff1a 首先确定出问题的 vue页面 xff0c 如上图所示 xff0c 是c view business product product manage vue 文件出现的
  • 装饰器

    装饰器 由于函数也是一个对象 xff0c 而且函数对象可以被赋值给变量 xff0c 所以 xff0c 通过变量也能调用该函数 span class prompt gt gt gt span class function span class
  • yolov5 识别效果不好如何判断原因

    yolov5 训练完模型以后发现 对测试图片的识别效果不好 那么这个时候该怎么办呢 是过拟合还是欠拟合了呢 怎么判断呢 欠拟合 机器学习中一个重要的话题便是模型的泛化能力 xff0c 泛化能力强的模型才是好模型 xff0c 对于训练好的模型
  • STM32F303RE 四个ADC同步规则采样

    STM32F303RE 芯片有4个ADC 采样频率据说能达到5Mbsps 已经算是非常高的了 比较适合做采样 参考文章 STM32三个ADC同步规则采样 参考上面的配置文章 经过不断的失败和重复尝试 最后终于搞通了 其中遇到了好几个错误 也
  • Python虚拟环境导出包安装到另一台电脑的方法

    Python虚拟环境导出包安装到另一台电脑的方法 环境 xff1a Windows 版 Python Python 3 6 8可以用自带的命令建立虚拟环境 xff0c 不用安装另外的如 virtualenv virtualenvwrappe
  • C# System.Numerics.Math.Sin 计算对边和临边

    在 C 中 xff0c 使用 System Numerics 中的 Math Sin 计算 36 869898 度角的正弦值可以通过以下代码实现 xff1a span class token keyword using span span
  • HTTP 错误 401.0 - Unauthorized 的解决方案

    我的项目突然间报这个错误 HTTP 错误 401 0 Unauthorized 您无权查看此目录或页面 最可能的原因 通过身份验证的用户无权访问处理请求所需的资源 可尝试的操作 查看失败请求跟踪日志以获取有关此错误的其他信息 有关详细信息
  • 卡尔曼滤波,最最容易理解的讲解.找遍网上就这篇看懂了.

    学习卡尔曼滤波看了4天的文章 硬是没看懂 后来找到了下面的文章一下就看懂了 我对卡尔曼滤波的理解 我认为 卡尔曼滤波就是把统计学应用到了滤波算法上 算法的核心思想是 根据当前的仪器 34 测量值 34 和上一刻的 34 预测量 34 和 3
  • HTTP status Code 412 未满足前提条件的解决方法之一

    最近网站老是报告错误 ajax返回状态为 error 思来想去不知道为啥 后来跟踪了下 发现是在请求某个页面的时候会返回412错误 而这个页面的请求是通过jquery 的 34 panel 34 load 34 http 34 方法去请求的
  • RabbitMQ入门 用途说明和深入理解

    RabbitMQ 在上一家公司已经接触过了 但是懵懵懂懂的 不是很清楚 具体怎么个逻辑 这次公司打算搭建新的系统 领导要求研究一下MQ 经过研究得出的结论是 MSMQ的设计理念不适合做系统的底层框架 他不适合做分布式系统 最主要的是 MSM
  • KEIL软件的Error: Flash Download failed - Could not load file '..\OBJ\Template.axf'解决思路

    第一个知识点 axf是编译后生成的文件 这个文件是用来写入单片机的 如果不存在这个文件 首先要看一下 是不是有编译错误 编译错误肯定不会出这个文件的 第二个知识点 这个文件的路径是可以指定的 在Options for Target Temp
  • 数学分析 反函数存在性定理,连续性定理与求导定理

    反函数存在性定理 若函数 y 61 f x x D f 是严格单调增加 xff08 减少 xff09 的 xff0c 则存在它的反函数 x 61 f 1 y R f X xff0c 并且 f 1 y 也是严格单调增加 xff08 减少 xf
  • css高度塌陷和外边距塌陷的原因及解决办法

    1 高度塌陷 xff08 原因 xff0c 如何解决 xff09 概念介绍 高度塌陷 xff1a 子元素设置浮动后就会脱标 脱离标准流进入浮动流 xff0c 如果此时父元素没有设置高度 xff0c 那么父元素高度就会为0 xff0c 形成所
  • 黎曼可积的充分必要条件 (3)

    推论 1 闭区间上的连续函数必定可积 证明 xff1a f x 在闭区间 a b 连续 xff0c 则有界且一致连续 因此 xff0c gt 0 gt 0 x x a b 若 x x lt 则