- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
数学分析第3章课件.ppt
3.2 闭区间上连续函数性质的证明 一、 有界性定理 若函数 在闭区间 上连续,则 在 上有界. 证明: (应用有限覆盖定理证明) 二 最大最小值定理 若函数 在闭区间 上连续,则 在 上有最大值和最小值. 证明: (应用确界原理证明) 三 介值性定理 设函数 在闭区间 上连续,且 ,若 为介于 和 之间任何实数, 则存在 , 使得 . 证明: (应用区间套定理证明) 四、反函数连续性定理 分析: 五 一致连续性定理 若函数 在闭区间 上连续,则 在 上一致连续. 证明: (应用有限覆盖定理证明) 六 小结 (1) 有界性定理的证明; (2) 最大,最小值定理的证明; (3) 介值性定理的证明; (4) 一致连续性定理的证明; (5) 实数完备性定理的应用; * * * * * 从而由定义1 的条件2 可得 因为 {an} 递增, {bn} 递减, 所以 设 这样就证明了 的存在性. 现在证明 是唯一的 。 推论 若 是区间套 所确定的点 , ( ) [ ] [ ] 证 由区间套定理的证明可得: 由极限的保号性, 对于任意正数 ? , 存在 N, 则任给? 0, 存在 N, 当 n ? N 时, 推论 设 {[an ,bn]} 是一个区间套, 现在证明 是唯一的 。 但是定理1中的? 是不存在的, 这是因为 证明过程, 哪一步通不过? 的 注1 该推论有着很强的应用价值,请大家务必牢记. 注2 区间套定理中的闭区间若改为开区间, 那么结 论不一定成立. 例如对于开区间列 , 显然 即 注1 区间套定理中要求各个区间都是闭区间. 但不存在属于所有开区间的公共点。 注2 区间套定理在有理数域不一定成立。 五、致密性定理 1 聚点定理 设S为数轴上的点集,为定点(它可以属于S, 也 可以不属于S)。 若 的任何邻域内都含有S中无穷多个点,则称 为点 集S的一个聚点。 整数集Z和自然数集N没有聚点。 任何有限数集没有聚点. 聚点概念的另两个等价定义: 则称 为S的一个聚点。 若存在各项互异的收敛数列 三个定义等价性的证明: 显然。 显然。 设 为S(按定义 )的聚点, ( ) ) ( 无限地重复以上步骤,得到S中各项互异的数列 定理8 (魏尔斯特拉斯(weierstrass)聚点定理) 实轴上的任意有界无限点集至少有一个聚点。 证 因为S是有界点集, 现将 等分为两个子区间。 因为S是无限点集,故两个子区间中至少有一个含有S中无穷多个点, 证毕。 再将 等分为两个子区间, 则其中至少有一个子区间含有S中无穷多个点 , 将此等分子区间的手续无限的进行下去,得到一个区间列 且其中每一个闭区间都含S中无穷多个点。 由区间套定理,存在唯一的点 由推论得: 从而 内含有 S中无穷多个点, 按定义2,为S的一个聚点。 定理9(致密性定理) 有界数列必含有收敛子列。 证 设{xn}为有界数列 , 若{xn}中有无限多个相等的项, 则由这些项组成的子列是一个常数列, 而常数列总是收敛的。 若{xn}中不含无限多个相等的项, 故由聚点定理,点集{xn}至少有一个聚点, 则{xn}在数轴上对应的点集必为有界无限点集, 于是按定义 ,存在{xn}的一个收敛子列(以 为其极限). 证毕。 补充: 注: 聚点定理和致密性定理在有理数域不一定成立。 S是有界的无限有理点集,在实数域内的聚点为e, 数列{xn}是有理数域内的有界数列,但其极限是无理数e. 从而任一子列均收敛于e。 故{xn}在有理数域内没有收敛的子列。 因而在有理数域没有聚点。 五、Cauchy收敛准则 1 Cauchy列: 如果数列 具有以下特性: > > < 则称数列 是一个基本数列.( Cauch
文档评论(0)