Лемма Линделёфа - Википедия - Lindelöfs lemma

В математика, Лемма Линделёфа простой, но полезный лемма в топология на реальная линия, названный в честь Финский математик Эрнст Леонард Линделёф.

Утверждение леммы

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

Обобщенное заявление

Лемма Линделёфа также известна как утверждение, что каждое открытое покрытие в секундомер имеет счетный прикрытие (Келли 1955: 49). Это означает, что каждый секундомер также Пространство Линделёфа.

Доказательство обобщенного утверждения

Учитывать . С имеет счетную базу, мы рассматриваем его как до бесконечности. Считайте открытую крышку, . Чтобы подготовиться к следующему выводу, для удобства мы определяем два набора: , .

Прямое, но важное наблюдение: что из определения базы. (Здесь мы используем определение «базы» из MAArmstrong, Basic Topology, глава 2, §1, т. Е. Набор открытых множеств, такой, что каждое открытое множество является объединением членов этого набора.) Следовательно, мы можем получить который,

куда , и поэтому не более чем счетно. Далее по построению для каждого существует некоторое такой, что . Поэтому мы можем написать

завершая доказательство.

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

  1. Дж. Л. Келли (1955), Общая топология, ван Ностранд.
  2. М.А. Армстронг (1983), Базовая топология, Springer.