关于实数集完备性的基本理.docVIP

第七章 实数的完备性 §1 关于实数集完备性的基本定理 教学目的与要求： 1）进一步加深对实数集上下确界、数列的子列以及函数在一区间上一致连续等重要概念的理解，为掌握本章有关内容做好准备； 2）掌握区间套、聚点等重要概念； 3）熟练掌握确界原理、单调有界定理、柯西准则和区间套定理、聚点定理、有限覆盖定理，明确定理的条件和结论，准确地加以表述，并深刻理解其实质意 4）能应用聚点定理和有限覆盖定理证明闭区间上连续函数的基本性质和一些有关的命题，从而掌握应用聚点定理和有限覆盖定理进行分析论证的方法，显著提高学生的分析论证能力． 教学重点，难点： 熟练掌握确界原理、单调有界定理、柯西准则和区间套定理，明确定理的条件和结论， 准确地加以表述，并深刻理解和掌握其证明思想；应用聚点定理和有限覆盖定理证明闭区间上连续函数的基本性质和一些有关的命题，从而掌握应用聚点定理和有限覆盖定理进行分析论证的方法，提高学生的分析论证能力 教学内容： 一 区间套定理与柯西收敛准则 定义1 设闭区间列具有如下性质： （i） 后一个区间包含在前一个区间内 ； ii （区间长度收敛于0）， 则称为闭区间套，或简称区间套． 注：由（i），即递增有上界， 递减有下界． 注： 闭区间套有三个条件：（1）后一个区间包含在前一个区间内（递增，递减），（2）区间长度收敛于0，（3）闭区间． 例：，是闭区间套，不是闭区间套，因为不是递增，不是闭区间套，因为区间长度不收敛于0，不是闭区间套，因为不是闭区间． 定理7．1（区间套定理）若是一个区间套，则在实数系中存在唯一的一点，使得即 ，且． 证：（存在性） 由（i）递增有上界，依单调有界定理（单调递增有上界的数列的极限是上确界）有极限，且有 ． 同理，递减有下界的数列也有极限，并由区间套的条件（ii）有 ， 且由单调递减有下界的数列的极限是下确界知．则． （唯一性） 设也满足， 且由有，． 再由区间套的条件（ii）得 故有．　 推论　若是区间套所确定的点，则对，，使得当时有． 证： ，，， ，，， ，，， ，，， 则，即． 注　区间套定理中要求各个区间都是闭区间，才能保证定理的结论成立．对于开区间列，有可能不成立，如，虽然其中各个开区间也是前一个包含后一个，且，但只有数0可以作为，但0不属于该区间． 注 对于开区间列有下列结果： 设是一个严格开区间套，即满足 , 且．则存在唯一的一点，使得 证 （存在性）由知严格递增有上界，依单调有界定理知，有极限，且有，其中等号不能成立，不然，若有，因为严格递增，必有，矛盾，故，同理递减有下界的数列也有极限，且 ，． （唯一性） 设也满足， 且由有，． 再由区间套的条件（ii）得 故有．　 注 区间套中的 ii 的作用是保证公共点唯一． 思考 若,但,此时应有什么结论呢？ 答 由知递增有上界，依单调有界定理知，有极限，且有．同理，递减有下界的数列也有极限，且，又因为，由极限保不等式性与知，则对任意的，只要，就有属于所有的闭区间． 注 应用区间套定理的关键是针对要证明的数学命题，恰当地构造区间套．一方面，闭区间列满足（i） ii ，唯一存在公共点；后者则把证明整个区间上所具有某性质的问题归结为点邻域的性质，完满实现“整体”向“局部”的转化． 作为区间套定理的应用，我们来证明第二章中叙述而未证明的＂数列的柯西收敛准则＂（定理2．10），即 数列收敛的充要条件是：对任给的，存在，使得对有． 注：称对任给的，存在，使得对有这个条件为柯西条件，并称满足柯西条件的数列为柯西列． 分析 由数列收敛定义易证得必要性；要使用区间套定理证明充分性，关键是如何构造合适的区间套，使其公共点正好是数列的极限． 首先要找出收敛的本质属性： 收敛于，存在，使得对有 ，存在，使得对有 ，存在，使得对有 即从项向后的所有的，也就是中除了有限项（至多是的到这些项）外的所有项都含在中，这就是本质属性． 然后对柯西列构造一个区间套，套出公共点，恰为的极限，其中每个区间套应包含除有限项外的所有项． 最后用推论：除有限项外的所有项，即包含除有限项外的所有项，即就是极限点． 证： （必要性） 设由数列极限定义， 对任给的，存在，当时有 因而 ． （充分性） 按假设，对任给的，存在，使得对一切，（取）有，即从项向后的所有的，也就是中除了有限项（至多是的到这些项）外的所有项都含在中，即在区间内含有中除有限项外的所有项． （构造区间套的方法：有一个，就存在一个与之相关的存在，这样取一个，就有一个对应区间） 据此，令则存在，在区间内含有中除有 限项外的所有项，记这个区间为 再令，则存在在区间内含有内含有除有限项外的所有项．记 它也含有除有限项外的所有项，且满足 继续依次令，照以上方法得一闭区间列其中每个区间都含有 中除