基本介紹
- 中文名：可度量化空間
- 外文名：metrizable space
- 所屬學科：一般拓撲學
- 相關概念：拓撲空間、離散拓撲空間等
定義,性質,研究歷程,舉例,相關定理,
定義
設(X,
)是拓撲空間，若存在集合X上的一個度量ρ使得 即是由集合X上的度量ρ誘導的拓撲
，即 = ，則稱(X,)為可度量化空間。
性質
拓撲空間X有等價條件：
(1)X為可度量化空間；
(2)X為T3空間，其拓撲有σ局部有限基；
(3)X為T3空間，其拓撲有σ離散基。
若拓撲空間X有不可數離散子集，則X不是可度量化空間。
可度量化空間為第一可數空間。
研究歷程
亞歷山德羅夫(Александров,П.С.)和烏雷松(Урысон,П.С.)早於1923年用開覆蓋列上的一個特殊條件提供了一個答案，大約在10年後，穆爾(Moore,R.L.)稍微改變了他們的條件，瓊斯(Jones,F.B.)於1937年稱這樣的空間為穆爾空間。度量空間是穆爾空間，反之未必成立，於是，關於可度量化定理的研究轉變為精確地確定什麼樣的穆爾空間是可度量化的。
最有名的猜測是每個正規穆爾空間是可度量化的，最近50年裡對這個猜測的研究在一般拓撲學的發展中起著重要的作用。瓊斯於1937年指出,若2
<2
，則每個可分正規穆爾空間是可度量化的。賓(Bing,R.H.)和永見(Nagami,K.)指出每個仿緊穆爾空間是可度量化的。西爾弗(Silver,J.H.)於1970年用科恩模型指出正規穆爾空間猜測本身不能用現有的集論公理證明，周浩旋於1979年在附加集論假設MA+CH下，證明了存在不可度量化的穆爾空間.由此可見,可度量化問題的研究與公理集合論有密切的聯繫。
舉例
例1設X是非空集，定義映射如下：
則易證
是集合X上的度量，稱為集合X上的離散度量，(X， )稱為離散度量空間。
在離散度量空間(X， )中，對於
∈X， 的球形鄰域
例1表明，非空集X上的離散拓撲可由上述離散度量 誘導出，所以離散拓撲空間是可度量化空間。
例2 設X={a，b}，若在集合X上賦予平凡拓撲，則此平凡拓撲空間X是不可度量化空間。
事實上，若平凡拓撲空間X={a，b}是可度量化空間，則存在集合X上的度量ρ，使得由其誘導的集合X上的拓撲是平凡拓撲{
，x}．因為ρ(a，b)>0，取
則
,所以{a}是開集，這與X是平凡空間矛盾。
