教学课题：闭区间上连续函数性质的证明.docVIP

教学课题：§2 闭区间上连续函数性质的证明 教学目的：掌握闭区间上连续函数性质的证明 教学重点：性质的证明和应用 教学过程： 在本节中，将利用关于实数完备性的基本定理来证明第四章2中给出的闭区间上连续函数的基本性质 一、有界性定理 若函数f在闭区间上连续，则f在上有界 证法 一??( 用有限 )由连续函数的局部有界性（定理4.2）对每一点都存在邻域及正数 使 考虑开区间集 虽然H是的一个无限开覆盖，由有限开覆盖定理，存在H的一个有限点集 覆盖了,且存在正整数使对一切有，令 则对，必属于某，即证在上有上界． 证法 二?? ( 用致密性定理性. 反证法.见教材P169 ) 证法 三??( 用区.反证法. ) 二.?????? 最值性定理: 最大、最小值定理（定理4.6）若函数在[a,b]上连续，则函数在[a,b]上取得最大值和最小值. 证 ( 只 ) （用确界原理）若函数f在上有界,故有确界定理,f的值域有上确界,记为M ,以下我们证明:倘若不然,对一切。 易见函数g在上连续,故g在上有上界,设G是g的一个上界,则 从而推得 但此当M为的上确界(最小上界)相矛盾,所以必存在使即f在上有最大值,同理可证f在上有最小值 证法二 ( 用确界原理 )? 参[1]P169 三 、介值性定理（定理4.7） f在闭区间上连续,且之间的任何实数或，则存在使． 证明:(应用确界定理) 不妨设 则g也是上连续函数, ,于是定理的结论转为:这个简化的情形称为根的存在性定理(定理4.7的推论) 记显然E为非空有界数集故有确界定理, E有下确界,记有连续函数的局部保号性, ，使在内，在内．由此易见，，即． 下证．倘若，不妨设， 则又由局部保号性,存在使在其内，特别有 但此与矛盾，则必有． 证法二 (应用区间套定理) 略(见教材p176) 四、 一致连续性定理(定理4.9) 若函数f在闭区间上连续,则f在上一致连续 证明: （证法一,用有限覆盖定理）f在闭区间上连续性，，对每一点，都存在，使当时，有 考虑开区间集合 显然H是的一个开覆盖，由有限覆盖定理的一个有限子集 对，必属于中某开区间，设，即，此时有 故有（2）式同时有 和 由此得 证法2 （应用致密性定理） 略(见教材p171)