泛函 III · 有界算子与三大定理

线性代数研究矩阵，泛函分析研究算子——无穷维空间之间的线性映射。本页先立算子的基本语言，然后陈述支撑整座大厦的三大定理（Hahn–Banach、一致有界、开映射/闭图像），最后谱理论一瞥——特征值理论的无穷维终章。定位：三大定理掌握陈述与意义即可，证明属研究生课。

1. 有界线性算子

定义 \(T: X \to Y\) 线性；有界 = 存在 \(C\) 使 \(\|Tx\| \leq C\|x\|\)；最小的 \(C\) 为算子范数 \(\|T\| = \sup_{\|x\|=1}\|Tx\|\)。

定理（连续 ⟺ 有界） 线性算子连续 \(\iff\) 有界 \(\iff\) 在一点连续。（线性把局部性质摊成全局——无穷维里"连续"的正确打开方式是"有界"。）

例子光谱：矩阵（有限维全有界，\(\|A\|\) = 最大奇异值——高代 V）；积分算子 \(Tf = \int K(x,t)f(t)dt\)（核连续则有界且"更好"——紧算子，见 §4）；微分算子 \(\frac{d}{dx}\) 无界（\(\|x^n\|_\infty = 1\) 但 \(\|nx^{n-1}\|_\infty = n \to \infty\)）——分析里最重要的算子偏偏无界，这是 PDE 理论技术含量的来源（弱解、分布的动机）。

对偶空间 $X^* = $ 全体连续线性泛函（配算子范数成 Banach 空间——即使 \(X\) 不完备）。\(L^p\) 的对偶是 \(L^q\)（共轭指数，Hölder 的回响）；Hilbert 情形自对偶（泛函 II Riesz）。

2. 三大定理（陈述 + 一句话意义）

1. Hahn–Banach 延拓定理：子空间上的有界线性泛函可保范延拓到全空间。 意义：对偶空间总是足够丰富（能分离点、能支撑凸集——分离超平面定理即其几何形式，优化 I 的那两条支撑性定理的真正出处）。🔗 ai 课 04 讲万能逼近定理的 Cybenko 证明正是靠它（"逼近不到就存在分离泛函"的反证骨架）。

2. 一致有界原理（Banach–Steinhaus）：完备空间上，一族算子逐点有界 ⇒ 范数一致有界。 意义："逐点温顺则整体温顺"（完备性是关键燃料，Baire 纲定理驱动）。反向应用可证存在性：某点 Fourier 级数发散的连续函数存在——数分 IV 那句"连续函数的 Fourier 级数可以发散"的定理级出处。

3. 开映射定理（满射的有界算子把开集映成开集）与闭图像定理（图像闭 ⇒ 有界）。 意义：完备空间之间，双射有界算子的逆自动有界（逆算子定理）——"解存在唯一"免费升级为"解连续依赖数据"（适定性的第三条——数值 I 条件数关心的正是这个连续依赖的量化）。闭图像定理则是"验证有界"的常用捷径。

（三大定理的共同引擎是 Baire 纲定理：完备度量空间非可数个无处稠密集之并——完备性的深层红利，知其名。）

3. 谱理论一瞥：特征值的无穷维命运

谱 \(\sigma(T) = \{\lambda : T - \lambda I \text{ 不可逆}\}\)——特征值概念的推广。无穷维的新现象：谱未必由特征值组成（连续谱：\(L^2[0,1]\) 上乘法算子 \(Tf = xf\) 的谱是 \([0,1]\)，却无一个特征向量）。谱非空、紧、含于半径 \(\|T\|\) 的圆盘。

紧算子（最像矩阵的无穷维算子）：把有界集映成列紧集（积分算子是典型）。其谱理论几乎照搬矩阵：非零谱皆特征值、至多可数、只能聚于 0。

定理（紧自伴算子的谱定理） Hilbert 空间上紧自伴算子存在标准正交特征系 \(\{e_n\}\)：

——高代 V 实对称矩阵谱定理的无穷维版，对角化哲学的终章。应用：Sturm–Liouville 特征展开（PDE 页分离变量的合法性来源）、Mercer 定理的谱形式（核函数 \(K = \sum\lambda_n e_n \otimes e_n\)——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\)

泛函三页完工。分析线只剩最后一门：偏微分方程——把本站的分析工具全部投入实战的地方。