拓扑空间 (X,τ) 是紧致的,如果 X 的每个开覆盖都有一个有限子覆盖。这意味着对于任何并集包含 X 的开集集合,都存在该开集集合的一个有限子集合,它仍然覆盖 X。
适用条件:对象是拓扑空间 (X,τ)。;量词针对 X 的每个开覆盖。;要求的结论是存在一个有限子覆盖。
拓扑空间 (X,τ) 是紧致的,如果 X 的每个开覆盖都有一个有限子覆盖。这意味着对于任何并集包含 X 的开集集合,都存在该开集集合的一个有限子集合,它仍然覆盖 X。
适用条件:对象是拓扑空间 (X,τ)。;量词针对 X 的每个开覆盖。;要求的结论是存在一个有限子覆盖。