为什么 C 被称为开覆盖而不仅仅是覆盖？

要检查集合 $C$ 是否是 $X$ 的覆盖，需形成 $C$ 中所有成员的并集。如果并集等于 $X$（或包含 $X$），那么 $X$ 的每个点都至少位于 $C$ 的一个成员中，因此 $C$ 是一个覆盖。

适用条件：$C$ 是 $X$ 的子集集合。；测试是 $\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$ 的覆盖。

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

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