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

МИНИСТЕРСТВО ОБРАЗОВАНИЯ  И НАУКИ РОССИЙСКОЙ ФЕДЕРАЦИИ

 

ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ БЮДЖЕТНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ

ВЫСШЕГО ПРОФЕССИОНАЛЬНОГО  ОБРАЗОВАНИЯ

 

МУРМАНСКИЙ ГОСУДАРСТВЕННЫЙ ГУМАНИТАРНЫЙ УНИВЕРСИТЕТ

 

Факультет физико-математического  образования, информатики

и программирования

 

Кафедра математики и математических методов в экономике

 

 

 

 

К У Р С О В А Я    Р А Б О Т А

 

ИНТЕГРАЛ ЛЕБЕГА

 

 

 

Выполнила:

Горбатенко Елена Сергеевна, студентка группы ПМИ, II курса ФМОИиП,

очной формы обучения

 

Научный руководитель:

Верещагин Борис Михайлович,

кандидат физико –  математических наук,

доцент кафедры МиММЭ

 

 

 

 

Мурманск

2013

 

СОДЕРЖАНИЕ

 

ВВЕДЕНИЕ …………………………………………………………………3

ГЛАВА 1. ……………………………………………………………………4

1.1. Простые функции ……………………………………………………...4

1.2. Интеграл Лебега от простых функций……………………………… 5

ГЛАВА 2…………………………………………………………………... 9

2.1. Определение интеграла Лебега……………………………………... 9

2.2. Основные свойства интеграла……………………………………… 18

2.3. Предельный переход под знаком интеграла ….………………….....26

ГЛАВА 3. ……………………………………………………………………31

3.1. Сравнение интегралов Римана и Лебега ….………………………....31

3.2. Примеры ….…………………………………………………….……...40

 

ЗАКЛЮЧЕНИЕ 29

ИСТОЧНИКИ И ЛИТЕРАТУРА 45

 

 

 

 

 

Введение

 

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

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

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

Всюду, где не оговорено  противное, будет рассматриваться  некоторая полная s-аддитивная мера m, определенная на s-алгебре множеств с единицей X. Все рассматриваемые множества А Ì Х будут предполагаться измеримыми, а функции f(x) - определенными для xÎ Х и измеримыми.

 

ГЛАВА 1.

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

 

Определение 1. Функция f(x), определенная на некотором пространстве Х с заданной на нем мерой, называется простой, если она измерима и принимает не более, чем счетное число значений.

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

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

 

y₁, y₂, … , y_n, … ,

 

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

 

A_n={x : ¦(x)=y_n}

 

измеримы.

Доказательство. Необходимость условия ясна, так как каждое A_n есть прообраз одноточечного множества {y_n}, а всякое одноточечное множество является борелевским. Достаточность следует из того, что в условиях теоремы прообраз f^-1(B) любого борелевского множества есть объединение не более чем счетного числа измеримых множеств A_n, т. е. измерим.

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

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

Доказательство. Для доказательства необходимости рассмотрим произвольную измеримую функцию f(x) и положим f_n(х)=m/п, если т/п f(x)<(m+1)/n (здесь т - целые, а п - целые положительные). Ясно, что функции f_n(x) простые; при п® они равномерно сходятся к f(x), так как çf(x)- f_n(x)ç£1/n.

 

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

 

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

Пусть f—некоторая простая функция, принимающая значения

 

y₁, y₂, … , y_n, … ; y_i y_j при i j,

 

и пусть А — некоторое измеримое подмножество X.

Естественно определить интеграл от функции f по множеству А равенством

 

=

 

где A_n={x: x A, f(x)=y_n}, (1) если ряд справа сходится. Мы приходим к следующему определению (в котором по понятным причинам заранее постулируется абсолютная сходимость ряда).

Определение 2. Простая функция f называется интегрируемой или суммируемой (по мере m) на множестве A, если ряд (1) абсолютно сходится. Если f интегрируема, то сумма ряда (1) называется интегралом от f по множеству А.

В этом определении предполагается, что все у_n различны. Можно, однако, представить значение интеграла от простой функции в виде суммы произведений вида c_km(B_k) и не предполагая, что все c_k различны. Это позволяет сделать следующая лемма.

Лемма. Пусть А= , B_i B_j=Æ при i j и пусть на каждом множестве B_k функция f принимает только одно значение c_k; тогда

= , (2) причем функция f интегрируема на А в том и только том случае, когда ряд (2) абсолютно сходится.

Доказательство. Легко видеть, что каждое множество

 

А_n={х: хÎА, f(x)=y_n}

 

является объединением тех B_k, для которых с_k=y_n. Поэтому

 

= = .

 

Так как мера неотрицательна, то

 

= = ,

 

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

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

 

A) = + ,

 

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

Для доказательства предположим, что f принимает значения f_i на множествах F_i Ì A, a g — значения g_j на множествах G_j Ì A, так что

J₁= = , (3)

J₂= = . (4)

 

Тогда в силу леммы

 

J= = ; (5)

 

