定理7.1.1 设X是一个拓扑 空间，Y是X中的一个子集. 则Y是X的一个紧致子集当且仅 当每一个由X中的开集构成的Y 的覆盖都有有限子覆盖。定理7.1.1 设X是一个拓扑 空间，Y是X中的一个子集． 则Y是X的一个紧致子集当且仅 当每一个由X中的开集构成的Y 的覆盖都有有限子覆盖．