[论文解读] Lindelof spaces which are indestructible, productive, or D

Franklin D. Tall, Leandro F. Aurichi|arXiv (Cornell University)|Apr 14, 2011

Advanced Topology and Set Theory参考文献 36被引用 8

一句话总结

本文研究了在可数闭 forcing 下，Lindelöf 空间中不可破坏性、可积性与 D-性质之间的相互作用。证明了 Alster 空间是 Menger 空间，因而也是 D-空间，并且证明了度量空间是不可破坏性可积 Lindelöf 空间当且仅当它是 σ-紧致的，从而在 forcing 扩张下解决了可积 Lindelöf 问题的关键情形。

ABSTRACT

We discuss relationships in Lindelof spaces among the properties "indestructible", "productive", "D", and related properties.

研究动机与目标

• 理解 Lindelöf 空间中不可破坏性、可积性与 D-性质之间的关系。
• 研究在 forcing 扩张下，不可破坏性可积 Lindelöf 空间是否为 Alster 空间或 D-空间。
• 确定不可破坏性可积 Lindelöf 度量空间的精确刻画。
• 阐明 forcing 在保持 Menger、Hurewicz 和 D 等拓扑性质方面的作用。
• 提供基于 ZFC 和 CH 的例子，以区分这些性质及其对 Michael 问题的影响。

提出的方法

• 使用可数闭 forcing 扩张来定义并分析 Lindelöf、可积与 D-性质的不可破坏性。
• 通过涉及开覆盖序列的等价定义，应用选择原则——Menger、Rothberger、Hurewicz。
• 利用 Alster 性质（紧致集的 Gδ 覆盖的有限加细）证明 Alster 空间具有 Menger 和 D-性质。
• 通过完美映射将度量情形约化为 0-维空间，并在 forcing 下保持该性质。
• 使用已知例子（如 Moore 的 L-空间、Michael 的空间、Sorgenfrey 直线）来检验性质之间的蕴含关系与不可逆性。
• 应用 CH 与基数不变量（如 𝔪 < 𝔤）推导出如 Rothberger ⇒ Hurewicz 或可积 Lindelöf ⇒ Menger 等蕴含关系。

实验结果

研究问题

• RQ1 每个不可破坏性可积 Lindelöf 的 T3 空间是否都是 Alster 空间或 D-空间？
• RQ2 在 CH 下，每个权 ≤ ℵ1 的可积 Lindelöf T3 空间是否都是 Alster 空间？
• RQ3 一般情况下，不可破坏性可积 Lindelöf 是否蕴含 Hurewicz 或 Menger 性质？
• RQ4 能否构造一个 ZFC 例子，使得一个 Lindelöf 空间与无理数集的积不是 Lindelöf 的？
• RQ5 是否存在一个可积 Lindelöf 空间但不是强 Lindelöf 空间？

主要发现

• 每个 Alster 空间都是 Menger 空间，因此每个 Alster 空间都是 D-空间。
• 在 CH 下，每个第一可数或可分的可积 Lindelöf T3 空间都是 D-空间。
• 一个度量空间是不可破坏性可积 Lindelöf 空间当且仅当它是 σ-compact 空间。
• 不可破坏性可积 Lindelöf 空间是 Hurewicz 空间且是强 Lindelöf 空间。
• Sorgenfrey 直线是 Lindelöf 空间，但不是可积 Lindelöf 空间，因为其平方不是 Lindelöf 空间。
• 存在 Menger 空间不是 Hurewicz 空间，也存在 Hurewicz 空间不是 σ-compact 空间，表明这些性质之间存在严格层次关系。