设函数在区间I上有定义,如果对于
,总有
,使得对于在区间I上的任意两点
,当
时,恒有
,则称函数
在区间I上一致连续。[1]
参数仅与
有关,与所选取的任意两点
无关,即
。
从上述定义中可以看出,当函数在区间I上一致连续时,无论在区间I上的任何部分,只要自变量的两个数值接近到一定程度,总可以使相应的函数值达到预先指定的接近程度。[1]
若函数在
上连续,则
在
上一致连续。
若函数为
上的连续周期函数,则
在
上一致连续。
若在有限开区间
上严格单调且连续,则其反函数
在区间
上一致连续。
设在
上连续,若
和
都存在,则
在
上一致连续。
设对于定义在区间I上的函数,
,
,有
成立,若在I上一致连续,则
在I上也一致连续。[2]
1)设函数在区间
和
上一致连续,若
,则
在
上也一致连续;
2)若函数都在区间I上一致连续,则
也在区间I上一致连续;
3)若在有限区间I上一致连续,则
在I上有界;
4)若函数都在有限区间I上的有界的一致连续函数,则
在区间I上也一致连续;
5)若在定义域I上一致连续,其值域为U,
在U上一致连续,则
在I上一致连续。[2]
函数在
上一致连续。
证明如下:
①任取,由三角函数可知
在闭区间
上连续,由上述的定理1可知,
在
上一致连续。
②对于区间,对
,取
,对
,当
时,有
即在区间
上一致连续。
综上,在
上一致连续。