潘澍原-上海财经大学.doc

不同类型区间上函数一致连续性的判别法 上海财经大学数学系 潘澍原 摘要：本文对各种不同类型区间上函数一致连续性的判定方法进行了详尽的证明，并加以系统的总结，指出了函数的收敛性和导数有界性与函数的一致收敛性的紧密联系。 关键词：一致连续、区间、收敛、导数、有界 函数的一致连续性一直是数学分析学习中的难点，学生在学习过程中常遇到一些困难，特别是在不同区间上函数一致连续性的判定方面，问题尤多。笔者以此文加以总结分析，以期效用。 （一）闭区间 定理1.（Cantor定理）函数在上一致连续的充分必要条件是在上连续。 证明：必要性显然。下证充分性。 证法Ⅰ：用Weirerstrass定理反证。可参见《数学分析》（上册）P112（复旦陈纪修等著，高等教育出版社出版） 证法Ⅱ：用有限覆盖定理。 ，任取某一，做邻域 显然，开区间集覆盖了 由有限覆盖定理，中的有限个开区间： 覆盖了，即 ,必有 使得，即 今取 , 若 则 ∵在点上连续 ∴由Cauchy收敛准则，上述的 有成立 ∴ 有成立 ∴在上一致连续 证毕 注1.有限覆盖定理在分析中用途极广，是重要的工具，应尽量掌握其思想和一般的构造方法。 （二）有限非闭区间 定理1.函数在上一致连续的充分必要条件是在上连续且与都存在。 证明：先证充分性。 构造辅助函数 显然，在上连续 ∴由Contor定理，在上一致连续 ∴在上一致连续，即在上一致连续 再证必要性：在上连续显然。下证与都存在。 ∵在上一致连续 ∴且 有成立 现对，取 则有且 ∴且 有成立 ∴由Cauchy收敛准则，存在 同理，存在 证毕 注2.构造法是数学分析中很重要也是最常用的方法之一，应该掌握其方法与技巧。 推论1. 函数在上一致连续的充分必要条件是在上连续且存在。 推论2. 函数在上一致连续的充分必要条件是在上连续且存在。 由定理1及定理2的证明过程连续函数的Cauchy收敛准与一致连续性则无论是在形式上还是在实质上都有非常紧密的联系。可以说，在一个收敛点的小范围内，函数是一致连续的；反过来，如果函数是一致连续的，在某个小范围内是可以得到函数在某一点的收敛性。这对我们的许多证明具有指导意义。 （三）组合区间 定理3.（一致连续函数的区间可加性）函数区间在和上一致连续，若，则在上一致连续。 证明：1。若或，则结论显然。 2。若和不相互包含。 ∵分别在和上一致连续 ∴且，有成立 且，有成立 现考察 证法一：∵ ∴可从中取得一点 ∵在和上一致连续 ∴它必在上一致连续 ∴在处连续 ∴由Cauchy收敛准则，上述 有成立 ∴上述不同时属于或的且 有成立 ∴且 恒有成立 ∴在上一致连续 证法二：∵ ∴可令，并取 显然，，当时，总是同在或中 ∴且 恒有成立 ∴在上一致连续 证毕 可以看到，该判别法的作用是非常强大的。它把函数已知的一致连续区间进行整合和延拓，得到新的一致连续区间。这样的的区间可加性为我们分段处理函数一致连续性问题提供了理论基础。在许多证明中，该判别法往往是简捷易行而又不可替代的。 （四）无穷区间 定理4.函数在上一致连续的充分条件是在上连续且存在。 证明：∵存在 ∴由Cauchy收敛准则， 有成立 ∴在上一致连续 ∵在上连续 ∴在上连续，从而一致连续 ∵ ∴由定理3，在上一致连续 证毕 推论 函数在上一致连续的充分条件是在上连续且和都存在。 同理，我们有定理5及其推论 定理5.函数在上一致连续的充分条件是在上连续且存在。 推论 函数在上一致连续的充分条件是在上连续且和都存在。 最后，我们有类似于有限开区间一致连续性判别法的定理6。 定理6.函数在上一致连续的充分条件是在上连续且和都存在。 证明：∵在上连续 ∴在上连续 ∵存在 ∴由定理4，在上一致连续 同理在上一致连续 ∵ ∴由定理3，在上一致连续 证毕 注3. 定理4、5、6中，和的存在性都是非必要的。 如在上一致连续，但和都不存在。 （五）一般任意区间 根据以上几个特定区间上的判别法，我们完全可以得出一致连续函数在一般任意区间上的判别法。但是，我们注意到，上述判别法在某一特定区间上的要求往往是较为苛刻的，使用起来也不甚方便，甚至还可能会全部失效。可以解决这一问题的就是在一般任意区间上的特殊判别法。 引理1.若对于定义在区间上的函数和，，有成立，而在上一致连续，则在上也一致连续。 证明：∵在上一致连续 ∴且 有成立 ∴且 有成立 ∴在上一致连续 证毕 推论（Lipschitz）若函数在区间上满足下述Lipschitz条件，即，有成立，则在上一致