[論文レビュー] Selection principles and the minimal tower problem

Boaz Tsaban|arXiv (Cornell University)|May 6, 2001

Advanced Topology and Set Theory参考文献 16被引用数 31

ひとこと要約

本稿は、線形準順序を備えた位相空間上の特別なタイプの開被覆、すなわちτ-被覆とτ*-被覆を導入し、それらを用いて選択原則および最小タワー問題への影響を検討する。新たな組合せ論的および位相的特徴づけを確立し、τ*-被覆がτ-被覆よりも最小タワー問題に対する tighter な境界を与えることを証明するとともに、Borel写像とBaire空間における有界性を用いた選択原則の文脈で未解決問題を解決する。

ABSTRACT

We study diagonalizations of covers using various selection principles, where the covers are related to linear quasiorderings (tau-covers). This includes: equivalences and nonequivalences, combinatorial characterizations, critical cardinalities and constructions of special sets of reals. This study leads to a solution of a topological problem which was suggested to the author by Scheepers (and stated in an earlier work) and is related to the Minimal Tower problem. We also introduce a variant of the notion of tau-cover, called tau^*-cover, and settle some problems for this variant which are still open in the case of $τ$-covers. This new variant introduces new (and tighter) topological and combinatorial lower bounds on the Minimal Tower problem.

研究の動機と目的

• 実数の集合に誘導される線形準順序を伴うτ-被覆を含む選択原則を調査すること。
• より強い位相的および組合せ論的制約を提供する新しい変種であるτ*-被覆を用いて、最小タワー問題に関連する未解決問題を解消すること。
• 特に、基数不変量 𝔟, 𝔡, および cov(𝒩) に関連して、τ-被覆とBorel被覆を含む選択原則の臨界基数を特徴づけること。
• 特にS₁およびS_finの変種に注目して、異なる被覆タイプにおける選択原則の同値性および非同値性を確立すること。
• Borel写像の有界性の仮定の下で、性質 S₁(ℬΓ,ℬΓ) が S_fin^≾(ℬT,ℬT) を含意することを証明し、その逆が成り立つのかという逆問題を提起すること。

提案手法

• 任意の二点 x, y に対して、被覆のほとんどすべての U について、x ∈ U ⇒ y ∈ U またはその逆が成り立つような大規模な被覆としてτ-被覆を定義し、これにより空間上に線形準順序 ≾ が誘導されることを示す。
• τ*-被覆をτ-被覆のより厳しい変種として定義し、被覆構造におけるよりきめ細やかな位相的および組合せ論的制約をもたらす。
• 線形準順序をBaire空間へ写像するBorel関数 Ψ および Φ を用い、写像の有界性（≤*）を活用して選択原則における有限部分被覆を導出する。
• Borel写像の有界性と選択原則 S₁(ℬΓ,ℬΓ) の間の同値性を応用し、位相的性質と基数不変量の間の橋渡しを実現する。
• Borel部分集合、連続像、および有限和集合に関するクラスの閉包性を用いて、X 上の問題を X² 上の性質に還元する。特に、補題8.4を活用する。
• 定理8.5の証明：X² が S₁(ℬΓ,ℬΓ) を満たすならば、X は S_fin^≾(ℬT,ℬT) を満たす。これは、準順序に関するBorel写像の有界性を根拠とする。

実験結果

リサーチクエスチョン

• RQ1 空間 X において選択原則 S_fin^≾(ℬT,ℬT) が成り立つならば、X² は S₁(ℬΓ,ℬΓ) を満たすか？
• RQ2 τ*-被覆は、τ-被覆と比較して最小タワー問題における位相的および組合せ論的境界をどのように洗練させるか？
• RQ3 選択原則 S₁(ℬΓ,ℬΓ) と S_fin^≾(ℬT,ℬT) の関係は何か？また、どのような条件下でこれらは同値となるか？
• RQ4 線形準順序のBorel写像の有界性は、τ-被覆の選択において有限部分被覆を導出するために利用可能か？
• RQ5 τ-被覆およびτ*-被覆を含む選択原則の臨界基数は、どの程度相違し、また基数不変量 𝔟, 𝔡, および cov(𝒩) とどのように関係するか？

主な発見

• 本稿は、X² が S₁(ℬΓ,ℬΓ) を満たすならば X は S_fin^≾(ℬT,ℬT) を満たすことを証明し、Borel写像の有界性とτ-被覆に関する選択原則との間の重要な含意関係を確立する。
• τ*-被覆がτ-被覆よりも最小タワー問題に対してよりきめ細やかな位相的および組合せ論的下界を与えることを示し、この文脈における未解決問題を解決する。
• 線形準順序のBorel写像の有界性と選択原則 S₁(ℬΓ,ℬΓ) の間の同値性を確立し、位相的性質と基数不変量の間の関係を明確にする。
• 本稿は、S₁^≾(T,Γ) が S_fin^≾(T,Γ) を含意し、さらに S_fin^≾(T,Γ) が S₁(T,Γ) を含意することを示し、τ-被覆枠組み下で含意の鎖を形成する。
• すべてのBorel写像が有界であるという仮定の下で、S₁(ℬΓ,ℬΓ) が S_fin^≾(ℬT,ℬT) を含意することを解決し、この含意が成り立つことを示す。
• 選択原則の図式における未解決の含意（例えば、S₁(Γ,Γ) ⇒ S_fin(Γ,Γ)）が、τ-被覆の枠組み下で有界性および準順序の導入により解消されることを同定する。