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

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

История

Развитие интеграла Лебега связано с потребностями математического анализа конца XIX — начала XX века. Классический интеграл Римана, введённый Бернхардом Риманом в 1854 году, имел ограничения: он был определён только для функций, непрерывных почти всюду, и не позволял корректно интегрировать функции, разрывные на множествах положительной меры. Кроме того, интеграл Римана не обладал достаточной сходимостью при предельных переходах.

Французский математик Анри Лебег в своей диссертации 1902 года «Интеграл, длина, площадь» (фр. Intégrale, longueur, aire) предложил новую конструкцию интеграла, основанную на теории меры, разработанной ранее Эмилем Борелем и Камилем Жорданом. Лебег обобщил понятие длины отрезка на произвольные измеримые множества, введя меру Лебега, и построил интеграл, который теперь носит его имя.

В 1910-х годах интеграл Лебега был развит и дополнен работами Иоганна Радона, который обобщил его на произвольные пространства с мерой (интеграл Радона). В 1930-х годах Андрей Колмогоров использовал интеграл Лебега для аксиоматического построения теории вероятностей, что стало одним из ключевых приложений.

Определение

Интеграл Лебега строится в несколько этапов, начиная с простых функций и распространяясь на более широкий класс.

Простые функции

Пусть \((X, \mathcal{F}, \mu)\) — пространство с мерой, где \(X\) — множество, \(\mathcal{F}\) — сигма-алгебра измеримых подмножеств, \(\mu\) — мера. Функция \(f: X \to \mathbb{R}\) называется простой, если она принимает лишь конечное число значений и измерима (то есть прообраз любого борелевского множества измерим). Простую функцию можно представить в виде:

\[ f(x) = \sum_{i=1}^{n} a_i \cdot \chi_{A_i}(x), \]

где \(a_i \in \mathbb{R}\), \(A_i \in \mathcal{F}\) — попарно непересекающиеся множества, \(\chi_{A_i}\) — индикаторная функция множества \(A_i\) (равна 1 на \(A_i\) и 0 вне его).

Интеграл Лебега от простой неотрицательной функции определяется как:

\[ \int_X f \, d\mu = \sum_{i=1}^{n} a_i \cdot \mu(A_i). \]

Неотрицательные измеримые функции

Для произвольной неотрицательной измеримой функции \(f: X \to [0, \infty]\) интеграл Лебега определяется как верхняя грань интегралов от простых функций, не превосходящих \(f\):

\[ \int_X f \, d\mu = \sup \left\{ \int_X s \, d\mu \mid 0 \leq s \leq f, \; s \text{ — простая} \right\}. \]

Интегрируемые функции

Для функции \(f\), принимающей значения любого знака, её разбивают на положительную и отрицательную части:

\[ f^+(x) = \max(f(x), 0), \quad f^-(x) = \max(-f(x), 0). \]

Функция \(f\) называется интегрируемой по Лебегу (или суммируемой), если интегралы от \(f^+\) и \(f^-\) конечны. Тогда интеграл определяется как:

\[ \int_X f \, d\mu = \int_X f^+ \, d\mu - \int_X f^- \, d\mu. \]

Если хотя бы один из интегралов бесконечен, интеграл от \(f\) не определён.

Свойства

Интеграл Лебега обладает рядом свойств, аналогичных интегралу Римана, но в более общем контексте:

• Линейность: \(\int (af + bg) \, d\mu = a \int f \, d\mu + b \int g \, d\mu\) для любых интегрируемых \(f, g\) и констант \(a, b\).
• Монотонность: если \(f \leq g\) почти всюду, то \(\int f \, d\mu \leq \int g \, d\mu\).
• Аддитивность по множеству: для непересекающихся измеримых множеств \(A\) и \(B\): \(\int_{A \cup B} f \, d\mu = \int_A f \, d\mu + \int_B f \, d\mu\).
• Сходимость по мере: если последовательность функций сходится по мере к \(f\) и равномерно интегрируема, то интегралы сходятся.
• Теорема Лебега о мажорируемой сходимости: если \(f_n \to f\) почти всюду и \(|f_n| \leq g\) для интегрируемой \(g\), то \(\int f_n \, d\mu \to \int f \, d\mu\).

Сравнение с интегралом Римана

Интеграл Лебега является обобщением интеграла Римана в следующем смысле:

• Если функция интегрируема по Риману на отрезке \([a, b]\), то она интегрируема и по Лебегу, и значения интегралов совпадают.
• Существуют функции, интегрируемые по Лебегу, но не по Риману. Классический пример — функция Дирихле: \(D(x) = 1\) для рациональных \(x\) и \(0\) для иррациональных. Она не интегрируема по Риману, так как разрывна в каждой точке, но интегрируема по Лебегу, поскольку равна нулю почти всюду (множество рациональных чисел имеет меру нуль), и её интеграл равен 0.
• Интеграл Лебегу применим к функциям, определённым на произвольных пространствах с мерой, а не только на отрезках вещественной прямой.

Применение

Интеграл Лебега является фундаментальным инструментом в различных областях математики и её приложений:

• Теория вероятностей: математическое ожидание случайной величины определяется как интеграл Лебега по вероятностной мере. Это позволяет строго определить моменты, дисперсию и другие характеристики.
• Функциональный анализ: пространства \(L^p\) (пространства Лебега) состоят из функций, интегрируемых в \(p\)-й степени по Лебегу. Они являются банаховыми пространствами и широко используются в теории дифференциальных уравнений, гармоническом анализе и квантовой механике.
• Теория меры и интегрирования: интеграл Лебега служит основой для построения интегралов Радона, Стилтьеса и других обобщений.
• Математическая физика: в квантовой механике интеграл Лебега используется для определения средних значений наблюдаемых величин, а в теории поля — для функциональных интегралов.
• Экономика и финансы: в стохастическом исчислении интеграл Лебега применяется для моделирования случайных процессов, например, в формуле Ито.

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

• Анри Лебег ввёл свой интеграл в возрасте 27 лет, и первоначально его работа была встречена скептически из-за сложности и абстрактности.
• Интеграл Лебега позволяет интегрировать функции, которые не являются непрерывными ни в одной точке, но при этом имеют конечный интеграл.
• В теории меры интеграл Лебега часто называют «интегралом по мере», подчёркивая его зависимость от выбора меры.
• Существует обобщение — интеграл Лебега — Стилтьеса, где мера заменяется на функцию распределения.

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

Несмотря на свою мощь, интеграл Лебега имеет некоторые ограничения:

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

Источники

• Лебег, А. «Интеграл, длина, площадь» (1902).
• Колмогоров, А. Н., Фомин, С. В. «Элементы теории функций и функционального анализа» (1976).
• Рудин, У. «Основы математического анализа» (1976).
• Халмош, П. «Теория меры» (1950).