泛函分析笔记04：紧性与列紧性

1.6紧性

定义 2.14：$X$ 为距离空间（或拓扑空间）, $A\subseteq$ $X$, 如果 $A$ 的任一开覆盖均存在有限的子覆盖, 则 称 $A$ 为紧集; 当 $X$ 为紧集时，称 $X$ 为紧空间。

定义 2.15：设 F = { F α } α ∈ I \mathcal{F}=\left\{F_{\alpha}\right\}_{\alpha \in I} F={Fα​}α∈I​ 为拓扑空间 $X$ 中一闭集 族, 如果$\mathcal{F}$中任意有限个集的交非空可推出 $F_{\alpha }\ne$ $\varnothing$，则称F具 “有限交”性；若 $X$ 中任一闭集族都具 “有限交” 性, 则称 $X$ 具“有限交”性。

定理 2.16： 拓扑空间 $X$ 紧 $⟺X$ 具 “有限交”性。

定理2.17：紧空间的闭子集是紧的。

定理2.18：距离空间（或Hausdorff空间）中的紧子集是闭的。

定理2.19：任意个紧空间的乘积是紧的。

定理2.20：连续映射把紧集映成紧集。

定理2.21：紧空间上的实值连续函数必有最大值和最小值。

定理2.22：紧距离空间$X$到$Y$上的双射$f$如果连续，则$f$是同胚映射。

1.7距离空间中的紧性

定义 2.23： 设 $(X,d)$ 为距空, $A\subseteq X$, 如果 $A$ 中任一 点列均有收敘子列，则称 $A$ 是列紧的; 当 $X$ 列紧时， 称 $(X,d)$ 为列紧空间。

注：列紧集的子集也列紧; 列紧空间是完备的。

定义 2.24： 设 $(X,d)$ 为距空, $A,B\subseteq X,\epsilon >0$, 如 果 $\forall x\in A\exists y\in B$ 使 $d(y,x)<\epsilon$, 则称 $B$ 为 $A$ 的 $\epsilon$-网; 如果 $\forall \epsilon >0,A$ 均有有限的 $\epsilon -$ 网, 则称 $A$ 是全有界的。

注：

1. $A$ 全有界 $⟹A$ 有界;

2. $A$ 全有界 $⟹A$ 可分; $B={\bigcup }_{n=1}^{\infty }{B}_n$ 最多可数、稠于 $A$, 其中 $B_n$ 为 $A$ 的有限 $\frac{1}{n}-$ 网

3. 若 $A$ 全有界, 则对 $\forall \epsilon >0$ 存在 $A$ 的有限子集 $B$ 作为 $A$ 的 $\epsilon -$ 网

全有界和列紧的关系

定理 2.25： 距离空间中, 列紧$⟹$全有界; 当空间 完备时, 全有界 $\Longrightarrow $列紧。

紧、列紧和有界间的关系

定理2.26：距离空间中, 紧 $⟺$ 列紧 $+$ 闭。

例1：在完备的距离空间中, $A$ 列紧 $⟺\forall \epsilon >$ $0,A$ 有列紧的 $\epsilon -$ 网。

例2 ：${\mathbb{K}}^n$ 中, 列紧 $⟺$ 有界; 紧 $⟺$ 有界+闭。

定理2.27： $($ Arzela $)C[a,b]$ 中，子集 $A$ 列紧 $⟺$
(1) $A$ 一致有界: $\exists M\in [0,\infty )$ 使 $|x(t)|\le M,\forall x\in A,\forall t\in$ $[a,b]$
(2) $A$ 等度连续 : $\forall \epsilon >0,\exists \delta >0$ 使 $\forall x\in A,\forall t_1,t_2\in [a,b]$, 当 $\mid t_1-$ $t_2\mid <\delta$ 时有 $\left|x\left(t_1\right)-x\left(t_2\right)\right|<{\epsilon }_0$