AM有界闭区域上连续函数的性质(精品).doc

AM080303 有界闭区域上连续函数的性质 有界性 定理 3.5(有界性) 若函数在有界闭区域连续，则函数在有界，即 有 。 证明 用反证法：假设在有界闭区域无界，即 ，按此方法得到点到时，，据致密性定理：点列为有界点列，则存在收敛子列，由于是有界闭区域，则，由(则所以 。 (3.1) 另一方面，由于在点连续， 。 这与(3.1)相矛盾。于是 在有界。 最值性 定理3.6(最值性) 若函数在有界闭区域连续，则函数在取到最小值与最大值，即 。 证明 只给出取到最大值的证明。根据定理5，函数在有界，设 ，只要证明，使。 用反证法： ，有。显然，函数在连续，且。于是，函数 在连续。根据定理3.5， 即不是数集的上确界，矛盾。于是，必存在，使。 介值性与零点定理 定理3.7(介值性) 若函数在有界闭区域连续，且与分别是函数在的最小值与最大值，与之间的任意数（有 。 证明 根据定理3.6，闭区域存在两点与，使 与 。 若，则(或)，即(或)。定理成立。 若， 分以下三种情况： Case(1) 如果与都是的内点。由区域的定义，与可用属于区域的一条折线连接起来。设折线的参数方程是 且，。根据定理3.3，函数在闭区间连续，且。根据一元函数的介值定理知，至少存在一个，，使。令，则，有 。 Case(2) 如果与有一个是有界闭区域的界点。设是的界点，且。由连续函数保号性（定理3.4），则存在的内点，使。于是，与都是的内点，由Case(1)，，有 。 Case(3) 如果与都是有界闭区域的界点。同样可用Case(2)的证法证明。 定理3.8(零点存在定理) 设函数在有界闭区域连续，和是内任意两点，如果，，则在内任何一条连结的折线上，至少存在一点，使。 一致连续性 定义3.7 设在区域有定义。若 有 。 则称函数在一致连续。 定理3.8(一致连续性) 若函数在有界闭区域连续，则函数在一致连续。 证明 ，已知在点连续，即，有 。 与，分别有 与 。 (3.2) 。 邻域集合覆盖有界闭区域。根据Heine-Borel有限覆盖定理，存在有限个邻域也覆盖。令。下面证明，这个δ就满足一致连续的要求。 有三角不等式，有 。 。 。