度量子空间

度量子空间，设A是R的子集，则A按R中的距离ρ也成内度量空间，称为R的（度量）子空间。度量空间亦称距离空间，是一种拓扑空间，其上的拓扑由距离决定。度量空间是弗雷歇(Frechet，M.-R.)于1906年引进的，它是现代数学中的一种基本而重要并且非常接近于欧几里得空间的抽象空间，也是泛函分析的基础之一。