[論文レビュー] 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

ひとこと要約

本稿はバナッハ空間の絶対和におけるDaugavet点およびΔ点の性質を調査し、和の成分の性質に基づいてそのような点が和に存在するための条件を確立する。特に、p, q > 1 が共役指数であるとき、絶対和のベクトルがΔ点であるための必要十分条件は、それぞれの成分がその和空間におけるΔₚ点およびΔ_q点であることである。また、単位球のスライス構造とノルム構造に基づいて、Daugavet点およびΔ点が存在するための必要十分条件を提示する。

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.

研究の動機と目的

• 絶対和にDaugavet点またはΔ点が存在する条件を特定し、それらの点の存在に関する先行研究を拡張すること。
• 逆条件を特徴付けること：和にΔ点が存在するならば、その和成分にもΔ点が存在することを示すこと。
• Daugavet点およびΔ点の存在に与える基本的な絶対正規化ノルムの役割を明確にすること。
• 和成分におけるΔ点の存在と、和空間の単位球におけるスライス構造との間に双対性を確立すること。
• 以前の十分条件や必要条件でカバーされていなかったケースを解消することで、絶対和におけるDaugavet点存在の分類を完成させること。

提案手法

• Hahn–Banach分離定理を用いたスライスに基づくDaugavet点およびΔ点の特徴付け：点がDaugavet点であるとは、任意のスライスが距離2にほぼ近い点を含むことである。
• スライスの定義を適用する：$ S(B_X, x^*, \alpha) = \{ y \in B_X : x^*(y) > 1 - \alpha \} $、これによりノルム達成性の挙動を分析する。
• Δₚ点の概念を用いる：$ x \in S_X $ がΔₚ点であるとは、xを含む任意のスライスSに対して、$ \|x - u\| \geq 2 - \varepsilon $ を満たすu ∈ S が存在することである。
• $ \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 $ でΔₚ点、$ y $ が $ Y $ でΔ_q点であることであることを示す。
• 集合 $ A = \{ k \in [1,\infty) : x \text{ が } X \text{ で } \Delta_k\text{-点} \} $ における背理法および下界に関する議論を用い、$ A = [a,\infty) $ および $ B = [b,\infty) $ が成り立ち、$ 1/a + 1/b \geq 1 $ であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 絶対正規化ノルム $ N $ が性質 $ (\alpha) $ を満たさない限り、$ X $ および $ Y $ が両方Daugavet点を持つとき、$ X \oplus_N Y $ がDaugavet点を持つための条件は何か？
• RQ2 和 $ X \oplus_N Y $ にΔ点が存在するとき、少なくとも一方の和成分にΔ点が存在する条件は何か？
• RQ3 和成分におけるΔₚ点の存在と、絶対和におけるΔ点の存在との間の正確な関係は何か？
• RQ4 和空間におけるDaugavet点の存在は、和成分に依存しないノルム構造 $ N $ のみによって特徴付けられるか？
• RQ5 和空間の単位球におけるスライスの性質は、和成分の幾何的構造とどのように関係するか？

主な発見

• 任意の絶対正規化ノルム $ N $ が性質 $ (\alpha) $ を満たさない限り、$ X $ および $ Y $ が両方Daugavet点を持つならば、$ X \oplus_N Y $ にもDaugavet点が存在する。
• $ \ell_\infty $-和 $ X \oplus_\infty Y $ において、ベクトル $ (x,y) $ がΔ点であるための必要十分条件は、共役指数 $ p,q > 1 $ が存在して、$ x $ が $ X $ でΔₚ点、$ y $ が $ Y $ でΔ_q点であることである。
• もし $ x \in S_X $ も $ y \in S_Y $ もΔ点でないが、$ (x,y) \in S_{X \oplus_\infty Y} $ がΔ点であるならば、$ 1/p + 1/q = 1 $ を満たす $ p,q > 1 $ が存在し、$ x $ が $ X $ でΔₚ点、$ y $ が $ Y $ でΔ_q点である。
• $ x \in S_X $ がΔₚ点であるような指数 $ p $ の集合は閉区間 $ [a,\infty) $ であり、同様に $ y \in S_Y $ に対しても $ [b,\infty) $ となる。このとき $ 1/a + 1/b \geq 1 $ が成り立つ。
• もし $ (x,y) $ が $ X \oplus_\infty Y $ でΔ点であるならば、$ x $ もしくは $ y $ の少なくとも一方が、ある $ p > 1 $ に対してΔₚ点でなければならない。このような点の存在は、双対汎関数を用いたスライス条件によって特徴付けられる。
• もし $ X \oplus_N Y $ にDaugavet点が存在するならば、$ N $ がタイプ $ (\alpha) $ でない限り、少なくとも一方の和成分にDaugavet点が存在する。