量化定理给出了一个拓扑空间可度量化的充分条件。一个拓扑空间 formula_1 上，若能定义一个度量 formula_2 使得拓扑 formula_3 由 "d" 诱导产生，就称为可度量化。
内容.定理断言如果一个拓扑空间X是正则的，且有一组可数基（即第二可数），那么X是可度量化的。例如，由定理能推论出，每个第二可数的流形都可度量化。历史上，安德烈·尼古拉耶维奇·吉洪诺夫在 1926 年证明了该定理。1925 年，乌雷松在死后才发表的论文中，只证明了每个第二可数的正规豪斯多