так что из абсолютной сходимости рядов (3) и (4) следует и абсолютная сходимость ряда (5); при этом

 

J=J₁+J₂.

 

Б) Для любого постоянного k

 

=k ,

 

причем из существования  интеграла в правой части следует существование интеграла в левой части. (Проверяется непосредственно.)

В) Ограниченная на множестве А простая функция f интегрируема на А, причем, если ½f(x)½£ M на A, то

 

½ ½£ M_m(A).

 

(Проверяется непосредственно.)

 

ГЛАВА 2.

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

 

Классическое определение интеграла, данное О. Коши и развитое Б. Риманом, состоит, как известно, в следующем: рассматривается конечная функция f(x), заданная на сегменте [a, b]; этот сегмент разбивается на части точками

 

x₀ = a < x₁ < x₂ < ¼ < x_n = b

 

в каждой части [x_k, x_k+1] выбирается точка x_k и составляется риманова сумма

 

s = .

 

Если сумма s при стремлении к нулю числа

 

l = max(x_k+1 – x_k).

 

стремится к конечному пределу I, не зависящему ни от способа дробления [a, b], ни от выбора точек x_k, то этот предел I называется интегралом Римана функции f(x) и обозначается символом

 

.

 

Иногда, желая подчеркнуть, что  речь идет именно о римановом интеграле, пишут

 

(R) .

 

Функции, для которых  интеграл Римана существует, называются интегрируемыми в смысле Римана или, короче, интегрируемыми (R). Для интегрируемости (R) функции f(x) необходимо, чтобы она была ограниченной.

Еще Коши установил, что  всякая непрерывная функция интегрируема (R). Существуют также и разрывные функции, интегрируемые (R). В частности, такова любая разрывная монотонная функция.

Легко построить, однако, ограниченную функцию, которая не будет  интегрируемой (R). Рассмотрим, например, функцию Дирихле , которая определяется на сегменте [0, 1] следующим образом

 

1, если x рационально,

y(x) =

0, если x иррационально.

 

Легко видеть, что эта функция  не интегрируема (R), ибо сумма s обращается в 0, если все точки x иррациональны и s = 1, если все рациональны.

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

Нетрудно разобраться в причинах этого обстоятельства.

Дело заключается в следующем: при составлении сумм Римана s, мы дробим сегмент [a, b] на мелкие части [x₀, x₁], [x₁, x₂], ¼ ,[x_n-1, x_n] (назовем их через e₀, e₁, ¼ , e_n-1), в каждой части e_k берем точку x_k и, составив сумму

 

s = ,

 

требуем, чтобы она  имела предел, не зависящий от выбора точек x_k в множествах е_k. Иначе говоря, каждая точка х из множества е_k может быть взята за x_k, а варьирование этой точки не должно заметно влиять на значение суммы s. А это возможно лишь в том случае, когда варьирование точки x_k мало изменяет величину f(x_k). Но что же объединяет между собой различные точки х множества e_k? Их объединяет то, что они близки друг другу, ибо е_k есть малый сегмент [x_k, x_k+1].

Если функция f(x) непрерывна, то достаточная близость абсцисс х влечет за собой и близость соответствующих значений функции и мы вправе ждать, что изменение точки x_k в пределах множества e_k мало влияет на величину суммы s, но для функция разрывной это вовсе не так.

Иначе можно сказать, что множества e_k составлены так, что только для непрерывных функций значение f(x_k) можно считать нормальным представителем других значений функции на e_k.

Таким образом, самое  определение риманова интеграла  можно считать вполне оправданным  лишь для функций непрерывных, для прочих же функций оно выглядит довольно случайным. Ниже мы убедимся, что для интегрируемости (R) необходимо, чтобы рассматриваемая функция не была «слишком разрывной».

Желая обобщить понятие  интеграла на более широкие классы функций, Лебег предложил другой процесс интегрирования, в котором точки x объединяются в множества e_k не по случайному признаку своей близости на оси Ох, а по признаку достаточной близости соответствующих значений функции. С этой целью Лебег разбивает на части не сегмент [a, b], расположенный на оси абсцисс, а сегмент [А, В], лежащий на оси ординат и включающий все значения функции f(x):

 

A = y_o < y₁ < ¼ < y_n = B

 

Если составить множества e_k так:

 

e_k = E(y_k £ f < y_k+1),

 

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

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

 

.

 

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

Пусть на измеримом множестве E задана измеримая ограниченная функция f(x), причем

 

A<f(x)<B. (1)

 

Разобьем сегмент [А, В] на части точками

 

y_o = A < y₁ < y₂ < ¼ < y_n = B

 

и соотнесем каждому полусегменту [у_k , у_k+1) множество

 

e_k = E(y_k £ f < y_k+1)

 

Легко проверить четыре свойства множеств e_k:

1) Множества e_k попарно не пересекаются: e_ke_k¢ = 0 (k ¹ k').

2) Эти множества измеримы.

 

3) E =

4) тЕ =

 

Введем теперь нижнюю и верхнюю суммы Лебега s и S: