Дискуссионный математический форумМатематический форум
Математический форум Math Help Planet

Обсуждение и решение задач по математике, физике, химии, экономике

Теоретический раздел
Часовой пояс: UTC + 3 часа [ Летнее время ]
новый онлайн-сервис
число, сумма и дата прописью

Часовой пояс: UTC + 3 часа [ Летнее время ]


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

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


Рассмотрим одно из центральных понятий математического анализа — интеграл Лебега.


Понятие интеграла Лебега


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


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


Интегралы Римана и Лебега

Рассмотрим, как связаны между собою мера множеств и интеграл Лебега. Пусть E — какое-либо измеримое множество, расположенное та некотором отрезке [a,b]. Построим функцию \varphi(x) равную 1 для x, принадлежащих E, и равную 0 для x, не принадлежащих E. Иными словами, зададим функцию


\varphi(x)=\begin{cases}1,&\text{if}\quad x\in E;\\0,&\text{if}\quad x\notin E.\end{cases}

Функцию \varphi(x) принято называть характеристической функцией множества E. Рассмотрим интеграл


I=\int\limits_{a}^{b}\varphi(x)\,dx.

Мы уже привыкли считать, что интеграл равен площади фигуры D, ограниченной осью абсцисс, прямыми x=a,~x=b и кривой y=\varphi(x). Так как в данном случае "высота" фигуры D отлична от нуля и равна 1 для точек x\in E и только для этих точек, то (согласно формуле, площадь равна длине, умноженной на ширину) её площадь должна быть численно равна длине (мере) множества E. Итак, I должно быть равно мере множества E


I=\mu E.~~~~~~~~~(1)

Именно так и определяет Лебег интеграл от функции \varphi(x).


Мы должны твердо уяснить себе, что равенство (1) является определением интеграла \int\limits_{a}^{b}\varphi(x)\,dx как интеграла Лебега. Может случиться, что интеграл I не будет существовать в том смысле, как это понималось для интеграла Римана, т. е. как предел интегральных сумм. Даже если это последнее имеет место, интеграл I как интеграл Лебега существует и равен \mu E.


В качестве примера подсчитаем интеграл от функции Дирихле \Phi(x), равной 0 в рациональных точках отрезка [0, 1] и равной 1 в иррациональных точках этого отрезка. Так как, согласно (5), мера множества иррациональных точек отрезка [0, 1] равна 1, то интеграл Лебега \textstyle{\int\limits_{0}^{1}\Phi(x)\,dx} равен 1. Нетрудно проверить, что интеграл Римана от этой функции не существует.


Пусть теперь f(x) — произвольная ограниченная измеримая функция, заданная на отрезке [a,b]. Покажем, что всякую такую функцию можно сколь угодно точно представить в виде линейной комбинации характеристических функций множеств. Чтобы убедиться в этом, разобьем отрезок оси ординат между нижней и верхней гранями значений функции A и B точками y_0=A, y_1,\ldots,y_n=B на отрезки длины меньшей \varepsilon, где \varepsilon — произвольное фиксированное положительное число. Далее, если в точке x\in[a,b]


y_i\leqslant f(x)<y_{i+1}\quad(i=0,1,\ldots,n-1), то положим в этой точке \varphi(x)=y_i,

а если в точке x f(x)=y_n=Bб то положим \varphi(x)=y_n.. Построение функции \varphi(x) показано на рис. 3.


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

Согласно построению функции \varphi(x), в любой точке отрезка [a,b]


|f(x)-\varphi(x)|<\varepsilon.

Кроме того, так как функция \varphi(x) принимает лишь конечное число значений y_0,y_1,\ldots,y_n, то её можно записать в виде


\varphi(x)=y_0\cdot\varphi_0(x)+y_1\cdot\varphi_1(x)+\cdots+y_n\cdot\varphi_n(x)=\sum_{i=0}^{n}y_i\cdot\varphi_i(x),~~~~~~~~(2)

