实数连续性等价命题的证明与应用.docxVIP

实数连续性等价命题的证明与应用 摘要 实数连续性理论是高等数学屮的主要内容，实数连续性的叙述是多种多样的，它们分 别不同的侧面刻划了实数的连续性，但这些命题是彼此等价的. 本文主要研究实数连续性等价命题的证明问题，对于实数连续性的7个等价性命题:确 界定理、单调有界定理、区间套定理、有限覆盖定理、聚点定理、致密性定理、柯西收敛 准则，采用循环论证的方法，先证明确界定理成立，再从确界定理出发,依次证明下一命题, 直至致密性定理证明柯西收敛准则，最后柯西收敛准则证明确界定理，从而组成一个环 路，证明了它们的等价性. 在实数连续性等价命题的证明过程的同时，本文还给岀了实数连续性的应用. 关键词：实数的连续性;等价证明;应用 The proof and application for equivalent propositions of the real continuity ABSTRACT The paper discusses demonstration and application of the equal propositions on real nu mber continu ity. Equivale nee of these seven theorems can be dem on strated by a circular. From the case 1 on, this paper dem on strate the n ext one in turn down, at the last, the propositi on that exte nds from 7 to 1 to form a road that their equivalence. Keywords: The conti nuity of real nu mber; equivalence dem on strati on; applicatio n 目录 TOC \o 1-5 \h \z \o Current Document 一、 实数连续性 1 \o Current Document 二、 确界定理 1 \o Current Document 三、 单调有界定理 3 \o Current Document 四、 区间套定理 4 \o Current Document 五、 有限覆盖定理 6 \o Current Document 六、 聚点定理 7 \o Current Document 七、 致密性定理 8 八、 柯西收敛定理 8 \o Current Document 参考文献 11 一、实数的连续性 实数连续性反映了实数集/?的一种特性，也称作实数的完备性.实数连续性理论在高等数学中占 有重要地位，广泛应用于极限理论方面，连续函数理论方面乃至整个数学分析，因此，实数连续性等价命 题的内容，证明方法及应用是大学生应该掌握的重要学习内容.实数连续性的叙述是多种多样的，它们 分别不同的侧面刻划了实数的连续性,但这些命题是彼此等价的. 实数连续性的基本定理有七个，这七个定理在实数理论的研究乃至整个数学分析的学习中都至关重 要，它们是:确界定理,数列的单调有界定理，区间套定理，有限覆盖定理，聚点定理，致密性定理，柯西收敛定 理. 在下面的几节中，采用循环论证的方法，先证明确界定理成立，再从确界定理出发，利用确界定理证 明数列的单调有界定理成立，再利用单调有界定理证明区间套定理成立，接下来利用区间套定理证明有 限覆盖定理成立，再接下来利用有限覆盖定理证明聚点定理成立，然后利用聚点沱理证明致密性定理成 立，再然后利用致密性定理证明柯西收敛准则成立，最后由柯西收敛准则证明确界定理成立，从而组成一 个环路，证明了它们的等价性. 二确界定理 定义2.1.1设E是非空数集.若/?€ R满足 1） Vxe E^x 0; 2） V^O,3xog 则称0是数集E的上确界，记作 0 = sup E. 定义2.1.2设E是非空数集.若0W/?满足 1） Vxg E^x 0; 2） V^O,3xog 则称0是数集￡的上（下）确界，记作 0 = inf E. 定理2. 1（确界定理）若非空数集S有上界（下界），则数集S—定存在唯一的上确界（下确界）； 若非空数集S有下界，则数集S —定存在唯一的下确界. 证明 只证明关于上确界的结论，下确界的结论可以类似地证明. 不妨设S含有非负数.由于S有上界，故可找到非负整数n，使得 1） 对于任何xg S有x v n + 1; 2） 存在 a。g S，使 q n. 对半开区间肚刃+ 1）作10等分，分点为h.1,h.2,???,/!.9,则存在0,1,2,…,9中的一个数?，使得 1） 对