实数系基本定理等价性.pdfVIP

第 26卷 　第 4 期 河 北 理 工 学 院 学 报 Vo l26　No4 2004 年 11月 Journa l of Hebe i In stitute of Technology Nov. 2004 文章编号 : 1007 - 2829 (2004) 04 - 0070 - 05 实数系基本定理的等价性 田立平 , 李洪齐 (河北理工大学 理学院 , 河北 唐山 063009) 关键词 : 实数系 ; 连续性 ; 等价性 摘 　要 : 实数系 7个基本定理是描述实数系连续性的不同数学表达形式 , 又是以后函数连续 性质证明的理论基础 。从有限覆盖定理出发 , 按有限覆盖定理 聚点定理 致密性定理 柯 西收敛准则 确界定理 单调有界定理 闭区间套定理 有限覆盖定理的顺序 , 证明了他们 之间的等价性 , 从而给出等价性证明的一种新方法 。 中图分类号 : O 174　　文献标识码 : A 1　用有限覆盖定理来证明聚点定理 11　定理内容 ( 1) : 有限覆盖定理 : 若开区间集 S 覆盖闭区间 [ a, b] , 则 S 中存在有限个开区间也覆盖闭区间 [ a, b] 。 (2) : 聚点定理 : 数轴上有界无限点集 E至少有一个聚点 。 12　定理证明 证明: 已知无限点集 E 有界 , 设 a 和 b分别是 E 的下界和上界 , 从而 , 有 E [ a, b] 。假设结论不 成立 , 既闭区间 [ a, b] 的任意一点都不是 E 的聚点 。 x [ a, b] , 因为 x 不是 E 的聚点 , 所以 ε x ( ε) ( ) 0, 使 ∪ x, x 中只含有 E 的有限多个点 也可能没有 E 的点 。这样 , 构造了开区间集 ( ε) S = { ∪ x, x | x [ a, b] } 显然 , 开区间集 S 覆盖闭区间 [ a, b ] , 根据有限覆盖定理 , S 中存在有限个开区间 , 设有 n 个开区间 ( ) 邻域 ( ε) ( ε) ( ε) ∪ x , , ∪ x , , …, ∪ x , 1 x 1 2 x 2 n x n ( ) 也覆盖闭区间 [ a, b] , 当然也覆盖无限点集 E 。因为每个闭区间 邻域 只含有 E 的无限多个点 ,