泛函分析 07：Baire 纲定理与三大基本定理

泛函分析的许多结论具有“从逐点信息推出整体控制”的特征。例如：

• 每个向量分别受到一族算子的控制，能否推出所有算子的范数统一有界？
• 一个连续线性满射是否一定把开集映成开集？
• 一个连续线性双射的逆是否自动连续？
• 一个线性算子的图像闭，能否推出算子连续？

这些问题在有限维空间中通常容易处理，在无限维空间中则需要完备性。它们共同建立在 Baire 纲定理之上。

本篇集中整理 Banach 空间理论的三大基本定理：

1. 一致有界原理；
2. 开映射定理；
3. 闭图像定理。

逆算子定理是开映射定理的直接推论。

---

1. 疏集与纲

本文先在一般度量空间 $(X,d)$ 中介绍 Baire 纲的概念。

1.1 无处稠密集

定义（无处稠密）
集合 $A\subseteq X$ 称为无处稠密集，如果

$$\operatorname{int}\overline A=\varnothing.$$

等价地，每个非空开集 $U$ 中都存在非空开集 $V$，使

$$V\subseteq U, \qquad V\cap A=\varnothing.$$

直观上，无处稠密集在任何局部区域内都不能占据一块开集。

例如：

• $\mathbb R$ 中的单点集无处稠密；
• $\mathbb Z$ 在 $\mathbb R$ 中无处稠密；
• $\mathbb Q$ 在 $\mathbb R$ 中不是无处稠密，因为 $\overline{\mathbb Q}=\mathbb R$。

1.2 第一纲集

定义（第一纲集）
若集合 $A$ 可以写成可数个无处稠密集的并：

$$A=\bigcup_{n=1}^{\infty}A_n,$$

则称 $A$ 是第一纲集或贫集。

不是第一纲集的集合称为第二纲集。

$\mathbb Q$ 虽然不是无处稠密集，却是第一纲集，因为它是可数个单点集的并。

1.3 剩余集

定义（剩余集）
若 $X\setminus A$ 是第一纲集，则称 $A$ 是剩余集或余贫集。

剩余集在 Baire 纲意义下是“典型的大集合”，但它不一定具有正测度，也不一定包含开集。

纲与测度是两种不同的“小集合”概念：

• 第一纲集可以具有正测度；
• 零测集可以是第二纲集；
• 不能用“几乎处处”的测度结论直接替代 Baire 纲结论。

---

2. Baire 空间与 Baire 纲定理

2.1 Baire 空间

定义（Baire 空间）
若 $X$ 中任意可数个稠密开集的交仍然稠密，则称 $X$ 是 Baire 空间。

等价地，$X$ 的任意非空开集都不是第一纲集。

2.2 Baire 纲定理

定理（Baire）

1. 每个完备度量空间都是 Baire 空间；
2. 每个局部紧 Hausdorff 空间都是 Baire 空间。

泛函分析中最常使用第一种形式。

2.3 等价表述

在完备度量空间 $X$ 中：

1. 可数个稠密开集的交稠密；

2. $X$ 不能写成可数个无处稠密闭集的并；

3. 若

   $$X=\bigcup_{n=1}^{\infty}F_n$$

   且每个 $F_n$ 闭，则至少有一个 $F_n$ 具有非空内部。

第三种形式是证明一致有界原理和开映射定理时最常使用的版本。

2.4 完备性为何重要

有理数空间 $\mathbb Q$ 在通常度量下不完备，并且

$$\mathbb Q = \bigcup_{q\in\mathbb Q}\{q\}.$$

每个单点集在 $\mathbb Q$ 中无处稠密，所以 $\mathbb Q$ 是自身中的第一纲集，不是 Baire 空间。

---

3. 一致有界原理

3.1 点态有界与一致有界

设 $X$ 是赋范空间，$Y$ 是赋范空间，$\mathcal F\subseteq\mathcal B(X,Y)$。

定义（点态有界）
若对每个固定的 $x\in X$，

$$\sup_{T\in\mathcal F}\|Tx\|<\infty,$$

则称算子族 $\mathcal F$ 点态有界。

定义（一致有界）
若

$$\sup_{T\in\mathcal F}\|T\|<\infty,$$

则称算子族 $\mathcal F$ 一致有界。

一致有界显然推出点态有界。反方向需要定义域完备。

3.2 Banach–Steinhaus 定理

