漫步数学分析番外五(上)

$\textbf{定理1}$ 令$f_k:A\to R^m$是连续函数并且假设$f_k\to f$(一致)，那么$f$是连续的。

$\textbf{证明：}$因为$f_n\to f$一致收敛，所以给定$\varepsilon>0$，我们可以扎到$N$使得$k\geq N$意味着对所有的$x\in A$不等式$\Vert f_k(x)-f(x)\Vert<\varepsilon/3$成立。考虑一个点$x_0\in A$，因为$f_N$是连续的，所以存在$\delta>0$使得$(\Vert x-x_0\Vert<\delta,x\in A)\Rightarrow(\Vert f_N(x)-f_N(x_0)\Vert<\varepsilon/3)$，那么碎玉$\Vert x-x_0\Vert<\delta,\Vert f(x)-f(x_0)\Vert\leq\Vert f(x)-f_N(x)\Vert+\Vert f_N(x)-f_N(x_0)\Vert+\Vert f_N(x_0)-f(x_0)\Vert<\varepsilon/3+\varepsilon/3+\varepsilon/3=\varepsilon$。 因为$x_0$是任意的，所以$f$在$A$中的每个点处都连续，故它是连续的。$||$

$\textbf{定理2}$ 令$f_k:A\to R^m$是一个函数序列，那么$f_k$一致收敛，当且仅当对每个$\varepsilon>0$，存在一个$N$使得$l,k\geq N$时，对所有的$x\in A$，不等式$\Vert f_k(x)-f_l(x)\Vert<\varepsilon$。

$\textbf{证明：}$如果$f_k\to f$一致收敛，那么给定$\varepsilon>0$，我们可以找出$N$使得$k\geq N$意味着对所有的$x$不等式$\Vert f_k(x)-f(x)\Vert<\varepsilon/2$ 成立，那么如果$k,l\geq N$，那么$\Vert f_k(x)-f_l(x)\Vert\leq\Vert f_k(x)-f(x)\Vert+\Vert f(x)-f_l(x)\Vert<\varepsilon/2+\varepsilon/2=\varepsilon$。

反过来，如果给定$\varepsilon>0$，我们可以找到$N$使得$k,l\geq N$意味着对于所有的$x$不等式$\Vert f_k(x)-f_l(x)\Vert<\varepsilon$成立，那么$f_k(x)$在每个点$x$处都是柯西序列，所以$f_k(x)$逐点收敛到，我们表示成$f(x)$，再者，我们可以找到$N$使得$k,l\geq N$意味着对所有的$x$不等式$\Vert f_k(x)-f_l(x)\Vert<\varepsilon/2$，因为对于每个点$x,f_k(x)\to f(x)$，所以我们能够对每个点$x$找出$N_x$使得$l\geq N_x\Rightarrow\Vert f_l(x)-f(x)\Vert<\varepsilon/2$，令$l\geq\max\{N,N_x\}$，那么$k\geq N\Rightarrow\Vert f_k(x)-f(x)\Vert\leq\Vert f_k(x)-f_l(x)\Vert+\Vert f_l(x)-f(x)\Vert<\varepsilon/2+\varepsilon/2=\varepsilon$。 因为这个结论对每个点$x$都成立，所以我们可以找出$N$使得对所有的$x,k\geq N\Rightarrow\Vert f_k(x)-f(x)\Vert<\varepsilon$，因此$f_k\to f$(一致)。$||$

$\textbf{定理3}$ 假设$g_k:A\to R^m$这样的函数，存在常数$M_k$使得对所有的$x\in A,\Vert g_k(x)\Vert\leq M_k$，并且$\Sigma_{k=1}^\infty M_k$收敛。那么$\Sigma_{k=1}^\infty g_k$一致收敛(并且绝对收敛)。

$\textbf{证明：}$因为$\Sigma M_k$收敛，所以对每个$\varepsilon>0$，存在一个$N$使得$k\geq N$意味着对所有的$p=1,2,\ldots$不等式$|M_k+\cdots+M_{k+p}|<\varepsilon$成立。对$k\geq N$我们由三角不等式可得

$$\begin{align*} \Vert g_k(x)+\cdots+g_{k+p}(x)\Vert &\leq\Vert g_k(x)\Vert+\cdots+\Vert g_{k+p}(x)\Vert\\ &\leq M_k+\cdots+M_{k+p}<\varepsilon \end{align*}$$

对所有的$x\in A$都成立，所以根据级数的柯西判别准则，$\Sigma g_k$一致收敛。$||$

$\textbf{定理4}$ 假设$f_k:[a,b]\to R$是连续函数($a,b\in R$)并且$f_k\to f$(一致)，那么

