再论实数系完备性相关定理证明.docVIP

学生研究与讨论 -------关于实数系完备性相关定理等价性的研究 实数系完备性相关定理的新证法 郎风华 （重庆邮电学院，重庆 400065） 摘要：本文首先论证柯西收敛准则，然后由此出发依次论证实数系的其它六个基本定理，并最终形成一个完美的论证“环”。同时文中指出并验证有理数集不具有完备性。 关键字：实数；完备性；柯西收敛准则；区间套定理；致密性定理；有限覆盖定理；聚点定理 1 　引言 实数系的完备性是实数的一个重要特征，与之相关的七个基本定理（确界存在定理、单调有界定理、区间套定理、致密性定理、聚点定理、闭区间有限覆盖定理以及柯西收敛准则）是彼此等价的，它们从不同的角度刻划了实数系的完备性或连续性，并且它们是论证其它一些重要定理和规则的依据，如一致连续性定理等。因此在理论上具有重要价值。传统的论证方法一般是假定某一定理成立（如假定确定存在定理），然后在此基础论证其它的定理，这种论证本身具有不严谨性和不可靠性；还有论证方法是从Dedekind切割定理入手，然后论证确界存在定理，但这又带来了一个问题—如何证明戴德金特连续性公理（Dedekind切割定理，这个定理是戴德金特等人在用有理数构造实数的工作出给出的证明，但定理的证明相当繁琐且难懂）。柯西收敛准则给出了极限存在的充要条件，在理论上具有重要价值。笔者就从柯西收敛准则的证明入手，避开了证明戴德金特连续性公理等实变函数的内容，从而使问题得以巧妙的解决。本文的论证流程如下图所示： 438 4 3 8 7 6 5 2 1 确界存在定理 单调有界定理 Start 区间套定理 致密性定理 聚点定理 有限覆盖定理 柯西收敛准则 　　　　　　　　　　 图1　实数完备性论证流程图 2 　实数系完备性相关定理的论证 2.1 柯西收敛准则　 柯西收敛准则：数列｛xn｝R收敛的充要条件是： 0，N∈N+, n,mN有|xn–xm| 。 我们把满足上述条件的数列叫做Cauchy列或基本列。 柯西收敛准则还可表述为：数列｛xn｝R收敛的充要条件是： 0，N∈N+, nN及p∈N+ 有|xn+p–xn| 。 柯西收敛准则的可直观的理解为：收敛数列｛xn｝当n充分后大后，其后的任何两项xn和xn＋1是无限接近的，或者说其值趋于稳定，这个稳定值就是数列｛xn｝的极限。 证明：①充分性：令|xm–a|=|xn–a|,其中a∈R, 为一正数，则0，N,n,mN有 　　　　若＞1，则|xm–a|-|xn–a|=(-1)|xn–a|，由三角不等式知|xm–a|-|xn–a|≤|xn–xm|＜，(-1)|xn–a|＜|xn–a|＜，由极限的定义知数列｛xn｝收敛，且。 　　　　若＜1，则|xn–a|-|xm–a|=(1-)|xn–a|，由三角不等式知|xn–a|-|xm–a|≤|xn–xm|＜，(1-)|xn–a|＜|xn–a|＜，由极限的定义知数列｛xn｝收敛，且。 若=1，则xn+xm=2a或者xn=xm.若xn+xm=2a，则|xn–xm|＝2|xn–a||xn–a|＜,同理由极限定义知｛xn｝收敛。，其极限也为a；若xn=xm，|xn–xm|＝0，此式显然成立（＞0），故可知其极限就是xn（或xm）,这一点由极限的稳定性理论也容易看出： 当n,mN时，其值已经不再变化了，即达到了稳态。 ②必要性：数列｛xn｝收敛，不妨设其极限值为a，即，则由数项极限收敛的定义知，0，N,n,mN时，有|xn–a|，|xm–a|，由三角不等式得， |xn–xm|＝|(xn–a)-(xm-a)|≤|xn–a|+|xm–a|＜+=。　　　　　　　　 　　　　综上知，柯西收敛准则成立。　　　　　　　　　　　　　　　　　　　　　　　　　　　　□ 　　柯西收敛准则表明实数列｛xn｝必存在实数极限，这一性质集中体现了实现了实数系的完备性，但是有理数集并不具有这种完备性：如是由有理数构成的集合，但＝?e，而e是无理数。从而说明Cauchy收敛准则在有理数集中不成立。　　　　　　　　　　　　　　　　　　　　　　　　 2.2柯西收敛准则 确界存在定理 上确界的定义：数集S的最小上界称为数集S的上确界，记作=sups。 上确界的等价定义1：需满足(Ⅰ),x；(Ⅱ),,使得。 上确界的等价定义2：需满足(Ⅰ),x；(Ⅱ),,使得。 有上述类似的方法可定义下确界。 确界存在定理：有上（下）界的非空实数子集必有上（下）确界。 对于无上界（或下界）的数集S，一般规定其上下确界分别为和，即supS=,infS=。 证明：不妨设b1是非空实数集S的一个上界。实数集S非空，故任取a1S，有a1＜b1,现把闭区间[a1,b1]两等分，若区间[a1,