为什么视频得出这个有限空间 X 是紧致的结论？

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

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

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

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

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

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