space)とは、距離関数(きょりかんすう)と呼ばれる非負実数値関数が与えられている集合のことである。点間の離れ具合を表す尺度である距離は測量や科学、数学において重要な役割を果たしてきた。1]において、ユークリッド空間から距離の概念を抽出して用い、距離空間の理論を築いた。書き、距離空間と呼ぶ。距離が与えられることによって、点同士の関係を実数値として定量的に捉えることができるので、極限や連続性の概念が扱いやすくなる。フレシェは位相幾何学の成果のうちで距離に関するものを汲み上げ、一般の距離空間の性質として証明しなおして適用することで汎関数の極限を調べている。2]距離空間では、距離を用いて近傍系を定義する事もできるため、位相空間の特殊な例になっている。上に同じ近傍系を定めることができるが、異なる近傍系を持つ距離もある。つを考察し、近傍系を選び位相空間の公理化を行った。極限や連続性などの概念も距離とは無関係に一般化されていった。いった一般の位相空間から距離は導かれないので距離空間で論じられる空間は一般の位相空間より狭い範囲のものに限られてしまう。距離空間は一般の位相空間における定理の意味を掴みやすく、また、位相空間論が応用される集合は距離空間として考えることができる空間が多いため、距離空間は今なお重要な概念である。