A távolság-metrikák axiómarendszere
Egy d(p,q) adatpont pároson értelmezett d: Rn×Rn →R függvényt távolságmetrikának nevezünk, amennyiben eleget tesz a következő feltételeknek:
- d(p,q) ≥ 0: (nemnegatív)
- d(p,q) = 0 ⇔ p = q: (pozitív definit)
- d(p,q) = d(q,p): (szimmetrikus)
- d(p,q) ≤ d(p,f) + d(q,f): (háromszög-egyenlőtlenség)