Лемма Гейне — Бореля

(перенаправлено с «Лемма Бореля — Лебега»)

Леммой Гейне — Бореля[1] (а также леммой Бореля — Лебега[2] или леммой о конечном покрытии) называется следующий факт, играющий фундаментальную роль в анализе:

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

Обобщение этого предложения на многомерный случай также называется леммой Гейне — Бореля (или леммой Бореля — Лебега)[3].

Формулировка

править

Чтобы сформулировать лемму Гейне — Бореля в общем случае, введем понятие покрытия[3]. Система множеств

 

где индекс   пробегает некоторое множество  , называется покрытием множества  , если

 

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

Теперь сформулируем лемму Гейне — Бореля в общем виде.

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

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

Имеет место и обратное предложение: для того чтобы всякое открытое покрытие множества   содержало конечное подпокрытие необходимо, чтобы множество   было замкнутым и ограниченным. Однако леммой Гейне — Бореля называют лишь прямое утверждение, то есть достаточные условия существования конечного подпокрытия.

Доказательство

править

Доказательство леммы Гейне — Бореля можно проводить разными способами. Ниже изложены наброски двух доказательств.

Первое доказательство

править

Это доказательство проводится методом Больцано (деления пополам) и опирается на лемму Коши — Кантора о вложенных отрезках. Во многом оно аналогично доказательству леммы Больцано — Вейерштрасса о предельной точке.

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

Продолжая на каждом шаге делить отрезки пополам, мы получим последовательность вложенных отрезков, по длине стремящихся к нулю, такую что каждый отрезок этой последовательности не может быть покрыт конечным числом интервалов из  . Но если   — точка, в которую стягиваются отрезки, то, поскольку   лежит на отрезке  , она должна входить в некоторый интервал   системы  . Тогда все отрезки последовательности  , начиная с некоторого номера, будут покрыты интервалом  , что противоречит самому выбору этих отрезков. Полученное противоречие доказывает справедливость леммы Гейне — Бореля.

Это доказательство, с очевидными изменениями, проводится и для пространства   произвольной размерности. Указанное доказательство можно найти в [3] и в [2] (в последней книге сразу для случая произвольного метрического пространства).

Второе доказательство

править

Другое доказательство леммы Гейне — Бореля принадлежит Лебегу [2]. Оно не использует лемму о вложенных отрезках, а опирается на свойство полноты множества действительных чисел в форме принципа существования точной верхней грани.

Пусть система интервалов   покрывает отрезок  . Обозначим через   множество всех точек  , для которых отрезок   может быть покрыт конечным числом интервалов из  . Ясно, что если всякий отрезок вида   (где x - sup M) может быть покрыт конечным числом интервалов из  , то же верно и для отрезка  : для этого возьмем интервал  , покрывающий точку  , и добавив его к конечному покрытию какого-нибудь отрезка  , где  , получим конечное покрытие отрезка  . Более того, полученная конечная подсистема интервалов покрывает не только отрезок  , но и некоторый отрезок вида  , где  .

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

Применение в анализе

править

Наряду с леммой Коши — Кантора о вложенных отрезках и леммой Больцано — Вейерштрасса о предельной точке, лемма Гейне — Бореля о конечном покрытии является одним из фундаментальных утверждений анализа. С её помощью можно доказать ряд важных результатов.

Лемма Гейне — Бореля может быть с успехом применена в тех случаях, когда необходимо какое-либо локальное свойство распространить на все множество. Проиллюстрируем сказанное на примере доказательства теоремы о равномерной непрерывности.

Непрерывность функции   на интервале   означает, что для всякой точки   интервала   и произвольного   найдется такая окрестность   точки  , в которой любые два значения функции отличаются не более чем на  :

 

Фиксируем   и для каждой точки   отрезка   выберем указанную окрестность   (для каждого   будет своё  ). Полученная система интервалов образует открытое покрытие отрезка, из которого согласно лемме Гейне — Бореля мы выберем конечное подпокрытие  . Нетрудно видеть, что можно подобрать такое  , что всякий отрезок длины   целиком содержится в одном из интервалов покрытия  . Отсюда следует, что если   отличаются не более чем на  , то они содержатся в одном и том же интервале покрытия, а значит, значения функции в этих точках отличаются не более чем на  .

Тем самым для произвольно взятого   найдено  , такое что

 

Это и означает, что функция   равномерно непрерывна на отрезке  .

Обобщения

править

Лемма Гейне — Бореля обобщается на произвольное метрическое пространство следующим образом:

