实数系完备性基本定理的循环证明.pdfVIP

维普资讯 第23卷第3期 重庆工商大学学报 (自然科学版) 2006年6月 Vo1．23 No．3 JChongqingTechnolBusinessUniv．(NatSciEd) Jun．2006 文章编号：1672—058X(2006)03—0219—05 实数系完备性基本定理的循环证明 庄 陵 。，唐贤伦2；，王 东。，张金荣。 ． (1．重庆邮电学院 通信学院。重庆 400065；．重庆邮电学院 自动化学院，重庆 400065； 3．重庆大学 自动化学院。重庆 4ooo44) 摘 要t在柯西收敛准则的基础上，链式论证了实数系的其他6个基本定理，并最终形成一 个完美的论证 “环”，体现 了数学论证之美；指出了有理数集不具有完备性 ． 关键词：实数；完备性；柯西收敛准则；区间套定理；致密性定理；有限覆盖定理；聚点定理 中图分类号：O141．2 文献标识码：A 实数系的完备性是实数的一个重要特征，与之相关的7个基本定理是彼此等价的，并且是论证其他 一 些重要定理(如一致连续性定理等)的依据，它们从不同的角度刻画了实数系的完备性，因此在理论上 具有重要价值．传统的论证方法一般是假定某一定理成立，然后在此基础上论证其他的定理，这种论证 本身具有不严谨性和不可靠性；还有论证方法是从Dedekind切割定理人手，然后论证确界存在定理，但这 又带来了一个问题：如何证明戴德金特连续性定理(Dedekind切割定理，是戴德金特等人在用有理数构造 实数的工作中给出的证明，但定理的证明相当繁琐且难懂)．从柯西收敛准则人手，避开了证明戴德金特 连续性定理等实变函数的内容，从而使问题得以巧妙解决，论证流程如图1所示 ． 图 1 实数完备性论证流程图 1 柯西收敛准则到区间套定理的推证 区间套定理(Cantor区间套定理) 设[a，b]，rt=1，2，…是一列有界闭区间，满足(I)VndV，有a ≤Ⅱ+。b+。b，即[Ⅱ+1，b+1]c [Ⅱ，b]；(Ⅱ)Iim (b一Ⅱ)=0．则 j c尺使得Iimb =li 口= 且 是一切闭区间的惟一公共点：r_l[ ，b]= {}．满足上述2个条件的闭区间列称为区间套 ． ， ． 证明 不妨设{[a，b]}是一列闭区间，满足如下两个条件：(1)[a川，b ]c [a，b]，rt=1，2，…； (2)lira (b 一a)=0．设m，z，则0≤a 一a b一 _+0(_+∞)，所以数列[口]是一基本数列． 从而由柯西收敛准则得：liraa = lirab =lim(b一a+an)=lim(b一Ⅱ)+lima =毒 由于数列 [a]单调增加，数列 {b}单调减少，可知 是属于所有闭区间[a，b](rt=1，2，…)的惟一实数，从而区 间套定理得证 ．下面证明闭区间套的公共点是惟一的． 若 j (≠ )也属于所有的闭区间[Ⅱ，b]，则0I — Ib一Ⅱ，当，l∞时，li (b一Ⅱ) l — l0，这与条件(Ⅱ)矛盾，即区间套的公共点是惟一的． 区间套定理由一个闭区间套来确定惟一的点 ，其核心思想是把整体的性质收缩到局部(某点的邻 收稿 日期 ：2005—10—08；修回日期：2005—12—26． 基金项 目：重庆邮电学院青年教师科技基金项目。项 目编号(A2005—2o)． 作者简介：庄陵(1978一)，女，重庆南岸区人。讲师，博士研究生，从事通信与信息系统研究 维普资讯 220 重庆工商大学学报(自然科学版) 第23卷 域)．当把区间套定理中的无限闭区间序列 {[a，b]}换成开区间序列