定理（一致有界原理）
设 $X$ 是 Banach 空间，$Y$ 是赋范空间，$\mathcal F\subseteq\mathcal B(X,Y)$。若对每个 $x\in X$，

$$\sup_{T\in\mathcal F}\|Tx\|<\infty,$$

则

$$\sup_{T\in\mathcal F}\|T\|<\infty.$$

值域 $Y$ 不需要完备；关键假设是定义域 $X$ 完备。

3.3 算子列形式

若 $X$ 是 Banach 空间，$\{T_n\}\subseteq\mathcal B(X,Y)$，并且对每个 $x\in X$，数列

$$\{\|T_nx\|\}$$

有界，则存在常数 $C$，使

$$\|T_n\|\le C, \qquad n\in\mathbb N_+.$$

3.4 逆否形式

若

$$\sup_{T\in\mathcal F}\|T\|=\infty,$$

则至少存在 $x\in X$，使

$$\sup_{T\in\mathcal F}\|Tx\|=\infty.$$

这个形式常用于证明某些逼近过程不可能对每个向量都稳定。

---

4. 一致有界原理的应用

4.1 点态极限仍连续

设 $X$ 是 Banach 空间，$Y$ 是赋范空间，$T_n\in\mathcal B(X,Y)$。若对每个 $x\in X$，

$$T_nx\to Tx$$

在 $Y$ 中成立，则：

1. $T$ 是线性算子；
2. $\sup_n\|T_n\|<\infty$；
3. $T\in\mathcal B(X,Y)$；

$$\|T\|\le\sup_n\|T_n\|.$$

因此有界线性算子的逐点极限在 Banach 定义域上仍是有界线性算子。

这里不保证

$$\|T_n-T\|\to0.$$

4.2 泛函列

若 $X$ 是 Banach 空间，$\{f_n\}\subseteq X^*$，并且对每个 $x\in X$，

$$\sup_n|f_n(x)|<\infty,$$

则

$$\sup_n\|f_n\|<\infty.$$

这使得对偶空间中的逐点控制可以提升为统一范数控制。

4.3 完备性不能省略

令 $c_{00}$ 表示有限支撑序列空间，使用最大范数。定义

$$T_n:c_{00}\to\mathbb K, \qquad T_n(x)=n x_n.$$

则

$$\|T_n\|=n\to\infty.$$

但对每个固定的 $x\in c_{00}$，只有有限个坐标非零，所以

$$\sup_n|T_n(x)|<\infty.$$

因此 $\{T_n\}$ 点态有界但不一致有界。这不违背一致有界原理，因为 $c_{00}$ 不完备。

---

5. 开映射

5.1 定义

定义（开映射）
映射 $T:X\to Y$ 称为开映射，如果对 $X$ 中每个开集 $U$，像集

$$T(U)$$

都是 $Y$ 中的开集。

连续性要求开集的原像是开集；开映射性质要求开集的像是开集。两者方向不同。

5.2 线性映射的局部判定

对线性映射 $T:X\to Y$，只需检查零点附近的单位球。

如果存在 $r>0$，使

$$B_Y(0,r)\subseteq T(B_X(0,1)),$$

则 $T$ 是开映射。

由线性和缩放，对任意 $\rho>0$，

$$B_Y(0,r\rho) \subseteq T(B_X(0,\rho)).$$

---

6. 开映射定理

6.1 定理

定理（Banach–Schauder 开映射定理）
设 $X,Y$ 都是 Banach 空间，$T\in\mathcal B(X,Y)$。如果 $T$ 是满射，则 $T$ 是开映射。

三个关键条件是：

1. $X$ 完备；
2. $Y$ 完备；
3. $T$ 满射。

6.2 定量形式

开映射定理等价于：存在常数 $C>0$，使对每个 $y\in Y$，都存在 $x\in X$ 满足

$$Tx=y$$

并且

$$\|x\|\le C\|y\|.$$

如果 $T$ 不是单射，满足条件的 $x$ 通常不唯一。该估计说明方程 $Tx=y$ 至少存在一个大小受到 $y$ 控制的解。

6.3 商空间形式

因为 $\ker T$ 是闭子空间，满射 $T$ 诱导线性双射

$$\widetilde T: X/\ker T\to Y,$$ $$\widetilde T(x+\ker T)=Tx.$$

开映射定理保证

$$\widetilde T^{-1}\in \mathcal B(Y,X/\ker T).$$

