完备性与 Banach 空间：极限要留在空间里

你已经会在实数、函数列和度量空间里谈极限。把对象换成函数或无穷序列以后，真正容易出错的地方不是“极限算不出来”，而是：极限算出来了，却不属于你原来答应研究的那个空间。

比如，有限支撑序列的每一项都只在有限个坐标上非零。把越来越多的坐标打开，它们可能越来越接近一个真正的无穷序列；但那个极限已经不再有限支撑。若后面要解一个方程、取一个极限，或者把逼近过程交给算子处理，我们就需要知道这个极限有没有留下来。

我们就从这个缺口讲起。构造出候选极限之后，还要逐项检查它是否满足空间的定义；这一步在序列空间、连续函数空间和 $L^p$ 中各有不同。等这些证明站稳了，再看完备性怎样支撑 Baire 定理。

Cauchy 序列把问题说准确

设 $X$ 是实数域或复数域上的赋范空间，范数记为 $\lVert\cdot\rVert$。范数给出距离

所以“$x_n$ 趋近于 $x$”就是 $\lVert x_n-x\rVert\to0$。但 Cauchy 条件不预先提到一个已经存在的 $$：

这句话只检查序列的尾部彼此靠近。两个下标都可以任意往后走，不能只检查相邻两项。它没有预先保证空间里存在一个极限。

图中的点列向一个极限聚拢。它用邻域示意尾部误差逐渐变小，不表示每个 Cauchy 列都已在原空间找到极限。

收敛一定 Cauchy，但反过来需要空间条件

若 $x_n\to x$，对任意 $\varepsilon>0$，取 $N$ 使得 $n\ge N$ 时 $$。当 时，三角不等式给出

所以收敛序列一定是 Cauchy 序列。这里使用的是三角不等式，不需要空间完备。

反过来，Cauchy 序列是否收敛，取决于空间有没有漏点。$\mathbb{Q}$ 在通常距离下就是一个熟悉的例子：有理数列可以逼近 $\sqrt2$，因此在 $\mathbb Q$ 中是 Cauchy，却没有 $\mathbb Q$ 中的极限。这里只把 $\mathbb Q$ 当作度量空间举例；它不是实数域上的向量空间。

我们会反复用到 Cauchy 序列有界这一事实。取 $\varepsilon=1$，存在 $N$ 使得 $n\ge N$ 时 $\lVert x_n-x_N\rVert<1$，于是这部分尾项满足 。前面有限多个项各自有有限范数，因此整个序列有界。

定义与唯一性

如果 $X$ 中每一个 Cauchy 序列都收敛到 $X$ 中某个点，就称 $X$ 是完备的。完备的赋范空间称为 Banach 空间。

极限至多只有一个。若 $x_n\to x$ 且 $x_n\to y$，那么

所以 $\lVert x-y\rVert=0$，从范数的正定性得到 $x=y$。这一步很短，但它保证“补上的极限”不会有两个不同版本。

从 Cauchy 序列到绝对收敛级数

在 Banach 空间里，级数也能用“尾部很小”来控制。若

则部分和 $s_n=\sum_{j=1}^n v_j$ 是 Cauchy 序列，因为对 $m>$，

右侧是收敛数项级数的尾和，趋于 $0$。如果空间完备，$s_n$ 就收敛。

还有一个方向很有用：如果空间中每个满足 $\sum\lVert v_j\rVert\lt \infty$ 的级数都收敛，那么空间完备。给定 Cauchy 序列 $(x_n)$，可以递归选择下标

具体做法是：为每个 $j$ 取尾部阈值 $N_j$，使下标都不小于 $N_j$ 时距离小于 $2^{-j}$；递归选 ，并让 且 。这样选的是彼此都足够靠后的项，不是从“相邻项差趋零”推断 Cauchy。于是

假设绝对收敛级数都收敛，增量级数就收敛，从而它的部分和

收敛。原序列是 Cauchy，而一个 Cauchy 序列只要有一个收敛子序列，就会收敛到同一个极限：给定 $\varepsilon$，先让子序列项靠近极限，再让原序列的任意项靠近该子序列项即可。

闭子空间为什么仍然完备

设 $X$ 是 Banach 空间，$Y$ 是 $X$ 的线性子空间，范数取 $X$ 范数的限制。若 $Y$ 是闭集，那么 $Y$ 也是 Banach 空间。

