[论文解读] 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 $的补全子空间等价的子序列。关键结果表明，当且仅当$ X $具有该性质时，$ L^1(X) $才具有Pe{\l}czy{\'n}ski的性质(V*)。

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.

研究动机与目标

• 将Talagrand的二分法扩展到Bochner函数空间$ L^1(X) $中的补全设定。
• 建立$ L^1(X) $中一个有界序列包含与$ \ell^1 $的补全子空间等价的子序列的判别准则。
• 刻画空间$ L^1(X) $何时具有Pe{\l}czy{\v{n}}ski的性质(V*)，并将其与基础Banach空间$ X $中的相同性质联系起来。
• 通过弱柯西条件和张量积空间中$ \ell^1 $基的等价性，分析$ L^1(X) $中有界序列的结构。

提出的方法

• 从$ L^1(X) $中的有界序列$ (f_n) $构造序列$ g_n \in \text{conv}(f_n, f_{n+1}, \dots) $。
• 分析单位向量基$ (e_n) $的$ c_0 $空间中，$ g_n(\omega) \otimes e_n $在几乎处处$ \omega $下的逐点行为。
• 应用$ 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{\v{n}}ski的性质(V*)等价的结论。
• 利用张量积的几何结构与弱拓扑，刻画Bochner空间中序列的行为。

实验结果

研究问题

• RQ1 在什么条件下，$ L^1(X) $中的有界序列包含一个与$ \ell^1 $的补全子空间等价的子序列？
• RQ2 Talagrand的二分法能否在Bochner空间中强化为补全版本？
• RQ3 $ L^1(X) $在何时从$ X $继承Pe{\l}czy{\v{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 $的单位向量基等价。
• 当且仅当对几乎所有$ \omega $，相关序列$ g_n(\omega) \otimes e_n $与$ \ell^1 $基等价时，$ L^1(X) $中的有界序列才包含一个与$ \ell^1 $的补全子空间等价的子序列。
• 空间$ L^1(X) $具有Pe{\l}czy{\v{n}}ski的性质(V*)当且仅当基础Banach空间$ X $具有该性质。
• 补全二分法通过其在投影张量积$ X \widehat{\otimes}_\pi c_0 $中的行为，为$ L^1(X) $中的序列提供了结构表征。
• 在几乎处处逐点意义下$ \ell^1 $基的等价性足以保证$ L^1(X) $中存在$ \ell^1 $的补全子空间。
• 该结果建立了$ L^1(X) $中序列的局部结构与全局性质（如性质(V*))之间的强关联。