[論文レビュー] 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$ が $α_1$ の漸近等長コピーを含むことと、その双対空間 $X^*$ が $L_1$ の等長コピーを含むことの間の正確な双対性を確立する。主な結果は、$X$ が $α_1$ の漸近等長コピーを含むことと $X^*$ が $L_1$ を等長的に含むことが同値であること、すなわち、バナッハ空間論における長年の双対性の未解決問題を解消する。この結果は、固定点理論や $α_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$ に $α_1$ の漸近等長コピーが存在することと、その双対空間 $X^*$ に $L_1$ の等長コピーが存在することの間の正確な双対性を確立する。
• $X$ に $α_1$ が漸近等長埋め込み可能であることと $X^*$ に $L_1$ が等長埋め込み可能であることの同値性を示し、この同値性を確認する。
• このような等長埋め込みが $α_1$ の再ノルム化および双対空間における弱コンパクト凸集合上に固定点を持たない等長写像の存在に与える構造的影響を調査する。
• $α_1$-型の列の商構造と摂動構造を通じて、双対空間が $L_1$ を等長的に含むための特徴づけを提供する。
• ペツィンスキーとハグラの先行研究を拡張し、双対空間における $α_1$-型構造と $L_1$-型構造の間の双対性を一般化する。

提案手法

• 論文は、列 $ (x_n) $ が $ (1 - \varepsilon_n) \sum |a_n| \leq \left\| \sum a_n x_n \right\| \leq \sum |a_n| $ を満たし、$ (\varepsilon_n) $ が零列であるような条件により、$α_1$ の漸近等長コピーを定義する。これは、尾部推定や摂動の観点からも同値に表現可能である。
• 等長コピーの $ (1+\varepsilon_n) $-摂動（$ \varepsilon_n \to 0 $）の概念を用い、漸近等長埋め込みの特徴づけを実行する。
• 双対性理論を応用：$ X^* $ が $L_1$ を等長的に含むことと、$X$ が $α_1$ に等長な商空間を含むことは同値であり、商写像と annihilator を用いて示す。
• 明示的な $α_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 $）を満たすもので、この空間は漸近等長コピーを含まないことを証明する。
• 等長商写像と双対写像の等長埋め込みの間の双対性を応用し、$ T $ が等長商写像であることと $ T^* $ が等長埋め込みであることの同値性を示す。
• 双対性により、$ X^* $ が $L_1$ を等長的に含むならば、$X$ は漸近等長条件を満たす列を含み、逆にその逆も成り立つことが示される。

実験結果

リサーチクエスチョン

• RQ1 バナッハ空間 $X$ に $α_1$ の漸近等長コピーが存在することは、その双対空間 $X^*$ が $L_1$ の等長コピーを含むことを示唆するか？
• RQ2 逆は成り立つか：$X^*$ が $L_1$ を等長的に含むならば、$X$ は $α_1$ の漸近等長コピーを含む必要があるか？
• RQ3 双対空間における $α_1$-型構造と $L_1$-型構造の間の双対性を、単なる同相的またはほぼ等長的ではなく、等長的にすることができるか？
• RQ4 $α_1$ の漸近等長コピーを含まないような再ノルム化は存在するか？ また、そのようなコピーを避ける構造的条件は何か？
• RQ5 $X^*$ に $L_1$ の等長コピーが存在することは、$X^*$ の弱コンパクト凸部分集合上に固定点を持たない等長写像の存在を示唆するか？

主な発見

• 主な結果は完全な双対性を確立する：バナッハ空間 $X$ が $α_1$ の漸近等長コピーを含むことと、その双対空間 $X^*$ が $L_1$ の等長コピーを含むことは同値である。
• 明示的な $α_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 $）を用いて構成され、この空間は漸近等長コピーを含まない。
• この再ノルム化された $α_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より再ノルム化された $α_1$ 空間は漸近等長コピーを含まないことが確認され、双対性の鋭さが裏付けられる。
• 等長商写像 $X$ から $α_1$ が存在することと $X^*$ が $L_1$ を等長的に含むことは同値であり、商構造と双対空間への埋め込みを結びつける。
• アルスパッハの $L_1$ 上の弱コンパクト凸集合上に固定点を持たない等長写像の例は、$X^*$ に $L_1$ の等長コピーが存在するならば、$X^*$ が同様の等長写像を支持することを示唆し、固定点を持たない等長写像の存在に関する新たな結果を得る。