[論文レビュー] MODEL THEORETIC FORCING IN ANALYSIS

Jos, Eduardo Duenez Jose Iovino|arXiv (Cornell University)|Jan 1, 2008

Advanced Topology and Set Theory被引用数 2

ひとこと要約

この論文は、無限項連続論理を用いて、度合い構造におけるモデル理論的強制の枠組みを導入し、ケイラーの一次論理強制を非一次論理的文脈へと拡張する。この枠組みをバナッハ空間理論に適用し、無限次元の核を持つ全射作用素に関して、無限次元バナッハ空間は可分な商をもつことを証明し、可分な商問題の重要な側面を解決する。

ABSTRACT

We present a framework for model theoretic forcing in a non-first-order context, and present some applications of this framework to Banach space theory. Introduction In this paper we introduce a framework of model theoretic forcing for metric structures, i.e., structures based on metric spaces. We use the language of infinitary continuous logic, which we define below. This is a variant of finitary continuous logic which is exposed in (BU) or (BBHU08). The model theoretic forcing framework introduced here is analogous to that developed by Keisler (Kei73) for structures of the form considered in first-order model theory. The paper concludes with an application to separable quotients of Banach spaces. The long standing Separable Quotient Problem is whether for every nonseparable Banach space X there exists a operator T : X → Y such that T(X) is a separable, infinite di- mensional Banach space. We prove the following result (Theorem 5.4): If X is an infinite dimensional Banach space and T : X → Y is a surjective operator with infinite dimen- sional kernel, then there exist Banach spaces ˆ

研究の動機と目的

• 度合い空間に基づき、無限項連続論理で形式化された度合い構造のためのモデル理論的強制枠組みを構築すること。
• ケイラーの一次論理的モデル理論的強制を、特にバナッハ空間の文脈において、非一次論理的設定へと拡張すること。
• 長年の未解決であった可分な商問題に取り組み、特定の作用素条件の下で無限次元可分な商の存在を証明すること。
• この強制枠組みが関数解析、特にバナッハ空間理論における具体的な問題にどのように適用可能であるかを示すこと。

提案手法

• 枠組みは、度合い構造の性質を記述するための論理言語として無限項連続論理を採用する。
• モデル理論的強制は、連続論理における有限部分型としての強制条件を定義することによって、度合い構造へと適応される。
• 強制関係は、度合い位相と一様連続性を尊重する「有限近似による強制」の概念を用いて定義される。
• 構成により、一般化拡大が、特定の型の実現や可分性の保存といった望ましいモデル理論的性質を満たすことが保証される。
• この方法は、連続論理の完備性とコンパクト性を活用し、指定された条件を満たす一般化モデルの存在を保証する。
• 枠組みはバナッハ空間に適用され、与えられた作用素制約の下で、可分な商を実現する強制拡大を構成する。

実験結果

リサーチクエスチョン

• RQ1 モデル理論的強制は、一次論理的構造から度合い構造へと拡張可能であり、その際、重要な論理的およびモデル理論的性質が保たれるか？
• RQ2 どのような条件下でバナッハ空間が可分かつ無限次元の商をもつのか？
• RQ3 無限次元核をもつ全射作用素の存在は、被写域空間における可分な商の存在を示唆するか？
• RQ4 モデル理論的強制の構成によって、バナッハ空間における可分な商問題は解決可能か？

主な発見

• 本論文は、無限項連続論理を用いて、ケイラーの一次論理的アプローチを一般化した、度合い構造のためのモデル理論的強制枠組みを確立する。
• X が無限次元バナッハ空間であり、T: X → Y が無限次元核をもつ全射作用素であるとき、X の可分な商となるバナッハ空間 ˆX と ˆY が存在することを証明する。
• 構成により、一般化拡大が可分な商構造を実現することが保証され、したがって、提示された条件下でそのような商の存在が確認される。
• この結果により、可分な商問題の重要なケースに対して肯定的な答えが得られ、核が無限次元である場合にはそのような商が存在することが示された。
• この方法は、関数解析、特にバナッハ空間の商構造において、モデル理論的強制の有用性を示している。
• この枠組みは非一次論理的文脈を扱うのに十分に強固であり、無限次元空間における可分性および商構造の分析に新たなツールを提供する。