Baire 与三大定理：完备性带来的统一控制

在有限维线性代数里，线性映射的连续性、满射性和逆映射的连续性常常一起出现，几乎不需要特别提醒。到了无限维空间，情况会突然变得尖锐：一个算子可能对每个向量都给出有限结果，却没有统一的算子范数；一个连续满射可能没有显式的逆公式，但它仍然会把开集送成开集；一个线性算子看起来只要检查“极限关系”就够了，真正让它有界的却是定义域和陪域的完备性。

本章要处理的具体问题是：当你手里只有逐点信息、像集信息或图像信息时，怎样把它们升级成统一的范数控制？答案来自 Baire 类别定理。它把“一个完备空间不能被可数个稀疏闭集覆盖”变成一条算子工具链：统一有界原理、开映射定理、Banach 同构定理和闭图像定理。每一步都依赖明确条件，任何一个条件被拿掉，都能找到对应的失效方式。

读这一章时，不要只记住四个结论。你需要练习的是判断入口：题目给的是“对每个 $x$ 有界”，还是“连续线性满射”，还是“图像闭合”？入口不同，调用的定理不同。

从逐点有限到统一控制

设 $X,Y$ 是赋范空间，$mathcal{F}$ 是一族有界线性算子 $T:X\to Y$。对某个固定的 $x$，我们可以检查

这只是说：这一族算子作用在这个向量上时没有失控。统一有界原理要回答的是更强的问题：能不能找到一个与 $T$ 和 $x$ 都无关的常数 $C$，使得

算子范数本身已经包含了对所有单位向量的上确界，因此这两个陈述的量词顺序不同：

这一步不能靠逐个向量的估计直接完成。Baire 类别定理提供了一个“有内部”的向量集合，而线性结构再把这块内部搬回原点。

图示应让“逐点控制”和“统一范数控制”之间的量词变化可见：左侧是每个 $x$ 各有自己的上界，右侧是在单位球上出现同一个高度上界。

Baire 类别把稀疏覆盖挡在完备空间之外

稠密、无处稠密与第一类

度量空间 $X$ 中的集合 $A$ 称为稠密的，如果它的闭包满足 $\overline{A}=X$。集合 $A$ 称为无处稠密的，如果 $\overline{A}$ 的内部为空；等价地说，每个非空开球都能找到一块更小的开球完全避开 。

可数个无处稠密集合的并称为第一类集或瘦集（meagre set）。这里的“瘦”不是测度意义上的小：一个集合可以测度很大，却在 Baire 类别意义下很瘦。我们本章只使用拓扑的稠密性，不把“零测”与“第一类”混为一谈。

Baire 类别定理

若 $X$ 是完备度量空间，则：

1. $X$ 不能写成可数个无处稠密闭集的并；
2. 更强地，$X$ 的每个非空开集都不是第一类；
3. 可数个稠密开集的交仍然稠密。

在算子应用中，第一种表述最直接。若

其中每个 $F_n$ 都是闭集，那么至少有一个 $F_N$ 具有非空内部。注意这里不要求 $F_n$ 本身有界，也不要求覆盖是有限的。

证明中真正使用完备性的地方

为了看清条件，我们证明“完备空间不能被可数个闭的空内部集合覆盖”。设反面成立：$X=\bigcup_{n\ge1}F_n$，每个 $F_n$ 闭且内部为空。取一个非空开球 。

证明的关键不是“球越缩越小”这一句直觉，而是两件具体的事：嵌套闭球把 Cauchy 列的极限留在每一层，完备性保证这个极限仍属于 $X$。若空间不完备，极限可能跑到空间外，反证链就断了。

图示应画出一列嵌套闭球，标出第 $n$ 层避开的 $F_n$、半径的收缩和最终极限点；重点突出“极限留在空间内”这一条件。

统一有界原理：逐点上界为何变成算子范数上界

定理与条件

设 $X$ 是 Banach 空间，$Y$ 是赋范空间，$mathcal{F}\subset\mathcal{B}(X,Y)$。若对每个 $x\in X$ 都有

则

这里 $X$ 必须完备；$Y$ 不需要完备。每个 $T$ 必须先是有界线性算子，否则 $\|T\|$ 甚至不一定有限。

证明：把 Baire 用在控制集上

对 $n\in\mathbb{N}$ 定义

逐点有界假设说明 $X=\bigcup_{n=1}^{\infty}E_n$。我们逐项检查 $E_n$ 的闭性：如果 且 ，固定任意 ，连续性给出 ，从而

