[论文解读] Ramsey and Nash-Williams combinatorics via Schreier families

Vassiliki Farmaki|ArXiv.org|Apr 1, 2004

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

一句话总结

本文通过使用按可数序数索引的Schreier族$({\cal A}_{\xi})$，将有限Ramsey定理推广至所有可数序数，提供了一个统一的框架，该框架强化了无限Nash-Williams划分定理，并给出了Ellentuck与Galvin-Prikry定理的新证明。关键贡献是针对由可数序数索引的遗传族提出的一个二分定理，通过序数索引的Schreier族将组合数学与Banach空间理论联系起来。

ABSTRACT

The main results of this paper (a) extend the finite Ramsey partition theorem, and (b) employ this extension to obtain a stronger form of the infinite Nash-Williams partition theorem, and also a new proof of Ellentuck's, and hence Galvin-Prikry's partition theorem. The proper tool for this unification of the classical partition theorems at a more general and stronger level is the system of Schreier families $({\cal A}_ξ)$ of finite subsets of the set of natural numbers, defined for every countable ordinal $ξ$.

研究动机与目标

• 通过使用Schreier族$({\cal A}_{\xi})$，将经典的有限Ramsey划分定理推广至所有可数序数。
• 通过利用扩展的Ramsey结果，建立无限Nash-Williams划分定理的更强形式。
• 通过序数索引的Schreier族框架，为Ellentuck定理提供新证明，并由此推导出Galvin-Prikry定理。
• 在基于Banach空间理论的共同组合结构下，统一经典划分定理。

提出的方法

• 为所有可数序数$\xi$定义Schreier族$({\cal A}_{\xi})$，推广经典Schreier族${{\cal F}_1}$与广义族${{\cal F}_{\alpha}}$。
• 利用相对于$({\cal A}_{\xi})$的$\mathbb{N}$的子集的典范分解，分析有限子集的遗传族。
• 引入强Cantor-Bendixson指标$s_L({\cal F})$，作为遗传族$\cal F$复杂性的度量。
• 应用定理A——$({\cal A}_{\xi})$的广义Ramsey定理——推导遗传族结构中的二分性。
• 应用Ellentuck拓扑与完全Ramseyness集合的概念，将组合二分性与拓扑性质联系起来。
• 使用超限归纳法与树论论证，分析初始段并构造满足所需划分条件的齐次集$L$。

实验结果

研究问题

• RQ1 如何通过使用Schreier族$({\cal A}_{\xi})$，将有限Ramsey定理推广至所有可数序数？
• RQ2 从这一推广中，无限Nash-Williams划分定理的更强形式是什么？
• RQ3 Ellentuck定理与Galvin-Prikry定理能否作为这一广义Ramsey框架的推论得出？
• RQ4 强Cantor-Bendixson指标$s_L({\cal F})$与序数$\xi^\mathcal{F}_M$如何决定遗传族的齐次集结构？
• RQ5 Ellentuck拓扑中的拓扑Baire性质与组合性质的完全Ramseyness之间有何关系？

主要发现

• 定理A建立了广义Ramsey二分性：对任意遗传族$\cal F$、无限集$M$及可数序数$\xi$，存在无限集$L \subseteq M$，使得要么$\mathcal{A}_\xi \cap [L]^{<\omega} \subseteq \mathcal{F}$，要么$\mathcal{A}_\xi \cap [L]^{<\omega} \subseteq [\mathbb{N}]^{<\omega} \setminus \mathcal{F}$。
• 定理B通过强Cantor-Bendixson指标$\xi^\mathcal{F}_M$区分情况，提供了Nash-Williams定理的更强形式：当$\xi + 1 < \xi^\mathcal{F}_M$时，存在$L$使得$\mathcal{A}_\xi \cap [L]^{<\omega} \subseteq \mathcal{F}$；当$\xi^\mathcal{F}_M < \xi + 1$时，存在$L$使得$\mathcal{F} \cap [L]^{<\omega} \subseteq (\mathcal{A}_\xi)^* \setminus \mathcal{A}_\xi$。
• 当$\xi^\mathcal{F}_M = \xi + 1$时，二分的两种情形可能同时成立，表明在极限序数处存在临界行为。
• 推论4.7证明了在Ellentuck拓扑中闭或开的任意族都是完全Ramsey的，从而将拓扑与组合概念联系起来。
• 推论4.8表明，Ellentuck拓扑中的零测集是均匀可避免的：对任意零测集$\cal U$及$M, \alpha$，存在$L \subseteq M$使得$[\alpha, L] \subseteq [\mathbb{N}] \setminus \cal U$。
• 推论4.9确立了：一族是完全Ramsey的，当且仅当它在Ellentuck拓扑中具有Baire性质，从而完整刻画了Ramsey集的拓扑特征。