化，当且仅当其为正则、豪斯多夫，且为第二可数。」是对不可分空间的推广。其断言一个拓扑空间可度量化，当且仅当其为正则、豪斯多夫，且具有一组 σ-局部有限基。一组 σ-局部有限基是一组基，其为可数多个开集族的并。相关的还有。若一个拓扑空间中，每点都有一个邻域可度量化，则称为局部可度量化。斯米尔诺夫证明了一个局部可度量化空间为可度量化当且仅当其为豪斯多夫及仿紧。具体地，一个流形可度量化，当且仅当其为仿紧。