证明时不要直接说“闭集当然完备”，要把极限属于哪里写出来。取 $Y$ 中的 Cauchy 序列 $(y_n)$。由于范数相同，它也是 $X$ 中的 Cauchy 序列；$X$ 完备，所以存在 $x\in X$ 使 。每个 在 中，而 闭，因此它包含自己的极限，得到 。所以 在 中收敛。

反方向也成立：若 $Y$ 在限制范数下完备，那么 $Y$ 在 $X$ 中闭。给定 $x\in\overline Y$，按闭包定义为每个 $n$ 选取 $y_n\in Y$，使

由三角不等式，$(y_n)$ 在 $Y$ 中是 Cauchy。完备性给出 $y\in Y$ 使 $y_n\to y$；在 中它同时趋于 ，极限唯一，所以 。因此 ，也就是闭集。这个反方向不需要 完备；它只用到了 完备和环境空间中极限的唯一性。

先在完备的大空间中取得极限，再用子空间的闭性把它留在子空间中。两个条件各承担一步。

这条等价关系把“证明一个新空间完备”的工作变成了两步：找到一个已经知道完备的大空间，再检查目标空间在其中是闭的。

例题：用两条路径判断 c₀

令

范数都取 $\lVert x\rVert_\infty=\sup_k|x_k|$。证明 $c_0$ 完备。你可以直接处理 中的 Cauchy 序列，也可以先证明 完备，再证明 闭；第二条路径更短，也更容易迁移到其他函数空间。

先证明 $\ell^\infty$ 完备。设 $x^{(n)}$ 是 $\ell^\infty$ 中的 Cauchy 序列。对每个固定坐标 $k$，有 $$，所以标量序列 收敛，记极限为 。

这个坐标极限仍然有界。由于 Cauchy 序列有界，存在 $M$ 使 $\lVert x^{(n)}\rVert_\infty\le M$；对每个 $k$ 取 $n\to\infty$ 得 ，所以 。

验证范数收敛。给定 $\varepsilon>0$，取 $N$ 使 $m,n\ge N$ 时 $\lVert x^{(m)}-x^{(n)}\rVert_\infty<\varepsilon$。固定 ，对每个 令 ，得到 ；对 取上确界，便有 。

再证明 $c_0$ 在 $\ell^\infty$ 中闭。若 $x^{(n)}\in c_0$ 且 ，给定 ，选 使 ；再利用 ，选 使 时 。于是 时 ，说明 ，所以 。

$\ell^\infty$ 完备且 $c_0$ 闭，闭子空间定理给出 $c_0$ 完备。

直接证明 $c_0$ 完备，需要同时追踪坐标极限和“趋于零”的尾部。刚才借助 $\ell^\infty$，就把这两个问题分开处理了。以后遇到“带额外条件的函数空间”，可以优先问一句：这个条件是否在已知范数下对极限稳定？若稳定，闭子空间路线往往最省力。

序列空间与连续函数空间

ℓᵖ 的坐标极限证明

对 $1\le p\lt \infty$，定义

证明 $\ell^p$ 完备时，关键不是把每个坐标分别取极限就结束，而是要证明极限序列仍然 $p$ 次可和，并且范数收敛。

设 $x^{(n)}$ 是 $\ell^p$ 中的 Cauchy 序列。对固定 $k$，

所以 $x_k^{(n)}$ 是标量 Cauchy 序列，记其极限为 $x_k$。对任意有限的 $K$，有限和的连续性给出

由于 $(x^{(n)})$ Cauchy，整个序列有界，存在 $M$ 使 $\lVert x^{(m)}\rVert_p\le M$。因此对每个 ，

左边随 $K$ 增大而递增，取极限得到 $\sum_{k=1}^{\infty}|x_k|^p\le M^p$，所以 。

还要验证 $x^{(n)}\to x$。给定 $\varepsilon>0$，取 $N$ 使 $m,n\ge N$ 时 。固定 ，对每个有限 令 ：

再令 $K\to\infty$，得到 $\lVert x^{(n)}-x\rVert_p\le\varepsilon$。这正是 ${\mathrm{\ell }}^{}$ 中的范数收敛。

$\ell^\infty$ 的完备性已经在 $c_0$ 的例题中展开。于是 $1\le p\le\infty$ 时，$\ell^p$ 都是 Banach 空间；其中 的范数来自内积，它将在 Hilbert 空间部分重新出现。

