补充资料：T_1空间

T_1空间
T, - space

　　T.空间{T一卿ce;T，一npocTpa狱TBO〕，可达空间(att::幽ble sPaee) 拓扑空间(topologieal space)X，它的任何单点集的闭包就是自身.这等价于要求点x‘X的所有邻域的交集恒等于x，或者对于任意两个不同的点x，厂X，存在它们的邻域U，及U，，使得认笋y，且U，「笋义，即分离公理(seParation胡om)Tl成立. 可达性，就是使T、成立的性质，是一种遗传性质:T，空间的任意子空间是T.空间，强化Tl空间的拓扑而得的拓扑仍是T、拓扑.任意T:空间(见Hausdorff空间(Hausdorff sPace))是T，空间，但是反之不成立:存在不是TZ空间的T:空间.例如，一个无穷集刀，其拓扑以具有有限余的集合为开集，就是这种情形.M.H.B呱取x，cK戒撰【补注】通常，T，而非T:空间的很重要的一类是具有乙riski拓扑的环A的谱Spec(A)，见仿射概形(川石11e schellle).
　　

说明：补充资料仅用于学习参考，请勿用于其它任何用途。