第七章 实数的完备性.doc

第七章实数的完备性
教学目的:
,能准确地加以表述,并深刻理解其实质意义;
,并能应用基本定理证明闭区间上连续函数的基本性质和一些有关命题,从而掌握应用基本定理进行分析论证的能力。
教学重点难点:本章的重点是实数完备性的基本定理的证明;难点是基本定理的应用。
教学时数:14学时
§ 1 关于实数集完备性的基本定理(4学时)
教学目的:
,能准确地加以表述,并深刻理解其实质意义;
。
教学重点难点:实数完备性的基本定理的证明。
:回顾确界概念. 
Th 1 非空有上界数集必有上确界;非空有下界数集必有下确界.
二. 单调有界原理: 回顾单调和有界概念.
Th 2 单调有界数列必收敛.
三.  Cantor闭区间套定理:
1.  区间套: 设是一闭区间序列. 若满足条件
ⅰ> 对, 有, 即, 亦即后一个闭区间包含在前一个闭区间中;
ⅱ> . 即当时区间长度趋于零.
则称该闭区间序列为一个递缩闭区间套,简称为区间套. 
简而言之, 所谓区间套是指一个“闭、缩、套”区间列. 
区间套还可表达为:
.
我们要提请大家注意的是, 这里涉及两个数列和, 其中递增, 递减.
例如和都是区间套. 但、
和都不是.
2.  Cantor区间套定理:
Th 3 设是一闭区间套. 则存在唯一的点,使对有.
简言之, 区间套必有唯一公共点.  
四. Cauchy收敛准则——数列收敛的充要条件: 
1.  基本列: 回顾基本列概念. 基本列的直观意义. 基本列亦称为Cauchy列. 
例1 验证以下两数列为Cauchy列:
⑴.
⑵.
解⑴
;
对,为使,易见只要.
于是取.
⑵
.
当为偶数时, 注意到上式绝对值符号内有偶数项和下式每个括号均为正号, 有

,
又

.
当为奇数时,

,

.
综上, 对任何自然数, 有
. …… 
Cauchy列的否定:
例2 . 验证数列不是Cauchy列.
证对, 取, 有
.
因此, 取,……
2.       Cauchy收敛原理:
Th 4 数列收敛是Cauchy列.
( 要求学生复习函数极限、函数连续的Cauchy准则,并以Cauchy收敛原理为依据,利用Heine归并原则给出证明)  
五. 致密性定理:
数集的聚点
定义设是无穷点集. 若在点(未必属于)的任何邻域内有的无穷多个点, 则称点为的一个聚点.
数集= 有唯一聚点, 但; 开区间的全体聚点之集是闭区间; 设是中全体有理数所成之集, 易见的聚点集是闭区间. 
1.  列紧性: 亦称为Weierstrass收敛子列定理. 
Th 5 ( Weierstrass ) 任一有界数列必有收敛子列. 
2. 聚点原理: Weierstrass聚点原理. 
Th 6 每一个有界无穷点集必有聚点.  
六. Heine–Borel 有限复盖定理:
1.  复盖: 先介绍区间族.
定义( 复盖) 设是一个数集, 是区间族. 若对,则称区间族复盖了, 或称区间族是数集的一个复盖. 记为
若每个都是开区间, 则称区间族是开区间族. 开区间族常记为
.
定义( 开复盖) 数集的一个开区间族复盖称为的一个开复盖, 简称为的一个复盖. 
子复盖、有限复盖、有限子复盖.  
例3  复盖了区间, 但不能复盖;复盖, 但不能复盖.
2.  Heine–Borel 有限复盖定理:  
Th 7 闭区间的任一开复盖必有有限子复盖.  
§ 2 实数基本定理等价性的证明(4学时)
证明若干个命题等价的一般方法. 
本节证明七个实数基本定理等价性的路线: 证明按以下三条路线进行: 
Ⅰ: 确界原理单调有界原理区间套定理 Cauchy收敛准则
确界原理;
Ⅱ: 区间套定理致密性定理 Cauchy收敛准则;  
Ⅲ: 区间套定理 Heine–Borel 有限复盖定理区间套定理. 
一. “Ⅰ”的证明: (“确界原理单调有界原理”已证明过).  
1.  用“确界原理”证明“单调有界原理”:  
Th 2 单调有界数列必收敛.  
证
2. 用“单调有界原理”证明“区间套定理”:
Th 3 设是一闭区间套. 则存在唯一的点,使对有.
证
系1 若是区间套确定的公共点, 则对, 当时, 总有.
系2