实变函数论2-点集1-1-度量空间2：若X中任x,y有唯一d(x,y)与之对应且①d(x,y)⩾0；②d(x,y)=0⇔x=y；③d(x,y)⩽d(x,z)+d(y,z)，则称(X，d)为度量空间

由于我们研究的函数往往定义在一维的实数直线上，以及在 $n$ 维的欧氏空间 ${\mathbf{R}}^n$ 中 ，而其中的元素称为“点”，并且两点之间有距离，所以习惯上把集合中元素间有某种关系、集合内有某种结构的集合，叫做空间或者点集 .

当然，度量空间不仅限于数集和欧氏空间，区间 $[a,b]$ 上连续函数的全体也构成度量空间.

把朴素的欧氏空间推广到更一般的空间，扩大数学视野，形成一般的抽象空间的观念，是本章的任务，

---

让我们回忆数学分析中的极限概念.

在定义数列 { x n } \left\{ x _ { n } \right\} { xn​} 的 极限是 $x$ 时，要用绝对值 $\left|x_n-x\right|$ 来表示 $x_n$ 和 $x$ 的接近程度.

如果我们将实数直线 $\mathbf{R}$ 上任何两点 $a$ 和 $b$ 之 间的距离 $d(a,b)$ 用 $|$