度量空间，在数学中是指一个集合，并且该集合中的任意元素之间的距离是可定义的。亦称距离空间。度量空间是一类特殊的拓扑空间。弗雷歇将欧几里得空间的距离概念抽象化，于1906年定义了度量空间。
度量空间是现代数学中的一种基本而重要并且非常接近于欧几里得空间的抽象空间，也是泛函分析的基础之一。
拓扑空间的定义：
比如，实数集ℝ构成一个拓扑空间：全体开区间构成其上的一组拓扑基，其上的拓扑就由这组基来生成。这意味着实数集ℝ上的开集是一组开区间的并（开区间的数量可以是无穷多个，但进一步可以证明，所有的开集可以表示为可数个互不相交的开区间的并）。从许多方面来说，实数集都是最基本的拓扑空间。
度量空间和拓扑空间之间存在密切的关联，其中度量空间是拓扑空间的一种特殊类型。
所有度量空间都是 拓扑空间中的 Hausdorff空间。
Hausdorff空间是指任何两个不相同的点都可以被两个互不相交的邻域所分开。在度量空间中，由于距离的定义，任何两个点都可以找到一个足够小的邻域，使得这两个点分别位于这两个邻域内而不相交，从而满足Hausdorff空间的定义。
简单证明：
假设度量空间中随便两点的距离为d，那么以这两点分别为球心，半径为d/3的两个开球可以分离开两点。
但并非所有的拓扑空间都是 度量空间。
比如，一个
这个例子说明，即使对于这样一个简单的集合和拓扑，也不能通过定义一个度量来完全描述其上的拓扑结构，因此这个拓扑空间是不可度量的。
由上面这个例子可以看到，这个拓扑空间不是一个完整的幂集，或者没有为每个元素获得一个单独的集合（{a},{b},{c}）,所以导致元素a和b不能完整地分开，从而导致其不可度量性。
从上面这个例子似乎可以这样理解：
度量空间之所以可以度量，比如实数空间，是因为每个实数（子集）都有一个数值，可以看作是坐标值；而不可度量的拓扑空间，是因为没有获得足够的集合（幂集或者每个元素获得一个单独的集合），从而导致不可度量，也就可以认为一个完整的幂集才相当于赋予了集合中每一个元素坐标值，才能被度量，而不完备的幂集则不能。
也就是说， 拓扑空间中集合的概念，有点类似于度量空间中坐标的概念 。
拓扑空间的简单例子：在一个大教室中间加上一个隔断墙，这个房间就由原来的一个拓扑成了两个。再不断地加隔离墙，就拓扑出越来越多的房间。
根据上面的定义，随便怎么划分，当然空间的交集和并集都在这个房间内，所谓拓扑就是随意在房屋内布置，都会生成一个新的拓扑空间。
当这种分割的过程达到了数学上幂集的要求，这一个个分出来的房间（每个元素获得一个单独的集合）就相当于坐标了。
综上所述，度量空间作为具有特定距离函数的拓扑空间，它在数学中占据着重要的地位，尤其是在研究空间性质、几何学以及物理学中的应用。度量空间的性质和概念为理解更广泛的拓扑空间提供了基础，同时也为解决数学和物理中的许多问题提供了工具。
