可度量化(metrizable)是一种拓扑空间的性质。 一个拓扑空间中被说成是可度量的,如果有一个度量 ( X , τ ) {\displaystyle (X,\tau )} d : X × X → [ 0 , ∞ ) {\displaystyle d\colon X\times X\to [0,\infty )} 并且这拓扑 τ {\displaystyle \tau } 由 d 诱导产生。 烏雷松度量化定理給出了一個拓撲空間是可度量化的充分條件 如果X是一个可度量化的拓扑空间,而Y与X同胚,那么Y是可度量化的。 这反映了可度量化是一种拓扑性质。 《拓扑学基础及应用》/(美)亚当斯(Adams.C)等著;沈以淡等译.-北京:机械工业出版社,2010.2 ISBN:978-7-111-28809-1