[论文解读] A note on closedness of the sum of two closed subspaces in a Banach space

Zhe-Ming Zheng, Hui-Sheng Ding|arXiv (Cornell University)|Sep 22, 2015

Advanced Banach Space Theory参考文献 7被引用 4

一句话总结

本文建立了巴拿赫空间中两个闭子空间之和为闭的等价必要与充分条件，将科伯（Kober）的结果从直和情形推广至一般情况。证明了 $M+N$ 的闭性等价于存在一个统一的常数 $K>0$，使得每个 $x\in M+N$ 都可分解为 $x=m+n$ 且满足 $\|m\|\leq K\|x\|$，从而为非直和情形提供了类似科伯的刻画。

ABSTRACT

Let $X$ be a Banach space, and $M,N$ be two closed subspaces of $X$. We present several necessary and sufficient conditions for the closedness of $M+N$ ($M+N$ is not necessarily direct sum).

研究动机与目标

• 解决当 $M\cap N \neq \{0\}$ 时，即和不一定是直和的情形下，$M+N$ 闭性的必要与充分条件缺失的问题。
• 将仅适用于直和情形的科伯经典结果，推广至任意闭子空间的一般情况。
• 证明此前在标准教科书中已知为必要条件的某条件，实际上对 $M+N$ 的闭性也是充分的。
• 提供 $M+N$ 的闭性与存在统一分解常数 $K$ 之间等价性的新、直接证明。

提出的方法

• 建立 $M+N$ 的闭性与商空间 $(M+N)/N$ 在 $X/N$ 中闭性的等价性。
• 定义一个典范同构 $\phi: (M+N)/N \to M/(M\cap N)$，将 $M+N$ 中的分解与 $M/(M\cap N)$ 中的元素联系起来。
• 利用开映射定理，证明商映射 $\widetilde{T}: (M\times N)/\ker T \to M+N$ 是开映射当且仅当 $M+N$ 是闭的。
• 证明：若存在常数 $K>0$，使得对某个分解 $x=m+n$ 有 $\|m\| \leq K\|x\|$，则该条件蕴含映射 $T$ 的开映射性质，从而推出 $M+N$ 的闭性。
• 构造一种直接的序列证明：对 $M+N$ 中的收敛序列，通过控制差值的 $M$-范数，证明极限属于 $M+N$。
• 利用商映射 $\pi: M\times N \to (M\times N)/\ker T$ 及诱导映射 $\widetilde{T}$，建立 $M+N$ 与商空间之间的拓扑同构。

实验结果

研究问题

• RQ1 在巴拿赫空间中，当 $M\cap N \neq \{0\}$ 时，两个闭子空间之和 $M+N$ 为闭的必要与充分条件是什么？
• RQ2 经典教科书中给出的条件——即存在统一常数 $K$，使得对某个分解 $x=m+n$ 有 $\|m\| \leq K\|x\|$——是否不仅必要，而且对 $M+N$ 的闭性也充分？
• RQ3 能否将科伯型刻画从直和情形推广至巴拿赫空间中的一般闭子空间？
• RQ4 $M+N$ 的闭性与商空间 $(M+N)/N$ 或 $(M+N)/(M\cap N)$ 的闭性有何关联？
• RQ5 能否通过序列逼近与范数控制，给出 $M+N$ 闭性的直接、构造性证明？

主要发现

• 在 $X$ 中，当且仅当存在常数 $K>0$，使得对每个 $x\in M+N$，存在分解 $x=m+n$ 满足 $\|m\|\leq K\|x\|$ 时，和 $M+N$ 是闭的。
• 对某个分解 $x=m+n$ 满足 $\|m\|\leq K\|x\|$ 的条件，既是 $M+N$ 闭性的必要条件，也是充分条件，从而解决了文献中长期存在的模糊性问题。
• $M+N$ 的闭性等价于典范映射 $T: M\times N \to M+N$，$T(m,n)=m+n$ 的开映射性质，从而提供了泛函分析意义上的刻画。
• $(M+N)/N$ 在 $X/N$ 中闭当且仅当 $M+N$ 在 $X$ 中闭，将闭性与商空间结构联系起来。
• $(M+N)/(M\cap N)$ 在 $X/(M\cap N)$ 中闭当且仅当 $M+N$ 在 $X$ 中闭，通过商约化提供了新的视角。
• 给出了一个直接的序列证明：若 $\{x_j\}$ 是 $M+N$ 中的收敛序列，且差值 $x_{k+1}-x_k$ 的 $M$-分量具有 $\ell^1$-可 summable 范数，则极限属于 $M+N$，从而以构造性方式证明了闭性。