第七章 实的完备性.docVIP

第七章 实数的完备性 §1 关于实数集完备性的基本定理 教学目的与要求： 1）进一步加深对实数集上下确界、数列的子列以及函数在一区间上一致连续等重要概念的理解，为掌握本章有关内容做好准备； 2）掌握区间套、聚点等重要概念； 3）熟练掌握确界原理、单调有界定理、柯西准则和区间套定理、聚点定理、有限覆盖定理，明确定理的条件和结论，准确地加以表述，并深刻理解其实质意 4）能应用聚点定理和有限覆盖定理证明闭区间上连续函数的基本性质和一些有关的命题，从而掌握应用聚点定理和有限覆盖定理进行分析论证的方法，显著提高学生的分析论证能力。 教学重点，难点： 熟练掌握确界原理、单调有界定理、柯西准则和区间套定理，明确定理的条件和结论，准确地加以表述，并深刻理解和掌握其证明思想；应用聚点定理和有限覆盖定理证明闭区间上连续函数的基本性质和一些有关的命题，从而掌握应用聚点定理和有限覆盖定理进行分析论证的方法, 提高学生的分析论证能力 教学内容： 一 区间套定理与柯西收敛准则 定义1 设闭区间列 SKIPIF 1 0 具有如下性质： （i） SKIPIF 1 0 (ii) SKIPIF 1 0 , 则称 SKIPIF 1 0 为闭区间套，或简称区间套． 这里的性质（i）表明，构成区间套的闭区间列是前一个套着后一个，即各闭区间的端点满足如下不等式： SKIPIF 1 0 　　　　　　　　　(1) 定理7.1（区间套定理）　若 SKIPIF 1 0 是一个区间套，则在实数系中存在唯一的一点 SKIPIF 1 0 ，使得 SKIPIF 1 0 即 SKIPIF 1 0 　　　　　　　　　　　　　　　　（２） 分析 即要证明闭区间列 SKIPIF 1 0 有唯一的公共点，所以首先我们要至少找到一个公共点，由（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 也有极限，并按区间套的条件（ii）有 SKIPIF 1 0 ，　　　　　　　　　　　　　　　　　（４） 且 SKIPIF 1 0 　　　　　　　　　　　　　　　　　　　（５） 联合（3）、（5）即得（2）式 最后证明满足（2）的 SKIPIF 1 0 是唯一的．设数 SKIPIF 1 0 也满足 SKIPIF 1 0 则由（２）式有 SKIPIF 1 0 由区间套的条件（ii）得 SKIPIF 1 0 故有 SKIPIF 1 0 　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　□ 注1　区间套定理中要求各个区间都是闭区间，才能保证定理的结论成立．对于开区间列，有可能不成立，如 SKIPIF 1 0 ，虽然其中各个开区间也是前一个包含后一个，且 SKIPIF 1 0 ，但不存在属于所有开区间的公共点． 注2 应用区间套定理的关键是针对要证明的数学命题， 恰当地构造区间套。一方面，这样的区间套必须是闭、缩、套，即闭区间列 SKIPIF 1 0 满足（i） SKIPIF 1 0 (ii) 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