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

实数连续性等价命题的证明与应用 摘要 实数连续性理论是高等数学中的主要内容,实数连续性的叙述是多种多样的,它们分别不同的侧面刻划了实数的连续性,但这些命题是彼此等价的. 本文主要研究实数连续性等价命题的证明问题,对于实数连续性的个等价性命题:确界定理、单调有界定理、区间套定理、有限覆盖定理、聚点定理、致密性定理、柯西收敛准则,采用循环论证,先证明确界定理成立，再从出发依次证明下一命题,最后由证明,从而组成一个环路,证明了它们的等价性 实数的连续性 and application for equivalent propositions of the real continuity ABSTRACT The paper discusses demonstration and application of the equal propositions on real number continuity. Equivalence of these seven theorems can be demonstrated by a circular. From the case 1 on, this paper demonstrate the next one in turn down, at the last, the proposition that extends from 7 to 1 to form a road that their equivalence. Keywords：The continuity ofquivalence demonstration; application 目录 一、实数连续性 1 二、确界定理 1 三、单调有界定理 3 四、区间套定理 4 五、有限覆盖定理 6 六、聚点定理 7 七、致密性定理 8 八、柯西收敛定理 8 参考文献 11 一、实数的连续性 实数连续性反映了实数集的一种特性，也称作实数的完备性. 实数连续性理论在高等数学中占有重要地位，广泛应用于极限理论方面,连续函数理论方面乃至整个数学分析,因此,实数连续性等价命题的内容,证明方法及应用是大学生应该掌握的重要学习内容. 实数连续性的叙述是多种多样的,它们分别不同的侧面刻划了实数的连续性,但这些命题是彼此等价的. 实数连续性的基本定理有七个,这七个定理在实数理论的研究乃至整个数学分析的学习中都至关重要，它们是:确界定理,数列的单调有界定理,区间套定理,有限覆盖定理,聚点定理,致密性定理,柯西收敛定理. 在下面的几节中，采用循环论证,先证明确界定理成立,再从出发,再利用单调有界定理证明区间套定理成立,接下来利用区间套定理证明有限覆盖定理成立,再接下来利用有限覆盖定理证明聚点定理成立,然后利用聚点定理证明致密性定理成立,再然后利用致密性定理证明柯西收敛准则成立,最后由证明,从而组成一个环路,证明了它们的等价性是非空数集.若满足 则称是数集的上确界，记作 定义2.1.2 设是非空数集.若满足 则称是数集的上（下）确界，记作 定理2.1(确界定理) 若非空数集有上界（下界）,则数集一定存在唯一的上确界（下确界）;若非空数集有下界,则数集一定存在唯一的下确界. 证明 只证明关于上确界的结论，下确界的结论可以类似地证明. 不妨设含有非负数.由于有上界,故可找到非负整数,使得 对于任何; 存在,使. 对半开区间作10等分,分点为则存在中的一个数,使得 对于任何有; 对于. 在随半开区间作10等分,则存在中的一个,使得 对于任何有; 对于. 继续不断地10等分在前一个步骤中所得到的半开区间,可知对任何存在中的一个数,使得 对于任何有; 对于. 将上述步骤无限地进行下去,得到实数.以下证明.为此只需证明: 对一切; 对任何. 倘若结论不成立,即存在,则可找到的位近似不足,使 , 从而得 , 但这与不等式相矛盾.于是得证. 现设则存在使的位近似不足,即 . 根据数的构造,存在使从而有 , 即得到.这说明成立. 说明（1）的上（下）界可能属于,也可能不属于,例如,则,而. 说明（2）:数集的上（下）界可能不存在.例如: ,则,而下确界不存在. 例2.1 设、为非空数集,满足:对一切和有.证明:数集有上确界，数集有下确界,且 . 证明 由假设,数集中任一数都是数集的上界, 中任一数都是的下界,故由确界原理推知数集有上确界, 有下确界. 对任意,是数集的一个上界,而由上确界的定义知, 是数集的最小上界,故有.而此式又表明数是数集的一个下界,故由下确界定义证得. 三、单调有界定理 定义3.1.1 若数列的各项满足关系式 , 则称为递增数列. 定义3.1.