[論文レビュー] Minimal idempotent ultrafilters and the Auslander-Ellis theorem

Alexander Kreuzer|arXiv (Cornell University)|May 28, 2013

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

ひとこと要約

本稿は、逆数学において、可算な集合代数上の最小の冪等超フィルターの存在とオースランダー＝エリス定理（AET）との論理的同値性を確立している。同時に、超フィルター存在に関する高階形式が、AETの強化版（eAET, eAET′）に対してΠ¹₂-保存的であることを示している。AETとこのような超フィルターの存在はRCA₀において互いに導出可能であり、高階の帰結は拡張されたAETと一致する。これにより、組合せ論および力学系におけるそれらの証明論的強さに関する基礎的問題が解決された。

ABSTRACT

We characterize the existence of minimal idempotent ultrafilters (on N) in the style of reverse mathematics and higher-order reverse mathematics using the Auslander-Ellis theorem and variant thereof. We obtain that the existence of minimal idempotent ultrafilters restricted to countable algebras of sets is equivalent to the Auslander-Ellis theorem (AET) and that the existence of minimal idempotent ultrafilters as higher-order objects is $Π^1_2$-conservative over a refinement of AET.

研究の動機と目的

• 可算な集合代数上の最小の冪等超フィルターの存在の逆数学的強さを特定すること。
• RCA₀^ωにおける高階的対象としての最小の冪等超フィルターの証明論的強さを分析すること。
• オースランダー＝エリス定理（AET）、その拡張（eAET, eAET′）および最小の冪等超フィルターの存在との論理的関係を明確にすること。
• 中心集合の分割安定性（すなわち、中心集合の任意の有限分割には中心集合が含まれる）がAETから証明可能かどうかを調査すること。

提案手法

• 超フィルター存在の論理的強さを分析するために、逆数学および高階的逆数学を用いる。
• 最小の冪等超フィルターを、集合X ∈ 𝒰に対して {n ∈ ℕ | X−n ∈ 𝒰} がシンデティックであるという条件によって特徴付ける。
• オースランダー＝エリス定理（AET）を核心的道具として用い、AETが可算な代数上の最小の冪等超フィルターの存在を示すことを示す。
• IP極限と定義可能な超フィルター生成を用いて、力学系における近接対から部分的な最小の冪等超フィルターを構成する。
• 高階的超フィルター存在が、強化されたAET（eAET, eAET′）の上でのΠ¹₂-保存的であることを確立する。
• ヘンダマンの定理（HT）および繰り返しヘンダマンの定理（IHT）に関する既知の結果を活用し、AETがRCA₀上IHTと同値であることを示す。

実験結果

リサーチクエスチョン

• RQ1 RCA₀上、可算な集合代数上の最小の冪等超フィルターの存在は、オースランダー＝エリス定理（AET）と同値であるか？
• RQ2 RCA₀^ωにおける高階的対象としての最小の冪等超フィルターの存在のΠ¹₂-保存的強さは何か？
• RQ3 高階的システムにおけるeAETおよびeAET′の拡張版は、最小の冪等超フィルターの存在と同値であるか？
• RQ4 オースランダー＝エリス定理は、中心集合の任意の有限分割に中心集合が含まれることを証明できるか？
• RQ5 中心集合が分割正則であるという命題の証明論的強さは何か？

主な発見

• 可算な集合代数に制限された最小の冪等超フィルターの存在は、RCA₀上、オースランダー＝エリス定理（AET）と同値である。
• 高階的対象としての最小の冪等超フィルターの存在は、eAETおよびeAET′というAETの強化版に対してΠ¹₂-保存的である。
• 本稿では、AETがRCA₀上で繰り返しヘンダマンの定理（IHT）と同値であることを示し、それが組合せ的力学系における基礎的役割を果たしていることを確認した。
• 力学系における近接対 (x₁, y₁) から部分的な最小の冪等超フィルターを構成するには、IP極限と定義可能な超フィルター生成が不可欠である。
• 中心集合の任意の有限分割に中心集合が含まれるという命題は、AETだけから証明可能であるとはまだ知られておらず、その証明論的強さは未解決のままである。
• 結果は、AETが任意の可算半群Gについて成り立つ限り、G上の最小の冪等超フィルターへと拡張可能である。