[論文レビュー] Daugavet- and Delta-points in spaces of Lipschitz functions

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

Advanced Banach Space Theory被引用数 4

ひとこと要約

この論文は、適切な距離空間上のリプシッツ関数空間におけるDaugavet点とΔ点の同値性を確立し、これらの点の特徴付けを提供するとともに、すべての無限次元リプシッツ関数空間にΔ点が存在することを証明している。一方、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.

研究の動機と目的

• 距離空間上のリプシッツ関数空間におけるDaugavet点とΔ点の関係を調査すること。
• 無限次元リプシッツ関数空間にΔ点が存在するかどうかを特定し、Daugavet点がどのような条件下で出現するかを同定すること。
• これらの関数空間におけるDaugavet点、Δ点、およびそれらのw*-版の違いを検討すること。
• 適切な距離空間上のリプシッツフリー空間におけるΔ点の特徴付けを提供し、[13]の問題2をこの文脈で解決すること。
• Daugavet点とΔ点が同値でないことを示す具体例を構成すること、すなわち無限次元設定においても同値でないことを示すこと。

提案手法

• 単位球のスライスに基づくDaugavet点およびΔ点の特徴付けを用い、双対空間内のスライスを介してそれらを定義する。
• リプシッツフリー空間 $ \mathcal{F}(M) $ における分子 $ m_{xy} = \frac{\delta_x - \delta_y}{d(x,y)} $ の概念を適用し、これが単位球に dense に分布することを活用する。
• 双対性 $ \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 適切な距離空間上のリプシッツ関数空間において、Daugavet点とΔ点は同値か？
• RQ2 すべての無限次元リプシッツ関数空間に少なくとも1つのΔ点が存在するか？
• RQ3 Daugavet点を含まないがΔ点を含むリプシッツ関数空間は存在するか？
• RQ4 Daugavet点、Δ点、およびそれらのw*-版は $ \operatorname{Lip}_0(M) $ で同値か？
• RQ5 距離空間 $ M $ にどのような構造的条件を課すと、$ \operatorname{Lip}_0(M) $ にDaugavet点が存在するようになるか？

主な発見

• 適切な距離空間上のリプシッツ関数空間では、Daugavet点とΔ点が同値であり、それらはw*-版とも同値である。
• 無限距離空間上の任意のリプシッツ関数空間には、少なくとも1つのΔ点が存在する。
• Daugavet点を含まないがΔ点を含む無限次元リプシッツ関数空間が存在し、Daugavet点とΔ点が同値でないことを示している。
• 本論文は、ある関数がw*-Daugavet点ではあるがΔ点ではない具体例を構成した。これにより、w*-Daugavet点がΔ点を意味するとは限らないことが証明された。
• 関数 $ f \in S_{\operatorname{Lip}_0(M)} $ が局所的でない限り、$ B_{\mathcal{F}(M)} $ における $ f $ によって定義される任意のスライスは、くぼみ点（denting point）を含む。これは[4]の結果を一般化したものである。
• 構築された例では、$ f $ は任意の $ \alpha > 0 $ および有限台を持つ $ \mu \in S_{\mathcal{F}(M)} $ に対して、$ \|f - h\| = 2 $ かつ $ h \in S(\mu, \alpha) $ を満たす摂動 $ h $ が存在するため、$ f $ はw*-Daugavet点である。しかし、すべての $ g_i \in \Delta_\varepsilon(f) $ に対して $ g_i(m_{u_{n+1}v_{n+1}}) $ が有界であることから、$ f $ はΔ点ではない。