Полное по Чеху пространство

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

Полное по Чеху пространство — топологическое пространство, являющееся множеством типа Gδ (то есть пересечением счётного семейства открытых множеств) в некотором объемлющем хаусдорфовом компакте.

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

Через объемлющие компакты[править | править вики-текст]

Тихоновское пространство называется полным по Чеху, если выполнено одно из следующих эквивалентных утверждений:

  • пространство является множеством типа в некотором объемлющем компакте;
  • пространство является множеством типа в некоторой своей компактификации ;
  • пространство является множеством типа в каждой своей компактификации ;
  • пространство является множеством типа в компактификации Стоуна — Чеха ;
  • нарост некоторой компактификации является множеством типа в ;
  • нарост каждой компактификации является множеством типа в ;
  • нарост компактификации Чеха-Стоуна является множеством типа в .

Внутренняя характеристика[править | править вики-текст]

Тихоновское пространство является полным по Чеху, тогда и только тогда, когда в нём существует счётное семейство открытых покрытий , такое, что пересечение любой центрированной системы замкнутых множеств , в которой для каждого существует множество с диаметром, меньшим, чем покрытие , непусто (говорят, что диаметр множества , меньше покрытия , если существует из , такое, что ).

Сохранение полноты по Чеху при операциях[править | править вики-текст]

Подпространство полного по Чеху пространства является полным по Чеху в том и только том случае, когда оно представимо в виде пересечения замкнутого множества и множества типа . В частности, полнота по Чеху наследуется замкнутыми множествами и множествами типа .

Сумма семейства топологических пространств полна по Чеху тогда и только тогда, когда все пространства из этого семейства полны по Чеху.

Произведение счётного семейства топологических пространств является полным по Чеху, в том и только том случае, когда все пространства полны по Чеху. При этом произведение несчётного семейства полных по Чеху пространств может не быть полным по Чеху.

Если существует совершенное отображение между тихоновскими пространствами и , то пространство полно по Чеху тогда и только тогда, когда полно по Чеху пространство . Однако полнота по Чеху в общем случае не сохраняется при переходе к образу при открытом и замкнутом непрерывном отображении.

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

Более узкие классы[править | править вики-текст]

Все локально компактные пространства (в частности все компактные пространства) являются полными по Чеху.

Метризуемое пространство полно по Чеху тогда и только тогда, когда оно метризуемо полной метрикой.

Более широкие классы[править | править вики-текст]

Каждое полное по Чеху пространство является k-пространством и является пространством Бэра.

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

  • Энгелькинг, Р. Общая топология. — М.: Мир, 1986. — 752 с.