Отделимости аксиома

- условие, налагаемое на топологич. пространство и выражающее требование, чтобы те или иные дизъюнктные, т. е. не имеющие общих точек, множества были в нек-ром определенном смысле топологически отделены друг от друга. Простейшие, т. е. самые слабые из этих аксиом, касаются лишь одноточечных множеств, т. е. точек пространства. Это т. п. аксиомы Т 0 (аксиома Колмогорова) п T1. Дальнейшие суть Т 2 (аксиома Xаусдорфа), Т 3 (аксиома регулярности) и T4 (аксиома нормальности), требующие, соответственно, чтобы всякие две различные точки (аксиома Т 2), всякая точка и всякое не содержащее ее замкнутое множество(аксиома Т 3), всякие два дизъюнктные замкнутые множества (аксиома T4).были отделимы окрестностями, т. е. содержались в дизъюнктных открытых множествах данного пространства. Топологич. Пространство, удовлетворяющее аксиоме [img: http://localhost:8080/file/041614-28.jpg] наз. Т i- пространством, Т 2 -пространство наз. хаусдорфовым, а T3 -пространство - регулярным; хаусдорфово T4 -пространство всегда регулярно и наз. нормальным. Особое место занимает т. н. функциональная отделимость. Два множества Аи Вв данном топологич. пространстве Xназ. функционально отделимыми в X, если существует такая определенная во всем пространстве действительная ограниченная непрерывная функция f, к-рая принимает во всех точках множества Аодно значение а, а во всех точках множества В - нек-рое отличное от азначение b. При этом всегда можно предположить, что [img: http://localhost:8080/file/041614-29.jpg] во всех точках [img: http://localhost:8080/file/041614-30.jpg] Два функционально отделимых множества всегда отделимы и окрестностями, обратное утверждение верно не всегда. Однако имеет место лемма Урысона: в нормальном пространстве всякие два дизъюнктные замкнутые множества функционально отделимы. Пространство, в к-ром всякая точка функционально отделима от всякого не содержащего ее замкнутого множества, наз. вполне регулярным. Вполне регулярное T2 -пространство наз. тихоновским.