华东师范大学数学分析第四版.pptVIP

后页 前页 在第一章与第二章中 , 我们已经证明了实 数集中 的 确界定理、单调有界定理、柯西收 敛准则、致密性定理 . 这几个定理反映了实数 的一种特性 , 这种特性称之为 完备性 . 而有理 数集是不具备这种性质的 . 在本章中 , 将着重 介绍与上述四个定理的等价性定理及其应用 . 这些定理是数学分析理论的基石 . § 1 关于实数集完备性的基本定理 返回 返回 后页 前页 一、区间套定理 二、聚点定理与有限覆盖定理 三、实数完备性基本定理的等价性 返回 后页 前页 定义 1 n n a b {[ , ]} : 设闭区间列 满足如下条件 1 1 1. [ , ] [ , ] , 1, 2, , n n n n a b a b n ? ? ? ? L 2. lim( ) 0 , n n n b a ?? ? ? {[ , ]} , . n n a b 则称 为闭区间套 简称 区间套 定义 1 中的条件 1 实际上等价于条件 1 2 2 1 . n n a a a b b b ? ? ? ? ? ? ? ? L L L 一、区间套定理 返回 后页 前页 ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? n n a a a a 1 2 1 L L ? n n b b b b 1 2 1 L L 定理 7.1 ( 区间套定理 ) {[ , ]} , n n a b 若 是一个区间套 , ? 则存在唯一的实数 使 [ , ], 1, 2, , n n a b n ? ? ? L 或者 . ] , [ } { 1 ? ? ? ? n n n b a ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? x ? lim lim . n n n n a b ? ?? ?? ? ? 注： 返回 后页 前页 [ , ] ( ; ). n n a b U ? ? ? 则任给 ? 0, 存在 N , 1, 2, . n ? L 当 n ? N 时 , 推论 设 {[ a n ,b n ]} 是一个区间套 , [ , ], n n a b ? ? 注 1 该推论有着很强的应用价值 , 请大家务必牢记 . 注 2 区间套定理中的闭区间若改为开区间 , 那么结 论不一定成立 . 例如对于开区间列 , 显然 1 0 n ? ? ? ? ? ? ? ? ? ? ? ? ， 返回 后页 前页 但是定理 1 中的 ? 是不存在的 , 这是因为 1 1 0, . n n ? ? ? ? ? ? ? ? ? ? I 1 1 1. 0, 0, , 1, 2, , 1 n n n ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? L 1 2. lim 0 0. n n ?? ? ? ? ? ? ? ? ? 例 1. 用区间套定理证明 连续函数根的存在性定理 返回 后页 前页 定义 2 设 S 为数轴上的非空点集 , ? 为直线上的 一个定点 ( 当然可以属于 S , 也可以不属于 S ). 若对 于任意正数 ? , 在 ( ?? ? , ? + ? ) 中含有 S 的无限个点 , 1 0 S n ? ? ? ? ? ? ? 比如 : 是 的一个聚点 ; 二、聚点定理与有限覆盖定理 则称 ? 是 S 的一个 聚点 . U S ( ; ) , ? ? ? I 无限集 即 1 1, 1 ( 1) . n S n ? ? ? ? ? ? ? ? ? ? 是 的两个聚点 返回 后页 前页 为了便于应用 , 下面介绍两个与定义 2 等价的定义 . S R R , . 0, ? ? ? ? ? ? ? 设 若对于任意 定义 2 ? 定义 2″ 若存在各项互异的收敛数列 , } { S x n ? . lim 的一个聚点 称为 那么极限 S x n n ? ? ? ? 下面简单叙述一下这三个定义的等价性 . 若设 S 是 [0, 1] 中的无理数全体 , 则 S 的聚点集合 ( ; ) , . U S S ? ? ? ? ? o I 那么称 是 的一个聚点 为闭区间 [0 , 1]. 返回 后页 前页 定义 2 ? 定义 2 ? 由定义直接得到 . 定义 2 ? ? 定义 2 ? 因为 0,