泛函分析 01.04 距离空间-闭集、可分性、列紧性

$\color{blue}{\S 1.3 闭集、可分性、列紧性}$

$\color{blue}{1.3.1 距离空间的闭集}$

$内容:闭集的定义及性质.$
$(1) 利用开集研究闭集;$
$(2)从点集结构上研究闭集.$

$定义 1.3.1 设X是一个距离空间, 集合A \subset X 称为是闭的,$
$若它的补集 A^c = X \setminus A 是开的.$
$定理1.3.2. 设X是一个距离空间, 则 \overline B(x_0, r) = \lbrace x \in X | d(x, x_0) \leq r \rbrace$
$和 S(x_0, r) = \lbrace x \in X | d(x, x_0) = r \rbrace 是闭集.$
$分析:根据闭集的定义, 只要证明它们的补集是开集即可,用开集定义来证明.$
$证明:(1) 设y \in \overline B(x_0, r)^c, 要证y是\overline B(x_0, r)^c 的内点.$

$\because d(y, x_0) = \alpha > r.$
$令 \beta = \alpha - r > 0, 对于\forall z \in B (y, \beta), 有$
$d(x_0, z) \geq d(y, x_0) - d(y, z)$
$= \alpha - d(y, z)$
$> \alpha - \beta = r.$
$故B(y, \beta) \subset \overline B(x_0, r)^c.$
$即\overline B(x_0, r)^c是开的, 于是\overline B(x_0, r)是闭的.$
$(2)由S(x_0, r)^c = B(x_0, r) \cup \overline B(x_0, r)^c 是开的$
$(根据任意多个开集的并集是开集),$
$因此S(x_0, r)是闭集.$
$记\mathcal{F}为距离空间(X, d)中全体闭集.利用关于补集的 De Morgan公式,$
$结合定理(开集的性质,决定空间拓扑结构的三条性质),得$
$定理1.3.3 设(X, d)是一个距离空间, 则$
$(1)全空间与空集是闭集;$
$(2)任意多个闭集的交是闭集;$
$(3)有限多个闭集的并是闭集.$

$\color{blue}{1.3.2 闭集的结构}$

$闭集的结构相对比较复杂, 这从Cantor集是闭集可以反映出来.$
$下面从点集的结构上进一步研究闭集.$
$定义1.3.4 设X是一个距离空间, A \subset X, x \in X.如果对于 \forall \varepsilon > 0,$
$球B(x, \varepsilon)中都包含A中的点, 即$
$\qquad B(x, \varepsilon) \cap A \neq \emptyset \quad (\forall \varepsilon > 0), \quad (1.3.1)$
$则称x 为A的接触点.$
$注:A中的点一定是A的接触点, A的接触点可能属于A也可能不属于A.$

$定义1.3.5 设X是一个距离空间, A \subset X, x \in X. 如果对于\forall x > 0,$
$球B(x, \varepsilon) 中都包含A中不同于x的点,即$
$\qquad B(x, \varepsilon) \cap (A \setminus \lbrace x \rbrace) \neq \emptyset (\forall \varepsilon > 0), \quad (1.3.2)$
$则称x为A的聚点.$
$注:聚点一定是接触点,反过来不一定.$

$例1.3.6 a点和b点是开区间(a, b)的聚点(也是接触点), 但不属于开区间(a, b),$
$闭区间[a, b]的聚点全部在[a, b]中.$

$例1.3.7 设A = [0, 1] \cap \lbrace 2 \rbrace, 2是A的接触点, 但不是A的聚点.$

$例1.3.8设X = C[0, T], A = \lbrace x(t) | x(0) = 0, 且 |x(t)| < 1(0 \leq t \leq T) \rbrace.$

