1实数集的完备性的基本定理 闭区间上连续函数性质的证明.docVIP

第七章 实数的完备性 §1 关于实数集完备性的基本定理 (一) 教学目的： 理解区间套定理,聚点定理,致密性定理,有限覆盖定理的条件和结论.理解这些定理的含意及关系,了解各定理的证明思路． (二) 教学内容：区间套定理、柯西判别准则的证明；聚点定理；有限覆盖定理． (三) 基本要求： (1) 掌握和运用区间套定理、致密性定理． (2)掌握聚点定理和有限覆盖定理的证明与运用． (三) 教学建议： 本节的重点是区间套定理和致密性定理．教会学生在什么样情况下应用区间套定理和 致密性定理以及如何应用区间套定理和致密性定理． (2) 本节的难点是掌握聚点定理和有限覆盖定理．教会较好学生如何应用聚点定理和有限覆盖定理． —————————————————————————————— 一 区间套定理与柯西收敛准则 定义1 区间套: 设 SKIPIF 1 0 是一闭区间序列. 若满足条件 ⅰ） 对 SKIPIF 1 0 , 有 SKIPIF 1 0 SKIPIF 1 0 SKIPIF 1 0 , 即 SKIPIF 1 0 , 亦即 后一个闭区间包含在前一个闭区间中; ⅱ） SKIPIF 1 0 SKIPIF 1 0 . 即当 SKIPIF 1 0 时区间长度趋于零. 则称该闭区间序列为闭区间套, 简称为区间套 . 区间套还可表达为: SKIPIF 1 0 SKIPIF 1 0 SKIPIF 1 0 . 我们要提请大家注意的是, 这里涉及两个数列 SKIPIF 1 0 和 SKIPIF 1 0 , 其中 SKIPIF 1 0 递增, SKIPIF 1 0 递减. 例如 SKIPIF 1 0 和 SKIPIF 1 0 都是区间套. 但 SKIPIF 1 0 、 SKIPIF 1 0 和 SKIPIF 1 0 都不是. 区间套定理 Th7.1(区间套定理) 设 SKIPIF 1 0 是一闭区间套. 则在实数系中存在唯一的点 SKIPIF 1 0 , 使对 SKIPIF 1 0 有 SKIPIF 1 0 SKIPIF 1 0 . 简言之, 区间套必有唯一公共点. 二 聚点定理与有限覆盖定理 定义 设 SKIPIF 1 0 是无穷点集. 若在点 SKIPIF 1 0 (未必属于 SKIPIF 1 0 )的任何邻域内有 SKIPIF 1 0 的无穷多个点, 则称点 SKIPIF 1 0 为 SKIPIF 1 0 的一个聚点. 数集 SKIPIF 1 0 = SKIPIF 1 0 有唯一聚点 SKIPIF 1 0 , 但 SKIPIF 1 0 ; 开区间 SKIPIF 1 0 的全体聚点之集是闭区间 SKIPIF 1 0 ; 设 SKIPIF 1 0 是 SKIPIF 1 0 中全体有理数所成之集, 易见 SKIPIF 1 0 的聚点集是闭区间 SKIPIF 1 0 . Th 7.2 ( Weierstrass ) 任一有界数列必有收敛子列. 2. 聚点原理 : Weierstrass 聚点原理. Th 6 每一个有界无穷点集必有聚点. 三 实数完备性基本订立的等价性 证明若干个命题等价的一般方法. 本节证明七个实数基本定理等价性的路线 : 证明按以下三条路线进行: Ⅰ: 确界原理 SKIPIF 1 0 单调有界原理 SKIPIF 1 0 区间套定理 SKIPIF 1 0 Cauchy收敛准则 SKIPIF 1 0 确界原理 ; Ⅱ: 区间套定理 SKIPIF 1 0 致密性定理 SKIPIF 1 0 Cauchy收敛准则 ; Ⅲ: 区间套定理 SKIPIF 1 0 Heine–Borel 有限复盖定理 SKIPIF 1 0 区间套定理 . 一. “Ⅰ” 的证明: (“确界原理 SKIPIF 1 0 单调有界原理”已证明过 ). 用“确界原理”证明“单调有界原理”: Th 2 单调