[論文レビュー] Products and selection principles

Liljana Babinkostova, Marion Scheepers|ArXiv.org|Sep 18, 2007

Advanced Topology and Set Theory参考文献 17被引用数 12

ひとこと要約

本稿は、分離可能距離空間の積が選択的被覆性をいつ引き継ぐかを調査している。具体的には、Menger、Rothberger、選択的スクリーニング性の性質を対象としている。連続体仮説の下でLusin集合とSierpiński集合を分析することで、Lusin集合とSierpiński集合の積はMenger性質を満たし、Lusin集合とγ-集合の積はRothberger性質を満たすことが証明された。これは選択的原理における積定理の理解を前進させる。

ABSTRACT

The product of a Sierpinski set and a Lusin set has Menger's property. The product of a gamma set and a Lusin set has Rothberger's property.

研究の動機と目的

• 2つの分離可能距離空間の積が、Menger、Rothberger、選択的スクリーニング性などの選択的被覆性をいつ引き継ぐかを特定すること。
• 既知の積定理を一般化し、特にLusin集合とSierpiński集合の文脈においてσ-コンパクト性をより弱い性質に置き換えること。
• 積空間における選択的原理 $\mathsf{S}_{fin}(\mathcal{O},\mathcal{O})$, $\mathsf{S}_{1}(\mathcal{O},\mathcal{O})$, $\mathsf{S}_{c}(\mathcal{O},\mathcal{O})$ の役割を調査すること。
• 既存の定理の限界を検討し、Hurewicz型性質や選択ゲームにおける勝利戦略といった新しい仮定を探索すること。

提案手法

• 選択的原理 $\mathsf{S}_{c}(\mathcal{A},\mathcal{B})$, $\mathsf{S}_{fin}(\mathcal{A},\mathcal{B})$, $\mathsf{S}_{1}(\mathcal{A},\mathcal{B})$ を用いて、積空間における被覆性を分析する。
• 連続体仮説を用いて、特定の位相的性質を持つLusin集合とSierpiński集合を構成する。
• 帰納的証明とゲーム理論的戦略を用い、特に定理11の証明で $X$ が可算な $\mathsf{S}_{1}(\mathcal{O},\mathcal{O})$-型を持つ場合の $X \times Y$ の性質を確立する。
• 開被覆の構造、特に $\omega$-被覆、$\gamma$-被覆、グループ化可能な被覆を分析し、積空間の性質を特徴付ける。
• $\mathsf{tp}_{\mathsf{S}_{1}(\mathcal{O},\mathcal{O})}(X)$、すなわち位相的性質ランクを用いて、$X \times Y$ 上の選択的ゲームの複雑さの上限を求める。
• マーティンの公理やボレル予想といった集合論的結果を応用し、異なる集合論的モデルにおける予想の頑健性を検証する。

実験結果

リサーチクエスチョン

• RQ1 Lusin集合とSierpiński集合の積がMenger性質を満たす条件は何か？
• RQ2 Lusin集合と$\gamma$-集合の積がRothberger性質を満たすか？
• RQ3 定理1における$\sigma$-コンパクト性の仮定を、Hurewicz性や0次元性といったより弱い性質に置き換えられるか？
• RQ4 $\mathsf{S}_{c}(\mathcal{O},\mathcal{O})$ が、$X$ が $\mathsf{G}_{fin}^{\alpha}(\mathcal{O},\mathcal{O})$ で可算な $\alpha$ に対して勝利戦略を持つ場合、積において保存されるか？
• RQ5 Hurewicz性質 $\mathsf{S}_{fin}(\Omega,\mathcal{O}^{gp})$ は、積定理において $\mathsf{S}_{fin}(\mathcal{O},\mathcal{O})$ や $\mathsf{S}_{c}(\mathcal{O},\mathcal{O})$ の保存性を失うことなく弱体化できるか？

主な発見

• Lusin集合とSierpiński集合の積は、Corollary 12で示されるようにMenger性質 $\mathsf{S}_{fin}(\mathcal{O},\mathcal{O})$ を満たす。
• Lusin集合と$\gamma$-集合の積は、Corollary 13で確立されたようにRothberger性質 $\mathsf{S}_{1}(\mathcal{O},\mathcal{O})$ を満たす。
• 定理11の証明により、$X$ が $\mathsf{tp}_{\mathsf{S}_{1}(\mathcal{O},\mathcal{O})}(X) \leq \omega \cdot n$ を満たす場合、$Y$ に適切な条件が成り立つと $X \times Y$ は $\mathsf{S}_{c}(\mathcal{O},\mathcal{O})$ を引き継ぐ。上限 $\omega^2$ は $\omega_1$ に改善可能である可能性がある。
• Sierpiński集合 $S$ は、Proposition 14で示されるように $\mathsf{G}_{fin}^{\omega+\omega}(\mathcal{O},\mathcal{O})$ で勝利戦略を持つが、$S \times S$ はMenger性質を満たさない。
• 連続体仮説の下で反例を用いて、積定理においてHurewicz性質 $\mathsf{S}_{fin}(\Omega,\mathcal{O}^{gp})$ をMenger性質 $\mathsf{S}_{fin}(\mathcal{O},\mathcal{O})$ に置き換えることはできない。
• Conjecture 1は、$X$ が可算な $\mathsf{S}_{1}(\mathcal{O},\mathcal{O})$-型であり、$Y$ が $\mathsf{S}_{c}(\mathcal{O},\mathcal{O})$ と $\mathsf{S}_{fin}(\Omega,\mathcal{O}^{gp})$ を満たすならば、$X \times Y$ は $\mathsf{S}_{c}(\mathcal{O},\mathcal{O})$ を満たすと提案している。これは定理11のより広範な一般化を示唆している。