[论文解读] Weakly null sequences in the Banach space C(K)

I. Gasparis, Edward Odell+1 more|ArXiv.org|Feb 12, 2004

Advanced Banach Space Theory参考文献 28被引用 12

一句话总结

本文通过使用 $C(K)$ 中弱零序列的超限归一化平均，引入了一种类块基的层级结构，建立了此类序列何时允许等价于 $c_0$ 基的块基的判别准则。关键结果表明，对于可数紧致度量空间 $K$，$C(K)$ 中的每个归一化弱零序列均允许此类块基，通过构造性、可量化的方法处理 Schreier 型平均与序数指标，解决了泛函分析中长期存在的一个问题。

ABSTRACT

The hierarchy of the block bases of transfinite normalized averages of a normalized Schauder basic sequence is introduced and a criterion is given for a normalized weakly null sequence in C(K), the Banach space of scalar valued functions continuous on the compact metric space K, to admit a block basis of normalized averages equivalent to the unit vector basis of c_0, the Banach space of null scalar sequences. As an application of this criterion, it is shown that every normalized weakly null sequence in C(K), for countable K, admits a block basis of normalized averages equivalent to the unit vector basis of c_0.

研究动机与目标

• 为可数紧致度量空间 $K$ 的 $C(K)$ 中的弱零序列，利用其超限归一化平均构造块基的层级结构。
• 为 $C(K)$ 中归一化弱零序列何时允许等价于 $c_0$ 单位向量基的块基，提供一种构造性、可量化的判别准则。
• 在 $C(\omega^{\omega^\xi})$ 空间中明确控制序数指标 $\alpha \leq \xi$ 的前提下，解决此类块基的存在性问题。
• 通过证明 $C(\omega^{\omega^2})$ 中的序列可能不具有 $S_2$-无条件子序列，展示先前关于 Schreier-无条件序列结果的最优性。

提出的方法

• 通过递归地从早期层级构建块基，利用 Schreier 家族 $S_\alpha$ 构造 $\alpha < \omega_1$ 的归一化 $\alpha$-平均层级。
• 定义 $C(K)$ 中序列的 $S_\xi$-无条件性，利用 Schreier 集的结构来控制平均的行为。
• 在支撑集的树上应用紧致性论证，提取子序列 $Q$，使得支撑集的初始段属于 $S_\eta$（对某个 $\eta > \alpha$），从而确保结构控制。
• 通过 $(\epsilon, \alpha, \beta)$-分解和平均的 $(\eta,1,\epsilon)$-大性，当假设 $\xi^Q > \eta$ 时导出矛盾，从而对指标进行有界控制。
• 基于 $K$ 中某点 $t$ 的逐点估计，采用反证法，证明对于归一化的 $\zeta$-平均 $u$，有 $|u(t)| < 21\epsilon$，当 $\epsilon$ 足够小时与 $\|u\| = 1$ 矛盾。
• 应用文献 [31] 和 [21] 的结果，提取一个遗传的、紧致的支撑集族，并利用序数指标理论，得出对所有 $\xi \leq \eta$，$\xi$-平均存在等价于 $c_0$ 的块基。

实验结果

研究问题

• RQ1 对于可数 $K$，$C(K)$ 中的归一化弱零序列在何种条件下允许等价于 $c_0$ 基的块基？
• RQ2 当 $K = \omega^{\omega^\xi}$ 时，此类块基的存在性是否可基于序数指标 $\xi$ 进行量化？
• RQ3 $C(\omega^{\omega^2})$ 中 $S_2$-无条件性的失败是否最优？其与 $c_0$-等价块基的存在性有何关联？
• RQ4 能否通过归一化平均与序数层级结构，将 $C(\omega^{\omega^\xi})$ 中 $c_0$-饱和性的存在性证明转化为构造性证明？
• RQ5 Schreier 家族 $S_\alpha$ 在刻画 $C(K)$ 空间中弱零序列结构方面起什么作用？

主要发现

• 对于可数 $K$，$C(K)$ 中的每个归一化弱零序列均允许等价于 $c_0$ 单位向量基的归一化 $\alpha$-平均块基，其中 $\alpha \leq \xi$，且 $K = \omega^{\omega^\xi}$。
• 本文为这类 $c_0$-等价块基的存在性提供了构造性、可量化的判别准则，超越了文献 [35] 中的存在性证明。
• 证明了 $C(\omega^{\omega})$ 中的每个归一化弱零序列均允许无条件子序列，且使用 $S_1$-无条件性可给出更简洁的证明。
• 在 $C(\omega^{\omega^2})$ 中，存在一个弱零序列不具有无条件子序列，且其不具有 $S_2$-无条件子序列，这表明先前结果的最优性。
• 对于 $C(\omega^{\omega^\xi})$ 中的任意归一化弱零序列，存在一个等价于 $c_0$ 的归一化 $\alpha$-平均块基，且 $\alpha \leq \xi$，其序数指标通过序数结构显式有界。
• 基于 $K$ 中某点 $t$ 的逐点估计的反证法表明，假设 $\xi^Q > \eta$ 会导致对归一化平均 $u$ 有 $|u(t)| < 21\epsilon$，当 $\epsilon$ 足够小时与 $\|u\| = 1$ 矛盾。