Banach空间范畴中分裂单态射与分裂满态射的刻画问题

我来梳理一下这个问题，帮你明确Banach空间范畴（对象是Banach空间，态射是线性收缩映射）里分裂单态射和分裂满态射的准确刻画，解决你现在的困惑：

一、分裂单态射的刻画 #

你已经注意到，Ban范畴里的单态射确实是单射的线性收缩，但不是所有单射线性收缩都是分裂单态射，核心原因是分裂单需要存在一个线性收缩的左逆，而这对$f$有额外要求：

一个线性收缩$f:X\to Y$是分裂单态射，当且仅当：

• $f$是等距单射（即对所有$x\in X$，$|f(x)|=|x|$），并且
• $f(X)$是$Y$的补子空间（即存在闭子空间$Z\subseteq Y$，使得$Y=f(X)\oplus Z$）

结合你的思考推导： #

假设$f$是分裂单，即存在线性收缩$g:Y\to X$满足$g\circ f=\text{id}_X$。对任意$x\in X$，我们有：
$$|x|=|g(f(x))|\leq|g|\cdot|f(x)|\leq1\cdot|x|$$
所有不等式必须取等号，因此$|g|=1$，且$|f(x)|=|x|$（即$f$是等距单射）。同时，$Y$可以分解为$f(X)\oplus\ker g$，说明$f(X)$是补子空间。

反过来，如果$f$是等距单射且$f(X)$是补子空间，我们可以构造左逆$g$：对$y=f(x)+z$（$x\in X,z\in(f(X))^\perp$），令$g(y)=x$。这个$g$是线性的，且$|g(y)|=|x|=|f(x)|\leq|f(x)+z|=|y|$，所以$g$是线性收缩，且满足$g\circ f=\text{id}_X$，符合分裂单的定义。

二、分裂满态射的刻画 #

同样，Ban范畴里的满态射是像稠密的线性收缩，但分裂满态射要求更强的条件：必须是满射（因为分裂满一定是满态射，但稠密像的收缩不一定能分裂），具体刻画如下：

一个线性收缩$f:X\to Y$是分裂满态射，当且仅当：

• $f$是满射，并且
• $f$把$X$的单位球映满$Y$的单位球（即$f(B_X)=B_Y$，其中$B_X,B_Y$分别是$X,Y$的闭单位球）

推导过程： #

如果$f$是分裂满，即存在线性收缩$h:Y\to X$满足$f\circ h=\text{id}_Y$，那么对任意$y\in B_Y$，$h(y)\in B_X$（因为$|h(y)|\leq|y|\leq1$），且$f(h(y))=y$，所以$B_Y\subseteq f(B_X)$。又因为$f$是收缩，$f(B_X)\subseteq B_Y$，因此$f(B_X)=B_Y$。

反过来，如果$f$是满射线性收缩且$f(B_X)=B_Y$，对每个$y\in Y$，我们可以取$x\in X$使得$f(x)=y$且$|x|=|y|$（由$f(B_X)=B_Y$保证存在性），定义$h(y)=x$。这个$h$是线性收缩，且$f\circ h(y)=y$，即$h$是$f$的右逆，满足分裂满的定义。

对偶视角补充 #

Ban范畴是自对偶的（通过对偶空间和伴随映射），所以$f$是分裂单态射当且仅当它的伴随映射$f^*:Y\to X^$是分裂满态射，反之亦然，这也能帮你从另一角度理解两者的关系。

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