漫步数学分析二十五——等连续函数

$\textbf{定义4}$ 令$B\subset \ell(A,R^m)$，我们称$B$是函数的等连续(equicontinuous)集合，如果对于每个$\varepsilon>0$，存在$\delta>0$使得如果$x,y\in A$，那么$d(x,y)<\delta$ 意味着对所有的$f\in B,d(f(x),f(y))<\varepsilon$。

这个定义与一致连续是一样的，除了$\delta$的选择不仅要与$x_0$无关，还与$f$无关。

$\textbf{定理9}$ 令$A\subset R^n$是紧集并且$B\subset\ell(A,R^m)$。如果$B$是有界的且等连续，那么$B$中的任何序列有一个一致收敛的子序列。

因此对于$\ell(A,R^m)$中的集合，如果它是闭，有界且等连续，那么该集合就是紧集。这个结论不太直观但是对连续函数空间$\ell$的分析来说确实非常基础的。

$\textbf{例1：}$令$f_n:[0,1]\to R$是连续的，$|f_n(x)|\leq 100$，导数$f^{'}_n$存在且在$(0,1)$上是一致有界的。证明$f_n$有一个一致收敛的子序列。

$\textbf{解：}$我们验证$\{f_n\}$是等连续的且有界，假设是存在一个常数$M$使得$|f^{'}_n(x)|\leq M$，所以根据均值定理，

$$|f_n(x)-f_n(y)|\leq M|x-y|$$

给定$\varepsilon$，我们可以选择$\delta=\varepsilon/M$，与$x,y,n$都无关，因此$\{f_n\}$ 是等价连续的，因为$\Vert f_n\Vert=\sup_{0\leq x\leq 1}|f_n(x)|\leq 100$，所以它是有界的。

$\textbf{例2：}$如果我们去掉例1中$|f_n(x)|$是有界的，那么结果还成立吗？

$\textbf{解：}$不成立。因为令$f_n(x)=n$，那么$f^{'}_n=0$但是很明显它没有收敛子序列。

$\textbf{例3：}$令$I:\ell([0,1],R)\to R$定义为$I(f)=\int_0^1f(x)dx$，证明$I$是连续的。

$\textbf{解：}$我们必须说明$\ell$中$f_n\to f$意味着$I(f_n)\to I(f)$，但是根据定理4立即可以得出这个结论。