Анри Леон Лебег
Даты жизни: 1875 — 1941
Сфера интересов: Теория меры, Математический анализ, Интегральное исчисление
Страна: Франция
Главный вклад: Создание обобщенного интеграла (интеграла Лебега) и мощной теории меры, что позволило вычислять интегралы от чрезвычайно нерегулярных и разрывных функций, став основой современного функционального анализа.
2. Биографическая справка
Образование: Учился в Высшей нормальной школе (École Normale Supérieure) в Париже, которую окончил в 1897 году. В 1902 году защитил свою историческую докторскую диссертацию «Интеграл, длина, площадь» (Intégrale, longueur, aire), перевернувшую классический анализ.
Академическая карьера: Работал профессором в университетах Рена, Пуатье, а затем в Сорбонне и Коллеж де Франс. Лебег, вместе со своими соотечественниками Эмилем Борелем и Рене Бэром, сформировал знаменитую французскую школу теории функций вещественного переменного, которая доминировала в математике начала XX века.
Интересный факт: Лебег объяснял разницу между классическим интегралом Римана и своим интегралом с помощью наглядного примера с деньгами. Интеграл Римана — это как пересчет кучи монет по одной в случайном порядке. А интеграл Лебега — это когда вы сначала сортируете монеты по номиналу (разбиение области значений, а не области определения), а затем считаете общую сумму. Это позволяет работать с бесконечно сложными распределениями.
3. Основные достижения и труды
Ключевые работы:
- «Уроки об интегрировании и поиске примитивных функций» (Leçons sur l'intégration et la recherche des fonctions primitives, 1904).
- «О мере множеств» (Sur la mesure des ensembles, 1901).
Главные теоремы/формулы:
- Мера Лебега: Стандартный способ сопоставить длину, площадь или объем подмножествам евклидова пространства, обобщающий понятие длины интервала.
- Интеграл Лебега: В отличие от интеграла Римана, интеграл Лебега строится на разбиении оси $y$ (оси значений) и использует меру Лебега $\mu$. Формально он определяется как предел интегралов от простых функций: $$\int_E f d\mu = \lim_{n \to \infty} \int_E s_n d\mu$$
- Теорема Лебега о мажорируемой сходимости: Фундаментальная теорема, позволяющая переходить к пределу под знаком интеграла, если последовательность функций ограничена интегрируемой функцией: $$\lim_{n \to \infty} \int_E f_n d\mu = \int_E \lim_{n \to \infty} f_n d\mu$$
4. Наследие и влияние
«Сведенная к своим истинным рамкам, математика представляется мне по большей части лишь перечислением логических тавтологий.»
Влияние на современность: Интеграл Лебега стал абсолютно незаменимым инструментом в высшей математике. Без него невозможно было бы построить аксиоматику теории вероятностей Колмогорова (вероятность определяется как мера, а математическое ожидание — как интеграл Лебега). Его идеи лежат в основе функционального анализа, квантовой механики и современной теории дифференциальных уравнений, где используются пространства Лебега $L^p$.
Награды: Премия Сен-Тура (1917), член Парижской академии наук, иностранный член Лондонского королевского общества.