Лемма Линделёфа (Lybbg Lnu;yl~sg)
Лемма Линделёфа — классическая лемма общей топологии, которая гласит, что если топологическое пространство удовлетворяет второй аксиоме счётности, то из всякого его открытого покрытия можно выделить не более чем счётное подпокрытие.
Установлена Эрнстом Линделёфом в 1903 году для числовой прямой. В связи с результатом образованы понятия числа Линделёфа топологического пространства (такой наименьший кардинал, что из каждого открытого покрытия пространства можно выбрать подпокрытие мощности не больше него) и линделёфова пространства (пространство с числом Линделёфа ). Таким образом, в изначальной формулировке устанавливалась линделёфовость числовой прямой. В 1914 году Хаусдорф ввёл понятия базы топологии и второй аксиомы счётности и фактически установил линделёфовость пространства со второй аксиомой счётности.
В ранней литературе результат фигурировал как вторая теорема Линделёфа (первая теорема Линделёфа в этом контексте — результат о том, что множество всех точек конденсации пространства со второй аксиомой счётности не более, чем счётно).
Литература
[править | править код]- Александров П. С. Введение в теорию множеств и общую топологию. — М.: ГИИТЛ, 1948.
- Келли Дж. Л.[англ.]. Общая топология. — М.: Наука, 1968.
- Энгелькинг Р.[пол.]. Общая топология. — М.: Мир, 1986. — С. 374—375. — 752 с.