定义7.1.2 设X是一个拓扑 空间，Y是X中的一个子集如果 Y作为x的子空间是一个紧致空 间，则称Y是拓扑空间X的一个 紧致子集，定义7.1.2 设X是一个拓扑 空间，Y是X中的一个子集.如果 Y作为X的子空间是一个紧致空 间，则称Y是拓扑空间X的一个 紧致子集．