五大实数基本定理的一种证明方法及应用.pdfVIP

维普资讯 第4卷 第 1期 广 东 轻 工 职 业 技 术 学 院 学 报 Vo1．4 NO．1 2005年 3月 J0URNAL 0F GUANGD0NG INDUSTRY TECHNICAL COLLEGE Mar． 2005 五大实数基本定理的一种证明方法及应用 邓卫兵 (株洲工学院 信息与计算科学系，湖南 株洲412008) 摘 要：以有限覆盖定理作为出发点来证明其它四条实数基本定理；讨论了改变定理条 件后可能产生的结果。 关键词：收敛；覆盖；极限；单调 中图分类号：01—64 文献标识码 ：A 文章编号：1672-1950(2005)01-0009-04 1 引言 列收敛于0，即lim(b一a)=0，则 区间的端点所成 的两数列 {a}及 {b}收敛于同一极限考，并且 考是 实数基本定理在整个数学分析中占有十分重要 所有 区间的唯一公共点 的地位，可以利用它们来证明许多其它的重要定理， 定理 3 (致密性定理)任一有界数列必有收 例如闭区间上连续函数的有界性定理，最大(小)值 敛子列 定理，零点存在定理等。关于实数基本定理的证 明 定理4 (确界原理)有上界 的非空数集必有 有许多种方法 ，可 以将其 中的任一条作为 出发点来 上确界 ，有下界 的非空数集必有下确界 证明其它几条。在复旦大学编的 《数学分析》上册 定理 5 单调有界数列必有极限 中把确界原理作为出发点，不加证明的承认下来 ，利 用它来证明 “单调有界数列必有极 限”，再 由此来证 3 定理的证 明 明区间套定理 ，然后利用 区间套定理证 明致密性定 理和有限覆盖定理。本篇论文把有限覆盖定理作为 3．1 用定理 1证明定理2 出发点，不加证明的承认下来，利用它来证区间套定 设 {[口，b]}是一区间套序列，满足(1)[口+。， 理和致密性定理，再用区间套定理证明确界原理 ，用 b ]c[口，b]，l=1，2，…(2) 致密性定理证明单调有界数列必有极限。然后改变 lim(b一口)求证：存在唯一的一点 EI[口，b] ． 定理的条件 ，讨论有何结果产生 ，并且举例说明定理 的应用 。 证 ：首先证 I[口，b]≠咖 反设 I[口，b]≠咖，令 G =(一∞ ，+∞)＼[口， 2 定理 的