如何检查集合 C 是否是 X 的覆盖？

如果集合 $C$ 是 $X$ 的覆盖，并且 $C$ 的每个成员都是拓扑 $\tau$ 中的开集，则称 $C$ 为开覆盖。仅证明 $\bigcup C = X$ 只能说明它是覆盖；属于 $\tau$ 才能证明它是开覆盖。

适用条件：$C$ 的每个成员都属于 $\tau$。；$\bigcup C = X$。

视频得出 $X$ 是紧致的结论，是因为它展示了有限空间 $X$ 的开覆盖 $C$ 有一个有限子覆盖 $C_1$。演讲者将紧致性的定义（每个开覆盖都有有限子覆盖）应用于这个有限环境。

适用条件：$X$ 是有限的。；紧致性由要求 $X$ 的每个开覆盖都有有限子覆盖来定义。

要找到有限子覆盖，需选择一个有限子集合 $C_1 \subseteq C$，使得 $C_1$ 中集合的并集仍然等于 $X$。所选的集合必须来自原始覆盖 $C$。

适用条件：$C_1$ 必须是 $C$ 的子集合。；$C_1$ 必须是有限的。；$C_1$ 的并集必须等于 $X$。

是的，子空间可以是紧致的。如果 $Y$ 是 $X$ 的子集，并配备了相对拓扑 $\tau_Y$，那么 $(Y,\tau_Y)$ 本身就是一个拓扑空间。

适用条件：$Y$ 必须被视为 $X$ 的子空间。；$\tau_Y$ 是 $Y$ 上的相对拓扑。；同样的紧致性准则应用于 $Y$ 的覆盖。

不能，展示一个有有限子覆盖的开覆盖并不能证明所有覆盖的紧致性。紧致性要求*每个*开覆盖都有有限子覆盖。

适用条件：上下文是紧致性的定义。；演示仅限于一个选定的开覆盖。