泛函分析笔记03：完备距离空间及其应用

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

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$

闭球套定理

定理2.5：（闭球套定理）设$(X,d)$完备，$B_n=B(x_n,r_n)\searrow$为闭球套且${\lim }_{n\to \infty }{r}_n=0$，则$\exists !x\in {\bigcap }_{n=1}^{\infty }{B}_n$

闭球套定理可看作在$\mathbb{R}$中闭区间套定理的推广。如果存在一列闭球套，并且半径趋近于0，则闭球套存在唯一公共点。

注：但若半径极限不为0，则闭球套未必有公共点。

Baire纲定理

定义2.6：

• （疏集）对于距离空间（拓扑空间）$X$,如果$E$不稠于$X$中任何非空开子集，则称$E$为疏集。

注：$E$为疏集定义$⟺$$\bar{E}$不含内点

• （第一/二纲集） 可数个疏集的并称为第一纲集；不是第一纲的集合称为第二纲的。

注：若一个距离空间只有有限个点，则该集合为第二纲的。离散距离空间是第二纲的。

虽然离散距离空间的点之间看起来都有“间距”，但实际上对于每一个点而言，都存在一个开球（不妨半径取为1/2），这个开球中只有这个点本身，则这个开始是属于原空间的。所以每一个离散的点都不是孤立点而是内点。故离散距离空间是第二纲的。

对于前文讨论的完备距离空间有以下定理

定理2.7：（Baire纲定理） 完备距离空间$X$都是第二纲的。

完备化

完备化：对任意距离空间 $(X,d)$, 均存在完备的距 离空间 $(\tilde{X},\tilde{d})$, 使 $(X,d)$ 与 $(\tilde{X},\tilde{d})$ 的一个稠子空间等距, 并且在等距的意义下这样的 $(\tilde{X},\tilde{d})$ 还是唯一的，称之为 $(X,d)$ 的完备化空间。有时亦不妨设 $(X,d)$ 为其完备 化 $(\tilde{X},\tilde{d})$ 的（稠）子空间。

1.4压缩映射定理

如果$x_0$满足$f(x_0)=x_0$，则称$x_0$为$f$的不动点。例：任何连续函数$f:[0,1]\to [0,1]$均有不动点。

定理2.8：（压缩映射定理） 设$(X,d)$完备，$T:X\to X$为映射，如果存在$\theta \in [0,1)$使$d(Tx,Ty)\le \theta d(x,y),\forall x,y\in X$，则$T$有唯一的不动点，即存在$\bar{x}\in X$使 $T\bar{x}=x$

证：任取 $x_0\in X$, 记 $x_{n+1}=T{x}_n,\forall n\ge 0$, 则 { x n } n = 1 ∞ ⊆ \left\{x_{n}\right\}_{n=1}^{\infty} \subseteq {xn​}n=1∞​⊆ $X$ 。 下证, { x n } n = 1 ∞ \left\{x_{n}\right\}_{n=1}^{\infty} {xn​}n=1∞​ 为Cauchy列且其极限就是 $T$ 的一个 不动点。
$$\begin{array}{rl}& d\left(x_{n+1},x_n\right)=d\left(T{x}_n,T{x}_{n-1}\right)\le \theta d\left(x_n,x_{n-1}\right)\le \cdots \le {\theta }^{n}d\left(x_1,x_0\right)\\ & \therefore \forall n\ge 0,p\ge 1\end{array}$$

$$\begin{array}{rl}d\left(x_{n+p},x_n\right)& \le d\left(x_{n+p},x_{n+p-1}\right)+\cdots +d\left(x_{n+1},x_n\right)\\ & \le \left\{{\theta }^{n+p-1}+{\theta }^{n+p-2}+\cdots +{\theta }^n\right\}d\left(x_1,x_0\right)\\ & =\frac{{\theta }^n-{\theta }^{n+p}}{1-\theta }d\left(x_1,x_0\right)\\ & \le \frac{{\theta }^n}{1-\theta }d\left(x_1,x_0\right)\to 0(\text{ 当 }n\to \infty )\end{array}$$

∴ { x n } n = 1 ∞ \therefore\left\{x_{n}\right\}_{n=1}^{\infty} ∴{xn​}n=1∞​ 为 $X$ 中的C-列, 而 $X$ 备, $\exists \bar{x}\in X$ s.t. ${\lim }_{n\to \infty }{x}_n=\bar{x}$

另一方面，显然 $T$ 在 $X$ 上连续，在 $x_{n+1}=T{x}_n$ 中 令 $n\to \infty$ 有 $\bar{x}=T\bar{x}$, 所以 $\bar{x}$ 为 $T$ 的不动点。
唯一性 假设 $\bar{y}\in X$ 为 $T$ 的另一不动点, 则
$$d(\bar{x},\bar{y})=d(T\bar{x},T\bar{y})\le \theta d(\bar{x},\bar{y})$$
因此 $d(\bar{x},\bar{y})=0$, 故 $\bar{x}=\bar{y}$ 。

误差估计：在 $d(x_{n+p},x_n)\le \frac{{\theta }^n}{1-\theta }$ 中令 $p\to \infty$ 有
$$d\left(\bar{x},x_n\right)\le \frac{{\theta }^n}{1-\theta }d\left(x_1,x_0\right)=\frac{{\theta }^n}{1-\theta }d\left(T{x}_0,x_0\right)$$

