2025-11-19T16:10:13.333480

Condensations with extra properties

Juhász, van Mill, Soukup
We show that there are locally compact spaces that can be condensed onto separable spaces but not onto compact separable spaces. We also show that for every cardinal $κ$ there is a locally compact topological group of cardinality $2^κ$ that can be condensed onto a compact space but not onto a compact topological group. These answer some questions of Arhangel'skii and Buzyakova.
academic

Condensations with extra properties

基本信息

  • 论文ID: 2511.13850
  • 标题: Condensations with extra properties
  • 作者: István Juhász, Jan van Mill, Lajos Soukup
  • 分类: math.GN (General Topology)
  • 发表时间: 2025年11月17日 (arXiv预印本)
  • 论文链接: https://arxiv.org/abs/2511.13850
  • 作者单位: HUN-REN Alfréd Rényi Institute of Mathematics (Juhász, Soukup); University of Amsterdam (van Mill)

摘要

本文证明了存在局部紧空间可以凝聚到可分空间上，但不能凝聚到紧可分空间上。同时证明了对于每个基数κ，存在基数为2^κ的局部紧拓扑群可以凝聚到紧空间上，但不能凝聚到紧拓扑群上。这些结果回答了Arhangel'skii和Buzyakova提出的若干问题。

研究背景与动机

研究问题

本文研究拓扑空间的**凝聚(condensation)**问题。凝聚是指从空间X到空间Y的连续双射f: X → Y。对于拓扑空间而言，承认到具有某种性质的空间Y的凝聚等价于X具有满足该性质的更粗拓扑。

问题重要性

  1. 理论意义：凝聚是拓扑学中的基本概念，与空间的拓扑结构精细化有关。在泛函分析中，各种弱拓扑就是重要的更粗拓扑的自然例子。
  2. 经典结果：Parhomenko 15的经典结果表明，每个局部紧非紧空间都存在紧凝聚。这为研究凝聚的额外性质提供了基础。
  3. 未解决问题：Arhangel'skii和Buzyakova在1中提出了关于序空间及其子空间凝聚的若干问题，特别是：
    • 问题2.7：如果局部紧空间X可以凝聚到可分空间，X能否凝聚到紧可分空间？
    • 问题2.8（紧情形）：如果局部紧拓扑群G可以凝聚到紧空间，G能否凝聚到紧拓扑群？

现有研究局限

虽然关于凝聚的文献相当广泛，但对于凝聚保持特定拓扑性质（如可分性、紧性、群结构）的系统研究仍不充分。特别是，何时存在具有多重性质的凝聚这一问题尚未得到完整解答。

核心贡献

本文的主要贡献包括：

  1. 否定回答问题2.7：构造了可以凝聚到可分空间但不能凝聚到紧可分空间的局部紧空间。
  2. 否定回答问题2.8的紧情形：对于每个基数κ，构造了基数为2^κ的局部紧拓扑群，可以凝聚到紧空间但不能凝聚到紧拓扑群。
  3. 正面结果：建立了拓扑和X = ⊕_{α<κ} X_α何时可以凝聚到可分空间或紧可分空间的判定准则（定理3.1和3.2）。
  4. 集合论分析：深入分析了离散空间情形下的集合论一致性结果，揭示了可分紧空间基数集合S的复杂结构。

方法详解

任务定义

凝聚的形式化定义：

  • 输入：拓扑空间X
  • 输出：拓扑空间Y及连续双射f: X → Y
  • 约束：Y需满足特定拓扑性质（可分、紧、拓扑群等）

关键概念：

  • 空间X和Y是somewhere homeomorphic（某处同胚）：存在非空开集U ∈ τ_X和V ∈ τ_Y使得U与V同胚。

核心技术方法

1. 正面结果：拓扑和的凝聚判定（定理3.1）

定理3.1：假设X = ⊕{X_α : α < κ}，其中ω ≤ κ ≤ 2^c且μ = sup{w(X_α) : α < κ} ≤ c。则X凝聚到权重至多λ = max{log(κ), μ}的可分空间Y。

证明策略：

  • 情形λ = ω：利用Hilbert立方体I^ω可以分解为c个同胚副本的事实，将每个X_α嵌入到不同的副本中。
  • 情形λ > ω：
    1. 在Tychonoff立方体I^λ中选择可数稠密子集D = {d_n : n < ω}
    2. 构造投影π_E使得π_E↾D是单射
    3. 利用I^λ的同胚性质，将I^λ分解为合适的闭集族
    4. 对于n < ω，将X_n嵌入到包含d_n的集合S_n中
    5. 对于α ≥ ω，将X_α嵌入到不相交的闭集K_α中
    6. 构造的像空间Y包含D，因此是可分的

