-
可度量化空間
鎖定
- 中文名
- 可度量化空間
- 外文名
- metrizable space
- 所屬學科
- 一般拓撲學
- 相關概念
- 拓撲空間、離散拓撲空間等
可度量化空間定義
可度量化空間性質
拓撲空間X有等價條件:
(1)X為可度量化空間;
(2)X為T3空間,其拓撲有σ局部有限基;
若拓撲空間X有不可數離散子集,則X不是可度量化空間。
可度量化空間為第一可數空間。
[5]
可度量化空間研究歷程
亞歷山德羅夫(Александров,П.С.)和烏雷松(Урысон,П.С.)早於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]
可度量化空間舉例
例1設X是非空集,定義映射如下:
在離散度量空間(X,
)中,對於
∈X,
的球形鄰域
例1表明,非空集X上的離散拓撲可由上述離散度量
誘導出,所以離散拓撲空間是可度量化空間。
例2 設X={a,b},若在集合X上賦予平凡拓撲,則此平凡拓撲空間X是不可度量化空間。
事實上,若平凡拓撲空間X={a,b}是可度量化空間,則存在集合X上的度量ρ,使得由其誘導的集合X上的拓撲是平凡拓撲{
,x}.因為ρ(a,b)>0,取
可度量化空間相關定理
定理2 希爾伯特空間H是一個可分空間。
定理3 設X是一個拓撲空間,則下列條件等價:
(1)X是一兼為第二可數空間與T₃空間;
(2)X拓撲等價於希爾伯特空間H的某一個子空間;
(3)X是一個可分的可度量化空間。