$我们注意到x_0(t) \equiv 1 不是A的接触点.$
$因为对于所有的x \in A, d(x_0, x) \geq 1.$
$如果对于 \forall x > 0, 球B(x, \varepsilon) 中都包含A中的点, 即$
$\qquad B(x, \varepsilon) \cap A \neq \emptyset (\forall \varepsilon > 0),$
$则称x为A的接触点.$
$如果对于\forall \varepsilon > 0, 球B(x, \varepsilon)中都包含A中(不同于x)的点,即$
$\qquad B(x, \varepsilon) \cap A \neq \emptyset (B(x, \varepsilon) \cap A \setminus \lbrace x \rbrace \neq \emptyset) (\forall \varepsilon > 0),$
$则称x为A的接触点(聚点).$

$例1.3.9 设X表示由[0, T]上全体连续函数组成的集合, 距离定义为:$
$\qquad d_2(x, y) = \lbrace \int_0^T |x(t) - y(t)|^2 dt \rbrace ^{\frac{1}{2}},$
$A = \lbrace x(t) | x(0) = 0, 且|x(t)| < 1 (0 \leq t \leq T) \rbrace,$

$则可以证明 x_0 \equiv 1是A的接触点(也是A的聚点).$
$注:一个点是否是一个集合的接触点和空间的距离有关.$

$用接触点来定义闭集.$
$定义1.3.10 设X是一个距离空间, A \subset X, A的接触点的全体为A的闭包,记为\overline A.$
$注: \because A中的点一定是A的接触点, \therefore A \subset \overline A.$
$定理1.3.11 设X是一个距离空间, A \subset X, A 是闭集当且仅当A = \overline A.$
$证明:“\Leftarrow”“由A = \overline A \Rightarrow A是闭集”.$
$只要证明A^c是开的.$
$令x \in A^c, 由A = \overline A, x 不是A的接触点(定义1.3.4).$
$\therefore 存在\varepsilon_0 > 0, 使得 B(x, \varepsilon_0) \cap A = \emptyset,$
$\therefore B(x, \varepsilon_0) \subset A^c. 因此A^c是开的, 即A是闭集.$
$“\Leftarrow” “A是闭集\Rightarrow A = \overline A”.$
$由于A \subset \overline A, 只需证明 \overline A \subset A.$
$令x \in \overline A, 假若x \overline \in A, 即$
$x 属于开集 A^c(这是由于A是闭集),$
$于是存在\varepsilon_0 > 0, B(x, \varepsilon_0) \subset A^c, 即:B(x, \varepsilon_0) \cap A = \emptyset,$
$这和 x \in \overline A矛盾.$
$注意:证明过程中用到了接触点、开集、闭集、闭包的定义.$

$定理1.3.12 设X是一个距离空间, A \subset X, A是闭集当且仅当A中收敛点列$
$\lbrace x_n \rbrace \subset A的极限属于A.$
$注:闭集可以理解为:在闭集里极限运算是封闭的.$
$证明:“\Rightarrow” 设A是闭的, 且\lbrace x_n \rbrace \subset A 收敛,$
$\lim \limits_{n \to \infty} x_n = x_0, 要证明 x_0 \in A.$
$由x_0 = \lim \limits_{n \to \infty} x_n, 可知:$
$对于\forall \varepsilon > 0, 都有x_n(n 充分大)满足d(x_n, x_0) < \varepsilon,$
$即x_n \in B(x_0, \varepsilon). 这表明 x_0 是A的接触点.$
$\therefore x_0 \in \overline A.$
$由A是闭集, 即：A = \overline A, 所以 x_0 \in A.$
$“\Leftarrow”假定每个收敛点列的极限都属于A, 要证A是闭集.$
$根据定理1.3.11, 只要证明A = \overline A, 即由 x_0 \in \overline A 推出 x_0 \in A.$
$令x_0 \in \overline A, 根据闭包的定义(全体接触点, 定义1.3.4),$
$对于 \forall n \in \mathbb{N}, 在B(x_0, \frac{1}{n}) \cap A 中至少存在一点x_n.$
$显然 \quad \lim \limits_{n \to \infty} x_n = x_0,$
$由已知, 得 x_0 \in A, 因此 A 是闭的.$

$定理1.3.13(点到集合的距离)设X是一个距离空间, A \subset X, x \in X, 称$
$\qquad d(x, A) = \inf \lbrace d(x, \omega) | \omega \in A \rbrace \quad (1.3.3)$
$为点x到集合A的距离.$
$注: 由定理1.3.11、1.3.12可以证明$
$\qquad \overline A = \lbrace x | d(x, A) = 0 \rbrace, \quad (1.3.4)$
$且\overline A 是包含A的最小闭集.$

$\color{blue}{1.3.3 可分的距离空间}$

$实数空间中, 有理数是稠密的, 有理数是可数的,$
$任何一个实数都可以用有理数列来逼近.$
$我们希望把这样的性质“类比”地推广到一般的空间中.$
$重点：稠密集，由其定义可分距离空间；判定稠密性、距离空间的可分性.$

$定义1.3.14 (稠密集)设A，B是距离空间X中的点集,如果 \overline B \supset A,$
$则称B在A中稠密.$
$\varepsilon - \delta语言描述(闭包、接触点的定义1.3.4):$
$\forall x \in A, \because x \in \overline B, \therefore \forall \varepsilon > 0, B(x, \varepsilon) \cap B \neq \emptyset,$
$即存在y \in B, 使得d(x, y) < \varepsilon.$
$也就是说A中的每一点都可以用B中的点来逼近:$
$\qquad \forall x \in A, \forall \varepsilon > 0, \exists y \in B, s.t. d(x, y) < \varepsilon \quad (1.3.5)$
$注意: 定义并没有要求 B \subset A.$

$例1.3.15 A = [0, 1], B 是[0, 1] 中全体有理数.\overline B = [0, 1], \overline B \supset A.$
$所以B在A中稠密, 这里B \subset A 且 B \neq A.$

$例1.3.16 如果A是[0, 1]中全体无理数, B是[0, 1]中全体有理数, 我们有 \overline B \supset A,$
$即B在A中稠密, 但是 B \cap A = \emptyset.$

$定义1.3.17(可分距离空间)设X是距离空间, 如果X中存在一个可数稠密子集,$
$则称X是可分的.$
$对于子集A \subset X,如果X中存在可数子集B, 使得B在A中稠密, 则称A是可分的.$
$由稠密的定义以及(1.3.5)式有:$
$命题1.3.18 距离空间(X, d)是可分的当且仅当存在一个具有下列性质的$
$可数集\lbrace x_n \rbrace:$
$\forall x \in X 和 \forall \varepsilon > 0, 至少存在一个x_k \in \lbrace x_n \rbrace, s.t. d(x_k, x) < \varepsilon.$
$注: 可分空间中的任意一点可通过一个可数集来近似逼近.$
$并且对于\forall \varepsilon > 0, \bigcup \limits_{k=1}^{\infty} B(x_k, \varepsilon) = X.$

$例1.3.19 \mathbb{R}^n 是可分的.$
$\mathbb{R}^n中的有理点(各个坐标都是有理数)是可数集, 且在\mathbb{R}^n中稠密.$

$例1.3.20 C[a, b]是可分的.$
$分析：只要找到C[a, b]中的可数稠密子集\lbrace x_n(t) \rbrace 即可.$
$由命题1.3.18，找到的\lbrace x_n(t) \rbrace 应满足:$
$对于\forall x(t) \in C[a, b] 和 \forall \varepsilon > 0, 至少存在一个x_n(t), 使得 d(x_n, x) < \varepsilon.$
$证明思路:连续函数用多项式逼近, 多项式用有理多项式逼近,$
$全体有理系数多项式是C[a, b]中的可数子集,所以C[a, b]可分.$
$证明(1) 由Weierstrass逼近定理,对于$
$\forall x(t) \in C[a, b], 存在多项式P_n(t)一致收敛到x(t).$
$(证明参阅P.M.Fitzpatrick:《Adavnced Calculus》p.188)$
$即对于\forall x(t) \in C[a, b], \forall \varepsilon > 0, 存在$
$\qquad P_n(t) = a_0 + a_1 t + \cdots + a_n t^n.$
$其中 a_i \in \mathbb{R} (i = 1, 2, \cdots, n), 使得$
$\qquad |P_n(t) - x(t) | < \varepsilon (\forall t \in [a, b]).$
$(2)而P_n(t)又可以用P_n^r(t)一致逼近,$
$这里P_n^r(t) = r_0 + r_1 t + \cdots + r_n t^n, 其中r_0, \cdots, r_n 是有理数.$
$\because \lbrace P_n^r(t) \rbrace 是可数的, \therefore C[a, b]是可分的.$

$例1.3.21 l^{\infty} 是不可分的.$
$分析:用反证法来证明.$
$证明(1) l^{\infty} = \lbrace 全体有界的实数列 \rbrace.$
$\qquad x = \lbrace \xi_k \rbrace, y = \lbrace \eta_k \rbrace \in l^{\infty}, \quad (1.3.6)$
$\qquad d(x, y) = \sup \limits_{k} |\xi_k - \eta_k |. \quad (1.3.7)$
$d(x, y) 是 l^{\infty} 上的一个距离.$

$(2)设x = \lbrace \xi_k \rbrace, 其中\xi_k = 0, 或1.这样的x的全体记为A.$
$A的势是连续统(二进制小数对应[0, 1]上全体实数).$
$\forall x, y \in A, x \neq y, 则 d(x, y) = \sup \limits_{k} |\xi_k - \eta_k| = 1.$
$(3)假若l^{\infty}可分, 则存在可数的稠密子集E,$
$对于\forall x \in E, 作开球B(x, \dfrac{1}{3}), 则 l^{\infty} \subset \bigcup \limits_{x \in E} B(x, \dfrac{1}{3}),$
$于是A \subset \bigcup \limits_{x \in E} B(x, \dfrac{1}{3}).由于A是不可数集,$
$所以至少存在两个不同的元素 x, y \in A, 使得$
$\qquad x, y \in B(x_0, \dfrac{1}{3}),这里x_0 \in E.$
$这与d(x, y) = 1矛盾,故不可分.$

$下面的例子说明, 距离空间是否可分, 与空间上距离的定义密切相关.$
$例1.3.22 空间s可分.$
$分析:s是全体实数列组成的集合, 其上距离:$
$\qquad d(x, y) = \sum \limits_{k=1}^{\infty} \dfrac{1}{2^k}\dfrac{|\xi_k - \eta_k|}{1 + |\xi_k - \eta_k|}$
$证明s可分,要找出s中可数稠密子集.$
$证明:(1)令s_0 = \lbrace (r_1, r_2, \cdots, r_n, 0, 0, \cdots) \rbrace,$
$其中r_k(k = 1, 2, \cdots) 是有理数, s_0是可数集.$
$(2)下面证明s_0是s的稠子集.$
$由稠密集的定义来证明(命题1.3.18).$
$对任意的x \in s, x = (\xi_1, \cdots, \xi_j, \cdots),$
$由于s中的收敛是按坐标收敛,$
$对于每一个\xi_j(j = 1, 2, \cdots), 存在r_j^{(n)} \to \xi_{j}(n \to \infty),$
$其中 r_j^{(n)}是有理数.令$
$\qquad x_n = (r_1^{(n)}, r_2^{(n)}, \cdots, r_j^{(n)}, \cdots, r_n^{(n)}, 0, \cdots),$
$则x_n \to x, 且x_n \in s_0. 所以s可分.$
$注 l^{\infty}是全体有界的实数列,从集合的角度来看, l^{\infty}是s的一个子集合.$
$但作为距离空间l^{\infty}不可分,而s可分.$
$其原因在于两个距离空间中距离定义的方式不同.$

$\color{blue}{1.3.4 列紧的距离空间}$

$在数学分析中，闭区间上的连续函数有着很好的性质.$
$闭区间满足有限覆盖定理.$
$进一步地，平面上的有界闭集也有这样的性质.$
$我们把具有这样性质的集合,抽象为紧集(紧空间).$
$紧性的刻画，可以从不同的角度给出几种定义:$
$序列紧(Weierstrass定理);$
$Borel紧(有限覆盖定理);$
$完全有界.$
$下面，我们主要考虑序列紧(列紧，自列紧).$
$在数学分析中，根据Bolzano-Weierstrass定理我们知道,实数域中每个$
$有界的无穷点集至少有一个聚点,下面将在一般的距离空间上研究这种性质.$

$定义1.3.23 设A是距离空间X中的一个子集,如果A中的每一个无穷点列都有$
$一个收敛的子列,则称为A是列紧的集合.闭的列紧集称为自列紧集.$
$距离空间X称为是列紧的，如果X中每一个无穷点列都有一个收敛的子列.$
$注1：列紧集的子集是列紧的.$
$注2：根据定义,一个集合A是自列紧的，要求收敛子列的极限必须在A中.$
$例如(0, 1]在\mathbb{R}中是列紧的，但不是自列紧的.$

$定理1.3.24 设X是一个距离空间，A \subset X 是列紧集的, 则A是有界集.$
$证明:假设A是无界的.$
$于是可从A中选取一个点列\lbrace y_n \rbrace, 使得d(y_n, a) > n, 其中a 是X中的一个点.$
$由于这个点列的任何子列都是无界的.$
$所以这个点列没有收敛的子列(因为收敛的点列是有界的).$
$这与A是列紧相矛盾，所以A有界.$
$注1：自列紧集是有界闭集.$
$注2：在一般的距离空间中，有界的闭集不一定是列紧的.$

$定理1.3.25 设f是定义在列紧的距离空间(X, d)上的实值连续函数,$
$则f是有界的,即$
$\qquad M = \sup \lbrace f(x) | x \in X \rbrace, \quad (1.3.8)$
$\qquad m = \inf \lbrace f(x) | x \in X \rbrace \quad (1.3.9)$
$是有限的. 进一步, 存在点 x_{max} 和点 x_{min} 使得$
$\qquad f(x_{max}) = M, f(x_{min}) = m.$
$证明的方法与数学分析中证明闭区间上连续函数性质的方法类似.$

$下面研究在具体空间中什么样的集合是列紧的.$
$例1.3.26 \mathbb{R}^n 中有界闭集是自列紧集.$
$例如闭区间[a, b]是自列紧集.$

$定理1.3.27(Arzel \grave a 定理) C[a, b]中的子集 A 是列紧的,$
$当且仅当 A 中的函数是一致有界和等度连续的.$
$即存在K > 0, 使得对于每一点t \in [a, b] 及一切 x \in A,$
$\qquad |x(t) | \leq K, \quad (1.3.10)$
$并且对于任意的\varepsilon > 0, 存在\delta > 0, 当 |t_1 - t_2| < \delta 时,$
$\qquad |x(t_1) - x(t_2)| < \varepsilon (\forall x \in A) \quad (1.3.11)$
$证明参见附录 I.3 定理I.11.$

$例1.3.28 A = \lbrace x(t) \in C^1[a, b] | |x(t)| \leq M, |x^{\prime}(t)| \leq M_1 \rbrace,$
$则A是C[a, b]中的列紧集.$
$(C^1[a, b]是在[a, b]中全体连续可微的函数).$
$一致有界:集合中的条件已满足.$
$等度连续:可以由中值定理得到:$
$\forall x \in A, \forall t_1, t_2 \in [a, b] 存在\theta \in (0, 1), 使得$
$\qquad |x(t_1) - x(t_2)| = | x^{\prime}(\theta t_1 + (1 - \theta) t_2)(t_1 - t_2) |$
$\qquad \leq M_1 |t_2 - t_1|$
$所以A中的函数等度连续,且一致有界,所以列紧.$