第一可数空间
外观
此条目需要扩充。 (2010年10月15日) |
此条目需要精通或熟悉数学的编者参与及协助编辑。 (2010年10月15日) |
在拓扑学上,第一可数空间(First-countable space)是指有可数的邻域基的拓扑空间,即对于,存在的开邻域序列,使得对于任意的邻域,存在整数使得。
例子与反例
[编辑]大部份数学中的常见空间为第一可数的,像是所有度量空间皆为第一可数,要证明此点,只要注意到所有以x为中心,半径为1/n,n为正整数的开球,形成了于x点的可数局部基。
一个无限集(像是实数线)的馀有限拓扑则非第一可数。在商空间中,所有自然数被视为一个点,此空间也非第一可数。
第一可数性比第二可数性来得弱,所有第二可数空间皆为第一可数,但不可数的离散空间是第一可数而非第二可数。