可度量化空间

可度量化空间(metrizable space)是一类特殊的拓扑空间，设X是拓扑空间，若在集合X上存在一个度量d，使得X上由d诱导的拓扑和X上原来的拓扑一致，则称X为可度量化空间。一个拓扑空间称为是可度量化的，若其拓扑可以由其某一个度量诱导出来。