赋范线性空间1

赋范线性空间一

一、度量空间

1.1 度量空间的定义

类比实数域，我们需要建立起函数以发挥其作用。推广到度量空间中，在建立起函数前，函数的极限与连续等性质均需要距离（度量）才能描述，于是本节先明确【距离（度量）】的概念。

研究数量的连续性变化，需要 极限 的概念，于是将实数域的极限概念 推广到抽象的集合上。首先需要“距离”来刻画元素的接近程度，即 度量，度量的定义为：

$$d(x,y)=\sqrt{({\xi }_1-{\eta }_1{)}^2+({\xi }_2-{\eta }_2{)}^2}$$

也可定义为：

$$d(x,y)=\left|{\xi }_1-{\eta }_1\right|+\left|{\xi }_2-{\eta }_2\right|$$

前者相当于两点间的直线距离，后者相当于一个只有纵横街道的街区的距离。距离相当于集合中的两个点向实数的映射。

因此根据问题的需要，距离的定义可以多种多样。不过距离也不可以随意定义，必须满足以下性质：

【定义】定义度量所需满足的性质

设 X 为一般非空集合，映射 $d:X\times X\to \mathbb{R}$ ¹满足对任意 $x,y,z\in X$ ，有：

• 非负性：$d(x,y)\ge 0$，当且仅当 $x=y$ 时取等号
• 对称性：$d(x,y)=d(y,x)$
• 三角不等式：$d(x,z)\le d(x,y)+d(y,z)$

1.2 度量空间的收敛性和点集

定义了【距离（度量）】之后便可以定义【极限】了；有了极限，便可以讨论【有界】与【无界】相关的概念，同时在这个过程中引入了【开球】；有界、无界明确之后，便可以讨论【开集】与【闭集】了，在这过程中额外引入了【闭包】的概念；最后引入【稠密】与【可分】的概念，为之后在度量空间之间建立【函数（映射）】能利用稠密可分的好性质做好铺垫。

有了度量，就可以考虑 收敛性 的问题了。从实数域的收敛性推广，得到如下定义。

类似实数域 极限 的定义，度量空间中²【极限】的定义为：

【定义】极限

设 $(X,d)$ 为一度量空间， { x n } ⊂ X \{ x_n \} \subset X {xn​}⊂X，$x\in X$，如果对于任意给定的 $\epsilon >0$ ，$\exists N\in {\mathbb{Z}}_{+}$，使得对一切 $n>N$ ，都有 $d(x_n,x)<\epsilon$，就称 { x n } \{ x_n \} {xn​} 收敛到 $x$ ，$x$ 称为 { x n } \{ x_n \} {xn​} 的极限，记为 ${\lim }_{n\to \infty }{x}_n=x$，或 $x_n\to x(n\to \infty )$

度量空间中²的【有界集】和【无界集】相关的定义：

【定义】有界集、无界集

设 $(X,d)$ 为度量空间，$A,B\subset X$ 为非空子集，

• 【集合与集合的距离】：称 D ( A , B ) = inf ⁡ { d ( x , y )   ∣   x ∈ A , y ∈ B } D(A,B)=\inf\{ d(x,y)\ |\ x\in A,y\in B \} D(A,B)=inf{d(x,y) ∣ x∈A,y∈B} ³为集合 A 与 B 的距离。
• 【点到集合的距离】：称 D ( x 0 , A ) = inf ⁡ { d ( x 0 , y )   ∣   y ∈ A } D(x_0,A)=\inf\{ d(x_0,y)\ | \ y\in A \} D(x0​,A)=inf{d(x0​,y) ∣ y∈A} ³为 $x_0$ 到 A 的距离，简记为 $D(x_0,A)$。
• 【有界集与无界集】：称 r ( A ) = sup ⁡ { d ( x , y )   ∣   x , y ∈ A } r(A)=\sup\{ d(x,y)\ |\ x,y\in A\} r(A)=sup{d(x,y) ∣ x,y∈A} ³为集合 A 的直径，当 $r(A)<\infty$ 时，称 A 为有界集，否则称为无界集。

有了度量（距离），我们便可以从几何的观点来刻画，定义度量空间中的【开球】：

【定义】开球

B r ( x 0 ) = { x ∈ X   ∣   d ( x , x 0 ) < r } B_r(x_0)=\{ x\in X\ | \ d(x,x_0)<r \} Br​(x0​)={x∈X ∣ d(x,x0​)<r} ，指以 $x_0$ 为中心，$r$ 为半径的开球

有了 开球 的定义，我们便可以通过开球从几何的观点描述 有界集：

【定义】利用开球描述有界集

设 $(X,d)$ 为度量空间，$A\subset X$。

• 若 A 有界，则 $\forall x_0\in X,\exists r>0$，使得 $A\subset B_r(x_0)$⁴
• 若 $\exists x_0\in X,r>0$，使得 $A\subset B_r(x_0)$，则 A 为有界集

有了极限与有界的定义之后，参考实数域 收敛序列必有界，推广到度量空间中亦成立，有如下定理：

【定理】收敛序列必有界

度量空间中，收敛序列为有界集。

