[論文レビュー] A semifilter approach to selection principles

Lubomyr Zdomsky|ArXiv.org|Dec 27, 2004

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

ひとこと要約

本稿は、位相空間における選択原理、特にメンガーおよびフーリエツィクの性質を分析するための半フィルターに基づく枠組みを導入する。また、ベア空間におけるメンガー部分空間によって生成されるσ-イデアルの加法的数の下界として、小さな基数$τ$が成立することを示し、$ \mathfrak{u} < \mathfrak{g}$の下で、$ \mathrm{Split}(\Lambda,\Lambda)$性質を有する任意の空間はフーリエツィクであることが示され、この性質の和集合に関する保存性が一貫していることが示された。

ABSTRACT

We develop the semifilter approach to the classical Menger and Hurewicz covering properties and show that the small cardinal g is a lower bound of the additivity number of the family of Menger subspaces of the Baire space, and under u&lt; g every subset X of the real line with the property Split(Lambda,Lambda) is Hurewicz.

研究の動機と目的

• 位相空間における選択原理を分析するための半フィルターに基づく枠組みの構築。
• ベア空間におけるメンガー部分空間によって生成されるσ-イデアルの加法的数の特定。
• 実数直線の部分集合の和集合における$ \mathrm{Split}(\Lambda,\Lambda)$性質の保存性の調査。
• $ \mathrm{Split}(\Lambda,\Lambda)$がフーリエツィク性質を示す条件の確立。
• 半フィルター技術を用いてメンガーおよび分割可能性性質の結果を統一すること。

提案手法

• 半フィルターを用いて、位相空間におけるメンガーおよびフーリエツィク性質の特徴づけを行う。
• ヘレディタリリー・リンデルーフ空間におけるメンガーσ-イデアルの加法的数の下界として、小さな基数$ \mathfrak{g}$を適用する。
• 上半連続でコンパクト値をとる多価関数$Φ: X \Rightarrow \mathbb{N}^\omega$を用いて、$E^\ast_\omega$性質を特徴づける。
• 連続写像における支配的像のフーリエツィク的特徴づけを用いて、位相的性質と組合せ的基数不変量を結びつける。
• $ \mathfrak{u} < \mathfrak{g}$の仮定の下で、半フィルターのアプローチを用いて、$ \mathrm{Split}(\Lambda,\Lambda)$がフーリエツィクを示すことを証明する。
• $X$が$E^\ast_\omega$性質を満たさない場合、全射的で、上半連続で、コンパクト値をとる写像$Φ: X \Rightarrow \mathbb{N}^\omega$を構成する。

実験結果

リサーチクエスチョン

• RQ1 ベア空間におけるメンガー部分空間によって生成されるσ-イデアルの加法的数は何か？
• RQ2 $ \mathrm{Split}(\Lambda,\Lambda)$性質は、実数直線の部分集合の$ \mathfrak{b}$未満の和集合において保存されるか？
• RQ3 どのような集合論的仮定の下で、$ \mathrm{Split}(\Lambda,\Lambda)$はフーリエツィク性質を示すか？
• RQ4 半フィルターのアプローチは、選択原理におけるメンガーおよび分割可能性性質の分析を統一的に可能にするか？
• RQ5 基数不変量$ \mathfrak{g}$、$ \mathfrak{u}$、$ \mathfrak{b}$は、和集合における選択原理の保存性とどのように関係するか？

主な発見

• $ \mathfrak{g}$は、任意のヘレディタリリー・リンデルーフ空間におけるメンガー部分空間によって生成されるσ-イデアルの加法的数の下界である。
• $ \mathfrak{u} < \mathfrak{g}$の仮定の下で、$ \mathrm{Split}(\Lambda,\Lambda)$性質を有するリンドルーフでパラコンパクトな空間はフーリエツィクである。
• これは、$ \mathfrak{u} < \mathfrak{g}$であるモデルにおいて、実数直線の部分集合の$ \mathfrak{b}$未満の和集合において、$ \mathrm{Split}(\Lambda,\Lambda)$性質が保存されることを示唆する。
• この結果は、『すべての$ \mathrm{Split}(\Lambda,\Lambda)$空間はフーリエツィクである』という主張がZFCと一貫しているが、一般には独立であることを示している。
• 半フィルター法は、メンガーおよび分割可能性タイプの選択原理の分析を統一する枠組みを提供する。
• 位相的空間$X$が$E^\ast_\omega$性質を有するのは、任意のコンパクト値をとる上半連続な多価関数$Φ: X \Rightarrow \mathbb{N}^\omega$に対して$Φ(X) \neq \mathbb{N}^\omega$であるときかつそのときに限る。