子空间可以是紧致的吗，它使用什么拓扑？

如果集合 $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$ 是否成立。

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

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

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

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

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

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