Достижимое Пространство

T1 -пространство,- топологич. пространство X, в к-ром замыкание любого одноточечного множества совпадает с ним самим. Это условие равносильно тому, что пересечение всех окрестностей точки совпадает с хили что каковы бы ни были две различные точки х,существуют их окрестности Ux и Uy такие, что и т. е. выполняется отделимости аксиома Т 1. Достижимость, т. е. выполнение Т 1,- наследственное свойство: всякое подпространство Д. п. есть Д. п., и топология, мажорирующая топологию Д. п., является достижимой топологией. Всякое отделимое пространство (T2 -пространство) является Д. п., обратное неверно: существуют T1 -пространства, не являющиеся T2 -пространствами, таково, напр., бесконечное множество b, наделенное топологией, в к-рой открытыми считаются те множества, дополнения к к-рым конечны. М. И. Войцеховский.