关于实数的连续性与完备性的进一步讨论ppt课件_第1页
关于实数的连续性与完备性的进一步讨论ppt课件_第2页
关于实数的连续性与完备性的进一步讨论ppt课件_第3页
关于实数的连续性与完备性的进一步讨论ppt课件_第4页
关于实数的连续性与完备性的进一步讨论ppt课件_第5页
已阅读5页,还剩5页未读 继续免费阅读

下载本文档

版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领

文档简介

1、9 关于实数的连续性 与完备性的进一步 讨论单调有界定理确 界定 理闭区间套定理有限覆盖定理列紧性定 理Cauchy收敛定理等价定理可相互证明定义9.1 (集合的聚点)的任何邻域的任何邻域如果点如果点和点和点对数轴上的点集对数轴上的点集aa,E|0|);( axxaUo的点,的点,中异于中异于都含有都含有aE空空集集即即 ),(UEo a则称 为 的聚点.aE等价的叙述:的任何邻域的任何邻域如果点如果点a|0|);( axxaUo都含有 中无穷多个点,则称 为 的聚点.aEE定理定理9.1 (聚点定理聚点定理)证:二等分,二等分,将,将设设,Ebaba .,E11ba中中无无穷穷多多点点,记记

2、为为则则至至少少一一个个含含,kkba依依次次可可得得闭闭区区间间套套满足下列条件:满足下列条件:实数轴上任何一个有界无限点集至少有一个聚点.二二等等分分,继继续续将将,11ba.,E22ba无无穷穷多多点点,记记为为则则至至少少一一个个含含.E,)3(的的无无穷穷多多个个点点中中每每个个区区间间都都含含有有kkba, 2 , 1, )1(11 kbabakkkk; 0|lim)2( kkkab 1,kkkba 唯唯一一由由闭闭区区间间套套定定理理,存存在在有有当当对对, 0NkN 中中无无穷穷多多点点,含含)由由(E),(3),(, ookkUUba .E聚聚点点为为由由聚聚点点定定义义 定

3、理9.2 利用聚点定理证明列紧性定理证明: 设 为一个有界无穷点列,假设 只有有限多个数组成,则它必有无穷多项等于同一个数,此时定理自然成立。 下设 有无穷多个互不相同的数组成,则集合就是数轴上的一个有界无穷点集,它存在一个聚点,设为 。与聚点的定义知,对任意的正整数k,在 中必有 的无穷多项,我们可以取 的子列易见 。nxnxnx*:nExnNanx1( ,)U ak1211( ,1), ( , ), ( ,),2knnnxU axU axU aklimknkxanx定理9.3 利用有限覆盖定理证明聚点定理证:反证法: 设有界无限点集S无聚点,则由S有界知,baSba 使得使得存在实数存在实

4、数.S,聚聚点点中中点点都都不不是是无无聚聚点点,知知由由baS.S),(,的的有有限限个个点点仅仅含含有有使使得得xoxxUbax ,| ),(baxxUFxo 记记.S一开覆盖一开覆盖为为则则F由有限覆盖定理,由有限覆盖定理,.SS的的有有限限个个点点含含有有有有限限个个开开覆覆盖盖,每每个个仅仅存存在在矛盾定理定理9.4证: |, 01, 0nmNnmN有有对对.lim nnCauchy定定理理,由由用Cauchy收敛原理证明确界定理.,S1S.1,Snnnnnnnknknknknn任 取 正 整 数, 存 在 整 数使 得是上 界 ,但不 是的 上 界记则是上 界 , 但不 是 。1111, ,1,| max , mnmnnmnmmnm nnnm任取两个自然数 由于是S的上界而不是,易知 类似有易得.S上确界上确界是是下证下证 .S上上界界是是由由极极限限保保序序性性知知, 有有对对, 0NnN ,1 nn

温馨提示

  • 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

评论

0/150

提交评论