16761t0
16761t0,t1,hausdorff空间
于 , 从而 , 于是。 同理若是后一种情形，也有 . yUxV{}Uy {}xy{ } { }xy{ } { }xy 定义 X 是一个拓扑空间 ,若 X中任意两个不相同的点都有一个开邻域不包含另一点，则称拓扑空间 X是一个 T1空间 . x y U V xV yUT1 空 间 T0空间不是 T1空间的例子 注： T1空间当然是 T0空间 例： , T = { 0 , 1