2. 障碍结果：Baire空间的限制（定理3.2）

定理3.2：设X = ⊕_{n<ω} X_n，每个X_n是σ-紧的，假设X凝聚到Baire空间Y。则：

  1. 存在n < ω使得X_n与Y某处同胚
  2. 如果每个X_n紧，则无穷多个n使得X_n与Y某处同胚
  3. 如果Y紧且每个X_n是连续统，则无穷多个n使得X_n同胚于Y的某个在Y中既开又闭的分支

证明思路：

  • 利用Baire纲定理：在完备度量空间（或局部紧Hausdorff空间）中，可数个无处稠密闭集的并集不能是整个空间。
  • 对于(1)：将X_n写成可数个紧集的并，由Baire纲定理，某个紧集的像包含Y的非空开集。
  • 对于(2)：递归构造，利用Baire纲定理保证无穷多个分量与Y某处同胚。
  • 对于(3)：利用Kuratowski关于连续统分解的结果，证明Y的分支族形成上半连续分解。

3. 反例构造策略

离散空间情形（4.1节）：

  • 考虑离散空间D(κ)
  • 引入可分紧空间基数集合S = {|Y| : Y是可分紧空间}
  • 在ZFC中建立S的基本性质：
    • (*) ω, c ∪ {2^κ : ω < κ ≤ 2^c} ⊂ S
    • (**) S是ω-闭的
  • 在CH下，利用Parovichenko定理和Poór-Shelah的结果，证明存在模型使得S = {ω, ω_1, λ = 2^{ω_1}}
  • 这给出了许多基数κ满足c < κ < 2^c但κ ∉ S

非离散空间情形（4.2节）：

  • 利用定理3.1和3.2，只需构造权重至多c的nowhere separable紧空间
  • 例子：
    • ω的Čech-Stone余空间
    • 可数无限积：(α+1)^ω，其中α是不可数基数
    • 首次可数紧线序空间

拓扑群情形（4.3节）：

  • 命题4.1：实数群R凝聚到紧空间但不能凝聚到紧同胚空间
  • 证明关键：
    1. R凝聚到"8字形"（Parhomenko定理）
    2. 假设R凝聚到紧同胚空间X
    3. 由Baire纲定理，某个闭区间−n, n的像有非空内部
    4. 这意味着X局部同胚于开区间，由紧性和同胚性推出X是可度量化的1-流形
    5. 因此X同胚于圆周S^1
    6. 但连续双射R → S^1不可能是单射（连通性论证）
  • 一般构造：对于基数2^τ（τ ≥ ω），考虑拓扑群G = Z × (S^1)^τ
    • G凝聚到紧空间（Parhomenko定理）
    • 假设G凝聚到紧同胚空间X
    • 由定理3.2(3)，X有无穷多个既开又闭的分支同胚于(S^1)^τ
    • 这与紧性和同胚性矛盾

实验设置

注：本文是纯数学理论论文，不涉及计算实验。所有结果都是通过严格的数学证明获得的。

数学工具和技术

  1. 集合论：基数算术、强制法(forcing)、可构成宇宙L
  2. 拓扑学：Baire纲定理、Tychonoff立方体、投影映射
  3. 拓扑群理论：紧拓扑群的基数性质（Comfort定理）
  4. 维度理论：流形分类定理

实验结果

主要定理和结果

定理3.1的意义

该定理给出了拓扑和凝聚到可分空间的充分条件，表明在相当一般的情况下（κ ≤ 2^c，分量权重≤ c），凝聚到可分空间是可能的。

定理3.2的应用

该定理提供了判定何时不能凝聚到具有特定性质空间的工具：

  • 如果拓扑和的所有分量都nowhere separable，则不能凝聚到紧可分空间
  • 如果拓扑和有无穷多个同胚的紧分量，则不能凝聚到紧同胚空间

反例的有效性

问题2.7的反例：

  • 简单例子：X = ⊕_{n<ω} Y_n，其中每个Y_n是nowhere separable的紧空间（如某个Stone空间）
  • 由定理3.1，X凝聚到可分空间
  • 由定理3.2(2)，X不能凝聚到紧可分空间

