无穷区间上连续函数一致连续的判定

众所周知,函数的连续性是建立在点上的。即使是函数在区间上的连续性,也是建立在点上的。因此函数的连续性是一个局部性的概念,而函数的一致连续性才反映了函数在整个区间上的整体性质。一般来说,只有闭区间[a,b]上的连续函数才具有一致连续的性质,(Cantor定理)而对于其他类型的区间,函数在其上连续一般不能导致函数在其上一致连续。譬如函数f(x)=sin(π/x)在区间(0,1)内连续,但在(0,1)内却非一致连续,这样的例子可以举出很多。因此,讨论连续函数的一致连续性也就成了“数学分析”中一个很重要的问题。显然在某个区间上连续的函数自然就可以分为两大类:一类是非一致连续的,另一类是一致连续的。在多数“数学分析”教材中对有限区间上连续函数的一致连续性讨论得较多,对无穷区间上连续函数的一致连续性的判定虽然也进行过一些讨论,但大多是关于它的充分判别法,而对它的充分必要条件谈及甚少。