[论文解读] Local Ramsey theory. An abstract approach

José G. Mijares, Jesús E. Nieto|ArXiv.org|Dec 14, 2007

Advanced Topology and Set Theory参考文献 6被引用 9

一句话总结

该论文通过在子集族上引入选择性共理想结构，将局部拉姆齐理论推广至拓扑拉姆齐空间，证明在选择性条件下H-拉姆齐集与H-贝尔集相等。此外，证明了H-拉姆齐集族在索尔辛操作下封闭，将法拉关于半选择性共理想的结论推广至抽象拉姆齐空间。

ABSTRACT

It is shown that the known notion of selective coideal can be extended to a family $\mathcal{H}$ of subsets of $\mathcal{R}$, where $(\mathcal{R},\leq,r)$ is a topological Ramsey space in the sense of Todorcevic (see \cite{todo}). Then it is proven that, if $\mathcal{H}$ selective, the $\mathcal{H}$-Ramsey and $\mathcal{H}$-Baire subsets of $\mathcal{R}$ are equivalent. This extends the results of Farah in \cite{farah} for semiselective coideals of $\mathbb{N}$. Also, it is proven that the family of ${\cal H}$--Ramsey subsets of ${\cal R}$ is closed under the Souslin operation.

研究动机与目标

• 将法拉关于ℕ上半选择性共理想的结论推广至任意拓扑拉姆齐空间。
• 在拓扑拉姆齐空间(ℛ, ≤, r)的背景下，定义并研究H-拉姆齐集与H-贝尔集的概念。
• 建立H-拉姆齐集与H-贝尔集等价的条件，使用D–O性质作为稠密开集的局部类比。
• 证明当ℋ为选择性时，H-拉姆齐子集族在索尔辛操作下封闭。
• 提供此类空间与共理想的明确例子，包括埃伦特克空间与FINₖ空间，在CH或马丁公理下。

提出的方法

• 在托多列维奇的拓扑拉姆齐空间框架下，将选择性共理想的广义形式推广至拓扑拉姆齐空间ℛ的子集族ℋ。
• 将D–O性质定义为稠密开集的局部类比，从而通过局部贝尔性质刻画H-拉姆齐集。
• 利用D–O性质与结合公理，证明当ℋ为选择性共理想时，ℛ的子集为H-拉姆齐集当且仅当其具有H-贝尔性质。
• 对H-拉姆齐集应用索尔辛操作，并在ℋ为选择性时证明其在该操作下封闭，依赖于ℛ的结构与ℋ的性质。
• 通过埃伦特克空间与FINₖ空间构造例子，表明在CH或马丁公理下，可构建满足所需性质的共理想。
• 使用超限归纳法与抽屉原理（A.6）构造近乎同质的树，确保Borel染色存在同质子空间。

实验结果

研究问题

• RQ1 在拓扑拉姆齐空间ℛ的子集族ℋ满足何种条件时，H-拉姆齐集与H-贝尔集等价？
• RQ2 选择性的概念如何从ℕ推广至任意拓扑拉姆齐空间，以保持拉姆齐理论性质？
• RQ3 当ℋ为选择性时，ℛ的H-拉姆齐子集族是否在索尔辛操作下封闭？
• RQ4 半选择性或选择性共理想的构造能否扩展至ℕ^{[∞]}以外的其他拓扑拉姆齐空间？
• RQ5 为确保在一般拉姆齐空间中此类共理想的存 在，需要哪些模型论或集合论假设（如CH、MA）？

主要发现

• 在拓扑拉姆齐空间ℛ中，若ℋ为选择性共理想，则ℛ的子集为H-拉姆齐集当且仅当其具有H-贝尔性质。
• 当ℋ为选择性时，ℛ的H-拉姆齐子集族在索尔辛操作下封闭，将法拉的结果推广至抽象拉姆齐空间。
• D–O性质作为稠密开集的局部类比，在ℋ的背景下使H-拉姆齐集与H-贝尔集等价成为可能。
• 在埃伦特克空间中，当(xₙ)为Borel序列时，集合ℋ = {A ∈ ℕ^{[∞]} : x是(xₙ)ₙ∈A的聚点}构成选择性共理想，且ℋ为Π₁¹。
• 在FINₖ^{[∞]}中，在CH下可构造选择性共理想ℋ，使得每个Borel染色在[B′] ⊆ [B]上为常值，满足(A.6)模ℋ。
• 通过超限归纳法构造ℋ并使用抽屉原理（A.6）可确保ℋ为半选择性并满足所需的同质性性质。