定理 2.9： 设 $(X,d)$ 完备， $T:X\to X$ ，如果存在 $\theta \in$ $[0,1)$ 及 $n\in \mathbb{N}$ 使 $d\left(T^{n}x,T^{n}y\right)\le \theta d(x,y),\forall x,y\in X,$ 则 $T$ 有 唯一的不动点。

注：若函数$f$不满足在压缩映射定理，则不一定说明该函数没有不动点。我们只需找到$f$的某一阶复合是满足压缩映射定理的，即可说明原函数是有唯一不动点的。

误差估计：$\forall x\in X$ 及 $n\le m\in \mathbb{N}$ 有
$$d\left(\bar{x},T^{m}x\right)\le K\cdot \frac{{\theta }^{\left[\frac{m}{n}\right]}}{1-\theta },K=\underset{0\le k<n}{\max }d\left(T^{k}x,T^{k+n}x\right)$$

1.5拓扑空间

重新定义开集

定义 2.10： 设 $X$ 为一非空集合, $\tau \subseteq 2^X$ 为一非空集 族，且满足条件:
(1) $X,\varnothing \in \tau$;
(2) $\tau$ 中任意个元的并仍属于 $\tau$;
(3) $\tau$ 中任意有限个元的交仍属于 $\tau$,

则称 $\tau$ 是 $X$ 上的一个拓扑。而称 $(X,\tau )$ 为拓扑空间。 $\tau$ 中 元称为 $X$ 或 $(X,\tau )$ 的开集。

例 ：设 $(X,d)$ 为距离空间, 则 $X$ 中所有开集组成的 集族 $\tau$ 满足拓扑空间的定义，因此每一个距离空间都 是一个拓扑空间。（称 $\tau$ 为距离 $d$ 产生的拓扑)
如果拓扑空间 $(X,\tau )$ 的拓扑 $\tau$ 可由 $X$ 上某距离 $d$ 产生, 则称拓扑空间 $(X,\tau )$ 可距离化。
例： 设 $X$ 为一非空集合, 则 ${\tau }_{\infty }=2^X$ 和 τ 0 = { X , ∅ } \tau_{0}=\{X, \emptyset\} τ0​={X,∅} 都 是 $X$ 上的拓扑。
如果 ${\tau }_1,{\tau }_2$ 都是 $X$ 上的拓扑且 ${\tau }_1\subseteq {\tau }_2$, 则称拓扑 ${\tau }_1$ 比 拓扑 ${\tau }_2$ 弱，或者拓扑 ${\tau }_2$ 比拓扑 ${\tau }_1$ 强。
上述例子中 ${\tau }_{\infty }$ 是 $X$ 上最强的拓扑而 ${\tau }_0$ 则是 $X$ 上最弱的拓扑。

分离公理

$T_0$分离公理：在拓扑空间 $X$ 中,如果任取 $x,y\in X,x\ne y$, 则存在 $x$ 的邻 域 $U$ 不包含 $y$ 或者存在 $y$ 的邻域 $V$ 不包含 $x$,称空间 $X$ 满足 $T_1$ 分离公理。

$T_1$分离公理：在拓扑空间 $X$ 中,如果任取 $x,y\in X,x\ne y$, 则存在 $x$ 的邻 域 $U$ 不包含 $y$ 并且存在 $y$ 的邻域 $V$ 不包含 $x$,称空间 $X$ 满足 $T_1$ 分离公理。

$T_2$分离公理（Hausdorff分离公理）：设 $X$ 是拓扑空间,如果任取 $x,y\in$ $X,x\ne y$, 则分别存在 $x$ 的邻域 $G_x$ 及 $y$ 的邻域 $G_y$, 使得 $G_x\cap G_y=\varnothing$, 称空间 $X$ 是 $T_2$ 的或 Hausdorff 空间。

$T_3$分离公理：设 $X$ 是 $T_1$ 拓扑空间,如果任取 $x\in X$ 及不包含点 $x$ 的任 一闭集 $A$, 存在开集 $U,V$,使得 $x\in U,A\subset V$ 且 $U\cap V=\varnothing$, 则称空间 $X$ 是 $T_3$ 的。

$T_4$分离公理：设 $X$ 是 $T_1$ 拓扑空间,如果对 $X$ 中任意两个不相交的闭集 $A,B$, 存在不相交的开集 $U,V$,使得 $A\subset U,B\subset V$, 则称拓扑空间 $X$ 是 $T_4$ 的或 正规拓扑空间。

定理2.11：每一个距离空间都是$T_4$的

定理2.12：$T_4\Rightarrow T_3\Rightarrow T_2\Rightarrow T_1\Rightarrow T_0$，反之不成立

连续性

同数分中定义

定义2.13： 设 $X,Y$ 是两个拓扑空间, $f:X\to Y$ 是 一映射， $x_0\in X$, 如果对 $f\left(x_0\right)$ 的任一邻域 $V\subseteq Y$ 都 存在 $x_0$ 的邻域 $U$ 使得 $f(U)\subseteq V$, 则称 $f$ 在 $x_0$ 点连续; 如 果 $f$ 在 $X$ 中每一点都连续则称 $f$ 在 $X$ 上连续。

定理 2.14： $f:X\to Y$ 连续 $⟺\forall$ 开集 $G\subseteq Y$ ，原 象 $f^{-1}(G)$ 在 $X$ 中为开集 $⟺\forall$ 闭集 $F\subseteq Y$, 原象 $f^{-1}(F)$ 在 $X$ 中 为闭集。