因此

$$X/\ker T\cong Y$$

为 Banach 空间的拓扑同构。

---

7. 逆算子定理

7.1 定理

定理（有界逆定理）
设 $X,Y$ 是 Banach 空间，$T\in\mathcal B(X,Y)$ 是双射。则逆算子

$$T^{-1}:Y\to X$$

也是有界线性算子。

这是开映射定理的直接推论：双射的开映射恰好具有连续逆映射。

7.2 双边估计

若 $T$ 有界可逆，则

$$\frac1{\|T^{-1}\|}\|x\| \le \|Tx\| \le \|T\|\,\|x\|.$$

因此 $T$ 同时控制向量的放大和压缩，不会把非零向量压得任意接近零。

7.3 范数等价的判定

设 $\|\cdot\|_a$ 和 $\|\cdot\|_b$ 是同一线性空间 $X$ 上的两个 Banach 范数。若存在 $C>0$，使

$$\|x\|_b\le C\|x\|_a,$$

则两个范数自动等价，即还存在 $c>0$ 使

$$c\|x\|_a\le\|x\|_b.$$

这是把恒等映射

$$I:(X,\|\cdot\|_a)\to(X,\|\cdot\|_b)$$

应用逆算子定理得到的。

7.4 完备性不能省略

考虑同一个线性空间 $C^1[0,1]$ 上的两个范数：

$$\|f\|_\infty$$

和

$$\|f\|_{C^1} = \|f\|_\infty+\|f'\|_\infty.$$

恒等算子

$$I:(C^1[0,1],\|\cdot\|_{C^1}) \to (C^1[0,1],\|\cdot\|_\infty)$$

是有界双射，但其逆不有界。

定义域是 Banach 空间，而值域在一致范数下不完备，所以逆算子定理不适用。

---

8. 闭算子与闭图像

8.1 算子的图像

设 $T:D(T)\subseteq X\to Y$ 是线性算子，其定义域 $D(T)$ 是 $X$ 的线性子空间。

定义（图像）

$$G(T) = \{(x,Tx):x\in D(T)\} \subseteq X\times Y.$$

8.2 闭算子

定义（闭算子）
若 $G(T)$ 在乘积空间 $X\times Y$ 中是闭集，则称 $T$ 是闭算子。

在度量空间中，这等价于：

若

$$x_n\in D(T),\qquad x_n\to x\text{ 于 }X,$$

并且

$$Tx_n\to y\text{ 于 }Y,$$

则

$$x\in D(T), \qquad Tx=y.$$

8.3 有界算子的图像

若 $T\in\mathcal B(X,Y)$ 定义在整个 $X$ 上，则 $T$ 连续，因此 $G(T)$ 是闭集。

所以

$$\text{有界线性算子} \Longrightarrow \text{闭算子}.$$

反向需要 Banach 空间和完整定义域。

---

9. 闭图像定理

9.1 定理

定理（闭图像定理）
设 $X,Y$ 都是 Banach 空间，线性算子

$$T:X\to Y$$

定义在整个 $X$ 上。如果 $G(T)$ 是闭集，则

$$T\in\mathcal B(X,Y).$$

因此在 Banach 空间之间，对处处定义的线性算子，

$$T\text{ 有界} \Longleftrightarrow G(T)\text{ 闭}.$$

9.2 点列使用方式

要用闭图像定理证明 $T$ 有界，通常只需验证：

$$x_n\to x, \qquad Tx_n\to y$$

总能推出

$$y=Tx.$$

这种方式在算子由极限、积分或坐标条件定义时尤其方便，因为直接估计算子范数可能很困难。

9.3 完整定义域不能省略

在 $X=C[0,1]$ 中考虑微分算子

$$D:D(D)=C^1[0,1]\subset C[0,1]\to C[0,1],$$ $$Df=f'.$$

定义域和值域都使用一致范数。若

$$f_n\to f, \qquad f_n'\to g$$

都一致收敛，则

$$f\in C^1[0,1], \qquad f'=g.$$

所以 $D$ 是闭算子。

但 $D$ 不有界，因为对 $f_n(x)=x^n$，

$$\|f_n\|_\infty=1, \qquad \|Df_n\|_\infty=n.$$

这不违背闭图像定理，因为

$$D(D)=C^1[0,1]\ne C[0,1].$$

9.4 图范数

对算子 $T:D(T)\subseteq X\to Y$，定义图范数

