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

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

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

Определение[править | править код]

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

Связанные определение[править | править код]

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

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

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

См. также[править | править код]