在度量空间中，也有类似于实数域中 基本列 或称 柯西列（Cauchy列）⁵ 的概念，

【定义】基本列（柯西列）

设 $(X,d)$ 为度量空间， { x 0 } ⊂ X \{x_0\}\subset X {x0​}⊂X。

• $\forall \epsilon >0$，$\exists N\in {\mathbb{Z}}_{+}$ 使得 $\forall n,m>N$，$d(x_n,x_m)<\epsilon$，则称 { x 0 } \{x_0\} {x0​} 是基本列
• 如果 $X$ 中的每个基本列都收敛于 $X$ 中的点，则称 $X$ 是完备的度量空间

研究度量空间中的点集，需要先建立度量空间中开集和闭集的概念。【开集】和【闭集】的 定义 如下：

【定义】开集、闭集

设 $(X,d)$ 为度量空间，$A\subset X$。

• 若 $\forall x\in A$，$\exists B_{\epsilon }(x)\subset A$⁴，则称 $x$ 是 $A$ 的内点
• 若 $A$ 的每个点都是内点，则称 $A$ 是开集
• 若 $A^C$ ⁶为开集，则称 $A$ 为闭集
• 规定 $\varnothing$ 是开集

显然 $X$ 本身为开集，又规定了 $\varnothing$ 为开集，所以 $X$ 和 $\varnothing$ 又同时都为闭集。

闭集包含该集合内的所有极限点，而开集指集合中的每一个点都有一个邻域被完全包含在这个集合内。（在度量空间中，开集与闭集并不是互补互斥的）

度量空间中的开集、闭集有如下性质：

【定理】开集、闭集的性质

• 任意个开集之并是开集
• 任意个闭集之交是闭集
• 有限个开集之交是开集
• 有限个闭集之并是闭集

【定义】集合的闭包

设 $A$ 为度量空间中的的非空子集， $x\in X$，

• 若 $x$ 满足 $\forall \epsilon >0$，$A\cap B_{\epsilon }(x)\ne \varnothing$，就称 $x$ 是 $A$ 的接触点
• $A$ 的接触点的全体称为 $A$ 的闭包，记为 $\overline{A}$

$A$ 是 $\overline{A}$ 的子集，比如 $\mathbb{R}$ 中，$A$ 是 $[0,1]$ 中所有的有理数，则其闭包 $\overline{A}=[0,1]$。

【定理】闭包的性质

设 $A,B$ 为度量空间 $X$ 中的非空子集，则

• $\overline{A}$ ⁷是包含 $A$ 的最小闭集（闭包一定为闭集）
• $A$ 是闭集当且仅当 $A=\overline{A}$
• 若 $A\subset B$，则 $\overline{A}\subset \overline{B}$
• $\overline{A\cup B}=\overline{A}\cup \overline{B}$
• $x\in \overline{A}$ 当且仅当 $D(x,A)=0$⁸

【定理】闭集是对极限运算封闭的集合

设 $A$ 为度量空间 $X$ 中的非空子集，

• $x\in \overline{A}$ 当且仅当存在序列 { x n } ⊂ A \{x_n\}\subset A {xn​}⊂A 使得 ${\lim }_{n\to \infty }{x}_n=x$
• $A$ 为闭集当且仅当 ∀ { x n } ⊂ A \forall\{x_n\}\subset A ∀{xn​}⊂A， ${\lim }_{n\to \infty }{x}_n=x\in X$，则 $x\in A$

【定义】稠密和可分

设 $A,B$ 为度量空间 $X$ 中的子集，

• 若 $B\subset \overline{A}$ ，就称 $A$ 在 $B$ 中稠密
• 若一个可数集 $A$ 在 $X$ 中稠密，则称 $X$ 是可分的

比如 $\mathbb{Q}$ 在 $\mathbb{R}$ 中是稠密的，而 $\mathbb{Q}$ 是可数集，所有 $\mathbb{R}$ 是可分的

可分空间在映射的过程中有很多好的性质可以利用，在后面会进行展示

1.3 度量空间的映射（函数）

建立映射（函数）的首要性质是【连续性】，依托连续性，有几个特殊的映射分别是【等距映射】与【压缩映射】，其中压缩映射在压缩的过程中存在【不动点】。实数域中闭区间中的连续函数具有一些有用的性质，推广到一般度量空间中就是【紧集】上的连续映射。

度量空间可以像实数集一样，定义其上连续映射（函数）

【定义】映射（函数）的连续性

设 $(X,d),(Y,\rho )$ 是两个度量空间，$f:X\to Y$ 是映射，$x_0\in X$

• 若 $\forall \epsilon >0$ ，$\exists \delta >0$，使得一切满足 $d(x,x_0)<\delta$ 的 $x\in X$，有 $\rho (f(x),f(x_0))<\epsilon$，就称映射 $f$ 在 $x_0\in X$ 处连续；（类似函数在某一点上连续的定义）
• 如果 $f$ 在 $X$ 每一点上连续，就称映射 $f$ 在 $X$ 上连续，或称 $f$ 是连续的。（类似函数连续的定义）

