- 1、本文档共5页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
实数完备性基本定理等价性的证明
摘要本文通过循环证明对实数完备性基本定理的等价性作出了证明.关键词实数完备性基本定理等价性循环证明
在本节中,将介绍本文中使用的定义、定理和推论,定义闭区间列{[an,BN]}具有以下性质:
(i)[an,bn]?[an+1,bn+1],n=1,2,;(ii)lim(bn-an)=0,
然后{[an,BN]}称为闭区间集,简称区间集
确界原理设s为非空数集.若s有上界,则s必有上确界;若s有下界,则s必有下确界.
单调有界性定理在实数系统中,如果{[an,BN]}是ξ,则有界单调序列必须有一个极限区间集定理∈ [an,BN],n=1,2,即
an≤ξ≤b,n=1,2,.
如果ξ∈ [an,BN],n=1,2,,是由区间集{[an,BN]}确定的点,然后对于任何给定的
ε0,存在n0,使得当nn时有
[安,bn]?( ξ;ε).
有限覆盖定理设h为闭区间[a,b]的一个(无限)开覆盖,则从h中可选出有限个开区间来覆盖[a,b].
聚合定理实数轴上的任何有限无界点集至少有一个聚合点
柯西收敛准则数列{an}收敛的充要条件是:对任给的ε0,存在正整数n,使得当n,mn时有
一个bn〈ε。
§2六大基本定理等价性的证明
本节是六个基本定理等价性的证明。首先,列出认证过程的基本框架:
确界原理?单调有界定理?区间套定理
柯西收敛准则? 收敛点定理? 有限覆盖定理
下面就是这个循环证明的过程.
利用上确界原理证明了单调有界性定理
证不妨设{an}为有上界的递增数列.由确界原理,数列{an}有上确界.记a=sup{an}.下面证明a就是{an}的极限.事实上,任给ε〉0,按上确界的定义,存在数列{an}中某一项an,使得a-ε〈an.又由{an}的递增性,当n≥n时有
另一方面,由于a是{an}的上界,因此存在一个≤ a为所有人a
这就证得liman=a.同理可证有下界的递减数列必有极限,且其极限即为它的下
2用单调有界定理证明区间集定理
证由区间套的定义,各闭区间的端点满足如下不等式:
a1≤a2≤≤一≤≤bn≤≤b2≤b1,
即{an}为递增有界数列,依单调有界定理,{an}有极限ξ,且有
一≤ ξ、 n=1,2,,(1)
同理,递减有界数列{bn}也有极限,并按区间套的条件(ii)有
limbn=liman=ξ(2)
且bn≤ξ,n=1,2,.(3)联合(1)及(3)即得.
一≤ ξ ≤bn,n=1,2,。(4)
最后证明满足(4)的ξ是唯一的,设数ξ也满足,an≤ξ≤bn,n=1,2,,则由(4)式有
- ξ ≤bn-an,n=1,2,。从区间集的条件(II)
-ξ≤lim(bn-an)=0,
所以这里有ξ=ξ。
3由区间套定理证明有限覆盖定理
用反证法证明假设定理的结论是站不住脚的,也就是说,它不能被H
[a,b].
如果[a,b]被划分为两个子区间,其中至少一个子区间不能被H中的有限开放区间覆盖。注意,该子区间为[A1,B1],则[A1,B1]? [a,b]和b1-a1=
(b-a).
然后将[A1,B1]划分为两个子区间。类似地,H中的有限开放区间不能覆盖至少一个子区间。注意,该子区间为[A2,B2],然后为[A2,B2]? [A1,B1],以及
b2-a2=
(b-a)。
重复上述步骤并不断进行下去,则得到一个闭区间列{[an,bn]},它满足
[安,bn]?[an+1,bn+1],n=1,2,,。
bn-an=
(b-a)→0(n→∞),
即{[an,bn]}是区间套,且其中每一个闭区间都不能用h中有限个开区间来覆盖.
根据区间集定理,存在唯一点ξ∈[an,bn],n=1,2,…。因为h是[a,b]的开覆盖,所以存在一个开区间(α,β)∈ h、 使ξ∈( α,β). 因此,从区间集定理可以推断,当n足够大时,存在
[an,bn]?(α,β).
这表明[an,BN]只需要在H中使用一个开区间(α,β)就可以覆盖,这与选择[an,BN]时“我们不能在H中用有限开区间覆盖”的假设相反。证明了必须有一个属于H的有限开区间可以覆盖[a,b]
4由有限覆盖定理证明聚点定理
证明了a是一个有界无穷点集,然后存在一个正数m0,从而a? [-m,m]
假设[-m,m]中任意点都
您可能关注的文档
最近下载
- 数据中心算力技术要求和测评方法.pdf VIP
- 港口起重机驾驶操作训练仿真模拟器技术方案(纯方案,109页港口起重机驾驶操作训练仿真模拟器技术方案.pdf VIP
- 青海水库工程标准化管理工作手册编制指南、管理、制度、操作手册示范文本、管理设施与标识导视系统建设与维护指引、小型水库运行管理技术指南.docx VIP
- DEC-OGP-S-AC-010-2020-1油气管道工程辐射交联聚乙烯热收缩带(套)及补伤片.pdf VIP
- 风险投资PPT课件.pptx VIP
- 二级综合医院评审标准(2025年版)实施细则.docx VIP
- 焊接裂纹产生原因及预防措施.doc VIP
- 公司筹备期间财务报销流程制度.doc VIP
- 证件领用登记表.doc VIP
- T_WHECA 002—2025(建设项目全过程工程咨询服务指南).pdf VIP
文档评论(0)