零维空间

数学上,零维空间是按以下的不等价定义之一,维数为零的拓扑空间:

  • 覆盖维数的概念,一个拓扑空间是零维空间,若空间的任何开覆盖,都有一个加细,使得空间内每一点,都在这个加细的恰好一个开集内。
  • 小归纳维数的概念,一个拓扑空间是零维空间,若空间有一个由闭开集组成的

这两个概念对可分可度量化空间为等价。(乌雷松定理指这类空间的这两个维数相等。)

覆盖维数零的空间的性质

一个零维豪斯多夫空间必定是完全不连通空间,但逆命题不成立。不过一个局部紧豪斯多夫空间是零维空间,当且仅当这空间是完全不连通的。

零维豪斯多夫空间正正是拓扑幂集 的子空间,其中2={0,1}赋予了离散拓扑。若 可数无限的, 康托尔空间

参考

参见