第3章 关于实数的基本定理及闭区间上连续函数性质的证明.docVIP

第三章 关于实数的基本定理及闭区间上连续函数性质的证明 §1. 关于实数的基本定理 前面我们粗略地了解了实数集的确界原理和数列的单调有界定理，给出了数列的柯西收敛准则.这三个命题以不同方式反映了实数集R的一种特性，通常称为实数的完备性、实数的连续性或实数的稠密性。有关实数集完备性的基本定理，除上述三个外，还有区间套定理、聚点定理和有限覆盖定理，在本节中将阐述这三个基本定理。共有六个基本定理： 1实数戴德德公理 确界原理 2数列的单调有界定理 3区间套定理 4聚点定理 致密性定理 5数列柯西收敛准则 6有限覆盖定理 一 子列 定义 设 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 ，且保持这些项在 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 则由 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 的非平凡子列．例如 SKIPIF 1 0 和 SKIPIF 1 0 都是 SKIPIF 1 0 的非平凡子列． 子列的下标不是 SKIPIF 1 0 表示在子列的第k项。所以子列收敛的定义是针对k的。 定理 数列 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 时更有 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 的子列，故由刚才证明的必要性， SKIPIF 1 0 ． （9） 又 SKIPIF 1 0 既是 SKIPIF 1 0 又是 SKIPIF 1 0 的子列，同样可得 SKIPIF 1 0 （10） (9)式与(10)式给出 SKIPIF 1 0 所以 SKIPIF 1 0 收敛