柯尔莫果洛夫空间
在拓扑学和相关的数学分支中,T0空间,又称柯尔莫哥洛夫空间,以数学家安德雷·柯尔莫哥洛夫命名,形成了一类广泛的表现良好的拓扑空间。T0 条件是分离公理之一。
T0 空间是其中所有成对的独特的点是拓扑可区分的。就是说,对于任何两个独特的点 x 和 y 有一个开集正好只包含这两个点中的一个。
注意拓扑可区分点自动的是独特的。在另一方面,如果单元素集合 {x} 和 {y} 是分离的,则点 x 和 y 必定是拓扑可区分的。就是说,
是拓扑可区分的性质一般的要强于是独特的,但要弱于可分离的。在 T0 空间中,第二个箭头是可以反转的,点是独特的当且仅当它们是可区分的。这是 T0 公理适合余下分离公理之处。