本页目录

泛函 I · 度量空间与 Banach 空间

泛函分析 = "无穷维空间上的线性代数 + 分析"。研究对象从数与函数升级为空间与算子。本页立好地基：度量与完备性、压缩映像原理（本站被引三次的欠条在此正式清偿）、赋范空间与 Banach 空间，以及无穷维与有限维的第一道分水岭。

学习层：三张证书都盖章，压缩迭代才是定理

1. 先预测：到底是哪一张资格证失效？

对迭代 \(x_{n+1}=Tx_n\)，不要把“看起来在收缩”直接当成 Banach 定理。需要分别核对：

  1. 完备性：\(D\) 作为度量空间是否接住所有 Cauchy 极限？\(\mathbb R\) 和闭区间是，开区间通常不是。
  2. 不变域：\(T(D)\subseteq D\) 是否成立？即使 \(T\) 在整个 \(\mathbb R\) 上是压缩，限制到一个不变性失败的 \(D\) 仍不能套定理。
  3. 全局压缩证书：是否有同一个 \(q<1\) 对 \(D\) 中所有点成立？一次轨迹变近，既不能证明全局 Lipschitz，也不能替代唯一性证明。

先对下表预测“可证”“域逃逸”“空间不完备”或“没有压缩证书”。实验揭示后才显示实际误差、先验界与后验界；后两者有公式不等于假设已经满足。

2. 最小模型：把三张证书分开记账

实验只用仿射映射 \(T(x)=qx+b\)，但把定义域单独作为模型的一部分。若 \(q\ne1\)，代数固定点为

\[ x^*=\frac{b}{1-q}. \]

在完备且不变的定义域上，\(|q|<1\) 给出全局压缩证书。令 \(e_n=|x_n-x^*|\)，则实际误差和两类证书分别是

\[ e_n\quad\text{（实际误差）},\qquad \underbrace{\frac{|q|^n}{1-|q|}|x_1-x_0|}_{\text{先验界}},\qquad \underbrace{\frac{|q|}{1-|q|}|x_n-x_{n-1}|}_{\text{后验界}}. \]

先验界只使用初始步长和迭代次数；后验界使用已经观测到的最近一步。对当前迭代还必须检查 \(x_0\in D\)。它们都必须在“完备 + 自映射 + 压缩”的证书范围内解释，不能把一条形式不等式包装成定理。

3. 动手实验：先预测，后打开账本

揭示前只选择判断；揭示后可换预设并调节 \(q,b,x_0\)。图中同时画轨道与两种界，表格逐行列出 \(x_n\)、\(|x_n-x^*|\)、先验界、后验界和是否已经逃出 \(D\)。

无 JavaScript 时的静态读法： 默认模型取 \(D=\mathbb R\)、\(T(x)=0.6x+1\)、\(x_0=0\)。此时 \(D\) 完备且不变，\(q=0.6<1\) 是全局压缩证书，\(x^*=2.5\)；实际误差、先验界和后验界应分别按上式读取。四个边界样本如下：

| 情形 | 定义域与映射 | 完备 | 不变 | 全局 \(|q|<1\) | 结论 | |---|---|---:|---:|---:|---| | 合法证书 | \(\mathbb R,\ T(x)=0.6x+1\) | 是 | 是 | 是 | 唯一固定点，迭代收敛 | | 闭域证书 | \([0,1],\ T(x)=0.5x+0.25\) | 是 | 是 | 是 | 唯一固定点在闭域内 | | 域逃逸 | \([0,1],\ T(x)=0.6x+0.8,\ x_0=0.9\) | 是 | 否（\(x_1=1.34\)） | 是 | 不能在该域套定理，固定点 \(2\) 也在域外 | | 不完备 | \((0,1),\ T(x)=0.5x,\ x_0=0.5\) | 否 | 是 | 是 | \(x_n\to0\notin D\)，不保证域内固定点 | | 非压缩 | \(\mathbb R,\ T(x)=1.1x\) | 是 | 是 | 否 | 迭代从 \(x_0\ne0\) 膨胀，只有形式固定点 \(0\) |

