用有限覆盖定理证明实数完备性的几个定理.pdfVIP

第一章 前言 众所周知 , 极限的存在性问题是极限理论的首要问题 . 一个数列是否存在极 限不仅与数列本身的结构有关 , 而且与数列所在的数集密切相关 . 从运算的角度 来说 , 实数集关于极限的运算是封闭的 , 它反映了实数集的完备性 , 这是实数的 优点 . 因此 , 将极限理论建立在实数集之上 , 极限理论就有了坚实的基础 . 我们常常从实数系的连续性出发证明实数系的完备性 , 也可从实数系的完 备性出发去证明实数系的连续性 , 所以这两个关系是等价的 . 因此 , 我们也称实 数系的连续性为实数系的完备性 . 数学分析课程是高等学校数学专业的主要基础课程之一 , 更是高等师范学 校数学教育专业最主要的基础课程 . 在数学分析教材中 , 实数集的确界定理、单 调有界定理、 闭区间套定理、 柯西收敛准则、 聚点定理和有限覆盖定理通称为实 数的完备性定理 , 他们各自从不同的角度反映了实数的完备性或称为实数的连 续性 , 成为数学理论乃至数学分析坚实的基础 . 这六个基本定理是相互等价的 , 也就是说可以相互循环论证 . 在我们学过的刘玉琏等主编的数学分析讲义中 , 实 数完备性基本定理是从公理出发 , 首先运用公理证明了闭区间套定理 , 然后用前 一个定理为条件 , 证明了后一个定理的结论 , 它们依次是 : 确界定理、有限覆盖 定理、聚点定理、致密性定理、柯西收敛准则的充要性 , 最后再运用柯西收敛准 则的充要性证明了公理 （作为练习题）. 而在本文中把有限覆盖定理作为出发点 , 利用反证法和有限覆盖的思想来分别证明确界原理、 单调有界定理、区间套定理、 聚点定理、柯西收敛准则 . 下面我们就来阐述有限覆盖的定义和定理的内容 , 为后面的证明做铺垫 . 定义 1.2.1[ 2 ] 设 为数轴上的点集 , 为开区间的集合 , （即 的每一个元 S H H 素都是形如 ( , ) 的开区间） , 若 S 中任何一点都含在 H 中至少一个开区间内 , 则称 H 为 S 的一个开覆盖 , 或称 H 覆盖 S . 若 H 中开区间的个数是无限（有限） 的, 则称 H 为 S 的一个无限开覆盖（有限开覆盖） . 定理 1.2.1[2] （有限覆盖定理）设 H 为闭区间 [ a, b] 的一个 （无限）开覆盖 , 则 从 H 中可选出有限个开区间来覆盖 [ a, b] . 第二章 有限覆盖定理证明实数完备性的其它定理 用有限覆盖定理证明确界定理 本节主要运用有限覆盖定理证明确界定理 , 首先给出确界的定义和定理如 下 : 定义 2.1.1[ 2] 有非空的数集 E , 如果存在 , 有下列性质 : （1）对任意 x