Baire 与三大定理:完备性带来的统一控制
在有限维线性代数里,线性映射的连续性、满射性和逆映射的连续性常常一起出现,几乎不需要特别提醒。到了无限维空间,情况会突然变得尖锐:一个算子可能对每个向量都给出有限结果,却没有统一的算子范数;一个连续满射可能没有显式的逆公式,但它仍然会把开集送成开集;一个线性算子看起来只要检查“极限关系”就够了,真正让它有界的却是定义域和陪域的完备性。
本章要处理的具体问题是:当你手里只有逐点信息、像集信息或图像信息时,怎样把它们升级成统一的范数控制?答案来自 Baire 类别定理。它把“一个完备空间不能被可数个稀疏闭集覆盖”变成一条算子工具链:统一有界原理、开映射定理、Banach 同构定理和闭图像定理。每一步都依赖明确条件,任何一个条件被拿掉,都能找到对应的失效方式。
读这一章时,不要只记住四个结论。你需要练习的是判断入口:题目给的是“对每个 x 有界”,还是“连续线性满射”,还是“图像闭合”?入口不同,调用的定理不同。
本章约定所有赋范空间都在同一个标量域 mathbbR 或 mathbbC 上,线性算子默认定义在整个定义域空间上。若只在一个真子空间上定义,必须重新检查那个子空间是否完备;这是闭图像定理和统一有界原理的常见边界。
从逐点有限到统一控制
设 X,Y 是赋范空间,mathcalF 是一族有界线性算子 T:X→Y。对某个固定的 x,我们可以检查
T∈Fsup∥Tx∥Y<∞.
这只是说:这一族算子作用在这个向量上时没有失控。统一有界原理要回答的是更强的问题:能不能找到一个与 T 和 x 都无关的常数 C,使得
∥T∥X→Y≤C(T∈F)?
算子范数本身已经包含了对所有单位向量的上确界,因此这两个陈述的量词顺序不同:
∀x∈X, Tsup∥Tx∥<∞⟹
这一步不能靠逐个向量的估计直接完成。Baire 类别定理提供了一个“有内部”的向量集合,而线性结构再把这块内部搬回原点。

图示应让“逐点控制”和“统一范数控制”之间的量词变化可见:左侧是每个 x 各有自己的上界,右侧是在单位球上出现同一个高度上界。
Baire 类别把稀疏覆盖挡在完备空间之外
稠密、无处稠密与第一类
度量空间 X 中的集合 A 称为稠密的,如果它的闭包满足 A=X。集合 A 称为无处稠密的,如果 A 的内部为空;等价地说,每个非空开球都能找到一块更小的开球完全避开 。
可数个无处稠密集合的并称为第一类集或瘦集(meagre set)。这里的“瘦”不是测度意义上的小:一个集合可以测度很大,却在 Baire 类别意义下很瘦。我们本章只使用拓扑的稠密性,不把“零测”与“第一类”混为一谈。
Baire 类别定理
若 X 是完备度量空间,则:
- X 不能写成可数个无处稠密闭集的并;
- 更强地,X 的每个非空开集都不是第一类;
- 可数个稠密开集的交仍然稠密。
在算子应用中,第一种表述最直接。若
X=n=1⋃∞Fn,
其中每个 Fn 都是闭集,那么至少有一个 FN 具有非空内部。注意这里不要求 Fn 本身有界,也不要求覆盖是有限的。
证明中真正使用完备性的地方
为了看清条件,我们证明“完备空间不能被可数个闭的空内部集合覆盖”。设反面成立:X=⋃n≥1Fn,每个 Fn 闭且内部为空。取一个非空开球 。
因为 F1 没有内部,B0 不可能完全包含在 中;又因为 闭,所以可以在 中选一点,并找到一个闭球 。把 的半径取小一些,例如小于 。
证明的关键不是“球越缩越小”这一句直觉,而是两件具体的事:嵌套闭球把 Cauchy 列的极限留在每一层,完备性保证这个极限仍属于 X。若空间不完备,极限可能跑到空间外,反证链就断了。