Для того, чтобы всякое открытое покрытие метрического пространства   содержало конечное подпокрытие, необходимо и достаточно, чтобы пространство   было полным и вполне ограниченным.

Как и в случае пространства  , леммой Гейне — Бореля называется лишь вторая часть этого предложения, о достаточности условий для существования конечного подпокрытия.

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

При переходе от метрических пространств к более общему понятию топологических пространств оказалось, что эти два условия не равносильны: если топологическое пространство обладает свойством Гейне—Бореля, то всякое его бесконечное подмножество имеет предельную точку, но обратное не всегда верно. Более сильное свойство Гейне — Бореля было принято за определение компактного топологического пространства. При этом старое условие компактности, а именно, существование предельной точки у всякого бесконечного подмножества, оказалось равносильно следующему условию: всякое счетное открытое покрытие содержит конечное подпокрытие. Такие пространства стали называть счетно-компактными.

Историческая справка

править

История математического предложения, известного сегодня как лемма Гейне — Бореля, началась во второй половине XIX века, когда математики были заняты поиском надежных основ для строгого построения математического анализа. Среди прочих, одним из фундаментальных результатов анализа, требовавших строгого доказательства, была теорема, утверждающая, что всякая непрерывная на отрезке функция, равномерно непрерывна на нем. Первым эту теорему доказал Дирихле в своих лекциях 1862 года, которые были опубликованы лишь в 1904 году. При этом он неявно использовал тот факт, что если отрезок покрыт бесконечным числом интервалов, то среди них можно выбрать конечное число, также покрывающее данный отрезок. Позже сходными рассуждениями пользовались Э. Гейне, К. Вейерштрасс, С. Пинкерле. Первым, кто сформулировал и доказал лемму Гейне — Бореля в форме, близкой к современной, был Э. Борель в 1895 году. Однако его формулировка ограничивалась покрытиями, состоящими из счетного числа интервалов. На произвольные бесконечные покрытия её обобщил ученик Э. Бореля А. Лебег в 1898 году.

В математической литературе это предложение можно встретить под различными названиями. Наиболее распространено название лемма Гейне — Бореля[1][3][4], которое и было вынесено в заголовок настоящей статьи. Однако нередко используются: лемма Бореля — Лебега[5], лемма Бореля[6]. В некоторых книгах это предложение называется не леммой, а теоремой: теорема Гейне — Бореля[7], теорема Бореля — Лебега[2]. Также встречается название лемма о конечном покрытии[5].

См. также

править

Примечания

править
  1. 1 2 Колмогоров А. Н., Фомин С. В. Элементы теории функций и функционального анализа. — С. 107.
  2. 1 2 3 4 Александров П. С. Введение в теорию множеств и общую топологию. — С. 183-184, 193-195.
  3. 1 2 3 4 Кудрявцев Л. Д. Курс математического анализа. — Т. 2. — С. 195-196.
  4. Ильин В. А., Позняк Э. Г. Основы математического анализа: В 2-х ч. Часть I.
  5. 1 2 Зорич В. А. Математический анализ. Часть I.
  6. Фихтенгольц Г. М. Курс дифференциального и интегрального исчисления в 3 томах. — Т. 1.
  7. Рудин У. Основы математического анализа.

Литература

править
  • Александров П. С. Введение в теорию множеств и общую топологию. — М.: «Наука», 1977. — 368 с.
  • Зорич В. А. Математический анализ. Часть I. — 4-е изд., испр.. — М.: МЦНМО, 2002. — XVI+664 с. — ISBN 5-94057-056-9.
  • Ильин В. А., Позняк Э. Г. Основы математического анализа: В 2-х ч. Часть I. — 7-е изд.. — М.: ФИЗМАТЛИТ, 2005. — 648 с. — ISBN 5-9221-0536-1.
  • Колмогоров А. Н., Фомин С. В. Элементы теории функций и функционального анализа. — 7-е изд. — М.: «Физматлит», 2004. — 572 с. — ISBN 5-9221-0266-4.
  • Кудрявцев Л. Д. Курс математического анализа. — 5-е изд. — М.: «Дрофа», 2003. — Т. 1. — 704 с. — ISBN 5-7107-4119-1.
  • Рудин У. Основы математического анализа = Principles of Mathematical Analysis / пер. с англ. Хавина. — 2-е изд., стереотипное. — М.: «Мир», 1976.
  • Фихтенгольц Г. М. Курс дифференциального и интегрального исчисления в 3 томах. — Т. 1.