关于有限维商空间同构结论的泛化及Banach space direct sum同构的技术问询

嘿，好问题！咱们分两个场景来拆解你的疑问：

一、纯代数框架下的无限维泛化（无拓扑限制） #

先回到你提到的《Linear Algebra Done Right》里的习题：当$V/U$是有限维时，$V$和$U \times V/U$作为向量空间同构。那如果把$V/U$换成无限维的向量空间，这个结论在纯代数层面是完全成立的。

为什么呢？核心在于向量空间的「分裂引理」（纯代数版本）：对于向量空间的满同态$\pi: V \to V/U$（核是$U$），只要我们能找到一个线性映射$\sigma: V/U \to V$，使得$\pi \circ \sigma$是$V/U$上的恒等映射（简单说就是给商空间里的每个等价类找一个“代表元”，并且这个选代表元的操作是线性的），那么$V$就能分解成$U$和$\sigma(V/U)$的直和——而$\sigma(V/U)$和$V/U$显然是同构的，所以自然有$V \cong U \times V/U$。

而向量空间的基性质保证了这样的$\sigma$一定存在：不管$V/U$是有限维还是无限维，我们总能给它找一组基${\bar{a}_i}$，然后在$V$里为每个$\bar{a}_i$选一个原像$a_i$，再把这个对应线性扩张到整个$V/U$，就得到了满足要求的$\sigma$。所以纯代数里根本不需要有限维的限制，这个同构始终成立。

二、Banach空间场景下的拓扑同构问题 #

到了Banach空间这里，情况就复杂多了——不能直接得出$V \cong U \oplus V/U$作为Banach空间同构的结论，必须加额外条件。

这里要注意，Banach空间里的“直和”默认是「拓扑直和」：也就是说直和空间上的范数要和$V$的范数等价（比如乘积范数$|(u, \bar{v})| = |u| + |\bar{v}|$），对应的同构也得是线性同胚（既是线性同构，又是连续且逆连续的映射）。

反例：存在不可补的闭子空间 #

最经典的例子就是$\ell^{\infty$（全体有界实数序列，装备上确界范数）和它的闭子空间$c_0$（全体收敛到0的序列）。根据Phillips在1940年的结论，$c_0$在$\ell}\infty$里是不可补的——也就是说不存在$\ell^{\infty$的闭子空间$W$，使得$\ell}\infty = c_0 \oplus W$（拓扑直和）。而商空间$\ell^{\infty/c_0$是一个非平凡的Banach空间，显然$\ell}\infty$不可能和$c_0 \oplus (\ell^\infty/c_0)$作为Banach空间同构，否则就意味着$c_0$可补了。

什么时候结论成立？ #

当然也有一些特殊情况能保证同构：

• 当$U$是有限维或者有限余维（即$V/U$有限维）时，Banach空间里的闭子空间一定是可补的；
• 当$V$是Hilbert空间时，任何闭子空间$U$都有正交补$U^\perp$，此时$V \cong U \oplus U^\perp \cong U \oplus V/U$作为Hilbert空间（自然也是Banach空间）；
• 部分特殊的Banach空间（比如$L^p([0,1])$，$1 < p < \infty$）里的闭子空间也都是可补的，但这不是所有Banach空间的共性。

备注：内容来源于stack exchange，提问作者Hamilton