106. Интеграл Лебега.
Переходим к определению интеграла Лебега. Пусть на измеримом множестве конечной меры Е задана ограниченная измеримая функция. Из ограниченности
следует существование такого числа
что
при
Разбиваем Е на конечное число измеримых подмножеств попарно без общих точек:
и пусть
- точная нижняя и верхняя границы значений на Е. Составляем суммы
где
обозначает подразделение (39). Эти суммы, очевидно, ограничены при любых подразделениях:
Пусть
точная верхняя граница
точная нижняя граница
при всевозможных
.
Определение. Если
то говорят, что
интегрируема по Е, и величину интеграла считают равной
Определенный таким образом интеграл называется интегралом Лебега. Отметим вид
подынтегрального выражения и тот факт, что мы пишем один знак интеграла во всех случаях: прямой, плоскости,
-мерного пространства. В дальнейшем мы будем придерживаться этих обозначений. Только в
при изложении вопроса о приведении кратного интеграла к последовательным квадратурам, мы будем записывать подынтегральное выражение в более подробной форме и знак интеграла при кратном интегрировании будем писать несколько раз. Так, например, для интеграла на плоскости можно писать
Введем понятие произведения подразделений [ср. I, 115-117]. Положим, что наряду с подразделением (39) мы имеем другое подразделение
;
Произведением подразделений (41) и (42) называется подразделе
состоящее из всевозможных частичных множеств
Эти последние не имеют попарно общих точек, но могут быть и пустыми. Подразделение
называем продолжением подразделения (39), если каждое
при надлежит только одному из
. При переходе от некоторого подразделения
к его продолжению сумма
не убывает и
не воз растает. Если
— два каких-либо подразделения, то откуда
и, в частности [I, 115],
Кроме сумм (40), составим сумму
где
Имеем, очевидно,
Теорема. Для равенства
необходимо и достаточно, чтобы существовала такая последовательность подразделений
которой
Доказываем достаточность. Если
, то из (43) следует, что
.
Доказываем необходимость. Пусть
. По определению
существуют такие последовательности подразделений
, что
. Для последовательности подразделений
тем более
Но
и, следовательно,
.
Доказанная теорема дает необходимое и достаточное условие интегрируемости
Отметим, что в подразделениях
частичные множества не должны обязательно измельчаться, т. е. наибольший из их диаметров не должен обязательно стремиться к нулю.
Если существует последовательность подразделений
для которой
, то
и из (44) следует, что и
при любом выборе точек
из
Если
суть продолжение
то все сказанное выше имеет место и для
Мы укажем сейчас такую последовательность подразделений
что для любой ограниченной измеримой функции, определенной на множестве
конечной меры,
откуда будет следовать интегрируемость такой функции. Пусть
— точные нижняя и верхняя границы значений
на Е. Разобьем промежуток
на частя
и определим следующим образом разбиение
множества Е на частичные множества:
Отсюда следует, что
и, таким образом,
и тем более
Образуем разность между крайними членами этого неравенства;
Пусть
наибольшая
разностей
. Имеем в силу того, что сумма
равна
Если мы возьмем такую последовательность подразделений
для которых соответствующая величина
при
, то разность между крайними членами неравенства (48) стремится к нулю, и, следовательно,
интегрируема. Отметим, что условие
при
сводится к беспредельному измельчению разбиения промежутка
изменения функции
Подразделение (46) множества Е называется обычно подразделением Лебега, а обе суммы, входящие в неравенство (47), соответствующими суммам и Лебега. Из сказанного выше следует
Основная теорема. Всякая ограниченная, измеримая на измеримом множестве Е конечной меры функция
интегрируема по Е, и величина интеграла равна пределу сумм Лебега или сумм
при любом выборе
для подразделений Лебега при беспредельном измельчении промежутка
изменения функции.
Суммы
будут иметь, как мы упоминали выше, тот же предел и для любых продолжений
подразделений
о которых говорилось в теореме.