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

学生研究与讨论 -------关于实数系完备性相关定理等价性的研究 实数系完备性相关定理的新证法 郎风华 （重庆邮电学院，重庆 400065） 摘要：本文首先论证柯西收敛准则，然后由此出发依次论证实数系的其它六个基本定理，并最终形成一个完美的论证“环”。同时文中指出并验证有理数集不具有完备性。 关键字：实数；完备性；柯西收敛准则；区间套定理；致密性定理；有限覆盖定理；聚点定理 1 　引言 实数系的完备性是实数的一个重要特征，与之相关的七个基本定理（确界存在定理、单调有界定理、区间套定理、致密性定理、聚点定理、闭区间有限覆盖定理以及柯西收敛准则）是彼此等价的，它们从不同的角度刻划了实数系的完备性或连续性，并且它们是论证其它一些重要定理和规则的依据，如一致连续性定理等。因此在理论上具有重要价值。传统的论证方法一般是假定某一定理成立（如假定确定存在定理），然后在此基础论证其它的定理，这种论证本身具有不严谨性和不可靠性；还有论证方法是从Dedekind切割定理入手，然后论证确界存在定理，但这又带来了一个问题—如何证明戴德金特连续性公理（Dedekind切割定理，这个定理是戴德金特等人在用有理数构造实数的工作出给出的证明，但定理的证明相当繁琐且难懂）。柯西收敛准则给出了极限存在的充要条件，在理论上具有重要价值。笔者就从柯西收敛准则的证明入手，避开了证明