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

Материал из Викиучебника — открытых книг для открытого мира
Перейти к навигации Перейти к поиску
Теория функций действительного переменного

  1. Эквивалентные множества
  2. Счётные множества
  3. Метрическое пространство
  4. Множества в метрическом пространстве
  5. Сходимость метрического пространства
  6. Непрерывные отображения метрического пространства
  7. Полные метрические пространства
  8. Принцип сжимающихся отображений
  9. Применение принципа сжимающихся отображений
  10. Линейные пространства
  11. Линейные функционалы
  12. Выпуклые множества и функционалы
  13. Нормированные и евклидовы пространства
  14. Непрерывные линейные функционалы
  15. Сопряжённое пространство
  16. Слабая сходимость
  17. Обобщённые функции
  18. Линейные операторы
  19. Компактные операторы
  20. Системы множеств
  21. Мера множеств, измеримые функции
  22. Интеграл Лебега
  23. Теория дифференцирования
  24. Пространства суммируемых функций
  25. Тригонометрические ряды
  26. Ортогональные системы функций
  27. Преобразование Фурье

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

Простые функции[править]

Функция , определённая на некотором пространтсве с мерой, называется простой функцией, если она принимает конечное или счётное число различных значений. Следующая теорема даёт необходимый и достаточный признак измеримости простых функций.

Теорема 1. Функция , принимающая конечное или счётное число различных значений

,

измерима тогда и только тогда, когда все множества

измеримы.

Доказательство.

Необходимость указанного условия очевидна, так как любое множество есть прообраз одноточечного множества , а всякое одноточечное множество является борелевским.

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

,

а следовательно — измерим.

Использование простых функций в конструкции интеграла Лебега основано на следующей теореме.

Теорема 2. Для измеримости функции необходимо и достаточно, чтобы она могла быть представлена в ввиде предела равномерно сходящейся последовательности простых измеримых функций.

Доказательство.

Достаточность условия следует из того, что предел всюду сходящейся последовательности измеримых функций измерим.

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

.

Функции являются простыми, так как принимают только рациональные значения, а множество рациональных чисел — счётно. Последовательность равномерно сходится к , так как

.

Теорема доказана.

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

,

обозначим множества, на которых функция принимает одно и то же значение, следующим образом

.

Если ряд

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

.

Лемма. Пусть множество представлено в виде объединения непересекающихся множеств:

,

причём на множестве простая функция принимает одно значение — , тогда имеет место равенство

,

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

Доказательство. Каждое множество

является объединением тех множеств , для которых . Поэтому имеет место следующее равенство

.

Рассмотрим ряд, составленный из модулей членов исходного ряда:

.

Таким образом, ряды

и

абсолютно сходятся или расходятся одновременно. Лемма доказана.

Докажем некоторые свойства интеграла Лебега от простых функций.

Свойство 1. Интеграл Лебега от суммы простых функций равен сумме интегралов от слагаемых:

,

причём существование интегралов в правой части данного равенства влечёт за собой существование интеграла в правой части.

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

,
.

Функция также является простой и принимает значения на множествах . Из доказанной леммы следует, что

.

Системы множеств и являются покрытиями множества , поэтому имеют места следующие равенства:

,
.

Поэтому

.

Это равенство означает, что из абсолютной сходимости рядов и следует абсолютная сходимость ряда , причём .

Свойство 2. Для любого постоянного числа и простой функции имеет место равенство

,

причём существование интеграла в правой части равенства влечёт существование интеграла в левой части.

Доказательство. Если , то функция везде равна нулю, поэтому равенство становится тривиальным. Рассмотрим случай . Если  — простая функция, принимающая значение на множестве , то функция на множестве принимает значение . Так как умножение всех членов ряда на постоянное число не нарушает (абсолютной) сходимости, следовательно, если является суммируемой на множестве , то функция также является суммируемой на этом множестве.

Свойство 3. Если простая функция ограничена на множестве , то есть сущетсвует число такое, что в любой точке выполняется неравенство

,

то функция является суммируемой на множестве и

.

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

,

если последний ряд абсолютно сходится.

Рассмотрим ряд, составленный из модулей членов исходного ряда:

,

так как , то и , следовательно

.

Система множеств

является покрытием множества , поэтому

,

а следовательно

.

Это значит, что ряд

сходится абсолютно, то есть простая функция, по определению, является суммируемой.

По правилу треугольника для модуля:

.

Из уже доказанного следует, что

.

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

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

называют интегралом функции f(x) по множеству A и обозначают

.

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

  1. Указанный в определении предел существует для любой равномерно сходящейся последовательности простых суммируемых на множестве функций.
  2. Указанный предел не зависит от выбора последовательности .
  3. Для простых функций данное определение переходит в определение интеграла Лебега от простой функции, данное в предыдущем разделе.

Докажем, что данные условия действительно выполняются. Рассмотрим равномерно сходяющуюся последовательность суммируемых на множестве простых функций

.

Оценим разность интегралов от двух произвольных функций этой системы и . По Свойствам 1 и 2 интеграла Лебега от простых функций:

