《点集拓扑讲义》
· 第 29 页 · 定义 2.1.1
设 $X$ 是一个集合，$\rho\colon X\times X\to\mathbb{R}$。如果对于任何 $x,y,z\in X$，有（1）（正定性）$\rho(x,y)\geq0$，并且 $\rho(x,y)=0$ 当且仅当 $x=y$；（2）（对称性）$\rho(x,y)=\rho(y,x)$；（3）（三角不等式）$\rho(x,z)\leq\rho(x,y)+\rho(y,z)$，则称 $\rho$ 是集合 $X$ 的一个度量。
由 admin 提交
