转自:http://mathworld.wolfram.com/MetricSpace.html
A metric space is a set with a global distance function (the metric ) that, for every two points in , gives the distance between them as a nonnegative real number . A metric space must also satisfy
1. iff ,
2. ,
3. The triangle inequality .