[論文レビュー] Complemented copies of $\ell^1$ and Pelczynski's property (V*) in Bochner function spaces

Narcisse Randrianantoanina|arXiv (Cornell University)|Oct 31, 1994

Advanced Banach Space Theory参考文献 2被引用数 3

ひとこと要約

この論文は、Bochner関数空間におけるTalagrandの二分法の補完的版を確立し、$L^1(X)$ 内の有界列が、$X \widehat{\otimes}_\pi c_0$ 内で弱いコーシー列を生成するか、または $\ell^1$ の補完的コピーと同型な部分列を含むことを証明している。主な結果は、$L^1(X)$ が Pe{\l}czy{\~n}skiの性質 (V*) を持つことと、$X$ が同様の性質を持つことが同値であることである。

ABSTRACT

Let $X$ be a Banach space and $(f_n)_n$ be a bounded sequence in $L^1(X)$. We prove a complemented version of the celebrated Talagrand's dichotomy i.e we show that if $(e_n)_n$ denotes the unit vector basis of $c_0$, there exists a sequence $g_n \in ext{conv}(f_n,f_{n+1},\dots)$ such that for almost every $ω$, either the sequence $(g_n(ω) \otimes e_n)$ is weakly Cauchy in $X \widehat{\otimes}_πc_0$ or it is equivalent to the unit vector basis of $\ell^1$. We then get a criterion for a bounded sequence to contain a subsequence equivalent to a complemented copy of $\ell^1$ in $L^1(X)$. As an application, we show that for a Banach space $X$, the space $L^1(X)$ has Pełczyński's property $(V^*)$ if and only if $X$ does.

研究の動機と目的

• Bochner関数空間 $L^1(X)$ におけるTalagrandの二分法を補完的設定に拡張すること。
• $L^1(X)$ 内の有界列が、$\ell^1$ の補完的コピーと同型な部分列を含むための条件を確立すること。
• $L^1(X)$ が Pe{\l}czy{\~n}skiの性質 (V*) を満たすための特徴づけを、基礎となるバナッハ空間 $X$ における同様の性質と関連付けること。
• 弱いコーシー条件とテンソル積空間における $\ell^1$-基底への同型性を通じて、$L^1(X)$ 内の有界列の構造を分析すること。

提案手法

• $L^1(X)$ 内の有界列 $(f_n)$ から、$g_n \in \text{conv}(f_n, f_{n+1}, \dots)$ を構成すること。
• $c_0$ の単位ベクトル基底 $(e_n)$ を用いて、$\omega$ についてほとんど everywhere で $g_n(\omega) \otimes e_n$ の点ごとの挙動を分析すること。
• $X \widehat{\otimes}_\pi c_0$ の構造を応用し、$(g_n(\omega) \otimes e_n)$ が弱いコーシー列であるか、$\ell^1$ の基底と同型であるかを同定すること。
• 補完的二分法を用いて、$L^1(X)$ 内に $\ell^1$ の補完的コピーが存在するための必要十分条件を導出すること。
• 列の構造的解析を通じて、$L^1(X)$ と $X$ における Pe{\l}czy{\~n}skiの性質 (V*) の同値性を確立すること。
• テンソル積の幾何学的性質と弱位相を活用し、Bochner空間内での列の挙動を特徴付けること。

実験結果

リサーチクエスチョン

• RQ1 $L^1(X)$ 内の有界列が、$\ell^1$ の補完的コピーと同型な部分列を含むための条件は何か？
• RQ2 Talagrandの二分法は、Bochner空間において補完的バージョンに強化可能か？
• RQ3 $L^1(X)$ が $X$ から Pe{\l}czy{\~n}skiの性質 (V*) を引き継ぐのはいつか？
• RQ4 $X \widehat{\otimes}_\pi c_0$ 内の弱いコーシー列と、$L^1(X)$ 内の列の構造との関係は何か？
• RQ5 $g_n(\omega) \otimes e_n$ の点ごとの挙動が、$L^1(X)$ 内の補完的 $\ell^1$-コピーの存在をどのように決定するか？

主な発見

• 任意の $L^1(X)$ 内の有界列 $(f_n)$ に対して、$g_n \in \text{conv}(f_n, f_{n+1}, \dots)$ が存在し、ほとんど至る所の $\omega$ に対して、$(g_n(\omega) \otimes e_n)$ は $X \widehat{\otimes}_\pi c_0$ 内で弱いコーシー列であるか、または $\ell^1$ の単位ベクトル基底と同型である。
• $L^1(X)$ 内の有界列が、$\ell^1$ の補完的コピーと同型な部分列を含むための必要十分条件は、関連する列 $g_n(\omega) \otimes e_n$ がほとんど至る所の $\omega$ に対して $\ell^1$ の基底と同型であることである。
• $L^1(X)$ が Pe{\l}czy{\~n}skiの性質 (V*) を持つことと、基礎となるバナッハ空間 $X$ がこの性質を持つことは同値である。
• 補完的二分法により、$L^1(X)$ 内の列の構造が、その $X \widehat{\otimes}_\pi c_0$ 内での挙動を通じて構造的に特徴づけられる。
• 点ごとのほとんど everywhere での $\ell^1$-基底への同型性が、$L^1(X)$ 内に $\ell^1$ の補完的コピーが存在することを保証するのに十分である。
• この結果により、$L^1(X)$ 内の列の局所的構造と、性質 (V*) などの大域的性質との強い関連が確立された。