$$\|x\|_T = \|x\|_X+\|Tx\|_Y.$$

若 $X,Y$ 是 Banach 空间，则

$$T\text{ 闭} \Longleftrightarrow (D(T),\|\cdot\|_T)\text{ 是 Banach 空间}.$$

在图范数下，

$$T:(D(T),\|\cdot\|_T)\to Y$$

自动有界。

图范数是研究微分算子等无界闭算子的基本工具。

---

10. 三大基本定理的关系

10.1 共同基础

Baire 纲定理利用完备性证明：完备空间不能由可数个“处处很薄”的闭集覆盖。

这一思想分别产生：

• 一致有界原理：某个统一控制集必须含有开球；
• 开映射定理：满射对单位球的像必须在零点附近足够大；
• 闭图像定理：闭图像构成的 Banach 空间与原定义域之间的投影具有有界逆。

10.2 推导关系

常见逻辑关系为：

$$\text{Baire 纲定理} \Longrightarrow \text{一致有界原理},$$ $$\text{Baire 纲定理} \Longrightarrow \text{开映射定理} \Longrightarrow \text{逆算子定理},$$

并且

$$\text{开映射定理} \Longrightarrow \text{闭图像定理}.$$

它们不是四个互不相关的结论，而是完备性在算子理论中的不同表现。

---

11. 条件对照

定理	定义域	值域	其他关键条件	结论
一致有界原理	Banach	赋范空间	算子族点态有界	算子范数一致有界
开映射定理	Banach	Banach	有界线性满射	映射是开映射
逆算子定理	Banach	Banach	有界线性双射	逆算子有界
闭图像定理	Banach	Banach	线性、处处定义、图像闭	算子有界

使用这些定理时最常见的错误是只看到“线性”，却遗漏：

• 定义域是否完备；
• 值域是否完备；
• 算子是否处处定义；
• 开映射定理中是否满射；
• 算子族中的每个算子是否已经连续。

---

12. 概念辨析

12.1 点态有界与一致有界

点态有界允许控制常数依赖 $x$：

$$\sup_T\|Tx\|<\infty.$$

一致有界要求同一个常数控制所有单位向量和所有算子：

$$\sup_T\|T\|<\infty.$$

12.2 连续映射与开映射

连续映射控制开集的原像，开映射控制开集的像。一个映射可以连续但不开，也可以开但不连续。

开映射定理只对 Banach 空间之间的有界线性满射作出保证。

12.3 闭算子与有界算子

处处定义的有界线性算子一定闭。

闭算子可以无界，但无界闭算子的定义域必须是母空间的真子空间，或者至少闭图像定理的其他条件不成立。

12.4 闭图像与闭值域

• 图像 $G(T)$ 是 $X\times Y$ 中的点对集合；
• 值域 $\operatorname{ran}T$ 是 $Y$ 的子集。

“图像闭”和“值域闭”是不同概念。闭图像定理讨论前者。

---

13. 本篇要点

1. Baire 纲定理说明完备度量空间不能由可数个无处稠密闭集覆盖。
2. 纲与测度是两种不同的集合大小概念。
3. 一致有界原理把算子族的逐点有界提升为算子范数的一致有界。
4. 一致有界原理要求定义域是 Banach 空间，值域只需是赋范空间。
5. Banach 空间之间的有界线性满射自动是开映射。
6. Banach 空间之间的有界线性双射自动具有有界逆。
7. 处处定义的闭线性算子在 Banach 空间之间自动有界。
8. 无界闭算子通常具有真定义域，并使用图范数研究。
9. 三大基本定理都是完备性通过 Baire 纲定理作用于算子理论的结果。

至此，泛函分析第二部分已经完成：

$$\text{有界线性算子与对偶} \longrightarrow \text{商空间与 Hahn\text{–}Banach} \longrightarrow \text{Baire 纲定理与三大基本定理}.$$

下一篇将进入第三部分，整理弱拓扑、弱收敛和弱星收敛。

---

参考教材

1. 张恭庆、林源渠，《泛函分析讲义》，北京大学出版社。
2. 夏道行、吴卓人、严绍宗、舒五昌，《实变函数论与泛函分析》，高等教育出版社。
3. Erwin Kreyszig, Introductory Functional Analysis with Applications.
4. John B. Conway, A Course in Functional Analysis, 2nd ed.
5. Walter Rudin, Functional Analysis, 2nd ed.