Вы находитесь на сайте "Архив статей из ЭЕЭ и статей на еврейские темы из Википедии"
(Различия между версиями)
|
|
| (1 промежуточная версия не показана) |
| Строка 1: |
Строка 1: |
| - | {{Остатье| ТИП СТАТЬИ = 1
| + | #redirect [[:ej:Функциональная отделимость]] |
| - | | АВТОР1 =
| + | |
| - | | АВТОР2 =
| + | |
| - | | АВТОР3 =
| + | |
| - | | СУПЕРВАЙЗЕР =
| + | |
| - | | ПРОЕКТ =
| + | |
| - | | ПОДТЕМА =
| + | |
| - | | КАЧЕСТВО =
| + | |
| - | | УРОВЕНЬ =
| + | |
| - | | ДАТА СОЗДАНИЯ =
| + | |
| - | | ВИКИПЕДИЯ =
| + | |
| - | | НЕОДНОЗНАЧНОСТЬ =
| + | |
| - | }}Два подмножества <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>.
| + | |
| - | | + | |
| - | Пространство, в котором всякая точка функционально отделима от всякого не содержащего её замкнутого множества, называется '''вполне регулярным'''.
| + | |
| - | | + | |
| - | ==Свойства==
| + | |
| - | *Два функционально отделимых множества всегда отделимы и окрестностями. Обратное утверждение верно не всегда, однако имеет место:
| + | |
| - | **'''Лемма Урысона.''' В [[нормальное пространство|нормальном пространстве]] всякие два дизъюнктные замкнутые множества функционально отделимы.
| + | |
| - | | + | |
| - | == См. также ==
| + | |
| - | * [[Принцип разделимости]]
| + | |
| - | | + | |
| - |
| + | |
| - | | + | |
| - | {{WikiCopyRight}}
| + | |
| - | | + | |
| - | [[Категория:требует категоризации]]{{checked_final}}
| + | |
Текущая версия на 01:20, 31 мая 2013
- redirect ej:Функциональная отделимость