一致连续

一致连续

连续与一致连续

尽管我们可以说函数$f(x)$在区间$X$上连续，但实际上连续的作用目标是“区间上的每一个点”，即
$$\forall x_0\in X,\forall \epsilon >0,\exists \delta (\epsilon ,x_0)>0,\mathrm{s}.\mathrm{t}.\forall x\in U(x_0;\delta )\cap X,|f(x)-f(x_0)|<\epsilon .$$
注意到这里$\delta$的选取不止依赖于$\epsilon$，还依赖于作用的点$x_0$，因此，函数连续依然被视作是点性质，与函数极限类似。

一致连续是一个定义在区间上的概念，不同于连续。也就是说，如果在根据$\epsilon$寻找$\delta$时只考虑$\epsilon$的大小，而不考虑选取的具体点$x_0$，即找到一个对任何$x_0$都适用的$\delta (\epsilon )$，就称$f(x)$在区间$X$上具有一致连续性，即
$$\forall \epsilon >0,\exists \delta (\epsilon )>0,\forall x_0\in X,\mathrm{s}.\mathrm{t}.\forall x\in U(x_0;\delta )\cap X,|f(x)-f(x_0)|<\epsilon .$$
其等价的定义是：设函数$f(x)$定义在区间$X$上，若对于任意给定的$\epsilon >0$，存在$\delta >0$，只要$x^{\prime },x^{\prime \prime }\in X$满足$|x^{\prime }-x^{\prime \prime }|<\delta$，就成立$|f(x^{\prime })-f(x^{\prime \prime })|<\epsilon$，就称$f(x)$在区间$X$上一致连续。

可以看出：$f(x)$在$X$上一致连续$\Rightarrow f(x)$在$X$上连续，但反之不一定成立。这是因为$\forall x_0\in X$，可以取$\delta (x_0,\epsilon )=\delta (\epsilon )$，就得到$f(x)$在点$x_0$的连续性，进而得到$f(x)$在区间$X$上的连续性。而反之，可以找出一些在开区间上的例子，说明$f(x)$在开区间上连续但不一致连续，如
$$f(x)=\frac{1}{x},x\in (0,1].$$
要使得$|f(x)-f(x_0)|<\epsilon$，就有
$$\begin{gathered} \left|\frac{1}{x}-\frac{1}{x_0}\right|<\epsilon ,\frac{1}{x_0}-\epsilon <\frac{1}{x}<\frac{1}{x_0}+\epsilon \\ \Downarrow \\ \frac{x_0}{1+\epsilon x_0}<x<\frac{x_0}{1-\epsilon x_0} \\ \Downarrow \\ \frac{-x_0^2}{1+x_0\epsilon }<x-x_0<\frac{x_0^2\epsilon }{1-x_0\epsilon }. \end{gathered}$$
得到$\delta (x_0,\epsilon )=\frac{x_0^2\epsilon }{1+x_0\epsilon }$，这是$\delta$的精确解，可以看出，$x_0\to 0$时$\delta (x_0,\epsilon )\to 0$，所以不存在一个对所有$x_0$都适用的$\delta (\epsilon )$，故$f(x)$在$(0,1]$上不是一致连续的。

但对于闭区间，有Cantor定理保证，$f(x)$在$X$上连续$\iff f(x)$在$X$上一致连续。

而对于有限开区间$(a,b)$，只要$f(a^{+}),f(b^{-})$存在且有限，那么就可以将其延拓成闭区间，因此一样能由连续性推出一致连续性。

一致连续的判定

刚才我们得出了一种计算$\delta (x_0,\epsilon )$的精确解，来判断是否一致连续的方法，但精确解的计算是比较困难的，在绝大多数时候会对$\delta$进行放缩。有一种更简便的方法来判断非一致连续性。

