浅析一致连续函数

(整期优先)网络出版时间:2008-09-19
/ 2

浅析一致连续函数

袭杨于辉

摘要:对函数的一致连续性的定义、定理加以系统的总结,指出了函数的收敛性和导数有界性与函数的一致收敛性的紧密联系。

关键词:一致连续;区间;收敛;导数;有界函数

Abstract:Thedefinitionsandtheoremsofuniformlycontinuousfunctionaremadeasummary,andtheclosertiesbetweentheboundnessanduniformcontinuityoffunctionarestatedhere.

Keywords:uniformlycontinuous;interval;convergence;derivative;boundedfunction

前言

一致连续是一个极限概念,是从连续的概念派生出来的,是指存在一个微小变化的界限,如果函数定义域内的任意两点间的距离不超过这个界限,则这两点对应的函数值之差就能达到任意小(也就是分析中常说的epsilon)。函数的一致连续性一直是数学分析学习中的难点,现就此问题加以总结分析。

1一致连续定义

2一致连续判定方法

2.2.1若f是X上的一致连续函数,则f也是Y上的一致连续函数。

2.2.2若f,g都是X上的一致连续函数,则f±g也是X上的一致连续函数。

2.2.3若f,g都是一致连续函数,g。f有意义,则g。f也是一致连续函数。

2.3区间上的一致连续性判定

2.3.1闭区间

(Cantor定理)[a,b]:函数f(x)在[a,b]上一致连续的充分必要条件是f(x)在[a,b]上连续。

证法Ⅰ:用Weirerstrass定理反证。

证法Ⅱ:用有限覆盖定理。

2.3.2有限非闭区间

(1)(a,b):函数f(x)在(a,b)上一致连续的充分必要条件是f(x)在(a,b)上连续且f(a+)与f(b-)都存在。

证法:构造辅助函数、Contor定理。

推论[a,b):函数f(x)在[a,b)上一致连续的充分必要条件是f(x)在[a,b)上连续且f(b-)存在。

推论(a,b]:函数f(x)在(a,b]上一致连续的充分必要条件是f(x)在(a,b]上连续且f(a+)存在。

(2)无穷区间

a.[a,+∞):函数f(x)在[a,+∞)上一致连续的充分条件是f(x)在[a,+∞)上连续且f(+∞)存在。

证法:极限定义、一致连续定义。

推论(a,+∞):函数f(x)在(a,+∞)上一致连续的充分条件是f(x)在(a,+∞)上连续且f(a+)和f(+∞)都存在。

b.(-∞,b]:函数f(x)在(-∞,b]上一致连续的充分条件是f(x)在(-∞,b]上连续且f(-∞)存在。

推论(-∞,b):函数f(x)在(-∞,b)上一致连续的充分条件是f(x)在f(-∞,b)上连续且f(b-)和f(-∞)都存在。

c.(-∞,+∞):函数f(x)在(-∞,+∞)上一致连续的充分条件是f(x)在(-∞,+∞)上连续且f(-∞)和f(+∞)都存在。

注1:在(2)中的a、b、c,f(-∞)和f(+∞)的存在性都是非必要的。

如:sinx在(-∞,+∞)上一致连续,但sin(+∞)和sin(-∞)都不存在。

3一般任意区间

根据以上几个特定区间上的判别法,完全可以得出一致连续函数在一般任意区间上的判别法。但是,我们注意到,上述判别法在某一特定区间上的要求往往是较为苛刻的,使用起来也不甚方便,甚至还可能会全部失效。可以解决这一问题的就是在一般任意区间上的特殊判别法。

(1)一致连续函数的区间可加性I1∪I2:

函数f(x)区间在I1和I2上一致连续,若I1∩I2≠?覫,则f(x)在I1∪I2上一致连续。

证法:一致连续定义。

(2)不等式比较法:

若对于定义在区间X上的函数f(x)和g(x),?埚L>0,?坌x',x"∈X,有|f(x')-f(x")|≤L|g(x')-g(x")|成立,而g(x)在X上一致连续,则f(x)在X上也一致连续。

证法:一致连续定义。

推论(Lipschitz定理):若函数f(x)在区间X上满足下述Lipschitz条件,即?埚L>0,?坌x',x"∈X,有|f(x')-f(x")|≤L|x'-x"|成立,则f(x)在上一致连续。

证法:取g(x)=x即可。

(3)导数法:

设函数f(x)在区间X上连续,且满足f'(x)在X上有界,则f(x)在X上一致连续。

证法:Lagrange中值定理、Lipschitz条件。

注2:导数法中f'(x)的有界性要求是非必要的。

所谓一致连续,就是要求当函数的自变量的改变很小时,其函数值的改变也很小,从而要求函数的导数值不能太大,当然只要有界即可(我们可以根据其上界M取适当大小的?着'=?着/M),求导判断其是否有界相比严格证明或求复杂极限要简单的多。正因为如此,该判别法往往是易行而颇具效用的。

参考文献

[1]陈纪修等.数学分析[M].北京:高等教育出版社,2000.

[2]裴礼文.数学分析中的典型问题与方法[M].北京:高等教育出版社,1993.

[3]江泽坚,孙善利.泛函分析[M].北京:高等教育出版社,1994.

作者简介:袭杨(1981~),女,黑龙江八一农垦大学文理学院数学系,助教,吉林大学数学研究所在读研究生。于辉(1979~),女,哈尔滨工业大学理学院数学系在读研究生,黑龙江八一农垦大学,讲师。