闭区间上连续函数性质的证明.ppt

福州大学数学与计算机学院 * 六. 小结 有界性定理（致密性定理；有限覆盖定理） 最值定理（致密性定理；确界原理） 零点存在定理（区间套定理） 反函数连续性定理（介值定理） 康托定理（致密性定理；有限覆盖定理） * 第二节 闭区间上连续函数性质的证明 福州大学数学与计算机学院 * 一、有界性定理 二、最值定理 三、零点存在定理 四、反函数连续性定理 五、一致连续性定理 福州大学数学与计算机学院 * 定理1 设f(x)在[a,b]上连续,则f(x)在[a,b]上有界. 证明一:(应用致密性定理证明) 一 有界性定理 福州大学数学与计算机学院 * 福州大学数学与计算机学院 * 福州大学数学与计算机学院 * 证法二: (应用有限覆盖定理证明) 福州大学数学与计算机学院 * 福州大学数学与计算机学院 * 证明三:(应用区间套定理证明) 福州大学数学与计算机学院 * 福州大学数学与计算机学院 * 福州大学数学与计算机学院 * 定理2 设f(x)在闭区间[a,b]上连续,则f(x)在[a,b]上一定有最大值和最小值. 证法一 (应用致密性定理证明) 二 最大最小值定理 福州大学数学与计算机学院 * 福州大学数学与计算机学院 * 证明二: (应用确界原理证明) 福州大学数学与计算机学院 * 福州大学数学与计算机学院 * 福州大学数学与计算机学院 * 定理3(零点存在定理) 设 f(x) 在闭区间[a,b]上连续 , 且 f(a) 与 f(b) 异号(即 f(a) ? f(b)0 ) , 则至少存在一点 ?? (a,b) 使 f(?)=0. 三 零点存在定理 证明: (应用区间套定理证明) 福州大学数学与计算机学院 * 福州大学数学与计算机学院 * 福州大学数学与计算机学院 * 福州大学数学与计算机学院 * 介值定理 闭区间[a,b]上的连续函数f(x) 可以取其最大值和最小值之间的一切值. 即设f(x) 在[a,b] 上的最大值为M，最小值为m，那么对任意的c，mcM, 则至少存在一点 ? ? (a,b) 使 f(?) = c . 福州大学数学与计算机学院 * 四、反函数连续性定理 福州大学数学与计算机学院 * 福州大学数学与计算机学院 * 福州大学数学与计算机学院 * 福州大学数学与计算机学院 * 五、 一致连续性定理 福州大学数学与计算机学院 * 证法一(应用致密性定理证明) 福州大学数学与计算机学院 * 福州大学数学与计算机学院 * 证明二: (应用有限覆盖定理证明) 福州大学数学与计算机学院 *