[论文解读] Dual Banach spaces which contain an isometric copy of $L_1$

S. J. Dilworth, Maria Girardi+1 more|ArXiv.org|Apr 27, 2000

Advanced Banach Space TheoryMathematics参考文献 7被引用 20

一句话总结

本文建立了含有渐近等距复制的巴拿赫空间 $X$ 与其中心对偶空间 $X^*$ 含有 $L_1$ 等距复制之间的精确对偶性。关键结果表明，当且仅当 $X^*$ 等距包含 $L_1$ 时，$X$ 才含有 $\ell_1$ 的渐近等距复制，从而在巴拿赫空间理论中解决了长期存在的对偶性问题，对不动点理论和 $\ell_1$ 的重新赋范具有重要意义。

ABSTRACT

A Banach space contains asymptotically isometric copies of $\ell_1$ if and only if its dual space contains an isometric copy of $L_1$.

研究动机与目标

• 建立巴拿赫空间 $X$ 中存在 $\ell_1$ 的渐近等距复制与其中心对偶空间 $X^*$ 中存在 $L_1$ 等距复制之间的精确对偶性。
• 解决关于 $\ell_1$ 在 $X$ 中渐近等距嵌入是否蕴含 $X^*$ 中 $L_1$ 等距嵌入的开放问题，确认二者等价。
• 研究此类等距嵌入对 $\ell_1$ 的重新赋范及对偶空间中弱紧凸集上不动点自由等距同构的结构性影响。
• 通过 $\ell_1$-型序列的商与扰动结构，提供对偶空间是否等距包含 $L_1$ 的刻画。
• 推广并拓展佩茨金斯基与哈格勒关于对偶空间中 $\ell_1$-型结构与 $L_1$-型结构之间对偶性的先前结果。

提出的方法

• 本文通过满足 $ (1 - \varepsilon_n) \sum |a_n| \leq \left\| \sum a_n x_n \right\| \leq \sum |a_n| $ 的序列 $ (x_n) $ 在 $ X $ 中定义 $\ell_1$ 的渐近等距复制，其中 $ (\varepsilon_n) $ 为零序列，并以尾部估计与扰动形式给出等价表述。
• 使用 $ (1+\varepsilon_n) $-扰动的等距复制概念，其中 $ \varepsilon_n \to 0 $，以刻画渐近等距嵌入。
• 应用对偶理论：证明 $ X^* $ 等距包含 $ L_1 $ 当且仅当 $ X $ 允许一个等距同构于 $ \ell_1 $ 的商空间，利用商映射与零化子。
• 通过 $ \| (a_n) \|_{1}^{\prime} = \inf \left\{ \left[ \| (a_n + b_n) \|_1^2 + \| (\gamma_n^{-1} b_n) \|_2^2 \right]^{1/2} \right\} $ 显式构造 $\ell_1$ 的重新赋范，其中 $ \| (\gamma_n) \|_2 < \varepsilon $，并证明此类空间不包含渐近等距复制的 $\ell_1$。
• 应用等距商映射与对偶空间等距嵌入之间的对偶性，证明 $ T $ 为等距商映射当且仅当 $ T^* $ 为等距嵌入。
• 利用若 $ X^* $ 等距包含 $ L_1 $，则 $ X $ 必须包含满足渐近等距条件的序列，反之亦然，通过双重性与商空间构造实现。

实验结果

研究问题

• RQ1 若巴拿赫空间 $X$ 中存在 $\ell_1$ 的渐近等距复制，是否意味着其对偶空间 $X^*$ 中必然存在 $L_1$ 的等距复制？
• RQ2 反之是否成立：若 $X^*$ 等距包含 $L_1$，是否意味着 $X$ 必然包含 $\ell_1$ 的渐近等距复制？
• RQ3 能否将对偶空间中 $\ell_1$-型结构与 $L_1$-型结构之间的对偶性提升为等距对偶，而不仅是同构或近乎等距？
• RQ4 是否存在避免包含 $\ell_1$ 渐近等距复制的 $\ell_1$ 重新赋范？何种结构性条件可阻止此类复制的存在？
• RQ5 若 $X^*$ 中存在 $L_1$ 的等距复制，是否意味着 $X^*$ 上存在弱紧凸子集上的不动点自由等距同构？

主要发现

• 主要结果确立了完全对偶性：巴拿赫空间 $X$ 包含 $\ell_1$ 的渐近等距复制当且仅当其对偶空间 $X^*$ 包含 $L_1$ 的等距复制。
• 通过 $ \| (a_n) \|_{1}^{\prime} = \inf \left\{ \left[ \| (a_n + b_n) \|_1^2 + \| (\gamma_n^{-1} b_n) \|_2^2 \right]^{1/2} \right\} $（其中 $ \| (\gamma_n) \|_2 < \varepsilon $）显式构造了一种 $\ell_1$ 的重新赋范，该空间不包含渐近等距复制的 $\ell_1$。
• 此重新赋范 $\ell_1$ 空间的对偶空间等距同构于 $ (\ell_\infty, \| \cdot \|_\infty') $，其中 $ \| (c_n) \|_\infty' = \left[ \| (c_n) \|_\infty^2 + \| (\gamma_n c_n) \|_2^2 \right]^{1/2} $，该空间不包含 $L_1$ 的等距复制。
• 由于该对偶空间不包含 $L_1$ 等距复制，根据定理 2，重新赋范后的 $\ell_1$ 空间不包含渐近等距复制的 $\ell_1$，从而确认了该对偶性的精确性。
• 存在从 $X$ 到 $\ell_1$ 的等距商映射当且仅当 $X^*$ 等距包含 $L_1$，将商结构与对偶空间嵌入联系起来。
• 阿尔斯帕赫在 $L_1$ 中构造的弱紧凸集上的不动点自由等距同构表明，若 $X^*$ 等距包含 $L_1$，则 $X^*$ 支持此类等距同构，从而得到不动点自由等距同构存在的新存在性结果。