实数完备性的六大基本定理的相互证明(共30个).pdf

实数完备性的六大基本定理的相互证明(共30个).pdf

  1. 1、本文档共16页,可阅读全部内容。
  2. 2、有哪些信誉好的足球投注网站(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
1 确界原理非空有上(下)界数集,必有上(下)确界。 2 单调有界原理 任何单调有界数列必有极限。 3 区间套定理 若 {[a ,b ]} 是一个区间套, 则存在唯一一点 ,使得 n n   [a ,b ], n 1,2, 。 n n 4 Heine-Borel 有限覆盖定理 设 是一个闭区间, 为 上的一个开覆盖,则在 [a,b]  [a,b]  中存在有限个开区间,它构成[a,b] 上的一个覆盖。 5 Weierstrass 聚点定理 (Bolzano 致密性定理有界无穷数列必有收敛子列。) 直线上的有 解无限点集至少有一个聚点。 {a }  6 Cauchy 收敛准则数列 收敛 对任给的正数 ,总存在某一个自然数 ,使得  N n m,n N 时,都有| am  an |  。 一.确界原理 1.确界原理证明单调有界定理 证 不妨设{ an}为有上界的递增数列.由确界原理,数列{ an }有上确界,记 a = sup{ an}.下面证明a 就是{ an} 的极限. 事实上,任给ε 0, 按上确界的定 义,存在数列{ an }中某一项aN ,使得a - ε aN .又由{ an}的递增性,当n≥ N 时有a - ε aN ≤ an. 另一方面,由于a 是{ an}的一个上界,故对一切an 都有an ≤ a a + ε.所以当 n≥ N 时有 a - ε an a + ε, 这就证得 an = a.同理可证有下界的递减数列必有极限,且其极限即为它的下确界. 2.确界原理证明区间套定理 证明:1 设 [an,bn] 是一个闭区间套,即满足: 1) ∀ n,[an+1,bn+1]⊂ [an,bn]; 2) bn-an = 我们证明,存在唯一的实数ξ,使得ξ ∈ [an,bn],(n =1,2,⋯) 存在性:令S={an},显然,S非空且有上界(任一bn都是其上界).据确界原理,S 有上确界,设supS =ξ .现在,我们证明ζ属于每个闭区间[an,bn],(n=1,2, ⋯)显然 an ≤ξ,(n =1,2,⋯) 所以,我们只需证明对一切自然数n,都有ξ≤bn. 事实上,因为对一切自然数n,bn都是S 的上界,而上确界是上界中最小者,因此必有 ξ≤bn ,故我们证明了存在一实数ξ,使得ξ ∈ [an,bn],(n =1,2,⋯)    唯一性: 假设还有另外一点 R 且 [a ,b ] ,则|  || a b | 0, n n n n  即  。从而唯一性得证。 3.确界原理证明有限覆盖定理 即闭区间[a,b]的任一开覆盖H 都有有限的子覆盖 证① 令S = {x|a<x ≤b,[a,x]能被H 中有限个开区间覆盖}; ②显然S有上界 因H 覆盖闭区间[a,b],所以,存在一个开区间(α,β)∈H 使 a ∈ (α,β) 取x ∈ (α,β),则[a,x]能被H中有限个开区间覆盖 从而, x ∈S,故S非空; ③ 由确界原

文档评论(0)

dajuhyy + 关注
实名认证
内容提供者

该用户很懒,什么也没介绍

1亿VIP精品文档

相关文档