度量空间是一个集合 ,带有一个全局距离函数(度量 ),对于每两个点 在 中,给出它们之间的距离,作为一个非负实数 。一个度量空间也必须满足
1. 当且仅当 ,
2. ,
3. 三角不等式 。
更多尝试示例
Weisstein, Eric W. “度量空间。” 来自 MathWorld——Wolfram 网络资源。 https://mathworld.net.cn/MetricSpace.html