4.2 闭.区间连续函数整体性质的证明.pptVIP

§4.2 闭区间连续函数整体性质的证明 * 一、性质的证明 §3.2 给出了闭区间连续函数的三个性质:有界性、最值性和零点定理，没有给予证明。本节除给出这三个性质的证明外，还要引入一个新 概念——一致连续，并证明闭区间的连续函数必是一致连续（第四个性质）。这四个性质都是建立在实数连续性的基础之上。因此，他们的证明要应用§4。1中描述实数集连续性的定理。 定理1.（有界性) 若函数 在闭区间 连续，则函数 在闭区间 有界，即 ，有 证法 有已知条件得到函数有 在 的每一点的某个领域有界。要将函数 在每一点的领域有界扩充到在闭区间 有界，可应用有限覆盖定理，从而能找到 。 证明 已知函数 在 连续，根据连续定义， 有 从而 ， 即 ,函数 在开区间 有界。显然，开区间集 覆盖闭区间 .根据有限覆盖定理（§4.1定理3），存在有限个开区间，设有n个开区间 也覆盖闭区间 ，且 ，有 。 取 。于是， ，且 ， 有 。 定理2、（最值性）若函数 在闭区间 连续，则函数 在