泛函分析基础7-1-度量空间1：度量空间的进一步例子【欧式空间➠离散的度量空间、序列空间S、有界函数空间B(A)、可测函数空间M(X)、C[a,b]空间、l²】

设 $X$ 是 一个集合，若对于 $X$ 中任意两个元素 $x,y,$ 都有唯一确定的实数 $d(x,y)$ 与之对应，而且这一对应关系满足下列条件：

• $1^{\circ }d(x,y)⩾0,d(x,y)=0$ 的充要条件为 $x=y;$
• $2^{\circ }d(x,y)⩽d(x,z)+d(y,z),$ 对 任意 $z$ 都成立，

则称 $d(x,y)$ 是 $x,y$ 之间的距离，称 $(X,d)$ 为度量空间或距离空间。

• $X$ 中的元素称为点，
• 条件 $2^{\circ }$ 称为三点不等式.

距离 $d$ 有对称性，即 $d(x,y)=d(y,x).$

实际上，在三点不等式中取 $z=x,$ 并由条件 $1^{\circ }$ 知

$$d(x,y)⩽d(x,x)+d(y,x)=d(y,x).$$

由于 $x$ 和 $y$ 的次序是任意的，故同样可证 $d(y,x)⩽d(x,y),$ 这就得到 $d(x,y)=d(y,$ $x).$

---

第二章已给出度量空间（即距离空间）的定义.

当时为了集中研究 $n$ 维欧氏空间${\mathbf{R}}^n$中的测度理论，所以只在 ${\mathbf{R}}^n$中讨论邻域、极限、开集、闭集等概念.

但我们曾指出，这些概念可以一字不改地移到一般度量空间中去，在这一章里，我们将沿用这些概念而不再重新定义，并且运用这些概念讨论度量空间的进一步性质.

第二章中已经引入了 $n$ 维度量空间的例子，现在我们继续引人其他的度量空间.

例1
离散的度量空间.

设 $X$ 是 任意的非空集合，对 $X$ 中任意两点 $x,y\in X,$ 令

$$d(x,y)=\{\begin{array}{ll}1,& 当x\ne y,\\ 0,& 当当x=y.\end{array}$$

容易验证 $d(x,y)$ 满 足第二章中关于距离的定义中的条件$1^{\circ }$ 及 $2^{\circ }.$ 我们称 $(X,d)$ 为离散的度量空间.由此可见，在任何非空集合上总可以定义距离，使它成为度量空间

例2
序列空间 $S.$

令 $S$ 表 示实数列（或复数列）的全体，对 $S$ 中任意两点$x=\left({\xi }_1,{\xi }_2,\cdots ,{\xi }_n,\cdots \right)$及 $y=\left({\eta }_1,{\eta }_2,\cdots ,{\eta }_n,\cdots \right),$令

$$d(x,y)=\sum _{i=1}^{\infty }\frac{1}{2^i}\frac{\left|{\xi }_i-{\eta }_i\right|}{1+\left|{\xi }_i-{\eta }_i\right|}$$

易知 $d(x,y)$ 满足距离条件 $1^{\circ },$ 下面验证 $d(x,y)$满足距离条件 $2^{\circ }.$ 为此我们首先证明对任意两个复数 $a$ 和 $b,$ 成 立不等式

∣ a + b ∣ 1 + ∣ a + b ∣ ⩽ ∣ a ∣ 1 + ∣ a ∣ + ∣ b ∣