C(K) 的一致收敛证明

设 $K$ 是非空紧度量空间，$C(K)$ 表示 $K$ 上的连续标量值函数，范数为

取 $C(K)$ 中的 Cauchy 函数列 $(f_n)$。对每个 $x\in K$，

所以 $(f_n(x))$ 是标量 Cauchy 序列，定义 $f(x)=\lim_n f_n(x)$。同样的“固定 ，再让 ”步骤给出：对足够大的 ，

这说明 $f_n$ 一致收敛于 $f$。现在证明 $f$ 连续。给定 $x_0\in K$ 和 ，取 使得 。因为 连续，存在 ，使得 时

于是

所以 $f\in C(K)$，$C(K)$ 完备。

这里紧性让连续函数自动有界，使 $\lVert\cdot\rVert_\infty$ 确实是有限范数。证明“极限连续”真正用到的，是一致收敛提供了同一个 $n$ 控制所有 $x$；只有逐点收敛时，这个三项估计不能这样使用。

同一批函数换一个范数，完备性会改变

在 $C([0,1])$ 上取一致范数时，空间完备；换成

之后，连续函数空间就不再完备。问题不在于积分公式难，而在于 $L^1$ 范数允许函数在很短的区间里发生很大的变化，只要总面积小，距离仍然很小。

例题：连续函数逼近一个跳跃函数

在 $[0,1]$ 上定义连续函数

它们在长度为 $1/n$ 的窄区间内完成从 $0$ 到 $1$ 的过渡。若用 $\lVert\cdot\rVert_1$ 衡量，$f_n$ 越来越像

这个跳跃函数。注意 $f$ 不是连续函数。

过渡区在跳点左边，那里 $f=0$，而 $f_n$ 从 $0$ 升到 $1$。因此误差是 $f_n-f=f_n$；把这块三角形的面积算出来：

这里暂时在包含 $C[0,1]$ 的 $L^1[0,1]$ 中比较。三角不等式给出

所以 $(f_n)$ 确实是连续函数空间中的 Cauchy 列。

假如这个空间按 $\|\cdot\|_1$ 完备，就会有一个连续函数 $g$ 满足 $\|f_n-g\|_1\to0$。于是

得到 $g=f$ 几乎处处。接下来要排除的是“存在一个连续代表”，不能仅凭眼前这个 $f$ 不连续就结束证明。

若要把“连续函数不可能等于跳跃函数”写得更具体：若连续的 $g$ 几乎处处等于 $f$，那么 $g$ 在 $[0,1/2)$ 的稠密子集上取值为 $0$，连续性迫使 $g(1/2)=0$；在 的稠密子集上取值为 ，连续性又迫使 。两个结论冲突。

取 $n=4$，误差区域在跳点左侧，底为 $1/4$、高为 $1$，所以面积是 $1/8$。橙色函数在跳点取上方实心点；灰色竖边只是面积边界。

Lᵖ 的极限需要共同的零测例外集

设 $(\Omega,\Sigma,\mu)$ 是测度空间。$L^p$ 的元素是按“几乎处处相等”识别后的可测函数等价类；$1\le p<\infty$ 时，

$p=\infty$ 时使用本质上确界。这里用到的 Fatou 引理、Hölder 和 Minkowski，分别见《测度论与 Lebesgue 积分 I》第 6、8 章。接下来会明确指出它们用在哪里。

有限指数。 设 $(f_n)$ 在 $L^p$ 中 Cauchy。像前面的级数判据一样，取快子列，满足

选定可测代表，令 $g_j=f_{n_{j+1}}-f_{n_j}$。有限和 由 Minkowski 满足

当 $J\to\infty$ 时，$h_J\uparrow h=\sum_{j=1}^{\infty}|g_j|$。对非负函数 使用 Fatou 得

因此 $h$ 几乎处处有限，增量级数在同一个零测集之外绝对收敛。定义

于这个集合上，在例外集上赋值为零。它可测，且 $|f|\le|f_{n_1}|+h$ 几乎处处。右侧属于 $L^p$，所以已经确认 。

还要证明范数收敛。固定 $j$，对有限尾和使用 Minkowski，再以 Fatou 取长度趋于无穷：

子列于是按 $L^p$ 范数趋于 $f$。原列 Cauchy，任意足够晚的项都能通过一个足够晚的子列项接近 $f$，故原列也收敛。这里没有先调用无限和的 Minkowski；无限长度的估计是由有限和加 Fatou 得到的。

