text: 烏雷松度量化定理給出了一個拓撲空間可度量化的充分條件。一個拓撲空間 formula_1 上，若能定義一個度量formula_2 使得拓撲 formula_3 由 "d" 誘導產生，就稱為可度量化。內容.定理斷言如果一個拓撲空間X是正則的，且有一組可數基，那麼X是可度量化的。例如，由定理能推論出，每個第二可數的流形都可度量化。歷史上，安德烈·尼古拉耶維奇·吉洪諾夫在 1926 年證明瞭該定理。1925 年，烏雷松在死後才發表的論文中，只證明瞭每個第二可數的正規豪斯多夫空間都可度量化。然而，注意定理給出的是充分條件，這意味著可度量化空間的基不一定可數，例如具有離散拓撲的實軸R，它的拓撲必然包括R上所有的單點集，而單點集必定都是所給拓撲基的基元素，並以單點集形式出現，而這些單點集顯然是不可數的。所以具有離散拓撲的實軸R儘管是可度量化的，但它卻沒有一組可數基。證明的想法.利用X是正則的且有一組可數基的假定就可以證明，X能嵌入一個度量空間之中。因此，X與一個度量空間的子空間同胚。由於一個度量空間的子空間是可度量化的，又由於可度量性是一種拓撲性質，於是得出：X是可度量化的。例子.Z上的等差數列拓撲由所有形如的等差數列所組成的基來定義，其中a,b∈R.b≠0。誘導Z上的度量formula_4與其他度量化定理之關係.某些度量化定理是烏雷松定理的簡單推論，例如，緊的豪斯多夫空間可度量化當且僅當其為第二可數。烏雷松定理也可寫成以下形式：「一個拓撲空間為可分和可度量化，當且僅當其為正則、豪斯多夫，且為第二可數。」是對不可分空間的推廣。其斷言一個拓撲空間可度量化，當且僅當其為正則、豪斯多夫，且具有一組 σ-區域性有限基。一組 σ-區域性有限基是一組基，其為可數多個開集族的並。相關的還有。若一個拓撲空間中，每點都有一個鄰域可度量化，則稱為區域性可度量化。斯米爾諾夫證明瞭一個區域性可度量化空間為可度量化當且僅當其為豪斯多夫及仿緊。具體地，一個流形可度量化，當且僅當其為仿緊。
metadata: erhwenkuo/wikipedia-zhtw
metadata: 烏雷松度量化定理
metadata: https://zh.wikipedia.org/wiki?curid=3259887