为什么闭区间 [0,1] 在极限点定义下是紧致的？

适用条件

• E 是闭区间 [0,1]。
• 紧致性由豪斯多夫的极限点定义来判断。
• S 是 [0,1] 的无限子集。

理解与推导

1. 考虑 [0,1] 的一个无限子集 S，例如 {$1/n$ : $n=1$,2,3,...}。
2. 识别 S 的极限点，即 0。
3. 检查极限点 0 是否属于集合 [0,1]。
4. 因为 $0 \in [0,1]$，所以该子集满足条件。
5. 视频将其推广，指出 [0,1] 的所有无限子集都在 [0,1] 中有极限点，使其成为紧致的。

例子

视频显示代表 {$1/n$} 的绿点在区间 [0,1] 上向 0 聚集，方括号表示 0 被包含在内，并将其标记为“Compact $E=[0,1]$”。

容易误解的地方

• 认为从区间中移除单个端点不会改变紧致性。
• 混淆序列的极限点与序列本身的极限，而没有考虑集合的闭包。

观看对应讲解

继续追问

• 为什么移除端点 0 会使 (0,1] 变得非紧致？
• 弗雷歇紧致性和极限点紧致性在度量空间中是否等价？