[论文解读] Daugavet- and Delta-points in absolute sums of Banach spaces

R. Haller, Katriin Pirk+1 more|arXiv (Cornell University)|Jan 17, 2020

Advanced Banach Space Theory参考文献 5被引用 9

一句话总结

本文研究了巴拿赫空间绝对和中的 Dauvaget 点与 Δ 点，建立了基于分量空间性质决定和空间中此类点存在的条件。证明了绝对和中的向量是 Δ 点当且仅当其分量在共轭指数 p, q > 1 下分别是 Δₚ 和 Δ_q 点，并基于范数结构与单位球的截面性质，给出了 Dauvaget 点与 Δ 点存在的充要条件。

ABSTRACT

A Daugavet-point (resp.~$Δ$-point) of a Banach space is a norm one element $x$ for which every point in the unit ball (resp.~element $x$ itself) is in the closed convex hull of unit ball elements that are almost at distance 2 from $x$. A Banach space has the well-known Daugavet property (resp.~diametral local diameter 2 property) if and only if every norm one element is a Daugavet-point (resp.~$Δ$-point). This paper complements the article "Delta- and Daugavet-points in Banach spaces" by T. A. Abrahamsen, R. Haller, V. Lima, and K. Pirk, where the study of the existence of Daugavet- and $Δ$-points in absolute sums of Banach spaces was started.

研究动机与目标

• 确定巴拿赫空间绝对和中何时包含 Dauvaget 点或 Δ 点，扩展先前关于此类点存在性的结果。
• 刻画逆向条件：当和空间中存在 Δ 点时，其在分量空间中也存在的条件。
• 阐明底层绝对标准化范数在决定和空间中 Dauvaget 点与 Δ 点存在性中的作用。
• 建立分量空间中 Δ 点存在性与和空间单位球截面结构之间的对偶关系。
• 通过解决早期充分或必要条件未涵盖的情形，完成对绝对和中 Dauvaget 点存在性的分类。

提出的方法

• 使用基于截面的 Dauvaget 点与 Δ 点刻画方法，借助 Hahn–Banach 分离定理，其中一点是 Dauvaget 点当且仅当每个截面都包含一个几乎距离为 2 的点。
• 应用截面定义：$ S(B_X, x^*, \alpha) = \{ y \in B_X : x^*(y) > 1 - \alpha \} $，以分析范数达到行为。
• 采用 $ \Delta_p $-点的概念：若对任意包含 $ x \in S_X $ 的截面 $ S $，存在 $ u \in S $ 使得 $ \|x - u\| \geq 2 - \varepsilon $，则称 $ x \in S_X $ 为 $ \Delta_p $-点。
• 分析 $ \ell_\infty $-和 $ X \oplus_\infty Y $，利用对偶泛函 $ f = (\lambda x^*, (1-\lambda)y^*) $ 在乘积空间中构造截面。
• 应用共轭指数 $ p, q > 1 $ 之间的对偶性，满足 $ 1/p + 1/q = 1 $，证明 $ (x,y) $ 是 $ X \oplus_\infty Y $ 中的 Δ 点当且仅当 $ x $ 是 $ X $ 中的 $ \Delta_p $-点且 $ y $ 是 $ Y $ 中的 $ \Delta_q $-点。
• 使用反证法和下确界论证，对集合 $ A = \{ k \in [1,\infty) : x \text{ 是 } \Delta_k\text{-点 in } X \} $ 进行分析，证明 $ A = [a,\infty) $ 且 $ B = [b,\infty) $，满足 $ 1/a + 1/b \geq 1 $。

实验结果

研究问题

• RQ1 当绝对标准化范数 $ N $ 不满足性质 $ (\alpha) $ 时，若 $ X $ 与 $ Y $ 均有 Dauvaget 点，则绝对和 $ X \oplus_N Y $ 何时也包含 Dauvaget 点？
• RQ2 在什么条件下，$ X \oplus_N Y $ 中 Δ 点的存在性可推出至少一个分量空间中存在 Δ 点？
• RQ3 分量空间中 $ \Delta_p $-点的存在性与绝对和中 Δ 点的存在性之间的确切关系是什么？
• RQ4 能否仅通过范数结构 $ N $ 来表征和空间中 Dauvaget 点的存在性，而独立于分量空间？
• RQ5 和空间单位球的截面性质如何与分量空间的几何结构相关联？

主要发现

• 对于任意不满足性质 $ (\alpha) $ 的绝对标准化范数 $ N $，若 $ X $ 与 $ Y $ 均有 Dauvaget 点，则 $ X \oplus_N Y $ 也具有 Dauvaget 点。
• 在 $ \ell_\infty $-和 $ X \oplus_\infty Y $ 中，向量 $ (x,y) $ 是 Δ 点当且仅当存在共轭指数 $ p,q > 1 $，使得 $ x $ 是 $ X $ 中的 $ \Delta_p $-点且 $ y $ 是 $ Y $ 中的 $ \Delta_q $-点。
• 若 $ x \in S_X $ 与 $ y \in S_Y $ 均非 Δ 点，但 $ (x,y) \in S_{X \oplus_\infty Y} $ 是 Δ 点，则存在 $ p,q > 1 $ 满足 $ 1/p + 1/q = 1 $，使得 $ x $ 是 $ X $ 中的 $ \Delta_p $-点且 $ y $ 是 $ Y $ 中的 $ \Delta_q $-点。
• 使得 $ x \in S_X $ 为 $ \Delta_p $-点的指数 $ p $ 的集合是一个闭区间 $ [a,\infty) $，同理对 $ y \in S_Y $ 也有类似结论，且满足 $ 1/a + 1/b \geq 1 $。
• 若 $ (x,y) $ 是 $ X \oplus_\infty Y $ 中的 Δ 点，则 $ x $ 或 $ y $ 至少有一个是某个 $ p > 1 $ 的 $ \Delta_p $-点，且此类点的存在性由涉及对偶泛函的截面条件所刻画。
• 若 $ X \oplus_N Y $ 中存在 Dauvaget 点，则至少一个分量空间必须有 Dauvaget 点，前提是 $ N $ 不属于类型 $ (\alpha) $。