[论文解读] Sequential convergence in topological spaces

Anthony Goreham|arXiv (Cornell University)|Dec 31, 2004

Advanced Topology and Set Theory参考文献 14被引用 9

一句话总结

本综述研究了序列与可数集在一般拓扑学中的作用，重点关注五类拓扑空间：第一可数空间、序列空间、Fréchet空间、可数紧致空间和完备空间。通过连续映射建立了序列空间与Fréchet空间的刻画定理，证明了每个完全正则的可数紧致空间都具有可数紧致性，并展示了在ZFC系统中，完备正规序列空间中紧致性与序列紧致性的独立性——解决了集合论拓扑学中的一个关键问题。

ABSTRACT

In this survey, my aim has been to discuss the use of sequences and countable sets in general topology. In this way I have been led to consider five different classes of topological spaces: first countable spaces, sequential spaces, Frechet spaces, spaces of countable tightness and perfect spaces. We are going to look at how these classes are related, and how well the various properties behave under certain operations, such as taking subspaces, products, and images under proper mappings. Where they are not well behaved we take the opportunity to consider some relevant examples, which are often of special interest. For instance, we examine an example of a Frechet space with unique sequential limits that is not Hausdorff. I asked the question of whether there exists in ZFC an example of a perfectly normal space that does not have countable tightness: such an example was supplied and appears below. In our discussion we shall report two independence theorems, one of which forms the solution to the Moore-Mrowka problem. The results that we prove below include characterisation theorems of sequential spaces and Frechet spaces in terms of appropriate classes of continuous mappings, and the theorem that every perfectly regular countably compact space has countable tightness.

研究动机与目标

• 考察序列在描述一般空间（尤其是非度量空间）的拓扑性质时的局限性。
• 澄清五类拓扑空间之间的关系：第一可数空间、序列空间、Fréchet空间、可数紧致空间和完备空间。
• 研究这些性质在子空间、积空间以及正规映射像等拓扑运算下的行为。
• 解决集合论拓扑学中的基础性问题，包括Moore-Mrówka问题，以及在完全正规空间中紧致性与序列紧致性的独立性。
• 通过连续映射建立序列空间与Fréchet空间的刻画定理，并探讨可数紧致性在完备空间中的作用。

提出的方法

• 基于序列与可数性质，系统性地回顾并比较五类拓扑空间。
• 利用已知反例（如βℕ）说明在一般拓扑学中基于序列的刻画会失效。
• 应用集合论公理（如diamond公理和Martin公理加¬CH）构造模型，以展示紧致性与可数紧致性可能不同或相同。
• 通过适当的连续映射类证明序列空间与Fréchet空间的刻画定理。
• 通过超限归纳法及构造不可数离散子空间，建立完全正则可数紧致空间具有可数紧致性的结果。
• 利用集合论中的独立性结果（如在♢下Ostaszewski空间，以及在MA+¬CH下Weiss的结果），证明在完备空间中紧致性与序列紧致性的独立性在ZFC中无法判定。

实验结果

研究问题

• RQ1 拓扑空间中的序列收敛性质与度量空间中的有何不同？
• RQ2 序列空间与可数紧致性空间之间存在何种关系，尤其在Moore-Mrówka问题的背景下？
• RQ3 每个完全正规空间是否必然具有可数紧致性？若否，能否在ZFC中构造出反例？
• RQ4 在完全正规空间中，紧致性与序列紧致性在何种条件下等价？
• RQ5 在完全正则序列空间中，紧致性与序列紧致性的等价性是否可在ZFC中判定？

主要发现

• 通过超限构造不可数离散子空间，证明了每个完全正则的可数紧致空间都具有可数紧致性。
• 存在一个ZFC中的完全正规空间，其不具有可数紧致性，从而解决了关于完备性与紧致性之间关系的开放问题。
• 紧致性与序列紧致性在完全正则序列空间中等价的命题在ZFC中是独立的，通过在♢下和在MA+¬CH下构造模型，证明了该等价性可能成立也可能不成立。
• 建立了刻画定理：一个空间是Fréchet空间当且仅当它是某个度量空间在保持序列极限的连续映射下的像。
• 通过连续映射到序列空间，给出了序列空间的刻画，表明序列性在某种类似商映射的构造下是保持的。
• βℕ的例子表明，紧致性并不蕴含序列紧致性，且即使在紧致空间中，闭包也未必能通过序列极限来描述。