Banach空间上满有界算子集合为开集的证明及直观理解疑问

先聊聊你的直观困惑：为啥“扩张像集”的思路走不通？ #

其实你这个想法的问题在于，我们要讨论的是算子在范数意义下的小扰动——也就是说，当一个算子$S$和满射算子$T$足够“接近”（范数差很小）时，$S$本身的像集就得自动覆盖整个$B$，不是让你手动去修改或扩张$S$的像集。而且Banach空间的完备性在这里是关键中的关键，没有完备性，这个结论甚至都不成立，更别说“扩张像集”这种操作了。

证明的核心：开映射定理+压缩映射原理 #

要证明满射算子构成的集合$S$是开集，我们得从“任取一个满射算子$T$，找到它的一个邻域，里面所有算子都是满射”这个方向入手，而开映射定理是这里的核心工具。

先回忆下开映射定理：如果$T \in \mathcal{L}(A,B)$是满射的有界线性算子，那么$T$是开映射——它会把$A$中的开集映射成$B$中的开集。

具体证明步骤 #

假设$T$是满射的，我们来构造它的“满射邻域”：

1. 由开映射定理，$T$把$A$中的单位开球$B_A(0,1)$映射成$B$中的开集，这个开集包含原点，所以存在一个$\delta > 0$，使得$B$中以原点为中心、$\delta$为半径的开球$B_B(0,\delta)$完全包含在$T(B_A(0,1))$里。
2. 取$\epsilon = \delta/2$，现在我们要证明：所有满足$|T - S| < \epsilon$的算子$S$都是满射的。
   • 任取$b \in B$，我们需要找到$a \in A$使得$S(a) = b$。
   • 这里用迭代构造+压缩映射原理：
     因为$|T - S| < \epsilon$，所以对任意$x \in A$，有$|S(x) - T(x)| < (\delta/2)|x|$。
     我们可以把方程$S(a) = b$改写为$T(a) = b + (T - S)(a)$，然后把右边看作一个关于$a$的“修正项”。
     利用开映射定理的推论：对任意$z \in B$，存在$x \in T^{-1}(z)$（也就是$T(x)=z$），使得$|x| \leq \frac{1}{\delta}|z|$。
     现在构造一个集值映射$F: A \to 2^A$，其中$F(x)$是所有满足$T(x') = b + (T - S)(x)$的$x'$的集合。根据上面的推论，$F(x)$非空，而且对于任意$x_1, x_2$，$F(x_1)$和$F(x_2)$中的元素$x_1', x_2'$满足：
     $$|x_1' - x_2'| \leq \frac{1}{\delta}|(T - S)(x_1 - x_2)| < \frac{1}{\delta} \cdot \frac{\delta}{2}|x_1 - x_2| = \frac{1}{2}|x_1 - x_2|$$
     这说明$F$是一个压缩映射，而$A$是Banach空间（完备），根据压缩映射原理，$F$存在不动点$a$——也就是$a \in F(a)$，代入定义得$T(a) = b + (T - S)(a)$，整理一下就是$S(a) = b$。
   • 这样就证明了$S$是满射的，也就是说$T$的$\epsilon$-邻域里的所有算子都是满射的，所以$S$是开集。

再回头看你的疑问 #

你想的“扩张像集”其实没有抓住问题的本质：我们不是要修改算子的像集，而是要证明当算子和满射算子足够接近时，它的像集天然就能覆盖整个空间。这个结论严重依赖Banach空间的完备性——如果是不完备的赋范空间，这个结论就不成立了，比如取$A$是$l^{2$中只有有限个非零元的子空间（不完备），$B=l}2$，$T$是恒等算子（满射），我们可以构造一列算子$S_n$，$|S_n - T| \to 0$，但$S_n$不满射（比如$S_n(x) = x - \frac{x_n}{n}e_n$，你会发现$S_n(x)=e_n$无解，因为解需要$x_n = \frac{n}{n-1}$，而这样的$x$不在$A$里）。

所以本质上，是Banach空间的完备性保证了我们能通过迭代找到解，而开映射定理给了我们迭代的“起点”——算子的开映射性质让我们能找到每个步骤的近似解，最终收敛到精确解。

内容的提问来源于stack exchange，提问作者Francisco Maion