где \varphi_i(x) — характеристическая функция того множества, где \varphi(x)y_i, т. е. y_i\leqslant f(x)<y_{i+1} (в каждой точке x\in[a,b] лишь одно слагаемое в правой части формулы (2) отлично от нуля!).




Определение интеграла Лебега


Переходим к определению интеграла Лебега от произвольной ограниченной измеримой функции. Так как функция \varphi(x) мало отличается от функции f(x), то в качестве приближенного значения интеграла от функции f(x) можно принять интеграл от функции \varphi(x). Но, замечая, что функции \varphi_i(x) являются характеристическими функциями множеств, и пользуясь формально обычными правилами вычисления интеграла, получаем


\begin{aligned} \int\limits_{a}^{b}\varphi(x)\,dx&=\int\limits_{a}^{b}\Bigl(y_0\varphi_0(x)+y_1\varphi_1(x)+\cdots+y_n\varphi_n(x)\Bigl)dx=\\ &=y_0\int\limits_{a}^{b}\varphi_0(x)\,dx+y_1\int\limits_{a}^{b}\varphi_1(x)\,dx+\cdots+y_n\int\limits_{a}^{b}\varphi_n(x)\,dx=\\ &=y_0\mu\mathcal{E}_0+y_1\mu\mathcal{E}_1+\cdots+y_n\mu\mathcal{E}_n. \end{aligned}

где \mu\mathcal{E}_i есть мера множества \mathcal{E}_i тех x, для которых выполняется неравенство y_i\leqslant f(x)<y_{i+1}.


Итак, приближенным значением интеграла Лебега от функции f(x) является интегральная сумма Лебега


S=y_0\mu\mathcal{E}_0+y_1\mu\mathcal{E}_1+\cdots+y_n\mu\mathcal{E}_n=\sum_{i=0}^{n}y_i\mu\mathcal{E}_i.

В соответствии с этим интеграл Лебега определяется как предел интегральных сумм Лебега S, когда


\max_{x\in\mathbb{R}}|y_{i+1}-y_i|\to0,

что соответствует равномерной сходимости функций \varphi(x) к функции f(x).



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




Свойства интеграла Лебега


Интеграл Лебега обладает всеми хорошими свойствами обычного интеграла, именно, интеграл от суммы равен сумме интегралов, постоянный множитель можно выносить за знак интеграла и т. д. Однако интеграл Лебега обладает еще одним замечательным свойством, которым обычный интеграл не обладает : если измеримые функции f_n(x) ограничены в совокупности:


|f_n(x)|<K

для любого n и любого x из отрезка [a,b] и последовательность \{f_n(x)\} сходится почти всюду к функции f(x), то


\int\limits_{a}^{b}f_n(x)\,dx\to\int\limits_{a}^{b}f(x)\,dx.

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


Приведем пример. Пусть f(x) — периодическая функция с периодом 2\pi и


\frac{a_0}{2}+\sum_{n=1}^{\infty}\Bigl(a_n\cos{nx}+b_n\sin{nx}\Bigl) — ее ряд Фурье.

Если, например, функция f(x) непрерывна, то, как нетрудно показать,


\frac{1}{\pi}\int\limits_{a}^{b}f^2(x)\,dx=\frac{a_0^2}{2}+\sum_{n=1}^{\infty}\Bigl(a_n^2+b_n^2\Bigl).~~~~~~~~~(3)

Это тождество носит название равенства Парсеваля.


Рассмотрим такой вопрос: для какого класса периодических функций справедливо равенство Парсеваля (3)? Ответ на этот вопрос гласит: равенство Парсеваля (3) выполняется в том и только в том случае, если функция f(x) измерима на отрезке [0;2\pi] и функция f^2(x) интегрируема по Лебегу на этом отрезке.

Математический форум (помощь с решением задач, обсуждение вопросов по математике).
Кнопка "Поделиться"
Если заметили ошибку, опечатку или есть предложения, напишите в комментариях.

Часовой пояс: UTC + 3 часа [ Летнее время ]


Яндекс.Метрика

Copyright © 2010-2023 MathHelpPlanet.com. All rights reserved