Эпсилон-сеть

Материал из Википедии — свободной энциклопедии
(перенаправлено с «Ε-сеть»)
Перейти к: навигация, поиск
Правильный заголовок этой статьи — ε-сеть. Он показан некорректно из-за технических ограничений.

ε-сеть (эпсилон-сеть, ε-плотное множество) для подмножества метрического пространства есть множество из того же пространства такое, что для любой точки найдётся точка , удалённая от не более чем на ε.

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

Метрическое пространство, в котором для каждого существует конечная ε-сеть, называется вполне ограниченным.

Метрика на множестве называется вполне ограниченной, если  — вполне ограниченное метрическое пространство.

Топологическое пространство, гомеоморфное вполне ограниченному метрическому пространству, называется метризуемым вполне ограниченной метрикой.

Примеры[править | править вики-текст]

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

  • Метрическое пространство имеет эквивалентную вполне ограниченную метрику тогда и только тогда, когда оно сепарабельно.
  • Топологическое пространство метризуемо вполне ограниченной метрикой тогда и только тогда, когда оно регулярно и удовлетворяет второй аксиоме счётности.
  • Метрическое пространство компактно тогда и только тогда, когда оно полно и вполне ограниченно. В чуть более общей формулировке, теорема Хаусдорфа о компактности гласит, что для относительной компактности подмножества метрического пространства необходимо, а в случае полноты пространства и достаточно, чтобы при любом существовала конечная ε-сеть из элементов множества .
  • Полное метрическое пространство компактно тогда и только тогда, когда для любого в нём существует компактная ε-сеть.

Примечания[править | править вики-текст]

  1. Соболев В. И. Лекции по дополнительным главам математического анализа. — М.: Наука, 1968 — стр. 59.

Литература[править | править вики-текст]

  • Д. Ю. Бураго, Ю. Д. Бураго, С. В. Иванов. Курс метрической геометрии. Москва-Ижевск: Институт компьютерных исследований, 2004, 512 стр. ISBN 5-93972-300-4.
  • Энгелькинг, Р. Общая топология. — М.: Мир, 1986. — 752 с.