$$\int_a^b f_k(x)dx\to\int_a^b f(x)dx$$

$\textbf{推论2}$ 假设$g_k:[a,b]\to R$是连续的且$\Sigma_{k=1}^\infty g_k$是一致收敛的，那么我们可以改变积分与和的次序

$$\int_a^b\sum_{k=1}^\infty g_k(x)dx=\sum_{k=1}^\infty\int_a^b g_k(x)dx$$

$\textbf{证明：}$对于定理4，我们回顾一下，如果$|f(x)|\leq M$那么

$$\left|\int_a^b f(x)dx\right|\leq M(b-a)$$

对于$\varepsilon>0$选择$N$使得$k\geq N$意味着$|f_k(x)-f(x)|<\varepsilon/(b-a)$，那么

$$\left|\int_a^b f_k(x)dx-\int_a^bf(x)dx\right|=\left|\int_a^b(f_x(x)-f(x))dx\right|\leq\varepsilon\cdot\frac{(b-a)}{(b-a)}=\varepsilon$$

对于推论，令$f_k=\Sigma_{i=1}^k g_i$；那么$f_k\to f=\Sigma_{k=1}^\infty g_k$(一致)，所以根据上面的内容得

$$\int_a^bf_k(x)dx\to\int_a^bf(x)dx\quad ||$$

$\textbf{定理5}$ 令$f_k:(a,b)\to R$是开集$(a,b)$上的可微函数序列，且逐点收敛到$f:(a,b)\to R$。假设导数$f^{'}_k$是连续的且一致收敛到函数$g$，那么$f$是可微的且$f^{'}=g$。

$\textbf{证明：}$由微积分基本定理可知$f_k(x)=f_k(x_0)+\int_{x_0}^x f^\prime_k(x)dt$，其中$a<x_0<b$。令$k\to\infty$，由定理4可得$f(x)=f(x_0)+\int_{x_0}^xg(t)$，由基本定理可知$f^\prime=g$，故根据定理1可知$g$是连续的。$||$

注意：即便$f^\prime_k$不是连续的，该定理依然成立，只是更加复杂。

$\textbf{定理6}$ $\mathscr{C}_b(A,R^m)$中的函数$\Vert\cdot\Vert$满足范数的性质：

1. $\Vert f\Vert\geq0,\Vert f\Vert=0$当且仅当$f=0$。
2. 对于$\alpha\in R,f\in\mathscr{C}_b,\Vert\alpha f\Vert=|\alpha|\Vert f\Vert$。
3. $\Vert f+g\Vert\leq\Vert f\Vert+\Vert g\Vert$(三角不等式)。

$\textbf{证明：}$$\textrm{(i),(ii)}$很明显，对于$\textrm{(iii)}$，由$R^m$中的三角不等式可得

$$\begin{align*} \Vert f+g\Vert &=\sup\{\Vert(f+g)(x)\Vert|x\in A\}\\ &\leq\sup\{\Vert f(x)\Vert+\Vert g(x)\Vert|x\in A\} \end{align*}$$

加些来，因为$\sup(P+Q)=\sup(P)+\sup(Q)$，并且

$$\{\Vert f(x)\Vert+\Vert g(x)\Vert|x\in A\}\subset\{\Vert f(x)\Vert+\Vert g(y)\Vert|x,y\in A\}$$

所以我们有

$$\sup\{\Vert f(x)\Vert+\Vert g(x)\Vert|x\in A\}\leq\Vert f\Vert+\Vert g\Vert\quad ||$$

$\textbf{定理7}$ $(f_k\to f(\text{在}A\text{上一致}))\Leftrightarrow(\text{在}\mathscr{C}_b\text{中}f_k\to f;\text{即}\Vert f_k-f\Vert\to 0)$。

$\textbf{证明：}$这只是定理的一种转录而已，证明从略。$||$

$\textbf{定理8}$$\mathscr{C}_b$是一个巴拿赫空间。

$\textbf{证明：}$令$f_k$是一个柯西序列，根据定理2，$f_k$一致收敛到$f$。因为$k$足够大时，$\Vert f(x)\Vert\leq\Vert f_k\Vert+1$，所以$f$是有界的，根据定理1可得$f$是连续的，所以$f\in\mathscr{C}_b$，故$f_k$收敛到$\mathscr{C}_b$中。$||$

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

为了证明这个定理，我们先证明一个引理。

$\textbf{引理1}$ 令$A\subset R^n$是任意集合，那么存在一个可数集合$C\subset A$，它的闭包包含$A$。

$\textbf{证明：}$$R^n$中有理坐标的点是可数解和，我们成为$x_1,x_2,\ldots$。考虑每个整数$n$的邻域

