[論文レビュー] 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

ひとこと要約

本稿は、バナッハ空間における二つの閉部分空間の和が閉じているための必要十分条件を同等の形で確立し、直接和のケースを超えてコーバーの結果を拡張している。$M+N$ の閉性は、任意の $x\in M+N$ が $\|m\|\leq K\|x\|$ を満たすような分解 $x=m+n$ を持つような一様有界性 $K>0$ の存在と同値であることが示され、非直接和に対してもコーバーに類似した特徴づけが得られた。

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$ の閉性について、必要な十分条件が欠落しているという問題を扱う。
• 直接和にしか適用されない古典的結果であるコーバーの定理を、任意の閉部分空間の一般ケースにまで拡張する。
• 標準的な教科書に記載されている条件（すなわち、ある分解 $x=m+n$ に対して $\|m\| \leq K\|x\|$ を満たす一様定数 $K>0$ の存在）が、$M+N$ の閉性について必要かつ十分であることを示す。
• $M+N$ の閉性と一様分解有界性 $K$ の存在との同値性を示す、新しい直接的証明を与える。

提案手法

• $M+N$ の閉性と $X/N$ 内の商空間 $(M+N)/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$ が閉であることに同値であることを示す。
• $M+N$ に一様定数 $K>0$ が存在し、ある分解 $x=m+n$ に対して $\|m\| \leq K\|x\|$ が成り立つならば、$T$ の開写像性が保証され、したがって $M+N$ が閉であることを示す。
• 逐次的証明を直接構築する：$M+N$ 内の収束列をとり、差分の $M$-ノルムが $\ell^1$-summable であるように制御することで、極限が $M+N$ に属することを示す。
• $\pi: M\times N \to (M\times N)/\ker T$ と誘導写像 $\widetilde{T}$ を用いて、$M+N$ と商空間との位相的同型を確立する。

実験結果

リサーチクエスチョン

• RQ1 バナッハ空間における二つの閉部分空間 $M$ と $N$ の和 $M+N$ が閉じているための必要十分条件は何か、ただし $M\cap N \neq \{0\}$ の場合。
• RQ2 古典的教科書に記載されている条件（すなわち、ある分解 $x=m+n$ に対して $\|m\| \leq K\|x\|$ を満たす一様定数 $K$ の存在）は、$M+N$ の閉性について、必要であるだけでなく十分であるか。
• RQ3 直接和のケースを超えて、コーバー型の特徴づけを一般の閉部分空間にまで拡張できるか。
• RQ4 $M+N$ の閉性は、$(M+N)/N$ や $(M+N)/(M\cap N)$ のような商空間の閉性とどのように関係するか。
• RQ5 列近似とノルムの制御を用いた、直接的で構成的な閉性証明が可能か。

主な発見

• $M+N$ が $X$ で閉じていることは、任意の $x\in M+N$ に対して、$\|m\|\leq K\|x\|$ を満たすような分解 $x=m+n$ が存在するような定数 $K>0$ の存在と同値である。
• ある分解 $x=m+n$ に対して $\|m\|\leq K\|x\|$ を満たす一様定数 $K$ の存在は、$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$ に属する。これにより、構成的かつ直接的な閉性証明が得られた。