Анри Лебег

Анри Лебег — французский математик, один из создателей современной теории меры и интеграла Лебега, радикально расширившей понятие определённого интеграла и заложившей основы функционального анализа. Родился 28 июня 1875 года в Бове, умер 26 июля 1941 года в Париже. Его работы оказали фундаментальное влияние на математический анализ, теорию вероятностей, математическую физику и другие разделы математики.

Биография

Ранние годы и образование

Анри Леон Лебег родился в семье школьного учителя. После смерти отца от туберкулёза в 1879 году семья оказалась в стеснённых обстоятельствах. Мать, Мари Лебег, работала швеёй, чтобы содержать сына. Благодаря её усилиям и поддержке местных педагогов Лебег получил начальное образование в Бове, а затем поступил в лицей Сен-Луи в Париже, а позже — в лицей Людовика Великого.

В 1894 году он поступил в Высшую нормальную школу (École Normale Supérieure) — одно из престижнейших учебных заведений Франции. Его учителями были выдающиеся математики, в том числе Эмиль Пикар и Эдуард Гурса. Окончив школу в 1897 году, Лебег начал преподавать в лицеях, сначала в Нанси, затем в Ренне.

Научная карьера

В 1902 году Лебег опубликовал свою докторскую диссертацию «Интеграл, длина, площадь» (Intégrale, longueur, aire), в которой изложил основы новой теории интегрирования. Эта работа принесла ему широкую известность. После защиты диссертации он преподавал в университете Ренна (1902–1906), затем в университете Пуатье (1906–1910).

В 1910 году Лебег перешёл в Сорбонну (Парижский университет), где читал лекции по математическому анализу. В 1921 году он был избран профессором Коллеж де Франс, где занимал кафедру математики до конца жизни. В 1922 году его избрали членом Парижской академии наук.

Несмотря на признание, Лебег не всегда получал поддержку от старшего поколения математиков. Его новаторские идеи встречали скепсис, особенно со стороны Анри Пуанкаре, который, однако, впоследствии признал их значимость. Лебег известен также своей педагогической деятельностью и написанием учебников, отличавшихся ясностью и строгостью изложения.

Основные научные достижения

Теория меры

Центральным вкладом Лебега стало создание теории меры — обобщения понятий длины, площади и объёма на произвольные множества в евклидовом пространстве. До Лебега существовала мера Жордана, которая была применима лишь к сравнительно «хорошим» множествам (например, кусочно-гладким фигурам). Лебег предложил новое определение меры, основанное на покрытии множества счётными наборами интервалов.

Мера Лебега обладает рядом важных свойств:

• Она является счётно-аддитивной: мера объединения счётного числа непересекающихся измеримых множеств равна сумме их мер.
• Она инвариантна относительно сдвигов и вращений.
• Она определена для широкого класса множеств, включая канторово множество (мера которого равна нулю) и множество иррациональных чисел на отрезке (мера которого равна длине отрезка).
• Не все множества являются измеримыми по Лебегу; существование неизмеримых множеств требует аксиомы выбора.

Интеграл Лебега

На основе теории меры Лебег построил интеграл Лебега — обобщение интеграла Римана. Ключевое отличие интеграла Лебега от интеграла Римана заключается в способе разбиения области интегрирования. Интеграл Римана разбивает область определения функции на отрезки и суммирует площади прямоугольников, опирающихся на эти отрезки. Интеграл Лебега разбивает область значений функции на уровни и суммирует меры прообразов этих уровней.

Этот подход позволил интегрировать функции, которые не интегрируемы по Риману (например, функцию Дирихле, равную 1 на рациональных числах и 0 на иррациональных). Интеграл Лебега обладает более мощными теоремами о предельном переходе под знаком интеграла (теорема Лебега о мажорируемой сходимости, теорема Леви о монотонной сходимости), что сделало его незаменимым инструментом в функциональном анализе и теории вероятностей.

Связь с другими областями

Работы Лебега легли в основу:

