[論文レビュー] New proofs of Rosenthal's $\ell^{1}$--theorem and the Josefson--Nissenzweig theorem

Ehrhard Behrends|arXiv (Cornell University)|Mar 31, 1994

Advanced Banach Space Theory参考文献 3被引用数 10

ひとこと要約

本稿では、単純なラマヌジャン的組合せ論的議論とマルティングール差分補題を用いて、ローゼンタールの ℓ¹ 定理およびヨゼフソン–ニッセンツヴァイグ定理の新しい、初等的な証明を提示する。主な貢献は定量的精錬である：Banach空間が ℓ¹ をほぼ含むならば、任意の有界列は、ほぼ弱コーシーとなる部分列を持つ。これは古典的な非構成的証明に対する構成的で定量的な代替手段を提供する。

ABSTRACT

We give elementary proofs of the theorems mentioned in the title. Our methods rely on a simple version of Ramsey theory and a martingale difference lemma. They also provide quantitative results: if a Banach space contains $\ell^{1}$ only with a bad constant then every bounded sequence admits a subsequence which is ``nearly'' a weak Cauchy sequence.

研究の動機と目的

• Banach空間理論における2つの基礎的定理であるローゼンタールの ℓ¹ 定理およびヨゼフソン–ニッセンツヴァイグ定理の新しい、初等的な証明を提供すること。
• 古典的な非構成的議論を、ラマヌジャン理論およびマルティングール差分推定に根ざした手法に置き換えること。
• Banach空間に ℓ¹ がほぼ存在する場合、有界列がどの程度弱コーシーに近いかを定量的に制御すること。
• 弱コーシー部分列を有さないBanach空間における有界列の構造を理解するための構成的フレームワークを提供すること。

提案手法

• 簡略化されたラマヌジャン理論がBanach空間内の列を分析するために適用され、インデックス集合への分割議論を可能にする。
• マルティングール差分補題が部分列上の汎関数の変動を制御するために用いられる。
• 証明は複雑な関数解析的道具に依存せず、代わりに組合せ論的および確率論的道具に依存する。
• 汎関数の振動を制御することで、ほぼ弱コーシーとなる部分列が構成される。
• この手法により、Banach空間の ℓ¹ のほぼ等長埋め込み定数に基づく明示的な定量的推定が得られる。
• このアプローチは自己完結的かつアクセス可能なため、教育的用途やさらなる拡張に適している。

実験結果

リサーチクエスチョン

• RQ1 ローゼンタールの ℓ¹ 定理は、深いつながりのない双対性の議論に代えて、初等的な組合せ論的および確率論的技法を用いて再証明可能か？
• RQ2 Banach空間に ℓ¹ がほぼ存在する場合、列が弱コーシーにどの程度近いかを定量的に制御できるか？
• RQ3 ヨゼフソン–ニッセンツヴァイグ定理は、ラマヌジャン的分割とマルティングール推定を用いて構成的に導出可能か？
• RQ4 Banach空間に ℓ¹ のほぼ等長コピーが存在する場合、弱コーシー的挙動を示す部分列の存在にどのような影響を与えるか？
• RQ5 これらの定理の古典的な非構成的証明は、どの程度効果的で定量的な代替手段に置き換え可能か？

主な発見

• 本稿では、Banach空間が大きな定数を用いて ℓ¹ のコピーを含むならば、任意の有界列がほぼ弱コーシーとなる部分列を持つことを確立した。
• 弱コーシー列への近似度は、ℓ¹ 埋め込みのほぼ等長定数によって定量的に制御される。
• ラマヌジャン的分割の使用により、好都合な部分列を抽出するための明確な組合せ論的インデックス集合の分解が可能になった。
• マルティングール差分補題は、部分列上の汎関数の変動を抑え、ほぼ弱コーシー性を保証するための道具を提供する。
• 証明は初等的かつ自己完結的であり、Hahn–Banach定理の非構成的形に依存しない。
• これらの結果は、非反射的Banach空間における弱収束列の非存在を理解するための構成的フレームワークを提供する。