因为这对所有 $T$ 都成立，所以 $x\in E_n$。因此每个 $E_n$ 都闭。Baire 定理给出某个 $N$ 和某个开球 ，满足

现在把这块不在原点的球平移。若 $\|h\|_X<r$，则 $x_0+h\in E_N$，而 ，所以对任意 ，

这一步用到了线性：只有线性才能把两个受控点相减，得到对原点附近增量的控制。对任意 $x\in X$ 且 $\|x\|_X\le1$，取 $h=(r/2)x$，则 ，于是

即

右侧与 $T$ 无关，结论成立。

变式与反例

“对每个 $x$ 逐点有界”可以放宽为控制集

是第二类集（非第一类集）。因为 $E=\bigcup_nE_n$，Baire 同样能在 $E$ 中找出某个 $E_N$ 有内部，随后平移论证仍然有效。

完备性不能删掉。令 $c_{00}$ 是只有有限个坐标非零的数列，配上 $\|x\|_\infty$。定义

每个 $x$ 只有有限个非零坐标，所以 $\sup_n|T_nx|<\infty$；但

因为 $T_n(e_n)=n$ 且 $\|e_n\|_\infty=1$。这里 在上确界范数下不完备，正好解释了定理为什么需要 Banach 空间。

图示可以用“每个向量有自己的竖直上界”和“某个控制集含开球”两层画面，突出 Baire 找到内部后如何通过平移得到原点附近控制。

例题：已知逐点有界，选择合适的证明入口

设 $X$ 是 Banach 空间，$f_n\in X^*$。已知对每个 $x\in X$，数列 $(f_n(x))$ 有界。证明存在 ，使

题目没有给出 $f_n$ 的显式公式，直接计算范数没有入口。应选统一有界原理，而不是试图寻找一个同时控制所有 $x$ 的特殊向量。

若已知的不是全部 $X$，而是一个稠密真子空间上的逐点有界，不能直接套用定理。稠密性本身不替代完备空间上的全体点控制。

开映射定理：满射把内部送到内部

先看结论的量化形式

设 $X,Y$ 是 Banach 空间，$T:X\to Y$ 是连续线性满射。开映射定理说，$T$ 把 $X$ 中的每个开集映成 $Y$ 中的开集。对算子使用时，最有用的等价形式是存在 $a>0$，使

它比“$T$ 是开映射”更适合计算：每个足够小的 $y$ 都有一个原像 $x$，并且可以把 $x$ 控制在单位球里。若把半径缩放，便得到对任意 $r>0$，

证明主线：从闭包内部到真正的像

先证明单位球像的闭包包含原点附近的球。由于 $T$ 满射，对每个 $y\in Y$ 都存在 $x$ 使 $Tx=y$；取 $n>\|x\|$，就有 。因此

每个闭包都是闭集，Baire 定理说明某个

有非空内部。因为 $B_X(0,N)$ 是凸且关于原点对称，$T(B_X(0,N))$ 以及它的闭包也保持凸对称。若 $U\subset F_{}$ 是非空开集，那么

是包含 $0$ 的开集，并且由凸性包含在 $F_N$ 中。因此存在 $b>0$，使 $B_Y(0,b)\subset F_N$。线性缩放得到

还需要把“闭包中的球”变成“像中的球”。记 $\rho=b/N$，则

取 $y\in B_Y(0,\rho/4)$。我们构造 $u_k\in X$，使

构造开始时，$y$ 在 $B(0,\rho/4)$ 中；假设第 $k-1$ 步的余项 $r_{k-1}$ 已经满足 。由线性缩放，

所以可以选 $u_k$ 使 $\|u_k\|<2^{-k-1}$，并把余项降到 $$ 以下。于是 在 中绝对收敛，记其和为 ； 的完备性保证 。连续性给出

同时

因此 $B_Y(0,\rho/4)\subset T(B_X(0,1))$。这就是所需的单位球结论。

现在设 $U\subset X$ 开，取 $y_0=Tx_0\in T(U)$。存在 使 。由线性和单位球结论，

所以 $y_0$ 是 $T(U)$ 的内部点，$T(U)$ 开。

条件为什么不能随意省略

• $Y$ 的完备性在 Baire 应用于 $Y$ 时使用；$X$ 的完备性在构造原像级数时使用。
• 连续性保证球像受控，也保证 $T(\sum u_k)=\sum Tu_k$。