【定理】判断映射连续的性质

设 $(X,d),(Y,\rho )$ 是两个度量空间，$f:X\to Y$ 是映射，则如下命题等价：

• $f$ 是连续映射
• 对于 $Y$ 中任意开集 $G$，$f^{-1}(G)$ 是 $X$ 中的开集
• 对于 $Y$ 中任意闭集 $G$，$f^{-1}(G)$ 是 $X$ 中的闭集
• 对于 $X$ 中任意序列 { x n } \{x_n\} {xn​}，若 $d(x_n,x)\to 0$，则 $\rho (f(x_n),f(x))\to 0$

一类特殊的映射——【等距映射】

【定义】等距映射

设 $(X,d),(Y,\rho )$ 是两个度量空间

• 若 $f:X\to Y$ 是双射，且 $\forall x,y\in X$，有 $d(x,y)=\rho (f(x),f(y))$，则称 $f$ 是等距映射
• 若 $\exists f:X\to Y$ 是等距映射 ，则称 $X,Y$ 是等距的

有了【连续映射】的概念之后，可以引出来一个很有用的映射——【压缩映射】

【定义】压缩映射

设 $(X,d)$ 为度量空间，$f:X\to X$ 是一映射

• 若存在 $0\le \alpha <1$，使得 $\forall x,y\in X$，有 $d(fx,fy)\le \alpha d(x,y)$，则称 $f$ 是 $X$ 上的一个压缩映射

压缩映射相当于将集合映射在该集合的一个子集内

压缩映射显然是连续映射

在压缩映射中，有一个【不动点】的概念

【定义】不动点

设 $(X,d)$ 为度量空间，$f:X\to X$ 是一映射

• 若 $x^{\ast }\in X$ 使 $f{x}^{\ast }=x^{\ast }$，则称 $x^{\ast }$ 是映射 $f$ 的不动点

【定理】不动点的唯一性

设 $(X,d)$ 为完备度量空间，$f:X\to X$ 是压缩映射

• 则 $f$ 有唯一不动点

【定义】紧集、紧空间

设 $(X,d)$ 为度量空间，$A\subset X$

1. 若 $A$ 中任意收敛序列 { x n } \{x_n\} {xn​} 均有收敛子序列 { x n k } \{x_{{n}_k}\} {xnk​​}，使得 $\lim_{k\to\infty} x_{{n}_k}=x\in A $，则称 $A$ 为紧集

2. 在 1 的基础上，若 $X$ 本身为紧集，则称 $X$ 为紧空间

依据紧集的定义，可以知道紧集是闭集。

在 ${\mathbb{R}}^n$ 中，有界闭集等同于紧集，但在一般的度量空间中，两者并不等价。

【定理】紧集的性质

设 $(X,d),(Y,\rho )$ 是两个度量空间，$A\subset X$为紧集，若 $f:A\to Y$ 是连续的，则 $f(A)$ 也是紧集

设 $A$ 是度量空间 $X$ 中的紧集， $f$ 是 $A$ 上的连续函数，即 $f:A\to \mathbb{R}$，则 $f$ 在 $A$ 上有界，且能取到最大值、最小值

---

---

1. 这里的 $\times$ 是【直积】，又称【Descartes 乘积】。定义：设 A，B 为集合，其直积记为 $A\times B$ ，定义为 A，B中元素按照 A 先 B 后的顺序构成有序对 $(a,b)$ 的全体所构成的集合，即： A × B = { ( a , b )   ∣   a ∈ A ,   b ∈ B } A\times B=\left\{ (a,b)\ |\ a\in A,\ b\in B \right\} A×B={(a,b) ∣ a∈A, b∈B} 。 ↩︎

2. 即推广到一般的集合中，而不是实数域。 ↩︎ ↩︎

3. sup E 称为数集 E 的上确界（supremum），inf E 称为数集 E 的下确界（infimum）。 ↩︎ ↩︎ ↩︎ ↩︎

4. B r ( x 0 ) = { x ∈ X   ∣   d ( x , x 0 ) < r } B_r(x_0)=\{ x\in X\ | \ d(x,x_0)<r \} Br​(x0​)={x∈X ∣ d(x,x0​)<r} ，指以 $x_0$ 为中心，$r$ 为半径的开球 ↩︎ ↩︎

5. 在数学中，一个柯西序列是指一个这样一个序列，它的元素随着序数的增加而愈发靠近。更确切地说，在去掉有限个元素后，可以使得余下的元素中任何两点间的距离的最大值不超过任意给定的正的常数。 ↩︎

6. $A^C$ 表示 $A$ 在 $C$ 上的补集 ↩︎

7. $\overline{A}$ 表示 $A$ 的闭包。 ↩︎

8. 【点到集合的距离】：称 D ( x 0 , A ) = inf ⁡ { d ( x 0 , y )   ∣   y ∈ A } D(x_0,A)=\inf\{ d(x_0,y)\ | \ y\in A \} D(x0​,A)=inf{d(x0​,y) ∣ y∈A} ³为 $x_0$ 到 A 的距离，简记为 $D(x_0,A)$。 ↩︎