[论文解读] Daugavet- and Delta-points in spaces of Lipschitz functions

Triinu Veeorg|arXiv (Cornell University)|Jun 7, 2022

Advanced Banach Space Theory被引用 4

一句话总结

该论文在完备度量空间上的Lipschitz函数空间中建立了Daugavet点与Δ点的等价性，提供了这些点的刻画，并证明了在所有无限维Lipschitz函数空间中Δ点存在，而Daugavet点不一定存在。此外，论文还表明Daugavet点与Δ点在一般情况下并不等价，也不同于它们的w*版本。

ABSTRACT

A norm one element $x$ of a Banach space is a Daugavet-point (respectively,~a $Δ$-point) if every slice of the unit ball (respectively,~every slice of the unit ball containing $x$) contains an element that is almost at distance 2 from $x$. We prove the equivalence of Daugavet- and $Δ$-points in spaces of Lipschitz functions over proper metric spaces and provide two characterizations for them. Furthermore, we show that in some spaces of Lipschitz functions, there exist $Δ$-points that are not Daugavet-points. Lastly, we prove that every space of Lipschitz functions over an infinite metric space contains a $Δ$-point but might not contain any Daugavet-points.

研究动机与目标

• 研究度量空间上Lipschitz函数空间中Daugavet点与Δ点之间的关系。
• 确定无限维Lipschitz函数空间中Δ点是否存在，以及在何种条件下会出现Daugavet点。
• 考察这些函数空间中Daugavet点、Δ点及其w*版本之间的区别。
• 提供完备度量空间上Lipschitz自由空间中Δ点的刻画，从而解决[13]中的问题2。
• 构造反例以证明即使在无限维情形下，Daugavet点与Δ点也不等价。

提出的方法

• 利用基于截面的Daugavet点与Δ点刻画方法，通过双空间单位球的截面来定义这些点。
• 应用Lipschitz自由空间 $ \mathcal{F}(M) $ 中的分子概念 $ m_{xy} = \frac{\delta_x - \delta_y}{d(x,y)} $，这些分子在单位球中是稠密的。
• 利用对偶关系 $ \mathcal{F}(M)^* = \operatorname{Lip}_0(M) $ 来分析Daugavet点与Δ点的w*版本。
• 构造具有特定距离结构的度量空间（例如涉及序列 $ x_i, y_i, u_i, v_i $），以生成反例。
• 使用凸组合与支撑论证，证明某些函数不能属于 $ \Delta_\varepsilon(f) $ 的闭凸包，从而证明其非Δ点性质。
• 应用不等式 $ \|m_{u_{n+1}v_{n+1}} - m_{p_i q_i}\| = 1 $ 来限制泛函取值，并推导出Δ点成员资格的矛盾。

实验结果

研究问题

• RQ1 在完备度量空间上的Lipschitz函数空间中，Daugavet点与Δ点是否等价？
• RQ2 所有无限维Lipschitz函数空间是否都至少包含一个Δ点？
• RQ3 一个Lipschitz函数空间能否包含Δ点但不包含任何Daugavet点？
• RQ4 在 $ \operatorname{Lip}_0(M) $ 中，Daugavet点、Δ点及其w*版本是否等价？
• RQ5 度量空间 $ M $ 需要满足何种结构性条件，才能保证 $ \operatorname{Lip}_0(M) $ 中存在Daugavet点？

主要发现

• 在完备度量空间上的Lipschitz函数空间中，Daugavet点与Δ点等价，且二者均与它们的w*版本等价。
• 每个在无限度量空间上的Lipschitz函数空间都至少包含一个Δ点。
• 存在无限维Lipschitz函数空间，其包含Δ点但不包含任何Daugavet点，从而证明这两个概念不等价。
• 本文构造了一个具体例子，其中某个泛函是w*版本的Daugavet点但不是Δ点，从而证明w*版本的Daugavet点不蕴含Δ点。
• 对于任意 $ f \in S_{\operatorname{Lip}_0(M)} $ 且非局部函数，由 $ f $ 定义的 $ B_{\mathcal{F}(M)} $ 的每个截面都包含一个凹点，推广了[4]中的结果。
• 在所构造的例子中，$ f $ 是w*版本的Daugavet点，因为对任意 $ \alpha > 0 $ 和任意具有有限支撑的 $ \mu \in S_{\mathcal{F}(M)} $，都可找到一个扰动 $ h $，使得 $ \|f - h\| = 2 $ 且 $ h \in S(\mu, \alpha) $，但 $ f $ 不是Δ点，因为对所有 $ g_i \in \Delta_\varepsilon(f) $，$ g_i(m_{u_{n+1}v_{n+1}}) $ 的有界性导致矛盾。