命题：设$f(x)$在区间$X$上定义，则$f(x)$在$X$上一致连续的充要条件是，对任何$X$上的点列 { x 0 ′ } , { x 0 ′ ′ } \{x_0'\},\{x_0''\} {x0′​},{x0′′​}，只要满足$\underset{n\to \infty }{\lim }(x_n^{\prime }-x_n^{\prime \prime })=0$，就成立$\underset{n\to \infty }{\lim }[f(x^{\prime })-f(x^{\prime \prime })]=0$。

证明：先证明必要性。

$f(x)$在区间$X$上一致连续，即$\forall \epsilon >0,\exists \delta (\epsilon )>0$，只要$|x^{\prime }-x^{\prime \prime }|<\delta$，就有$|f(x^{\prime })-f(x^{\prime \prime })|<\epsilon$。现既然$\underset{n\to \infty }{\lim }(x_n^{\prime }-x_n^{\prime \prime })=0$，则对于任何$\delta (\epsilon )>0$，必定存在一个$N(\epsilon )$当$n>N$时，$|x_n^{\prime }-x_n^{\prime \prime }|<\delta (\epsilon )$，于是$|f(x_n^{\prime })-f(x_n^{\prime \prime })|<\epsilon$。

再证明充分性，采用反证法。

如果对于不一致连续的函数$f(x)$，一定存在$X$上的点列 { x n ′ } , { x n ′ ′ } \{x_n'\},\{x_n''\} {xn′​},{xn′′​}，虽然$x_n^{\prime }-x_n^{\prime \prime }\to 0$，但是$f(x_n^{\prime })-f(x_n^{\prime \prime })\nrightarrow 0$，就可以证明原命题的成立。因此，我们考虑一个不一致连续的函数$f(x)$，按照不一致连续的定义，有
$$\exists {\epsilon }_0>0,\forall \delta >0,\exists x^{\prime },x^{\prime \prime }\in X,|x^{\prime }-x^{\prime \prime }|<\delta ,|f(x^{\prime })-f(x^{\prime \prime })|>{\epsilon }_0.$$
取一列 { δ n } → 0 \{\delta_n\}\to 0 {δn​}→0，不妨取${\delta }_n=\frac{1}{n}$，则有
$$|x_n^{\prime }-x_n^{\prime \prime }|<{\delta }_n\to 0,|f(x_n^{\prime })-f(x_n^{\prime \prime })|>{\epsilon }_0.$$
这就得到了点列满足条件，因此不一致连续的函数一定存在距离无限接近但函数值不接近的点列，也就是只要所有无限接近的点列函数值都无限接近，那么一定是一致连续。

一致连续与开区间

刚才我们说过，对于有限开区间$(a,b)$，只要其端点处存在单侧极限，就能从连续推出一致连续。然而，这个命题反过来也是成立的，即对于开区间$(a,b)$上的一致连续函数$f(x)$，可以推出$f(a^{+}),f(b^{-})$存在且有限。

因为$f(x)$在开区间$(a,b)$上一致连续，所以$\forall \epsilon >0,\exists \delta$，当$|x^{\prime }-x^{\prime \prime }|<\delta$时$|f(x^{\prime })-f(x^{\prime \prime })|<\epsilon$。在区间$(a,b)$上任意选取数列$x_n\in (a,b)$且$\underset{n\to \infty }{\lim }{x}_n=a$，这里 { x n } \{x_n\} {xn​}是基本列，所以对于上述$\delta$，
$$\exists N,\forall n,m>N:|x_n-x_m|<\delta \Rightarrow |f(x_n)-f(x_m)|<\epsilon .$$
这就说明$f(x_n)$也是基本数列，存在极限。由Heine定理，$\underset{x\to a^{+}}{\lim }f(x)$存在且有限，记作$f(a^{+})$即可 。同理可以证明$\underset{x\to b^{-}}{\lim }f(x)$存在且有限，记作$f(b^{-})$。

但对于无限开区间，不能得到这个结果，因为Cauchy收敛准则的收敛是指对有限数的收敛，对无穷的收敛是不适用的，如取 { x n } , x n = − n \{x_n\},x_n=-n {xn​},xn​=−n，就不存在这样的$N$使得$|x_n-x_m|<\epsilon$。

可以取一个在无穷区间上一致连续，但不存在无穷极限的，如$f(x)=\sin x$在$\mathbb{R}$上一致连续，但不存在极限。但如果单侧无限区间$[a,+\infty )$或$(-\infty ,b]$上存在极限$A=\underset{x\to +\infty }{\lim }f(x)$或$B=\underset{x\to -\infty }{\lim }f(x)$，那么$f(x)$在这样的无限区间上是一致连续的。