漫步数学分析二十四——连续函数空间

固定集合$A\subset R^n$并且考虑所有函数$f:A\to R^m$的集合$V$，那么$V$可以看成一个向量空间。在$V$中，零向量就是对于所有的$x\in A$函数等于0的函数。另外对于每个$\lambda\in R,f,g\in V$，我们定义$(f+g)(x)=f(x)+g(x),(\lambda f)(x)=\lambda(f(x))$。接下来令$\ell=\{f\in V|f\text{是连续的}\}$，为了避免混淆，我们可以写成$\ell(A,R^n)$，那么$\ell$也表示向量空间，因为两个连续函数的和是连续的并且对于每个$\alpha\in R,f\in\ell$，我们有$\alpha f\in\ell$。

令$\ell_b$是$\ell$的向量子空间，其中$\ell$由有界函数组成：$\ell_b=\{f\in\ell|f\text{是有界的}\}$。回忆一下$f$有界意味着存在一个常数$M$使得对所有的$x\in A,\Vert f(x)\Vert\leq M$。如果$A$是紧集，那么$\ell_b=\ell$。

对于$f\in\ell_b$，令$\Vert f\Vert=\sup\{\Vert f(x)\Vert|x\in A\}$，因为$f$是有界的，所以最小上界肯定存在。$\Vert f\Vert$是$f$大小的度量并成为$f$的范数(norm)，如图1所示，注意$\Vert f\Vert\leq M$当且仅当对于所有的$x\in A,\Vert f(x)\Vert\leq M$。

图1

我们现在尝试做的就是像$R^n$那样看到空间$\ell_b$，即，$\ell_b$(是一个函数)中的每个点(即，向量)有一个范数，所以我们希望$R^n$中向量的概念可以用到$\ell_b$中，当做分析的时候这种想法是非常有用的并且利用$R^n$中的方法可以证明$\ell_b$中的某些重要结论(下篇文章会介绍)。为此，首要任务是建立范数的基本概念。

警告：虽然我们有范数，但我们没有像$\Vert f\Vert^2=<f,f>$这样与其相关的内积，函数的其他空间(像之后我们会提到的傅里叶分析)有这样的内积。

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

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

这些是我们讨论开集，收敛等概念的基本法则。例如，$\ell_b$中当且仅当$\Vert f_k-f\Vert\to0$时，我们写作$f_k\to f$，回忆一下满足法则$\textrm{(i),(ii),(iii)}$ 的范数向量空间称为范数空间(normed space)，前面介绍的结果在范数空间中都满足，在下面的讨论与证明中我们将直接用到他们。其与一致收敛的联系是非常简单的。

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

如果对于任意$\varepsilon>0$，存在一个$N$使得$k,l\geq N$意味着$\Vert f_k-f_l\Vert<\varepsilon$，那么序列$f_k$称为柯西序列。如果每个柯西序列收敛，那么范数空间称为完备的。完备范数空间另一个名字叫做巴拿赫(Banach)空间。完备性是空间非常重要的性质，因为我们经常需要证明一个序列是柯西的并且推导出它收敛到空间中的某个元素。

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

空间$\ell_b$只是分析中最重要空间中的一个，根据定理6，我们可以引入开集，收敛等概念，就像$R^n$空间那样，而在其他层面上空间$\ell_b$可能与$R^n$非常不同。例如我们刚刚提到的，$\ell_b$没有内积。还有就是$\ell_b$不是有限维的。

$\textbf{例1：}$令$B=\{f\in\ell([0,1],R)|\text{对所有的}x\in[0,1],f(x)>0\}$。说明$B$在$\ell$ $([0,1]$$,R)$ 中$B$ 是一个开集。

$\textbf{解：}$根据定义，对于$f\in B$，我们一定可以找到$\varepsilon>0$使得$D(f,\varepsilon)=\{g\in\ell|\Vert f-g\Vert<\varepsilon\}\subset B$，所以固定$f\in B$。接下来，因为$[0,1]$是紧集，所以$f$在$[0,1]$的某点处得到最小值，我们称为$m$，那么对于所有的$x\in[0,1],f(x)\geq m>0$。令$\varepsilon=m/2$，那么如果$\Vert f-g\Vert<\varepsilon$，结论就是对于每个$x,|f(x)-g(x)|<\varepsilon=m/2$，因此$g(x)\geq m/2>0$，所以$g\in B$。

$\textbf{例2：}$例1中集合$B$的闭包是什么？

$\textbf{解：}$我们断言闭包是$D=\{f\in\ell|\text{对所有的}x\in[0,1],f(x)\geq 0\}$，这是一个闭集，因为如果$f_n(x)\geq 0$且$f_n\to f$(一致)，那么自然逐点收敛，即对所有的$x,f(x)\geq 0$。为了说明$D$是闭包，需要充分说明对于$f\in D$，存在$f_n\in B$使得$f_n\to f$，很简单的一个例子是$f_n=f+1/n$。

$\textbf{例3：}$假设我们有序列$f_n\in\ell_b$使得$\Vert f_{n+1}-f_n\Vert\leq r_n$，其中$\Sigma r_n$是收敛的，$r_n\geq 0$。证明$f_n$是收敛的。

$\textbf{解：}$利用三角不等式我们有

$$\begin{align*} \Vert f_n-f_{n+k} &\leq\Vert f_n-f_{n+1}\Vert+\Vert f_{n+1}-f_{n+2}+\cdots+\Vert f_{n+k-1}-f_{n+k}\Vert\\ &\leq r_n+r_{n+1}+\cdots+r_{n+k} \end{align*}$$

因为$\Sigma r_l$是收敛的，并且小于或等于$s-s_{n-1}$(其中$s_n$是部分和，$s$是和)，所以$n\to\infty$时该表达式$\to 0$，故$f_n$是柯西序列，它是收敛的。