[论文解读] o-Boundedness of free objects over a Tychonoff space

Lyubomyr Zdomskyy|ArXiv.org|Sep 26, 2005

Advanced Topology and Set Theory参考文献 21被引用 5

一句话总结

该论文使用选择原则刻画了在Tychonoff空间 X 上的自由拓扑群 F(X)、A(X) 以及自由局部凸空间 L(X) 的 o-有界性，表明 Menger 和 Hurewicz 等性质在 ZFC 一致性下是 l-不变的。研究建立了自由对象的 o-有界性与空间 X 的组合覆盖性质之间的对应关系，从而实现了具有强拓扑-组合结构的 OF-不确定群的构造。

ABSTRACT

In this paper we characterize [strict] o-boundedness of the free (abelian) topological group F(X) (A(X)) as well as the free locally-convex linear topological space L(X) in terms of properties of a Tychonoff space X. These properties appear to be close to so-called selection principles, which permits us to show, that (it is consistent with ZFC that) the property of Hurewicz (Menger) is l-invariant. This gives a method of construction of OF-undetermined topological groups with strong combinatorial properties.

研究动机与目标

• 以 Tychonoff 空间 X 的拓扑性质来刻画自由（阿贝尔）拓扑群 F(X) 和 A(X)，以及自由局部凸空间 L(X) 的 o-有界性。
• 建立自由对象的 o-有界性与选择原则（如 Menger、Scheepers 和 Hurewicz）之间的联系。
• 证明 Menger 和 Hurewicz 性质在 ZFC 一致性下是 l-不变的，即在拓扑空间的 l-等价下保持不变，从而将不变性结果推广至更广泛的拓扑不变量类。
• 提供一种构造具有强组合与拓扑性质的 OF-不确定拓扑群的方法。

提出的方法

• 使用选择原则——特别是 Menger、Scheepers 和 Hurewicz 性质——作为组合工具，刻画自由拓扑群中的 o-有界性。
• 应用多覆盖空间理论与一致结构分析 o-有界性，尤其通过 F(X) 和 A(X) 上的左一致与右一致结构。
• 利用 C_p(X) 和 L_p(X) 作为桥梁，建立 X 的拓扑性质与 F(X)、A(X)、L(X) 的 o-有界性之间的对偶关系。
• 利用 l-等价（作为线性拓扑空间的 C_p(X) 同构）定义 l-不变性，并证明选择原则在 l-等价下保持不变。
• 应用博弈论技术（如获胜多覆盖空间）证明 o-有界性与选择性质之间的蕴含关系。
• 通过构造一个可数紧致空间 Z，其 Z² 上具有非 Lindelöf 的伪度量，构造反例以说明乘积中 Lindelöf 性质的失效。

实验结果

研究问题

• RQ1 在何种条件下，Tychonoff 空间 X 的自由拓扑群 F(X) 是 o-有界的？
• RQ2 Menger、Scheepers 和 Hurewicz 等选择原则如何与 X 上自由对象的 o-有界性相关联？
• RQ3 Menger 和 Hurewicz 性质是否是 l-不变的，即在拓扑空间的 l-等价下是否保持不变？
• RQ4 是否可以统一地通过 X 及其函数空间的性质来刻画 F(X)、A(X) 和 L(X) 的 o-有界性？
• RQ5 自由局部凸空间 L(X) 在 o-有界性与 X 的覆盖性质之间的对偶关系中起什么作用？

主要发现

• 自由阿贝尔拓扑群 A(X) 是 o-有界的，当且仅当 X 具有 Menger 性质。
• 自由拓扑群 F(X) 是 o-有界的，当且仅当 X 具有 Scheepers 性质。
• 自由局部凸空间 L(X) 是 o-有界的，当且仅当 X 具有 Hurewicz 性质。
• 在 ZFC 一致性下，Menger 和 Hurewicz 性质是 l-不变的，即若 X 与 Y 是 l-等价的，则 X 具有 Menger（相应地 Hurewicz）性质当且仅当 Y 也具有。
• l-不变性的证明依赖于在 l-等价下选择原则的等价性，以及在多覆盖空间上应用博弈论方法。
• 构造了一个反例，表明两个可数紧致空间的乘积可能允许一个非 Lindelöf 的伪度量，从而说明在此类情形下 Lindelöf 性质的失效。