**距離 metric 一般の集合Ｘに関して、直積空間Ｘ×Ｘ上で定義され、非負の実数の値をとる関数 d が以下の性質を満たすとき、 d を Ｘ 上の距離という。 - \[d(x,y)＝0 \Leftrightarrow x=y\]
