乌雷松度量化定理 乌雷松度量化定理给出了一个拓扑空间可度量化的充分条件一个拓扑空间  X  τ  displaystyle Xtau  上若能定義一个度量 d  X  X       displaystyle dcolon Xtimes Xto infty  使得拓扑 τ displaystyle tau  由 d 诱导产生就稱為可度量化