泛函分析习题讲解 习题1.9
习题题面
证明距离空间中每一个Cauchy列是有界集.
习题分析
接下来的几道习题依然是整本书当中唯四没有教材参考答案的题目之一，所以我们只能继续依靠严谨的分析论证来推进学习，而没有办法对教材的答案指点江山了。
如果同学们顺利完成了上一道习题（习题 1.8）的深入探讨，会发现在这里其实潜藏着一条绝妙的理论连线。我们不仅可以通过传统的“开球包裹”来验证有界性，更能站在上一题“全有界集”的更高视角来俯瞰Cauchy列（基本列）的几何结构。在任意距离空间中，Cauchy列定义最核心的几何意义在于，其无穷尾部的元素会无限靠近。根据Cauchy列的收敛法则，对于任意给定的正数 \(\varepsilon>0\)，从某项 \(N\) 开始的尾部点列之间的距离全都小于 \(\varepsilon\)；这意味着我们可以直接用某一个半径为 \(\varepsilon\) 的小球，把整个序列的无穷尾部一次性彻底盖住。与此同时，在第 \(N\) 项之前的有限头部仅包含有限个点（即前 \(N-1\) 个元素），每一个点单独用一个半径为 \(\varepsilon\) 的小球覆盖，便构成了有限个小球。将两者整合在一起，整个Cauchy列被有限个半径为 \(\varepsilon\) 的小球完全覆盖，这极具洞察力地告诉我们，距离空间中的每一个Cauchy列，实质上不仅是有界集，它绝对还是一个全有界集。由全有界必有界的性质，本题的结论不言自明。
如果我们回退到最基础的有界集定义（即寻找一个固定中点与大半径 \(R\) 的开球包含整个集合），思路同样遵循了上述逻辑，即“割尾法”（或称截尾法）。这是数学分析与泛函分析中处理无穷序列、级数或函数族时的标准动作——将无穷过程划分为“有限头部”与“无穷尾部”分别控制。由于Cauchy列在局部已经对无穷尾部的范围提供了绝对控制（例如给定固定精度 \(\varepsilon = 1\) 时，尾部全落在以 \(x_N\) 为球心、半径为 \(1\) 的球内），我们剩下的工作仅仅是对有限头部求取到参考点 \(x_N\) 距离的最大值。由于有限非负实数集的上界必存在且有限，将其最大值加上尾部的余量，即可轻松构造出一个包裹全体序列元素的大球。
标准解答
下面提供两种逻辑等价但视角不同的论证方法：开球覆盖法与直径控制法。在练习或考场作答时，任选其一即可.
证法一：开球覆盖法
设 \((X,d)\) 为任意距离空间，\(\{x_n\}_{n=1}^\infty\) 为该空间中的一个Cauchy列，记其对应的点集为 \(A=\{x_n \mid n \in \mathbb{N}^+\}\).
由Cauchy列的定义，取定精度 \(\varepsilon=1>0\)，必定存在正整数 \(N\)，使得当所有下标 \(m,n\ge N\) 时，均有：
\[d(x_m, x_n) < 1\]
特别地，我们固定其一端下标为 \(m=N\)，则对所有序列尾部项 \(n\ge N\)，恒满足 \(d(x_n,x_N)<1\).
对于序列头部的有限点集 \(\{x_1, x_2, \dots, x_{N-1}\}\)，考察它们到参考点 \(x_N\) 的距离。由于有限非负实数集的最大值必然存在且有限，可记：
\[M = \max_{1 \le i \le N-1} d(x_i, x_N) < \infty\]
现定义一个能包容全体序列元素的大半径 \(R=M+1\). 对任意自然数 \(n\in\mathbb{N}^+\)，将其分为两种情形讨论：
- 当 \(n< N\) 时，由最大值 \(M\) 的定义有 \(d(x_n,x_N)\le M < R\)；
- 当 \(n\ge N\) 时，由Cauchy尾部控制条件有 \(d(x_n,x_N)<1 \le R\).
综上可知，对一切 \(n\in\mathbb{N}^+\)，恒有：
\[d(x_n, x_N) < R\]
这说明全体序列元素满足 \(A \subset B(x_N, R)\). 依度量空间中有界集的定义，该Cauchy列必为一个有界集.
证法二：集合直径法
我们亦可不显式建立中心开球，而是利用距离空间中有界集的等价判定——集合直径有限（\(\text{diam}(A) < \infty\)）来进行论证.
设 \(A = \{x_n \mid n \in \mathbb{N}^+\}\). 依Cauchy列的收敛性质，取定正数 \(\varepsilon = 1\)，必存在正整数 \(N\)，使得对任意下标 \(m, n \ge N\)，恒有：
\[d(x_m, x_n) < 1\]
考虑序列头部的有限项 \(\{x_1, x_2, \dots, x_N\}\) 之间所有配对的度量距离，并记其最大值为：
\[M = \max_{1 \le i, j \le N} d(x_i, x_j) < \infty\]
因为该指标集为有限非负实数集，其上界 \(M\) 有限且唯一确定.
现任取集合中的两个不同元素 \(x_p, x_q \in A\)（\(p, q \in \mathbb{N}^+\)）。以分界项 \(x_N\) 为中介，由距离空间的三角不等式有：
\[d(x_p, x_q) \le d(x_p, x_N) + d(x_N, x_q)\]
考察右上式中的任一距离项 \(d(x_k, x_N)\)（其中 \(k\) 代表下标 \(p\) 或 \(q\)）：
- 若 \(k \le N\)，由头部间距上限定义得 \(d(x_k, x_N) \le M\)；
- 若 \(k > N\)，由Cauchy尾部条件可知 \(d(x_k, x_N) < 1\).
因此，无论下标 \(p,q\) 如何分布，各自到分界点 \(x_N\) 的距离均被严谨界定为 \(d(x_k, x_N) \le \max\{M, 1\} \le M + 1\). 将其代入三角不等式即可得到两点间距的统一上界：
\[d(x_p, x_q) \le 2(M + 1) = 2M + 2 < \infty\]
由于 \(x_p, x_q\) 为集合 \(A\) 中任取的两点，故集合直径满足 \(\text{diam}(A) \le 2M + 2 < \infty\). 这证明了距离空间中的任何Cauchy列恒为有界集.
助教提点
这道习题的几何图景相对直观——核心无非是通过局部的小范围控制，最终构造出一个“大球包容全体”的边界。但本题更为重要的学习价值，在于它为我们揭示了现代分析学中处理“无限”这一核心矛盾的经典范式。
在分析学的研究中，面对完全未知的“无限”过程时，最奏效的策略往往是将无限序列切分为两部分：“极其有限的部分”与“受控的无限部分”。以本题的Cauchy列为例，序列的无穷尾部由于基本列的收敛性质，其点与点之间的波动范围是严格受控的（被控制在任意小的精度 \(\varepsilon\) 之内）；而自截断项之前的前部序列虽然点的位置不确定，但由于其元素个数是有限的，总可以依靠有限集的代数特性被一次性圈定。这种“有限与无限分而治之”的“割尾法”，是后续在泛函分析、实变函数中推演各类极限与有界性定理时极为核心的思维路径。
基于这两种证法的内在逻辑，在具体的作业或期末考场阅卷中，我们的评分规则（以10分制为例）非常明确：
- 策略拆分（4分）：无论是使用开球覆盖法还是集合直径法，证明步骤中必须清晰地体现将全体序列拆分为“前部有限项”与“尾部无穷项”的划分动作。未能找出该分界项 \(N\) 的证明将扣除基础策略分。
- 双端论证与整合（6分）：能够准确书写出对于前部有限项间距和尾部无穷项间距的分别绑定，并严格证明全局上界的确立。
同时，特别提醒同学们在证明和复习过程中务必警惕两个极其重大的概念误区：
- 切勿预设Cauchy列在空间中恒收敛
许多同学会下意识地写出“因为Cauchy列必然收敛于某点 \(x^*\)，故围绕极限点 \(x^*\) 必定存在有界球”，这就犯了严重的概念错误！Cauchy列收敛的前置条件是该度量空间具有“完备性（Completeness）”。在一般的度量空间中（如不包含极限点的开区间或有理数集），Cauchy列无法保证在空间内存在收敛点。我们必须依靠Cauchy列自身的Cauchy条件去直接证明有界，而非通过收敛性迂回。
- 严守 \(\max\) 与 \(\sup\) 的适用界限
在论证头部有限点到参考点的最大距离时，符号 \(\max\) 能够合法使用的关键前提在于这个集合是一个有限集。有限个实数所构成的集合必能达到其最大值；如果所讨论的对象是一个无限集，在没有额外紧致性等条件保障下，我们绝不能轻易书写 \(\max\)，而只能讨论其上确界 \(\sup\)。分清两者的边界，是泛函分析书面表达严谨性的基石。