视频如何使用嵌套闭集定义紧致性？

适用条件

• E 是一个集合。
• 每个 Eₙ 都是 E 的闭子集。
• 每个 Eₙ 都是非空的。
• 序列按包含关系嵌套：E ⊃ E₁ ⊃ E₂ ⊃ ⋯。

理解与推导

1. 从一个集合 E 开始。
2. 从 E 中取出一个闭非空子集 E₁。
3. 从 E₁ 中取出一个闭非空子集 E₂，并无限重复。
4. 检查是否存在至少一个所有 Eₙ 共有的元素。
5. 如果对于每一个可能的嵌套序列都存在这样的元素，则 E 是紧致的。

例子

视频通过动画对此进行了可视化：嵌套区域从 E 到 E₁、E₂、E₃ 逐步缩小，最后在中心出现一个点，代表公共元素。

容易误解的地方

• 认为紧致性仅仅意味着集合是有限的。
• 假设任何子集序列都会有一个公共点，而不管它们是否是闭集和非空集。

观看对应讲解

继续追问

• 为什么实数线在这个定义下不是紧致的？
• 这种特定的紧致性定义的目的是什么？