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