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

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

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

Определение

Два подмножества <math>A</math> и <math>B</math> в данном топологическом пространстве <math>X</math> называются функционально отделимыми в <math>X</math>, если существует такая определенная во всём пространстве вещественная ограниченная непрерывная функция <math>f</math>, которая принимает во всех точках множества <math>A</math> одно значение <math>a</math>, a во всех точках множества <math>B</math> ― некоторое отличное от <math>a</math> значение <math>b</math>. При этом всегда можно предположить, что <math>a=0,b=1,0\leqslant f(x)\leqslant 1</math> во всех точках <math>x\in X</math>.

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

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

Свойства

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

См. также

Шаблон:Rq