附录 A：选择公理与存在性方法
泛函分析中常见两种存在性步骤：从许多非空集合中各取一个元素，或从所有允许的对象中取得一个极大对象。选择原则使这些步骤能够在任意指标集上实施；它保证对象存在，但通常不给出计算公式。
§ 01同时选取与极大对象
定义 1.1选择公理
对每个非空集合族 \((A_i)_{i\in I}\)，存在函数 \(s\)，使 \(s(i)\in A_i\) 对全部 \(i\) 成立。
定义 1.2链、极大元与良序
偏序集中的链是任意两元素均可比较的子集。极大元 \(m\) 满足不存在 \(m<x\)；最大元则要求全部 \(x\leq m\)。良序是每个非空子集均有最小元的全序。
定理 1.3Zorn 引理与良序定理
若非空偏序集的每条链都有上界，则它有极大元。良序定理断言每个集合都可赋予良序。在 ZF 集合论中，选择公理、Zorn 引理和良序定理等价。
Tychonoff 定理的任意紧空间乘积版本同样与选择公理等价。仅讨论紧 Hausdorff 空间的乘积时所需的选择原则更弱；某个证明使用了 Zorn，并不意味着它所证明的每个结论都与完整选择公理等价。
§ 02有些选择可并入指标
设 \(x\in\overline A\)。对每个邻域 \(U\) 取 \(a_U\in A\cap U\) 可以构造趋于 \(x\) 的网，但这同时选择了许多个点。另一种构造把所有可用点都保留在指标中：
定义 \(x_{(U,a)}=a\)。共同上界存在，因为两个邻域的交仍与 \(A\) 相交；网趋于 \(x\)，因为指标的邻域不断缩小。这个构造没有为每个邻域预先指定一个点。闭包、连续性和 Hausdorff 性的网刻画均可使用类似方法。
§ 03Zorn 引理在泛函分析中的位置
| 构造 | 偏序对象 | 链的上界 | 极大性带来的结论 |
|---|---|---|---|
| 标准正交基 | 标准正交子集 | 链的并集 | 闭线性张成等于全空间 |
| Hahn–Banach 扩张 | 满足支配条件的泛函扩张 | 一致定义的并 | 定义域扩大到整个空间 |
| 循环分解 | 互相正交的循环闭子空间族 | 链的并族 | 正交补为零 |
| 超滤子扩张 | 包含给定滤子的真滤子 | 链的并集 | 决定任意集合或其补集 |
这些构造中的“链的并”都需要核对相容性：并中的任意有限组数据已经同时出现在链的某个成员中。局部条件因此保留到并对象上；极大性再排除遗漏的方向。正交展开、循环分解与泛函延拓分别给出完整的应用步骤。
标准正交基的存在
空标准正交族使偏序集非空。一条链的并仍标准正交，因为任意两个向量已同时位于链上的某个成员。Zorn 给出极大标准正交族 \(E\)。若其闭线性张成 \(M\) 不等于 \(H\)，投影定理在 \(M^\perp\) 中给出非零向量，归一化后可加入 \(E\)，与极大性矛盾。因此 \(E\) 是标准正交基。
Hahn–Banach 中的极大性
对保持既有泛函并满足次线性支配的扩张按定义域包含排序。一条链上的扩张在交集上相容，因此并给出一个扩张。Zorn 得到极大扩张；若它的定义域还缺少一个方向，一维扩张步骤提供一个允许的取值区间，便可继续扩张，矛盾。区间非空来自次线性不等式，而全空间上的极大扩张由选择原则保证。
§ 04可数性与具体构造
可分 Hilbert 空间中，对可数稠密序列作 Gram–Schmidt 即可得到可数标准正交基。可分赋范空间的对偶闭球上，可数稠密测试向量决定弱-* 拓扑；对角抽取子列后，统一范数界将测试集上的数值极限延拓到全空间。Hahn–Banach 也可以沿可数个稠密方向逐步扩张，再作连续延拓。
这些证明避免了任意极大族，且明确展示了逼近机制。不过逐次选择可能使用可数选择或依赖选择，不能仅凭写成归纳步骤就断言完全不含选择原则。空间可分也不保证其对偶在范数下可分：\(\ell^1\) 可分，而 \(\ell^\infty\) 不可分；后者的单位球在以 \(\ell^1\) 为前对偶的弱-* 拓扑下却可度量。
这里尤其需要区分两件事：某项结论在通常采用的 ZFC 框架中成立，以及它在去掉某些选择原则后是否仍成立。前者的证明不能自动回答后者；非可分对偶上的泛函构造正是需要单独分析的步骤。
§ 05存在性结论提供多少信息
Hahn–Banach 保证收敛序列上的极限泛函可保范延拓到 \(\ell^\infty\)，却不保证延拓唯一，也不直接给出任意有界序列的取值。开映射定理保证范数受控的原像存在，但不自动提供连续线性的选解算子。Lax–Milgram 则在强制性条件下同时提供唯一解与稳定估计。
这些差别可以由具体数学对象呈现：
| 条件 | 保证的信息 |
|---|---|
| 线性张成稠密且测试值统一有界 | 唯一连续延拓及范数界 |
| 闭凸集与 Hilbert 范数 | 唯一最佳逼近 |
| 相等的亏指数 | 存在自伴扩张，通常有许多选择 |
| 指定相位边界条件 | 确定一个具体自伴一阶微分算子 |
| 紧区间的全部矩 | 唯一代表测度 |
| 非紧区间的全部矩 | 存在代表测度时仍可能不唯一 |
§ 06同一对象的多种表示
预解式可表现为有限矩阵的逆、积分核，或算子的有界逆。它们在具体问题中联系起来，需要同时验证作用方式、定义域和极限：有限压缩的矩阵元趋于 Stieltjes 变换，谱演算将 \((z-\lambda)^{-1}\) 变成 \((z-T)^{-1}\)，紧积分算子的 Fredholm 理论则把核表达式与逆算子对应。
同样，二次型、半双线性形式和算子表达了相同作用的不同部分。极化恢复形式，Riesz 同构恢复算子，谱测度将形式值恢复为积分。抽象表示让这些构造具有统一的性质，具体模型则给出边界条件、近似误差和可计算的系数。
§ 07练习
习题 7.1A.1
写出正交基构造中链的上界，并证明极大标准正交族的闭线性张成是整个 Hilbert 空间。
解答
链的上界为并集；正交性由链上两个成员可比较得到。若闭线性张成有非零正交补，将其中单位向量加入即可扩大原族，与极大性矛盾。
习题 7.2A.2
对可分赋范空间 \(V\)，取稠密序列 \(v_n\)。证明对偶闭单位球上 \(d(\phi,\psi)=\sum_n2^{-n}\min\{1,|\phi(v_n)-\psi(v_n)|\}\) 是诱导弱-* 拓扑的度量。
解答
稠密性和泛函连续性给出正定性；逐项三角不等式给出度量性质。弱-* 收敛蕴含每项收敛，由级数尾部一致小得到度量收敛。反向先得到每个 \(v_n\) 的测试值收敛，再用统一范数界 \(|\phi(v)-\phi(v_n)|\leq\|v-v_n\|\) 将其推广到全部 \(v\)。
完
评论