7.2闭区间上连续函数性质证明.docVIP

§7.2 闭区间上连续函数性质的证明 教学目标：证明闭区间上的连续函数性质． 教学内容：闭区间上的连续函数有界性的证明；闭区间上的连续函数的最大(小)值定理的证明；闭区间上的连续函数介值定理的证明；闭区间上的连续函数一致连续性的证明． 基本要求：掌握用有限覆盖定理或用致密性定理证明闭区间上连续函数的有界性；用确界原理证明闭区间上的连续函数的最大(小)值定理；用区间套定理证明闭区间上的连续函数介值定理． 较高要求：掌握用有限覆盖定理证明闭区间上的连续函数的有界性和一致连续性． 教学建议： (1) 本节的重点是证明闭区间上的连续函数的性质． (2) 本节的难点是掌握用有限覆盖定理证明闭区间上的连续函数的一致连续性以及实数完备性的六大定理的等价性证明,对较好学生可布置这方面的习题． 教学过程： 在本节中,将利用关于实数完备性的基本定理来证明第四章2中给出的闭区间上连续函数的基本性质. 一、有界性定理 若函数f在闭区间上连续,则f在上有界 证法 一 ( 用区间套定理 ). 反证法. 参阅[3]P106—107. 证法 二 ( 用致密性定理). 反证法. 证明 如若不然,在上无界,N,,使得,对于序列,它有上下界,致密性定理告诉我们使得,由在连续,及有 , 矛盾. 证法 三 ( 用有限复盖定理 ). 参阅[1]P16