序列紧致空间

序列紧致空间（sequentially compact space）是拓扑学上的一个概念。

定义

假设$X$是拓扑空间，如果$X$的每一个序列都有一个收敛子列，那么$X$就被称为是序列紧致空间。

性质

1. 每一个序列紧致空间是可数紧致空间，反之未必，$C_1$的可数紧致空间是序列紧致空间。
2. 序列紧致空间具有可商性：假设$f: X \to Y$连续，$X$是序列紧致空间，那么$f(X)$是序列紧致的。
3. 序列紧致空间具有可乘性：有限个序列紧致空间的乘积空间是序列紧致的。
4. 对于第一可数的 Hausdorff 空间而言，列紧空间是序列紧致空间，反之未必。
5. 对于第二可数空间或度量空间而言，序列紧致空间、紧空间和列紧空间等价。

等价性

假设$X$是$T_1$的第一可数空间，$A$是$X$的子集，那么以下命题等价：

1. $A$的每一个开覆盖有有限子覆盖。
2. $A$的每一个可数开覆盖有有限子覆盖。
3. $A$的每一个序列都有子列收敛到$A$中的点。
4. $A$的每一个无限子集都有$A$的聚点在$A$中。

在$\R^n$空间中，上述命题等价于$A$是有界闭集。

度量空间

在度量空间中，这些紧致性的概念是等价的：假设$X$是度量空间，那么

1. $X$是紧空间。
2. $X$是伪紧空间。
3. $X$是列紧空间。
4. $X$是可数紧致空间。
5. $X$是序列紧致空间。