问题2.8的反例：

  • 基数c：拓扑群R
  • 基数2^τ：拓扑群Z × (S^1)^τ
  • 这些都凝聚到紧空间但不能凝聚到紧拓扑群

集合论一致性结果

在CH假设下，利用Poór-Shelah的深刻结果：

  • 如果存在不可达基数，可以构造CH模型使得S = {ω, ω_1, λ}，其中λ = 2^{ω_1}是任意正则基数
  • 这给出了大量基数κ（ω_1 < κ < 2^{ω_1}）使得D(κ)不能凝聚到可分紧空间

在非CH情形：

  • 利用Cohen强制法，可以构造模型使得S = ω, c ∪ {2^c}
  • 这给出了所有基数κ（c < κ < 2^c）使得D(κ)不能凝聚到可分紧空间

相关工作

凝聚理论的历史

  1. Parhomenko 15 (1941)：证明了每个局部紧非紧空间都有紧凝聚，这是凝聚理论的基础性结果。
  2. Parovichenko 16 (1963)：在CH下，证明了权重ω_1的紧空间都是D(ω)的余空间，这对理解可分紧空间的基数至关重要。
  3. 近期工作：
    • Belugin, Osipov, Pytkeev 2 (2021)：研究Hausdorff空间的紧凝聚
    • Lipin, Osipov 13 (2022)：关于凝聚到σ-紧空间
    • Osipov, Pytkeev 14 (2023)：度量空间到Banach空间的凝聚

集合论基础

  1. Kunen：关于可分紧空间基数的一致性结果（见9）
  2. Poór, Shelah 17 (2021)：完全刻画了CH下Kurepa树分支基数的谱，这等价于刻画S

拓扑群理论

  1. Comfort 3 (1984)：证明了紧拓扑群的基数必须是2^τ的形式
  2. Keller 11 (1931)：证明了Hilbert立方体的同胚性

本文的定位

本文通过结合：

  • 拓扑和的凝聚判定准则（定理3.1, 3.2）
  • nowhere separable空间的构造
  • 拓扑群的特殊性质
  • 集合论的一致性结果

系统地回答了Arhangel'skii和Buzyakova提出的问题，并揭示了凝聚保持多重性质的本质困难。

结论与讨论

主要结论

  1. 问题2.7的完整解答：
    • 存在局部紧空间可以凝聚到可分空间但不能凝聚到紧可分空间
    • 这样的例子可以是拓扑和⊕_{n<ω} X_n，其中X_n是nowhere separable紧空间
  2. 问题2.8紧情形的完整解答：
    • 对于每个基数2^τ（τ ≥ ω），存在该基数的局部紧拓扑群可以凝聚到紧空间但不能凝聚到紧拓扑群
    • 具体例子：Z × (S^1)^τ
  3. 理论框架：
    • 定理3.1和3.2提供了系统的判定工具
    • 揭示了Baire纲定理在凝聚理论中的核心作用

局限性

  1. Lindelöf空间的未解决问题：问题3.3仍然开放——对于Lindelöf空间的拓扑和，是否存在类似定理3.2的结果？Remark 3.4表明某些条件是必要的。
  2. 非紧情形：问题2.8的非紧情形（凝聚到非紧同胚空间）本文未涉及。
  3. 构造性：离散空间的反例依赖于集合论的一致性结果，不是ZFC中的绝对结果。
  4. 最优性：定理3.1中的权重界λ = max{log(κ), μ}是否最优未讨论。

未来方向

  1. 问题3.3：研究Lindelöf空间拓扑和的凝聚性质
  2. 其他拓扑性质：研究凝聚保持其他性质的可能性，如：
    • 仿紧性
    • 正规性
    • 完全正则性的强化形式
  3. 拓扑群的进一步研究：
    • 非紧同胚空间的情形
    • 其他代数结构（半群、环等）
  4. 算法和计算方面：虽然本文是纯理论的，但凝聚的构造性方法可能有计算意义

深度评价

优点

  1. 问题的重要性：
    • 回答了领域内公开的重要问题
    • 揭示了凝聚理论中的本质困难
    • 连接了拓扑学和集合论
  2. 技术深度：
    • 巧妙运用Baire纲定理建立一般性判定准则
    • 深入利用集合论工具（强制法、可构成宇宙）
    • 拓扑群的反例构造精巧（利用连通性和同胚性的矛盾）
  3. 结果的完整性：
    • 既有正面结果（定理3.1）也有负面结果（定理3.2）
    • 从简单情形（离散空间）到复杂情形（拓扑群）系统展开
    • 集合论分析全面（CH和非CH情形）
  4. 写作清晰度：
    • 结构清晰，从预备知识到主要结果层次分明
    • 证明详细，关键步骤解释充分
    • 例子丰富，帮助理解抽象概念