• Функционального анализа: пространства Лебега (Lp-пространства) — банаховы пространства измеримых функций, интегрируемых в p-й степени.
• Теории вероятностей: аксиоматика Колмогорова (1933) основана на теории меры, где вероятность рассматривается как мера на пространстве элементарных событий.
• Гармонического анализа: интеграл Лебега используется для обоснования рядов Фурье и преобразований Фурье.
• Математической физики: уравнения в частных производных и вариационное исчисление часто требуют интеграла Лебега для работы с обобщёнными решениями.

Классификация и виды

Интеграл Лебега — Стилтьеса

В 1909 году Лебег совместно с Томасом Стилтьесом разработал обобщение интеграла Лебега, известное как интеграл Лебега — Стилтьеса. В этом интеграле интегрирование ведётся по произвольной функции распределения (или мере), а не только по стандартной мере Лебега. Это позволяет, например, интегрировать по дискретной мере (суммирование) или по мере, заданной функцией плотности.

Интеграл Лебега для функций многих переменных

Теория Лебега естественным образом обобщается на многомерный случай. Мера Лебега в Rn определяется как произведение одномерных мер. Интеграл Лебега по многомерной области позволяет интегрировать функции, определённые на произвольных измеримых множествах, что важно для кратных интегралов и теории поверхностей.

Применение

В математике

• Теория функций действительного переменного: интеграл Лебега является стандартным инструментом для изучения свойств измеримых функций.
• Функциональный анализ: пространства Lp, гильбертово пространство L2, теоремы о представлении линейных функционалов (теорема Рисса — Маркова — Какутани).
• Теория вероятностей: математическое ожидание случайной величины определяется как интеграл Лебега по вероятностной мере.

В физике и инженерии

• Квантовая механика: волновые функции и операторы описываются в гильбертовом пространстве L2, что требует интеграла Лебега.
• Обработка сигналов: преобразование Фурье и вейвлет-анализ используют интеграл Лебега для работы с непрерывными сигналами.
• Теория управления: интегральные уравнения и оптимальное управление часто формулируются в терминах интеграла Лебега.

В экономике и статистике

• Эконометрика: модели с непрерывными распределениями и интегральные уравнения.
• Статистическая физика: распределения вероятностей и энтропия.

Критика и ограничения

Хотя интеграл Лебега является мощным инструментом, он не лишён недостатков:

• Сложность: определение интеграла Лебега требует предварительного построения теории меры, что делает его менее интуитивным для начинающих.
• Неприменимость к некоторым функциям: существуют функции, не интегрируемые по Лебегу (например, функции, не являющиеся измеримыми). Однако такие функции редко встречаются в приложениях.
• Зависимость от аксиомы выбора: существование неизмеримых множеств по Лебегу требует аксиомы выбора, что вызывает философские споры в основаниях математики.

Некоторые математики, в частности, представители школы конструктивной математики, критикуют теорию Лебега за использование неконструктивных методов. Однако в современной математике интеграл Лебега является общепринятым стандартом.

Интересные факты

• Лебег был известен своим остроумием. На вопрос, почему он не занимается более прикладными задачами, он ответил: «Я предпочитаю быть математиком, чем инженером, который не умеет считать».
• В 1910 году Лебег опубликовал статью «О некоторых свойствах функций, определённых на множествах», в которой ввёл понятие измеримой функции.
• Именем Лебега названы кратер на Луне и астероид (26909) Лебег.
• Лебег был членом многих академий, включая Лондонское королевское общество (иностранный член) и Академию наук СССР.

Источники

• Лебег А. Интеграл, длина, площадь. — М.: Физматгиз, 1959.
• Колмогоров А. Н., Фомин С. В. Элементы теории функций и функционального анализа. — М.: Наука, 1976.
• Натансон И. П. Теория функций вещественной переменной. — М.: Наука, 1974.
• Бурбаки Н. Очерки по истории математики. — М.: ИЛ, 1963.
• Математическая энциклопедия / Гл. ред. И. М. Виноградов. — М.: Советская энциклопедия, 1977–1985.