.

По определению верхней грани, имеет место следующее неравенство:

,

следовательно, по Свойству 3 интеграла Лебега для простых функций:

.

Таким образом, если множество имеет конечную меру, то предел из определения действительно существует.

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

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

Свойства интеграла Лебега[править]

Свойство 1. Интеграл от функции, тождественно равной единице, равен мере множества, по которому производится интегрирование:

.

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

Свойство 2. Для любого постоянного числа имеет место равенство

,

причём существование интеграла в правой части равенства влечёт существование интеграла в левой.

Доказательство. Для простых функций данное утверждение уже доказано. Рассмотрим функцию , не являющуюся простой. Если функция является суммируемой, то существует последовательность простых функций , равномерно сходящаяся к , и выполняются равенства

.

Функции последовательности также будут простыми, а сама последовательность будет равномерно сходится к функции . По Свойству 2 интеграла Лебега от простых функций

.

По определению интеграла Лебега

.

А значит

.

Свойство 3. Аддитивность:

,

причём существование интегралов в правой части равенства влечёт существование интеграла в левой.

'Доказательство. Рассмотрим две функции: и . Если эти функции являются суммируемыми, то существуют последовательности простых функций и , равномерно сходящиеся к функциям и соответственно, и выполняется равенства

,
.

По Свойству 1 интеграла Лебега от простых функций:

.

По определению интеграла Лебега для произвольной функции:

.

Объединяя два этих равенства, получим:

.

Свойство 4. Ограниченная на множестве функция суммируема на .

Доказательство. Для простых функций — это свойство уже доказано. Для произвольной ограниченной суммируемой функции построим последовательность простых функций как в доказательстве теоремы 2:

.

Каждая из функций является простой и ограниченной, а следовательно (по свойству 3 простых функций) — суммируемой. Таким образом, функция  — это предел последовательности простых суммируемых функций, а значит она является суммируемой.

Свойство 5. Монотонность: если на , то

(при условии, что интеграл сущетсвует).

Доказательство.

Для простых функций данное свойство следует из определения интеграла Лебега. В общем случае, если  — измеримая неотрицательная функция, то найдётся последовательность неотрицательных простых функций, равномерно сходящаяся к . Действительно, последовательность из доказательства Теоремы 2 будет состоять из неотрицательных простых функций, если . По определению интеграла Лебега для простых функций, интеграл от неотрицательной простой функции есть неотрицательное вещественное число. Следовательно, интеграл Лебега от произвольной неотрицательной измеримой функции есть предел последовательности неотрицательных вещественных чисел, то есть неотрицательное число.

Свойство 5а. Если на , то

.

Доказательство.

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

.

По свойствам 2 и 3:

.

C другой стороны, так как

,

следовательно, по свойству 5:

,

откуда и получается, что

.

Свойство 5б. Если (почти) всюду на , то

.

Доказательство.

Свойство 6. Интеграл по множеству меры нуль равен нулю:

.

Доказательство.

По определению меры:

,

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

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

Свойство 6а. Если почти всюду на множестве выполняется равенство , то имеет место равенство

,

причём интегралы существуют или не существуют одновременно.

Доказательство.

Пусть сначала и  — простые функции. Множество можно представить в виде объединения непересекающихся множеств

,

где  — это множество, на котором , а на каждом из множеств функции и принимают одно и тоже значение . Множество также можно представить в виде объединения непересекающихся множеств

.

Функция принимает на значение , а функция  — , причём

.

Рассмотрим два ряда:

,
.

По условию теоремы : , так как  — это подмножества множества меры нуль, то

,

поэтому:

,
.

Таким образом: ^ . C другой стороны, по Лемме 2:

,
.

Отсюда следует, что свойство действительно справедливо для простых функций.

Свойство 7. Если функция суммируема на множестве и почти всюду на этом множестве имеет место соотношение

,

то функция также суммируема на множестве и

.

Доказательство.

Обозначим множество, на котором выполняется равенство как , тогда:

,
.

Пусть сначала и  — простые функции. В этом случае множество можно представить в виде объединения конечного или счётного числа множеств , на каждом из которых функции и постоянны:

,
,

причём, по условию теоремы, выполняется неравенство

.

Так как функция является суммируемой, то

Свойство 8. Интегралы

и

существуют или не существуют одновременно.

Доказательство.

Так как

,

то, по свойству 7, из существования интеграла следует существование интеграла .

В случае простой функции, обратное вытекает из определения интеграла Лебега для простой функции.

Рассмотрим теперь общий случай. Пусть интеграл существует, тогда существует последовательность простых функций

.

Рассмотрим последовательность модулей этих функций:

.

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

.

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

.

Интеграл Лебега как функция множества[править]

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

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

σ-аддитивность интеграла Лебега[править]

Теорема 3. Если множество является объединением счётного набора непересекающихся множеств:

,

то имеет место равенство

,

причём из существования интеграла в левой части вытекает существование и абсолютная сходимость ряда в правой части.

