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

Размещено на http://www.allbest.ru/

Министерство образования и науки Российской Федерации

ФГБОУ ВПО

Российский государственный геологоразведочный университет имени Серго Орджоникидзе

МГРИ-РГГРУ

Геофизический факультет

Кафедра математики

Эссе

по теме:

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

Москва 2015

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

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

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

Мы уже привыкли считать, что интеграл равен площади фигуры , ограниченной осью абсцисс, прямыми и кривой . Так как в данном случае "высота" фигуры отлична от нуля и равна 1 для точек и только для этих точек, то (согласно формуле, площадь равна длине, умноженной на ширину) её площадь должна быть численно равна длине (мере) множества . Итак, должно быть равно мере множества

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

Мы должны твердо уяснить себе, что равенство (1) является определением интеграла как интеграла Лебега. Может случиться, что интеграл не будет существовать в том смысле, как это понималось для интеграла Римана, т.е. как предел интегральных сумм. Даже если это последнее имеет место, интеграл как интеграл Лебега существует и равен .

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

Пусть теперь -- произвольная ограниченная измеримая функция, заданная на отрезке . Покажем, что всякую такую функцию можно сколь угодно точно представить в виде линейной комбинации характеристических функций множеств. Чтобы убедиться в этом, разобьем отрезок оси ординат между нижней и верхней гранями значений функции и точками , на отрезки длины меньшей , где -- произвольное фиксированное положительное число. Далее, если в точке

то положим в этой точке

а если в точке то положим

В любой точке отрезка

Кроме того, так как функция принимает лишь конечное число значений , то её можно записать в виде

интеграл лебег функция предел

 (2)

где -- характеристическая функция того множества, где , т. е. (в каждой точке лишь одно слагаемое в правой части формулы (2) отлично от нуля!).

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

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

где есть мера множества тех , для которых выполняется неравенство .

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

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

что соответствует равномерной сходимости функций к функции .

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

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

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

для любого и любого из отрезка и последовательность сходится почти всюду к функции , то

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

Приведем пример. Пусть -- периодическая функция с периодом и

-- ее ряд Фурье.

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

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

Рассмотрим такой вопрос: для какого класса периодических функций справедливо равенство Парсеваля (3)? Ответ на этот вопрос гласит: равенство Парсеваля (3) выполняется в том и только в том случае, если функция измерима на отрезке и функция интегрируема по Лебегу на этом отрезке.

Размещено на Allbest.ru