Функциональная отделимость

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску

Функциональная отделимость — свойство пары подмножеств топологического пространства.

Определение

[править | править код]

Два подмножества и в данном топологическом пространстве называются функционально отделимыми в , если существует такая определенная во всём пространстве вещественная ограниченная непрерывная функция , которая принимает во всех точках множества одно значение , a во всех точках множества ― некоторое отличное от значение . При этом всегда можно предположить, что во всех точках .

Связанное определение

[править | править код]

Пространство, в котором всякая точка функционально отделима от всякого не содержащего её замкнутого множества, называется вполне регулярным.

  • Два функционально отделимых множества всегда отделимы и окрестностями. Обратное утверждение верно не всегда, однако имеет место: