泛函分析笔记02：距离空间中的点集与空间的完备性

第一章：距离空间和拓扑空间

1.2 距离空间中的点集

开集与闭集

定义2.1：设$(X,d)$是距离空间，$G\in X,x_0\in X$，如果存在$r>0$，使得$S(x_0,r)\subset G$,则称$x_0$为$G$的内点。如果$G$中的每个店都是内点，则称$G$为开集。

例1：开球$S(x_0,r)$为开集，其中$r>0$

定理2.1：$X$中的开集满足：

• $\varnothing ,X$是开集
• 任意个开集的并集是开集
• 有限个开集的交集是开集

定义2.2：设$A$ 是距离空间 $（X,d)$ 中的子集，$x_0\in X$

• 如果$\forall ϵ>0,A\cap S(x_0,ϵ)\ne \varnothing$,则称$x_0$为$A$的接触点，$A$的接触点的全体称为$A$ 的闭包，记作$\overline{A}$。
• 如果 ∀ ϵ > 0 , A ∩ ( S ( x 0 , ϵ ) \   { x 0 } ) ≠ ∅ \forall \epsilon>0,A\cap (S(x_0,\epsilon)\backslash\ \{x_0\})\not= \varnothing ∀ϵ>0,A∩(S(x0​,ϵ)\ {x0​})​=∅,则称$x_0$为$A$的极限点或聚点。所有极限点的集合称为$A$的导集，记为$A^{\prime }$
• 如果存在$ϵ>0$，使得 A ∩ S ( x 0 , ϵ ) = { x 0 } A\cap S(x_0,\epsilon)=\{x_0\} A∩S(x0​,ϵ)={x0​}，则称$x_0$为$A$的孤立点

性质1：

• $x_0$为$A$的接触点$⟺$ ∃ { x n } n = 1 ∞ ⊂ A , s . t .   x n → x 0 \exists \{x_n\}_{n=1}^\infty\subset A,s.t.\ x_n\rightarrow x_0 ∃{xn​}n=1∞​⊂A,s.t. xn​→x0​

• $x_0$为$A$的极限点$⟺$$\exists $两两不同的点${x_n}_{n=1}^\infty\subset A,s.t.\ x_n\rightarrow x_0$

• $x_0$为$A$的极限点$⟺$$x_0\in A\backslash A^{\prime }$

性质2：

• $A\subset \overline{A}$
• $A\subset B\Rightarrow \overline{A}\subset \overline{B}$
• $\overline{A\cup B}=\overline{A}\cup \overline{B}$
• $\overline{\overline{A}}=\overline{A}$

性质3：

• $A$ 为闭集$⟺$ ∀ { x n } n = 1 ∞ ⊂ A \forall \{x_n\}_{n=1}^\infty \subset A ∀{xn​}n=1∞​⊂A,且$x_n\to x_0\in X$ 可知 $x_0\in A$

• $A$为闭集$⟺$$A^c$为开集；$A$为开集$⟺$$A^c$为闭集

定理2.2：$X$中闭集满足：

• $\varnothing ,X$是闭集
• 任意个闭集的交集是闭集
• 有限个闭集的并集是闭集

例2：闭球$B(x_0,r)$为闭集

例3：在离散距离空间中，每个子集都是既开又闭集合

可分性与稠密性

定义2.3： 设$A,B\subset X$，如果$B\subset \overline{A}$，则称$A$稠密于$B$。如果$A$是至多可数集，且$B\subset \overline{A}$,则称$B$是可分的。

可分空间的例子：

• ${\mathbb{K}}^n$
• $C[a,b]$
• $s$
• $S[0,1]$

注：

• 离散距离空间$X$可分$⟺$$X$为至多可数集
• 如果存在不可数$A\subset X$,以及$r>0,s.t.\forall x,y,d(x,y)\ge r$,则称$X$是不可分的
• $l^{\infty }$是不可分的
• 可分空间的子空间是可分的

1.3 完备距离空间

定义2.4：设$(X,d)$是距离空间， { x n } n = 1 ∞ ⊂ X \{x_n\}_{n=1}^\infty\sub X {xn​}n=1∞​⊂X,若$\forall ϵ>0,\exists N$，当$m,n>N$时有$d(x_m,x_n)<ϵ$，则称 { x n } n = 1 ∞ \{x_n\}_{n=1}^\infty {xn​}n=1∞​是$X$中的Cauchy列。如果任何Cauchy列都在$X$中收敛，则称$X$是完备的。

完备空间的例子：

• ${\mathbb{K}}^n$
• $C[a,b]$
• 所有离散距离空间
• $s$

不完备空间的例子：

• $(0,1)$在通常距离下

• 在$C[0,1]$中定义距离$d_1(x,y)={\int }_0^1|x(t)-y(t)|dt$