[論文レビュー] Ultrafilters: Where topological dynamics = algebra = combinatorics

Andreas Blass|arXiv (Cornell University)|Sep 8, 1993

Mathematical Dynamics and Fractals参考文献 11被引用数 33

ひとこと要約

この論文は、位相的力学系、ℕ 上の超フィルターの半群論、およびラムゼー型組合せ論の間の深い関係を確立し、石-チェホフコンパクト化 βℕ における超フィルターがこれらの分野を統合する方法を示している。超フィルターを用いた Hales-Jewett 定理の簡潔な証明が提示され、その際、冪等的超フィルターが最大の組合せ的豊かさをもたらす一方で、ZFC とは独立で構造的に異なる P-点や選択的超フィルターと対照的にされる。

ABSTRACT

We survey some connections between topological dynamics, semigroups of ultrafilters, and combinatorics. As an application, we give a proof, based on ideas of Bergelson and Hindman, of the Hales-Jewett partition theorem.

研究の動機と目的

• 石-チェホフコンパクト化 βℕ を通じて、位相的力学系、超フィルターの半群論、および組合せ論を統一すること。
• 超フィルター手法を用いて、Hales-Jewett の分割定理の簡略化され、自己完結的な証明を提示すること。
• 冪等的／再帰的超フィルターと P-点／選択的超フィルターの間の構造的および基礎的差異を明確にすること。
• 写像 τ: β(ℕ×ℕ) → βℕ × βℕ における、ℕ 上の冪等的超フィルターの前像のサイズが最大であることを示すこと。
• ZFC と CH／マーティンの公理の下での存在仮定と、力学的挙動の観点から超フィルターの種類を比較すること。

提案手法

• 超フィルターを、コンパクトハウスドルフ空間における列の一様極限作用素として定義する、位相的定義を用いて、βℕ 内の点として表現する。
• ℕ 上の加法を拡張する βℕ 上の半群演算を用い、超フィルターの和 𝒰 + 𝒱 = 𝒰-limₙ(n + 𝒱) を定義する。
• 論理的形で組合せ的命題を表現するため、超フィルターの量化子 (𝒰n)φ(n) ⇔ {n : φ(n)} ∈ 𝒰 を用いる。
• Galvin-Glazer 方式の議論を用い、集合 C ∈ 𝒰 に属する列 (hᵢ) と、互いに素な二進法的サポートを持つものを用いて、冪等的超フィルターを構成する。
• 二進法的桁の重なり具合を測るためのマッシュング数 m(a,b) を定義し、それが l ≥ 2 のすべての値を取り得ることを示す。
• 各 m⁻¹{l} がすべての C ∈ 𝒰 に対して C×C と交わることを用い、τ⁻¹(𝒰,𝒰) が 2²ℵ₀ の大きさを持つことを示し、前像の基数が最大であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 βℕ 内の超フィルターは、どのようにして位相的力学系、半群代数、およびラムゼー的組合せ論の統合的枠組みを提供するか？
• RQ2 βℕ 上の半群演算は、Hales-Jewett のような分割定理の証明を簡略化する役割を果たすか？
• RQ3 P-点や選択的超フィルターは、代数的および位相的構造の観点から、再帰的・冪等的超フィルターとはなぜ根本的に異なるのか？
• RQ4 ℕ 上の冪等的超フィルター 𝒰 に対して、写像 τ: β(ℕ×ℕ) → βℕ × βℕ における前像 τ⁻¹(𝒰,𝒰) の基数は何か？これはその組合せ的豊かさに何を意味するか？
• RQ5 どのような集合論的仮定の下で、選択的超フィルターに類似した性質を持つ冪等的超フィルターが存在するのか？

主な発見

• Hales-Jewett 定理は超フィルター手法を用いて証明され、任意の [ℕ]^{<ω} の有限彩色に対して、単色の組合せ的直線が存在することを示している。
• ZFC において、ℕ 上の冪等的超フィルターは存在し、𝒰 + 𝒰 = 𝒰 を満たすという性質によって特徴づけられる。
• 任意の非自明な冪等的超フィルター 𝒰 に対して、写像 τ: β(ℕ×ℕ) → βℕ × βℕ における前像 τ⁻¹(𝒰,𝒰) の基数は 2²ℵ₀ に達する。
• 超フィルター 𝒰 に属する列 (hᵢ) の異なる要素の和の間のマッシュング数 m(a,b) は、任意の整数値 l ≥ 2 を取り得る。これは高い組合せ的複雑性を示している。
• P-点や選択的超フィルターは、冪等的または再帰的ではあり得ない。なぜなら、それらは可算個の超フィルター列の極限ではないからである。
• 選択的超フィルターおよび P-点の存在は ZFC とは独立であるが、冪等的超フィルターは ZFC において存在し、τ における前像サイズの観点から最大である。