图示应画出一列嵌套闭球,标出第 n 层避开的 Fn、半径的收缩和最终极限点;重点突出“极限留在空间内”这一条件。
不要把“闭集覆盖”改成任意集合覆盖。Baire 定理先对闭集覆盖成立;对任意集合 En,使用的是 X=⋃n 后得到某个闭包有内部。这个差别正是统一有界原理证明中的一步。
统一有界原理:逐点上界为何变成算子范数上界
定理与条件
设 X 是 Banach 空间,Y 是赋范空间,mathcalF⊂B(X,Y)。若对每个 x∈X 都有
T∈Fsup∥Tx∥Y<∞,
则
T∈Fsup∥T∥X→Y<∞.
这里 X 必须完备;Y 不需要完备。每个 T 必须先是有界线性算子,否则 ∥T∥ 甚至不一定有限。
证明:把 Baire 用在控制集上
对 n∈N 定义
En={x∈X:T∈Fsup∥T
逐点有界假设说明 X=⋃n=1∞En。我们逐项检查 E 的闭性:如果 且 ,固定任意 ,连续性给出 ,从而
∥Tx∥Y=k→∞lim∥Txk
因为这对所有 T 都成立,所以 x∈En。因此每个 En 都闭。Baire 定理给出某个 N 和某个开球 ,满足
B(x0,r)⊂EN.
现在把这块不在原点的球平移。若 ∥h∥X<r,则 x0+h∈E,而 ,所以对任意 ,
∥Th∥Y
这一步用到了线性:只有线性才能把两个受控点相减,得到对原点附近增量的控制。对任意 x∈X 且 ∥x∥X≤1,取 h=(r/2)x,则 ,于是
2r∥Tx∥Y=∥T((r/2)x)∥
即
∥T∥≤r4N(T∈F).
右侧与 T 无关,结论成立。
变式与反例
“对每个 x 逐点有界”可以放宽为控制集
E={x∈X:T∈Fsup∥Tx∥<∞}
是第二类集(非第一类集)。因为 E=⋃nEn,Baire 同样能在 E 中找出某个 E 有内部,随后平移论证仍然有效。
完备性不能删掉。令 c00 是只有有限个坐标非零的数列,配上 ∥x∥∞。定义
Tn(x)=nxn,x=(x
每个 x 只有有限个非零坐标,所以 supn∣Tnx∣<∞;但
∥Tn∥=n
因为 Tn(en)=n 且 ∥en∥。这里 在上确界范数下不完备,正好解释了定理为什么需要 Banach 空间。

图示可以用“每个向量有自己的竖直上界”和“某个控制集含开球”两层画面,突出 Baire 找到内部后如何通过平移得到原点附近控制。
例题:已知逐点有界,选择合适的证明入口
设 X 是 Banach 空间,fn∈X∗。已知对每个 x∈X,数列 有界。证明存在 ,使
∥fn∥≤C(n≥1).
题目没有给出 fn 的显式公式,直接计算范数没有入口。应选统一有界原理,而不是试图寻找一个同时控制所有 x 的特殊向量。
令 Ek={x:supn。逐点有界说明 ;每个 闭,因为每个 连续,且任意闭集的交仍闭。
若已知的不是全部 X,而是一个稠密真子空间上的逐点有界,不能直接套用定理。稠密性本身不替代完备空间上的全体点控制。
开映射定理:满射把内部送到内部
先看结论的量化形式
设 X,Y 是 Banach 空间,T:X→Y 是连续线性满射。开映射定理说,T 把 X 中的每个开集映成 Y 中的开集。对算子使用时,最有用的等价形式是存在 ,使
BY(0,a)⊂T(BX(0,1)).
它比“T 是开映射”更适合计算:每个足够小的 y 都有一个原像 x,并且可以把 x 控制在单位球里。若把半径缩放,便得到对任意 r>0,
BY(0,ar)⊂T(BX(0,r)).
证明主线:从闭包内部到真正的像
先证明单位球像的闭包包含原点附近的球。由于 T 满射,对每个 y∈Y 都存在 x 使 Tx=y;取 n>∥x,就有 。因此
Y=n=1⋃∞T(BX
每个闭包都是闭集,Baire 定理说明某个
FN=T(BX(0,N))
有非空内部。因为 BX(0,N) 是凸且关于原点对称,T(BX(0,N)) 以及它的闭包也保持凸对称。若 是非空开集,那么
21U+21(−U)
是包含 0 的开集,并且由凸性包含在 FN 中。因此存在 b>0,使 BY。线性缩放得到
BY(0,b/N)⊂T(BX(0,
还需要把“闭包中的球”变成“像中的球”。记 ρ=b/N,则
BY(0,ρ)⊂T(BX(0,1))
取 y∈BY(0,ρ/4)。我们构造 uk∈X,使
∥uk∥X<2−k
构造开始时,y 在 B(0,ρ/4) 中;假设第 k−1 步的余项 rk−1 已经满足 。由线性缩放,
BY(0,ρ/2k+1)⊂T(
所以可以选 uk 使 ∥uk∥<2−k−1,并把余项降到 以下。于是 在 中绝对收敛,记其和为 ; 的完备性保证 。连续性给出
Tu=k→∞limTj=0∑ku
同时
∥u∥X≤k=0∑∞2−k
因此 BY(0,ρ/4)⊂T(BX(0,1))。这就是所需的单位球结论。
现在设 U⊂X 开,取 y0=Tx0∈T(U)。存在 使 。由线性和单位球结论,
T(BX(x0,r
所以 y0 是 T(U) 的内部点,T(U) 开。
条件为什么不能随意省略
- Y 的完备性在 Baire 应用于 Y 时使用;X 的完备性在构造原像级数时使用。
- 连续性保证球像受控,也保证 T(∑uk)=∑T。

图示应对比单位球的像、其闭包中出现的内部球,以及通过误差迭代得到的真正像中内部球;不要把“像有内部”误画成“像等于整个陪域”。
例题:开映射定理与显式求逆该怎么选
在 X=C[0,1](上确界范数)上定义
(Vf)(t)=∫0tf(s)ds,T=I
证明 T 是 Banach 空间 X 上的连续线性双射,并比较两种得到 T−1 有界性的办法。
V 线性且连续,因为
∥Vf∥∞≤∥f∥
这里的选择取决于问题问什么:只问稳定性或连续性时,开映射定理足够;问逆算子如何作用时,必须保留级数或积分方程的结构。
反例:连续满射不一定开
仍取 c00,但分别用 ℓ1 范数和 ℓ∞ 范数。恒等映射
I:(c00,∥⋅∥1)⟶(c
是连续线性双射,因为 ∥x∥∞≤∥x∥1。它不是开映射:若它是开映射,双射的逆也应连续;但对 x,有
∥x(N)∥∞=1,∥x(N)∥
所以逆映射不有界。两个空间都不完备,开映射定理不适用。
在此处先预测:把单位球从 ℓ1 范数空间送到 ℓ∞ 范数空间,会不会含有一个上确界范数球?随后观察时,关键不是画图,而是找一列坐标越来越多但总和仍受控的向量。此交互对应的是“连续、满射、完备”三项条件怎样共同制造内部控制。
Banach 同构:有界双射的逆为何自动有界
若 T:X→Y 是连续线性双射,且 X,Y 都是 Banach 空间,那么 T−1:Y→X 连续。这称为 Banach 同构定理,也常被称为逆映射定理。
它是开映射定理的直接推论。因为 T 满射,所以 T 开;对 Y 中开集 V,
(T−1)−1(V)=T(V)
是 Y 中的开集,故 T−1 连续。在线性映射语境下,连续等价于有界,所以存在 C>0 使
∥T−1y∥X≤C∥y∥Y.
两个 Banach 范数的等价性:要有一条入口
设同一个线性空间 E 上有两个范数 ∥⋅∥1,∥⋅∥2,且 和 都是 Banach 空间。如果已知
∥x∥2≤C∥x∥1(x∈E),
那么恒等映射
I:(E,∥⋅∥1)→(E,∥⋅∥2
连续且双射。Banach 同构定理应用于 I,得到某个 D>0,满足
∥x∥1≤D∥x∥2.
两条不等式合在一起,说明两个范数等价,给出相同的收敛列和相同的开集。
不能把“两个范数都完备”单独当成等价性定理。若没有已知的单向连续性或闭图像条件,恒等映射未必连续;可以在无限维空间取一个不连续的线性双射 S,令 ∥x∥2=∥Sx∥1,两个范数都完备,但恒等映射的连续性正好等价于 S 的连续性。
“完备”是空间和范数的关系,不是一个抽象标签。使用 Banach 同构定理前,要逐项确认:映射线性、映射有界、映射满射且单射、两个空间都完备。缺少其中任何一项,都不能直接说逆映射有界。
闭图像定理:从极限关系读出有界性
图像与闭性的序列判据
线性映射 T:X→Y 的图像是乘积空间中的集合
Γ(T)={(x,Tx):x∈X}⊂X×Y.
在赋予和范数
∥(x,y)∥X×Y=∥x∥X+∥y∥
后,若 (xn,Txn)→(x,y),图像闭意味着 (x,也就是 。因此可用序列写成
xn→x,Txn→y⟹y=
定理与证明
设 X,Y 是 Banach 空间,T:X→Y 是处处定义的线性映射。如果 Γ(T) 闭,则 T 有界。反向命题也成立:有界线性映射的图像闭。
有界推出闭性很直接:若 xn→x,连续性给出 Txn→Tx;若同时 T,度量空间中的极限唯一,所以 。
闭性推出有界性要用开映射定理。把 Γ(T) 看成 X×Y 的闭子空间,因此它本身是 Banach 空间。考虑第一坐标投影
πX:Γ(T)→X,πX(x,Tx
它是线性满射:对每个 x∈X,(x,Tx)∈Γ(T);也是单射:图像中的点第一坐标确定第二坐标。并且
∥πX(x,Tx)∥X=∥x∥
所以投影连续。开映射定理告诉我们 πX−1:X→Γ(T) 连续。于是存在 C>0,使
∥x∥X+∥Tx∥Y=∥π
删去非负的 ∥x∥X,得到
∥Tx∥Y≤C∥x∥X.
所以 T 有界。

图示应把 Γ(T) 画成乘积空间中的闭子空间,并用两个投影标出:第一投影是连续双射,逆投影把 x 送回 (x,Tx);闭图像定理正是从这个逆投影得到范数控制。
例题:只从关系的极限稳定性证明算子有界
令 X=C[0,1],V 为前面的积分算子。设 T:X→X 是满足
f=Tf−V(Tf)(f∈X)
的线性映射。证明 T 有界。题目没有要求先写出 T 的点态公式,闭图像定理是更短且更稳的入口。
先确认 T 处处定义。前一节的级数证明说明 I−V 是 X 上的双射,因此对每个 f,方程 有唯一 ;这里的 就是 。
这个例子展示了两条路线的区别:直接写逆级数能得到公式和数值上界,闭图像定理只需检查极限关系,就能得到连续性。
反例:定义域不完备时,闭图像不够
取 D=c00,配上上确界范数;令 Y=ℓ∞,定义
T:D→Y,T(x1,x2
对每个 x∈c00,Tx 仍是有限支撑数列,所以确实属于 Y。若 x(k 在 的上确界范数下收敛,且 在 中收敛,那么逐坐标取极限得到 ,故 。图像闭。
但 T 不有界,因为 ∥en∥∞=1 而 ∥Te。缺失的正是定义域 的完备性;闭图像定理不能用于这个例子。
在这里可以预先判断:若一个交互只显示一条“看起来闭合”的有限维曲线,它不能证明无限维算子有界。真正要检查的是收敛列是否留在完备空间内,以及极限点是否仍属于图像。
四个入口放在同一张判断表里
四个入口都把“完备性”放在具体位置:Baire 需要完备空间排除稀疏覆盖,开映射证明需要在陪域找内部球并在定义域取极限,闭图像证明需要图像空间完备。定理之间可以互相推出,但在解题时,先用题目给出的信息匹配入口,通常比从头重建证明省力。
遇到大定理题,先写四行检查:空间是否 Banach?算子是否线性且处处定义?是否连续/有界?是否满射、双射或图像闭?这四行不是形式审查,它们决定你能不能合法使用结论。

图示应把四个定理的入口并列起来:逐点有界、连续线性满射、连续线性双射和闭图像分别通向相应结论,并把每条路径真正需要的完备性条件标清。
递进练习
概念辨析
1下列哪一项最准确地描述 Baire 类别定理在算子论中的作用?
2统一有界原理的标准假设中,哪一个空间必须是 Banach 空间?
3如果 T:X→Y 是连续线性满射,但 X 或 Y 不是 Banach 空间,就仍然可以直接断言 T 是开映射。
巩固:重做定理入口
练习 4。 设 X 是 Banach 空间,Y 是赋范空间,F⊂B(X,Y)。已知存在一个非第一类集 E⊂X,对每个 都有 。证明 。
令 En={x:supT∥Tx∥≤n}。每个 闭,且 。如果所有 在 中都无处稠密,那么 会被包含在一个第一类集 中,与 非第一类矛盾。因此某个 有非空内部,存在 。对 ,,所以 。令 ,其中 ,得到 ,再对单位球取上确界即可。
练习 5。 在开映射定理的证明中,为什么不能在得到
BY(0,ρ)⊂T(BX(0,1))
之后立即写成 BY(0,ρ)⊂T(BX(0,1))?请说明误差迭代中“半径缩小”和“定义域完备性”分别承担什么作用。
闭包只保证每个目标点可以被像中的点任意逼近,不保证存在一个点一次性精确命中。取余项 rk,利用缩放后的闭包包含关系,选取 uk 让 rk 至少按几何级数缩小,同时让 也按几何级数可加。于是 是 Cauchy 列。定义域 完备,保证它收敛到某个 ;连续性再把 与极限交换,得到 。这两步合起来才把闭包中的球变成真正像中的球。
练习 6。 设 E 上有两个范数 ∥⋅∥1,∥⋅∥2,两个范数下的 E 都是 Banach 空间,并且 。用 Banach 同构定理证明存在 使 。
恒等映射 I:(E,∥⋅∥1)→(E,∥⋅∥2 线性、双射且连续,因为 。两个空间都是 Banach,所以 Banach 同构定理给出 连续,即存在 使 。把 换成同一个向量 ,得到 。
练习 7。 设 T:X→Y 线性,X,Y 都是 Banach。已知对任意序列 xn→0,只要 在 中收敛,就有 。证明 有界。
先把条件推广到任意 xn→x。若 Txn→y,令 ,则 且 。题设给出 ,即 。因此 对序列极限闭合;在度量空间中这等价于图像闭。闭图像定理再给出 有界。
应用:把定理用到新对象
练习 8。 对 f∈C[0,1] 定义
(Anf)(t)=n∫01/nf(t
其中只对 t∈[0,1−1/n] 考虑并把定义域改为 C[0,1−1/n]。若改为
(Bnf)(t)=n∫01/nf(s)
并令陪域为常值函数子空间,说明哪个估计可以直接完成,哪个问题更适合先检查满射性和完备性。
对 An,直接估计即可:∣(Anf)(t)∣≤∥f∥,所以 ;取常值函数 得到范数正好为 。对 ,像落在常值函数子空间,不能把它当作到整个 的满射;若把陪域改成常值函数子空间, 的满射性仍需检查,且这个子空间是闭的、因此是 Banach。这个例子提醒我们:看到“平均”并不自动意味着可以使用开映射定理,必须先确认实际陪域。
练习 9。 设 F={Tn} 是 c0 上的算子,T。它在稠密子空间 上逐点有界,但在 上并不逐点有界。说明为什么这不能推出 ,并给出一个具体的 使 。
c00 在 c0 中按上确界范数稠密,但统一有界原理要求对定义域 X=c0 的每个点逐点有界,不能只在稠密子空间上检查。取 ,则 ,所以 ;同时 ,范数无统一上界。
迁移:条件被拿掉之后会怎样
练习 10。 为下列三种失效各给出一个反例,并指出被拿掉的条件:
- Baire 类别定理在不完备空间中失败;
- 连续线性满射不是开映射;
- 图像闭但算子不有界。
第一种取 X=Q,通常度量下 X 是可数集,且每个单点集闭、无处稠密;于是 X 是可数个无处稠密集的并,但 X 本身非空,Baire 性失败。第二种取恒等映射 I:;它连续满射,但不是开映射,因为逆映射把 有界的向量列变成 范数无界。第三种取 ,;图像闭但 ,所以不有界。这里缺少的是定义域的完备性。
练习 11。 对每个场景选择最合适的第一步,并说明理由:
- 已知 Tnx 对每个 x 有界,要求证明 ∥Tn∥ 有统一上界;
- 已知 T 连续线性满射,要求证明 对每个开集 都开;
场景 1 先检查定义域是否 Banach,然后使用统一有界原理;题目的入口是逐点有界。场景 2 检查两空间是否 Banach和 T 是否满射,然后使用开映射定理;题目的入口是像的内部。场景 3 先把极限条件识别为图像闭,再检查 T 处处定义且两空间 Banach,使用闭图像定理;题目的入口是收敛关系,而不是显式范数估计。
练习 12。 设 T:X→Y 是 Banach 空间之间的连续线性双射。证明存在 c>0,使
∥x∥X≤c∥Tx∥Y(x∈X).
然后解释这条不等式如何说明 T−1 连续。
由 Banach 同构定理,T−1 连续,故存在 c>0 使 ∥T−1y∥。令 ,得到 。这正是逆映射的有界性估计;它排除了一列 但 不趋于 的现象。
章节自测
15统一有界原理的核心前提是:定义域 X 必须是 ____ 空间。
16若一个线性映射的图像闭合,则无论定义域是否完备,它都一定有界。
读完这一章,你应该能从“逐点、像、逆、图像”四类信息中选对定理,并在写证明时把完备性、线性、连续性、满射性和处处定义逐项放回它们真正使用的位置。若某个条件被删掉,先不要急着修补证明,优先回到本章的反例检查失效点。