本页目录
泛函 III · 有界算子与三大定理
线性代数研究矩阵，泛函分析研究算子——无穷维空间之间的线性映射。本页先立算子的基本语言，然后陈述支撑整座大厦的三大定理（Hahn–Banach、一致有界、开映射/闭图像），最后谱理论一瞥——特征值理论的无穷维终章。定位：三大定理掌握陈述与意义即可，证明属研究生课。
学习层：有限矩阵的尾巴，能替无限维性质作什么证书？
1. 先预测：同样的有限图，三种无限对象
实验固定比较三个对象，并把有限截断阶数记为 \(N\)：
前两个是对角算子，第三个是单边右移。先预测三件事：
- 三者的算子范数是否都为 \(1\)？有界性是否已经等于紧性？
- 对 \(T_N=P_NTP_N\)，哪一个对象满足 \(\lVert T-T_N\rVert\to0\)，因而能用有限秩逼近给出紧性证书？
- 有限 \(N\times N\) 图上的特征值，能否直接宣布无限算子的谱或近似谱边界？特别是 \(S_N\) 的所有特征值都是 \(0\) 时，\(S\) 的谱会不会也只剩 \(0\)？
点击揭示前，结果和判决账本保持隐藏；换预设或 \(N\) 后预测会重新上锁。
2. 最小解析模型：把三个量词分开
令 \(P_N\) 投影到 \(\operatorname{span}\{e_1,\ldots,e_N\}\)。对角算子的有限截断和移位的有限压缩分别为 \(D_N=P_ND_\downarrow P_N\)、\(I_N=P_NIP_N\)、\(S_N=P_NSP_N\)。三者都满足
但尾部账本完全不同：
第一行是解析尾界，可以推出 \(D_\downarrow\) 紧；后两行是反例。\(I_N\) 和 \(S_N\) 每一个本身都是有限秩、因而在有限维范围内紧，但这不提供 \(I\) 或 \(S\) 的无限维紧性。尤其 \(S_N\) 是幂零、谱为 \(\{0\}\)，而无限单边移位没有特征值，
对照地，\(\sigma(D_\downarrow)=\{0\}\cup\{1/n:n\ge1\}\)，\(0\) 是尾部聚集点；\(\sigma(I)=\{1\}\)。实验把“当前有限截面的谱”和“解析的无限谱/近似谱陈述”分栏，不让一张小图承担不存在的证明责任。
3. 可运行实验：先写下尾界，再打开两张 SVG 图
拖动 \(N\)，在三个对象之间切换。第一张图画的是解析尾界/截断误差随 \(N\) 的变化；第二张图才画谱平面。红色有限谱点是当前矩阵截面，蓝色或绿色对象是无限维陈述。表格逐行显示有限秩、尾界和量词。
JavaScript 失效时的静态 fallback：默认取 \(N=8\)。下面的解析账本已经足够判决紧性；有限谱栏只描述对应的 \(8\times8\) 截面，不是无限维谱的替代品。
| 对象 | \(\lVert T\rVert\) | 截断秩 | 解析尾界 \(\lVert T-T_N\rVert\) | 无限谱 | 近似谱 / 有限截面谱 |
|---|---|---|---|---|---|
| \(D_\downarrow\)，\(a_n=1/n\) | \(1\) | \(8\) | \(1/9\)，且随 \(N\to\infty\) 归零 | \(\{0\}\cup\{1/n\}\) | \(\sigma_{\rm ap}=\sigma\)；截面为 \(\{1,1/2,\ldots,1/8\}\) |
| \(I\)，\(a_n=1\) | \(1\) | \(8\) | \(1\)，永不归零 | \(\{1\}\) | \(\{1\}\)，重数 \(8\) |
| \(S_8=P_8SP_8\) | \(1\) | \(7\) | \(1\)；\(e_8\) 是边界见证 | 无限 \(S\) 的谱为闭单位圆盘 | \(S_8\) 谱为 \(\{0\}\)；无限近似谱是单位圆周 |
有限维图的静态读法：\(D_\downarrow\) 的尾部有解析证书；\(I\) 的单位尾部和 \(S\) 的跨边界向量阻止范数逼近。不要把“每个 \(T_N\) 有限秩”读成“\(T\) 紧”。
4. 边界、反例与迁移
- 有界不等于紧：\(I\) 和 \(S\) 都有界，且范数都为 \(1\)；紧性要求单位球像的闭包列紧，或在这里用有限秩算子范数逼近。
- 有限维不证明无限维：任何单个矩阵都自动紧；要证明无限算子紧，必须给出对所有尾部的解析控制。\(S_N\to S\) 甚至不在算子范数下收敛，但对每个固定 \(x\in\ell^2\) 都有 \(S_Nx\to Sx\)（强收敛）；逐向量收敛不能交换为对整个单位球的一致控制。
- 特征值不等于谱：\(S\) 没有特征值，但开单位圆盘仍在谱中；近似谱边界也不是有限 \(S_N\) 的特征值集合。
- 迁移提示：把 \(D_\downarrow\) 换成紧区间上的 \(L^2[0,1]\) 积分算子 \(Tf(x)=\int_0^1K(x,t)f(t)\,dt\)，在 \(K\in C([0,1]^2)\)（或更一般的 Hilbert–Schmidt 条件）下写出一个有限秩核近似，并说明哪一条尾界替代了 \(1/(N+1)\)。不要把这个特例自动推广到任意非紧定义域或任意“连续核”。
展开核对：用核误差控制整个单位球
把 \([0,1]\) 等分成 \(m\) 个区间 \(I_i\)，取各段代表点 \(\xi_i\)。定义分片常数核
对应 \(T_mf\) 落在 \(\operatorname{span}\{\mathbf1_{I_i}\}_{i=1}^m\)，因此秩至多 \(m\)，不是项数 \(m^2\)。连续核在紧方块上一致连续，故 \(\|K-K_m\|_\infty\to0\)。两次积分和 Cauchy–Schwarz 给
于是 \(\|T-T_m\|\le\|K-K_m\|_{L^2([0,1]^2)}\le\|K-K_m\|_\infty\to0\)。这条对所有单位向量都有效的界，才替代了对角模型的 \(1/(N+1)\)。一般平方可积核可用有限张量和在 \(L^2\) 中逼近，仍由同一不等式收尾。
反过来，\(S_N\to S\) 的强收敛并不给紧性：对任何固定 \(x\)，其尾部能量消失；但选随 \(N\) 变化的 \(e_N\)，始终有 \(\|(S-S_N)e_N\|=1\)。两个量词次序决定了结论能走多远。
先修：Lp 不等式、Hilbert 空间；后续：PDE 核方法。
1. 有界线性算子
定义 \(T: X \to Y\) 线性；有界 = 存在 \(C\) 使 \(\|Tx\| \leq C\|x\|\)；最小的 \(C\) 为算子范数 \(\|T\| = \sup_{\|x\|=1}\|Tx\|\)。
定理（连续 ⟺ 有界） 线性算子连续 \(\iff\) 有界 \(\iff\) 在一点连续。（线性把局部性质摊成全局——无穷维里"连续"的正确打开方式是"有界"。）
例子光谱：矩阵（有限维全有界，\(\|A\|\) = 最大奇异值——高代 V）；例如在紧区间 \([0,1]\) 上取 \(L^2[0,1]\to L^2[0,1]\)，若 \(K\in C([0,1]^2)\)，则 \(Tf(x)=\int_0^1K(x,t)f(t)dt\) 有界且紧——“紧”是把有界集映成相对紧集，依赖这里的紧定义域与函数空间假设；微分算子 \(\frac{d}{dx}:(C^1[0,1],\|\cdot\|_\infty)\to(C[0,1],\|\cdot\|_\infty)\) 无界（\(\|x^n\|_\infty = 1\) 但 \(\|nx^{n-1}\|_\infty = n \to \infty\)）——分析里最重要的算子偏偏无界，这是 PDE 理论技术含量的来源（弱解、分布的动机）。
对偶空间 \(X^*\) 是全体连续线性泛函组成的空间（配算子范数成 Banach 空间——即使 \(X\) 不完备）。在常见的 \(\sigma\)-有限测度空间上，且 \(1\le p<\infty\)、\(1/p+1/q=1\) 时，\(\big(L^p(\mu)\big)^*\cong L^q(\mu)\)；\(p=1\) 时 \(q=\infty\)。不能把这句话延长成 \((L^\infty)^*=L^1\)：后者通常严格大于 \(L^1\)。Hilbert 情形自对偶（泛函 II Riesz）。
2. 三大定理（陈述 + 一句话意义）
本节的背景假设要写在量词里：Hahn–Banach 只需赋范空间；一致有界原理要求定义域 \(X\) 是 Banach（值域可先取赋范空间）；开映射定理要求 \(X,Y\) 都是 Banach；闭图像定理也要求 \(X,Y\) 都是 Banach。以下把这些完备性保留下来。
1. Hahn–Banach 延拓定理：赋范空间的子空间上的有界线性泛函可保范延拓到全空间。 意义：对偶空间总是足够丰富（能分离点、能支撑凸集——分离超平面定理即其几何形式，优化 I 的那两条支撑性定理的真正出处）。🔗 ai 课 04 讲万能逼近定理的 Cybenko 证明正是靠它（"逼近不到就存在分离泛函"的反证骨架）。
2. 一致有界原理（Banach–Steinhaus）：若 \(X\) 是 Banach，\(\{T_\alpha:X\to Y\}\) 是一族有界线性算子且对每个 \(x\in X\) 有 \(\sup_\alpha\lVert T_\alpha x\rVert<\infty\)，则 \(\sup_\alpha\lVert T_\alpha\rVert<\infty\)。 意义："逐点温顺则整体温顺"（完备性是关键燃料，Baire 纲定理驱动）。反向应用可证存在性：某点 Fourier 级数发散的连续函数存在——数分 IV 那句"连续函数的 Fourier 级数可以发散"的定理级出处。
3. 开映射定理（Banach 空间之间的满射有界算子把开集映成开集）与闭图像定理（Banach 空间之间的线性算子若图像闭，则有界）。 意义：Banach 空间之间，双射有界算子的逆自动有界（逆算子定理）——"解存在唯一"免费升级为"解连续依赖数据"（适定性的第三条——数值 I 条件数关心的正是这个连续依赖的量化）。闭图像定理则是"验证有界"的常用捷径。
一致有界、开映射及闭图像定理的标准证明使用 Baire 纲定理：非空完备度量空间不能写成可数个无处稠密集之并。Hahn–Banach 是另一条证明路线，一般延拓常用 Zorn 引理，不要求空间完备；不能把三者都归因于 Baire。可对照 MIT 18.102 第 5—6 讲。
3. 谱理论一瞥：特征值的无穷维命运
谱 \(\sigma(T) = \{\lambda : T - \lambda I \text{ 不可逆}\}\)——特征值概念的推广。无穷维的新现象：谱未必由特征值组成（连续谱：\(L^2[0,1]\) 上乘法算子 \(Tf = xf\) 的谱是 \([0,1]\)，却无一个特征向量）。对复 Banach 空间上的有界算子，谱非空、紧、含于半径 \(\|T\|\) 的圆盘。
紧算子（最像矩阵的无穷维算子）：把有界集映成相对紧集（上面的连续核积分算子是在紧区间、\(L^2\) 空间等假设下的典型）。其谱理论几乎照搬矩阵：非零谱皆特征值、至多可数、只能聚于 0。
定理（紧自伴算子的谱定理） Hilbert 空间上紧自伴算子存在标准正交特征系 \(\{e_n\}\)：
若非零特征值有无穷多个，按重数列出时 \(\lambda_n\to0\)；有限秩时求和只有有限项。这里还要把 \(\ker(T)\) 的正交基补进整套 Hilbert 正交基；零特征空间可能是无限维，不能暗示“只有趋于 \(0\) 的非零特征向量”就自动张成全 \(H\)。——高代 V 实对称矩阵谱定理的无穷维版，对角化哲学的终章。应用：Sturm–Liouville 特征展开（PDE 页分离变量的合法性来源）、在连续正定核等 Mercer 条件下的核展开（复值时 \(K(x,t)=\sum\lambda_n e_n(x)\overline{e_n(t)}\)——ai 课 02 特征映射的构造）、PCA 的连续版（Karhunen–Loève 展开，随机过程的正交分解）。
4. 泛函分析全景收束
三页的地图：空间（Banach：完备赋范；Hilbert：+内积=几何）→ 映射（有界算子；三大定理保证理论不塌）→ 结构（谱分解=无穷维对角化）。它是本站多条线的汇流点：实变给了主角（\(L^p\)），数分的收敛概念在此变成范数选择，高代的对角化在此完成无穷维加冕，ODE/数值的迭代法源于压缩映像，概率的条件期望是投影，机器学习的核方法住在 RKHS。"函数是空间中的点、问题是算子的性质"——这个视角本身就是泛函分析给的最大礼物。
5. 典型例题
例 1（算子范数计算） \(T: L^2[0,1] \to L^2[0,1]\)，\(Tf(x) = xf(x)\)：\(\|Tf\|_2 \leq \|f\|_2\) 且取 \(f\) 集中在 \(x = 1\) 附近可任意接近 ⇒ \(\|T\| = 1\)（但无 \(f\) 达到——sup 不是 max，无穷维日常）。
例 2（无界性的证明模板） 证 \(\frac{d}{dx}\) 在 \((C^1[0,1], \|\cdot\|_\infty)\) 上无界：\(f_n = \sin(n\pi x)\)，\(\|f_n\| = 1\)，\(\|f_n'\| = n\pi \to \infty\)。找一列"本身有界、像爆炸"的函数即可——高频振荡是标准弹药。
例 3（谱的辨认） \(\ell^2\) 上右移算子 \(S(x_1, x_2, \dots) = (0, x_1, x_2, \dots)\)：\(\|Sx\| = \|x\|\)（等距）但不满射；无特征值（\(Sx = \lambda x\) 逐坐标递推得 \(x = 0\)），而谱为整个闭单位圆盘——无穷维里"没有特征值"与"谱很大"和平共处，矩阵直觉在此正式退役。\(\blacksquare\)
泛函三页完工。分析线只剩最后一门：偏微分方程——把本站的分析工具全部投入实战的地方。