不足

  1. Lindelöf情形的不完整性：
    • 问题3.3提出但未解决
    • Remark 3.4的反例说明问题的微妙性，但未给出正面的充分条件
  2. 离散空间反例的依赖性：
    • 依赖于大基数假设（不可达基数）或特定模型
    • 不是ZFC中的绝对结果
    • 虽然这反映了问题的本质困难，但限制了结果的普遍性
  3. 定量分析不足：
    • 定理3.1的权重界是否最优未讨论
    • 拓扑和分量数量的下界未明确
  4. 应用讨论缺乏：
    • 作为纯理论论文，未讨论结果的潜在应用
    • 与泛函分析中弱拓扑的联系仅在引言中提及

影响力

  1. 理论贡献：
    • 完整回答了Arhangel'skii和Buzyakova的问题
    • 建立了系统的判定框架（定理3.1和3.2）
    • 揭示了凝聚理论与集合论的深刻联系
  2. 方法论贡献：
    • Baire纲定理在凝聚理论中的应用是系统性的
    • 拓扑和分解技术可能适用于其他问题
    • 连接了多个数学分支（拓扑、集合论、拓扑群）
  3. 后续研究：
    • 问题3.3为后续研究提供了明确方向
    • 方法可能推广到其他拓扑性质
    • 集合论技术可能应用于相关问题
  4. 可复现性：
    • 所有证明都是完整的数学论证
    • 结果可以被独立验证
    • 不存在计算实验的可复现性问题

适用场景

  1. 理论拓扑学研究：
    • 研究空间的拓扑精细化
    • 理解不同拓扑性质之间的关系
    • 构造具有特定性质的反例
  2. 集合论研究：
    • 研究基数性质
    • 强制法的应用
    • 一致性结果的构造
  3. 泛函分析：
    • 理解弱拓扑与原拓扑的关系
    • 研究不同拓扑下的连续性
  4. 教学用途：
    • Baire纲定理的应用示例
    • 拓扑和的性质
    • 集合论与拓扑的交叉

技术亮点

定理3.2的证明技巧

证明(3)中利用Kuratowski的上半连续分解理论特别精妙：

  • 连续统的像是分支
  • 分支族形成上半连续分解
  • 分解空间是可数紧Hausdorff空间，因此有无穷多个孤立点
  • 孤立点对应既开又闭的分支

这种从连续映射到分解空间的推理展示了拓扑学的深度。

命题4.1的连通性论证

证明R不能凝聚到S^1的论证虽然"初等"但非常巧妙：

  • 开区间的像必须是连通的
  • 如果像是半开区间[s,t)，取原像中的点p使得f(p) = s
  • 则f((u,p))和f((p,v))都包含s，与单射矛盾

这种论证避免了使用代数拓扑工具（如基本群），展示了点集拓扑的力量。

集合论的深度应用

利用Poór-Shelah关于Kurepa树分支谱的刻画来理解可分紧空间的基数，体现了：

  • 不同数学分支的深刻联系
  • 集合论工具在拓扑问题中的威力
  • 一致性结果的重要性

参考文献（关键文献）

1 A. V. Arhangel'skii and R. Buzyakova, Better subtopologies, arXiv:2510.16254. 3 W. W. Comfort, Topological groups, Handbook of Set-Theoretic Topology, 1984. 15 A. S. Parhomenko, 关于到紧空间的连续单射, 1941. 16 I. I. Parovichenko, 权重ℵ的万有双紧空间, 1963. 17 M. Poór and S. Shelah, Kurepa树分支基数谱的刻画, Pacific J. Math. 2021.

总体评价：这是一篇高质量的纯数学理论论文，通过建立系统的判定框架和构造精巧的反例，完整回答了领域内的重要公开问题。论文展示了拓扑学、集合论和代数的深度交叉，方法具有普遍意义。虽然某些结果依赖于集合论的一致性假设，但这恰恰揭示了问题的本质困难。论文对凝聚理论的发展有重要贡献，为后续研究提供了清晰的方向。