实数完备性基本定理之间的等价性.docxVIP

学年论文（本科）学院数学与信息科学学院专业数学与应用数学年级2010姓名陈方华论文题目实数完备性基本定理之间的等价性指导教师陶有德职称副教授成绩2012年5月18日 TOC\o1-5\h\z摘要2关键词2Abstract2Keywords2 \o CurrentDocument 引言2 \o CurrentDocument 实数基本定理的陈述2 \o CurrentDocument 定理1到定理6的循环证明3举例分析5 \o CurrentDocument 参考文献6 实数完备性定理之间的等价性 学生姓名:陈方华学号:20105031106 数学与信息科学学院数学与应用数学专业 指导教师:陶有德职称:副教授 摘要:本文给出了实数理论的六个基本定理的循环证明 关键词:实数基本定理;等价性;数列极限;收敛Abstract：inthispaper,acycleofsixfundamentaltheoremofthetheoryofrealnumbersprove. Keywords：Realnumberofthefundamentaltheorem;equivalence;series;limits;convergence. 引言 实数基本定理以不同的形式刻划了实数的连续性和完备性，实数基本定理是建立与发展微积分学的基础.因此掌握这部分内容是十分必要的，本文主要给出实数理论的6个基本定理的循环证明. 实数基本定理的陈述 定理1（确界原理）非空有上（下）界数集，必有上（下）确界. 定理2（单调有界原理）任何单调有界数列必有极限. 定理3（区间套定理）若也〃,bn］｝是一个区间套，则存在唯一一点,使得 e［a,b］,n=1,2,. 定理4（有限覆盖定理）设［a,b］是一个闭区间,H为［a,b］上的一个开覆盖，则在H中存在有限个开区间,它构成［a,b］上的一个覆盖. 定理5（聚点原理）实轴上的有界无限点集至少有一个聚点. 定理6（柯西收敛准则）数列｛a」收敛o对任给的正数￡,总存在某一个自然数N，使得 Vm,nN时，都有Ia-a\￡ 定理1到定理6的循环证明 ⑴定理1n定理2（确界原理n单调有界原理） 证不妨设｛七｝为单增有上界数列，即3M0,VneN，有气M. 记U=｛气IneN｝,则由确界原理知U有上确界,不妨记为a，则a=supUeR,从而V￡0,3NeN使得a-￡\a成立.因为｛x」是单调递增数列，所以VnN,有a-￡Xnxnaa+￡做x-a,（nT8）. （2）定理2n定理3（单调有界定理n区间套定理） 证因为,b］da,b］,所以有aa…a…b…bbnnn+1n+112nn21 从而可见数列kn｝单增有上界，数列｛〃｝单减有下界故由单调有界定理可知3aeR使得lima=a,3beR使得limb=b. n—snnsn且VneN有aa,VneN有bb，所以a,be\a,b］,于是成立nnnn0|b-a|b-a. 又因为lim（b〃—a〃）=0,所以a=b.记=a-b，从而存在性得证.n—s⑶定理3n定理4（区间套定理n有限覆盖定理） 证（反证法）假设闭区间［a，b］有一个开覆盖H不能用它的任有限个开区间覆盖. 定义性质P：不能用H中有限个开区间覆盖. step（1）将a,b］等分为两个子区间，则至少有一个具有性质p,不妨记该区间为a「b1］,则；Cb］ula,b］； 1,1 step（2）将a,b］等分为两个子区间，则至少有一个具有性质p,不妨记该区间为a,b］,则1122a2b2］ula1,b］； Step(n)a,b〕ua将a,b］等分为两个子区间，则至少有一个具有性质p,不妨记该区间为 Step(n) a,b〕ua n-1n-1n+「bn+1］；由此可得一个区间套也〃,bn]｝且满足7b-aa-b= nn2n 利用二等分法容易构造出满足性质P的区间套｛[a〃,bn]｝,故由区间套定理可知，存在唯一的e[a,b],从而3U(,e)uUgH,3N0,3nN,有[a,b]uU化,)uUgH,这与 nnnn[an,bn]具有性质P矛盾.这就证明了有限复盖定理. 定理4n定理5(有限覆盖定理=聚点原理) 证(反证法)假设原命题不成立,则由于S是直线上的有界无限点集，即存在闭区间[a,b],使得Su[a,b],所以Vxe[a,b],3U(x,8),3U(x,8)只含S中的有限多项.从而得[a,b]的一个开覆盖记为H.由有限覆盖定理可知存在H的一个有限子覆盖记为H1.所以H1只含有S中的有限多个点，这显然与SuH1是矛盾的，故可知假设错误,原命题成立. 定理5n定理6(聚点原理n柯西收敛准则) 证不妨设｛xn｝是无穷基本列，即有Ve0,BN0,使得Vm,nN有、一x」e.易证｛x｝有界.由聚点原理可知｛x｝至少有一个聚点eR,