Доказательство.

Докажем сначала утверждение теоремы для простых функций, то есть функций, принимающих счётное множество значений

.

Пусть

,
.

Тогда интеграл Лебега от функции можно представить в виде ряда:

.

Таким образом, утверждение теоремы доказано для простых функций.

Теперь рассмотрим произвольную (не являющуюся простой) суммируемую функцию . Из интегрируемости функции на множестве следует, что для любого вещественного существует простая интегрируемая на функция такая, что

.

Из этого неравенства, по свойствам интеграла Лебега, следует

.

Так как утверждение теоремы доказано для простых функций, то имеет место равенство

,

причём функция является интегриуемой на каждом из подмножеств , а ряд в правой части последнего равенства сходится абсолютно. Отсюда следует, что функция интегрируема на каждом из и

.

Из последнего неравенства с помощью неравенством треугольника можно получить оценку:

.

Рассмотрим теперь разность

.

Воспользовавшись в первом слагаемом равенством

,

получим

.

Применяя неравенство треугольника, получим:

.

Так как число может быть выбрано произвольно малым, то

.

Следствие. Если функция интегрируема на некотором множестве , то она интегрируема и на любом его измеримом подмножестве .

Теорема 4. Если множество представлено в виде объединения непересекающихся множеств:

и ряд

сходится, то функция является интегрируемой на множестве и имеет место равенство

.

Доказательство. Как и в предыдущей теореме, сначала докажем утверждение для случая простой функции.

Пусть функция принимает счётное множество значений . Пусть также

,
.

Множества по определению являются подмножествами . С другой стороны, по условию теоремы множества покрывают множество , значит:

.
.

Произведём суммирование по :

.

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

.

Таким образом, утверждение теоремы доказано для простых функций.

Произвольную функцию можно аппроксимировать с любой наперёд заданной точностью простой функцией : . Из этого неравенства следует, что

.

Ряд

сходится по свойствам меры, а ряд

сходится по условию теоремы. Из этого следует сходимость ряда

,

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

Неравенство Чебышева[править]

Если функция  — неотрицательна на множестве и задано действительное число , то

.

Для доказательства рассмотрим множество .

По свойствам интеграла Лебега:

,

откуда следует, что

.

Следствие. Если имеет место равенство

,

то функция почти всюду равна нулю.

Абсолютная непрерывность интеграла Лебега[править]

Теорема 5 (об абсолютной непрерывности интеграла Лебега). Если  — суммируемая на множестве функция, то для каждого вещественного числа существует такое вещественное число , что для всякого измеримого подмножества такого, что , имеет место неравенство

.

Доказательство

Пусть

,
,
.

В силу Теоремы 3:

,

причём ряд в правой части сходится. Это означает, что можно выбрать натуральное число так, чтобы

.

Пусть задано некоторое множество , тогда

.

Рассмотрим интегралы, стоящие в правой части по-отдельности. Начнём со второго из этих интегралов:

.

Рассмотрим теперь первый интеграл, по определению множества :

.

Таким образом:

.

Теперь нужно подобрать так, чтобы из следовало, что

.

Очевидно, что для этого достаточно взять

.

Теорема доказана.

Выводы[править]

Установленные результаты приводят к следующему выводу. Пусть неотрицательная функция является суммируемой в пространстве по мере . Тогда функция

определена для всех измеримых подмножеств , неотрицательная и σ-аддитивна. Таким образом, интеграл от неотрицательной функции как функция множества обладает всем свойствами σ-аддитивной меры, определённой на той же σ-алгебере, что и мера . Кроме того

.

Предельный переход под знаком интеграла[править]

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

Теорема 6 (Лебег). Если последовательность сходится к некоторому пределу на множестве и для всех натуральных чисел имеет место неравенство

,

где  — интегрируемая на множестве , то предельная функция также интегрируема на и

.

Доказательство.

Пусть задано произвольное вещественно число . По теореме 5 можно указать такое вещественное число , что из следует, что

.

Так как , то

.

Из условия теоремы следует, что , а значит, по свойству 7, функция является интегрируемой. Кроме того, выполняется следующее неравенство:

.

В силу теоремы Егорова, множество можно выбрать таким образом, чтобы последовательность сходилась на множестве равномерно. Следовательно, можно указать такое целое число , что для всех и выполняется неравенство

.

Следовательно

.

В силу аддитивности интеграла Лебега:

.

Используя неравенство многоугольника и неравенства, полученные выше, получим:

.

Теорема доказана.

Следствие. Пусть дана последовательность ограниченных функций , то есть , и , тогда

.

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

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

.

Причём интегралы этих функций ограничены в совокупности:

.

Тогда почти всюду на множестве существует конечный предел

,

функция является интегрируемой и

.

Теорема 8 (Фату). Если последовательность измеримых неотрицательных функций сходится почти всюду на множестве к функции и

,

то функция является интегрируемой на множестве и

.

Сравнение интегралов Римана и Лебега[править]

Интеграл Лебега по множеству бесконечной меры[править]