Линделёфово пространство
Линделёфово простра́нство (пространство со свойством Линделёфа), топологическое пространство, из каждого открытого покрытия которого можно выбрать не более чем счётное (т. е. конечное или счётное) подпокрытие. Указанное определяющее свойство линделёфовых пространств называется свойством Линделёфа; отсюда другое распространённое название линделёфовых пространств – пространства со свойством Линделёфа.
Свойство Линделёфа может быть охарактеризовано в терминах замкнутых множеств, а именно: топологическое пространство является линделёфовым в том и только том случае, если любое счётно центрированное семейство замкнутых в множеств имеет непустое пересечение (семейство множеств называется счётно центрированным, если и для любого непустого не более чем счётного множества ).
Каждое компактное пространство и каждое пространство со счётной базой является линделёфовым; в классе метризуемых пространств свойство Линделёфа равносильно второй аксиоме счётности. Каждое замкнутое подпространство линделёфова пространства является линделёфовым пространством. Каждое регулярное линделёфово пространство паракомпактно и тем более нормально. Топологическое произведение линделёфовых пространств может не быть линделёфовым (см. Прямая Зоргенфрея), но произведение линделёфова пространства на компактное является линделёфовым пространством.
Если – непрерывное сюръективное отображение линделёфова пространства , то пространство линделёфово (другими словами, свойство Линделёфа сохраняется непрерывными отображениями). Если пространство линделёфово, – замкнутое отображение и для каждого прообраз обладает свойством Линделёфа, то и пространство линделёфово. В частности, прообраз линделёфова пространства при совершенном отображении является линделёфовым пространством.
Для произвольного топологического пространства следующие условия равносильны:
(i) наследственно линделёфово (т. е. каждое подпространство пространства линделёфово);
(ii) каждое открытое подпространство пространства линделёфово;
(iii) любое семейство открытых подмножеств пространства содержит не более чем счётное подсемейство с тем же объединением (т. е. для некоторого не более чем счётного );
(iv) каждое несчётное множество имеет хотя бы одну точку конденсации в пространстве .
Регулярное линделёфово пространство наследственно линделёфово в том и только том случае, если оно совершенно (или, что эквивалентно, совершенно нормально).
Свойство Линделёфа названо в честь Э. Линделёфа, который доказал в 1903 г., что любое семейство открытых в множеств содержит не более чем счётное подсемейство с тем же объединением (Lindelöf. 1903). Понятие свойства Линделёфа появилось у П. С. Александрова и П. С. Урысона в «Мемуаре о компактных топологических пространствах» (Alexandroff. 1929; русский перевод: Александров. 1971. С. 57–58). Там оно было определено условием (iii), приведённым выше, т. е. под свойством Линделёфа понималось то, что в современной терминологии называется наследственным свойством Линделёфа. Линделёфовы пространства (в их современном определении, принятом в настоящей статье) в этой книге именовались финально компактными (таким образом, свойство Линделёфа оказывалось равносильно наследственной финальной компактности); эта же терминология была употребительна в научной школе П. С. Александрова до 1970-х годов.