第一可數空間
此條目需要擴充。 (2010年10月15日) |
![]() | 此條目需要精通或熟悉數學的編者參與及協助編輯。 (2010年10月15日) |
在拓撲學上,第一可數空間(First-countable space)是指有可數的鄰域基的拓撲空間,即對於,存在的開鄰域序列,使得對於任意的鄰域,存在整數使得。
例子與反例
大部份數學中的常見空間為第一可數的,像是所有度量空間皆為第一可數,要證明此點,只要注意到所有以x為中心,半徑為1/n,n為正整數的開球,形成了於x點的可數局部基。
一個無限集(像是實數線)的餘有限拓撲則非第一可數。在商空間中,所有自然數被視為一個點,此空間也非第一可數。
第一可數性比第二可數性來得弱,所有第二可數空間皆為第一可數,但不可數的離散空間是第一可數而非第二可數。
性質
|