Definizione
2
[0MS] Una distanza è una funzione \(d:X× X→ [0,∞)\) che gode delle seguenti proprietà:
\(d(x,x)=0\);
(proprietà di separazione) se \(d(x,y)=0\) allora \(x=y\);
(simmetria) \(d(x,y)=d(y,x)\) per ogni \(x,y∈ X\);
(diseguaglianza triangolare) \(d(x,z)≤ d(x,y)+d(y,z)\) per ogni \(x,y,z∈ X\).