本质上确界。 对每一对 $m,n$，选一个零测集 $E_{m,n}$，使其外部都有

再排除每个代表的本质有界估计可能失效的零测集。所有这些集合只有可数多个，合成的集合 $E$ 仍然零测。对任意固定 $x\notin E$，$(f_n(x))$ 是标量 Cauchy 列，可以取极限 $f(x)$；在 上定义 。

Cauchy 列的范数有统一上界 $M$，所以 $|f(x)|\le M$ 于 $E$ 外，$f\in L^\infty$。若 $$ 时 ，固定 再令 ，得到 于同一个 外，故

这就完成了 $L^\infty$ 的证明。若每次换一对下标就换一个未加处理的例外集，便不能直接说“所有比较在同一点都成立”；可数并正是把它们统一起来的步骤。

完备化：把缺失的极限正式补进来

一个不完备的赋范空间并不需要被丢掉。我们可以把所有“本来应该有极限”的 Cauchy 序列当成新点，并把代表同一个极限过程的序列识别在一起。

设 $V$ 是赋范空间。记 $\mathcal C(V)$ 为 $V$ 中所有 Cauchy 序列的集合。对 $(x_n),(y_n)\in\mathcal C(V)$，定义

这是一个等价关系。自反性来自 $\lVert x_n-x_n\rVert=0$；对称性来自 $\|x_n-y_n\|=\|y_n-x_n\|$；若 且 ，则

所以有传递性。令 $\widehat V=\mathcal C(V)/\sim$，用 $\widehat{x}$ 表示一个 Cauchy 列的等价类。

加法和数乘逐项定义：两个 Cauchy 列逐项相加，标量乘法也逐项进行；对应的等价类分别记作 $\widehat{x+y}$ 和 $\widehat{\lambda x}$。

为什么这些运算与代表无关？若 $x\sim x'$、$y\sim y'$，则

