[论文解读] Asymptotic and coarse Lipschitz structures of quasi-reflexive Banach spaces

Gilles Lancien, M. Raja|arXiv (Cornell University)|May 1, 2017

Advanced Banach Space Theory参考文献 11被引用 6

一句话总结

本文将经典结果从自反Banach空间中的粗Lipschitz嵌入推广到拟自反情形，证明当 $ 1 \leq q < p $ 时，$ q $-渐近一致严格凸Banach空间不能粗Lipschitz嵌入到 $ p $-渐近一致光滑的拟自反Banach空间中。关键贡献是通过度量图嵌入和拟自反空间中的Banach-Saks性质，建立了定量压缩指数上界 $ \alpha_Y(X) \leq q/p $。

ABSTRACT

In this note, we extend to the setting of quasi-reflexive spaces a classical result of N. Kalton and L. Randrianarivony on the coarse Lipschitz structure of reflexive and asymptotically uniformly smooth Banach spaces. As an application, we show for instance, that for $1\le q

研究动机与目标

• 将N. Kalton与L. Randrianarivony在自反Banach空间中关于粗Lipschitz嵌入的结果推广到更广泛的拟自反空间类。
• 为从 $ q $-渐近一致严格凸（AUC）空间到 $ p $-渐近一致光滑（AUS）拟自反空间的粗Lipschitz嵌入建立定量压缩指数上界 $ \alpha_Y(X) \leq q/p $。
• 应用拟自反空间中的 $ q $-共Banach-Saks性质，通过Kalton-Randrianarivony图构造度量障碍。
• 将Szlenk指标条件 $ Sz(X,\varepsilon) \leq C\varepsilon^{-q} $ 与存在 $ r $-弱* AUC等价范数的性质联系起来，并利用此关系改进压缩指数估计。

提出的方法

• 构造一个度量图 $ G_k(\mathbb{M}) $，其顶点为无限子集 $ \mathbb{M} \subset \mathbb{N} $ 中 $ k $-元组的汉明距离，用于建模粗嵌入。
• 利用一个2-基序列 $ (x_n) $ 定义从 $ G_k(\mathbb{N}) $ 到拟自反Banach空间 $ X $ 的Lipschitz映射 $ \varphi_k $，确保 $ \text{Lip}(\varphi_k) \leq 4\theta $。
• 应用定理2.2（Kalton-Randrianarivony图直径估计的变体）获得粗Lipschitz映射进入 $ p $-AUS空间时的统一直径估计 $ \text{diam}(f \circ \varphi_k(G_k(\mathbb{M}_k))) \leq Ck^{1/p} $。
• 通过对角化方法构造一个子序列 $ \mathbb{M} $，使得 $ \varphi_k $ 在 $ \mathbb{M}_k $ 上的像满足统一的直径界。
• 利用拟自反空间中半有界弱零序列 $ (z_n) $ 的 $ q $-共Banach-Saks性质，构造一组 $ k $ 个点满足 $ \|\sum z_{n_j}\| \geq d k^{1/q} $，若 $ \alpha > q/p $ 则与直径界矛盾。
• 利用Szlenk指标条件 $ Sz(X,\varepsilon) \leq C\varepsilon^{-q} $ 保证 $ X^* $ 存在 $ r $-弱* AUC等价范数，从而可将主结果应用于对偶空间。

实验结果

研究问题

• RQ1 Kalton与Randrianarivony在自反 $ p $-AUS空间中关于粗Lipschitz嵌入的结果能否推广到拟自反情形？
• RQ2 当 $ 1 \leq q < p $ 时，从 $ q $-AUC Banach空间 $ X $ 到 $ p $-AUS拟自反空间 $ Y $ 的粗Lipschitz嵌入的最优压缩指数 $ \alpha_Y(X) $ 是多少？
• RQ3 拟自反空间中的 $ q $-共Banach-Saks性质如何与度量图嵌入相互作用，从而阻碍粗Lipschitz嵌入？
• RQ4 Szlenk指标条件 $ Sz(X,\varepsilon) \leq C\varepsilon^{-q} $ 在多大程度上蕴含 $ X^* $ 存在 $ r $-弱* AUC等价范数？这一性质如何改进压缩指数估计？

主要发现

• 当 $ 1 \leq q < p $ 时，$ q $-渐近一致严格凸Banach空间 $ X $ 不能粗Lipschitz嵌入到 $ p $-渐近一致光滑的拟自反Banach空间 $ Y $ 中，且压缩指数满足 $ \alpha_Y(X) \leq q/p $。
• 证明依赖于构造一系列度量图 $ G_k(\mathbb{M}) $，并利用 $ q $-共Banach-Saks性质在 $ X $ 中生成具有 $ \ell^q $-型范数增长的点列，与来自 $ p $-AUS假设的 $ k^{1/p} $ 直径界矛盾。
• 通过对角化论证，确保同一无限子集 $ \mathbb{M} $ 能在所有 $ k $ 上支持所需的 $ k $-元组，维持矛盾论证的一致性。
• 该结果可推广到对偶空间：若 $ X^* $ 的Szlenk指标满足 $ Sz(X,\varepsilon) \leq C\varepsilon^{-q} $，则对于 $ p $-AUS拟自反空间 $ Y $，有 $ \alpha_Y(X^*) \leq p/q $，在相同 $ q < p $ 条件下成立。
• 本文证明，拟自反空间中的 $ q $-共Banach-Saks性质足以生成阻碍粗Lipschitz嵌入到 $ p $-AUS空间所需的范数增长。
• 该工作确认，在拟自反情形下，压缩指数上界 $ \alpha_Y(X) \leq q/p $ 是最优的，推广了Braga在自反情形下的结果。