图示应对比单位球的像、其闭包中出现的内部球，以及通过误差迭代得到的真正像中内部球；不要把“像有内部”误画成“像等于整个陪域”。

例题：开映射定理与显式求逆该怎么选

在 $X=C[0,1]$（上确界范数）上定义

证明 $T$ 是 Banach 空间 $X$ 上的连续线性双射，并比较两种得到 $T^{-1}$ 有界性的办法。

这里的选择取决于问题问什么：只问稳定性或连续性时，开映射定理足够；问逆算子如何作用时，必须保留级数或积分方程的结构。

反例：连续满射不一定开

仍取 $c_{00}$，但分别用 $\ell^1$ 范数和 $\ell^\infty$ 范数。恒等映射

是连续线性双射，因为 $\|x\|_\infty\le\|x\|_1$。它不是开映射：若它是开映射，双射的逆也应连续；但对 $x^{(N)}=(1,\ldots,1,0,\ldots)$，有

所以逆映射不有界。两个空间都不完备，开映射定理不适用。

在此处先预测：把单位球从 $\ell^1$ 范数空间送到 $\ell^\infty$ 范数空间，会不会含有一个上确界范数球？随后观察时，关键不是画图，而是找一列坐标越来越多但总和仍受控的向量。此交互对应的是“连续、满射、完备”三项条件怎样共同制造内部控制。

Banach 同构：有界双射的逆为何自动有界

若 $T:X\to Y$ 是连续线性双射，且 $X,Y$ 都是 Banach 空间，那么 $T^{-1}:Y\to X$ 连续。这称为 Banach 同构定理，也常被称为逆映射定理。

它是开映射定理的直接推论。因为 $T$ 满射，所以 $T$ 开；对 $Y$ 中开集 $V$，

是 $Y$ 中的开集，故 $T^{-1}$ 连续。在线性映射语境下，连续等价于有界，所以存在 $C>0$ 使

两个 Banach 范数的等价性：要有一条入口

设同一个线性空间 $E$ 上有两个范数 $\|\cdot\|_1,\|\cdot\|_2$，且 $(E,\|\cdot\|_1)$ 和 都是 Banach 空间。如果已知

那么恒等映射

连续且双射。Banach 同构定理应用于 $I$，得到某个 $D>0$，满足

两条不等式合在一起，说明两个范数等价，给出相同的收敛列和相同的开集。

不能把“两个范数都完备”单独当成等价性定理。若没有已知的单向连续性或闭图像条件，恒等映射未必连续；可以在无限维空间取一个不连续的线性双射 $S$，令 $\|x\|_2=\|Sx\|_1$，两个范数都完备，但恒等映射的连续性正好等价于 $S$ 的连续性。

闭图像定理：从极限关系读出有界性

图像与闭性的序列判据

线性映射 $T:X\to Y$ 的图像是乘积空间中的集合

在赋予和范数

后，若 $(x_n,Tx_n)\to(x,y)$，图像闭意味着 $(x,y)\in\Gamma(T)$，也就是 。因此可用序列写成

定理与证明

设 $X,Y$ 是 Banach 空间，$T:X\to Y$ 是处处定义的线性映射。如果 $\Gamma(T)$ 闭，则 $T$ 有界。反向命题也成立：有界线性映射的图像闭。

有界推出闭性很直接：若 $x_n\to x$，连续性给出 $Tx_n\to Tx$；若同时 $Tx_n\to y$，度量空间中的极限唯一，所以 。

闭性推出有界性要用开映射定理。把 $\Gamma(T)$ 看成 $X\times Y$ 的闭子空间，因此它本身是 Banach 空间。考虑第一坐标投影

它是线性满射：对每个 $x\in X$，$(x,Tx)\in\Gamma(T)$；也是单射：图像中的点第一坐标确定第二坐标。并且

所以投影连续。开映射定理告诉我们 $\pi_X^{-1}:X\to\Gamma(T)$ 连续。于是存在 $C>0$，使

删去非负的 $\|x\|_X$，得到

所以 $T$ 有界。

图示应把 $\Gamma(T)$ 画成乘积空间中的闭子空间，并用两个投影标出：第一投影是连续双射，逆投影把 $x$ 送回 $(x,Tx)$；闭图像定理正是从这个逆投影得到范数控制。

例题：只从关系的极限稳定性证明算子有界

令 $X=C[0,1]$，$V$ 为前面的积分算子。设 $T:X\to X$ 是满足

