为什么在嵌套闭集定义下实数线不是紧致的？

适用条件

• 背景空间是实数线 ℝ。
• 紧致性通过嵌套闭非空子集有公共点来定义。
• Eₙ = [n, $\infty$)，其中 $n = 1$, 2, 3, ...

理解与推导

1. 定义正整数 n 的 Eₙ = [n, $\infty$)。
2. 验证每个 Eₙ 都是 ℝ 的闭非空子集。
3. 观察到 E₁ ⊃ E₂ ⊃ E₃ ⊃ 形成了一个嵌套序列。
4. 计算所有 Eₙ 的交集，结果为空，因为没有实数大于或等于所有正整数。
5. 得出 ℝ 不满足紧致性定义的结论。

例子

视频在数轴上依次高亮显示区间 [1,$\infty$)、[2,$\infty$) 和 [3,$\infty$)，然后写出 ⋂_{$n=1$}^{$\infty$} Eₙ = ∅ 以展示空交集。

容易误解的地方

• 认为无界集合如果是闭集仍然可以是紧致的。
• 假设嵌套闭集的交集总是非空的，而没有检查集合是否有界。

观看对应讲解

继续追问

• 嵌套闭集紧致性定义的目的是什么？
• 半开区间 (0,1] 如何在极限点紧致性定义下失败？