きょり-くうかん [3] 【距離空間】 〔metric space〕 〔数〕 集合 の任意の要素 ， に対して，次の(1)〜(3)をみたす実数 （, ）が対応しているとき， を 上の距離関数といい， を距離空間， の要素をこの距離空間の点という。(1) （, ）＝0; ≠ ならば （, ）＞0(2) （, ）＝（, ）(3) （, ）＋（, ）≧（, ）