[论文解读] 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下梯級系統空間的一致性結果，並表明添加一個Cohen實會產生一個非$Δ$的梯級系統空間，從而解決了集合理論拓撲中的若干開放問題。

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]中關於$Δ$-空間的結構與性質的開放問題。
• 澄清$Δ$-空間、$Q$-集與$σ$-離散空間之間的關係，特別是在ZFC與力學擴張的背景下。

提出的方法

• 使用等價條件：$X$是$Δ$-空間當且僅當每個可數不相交子集族都存在一個點有限的開擴張。
• 應用Fodor引理分析序數空間及其$G_δ$-拓撲的結構，特別是在分離緊空間中。
• 使用力學技術，包括添加單個Cohen實，構造特定梯級系統空間不是$Δ$-空間的模型。
• 分析點有限鄰域賦值及其對$G_δ$-集的影響，特別是在分離Eberlein緊空間中。
• 利用PCF理論與CH構造CH下梯級系統空間屬於$Δ$的一致性例子，並與之對比在這些空間不屬於$Δ$的模型。
• 利用關於實數中$Q$-集與$Δ$-集的已知結果，以指導一般$Δ$-空間的拓撲結構。

实验结果

研究问题

• RQ1 在連續統假設下，所有$\omega_1$上的梯級系統空間是否都屬於$\Delta$類？
• RQ2 Souslin樹是否可能為$\Delta$-空間？
• RQ3 是否存在一個$\Delta$-空間，其非$σ$-離散，所有閉集都是$G_\delta$，但不是$Q$-集空間？
• RQ4 是否存在$\Delta$-集是否意味$2^{\aleph_0} = 2^{\aleph_1}$？
• RQ5 哪些分離緊空間$W$滿足$W_\delta$是$\Delta$-空間？

主要发现

• 通過Fodor引理與具有不可數共尾性的極限序數結構，證明了任何Souslin樹都不是$\Delta$-空間。
• 在CH下，所有$\omega_1$上的梯級系統空間都是$\Delta$-空間是一致的，但在添加一個Cohen實的力學擴張中，此結論不成立。
• 在Cohen實擴張中，存在一個$\omega_1$上的梯級系統空間不是$\Delta$-空間，顯示該類對集合論假設極其敏感。
• 一個$Q$-集空間的Alexandroff重複是$\Delta$-空間但非$σ$-離散，卻包含一個閉的非$G_\delta$子集。
• 在一個分離Eberlein緊空間中，若子集$F$由$G_\delta$點組成，則$F$本身也是$G_\delta$-集，從而$F$是$Q$-空間。
• 若一個拓撲空間允許點有限的鄰域賦值，則其為$\Delta$-空間，且此類空間的任何$G_\delta$子集本身也是$G_\delta$-集。