拓扑空间中的收敛性

1. 前言

我们假设读者已经了解点集拓扑的一些基础概念，例如开集，邻域，紧空间等等，我们现在讨论拓扑空间中的收敛性。
我们知道，在度量空间中，许多拓扑性质可以用序列刻画，例如

• 在度量空间$X$中，集合$A\subset X$，则$A$的闭包可以被序列刻画：
  A ‾ = { x ∈ X : 存 在 序 列 x n ∈ A ， 且 d ( x n , x ) → 0 } . \overline{A}=\{x\in X:存在序列x_n\in A，且d(x_n,x)\rightarrow 0\}. A={ x∈X:存在序列xn​∈A，且d(xn​,x)→0}.

但是在一般的拓扑空间中，序列这个概念已经不足以刻画拓扑性质了，例如

(第一不可数序，the first uncountable ordinal) 我们在文章集合与拓扑/第一不可数序中介绍了第一不可数序${\omega }_1$，在序拓扑中，${\omega }_1=\mathbf{s}\mathbf{e}\mathbf{g}{y}_0\subset (-\infty ,y_0]$，验证：

• ${\omega }_1$在$(-\infty ,y_0]$中是序列闭的，即任何收敛序列$(x_n)\subset {\omega }_1$的极限$x$仍在${\omega }_1$中。
• ${\omega }_1$在