完备性定理确界原理致密性定理有限覆盖定理戴德金分割定理1.PPT

* 第八讲 实数的基本定理 一、基本概念和基本理论 基本概念有五个 确界、子列、聚点、覆盖、区间套 实数连续性定理有六个 数列的单调有界定理 区间套定理 数列的Cauchy收敛准则（完备性定理） 确界原理 致密性定理 有限覆盖定理 戴德金分割定理 1、区间套定理 定义一 若闭区间列 满足： （1） （2） 称此闭区间列为闭区间套，或简称区间套。 注： 定理 (区间套定理) 若 为一区间套,则 唯一一点 , 即 2、确界原理 3、聚点定理 定义2 设S为数轴上的点集， 为定点.若在 的任何领域内都含有S中无穷多个点，则称 为S的一个聚点。 ξ ξ ξ 定义 若 的任何空心领域都含有S中的点， 则称 为S的一个聚点，即 聚点。 无限点集S至少有一个 实轴上的任一有界 理） （魏尔斯特拉斯聚点定 b]。 a, 到有限个开区间覆盖[ 则从H中能找 个(无限)开覆盖, 闭区间[a，b]的一 设H为 盖定理) (海涅－博雷尔有限覆 ）限开覆盖。 则H为S的一个有（无 无）限个， 盖，若H中元素是有（ 则称H是S的一个开覆 ， H中至少一个开区间内 若S中任何一点都含在 区间）， 是形如（α，β）的开 （即H的每一个元素都 H为开区间集合 设S为数轴上的点集， } | { 0 0 0 的一个无限开覆盖。 ） ， 为（ ） ， （ ） ； （ 例如： b a b a x x x 蝳 + - d d 数列的单调有界定理 利用构造法 区间套定理 利用 单调有界定理 数列的Cauchy收敛准则（完备性定理） 确界原理 聚点定理 有限覆盖定理 后面四个都是利用区间套定理 部分定理的证明方法 闭区间上连续函数性质的证明 区间套定理 用致密性定理证明 二、习题类型与其解题方法 1、根据概念证题 2、根据实数的连续性定理证题 3、计算上下确界 1、根据概念证题，扣住概念证明 各类习题解法如下： 2、根据实数的连续性定理证题的关键是定理的适用范围 单调有界定理与完备性定理： 适用证明数列极限存在性问题 确界定理：适用于非空有上界的数集或非空有下界的数集，特别是对于不具有连续性的函数的题目 有限覆盖定理： 适用于要证在区间[a,b]上具有性质P,而已知或可证出[a,b]上每一点的邻域也具有性质P 聚点定理： 适用于有界无限数集，或与数列极限有关的问题 致密性定理： 适用于有界数列，或与数列极限有关的问题 区间套定理：　适用于要证在区间[a,b]上具有性质P,对[a,b]二等份后的某个子区间也具有性质P ３、计算上确界、下确界的方法 　最大小值法，　若数集S有最大值和最小值，则上下确界也就确定了 　定义法：　若数集S没有最大小值，　则上下确界定义证明 　极限法：　单调递增数列的正常极限或非正常极限为该数列的正常或非正常上确界；单调递减数列的正常极限或非正常极限为该数列的正常或非正常下确界 ４、关于实数理论中的构造法证明问题 　构造数列、子列法 　－－－根据定义（确界定义、子列定义）、根据定理（致密性定理等）、根据题目或根据需要而构造数列、子列及收敛子列、无穷大量子列等 　构造区间套法 　－－－多采用二等份区间而构造区间套法 　构造开覆盖法 　－－－多采用点的邻域的集而构造开覆盖 方法：　由致密性定理找出一个子列，再在另一个数列中取出具有同样下标的子列 余下的证明留作练习 　　构造子列的方法 　　构造收敛子列的方法 　　构造无穷大子列的方法 *