>>408
その距離の与え方が自然というだけで、
a=b のとき d(a,b)=0
a≠b のとき d(a,b)=1
という離散距離とかもあるし、距離の公理を充たす距離関数 d なら
なんでもよい。