[論文レビュー] Ramsey and Nash-Williams combinatorics via Schreier families

Vassiliki Farmaki|ArXiv.org|Apr 1, 2004

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

ひとこと要約

本稿は、可算順序数に索引づけられたシュレーヤー族 $({\cal A}_{\xi})$ を用いて、有限ラムゼー定理をすべての可算順序数へと拡張し、一様な枠組みを提供する。この枠組みにより、無限大ナッシュ＝ウィリアムズ分割定理を強化し、エレンタックおよびギャルビン＝プリクライの定理の新たな証明が得られる。主な貢献は、可算順序数で索引づけられた、遺伝的族に対する二分法定理であり、順序数付きシュレーヤー族を介して組合せ論とバナッハ空間論を結びつける。

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 $ξ$.

研究の動機と目的

• シュレーヤー族 $({\cal A}_{\xi})$ を用いて、古典的な有限ラムゼー分割定理をすべての可算順序数へと拡張すること。
• 拡張されたラムゼー結果を活用することで、無限大ナッシュ＝ウィリアムズ分割定理のより強い形を確立すること。
• 順序数で索引づけられたシュレーヤー族の枠組みを用いて、エレンタックの定理およびそれによって導かれるギャルビン＝プリクライの定理の新たな証明を提供すること。
• 古典的な分割定理を、バナッハ空間論に根ざした同一の組合せ的構造の下で統一すること。

提案手法

• すべての可算順序数 $\xi$ に対してシュレーヤー族 $({\cal A}_{\xi})$ を定義し、古典的シュレーヤー族 ${{\cal F}_1}$ および一般化された族 ${{\cal F}_{\alpha}}$ を一般化すること。
• $({\cal A}_{\xi})$ に関する $\mathbb{N}$ の部分集合の標準的分解を用いて、有限部分集合の遺伝的族を分析すること。
• 遺伝的族 $\cal F$ の複雑さの尺度として、強力なカントール＝ベーディクソン指数 $s_L({\cal F})$ を導入すること。
• 定理A（$({\cal A}_{\xi})$ に関する一般化されたラムゼー定理）を適用し、遺伝的族の構造における二分法を得ること。
• エレンタックの位相と完全にラムゼー的集合の概念を用いて、組合せ的二分法と位相的性質を結びつけること。
• 超限帰納法と木論理的議論を用いて、初期部分集合を分析し、必要な分割条件を満たす均一集合 $L$ を構成すること。

実験結果

リサーチクエスチョン

• RQ1 シュレーヤー族 $({\cal A}_{\xi})$ を用いて、有限ラムゼー定理をすべての可算順序数へとどのように拡張できるか？
• RQ2 この拡張によって、どのようなより強い形の無限大ナッシュ＝ウィリアムズ分割定理が得られるか？
• RQ3 エレンタックの定理およびギャルビン＝プリクライの定理は、この一般化されたラムゼー枠組みの帰結として導けるか？
• RQ4 強力なカントール＝ベーディクソン指数 $s_L({\cal F})$ と順序数 $\xi^\mathcal{F}_M$ は、遺伝的族の均一集合の構造をどのように決定するか？
• RQ5 エレンタックの位相における位相的ベール性質と、完全なラムセイ性という組合せ的性質の間にはどのような関係があるか？

主な発見

• 定理Aは、一般化されたラムゼー二分法を確立する：任意の遺伝的族 $\cal F$、無限大集合 $M$、可算順序数 $\xi$ に対して、$\mathcal{A}_\xi \cap [L]^{<\omega} \subseteq \mathcal{F}$ または $\mathcal{A}_\xi \cap [L]^{<\omega} \subseteq [\mathbb{N}]^{<\omega} \setminus \mathcal{F}$ を満たす無限大 $L \subseteq M$ が存在する。
• 定理Bは、強力なカントール＝ベーディクソン指数 $\xi^\mathcal{F}_M$ に基づくケースの区別により、ナッシュ＝ウィリアムズ定理のより強い形を提供する。$\xi + 1 < \xi^\mathcal{F}_M$ の場合、$\mathcal{A}_\xi \cap [L]^{<\omega} \subseteq \mathcal{F}$ を満たす $L$ が存在し、$\xi^\mathcal{F}_M < \xi + 1$ の場合、$\mathcal{F} \cap [L]^{<\omega} \subseteq (\mathcal{A}_\xi)^* \setminus \mathcal{A}_\xi$ を満たす $L$ が存在する。
• $\xi^\mathcal{F}_M = \xi + 1$ のとき、二分法の両方の選択肢が同時に成り立つ可能性があり、これは極限順序数における閾値的挙動を示している。
• 系4.7は、エレンタックの位相で閉または開な任意の族は完全にラムゼー的であることを証明し、位相的および組合せ的概念を結びつける。
• 系4.8は、エレンタックの位相における準開集合は一様に回避可能であることを示す：任意の $\cal U$ が準開で、任意の $M, \alpha$ に対して、$[\alpha, L] \subseteq [\mathbb{N}] \setminus \cal U$ を満たす $L \subseteq M$ が存在する。
• 系4.9は、族が完全にラムゼー的であることと、エレンタックの位相でベール性質を持つこととは同値であることを確立し、ラムゼー集合の位相的特徴づけを完成させる。