71 关于实数集完备性的基本定理ppt.ppt

这就是说, [aN , bN] 被 H 中的一个开区间所覆盖, 开区间所覆盖. 矛盾. 区间 (0, 1). 很明显, H 中的任何有限个开区间均不 注 定理7.3中的闭区间不可以改为开区间. 能覆盖 (0, 1). 我们已经学习了关于实数完备性的六个定理, 它 三、实数完备性定理的等价性 确界定理 单调有界定理 区间套定理 下面证明这六个定理是等价的. 们是: 聚点定理 有限覆盖定理 柯西收敛准则 柯西收敛准则 区间套定理 聚点定理 确界定理 有限覆盖定理 单调有界定理 6 5 4 3 2 1 例3 用有限覆盖定理证明聚点定理. 证 设 S 是无限有界点集, 则存在 M 0, 使得 在上图的等价性关系中, 仅 和 尚未证明.这里 4 6 给出 的证明, 请大家自己阅读教材. 4 6 很明显, H 覆盖了闭区间 [ – M, M]. 根据有限覆盖 设开区间集 由H 的构造, 所以 矛盾. 定理, 存在 H 中的有限子覆盖 * * §1关于实数集完备性的基本定理  第七章 实数的完备性 在第一章与第二章中, 我们已经证明了实数集中的确界定理、单调有界定理并给出了柯西收敛准则. 这三个定理反映了实数的一种特性,这种特性称之为完备性. 而有理数集是不具备这种性质的. 在本章中, 将着重介绍与上述三个定理的等价性定理及其应用.这些定理是数学分析理论的基石. 一、区间套定理与柯西收敛定理 二、聚点定理与有限覆盖定理 三、实数完备性基本定理的等价性 定义1 定义1 中的条件1 实际上等价于条件 一、区间套定理与柯西收敛定理 定理7.1(区间套定理) 或者 证 由定义1 的条件1 可知, 数列{an}递增, 有上界 b1.所以由单调有界定理, 可知 {an} 的极限存在. 从而由定义1 的条件2 可得 因为 {an} 递增, {bn} 递减, 所以 下面来证明唯一性. 设 ?1 也满足 设 这样就证明了 的存在性. 证 由区间套定理的证明可得: 由极限的保号性, 对于任意正数 ? , 存在 N, 则任给? 0, 存在 N, 当 n ? N 时, 推论 设 {[an ,bn]} 是一个区间套, 注1 该推论有着很强的应用价值,请大家务必牢记. 注2 区间套定理中的闭区间若改为开区间, 那么结 论不一定成立. 例如对于开区间列 , 显然 即 但是定理1中的? 是不存在的, 这是因为 证明过程, 哪一步通不过? 的 作为区间套定理的应用, 下面来证明柯西收敛准 则,即证明数列 {an} 收敛的充要条件是: 对任意的 证 (必要性) 存在 N, ? 0, 由定理1的 推论， 定义2 设 S 为数轴上的非空点集, ? 为直线上的 一个定点(当然可以属于 S, 也可以不属于S). 若对 于任意正数 ? ,在 (?? ?, ? +?) 中含有S 的无限个点, 二、聚点定理与有限覆盖定理 则称? 是 S 的一个聚点. 即 为了便于应用,下面介绍两个与定义 2 等价的定义. 定义2? 定义2″若存在各项互异的收敛数列 下面简单叙述一下这三个定义的等价性. 若设 S 是 [0, 1]中的无理数全体, 则 S 的聚点集合 S? (称为 S 的导集) 为闭区间 [0, 1]. 定义2 ? 定义2? 由定义直接得到. 定义2? ? 定义2? 因为 那么 互异,并且 定义2??定义2 由极限的定义可知这是显然的. 定理7.2 (聚点定理) 实数轴上的任意有界无限点 集必有聚点. 我们再次使用区间套定理来证明聚点定理, 请务必 证 因为S为有界点集, 所以存在正数 M, 使 现将 [a1, b1] 等分为两个子区间 [a1, c1], [c1,b1], 中至少有一 个区间含有 S 的无限多个点. 记该区间为[a2, b2]. 要注意在区间套的构成中所建立的性质 (iii). 再将[a2, b2]等分为两个子区间. 同样至少有一个子 区间含有 S 的无限多个点, 将这个区间记为[a3, b3]. (iii) 每个闭区间[an, bn] 均含S 的无限多个点. 无限重复这个过程, 就可得到一列闭区间 所以由所建立的性质(iii) 这就证明了? 是 S 的一个聚点. 定理7.2 有一个非常重要的推论(致密性定理).该 定理在整个数学分析中,显得十分活跃. 证 设{xn}为有界数列, 若{xn} 中有无限项相等, 取 这些相等的项可成一个子列. 该子列显然是收敛 若数列{xn} 不含有无限多个相等的项, 则{xn}作