[論文レビュー] On $Δ$-spaces

Arkady Leiderman, Paul J. Szeptycki|arXiv (Cornell University)|Jul 29, 2023

Advanced Topology and Set TheoryMathematics被引用数 3

ひとこと要約

この論文は、関数空間 $C_p(X)$ が区別可能であるような位相空間 $X$ である $Δ$-空間のクラスを、新しい例と反例の構成によって調査する。Souslin 樹が $Δ$-空間でないことを証明し、CH の下でラッダーシステム空間について一貫性結果を確立し、コーエンの実数を加えることで非 $Δ$ ラッダーシステム空間が得られることを示し、集合論的位相幾何学におけるいくつかの未解決問題を解決する。

ABSTRACT

$Δ$-spaces have been defined by a natural generalization of a classical notion of $Δ$-sets of reals to Tychonoff topological spaces; moreover, the class $Δ$ of all $Δ$-spaces consists precisely of those $X$ for which the locally convex space $C_p(X)$ is distinguished. The aim of this article is to better understand the boundaries of the class $Δ$, by presenting new examples and counter-examples. 1) We examine when trees considered as topological spaces equipped with the interval topology belong to $Δ$. In particular, we prove that no Souslin tree is a $Δ$-space. Other main results are connected with the study of 2) $Ψ$-spaces built on maximal almost disjoint families of countable sets; and 3) Ladder system spaces. It is consistent with CH that all ladder system spaces on $ω_1$ are in $Δ$. We show that in forcing extension of ZFC obtained by adding one Cohen real, there is a ladder system space on $ω_1$ which is not in $Δ$. We resolve several open problems posed in the literature.

研究の動機と目的

• 新しい例と反例の構成を通じて、$Δ$-空間のクラスの境界をよりよく理解すること。
• 特に木、最大のほとんど互いに素な族上の $ψ$-空間、およびラッダーシステム空間といった特定の位相空間が $Δ$-空間のクラスに属するかどうかを調査すること。
• $Δ$-空間の構造と性質に関して [12]、[25]、[31]、および [32] における未解決問題を解決すること。
• ZFC および強制拡張の文脈において、$Δ$-空間、$Q$-集合、$σ$-離散空間の間の関係を明確にすること。

提案手法

• 任意の可算な互いに素な部分集合族が点有限な開展をもつことと、$X$ が $Δ$-空間であることの同値性を用いる。
• 順序数空間とその $G_δ$-位相の構造、特に散乱コンパクト空間における分析に Fodor の補題を適用する。
• コーエンの実数を1つ加えるなど、強制法の技術を用いて、特定のラッダーシステム空間が $Δ$-空間でないモデルを構成する。
• 点有限な近傍割り当てと、特に散乱 Eberlein コンパクト空間における $G_δ$-集合への影響を分析する。
• PCF 理論と CH を用いて、$Δ$ にあるラッダーシステム空間の一貫性例を構成し、そのような空間が $Δ$ に属さないモデルと対比する。
• 実数における $Q$-集合と $Δ$-集合に関する既知の結果を、一般の $Δ$-空間の位相的構造に情報提供するために活用する。

実験結果

リサーチクエスチョン

• RQ1 連続体仮説の下で、$\omega_1$ 上のすべてのラッダーシステム空間が $\Delta$-空間に属するか？
• RQ2 Souslin 樹がいつでも $\Delta$-空間になり得るか？
• RQ3 すべての閉集合が $G_\delta$ であるが $Q$-集合空間でない $\Delta$-空間で、$\sigma$-離散でないものがあるか？
• RQ4 $\Delta$-集合の存在が $2^{\aleph_0} = 2^{\aleph_1}$ を示唆するか？
• RQ5 散乱コンパクト空間 $W$ で $W_\delta$ が $\Delta$-空間であるようなものにどのような特徴があるか？

主な発見

• Fodor の補題と非可算な共終型を持つ極限順序数の構造を用いて、Souslin 樹はすべて $Δ$-空間でないことが示された。
• CH の下では、$\omega_1$ 上のすべてのラッダーシステム空間が $Δ$-空間であることが一貫性があるが、1つのコーエンの実数を加えた強制拡張ではこれが成り立たない。
• コーエンの実数拡張では、$\omega_1$ 上のラッダーシステム空間で $Δ$-空間でないものが存在し、クラスが集合論的仮定に敏感であることを示している。
• Q-集合空間のアレクサンドロフ二重の空間は、$\sigma$-離散でないが $Δ$-空間であり、閉非 $G_\delta$ 部分集合を含む。
• 散乱 Eberlein コンパクト空間に属する $G_\delta$ 点からなる任意の部分集合 $F$ は、自身が $G_\delta$-集合であるため、$F$ は $Q$-空間である。
• 点有限な近傍割り当てをもつ位相空間は $Δ$-空間であり、そのような空間の任意の $G_\delta$ 部分集合も再び $G_\delta$-集合である。