度量

一个 非负 函数 描述给定 集合 中相邻点之间的“距离”。度量满足三角不等式

(1)

并且是对称的，所以

(2)

度量也满足

(3)

以及条件 意味着 。如果后一个条件被移除，那么 被称为伪度量，而不是度量。

拥有度量的集合被称为度量空间。当被视为张量时，该度量被称为度量张量。