的线性映射。证明 $T$ 有界。题目没有要求先写出 $T$ 的点态公式，闭图像定理是更短且更稳的入口。

这个例子展示了两条路线的区别：直接写逆级数能得到公式和数值上界，闭图像定理只需检查极限关系，就能得到连续性。

反例：定义域不完备时，闭图像不够

取 $D=c_{00}$，配上上确界范数；令 $Y=\ell^\infty$，定义

对每个 $x\in c_{00}$，$Tx$ 仍是有限支撑数列，所以确实属于 $Y$。若 $x^{(k)}\to x$ 在 的上确界范数下收敛，且 在 中收敛，那么逐坐标取极限得到 ，故 。图像闭。

但 $T$ 不有界，因为 $\|e_n\|_\infty=1$ 而 $\|Te_n\|_\infty=n$。缺失的正是定义域 的完备性；闭图像定理不能用于这个例子。

在这里可以预先判断：若一个交互只显示一条“看起来闭合”的有限维曲线，它不能证明无限维算子有界。真正要检查的是收敛列是否留在完备空间内，以及极限点是否仍属于图像。

四个入口放在同一张判断表里

四个入口都把“完备性”放在具体位置：Baire 需要完备空间排除稀疏覆盖，开映射证明需要在陪域找内部球并在定义域取极限，闭图像证明需要图像空间完备。定理之间可以互相推出，但在解题时，先用题目给出的信息匹配入口，通常比从头重建证明省力。

图示应把四个定理的入口并列起来：逐点有界、连续线性满射、连续线性双射和闭图像分别通向相应结论，并把每条路径真正需要的完备性条件标清。

递进练习

概念辨析

巩固：重做定理入口

练习 4。 设 $X$ 是 Banach 空间，$Y$ 是赋范空间，$\mathcal{F}\subset\mathcal{B}(X,Y)$。已知存在一个非第一类集 $E\subset X$，对每个 $x\in E$ 都有 。证明 。

练习 5。 在开映射定理的证明中，为什么不能在得到

之后立即写成 $B_Y(0,\rho)\subset T(B_X(0,1))$？请说明误差迭代中“半径缩小”和“定义域完备性”分别承担什么作用。

练习 6。 设 $E$ 上有两个范数 $\|\cdot\|_1,\|\cdot\|_2$，两个范数下的 $E$ 都是 Banach 空间，并且 。用 Banach 同构定理证明存在 使 。

练习 7。 设 $T:X\to Y$ 线性，$X,Y$ 都是 Banach。已知对任意序列 $x_n\to0$，只要 $Tx_n$ 在 中收敛，就有 。证明 有界。

应用：把定理用到新对象

练习 8。 对 $f\in C[0,1]$ 定义

其中只对 $t\in[0,1-1/n]$ 考虑并把定义域改为 $C[0,1-1/n]$。若改为

并令陪域为常值函数子空间，说明哪个估计可以直接完成，哪个问题更适合先检查满射性和完备性。

练习 9。 设 $\mathcal{F}=\{T_n\}$ 是 $c_0$ 上的算子，$T_n(x)=n x_n$。它在稠密子空间 上逐点有界，但在 上并不逐点有界。说明为什么这不能推出 ，并给出一个具体的 使 。

迁移：条件被拿掉之后会怎样

练习 10。 为下列三种失效各给出一个反例，并指出被拿掉的条件：

1. Baire 类别定理在不完备空间中失败；
2. 连续线性满射不是开映射；
3. 图像闭但算子不有界。

练习 11。 对每个场景选择最合适的第一步，并说明理由：

1. 已知 $T_nx$ 对每个 $x$ 有界，要求证明 $\|T_n\|$ 有统一上界；
2. 已知 $T$ 连续线性满射，要求证明 $$ 对每个开集 都开；

练习 12。 设 $T:X\to Y$ 是 Banach 空间之间的连续线性双射。证明存在 $c>0$，使

然后解释这条不等式如何说明 $T^{-1}$ 连续。

章节自测

读完这一章，你应该能从“逐点、像、逆、图像”四类信息中选对定理，并在写证明时把完备性、线性、连续性、满射性和处处定义逐项放回它们真正使用的位置。若某个条件被删掉，先不要急着修补证明，优先回到本章的反例检查失效点。

因而 $T=I-V$ 连续线性。对迭代积分可得

证明方法是归纳：$m=1$ 已知；若对 $m$ 成立，再对 $V^mf$ 积分一次，得到一个 $t^{m+1}/(m+1)!$ 的上界。