数乘用 $\|\lambda(x_n-x'_n)\|=|\lambda|\|x_n-x'_n\|$ 即可。逐项相加和数乘仍然给出 Cauchy 列，向量空间的运算规则便从 传到等价类上。范数定义为

这个极限存在，因为

右边趋于零。若换成等价代表 $(y_n)$，则

所以范数不变。它的正定性也有明确含义：$\|[(x_n)]\|=0$ 当且仅当 $\|x_n\|\to0$，即 $(x_n)$ 等价于零列，所代表的就是零向量。齐次性与三角不等式，则对 中逐项成立的范数等式或不等式取极限即可。

把 $v\in V$ 送到常值序列：

它保持范数，且 $J(V)$ 在 $\widehat V$ 中稠密。事实上，对任意 $[(x_n)]$，

而 $(x_n)$ 是 Cauchy 列，$N$ 变大时右边趋于零。

剩下的关键是 $\widehat V$ 完备。这里我会利用刚证明的稠密性，把抽象等价类换成原空间中的近似点，避免同时追踪两层下标。

设 $(z_j)$ 是 $\widehat V$ 中的 Cauchy 列。对每个 $j$，选 $v_j\in V$ 使

因为 $J$ 等距，

右侧在 $j,k$ 都足够大时任意小，因此 $(v_j)$ 是 $V$ 中的 Cauchy 列，可以定义 $z=[(v_j)]\in\widehat V$。由范数定义，

最后

所以 $\widehat V$ 完备。每个新点都可被原空间中的点任意逼近，原有距离也完全保留。

这还说明完备化在保持原空间的意义下唯一。若另一个 Banach 空间 $B$ 中有等距线性嵌入 $I:V\to B$，且 $I(V)$ 稠密，就定义

$B$ 完备保证极限存在；等价代表之差趋零，保证定义不依赖代表。取极限可验证线性，以及 $\|U([(v_n)])\|_B=\lim_n\|v_n\|_V$，因此 等距。其像完备，所以在 中闭；其像包含稠密的 ，因此又稠密，只能等于 。任何连续且满足 的映射，在稠密集上都已确定，只能是这个 。

例题：有限支撑序列空间 的完备化

令 $c_{00}$ 是所有有限支撑序列组成的空间，范数取 $\ell^p$ 范数，其中 $1\le p\lt \infty$。判断它是否完备，并找出它的完备化。

不能直接用“有限支撑”证明完备，因为 Cauchy 极限可能打开无穷多个坐标。取 $x=(1,1/2,1/3,\ldots)$ 只适合说明某些范数下的差异；为了统一处理 $p$，选一个属于 $\ell^p$ 但有无穷支撑的序列，例如 $x_k=2^{-k/p}$。

这里用逐渐降低的坐标示意截断后仍会遗漏的尾部；不是特定序列的精确数值图。能否控制整个尾部，需要下面的级数估计。

令 $x^{(N)}=(x_1,\ldots,x_N,0,0,\ldots)\in c_{00}$。当 时，

因而 $(x^{(N)})$ 是 $c_{00}$ 中的 Cauchy 列。

它在 $\ell^p$ 中收敛到 $x$，但 $x$ 不在 $c_{00}$，因为每个坐标都非零。因此 $c_{00}$ 不完备。

对任意 $x=(x_k)\in\ell^p$，截断序列 $x^{(N)}\in c_{00}$ 满足

所以 $c_{00}$ 在 $\ell^p$ 中稠密。$\ell^p$ 已经完备，故 $\ell^p$ 正是 的完备化。

同样是 $c_{00}$，换成上确界范数，完备化就变成 $c_0$。对任意 $x\in c_0$，截断满足

所以 $c_{00}$ 在 $c_0$ 中稠密，而上文已证明 $c_0$ 完备。不能把这个完备化扩大成整个 $\ell^\infty$：常数序列 与任意有限支撑序列的上确界距离都至少为 ，它不可能由有限截断逼近。

截断误差怎样控制所有更晚的项

考虑 $x_k=k^{-a}$，$a>0$。对 $M>N$ 和有限 ，

令 $q=ap$。若 $q>1$，递减函数 $t^{-q}$ 的积分给出

这来自每个单位区间上函数值与端点值的比较，再把相邻区间的积分相加。右侧趋于零，而且不依赖 $M$，所以真的控制了所有更晚截断。若 $q\le1$，相应积分发散，尾级数也发散；对任意 $N$ 都能把 $M$ 取得很大，让距离超过某个固定正数。

在 $a=p=1$ 的临界情形，无需等到很大的 $M$。直接取 $M=2N$：

上确界范数则不同。$a>0$ 时，$x\in c_0$，并且尾误差恰好是 $(N+1)^{-a}$。因此同一批截断在某个范数下是 Cauchy，在另一个范数下可能失败。

实验里先选 $a=1$，比较 $M=N+1$ 与 $M=2N$。只看相邻两项，你会得到怎样的误判？切换范数后，观察有限尾和与不依赖 $M$ 的尾部界，把显示的结果和刚才的积分估计对上。图中只显示有限个坐标，关于全部尾项的结论来自这些估计。

Baire 定理：完备性开始产生整体结论

Baire 定理的入口版本如下：若 $M$ 是非空完备度量空间，且

那么至少有一个 $F_n$ 含有非空开集。换句话说，完备空间不能被可数个“内部都空的闭集”覆盖。

也常把它写成开集版本：完备度量空间中，可数个稠密开集的交集仍然稠密。两个版本通过取补集互相转换。

在每个闭球里面继续避开下一个闭集

假设每个 $F_n$ 都没有内点。任取一个非空开球 $B_0$。由于 $F_1$ 没有内点，$B_0$ 中存在不属于 的点；又因为 闭， 是开集。在该点附近选足够小的正半径，就能让整个闭球留在这个开集中，并把直径压小：

因为 $F_2$ 也没有内点，在 $\overline B_1$ 的内部继续选取

如此得到嵌套闭球

取每个球的中心 $x_n$。嵌套关系和直径趋于零保证 $(x_n)$ 是 Cauchy 序列；完备性给出 $x_n\to x\in M$。固定 ，当 时 ，而 闭，所以极限 。因此 在所有 中，特别是 对每个 都成立。这与 矛盾。

证明中两类闭性各有用途：$F_n$ 闭，让选中的点周围仍有可用的开邻域；嵌套球闭，让球心列的极限仍留在各层之中。完备性则保证这个极限存在于 $M$。这几步不能互相代替。

这是一段构造的示意，位置不按数值比例绘制：$I_1=[1/8,3/8]$ 避开 $1/2$，$I_2=[3/16,7/32]$ 避开 ，且严格位于上一层内部。图中两点只用于演示选区间，完整枚举在交互中进行。

在一维实验里，把 $[0,1]$ 中的有理数依次写成 $q_1,q_2,\ldots$，令 $F_n=\{q_n\}$。每一步选择的闭区间都要严格留在上一层内部，并且连端点也不能碰到当前的 。试着选一个不合格的区间，看看是哪一个条件失败；再保留一条合法的选择轨迹。

屏幕上的有限次选择只能给出一个包含所有后续候选点的区间，不能宣布已经找到了最终点。如果规则无限继续，区间长度趋于零，在 $\mathbb R$ 中会留下唯一的点，并避开每个列出的有理数。把底空间改成 $\mathbb Q$，同样的区间与 $\mathbb Q$ 的交在每个有限阶段都非空，但无限交为空：实数极限不属于 $\mathbb Q$。这正是完备性负责的那一步。

递进练习：从判断到迁移

写解答时，把候选极限属于哪个空间说清楚。尤其要分清：是借助大空间的完备性取得极限，还是正在证明这个大空间本身完备。

题 1｜巩固：Cauchy 的尾部估计。 设 $(x^{(n)})$ 是 $\ell^\infty$ 中的序列，并且对任意 $\varepsilon>0$，存在 $N$ 使 时 。证明对每个固定的坐标 ，标量序列 是 Cauchy。

题 2｜巩固：有限支撑不是完备性。 令 $c_{00}$ 是有限支撑序列空间，范数取 $\lVert\cdot\rVert_\infty$。构造一个 $c_{00}$ 中的 Cauchy 列，说明它在 中的极限不属于 。

题 3｜两条约束能否保留到极限。 令

范数取上确界范数。证明 $Y$ 是 Banach 空间；除了说它是子空间，还要分别核对两条条件在极限下是否保留。

题 4｜应用：$C(K)$ 的连续性证明。 设 $f_n\in C(K)$ 且 $\lVert f_n-f\rVert_\infty\to0$。不用调用“连续函数一致极限仍连续”这一现成结论，直接用三角不等式证明 连续。

题 5｜给坐标加权。 固定 $1\le p<\infty$ 和任意正数列 $(w_k)$，令

说明它是 Banach 空间。权重可以趋于零，也可以无界；不要擅自增加统一上下界假设。

题 6｜变式：原序列与快收敛子列。 设 $(z_n)$ 是一个度量空间中的 Cauchy 序列，并且存在子列 $z_{n_j}\to z$。证明 $$。指出证明中 Cauchy 条件和子列收敛分别负责哪一步。

题 7｜迁移：稠密子空间与完备化。 证明 $c_{00}$ 在 $\ell^2$ 中稠密，并说明为什么这条事实不能说明 $c_{00}$ 自身完备。

题 8｜迁移：Baire 的条件诊断。 为什么下面的论证不能成立：$\mathbb Q$ 是可数集，所以它是可数个单点闭集的并；每个单点没有内点；因此 Baire 定理说明 $\mathbb Q$ 不存在？请指出至少一个被误用的条件。

题 9｜允许代表在零测集上乱动。 在 $[0,1]$ 的 Lebesgue 测度下，令 $f_n=n\mathbf1_{\mathbb Q\cap[0,1]}$。它在 中是否收敛？这些具体代表是否在每一点收敛？再说明本章 完备证明为什么要统一零测例外集。

题 10｜把快子列证明用于函数级数。 设 $1\le p<\infty$，$g_j\in L^p$ 且 $\sum_j\|g_j\|_p<\infty$。证明 几乎处处绝对收敛，并在 中收敛；给出截断余项的范数上界。

题 11｜无限维 Banach 空间不能靠可数个代数基向量张成。 假设 $X$ 是无限维 Banach 空间，并有序列 $v_1,v_2,\ldots$，使每个 $x\in X$ 都是其中有限多个向量的线性组合。用 Baire 定理推出矛盾。这里讨论的是有限线性组合，不能把结论误读为不存在 Schauder 基。

完备不等于紧

标准单位向量 $e_n$ 都在 $\ell^2$ 的闭单位球中，任意两项的距离却是 $\sqrt2$，因此没有收敛子列。这与本章证明 完备并不冲突： 根本不是 Cauchy 列。完备性保证的是已经彼此靠近的尾项拥有空间内的极限，不会让一个始终分离的有界序列自动聚拢。