漫步数学分析十二——嵌套

定理1有一个非常重要的推论，就是嵌套性。

$\textbf{定理2}$ 令$F_k$是$R^n$中非空紧集序列，对于所有$k=1,2,\ldots$满足$F_{k+1}\subset F_k$，那么在$\cap_{k=1}^\infty F_k$中至少存在一个点。

直观上来看，集合$F_k$会越来越小，所以我们可以将其看成序列中的一个点。然而，如果$F_k$是非紧的，那么交集可能为空。

我们可以用波尔查诺-魏尔斯特拉斯定理证明它，对每个$k$选取$x_k\in F_k$，那么$x_k$有一个收敛的子序列，因为他们都位于$F_1$中，因为集合$F_k$是闭的所以极限点肯定位于所有的集合中。

有一个更加容易的证明会在附3中给出，该证明用到了定理1$\textrm{(ii)}^{'}$。

$\textbf{例1：}$对$F_k=[0,1/k]\subset R$，验证定理2。

$\textbf{解：}$每个$F_k$是紧集并且很明显$F_{k+1}\subset F_k$，交集是$\{0\}$，它是非空的。

$\textbf{例2：}$如果非空紧变成非空开火非空闭，那么定理2还成立吗？

$\textbf{解：}$不成立。令$F_k=(k,\infty)$或者$[k,\infty)$。