紧性

紧性
紧性是点集拓扑学中的一个重要概念[1]。

定义

紧性的定义是在拓扑空间X中，如果对于任意一个开覆盖，都存在一个有限的子覆盖，则称X为紧。而对于拓扑空间X的一个子集K，如果能够从X的所有覆盖中选取一个有限的开集族来覆盖K，则称K为紧集[2]。

相关概念

列紧：指在一个拓扑空间X中，任何序列都有收敛的子序列[3]。