列紧性推出紧性的证明

参考中科大大佬笔记
http://home.ustc.edu.cn/~xuxuayame/documents/MAB3/Lec8.pdf

这个证明还是比较经典的，要用到两个引理
度量空间上 紧和列紧等价
紧推出列紧一直都是可以的
但度量空间才能满足列紧推出紧

紧和列紧看上去毫不相关，因此紧推列紧主要是反证法 很简单
但列紧推紧用反证法比较困难 因此拆开来证明

引理1 设 $(X,\rho )$ 是 紧度量空间，η={Ga}\eta = \{G_a\}η={Ga​} 是 $X$ 上的一个开覆盖，则存在一个覆盖 $\lambda =(\lambda (m))$（称为覆盖 $\eta$ 的 Lebesgue 数）具有性质：如果 $A\subseteq X$，且直径
d(A)={0如果 A=∅,sup⁡{ρ(x,y)∣x,y∈A}如果 A≠∅ d(A) = \begin{cases} 0 & \text{如果 } A = \emptyset, \\ \sup\{\rho(x,y) \mid x,y \in A\} & \text{如果 } A \neq \emptyset \end{cases} d(A)={0sup{ρ(x,y)∣x,y∈A}​如果 A=∅,如果 A=∅​
小于 $\lambda$，则至少有一个 $G_a\supset A,G_a\in \eta$。

证明: 假设相反. 记述性质的 $\lambda$ 不存在, 则对任何自然数 $n$, 存在 $A_n\subseteq X$, $d(A_n)<\frac{1}{n}$, 但对任何 $G_a\in \eta$, $A_n⊈G_a$。取取自然数 $n=1,2,\dots$，因为 $X$ 紧, 从集合 {An}\{A_n\}{An​} 的子序列 {Ank}\{A_{n_k}\}{Ank​​} 收敛至点 $a\in X$。由于 $\eta$ 是 $X$ 的开覆盖，存在 $G\in \eta$, 使得 $a\in G$。因为 $G$ 是开集，所以 $d=\rho (a,X-G)>0$。

我们取自然数 $m>\frac{d}{2}$. 有 am∈{an},ρ(a,am)<d2a_m \in \{a_n\}, \rho(a, a_m) < \frac{d}{2}am​∈{an​},ρ(a,am​)<2d​. 另外，对任何包含 $A_m$, 有
$$\rho (a,x)\le \rho (a,a_m)+\rho (a_m,x)<\frac{d}{2}+\frac{1}{m}<\frac{d}{2}+\frac{d}{2}=d$$
所以 $A_m\subset G$, 这与 $A_m\not\subset G_a$ (对任何 $G_a\in \eta$) 矛盾。

引理2(totally bounded). 设 $(X,\rho )$ 为紧度量空间。对任何 $ϵ>0$, 对每个点 $a\in X$ (即 $A=X$)的所有点，存在某个半径 $ϵ$ 内的点 $x\in X$, 满足 $\rho (x,A)<ϵ$.

证明. 假设存在 ${ϵ}_0>0$, 对 $X$ 中的某点 $a\in X$. 假设 {a1}⊄B(x0,ϵ0)\{a_1\} \not\subset B(x_0, \epsilon_0){a1​}⊂B(x0​,ϵ0​), 则存在 $a_2\in X$, 使得 $\rho (a_1,a_2)\ge {ϵ}_0$. 以此类推，找到 {a1,...,an}\{a_1, ..., a_n\}{a1​,...,an​} 且 $n>1$ 且不存在，其中 $\rho (a_i,a_j)\ge {ϵ}_0(1\le i<j\le n)$。同时 {a1,...,an}\{a_1, ..., a_n\}{a1​,...,an​} 不是 $X$ 的覆盖，则添加 $a_{n+1}\in X$, 使得 $\rho (a_i,a_j)\ge {ϵ}_0(1\le i<j\le n+1)$。由此过程得到一个无限序列 {a1,a2,...,an,...}\{a_1, a_2, ..., a_n, ...\}{a1​,a2​,...,an​,...}, 其中 $\rho (a_i,a_j)\ge {ϵ}_0(1\le i<j)$。由引理 3.6 可知这无限序列无界，这与 $X$ 紧矛盾。

**定理 ** 设 $(X,\rho )$ 为度量空间，则
$$X\text{ 紧集蕴含 }X\text{ 可度量紧}.$$

证明.

$(\Leftarrow )$: 设 $\lambda =\lambda (n)$ 是开覆盖 $\eta$ 的 Lebesgue 数。由定理引理2 对于每一个 $k$, 有 {a1,...,an}\{a_1, ..., a_n\}{a1​,...,an​}. 并且, $X={\bigcup }_{k=1}^{n}U(a_k,\frac{\lambda }{3})$, 因为 ${\bigcup }_{k=1}^{n}U(a_k,\frac{\lambda }{3})<\lambda$, 从而满足对应的所有要求覆盖。