$$D\left(x_1,\frac{1}{n}\right),D(x_2,\frac{1}{n}),\ldots$$

很明显他们覆盖$R^n$。只要$D(x_l,(1/n))$与$A$有交点，我们就从$D(x_l,(1/n))\cap A$中选择一个点，通过这种方式得到的集合重新定义了我们的集合$C$。那么因为$\{D(x_l,(1/n))|l,n\in N\}$是可数的，所以$C$是可数的。

我们断言$\text{cl}(C)\supset A$。事实上，令$x\in A,\varepsilon>0$，选择$n$使得$1/n<\varepsilon/2$。存在某个$l$使得$x$位于$D(x_l,(1/n))$中，所以在$C\cap D(x_l,(1/n))$中存在一个点，我们用$y$表示，那么$d(x,y)\leq d(x,x_l)+d(x_l,y)\leq 1/n+1/n<\varepsilon$。因此$x\in\text{cl}(C)$，所以$\text{cl}(C)\supset A$。$||$

我们将用下面的方法利用$A$的紧性。

$\textbf{引理2}$ 令$A$是紧集且$C$按上面的方式构造，那么对任意$\delta。0$，存在一个有限集合$C_1\subset C$，我们表示成$C_1=\{y_1,\ldots,y_k\}$使得每个$x\in A$位于某个$y_l\in C_1$的$\delta$ 内。

$\textbf{证明：}$选择$n$满足$1/n<\delta$，那么根据引理1，存在有限个集合$D(x_1,(1/n))$，$D(x_2,(1/n))$，$\ldots$，因为$A$是紧集，所以他们覆盖$A$，那么$C_1$定义成这些有限集中的元素，然后就像引理1那样得出结论。$||$

现在我们转向定理的证明。像引理1那样构造$C$，我们表示成$C=\{x_1,x_2,\ldots\}$，令$f_n$是$B$中的序列。那么$\{f_n\}$是有界的，所以序列$f_n(x_1)$在$R^m$中是有界的，由$R^m$中的波尔查诺-魏尔斯特拉斯定理可知$f_n(x_1)$有一个收敛的子序列，我们表示成

$$f_{11}(x_1),f_{12}(x_1),\ldots,f_{1n}(x_1),\ldots$$

同样地，序列$f_{1k}(x_2):k=1,2,\ldots$在$R^m$中是有界的；因此它有一个收敛的子序列

$$f_{21}(x_2),f_{22}(x_2),\ldots,f_{2n}(x_2),\ldots$$

继续这个过程，序列$f_{2k}(x_3):k=1,2,\ldots$在$R^m$中是有界，所以某个子序列

$$f_{31}(x_3),f_{32}(x_3),\ldots,f_{3n}(x_3),\ldots$$

是收敛的。我们继续用这个方式处理并令$g_n=f_{nn}$使得$g_n$是第$n$个子序列的第$n$个函数。

从图像角度来说，$g_n$就是取对角线上的元素：

图1

这个技巧叫做对角线方法并且在许多情况系是非常有用的。

根据序列$g_n$的构造，我们可以看出序列$g_n$在$C$的每个点都收敛；实际上$g_n$是每个序列$f_{mk}:k=1,2,\ldots$的子序列。

我们现在证明序列$g_n$在$A$的每个点都收敛并且还是一致收敛。为此，令$\varepsilon>0,\delta$满足等连续的定义，$C_1=\{y_1,\ldots,y_k\}$是$C$ 的有限子集，使得$A$中的每个点在$C_1$中某点的$\delta$中。因为序列

$$(g_n(y_1)),(g_n(y_2)),\ldots,(g_n(y_k))$$

都收敛，所以存在一个整数$N$使得如果$m,n\geq N$，那么

$$\Vert g_m(y_i)-g_n(y_i)\Vert<\varepsilon\quad i=1,2,\ldots,k$$

对于每个$x\in A$，存在一个$y_j\in C_1$使得$\Vert x-y_j\Vert<\delta$。 因此根据等连续的假设，对于所有的$n=1,2,\ldots$，我们有

$$\Vert g_n(x)-g_n(y_j)\Vert<\varepsilon$$

因此我们有

$$\begin{align*} \Vert g_n(x)-g_m(x)\Vert &\leq\Vert g_n(x)-g_n(y_j)\Vert+\Vert g_n(y_j)-g_m(y_j)\Vert+\Vert g_m(y_j)-g_m(x)\Vert\\ &<\varepsilon+\varepsilon+\varepsilon=3\varepsilon \end{align*}$$

其中$m,n\geq N$。这表明

$$\Vert g_n-g_m\Vert\leq3\varepsilon\quad m,n\geq N$$

所以由柯西判别准则可知$A$中的序列$g_n$一致收敛。$||$