[論文レビュー] NIP formulas and Baire 1 definability

Karim Khanaki|arXiv (Cornell University)|Mar 25, 2017

Advanced Topology and Set Theory参考文献 3被引用数 3

ひとこと要約

本稿では、可算な構造 M における式が NIP であることと、その式の型が M の飽和した初等拡大において Baire 1 可定義であることの同値性を確立する。Bourgain, Fremlin, Talagrand による Baire 1 関数およびポーランド空間における相対的逐次コンパクト性に関する結果を用いて、関数集合の位相的性質をモデル理論的可定義性に翻訳し、NIP 式の関数解析的視点を提供する。

ABSTRACT

In this short note, using results of Bourgain, Fremlin, and Talagrand \cite{BFT}, we show that for a countable structure $M$, a saturated elementary extension $M^*$ of $M$ and a formula $ϕ(x,y)$ the following are equivalent: (i) $ϕ(x,y)$ is NIP on $M$ (in the sense of Definition 2.1). (ii) Whenever $p(x)\in S_ϕ(M^*)$ is finitely satisfiable in $M$ then it is Baire 1 definable over $M$ (in sense of Definition 2.5).

研究の動機と目的

• 関数空間の位相的性質を用いた NIP 式のモデル理論的特徴づけを確立すること。
• Bourgain, Fremlin, Talagrand の結果をモデル理論的言語に翻訳することで、モデル理論と関数解析を橋渡しすること。
• 可算な構造において有限実現可能な型が、飽和した拡大において Baire 1 可定義であることを示すこと。
• 解析を用いたモデル理論的でない証明を提供し、連続論理への一般化を可能にすること。
• モデル理論家がモデル理論と関数解析との間の関係を探るよう促すこと。

提案手法

• 式に関連する 0-1 値関数の集合の相対的逐次コンパクト性と NIP の同値性を利用する。
• BFT78 の Fact 2.3 を用いて、Baire 1 関数における相対的コンパクト性および ℝ^X における逐次コンパクト性を適用する。
• ポーランド空間上での Baire 1 関数の天使的性質（Fact 2.4）を用いて収束性を保証する。
• M 上での Baire 1 可定義性を、aₙ ∈ M に対する式 φ(aₙ, y) の点収束として定義する。
• 型空間 S_φ(M) 上でのモデル理論的型を、ポーランド空間構造を活用して関数の極限に翻訳する。
• 論理位相および M* の飽和性を用いて、型の実現および収束を保証する。

実験結果

リサーチクエスチョン

• RQ1 式 φ(x,y) が可算構造 M においていつ NIP であるか？
• RQ2 型 p ∈ S_φ(M*) が M で有限実現可能であり、かつ M 上で Baire 1 可定義であるのはいつか？
• RQ3 C(S_φ(M)) における相対的逐次コンパクト性という位相的性質は NIP とどのように関係するか？
• RQ4 モデル理論における有限実現可能性の関数解析的対応物は何か？
• RQ5 NIP と Baire 1 関数の関係を連続論理へ一般化できるか？

主な発見

• 式 φ(x,y) が可算構造 M において NIP であることは、S_φ(M*) に属する M で有限実現可能なすべての型が M 上で Baire 1 可定義であることに同値である。
• 関数集合 {φ(a,y) : a ∈ M} が S_φ(M) 上の Baire 1 関数空間において相対的コンパクトであることは、φ が M で NIP であることと同値である。
• 式列 φ(aₙ,y) の極限は、型空間 S_φ(M) 上で点収束し、Baire 1 関数 ψ(y) に収束する。
• 型 p が M で有限実現可能であることは、p が M 上の式列の点収束として定義可能であることを示唆する。
• 証明は、S_φ(M) がポーランド空間であり、点収束において B₁(S_φ(M)) が天使的であることを利用している。
• Remark 2.7 で述べられているように、直ちに適応可能な変更により、結果は連続論理へ一般化される。