Гемикомпактное пространство - Hemicompact space

В математика, в области топология, а топологическое пространство как говорят гемикомпакт если в нем есть последовательность компактный подмножества таких, что каждое компактное подмножество пространства лежит внутри некоторого компакта в последовательности.[1] Ясно, что это заставляет объединение последовательности быть всем пространством, потому что каждая точка компактна и, следовательно, должна лежать в одном из компактов.

Примеры

Характеристики

Каждое гемикомпактное пространство σ-компактный а если вдобавок это первый счетный тогда это локально компактный.

Приложения

Если - гемикомпактное пространство, то пространство всех непрерывных функций к метрическое пространство с компактно-открытая топология является метризуемый.[2] Чтобы увидеть это, возьмите последовательность компактных подмножеств такое, что каждое компактное подмножество лежит внутри некоторого компакта этой последовательности (существование такой последовательности следует из гемикомпактности ). Определять псевдометрика

потом

определяет метрику на что индуцирует компактно-открытую топологию.

Смотрите также

Примечания

  1. ^ Уиллард 2004, Проблема установлена ​​в разделе 17.
  2. ^ Конвей 1990, Пример IV.2.2.

Рекомендации

  • Уиллард, Стивен (2004). Общая топология. Dover Publications. ISBN  0-486-43479-6.CS1 maint: ref = harv (связь)
  • Конвей, Дж. Б. (1990). Курс функционального анализа. Тексты для выпускников по математике. 96. Springer Verlag. ISBN  0-387-97245-5.CS1 maint: ref = harv (связь)