实数完备性教案.docxVIP

第七章实数的完备性 § 1关于实数集完备性的基本定理 教学目的：掌握实数完备性的基本定理，熟悉各定理证明思路及分析方法。 重点难点：重点为区间套定理的应用，难点为对有限覆盖定理的理解及使用。 教学方法：讲练结合。 在第一、二章中，我们证明了关于实数集的确界原理和数列的单调有界定理，给出了数列的柯西收敛准则 ?这三个命题以不同方式反映了实数集 R的一种特 性，通常称为实数的完备性或实数的连续性。可以举例说明，有理数集就不具有 这种特性（本节习题 4）。有关实数集完备性的基本定理，除上述三个外，还有 区间套定理、聚点定理和有限覆盖定理，在本节中将阐述这三个基本定理。 一 区间套定理与柯西收敛准则 定义1 设闭区间列 a n ,bn 具有如下性质 (?) a n,bn an 1 , b n 1 ，n 1,2, (??) lim(bn an) 0， n 则称 an,g 为闭区间套，或简称区间套。 这里性质（？）表明，构成区间套的闭区间列是前一个套着后一个，即各闭 区间的端点满足如下不等式： a2anbnb2 b1.(1)定理7.1 （区间套定理）an , bn a2 an bn b2 b1. (1) 定理 7.1 （区间套定理） an , bn 是一个区间套，则在实数系中存在唯 一的一点 ，使得 an , bn ，n 1,2, ，即 由（1）式, an an为递增有界数列, 依单调有界定理, an有极限， 且有 an ,n 1,2, (3) 同理，递减有界数列bn 同理，递减有界数列 bn也有极限，并按区间套的条件（ ??)有 lim bn lim an ， n n (5)bn ,n 1,2, (5) 联合（3）、（ 5）即得（2）式。 最后证明满足（2）的 是唯一的。设数 也满足 an bn, n 1,2,, 则由（2）式有 bn an, n 1,2,. 由区间套的条件（？?）得 lim（bn an） 0， n 故有 由（4）式容易推得如下很有用的区间套性质： 推论 若 an,bn （n 1,2,）是区间套 an,bn所确定的点，则对任给 的 0,存在N0,使得当n N时有 an,bn U ； ? 注 区间套定理中要求各个区间都是闭区间，才能保证定理的结论成立。 对于开区间列，如 0,丄，虽然其中各个开区间也是前一个包含后一个，且 n lim丄0 0，但不存在属于所有开区间的公共点 n n 作为区间套定理的应用， 我们来证明第二章中叙述而未证明的 “数列的柯西 收敛准则”（定理2.10 ）,即 数列an收敛的充要条件是：对任给的 0 ,存在N 0 ,使得对m,n N 有 |am an | 证［必要性］0 ,存在设lim an 证［必要性］ 0 ,存在 n N 0 ,当m, n N时有 am A 亍 an 因而 am an am A an A 2 2 0,使得对一切n N有［ 充分性］ 按假设，对任给的 0,使得对一切n N有 an aN ,即在区间an ,aN 内含有a.中几乎所有的项（这里及以下 为叙述简单起见，我们用“ an中几乎所有的项”表示“ an中除有限项外的所 有项”）. 据此，令1, 据此，令 1,则存在2,在区间 2 aN! 1 2，a -内含有an中几乎所 2 有的项.记这个区间为 1再令 2，则存在2 1 再令 2，则存在 22 几乎所有的项?记 N2( Ni），在区间 aN2 1 -y内含有an中 22 1 aN2-2 , a aN2 2 它也含有an中几乎所有的项，且满足 1，2n， 区间都含有 an中几乎所有的项.继续依次令,,照以上方法得一闭区间列，其中每个是区间套.n n 1 ，2n， 区间都含有 an中几乎所有的项. 继续依次令, ,照以上方法得一闭区间列 ，其中每个 是区间套. n n 1 , 1 n 2*1 由区间套定理, 且满足 ,n 1,2, (n ) 现在证明数 就是数列 0,存在N 0,使得当n 存在唯一的一个数 an的极限?事实上，由定理 N时有 U（；） 7.1 n , n n 1,2,,, 的推论，对任给的 因此在U（;）内除有限外的所有项，这就证得 lim an n 二聚点定理与有限覆盖定理 定义2 设S为数轴上的点集， 为定点（它可以属于S,也可以不属S）. 的任何邻域内都含有 S中无穷多个点，则称 为点集S的一个聚点. 1 1 — 例如，点集S （ 1）n —有两个聚点1 1和2 1 ；点集S —只 n n 有一个聚点 0 ;又若S为开区间a,b，贝y a,b内每一点以及端点 a、b都是 S的聚点；而正整数集 没有聚点，任何有限数集也没有聚点. 聚点概念的另两个等价定义如下： 定义2 对于点集S,若点 的任何 邻域内都含有 S中异于 的点，即 U0（ ; ） S ，则称