有限行的数字只能展示诊断；它们不能替代对定义域、量词和完备性的证明。

4. 迁移问题：从标量模型回到函数空间

Picard 积分算子在 \(C[0,h]\) 上的压缩常数依赖区间长度；换到全时间区间时，局部不变域与分段延拓如何接起来？请把“换一个范数”“缩短区间”“先完备化再迭代”分别标注为改变哪一张证书，而不要只说“\(|g'|<1\) 所以一定收敛”。

展开核对：Picard 迭代的三张证书

在初值附近矩形上设 \(|f(t,y)|\le M\)、对 \(y\) 的 Lipschitz 常数为 \(L\)。取

\[D=\{u\in C[0,h]:\|u-y_0\|_\infty\le b\},\qquad Tu(t)=y_0+\int_0^t f(s,u(s))\,ds.\]

\(D\) 是完备空间中的非空闭集，因此完备；\(Mh\le b\) 保证 \(T(D)\subset D\)；\(Lh<1\) 给出 \(\|Tu-Tv\|_\infty\le Lh\|u-v\|_\infty\)。初始函数也要放在 \(D\) 中，例如 \(u_0\equiv y_0\)。

  • 缩短区间同时帮助不变域和压缩常数；仅让 \(Lh<1\) 却忘记 \(Mh\le b\)，证明仍未完成。
  • 换范数可能改变压缩常数；在固定有限区间取 \(\alpha>0\)，定义 \(\|u\|_\alpha=\sup e^{-\alpha t}|u(t)|\)，有 \(\|Tu-Tv\|_\alpha\le (L/\alpha)(1-e^{-\alpha h})\|u-v\|_\alpha\)。等价范数保留完备性，但不自动改变或保证不变域。
  • 先完备化补的是 Cauchy 极限；还需把压缩映射连续延拓到完备化空间，并核对解是否仍属于原问题要求的域。例如 \((0,1)\) 上 \(T(x)=x/2\) 的完备化是 \([0,1]\)，新增固定点 \(0\) 依旧不属于原域。

把短区间的终点当下一段初值，唯一性保证重叠处能拼合；局部定理仍不能排除有限时刻爆破。\(y'=y^2\) 的最大区间就是边界样本。

先修：一致收敛、一阶 ODE；后续：Hilbert 投影。

1. 度量空间与完备性

定义 度量空间 \((X, d)\)：\(d\) 满足正定、对称、三角不等式。由此定义收敛、Cauchy 列、开闭集、连续——数分 I 的语言原样迁移（那一页就是按"将来能搬家"写的）。

完备：Cauchy 列必收敛于空间内。例：\(\mathbb{R}^n\)、\(C[a,b]\)（配 \(\max\) 度量）、\(L^p\)（实变 III）完备；\(\mathbb{Q}\)、多项式全体（配 max 度量）不完备。不完备空间可完备化（唯一地填洞——\(\mathbb{Q} \to \mathbb{R}\)、有限区间 Riemann 可积函数按 \(L^p\) 范数取等价类后完备化为 \(L^p\)（\(1\le p<\infty\)）两大先例）。

2. 压缩映像原理（Banach 不动点定理）

定理 \((X, d)\) 非空且完备，\(T: X \to X\) 是压缩（存在 \(0\le\theta < 1\) 使 \(d(Tx, Ty) \leq \theta\, d(x, y)\)），则 \(T\) 有唯一不动点 \(x^*\)，且从任意 \(x_0\in X\) 出发迭代 \(x_{n+1} = Tx_n\) 收敛于它，误差有先验估计 \(d(x_n, x^*) \leq \frac{\theta^n}{1 - \theta}d(x_1, x_0)\)。

证明（四行，全站被引最多的证明）：迭代列相邻距离 \(d(x_{n+1}, x_n) \leq \theta^n d(x_1, x_0)\)，三角不等式加几何级数 ⇒ Cauchy 列；完备性给极限 \(x^*\)；\(T\) 连续（压缩⇒Lipschitz）故 \(Tx^* = \lim Tx_n = x^*\)；唯一性：两个不动点的距离 \(\leq \theta \times\) 自身 ⇒ 为零。\(\blacksquare\)

三张欠条一并清偿：ODE 解的存在唯一（Picard 迭代，ode-01——\(T\) 是积分算子，小区间上压缩）；数值求根的不动点迭代（num-03——闭不变区间上 \(\sup|g'|\le q<1\) 给压缩证书）；隐函数定理的现代证明（数分 V）。同一定理，三个学科的引擎——抽象的回报率在此具象化。

3. 赋范空间与 Banach 空间

定义 线性空间 + 范数 \(\|\cdot\|\)（正定、齐次、三角）⇒ 赋范空间；\(d(x,y) = \|x - y\|\) 成度量空间；完备的赋范空间 = Banach 空间。

主力例子清单：\(\mathbb{R}^n\)（任意范数）、\(C[a,b]\) 配 \(\|f\|_\infty = \max|f|\)（一致收敛的空间语言：按此范数收敛 ⟺ 一致收敛——数分 IV 的概念在此获得几何身份）、\(L^p\) 与 \(\ell^p\)（\(1\le p\le\infty\)，实变 III）。

范数等价：有限维空间上一切范数等价（诱导同样的收敛与拓扑）——所以高代不用操心用哪个范数；无穷维上不同范数未必等价（\(C[0,1]\) 上 \(\|\cdot\|_\infty\) 与 \(\|\cdot\|_1\) 给出不同的收敛概念）——选范数=选拓扑=选问题，泛函分析的第一自觉。

4. 有限维与无穷维的分水岭

定理（Riesz 引理引出的判据） 赋范空间的闭单位球紧 \(\iff\) 空间有限维。

——数分 I 的 Bolzano–Weierstrass（有界列必有收敛子列）在无穷维失效：\(L^2\) 中的标准正交列 \(\{e_n\}\) 有界（\(\|e_n\| = 1\)）却两两距离 \(\sqrt2\)——永无收敛子列。后果深远：无穷维上"有界闭集上连续函数取最值"不再免费（最优化的存在性要重新奋斗——变分法直接法、弱收敛等概念因此而生，知其动机即可）。这是"无穷维不是有限维的简单放大"的第一声警钟。

级数与完备性的等价刻画：赋范空间完备 \(\iff\) 绝对收敛级数必收敛（\(\sum\|x_n\| < \infty \Rightarrow \sum x_n\) 收敛）——数分 IV"绝对收敛⇒收敛"原来是完备性的化身。

5. 典型例题

例 1（压缩映像应用：积分方程） 证明 \(f(x) = \frac12\int_0^1 \sin(xt)f(t)\,dt + e^x\) 在 \(C[0,1]\) 中有唯一解。 解：右端定义 \(T: C[0,1] \to C[0,1]\)；\(\|Tf - Tg\|_\infty \leq \frac12\max\int|\sin(xt)||f - g|dt \leq \frac12\|f - g\|_\infty\)——压缩系数 \(\frac12\)，完备空间 + 压缩映像 ⇒ 唯一解，且迭代可数值逼近。（第二类 Fredholm 积分方程的标准操作。）

例 2（不完备的体感） 多项式空间 \(P[0,1]\) 配 \(\|\cdot\|_\infty\)：Taylor 部分和 \(\sum_0^n \frac{x^k}{k!}\) 是 Cauchy 列（一致收敛于 \(e^x\)）但极限不是多项式——洞就在那里。Weierstrass 逼近定理（多项式在 \(C[0,1]\) 稠密）说：\(P\) 的完备化恰是 \(C[0,1]\)。

例 3（范数不等价实例） \(f_n = x^n\) 在 \(C[0,1]\)：\(\|f_n\|_1 = \frac{1}{n+1} \to 0\) 但 \(\|f_n\|_\infty \equiv 1\)——按 \(L^1\) 范数趋零、按一致范数原地不动。"收敛了吗"在无穷维必须先问"按哪个范数"。\(\blacksquare\)

下一页：给 Banach 空间装上内积——Hilbert 空间：投影定理、正交基与 Riesz 表示，几何直觉的无穷维复活。