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