РУБРИКИ

Курсовая: Интеграл Лебега

 РЕКОМЕНДУЕМ

Главная

Правоохранительные органы

Предпринимательство

Психология

Радиоэлектроника

Режущий инструмент

Коммуникации и связь

Косметология

Криминалистика

Криминология

Криптология

Информатика

Искусство и культура

Масс-медиа и реклама

Математика

Медицина

Религия и мифология

ПОДПИСКА НА ОБНОВЛЕНИЕ

Рассылка рефератов

ПОИСК

Курсовая: Интеграл Лебега

Курсовая: Интеграл Лебега

ВОЛОГОДСКИЙ ГОСУДАРСТВЕННЫЙ ПЕДАГОГИЧЕСКИЙ УНИВЕРСИТЕТ

ФИЗИКО-МАТЕМАТИЧЕСКИЙ ФАКУЛЬТЕТ

КАФЕДРА МАТЕМАТИЧЕСКОГО АНАЛИЗА

Курсовая работа на тему:

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

Выполнила: студентка 3мфА

Сенченко Ю. В.

Проверила: Панфилова Т. Л.

Вологда

2000

Содержание.

1. Введение.

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

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

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

3. Основные свойства интеграла.

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

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

6. Примеры.

7. Литература.

1. Введение

Понятие интеграла Римана, известное из элементарного курса анализа, применимо

лишь к таким функциям, которые или непрерывны или имеют «не слишком много»

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

они определены (или же вообще могут быть заданы на аб­страктном множестве,

так что для них понятие непрерывности просто не имеет смысла), римановская

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

имеется весьма совершенное и гибкое понятие интеграла, вве­денное Лебегом.

Основная идея построения интеграла Лебега состоит в том, что здесь, в отличие от

интеграла Римана, точки х группируют­ся не по признаку их близости на

оси х, а по признаку близости значений функции в этих точках. Это сразу

же позволяет рас­пространить понятие интеграла на весьма широкий класс функций.

Кроме того, интеграл Лебега определяется совершенно оди­наково для функций,

заданных на любых пространствах с ме­рой, в то время как интеграл Римана

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

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

функций же на абстрактных пространствах с мерой инте­грал Римана вообще не

имеет смысла.

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

s-аддитивная мера m, определенная на s-алгебре множеств с единицей X.

Все рассматриваемые множества А Ì Х будут предполагаться

измеримыми, а функции f(x) - определенными для xÎ Х и

измеримыми.

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

Определение 1. Функция f(x), определенная на некото­ром пространстве

Х с заданной на нем мерой, называется про­стой, если она измерима и

принимает не более, чем счетное число значений.

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

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

число различных значений

y1, y2, . , yn, . ,

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

An={x : ¦(x)=yn}

измеримы.

Доказательство. Необходимость условия ясна, так как каждое A

n есть прообраз одноточечного множества {yn}, а

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

того, что в условиях теоремы прообраз f-1(B) любого

борелевского множества есть объединение Курсовая: Интеграл Лебега

не более чем счетного числа измеримых множеств An, т. е.

измерим.

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

на следующей теореме.

Теорема 2. Для измеримости функции f(x) необходимо и

достаточно, чтобы она могла быть представлена в виде предела равномерно

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

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

произвольную измеримую функцию f(x) и положим fn(х)=m/п,

если т/пКурсовая: Интеграл Лебега

f(x)<(m+1)/n (здесь т - целые, а п - целые

положительные). Ясно, что функции fn(x) простые; при п®Курсовая: Интеграл Лебега

они равномерно сходятся к f(x), так как çf(x)- fn

(x)ç£1/n.

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

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

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

значений.

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

y1, y2, . , yn, . ; yiКурсовая: Интеграл Лебега yj при iКурсовая: Интеграл Лебега j,

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

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

Курсовая: Интеграл Лебега =Курсовая: Интеграл Лебега

, где An={x: xКурсовая: Интеграл Лебега

A, f(x)=yn},

(1) если ряд справа сходится. Мы приходим к следующему опре­делению (в котором

по понятным причинам заранее постули­руется абсолютная сходимость ряда).

Определение 2. Простая функция f называется интегри­руемой или

суммируемой (по мере m) на множестве A, если ряд (1) абсолютно сходится.

Если f интегрируема, то сумма ряда (1) называется интегралом от

f по множеству А.

В этом определении предполагается, что все уn различны.

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

произведений вида ckm(Bk) и не предпо­лагая, что все

ck различны. Это позволяет сделать следующая лемма.

Лемма. Пусть А=Курсовая: Интеграл Лебега

, BiКурсовая: Интеграл Лебега B

j=Æ при iКурсовая: Интеграл Лебега

j и пусть на каждом множестве Bk функция f принимает только одно

значе­ние ck; тогда

Курсовая: Интеграл Лебега =Курсовая: Интеграл Лебега

,

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

(2) абсолютно сходится.

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

Аn={х: хÎА, f(x)=yn}

является объединением тех Bk, для которых сk=yn. Поэтому

Курсовая: Интеграл Лебега =Курсовая: Интеграл Лебега Курсовая: Интеграл Лебега =Курсовая: Интеграл Лебега .

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

Курсовая: Интеграл Лебега =Курсовая: Интеграл Лебега =Курсовая: Интеграл Лебега ,

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

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

A) Курсовая: Интеграл Лебега =Курсовая: Интеграл Лебега +Курсовая: Интеграл Лебега ,

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

существование интеграла в левой.

Для доказательства предположим, что f принимает значения fi

на множествах Fi Ì A, a g — значения g

j на множествах Gj Ì A, так что

J1=Курсовая: Интеграл Лебега =Курсовая: Интеграл Лебега

,

(3)

J2=Курсовая: Интеграл Лебега =Курсовая: Интеграл Лебега

.

(4)

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

J=Курсовая: Интеграл Лебега =Курсовая: Интеграл Лебега ; (5)

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

сходимость ряда (5); при этом

J=J1+J2.

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

Курсовая: Интеграл Лебега =kКурсовая: Интеграл Лебега ,

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

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

В) Ограниченная на множестве А простая функция f инте­грируема на А, причем,

если ½f(x)½£ M на A, то

½Курсовая: Интеграл Лебега ½£ Mm(A).

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

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

Классическое определение интеграла, данное О. Коши и разви­тое Б. Риманом,

состоит, как известно, в следующем: рассматри­вается конечная функция f(x),

заданная на сегменте [a, b]; этот сегмент разбивается на части точками

x0 = a < x1 < x2 < ¼ < xn = b

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

s = Курсовая: Интеграл Лебега .

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

l = max(xk+1 – xk).

стремится к конечному пределу I, не зависящему ни от способа дробления

[a, b], ни от выбора точек xk, то этот предел 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] на мелкие части [x0, x1], [x

1, x2], ¼ ,[xn-1, xn]

(назовем их через e0, e1, ¼ , en

-1), в каждой части ek берем точку xk

и, составив сумму

s = Курсовая: Интеграл Лебега ,

требуем, чтобы она имела предел, не зависящий от выбора точек xk

в множествах еk. Иначе говоря, каждая точка х из

множества еk может быть взята за xk, а

варьирование этой точки не должно заметно влиять на значение суммы s. А

это возможно лишь в том случае, когда варьирование точки xk

мало изменяет величину f(xk). Но что же объединяет между

собой различные точки х множества ek? Их объединяет

то, что они близки друг другу, ибо еk есть малый сегмент

[xk, xk+1].

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

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

что изменение точки xk в пределах множества ek

мало влияет на величину суммы s, но для функция разрывной это вовсе не

так.

Иначе можно сказать, что множества ek составлены так, что

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

нор­мальным представителем других значений функции на ek.

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

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

довольно случайным. Ниже мы убедимся, что для интегрируемости (R)

необходимо, чтобы рас­сматриваемая функция не была «слишком разрывной».

Желая обобщить понятие интеграла на более широкие классы функций, Лебег

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

в множества ek не по случайному признаку своей близости на

оси Ох, а по признаку достаточной близости соответствующих значений

функции. С этой целью Лебег разбивает на части не сегмент [a, b],

расположенный на оси абсцисс, а сег­мент [А, В], лежащий на оси ординат

и включающий все значения функции f(x):

A = yo < y1 < ¼ < yn = B

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

ek = E(yk £ f < yk+1),

то ясно, что различный точкам х Î еk и в самом деле

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

сами точки x могут быть весьма далеки друг от друга.

В частности, хорошим представителем значений функции на мно­жестве ek

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

основу понятия интеграла сумму

Курсовая: Интеграл Лебега .

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

Пусть на измеримом множестве E задана измеримая ограниченная функция

f(x), причем

A<f(x)<B.

(1)

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

yo = A < y1 < y2 < ¼ < yn = B

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

ek = E(yk £ f < yk+1)

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

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

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

3) E = Курсовая: Интеграл Лебега

4) тЕ = Курсовая: Интеграл Лебега

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

S = Курсовая: Интеграл Лебега S = Курсовая: Интеграл Лебега

Если мы положим

l = max (yk+1 – yk),

то будем иметь

0 £ S – s £ lmE.

(2)

Основное свойство сумм Лебега выражает

Лемма. Пусть некоторому способу дробления сегмента [А, В]

отвечают суммы Лебега s0 и S0. Если ми добавим

новую точку дробления Курсовая: Интеграл Лебега

и снова найдем суммы Лебега s и S, то окажется

s0 £ s, S £ S0.

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

а верхняя не увеличивается.

Доказательство. Допустим, что

yi < Курсовая: Интеграл Лебега

< yi+1.

(3)

Тогда при k ¹ i полусегменты [yk, уk+1),

а с ними и множества ek, фигурируют и в новом способе

дробления. Полусегмент же [yi, yi+1)

при переходе к новому способу заменяется двумя полусегментами

[yi,Курсовая: Интеграл Лебега ), [Курсовая: Интеграл Лебега , yi+1),

в связи с чем и множество ei разбивается на два множества

Курсовая: Интеграл Лебега = E(yi £ f < Курсовая: Интеграл Лебега ), Курсовая: Интеграл Лебега = E(Курсовая: Интеграл Лебега £ f < yi+1).

Очевидно, что

ei =Курсовая: Интеграл Лебега +Курсовая: Интеграл Лебега , Курсовая: Интеграл Лебега Курсовая: Интеграл Лебега = 0,

так что

mei = mКурсовая: Интеграл Лебега

+ mКурсовая: Интеграл Лебега .

(4)

Из сказанного ясно, что сумма s получается из суммы s0

заменой слагаемого yimei двумя слагаемыми y

imКурсовая: Интеграл Лебега + Курсовая: Интеграл Лебега

mКурсовая: Интеграл Лебега , откуда, в

связи с (3) и с (4), и следует, что s ³ s0.

Для верхних сумм рассуждение аналогично.

Следствие. Ни одна нижняя сумма s не больше ни одной верхней суммы S.

Доказательство. Рассмотрим два каких-нибудь способа дробления I и

II, сегмента [А, В]. Пусть этим способам отвечают соответственно нижние

суммы s1 и s2 и верхние суммы S1

и S2.

Составим третий способ дробления [А, В] - способ III, в котором точками

деления служат точки деления обоих способов I и II. Если способу III отвечают

суммы s3 и S3, то, в силу леммы, s

1 £ s3, S3 £ S2, откуда,

в связи с тем, что s3 £ S3, ясно, что s

1 £ S2, а это и тре­бовалось доказать.

Выберем какую-нибудь определенную верхнюю сумму S0. Так как

для всякой нижней суммы s будет s £ S0, то

множество {s} всех нижних сумм Лебега оказывается ограниченный сверху.

Пусть U есть его точная верхняя граница U = sup{s}.

Тогда, ясно, что

U £ S0.

Ввиду произвольности суммы S0, последнее неравенство

доказы­вает, что множество {S} всех верхних сумм Лебега ограничено

снизу. Назовем через V его точную нижнюю границу

V = inf{S}.

Очевидно, при любом способе дробления будет

S £ U £ V £ S.

Но, как мы отмечали, S – s £ lmE, откуда

0 £ V – U £ lmE

и, так как l произвольно мало, то

U = V.

Определение. Общее значение чисел U и V называется

инте­гралом Лебега функции f(x) по множеству Е и

обозначается символом

(L)Курсовая: Интеграл Лебега

В тех случаях, когда смешение с другими видами интеграла исключено, пишут просто

Курсовая: Интеграл Лебега

В частности, если Е есть сегмент [а, b], употребляют символы

(L)Курсовая: Интеграл Лебега Курсовая: Интеграл Лебега

Из сказанного выше следует, что каждая измеримая ограни­ченная функция

интегрируема в смысле Лебега, или, короче, инте­грируема (L). Уже

из этого замечания видно, что процесс интегри­рования (L) приложим к

гораздо более широкому классу функций, чем процесс интегрирования (R).

В частности, совершенно отпадают все вопросы, связанные с признаками

интегрируемости, которые для интегралов (R) имеют сравнительно сложный

характер.

Теорема 1. Если l ® 0, то суммы Лебега s и S стремятся

к интегралу Курсовая: Интеграл Лебега

Теорема непосредственно вытекает из неравенств

S £ Курсовая: Интеграл Лебега £ S, S – s £ l× mE.

Из этой теоремы, между прочим, следует, что значение инте­грала Лебега, которое

в силу самого определения его связано с числами А и В, на самом

деле от них не зависит.

Действительно, допустим, что

A < f(x) < В, A < f(x) <B*,

причем В* < В. Раздробим сегмент [А, В] на части

A = у0 < у1 < ¼ < yn = В,

причем включим и точку В* в число точек деления В* = ут.

Если мы составим множества ek, то легко убедиться, что

ek = 0 (k ³ m).

Значит,

s = Курсовая: Интеграл Лебега = Курсовая: Интеграл Лебега = s*,

где s* есть нижняя сумма Лебега, построенная, исходя из сег­мента

[А, В*]. Сгущая точки дробления и переходя к пределу, най­дем, что

I = I*,

где I и I* суть значения интегралов Лебега, отвечающие

сегмен­там [А, В] и [А, В*]. Таким образом, изменение числа

В не отра­жается на величине интеграла. То же относится и к числу А.

Этот факт весьма существенен, ибо только теперь определение интеграла

оказывается освобожденным от случайного характера выбора то­чек А и

В.

3. Основные свойства интеграла

В этом параграфе мы установим ряд свойств интеграла от огра­ниченной

измеримой функции.

Теорема 1. Если измеримая функция f(x) на измеримом мно­жестве

Е удовлетворяет неравенствам a £ f(x) £ b, то

a× mE £ Курсовая: Интеграл Лебега £ b× mE.

Это теорема обычно называется теоремой о среднем.

Доказательство. Пусть n натуральное число. Если мы положим

A = a - Курсовая: Интеграл Лебега , B = b + Курсовая: Интеграл Лебега ,

то окажется, что

A < f(x) < B,

и суммы Лебега можно будет составлять, дробя сегмент [А, В].

Но еслиA £ yk £ B, то, очевидно,

AКурсовая: Интеграл Лебега £ Курсовая: Интеграл Лебега £ BКурсовая: Интеграл Лебега

или, что то же самое,

A× mE £ s £ B× mE,

откуда и в пределе

Курсовая: Интеграл Лебега mE £ Курсовая: Интеграл Лебега £ Курсовая: Интеграл Лебега mE.

В силу произвольности числа n, теорема доказана.

Из этой теоремы вытекает несколько простых следствий.

Следствие 1. Если функция f(x) постоянна на измеримом множестве Е и f(x) = с, то

Курсовая: Интеграл Лебега = c× mE.

Следствие 2. Если функция f(x) не отрицательна (не

положи­тельна), то таков же и ее интеграл.

Следствие 3. Если тЕ = 0, то для любой ограниченной

функ­ции f(x), заданной на множестве Е, будет

Курсовая: Интеграл Лебега = 0.

Теорема 2. Пусть на измеримом множестве Е задана изме­римая

ограниченная функция f(x). Если множество Е есть сумма конечного числа или

счетного множества попарно не пересекаю­щихся измеримых множеств

E =Курсовая: Интеграл Лебега (EkКурсовая: Интеграл Лебега = 0, k ¹ k’),

то

Курсовая: Интеграл Лебега =Курсовая: Интеграл Лебега

Свойство интеграла, выражаемое этой теоремой, называется его полной

аддитивностью.

Доказательство. Рассмотрим сначала простейший случай, когда число

слагаемых равно двум

Е = Курсовая: Интеграл Лебега + Курсовая: Интеграл Лебега (Курсовая: Интеграл Лебега Курсовая: Интеграл Лебега = 0).

Если на множестве Е

A < f(x) < B

и мы, раздробив сегмент [А, В] точками у0, y1,¼ , уn, составим множества

ek = E(yk £ f < yk+1),

ek’= E’(yk £ f < yk+1),

ek’’= E’’(yk £ f < yk+1),

то, очевидно, будем иметь

ek = ek’ + ek’’ (ek’ek’’ = 0),

откуда

Курсовая: Интеграл Лебега =Курсовая: Интеграл Лебега + Курсовая: Интеграл Лебега

н в пределе, при l ® 0,

Курсовая: Интеграл Лебега = Курсовая: Интеграл Лебега + Курсовая: Интеграл Лебега

Итак, теорема доказана для случая двух слагаемых множеств. Пользуясь методом

математической индукции, мы легко распространим теорему на случай любого

конечного числа слагаемых множеств.

Остается рассмотреть случай, когда

E = Курсовая: Интеграл Лебега .

В этом случае

Курсовая: Интеграл Лебега = mE,

так что при n ® ¥ будет

Курсовая: Интеграл Лебега ® 0.

(*)

Заметив это, положим

Курсовая: Интеграл Лебега = Rn.

Так как для конечного числа слагаемых множеств теорема уже дока­зана, то

Курсовая: Интеграл Лебега = Курсовая: Интеграл Лебега + Курсовая: Интеграл Лебега .

В силу теоремы о среднем

A× mRn £ Курсовая: Интеграл Лебега £ B× mRn,

а в силу (*) мера mRn множества Rn

стремится к нулю с возраста­нием n, откуда ясно, что

Курсовая: Интеграл Лебега ® 0.

Но это и означает, что

Курсовая: Интеграл Лебега =Курсовая: Интеграл Лебега

Из этой теоремы вытекает ряд следствий.

Следствие 1. Если измеримые ограниченные функции f(x) и g(x),

заданные на множестве Е, эквивалентны между собой, то

Курсовая: Интеграл Лебега =Курсовая: Интеграл Лебега .

Действительно, если

А = Е(f ¹ g), B = E(f = g),

то mA = 0 и

Курсовая: Интеграл Лебега = Курсовая: Интеграл Лебега = 0.

На множестве же В обе функции тождественны и

Курсовая: Интеграл Лебега = Курсовая: Интеграл Лебега .

Остается сложить это равенство с предыдущим.

В частности, интеграл от функции, эквивалентной нулю, равен нулю.

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

f(x) задана на сегменте [-1, +1], так:

Курсовая: Интеграл Лебега 1 при x ³ 0,

f(x) =

-1 при x < 0,

то

Курсовая: Интеграл Лебега =Курсовая: Интеграл Лебега +Курсовая: Интеграл Лебега = -1 + 1 = 0,

хотя функция f(x) и не эквивалентна нулю.

Однако справедливо

Следствие 2. Если интеграл от неотрицательной из­меримой

ограниченной функции f(x) равен нулю

Курсовая: Интеграл Лебега (f(x) ³ 0),

то эта функция эквивалентна нулю.

В самом деле, легко видеть, что

E(f>0) = Курсовая: Интеграл Лебега .

Если бы f(x) не была эквивалентна нулю, то необходимо на­шлось бы такое n0, что

mEКурсовая: Интеграл Лебега = s > 0.

Полагая

A = EКурсовая: Интеграл Лебега , B = B - A,

мы имели бы, что

Курсовая: Интеграл Лебега ³ Курсовая: Интеграл Лебега s, Курсовая: Интеграл Лебега ³ 0,

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

Курсовая: Интеграл Лебега ³ Курсовая: Интеграл Лебега s,

что противоречит условию.

Теорема 3. Если на измеримом множестве Q заданы две измеримые

ограниченные функции f(x) и F(x), то

Курсовая: Интеграл Лебега = Курсовая: Интеграл Лебега + Курсовая: Интеграл Лебега .

Теорема 4. Если на измеримом множестве Е задана изме­римая

ограниченная функция f(x) и с есть конечная постоянная, то

Курсовая: Интеграл Лебега = cКурсовая: Интеграл Лебега .

Следствие. Если f(x) и F(х) измеримы и ограничены на мно­жестве Е, то

Курсовая: Интеграл Лебега = Курсовая: Интеграл Лебега -Курсовая: Интеграл Лебега .

Теорема 5. Пусть f(x) и F(х) измеримы и ограничены на

измеримом множестве Е. Если

f(x) £ F(x),

то

Курсовая: Интеграл Лебега £ Курсовая: Интеграл Лебега .

Действительно, функция F(x)—f(x) не отрицательна, так что

Курсовая: Интеграл Лебега - Курсовая: Интеграл Лебега = Курсовая: Интеграл Лебега ³ 0.

Теорема 6. Если функция f(x) измерима и ограничена на измеримом множестве E, то

Курсовая: Интеграл Лебега £ Курсовая: Интеграл Лебега

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

Здесь мы рассмотрим следующий вопрос: пусть на измеримом множестве E

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

f1(x), f2(x), f3(x), ¼ , fn(x), ¼

которая в каком-нибудь смысле (везде, почти везде, по мере) схо­дится к

измеримой ограниченной функции F(x). Спрашивается, будет ли справедливо

соотношение

Курсовая: Интеграл Лебега Курсовая: Интеграл Лебега

= Курсовая: Интеграл Лебега

(1)

Если (1) верно, то говорят, что допустим предельный переход под знаком

интеграла.

Легко видеть, что, вообще говоря, это не так. Например, если функции fn

(x) определены в сегменте [0, 1] следующим образом:

Курсовая: Интеграл Лебега n при xÎ Курсовая: Интеграл Лебега ,

fn(x) =

0 при x Курсовая: Интеграл Лебега Курсовая: Интеграл Лебега ,

то при всяком x Î [0, 1] будет

Курсовая: Интеграл Лебега fn(x) = 0, но Курсовая: Интеграл Лебега = 1,

и этот интеграл не стремится к нулю.

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

нужно наложить на функцию fn(x), чтобы равенство (1) все же

имело место.

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

Теорема (А. Лебег). Пусть на измеримом множестве Е за­дана

последовательность f1(x), f2(x), f3(x),

¼ измеримых огра­ниченных функций, сходящаяся по мере к измеримой

ограниченной функции F(х)

fn(x) Þ F(x).

Если существует постоянная К, такая, что при всех п и лри всех х

Курсовая: Интеграл Лебега < K,

то

Курсовая: Интеграл Лебега Курсовая: Интеграл Лебега

= Курсовая: Интеграл Лебега

(1)

Доказательство. Прежде всего заметим, что почти для всех х Î Е будет

Курсовая: Интеграл Лебега £ K.

(2)

В самом деле, из последовательности {fn(x)} можно (на

основании теоремы Рисса) извлечь частичную последовательность {Курсовая: Интеграл Лебега

(x)}, которая сходится к F(x) почти везде. Во всех точках, где

Курсовая: Интеграл Лебега (x) ® F(x),

можно перейти к пределу в неравенстве Курсовая: Интеграл Лебега < K, что и при­водит к (2).

Пусть теперь s есть положительное число. Положим,

An(s) = E(Курсовая: Интеграл Лебега )³s), Bn(s) = E(Курсовая: Интеграл Лебега )<s.

Тогда

Курсовая: Интеграл Лебега £ Курсовая: Интеграл Лебега = Курсовая: Интеграл Лебега + Курсовая: Интеграл Лебега .

В силу неравенства Курсовая: Интеграл Лебега £ Курсовая: Интеграл Лебега + Курсовая: Интеграл Лебега , почти для всех х из множества An(s) будет

Курсовая: Интеграл Лебега < 2K,

так что по теореме о среднем

Курсовая: Интеграл Лебега £ 2K×

mAn(s)

(3)

(то обстоятельство, что неравенство Курсовая: Интеграл Лебега

< 2К может не выпол­няться на множестве меры 0, несущественно. Можно,

например, функцию Курсовая: Интеграл Лебега

на этом множестве изменить, сделав ее равной нулю; тогда неравенство (3) будет

выполняться во всех точках А. Но так как изменение функции на множестве

меры 0 не влияет на величину интеграла, то (3) верно и без такого изменения).

С другой стороны, опять-таки в силу теоремы о среднем,

Курсовая: Интеграл Лебега £ smBn(s) £ smE.

Сопоставляя это с (3), находим, что

Курсовая: Интеграл Лебега £

2K× mAn(s) + smE.

(4)

Заметив это, возьмем произвольное e > 0 и найдем столь малое s > 0, что

s× mE < Курсовая: Интеграл Лебега .

Фиксировав это s, мы, на основании самого определения сходи­мости по

мере, будем иметь, что при n ® ¥

mAn(s) ® 0

и, стало быть, для n > N окажется

2K× mAn(s) < Курсовая: Интеграл Лебега .

Для этих n неравенство (4) примет вид

Курсовая: Интеграл Лебега < e,

что и доказывает теорему.

Легко понять, что теорема остается верной и в том случае, когда неравенство

Курсовая: Интеграл Лебега < K

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

Далее, поскольку сходимость по мере общее обычной сходи­мости, то теорема и

подавно сохраняет силу для того случая, когда

fn(x) ® F(x)

почти везде (и тем более везде).

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

Пусть на сегменте [а, b] задана (не обязательно конечная) функ­ция f(х). Пусть

x0 Î [a, b] и d > 0. Обозначим через m

d(x0) и Мd(х0) соответственно

точную нижнюю и точную верхнюю границы функ­ции f(x) на интервале

(х0 - d, x0 + d)

md(x0) = inf{f(x)}, Md(x0) = sup{f(x)} (х0 - d < x < x0 + d).

(Само собою разумеется, что мы принимаем во внимание лишь те точки интервала

(х0 - d, x0 + d), которые лежат также и на сег­менте [а, b].)

Очевидно,

md(x0) £ f(x0) £ Md(x0).

Если d уменьшается, то md(x0) не убывает,

a Md(x0) не возра­стает. Поэтому существуют

определенные пределы

m(x0) = Курсовая: Интеграл Лебега md(x0), Md(x0) = Курсовая: Интеграл Лебега Md(x0),

причем, очевидно,

md(x0) £ m(x0) £ f(x0) £ M(x0) £ Md(x0).

Определение. Функции т(х) и М(х) называются

соответственно нижней и верхней функциями Бэра для функции f(x).

Теорема 1 (Р. Бэр). Пусть функция f(х) конечна в точке х0

. Для того чтобы f(x) была в этой точке непрерывна, необходимо и достаточно,

чтобы было

m(x0) = M(x0).

(*)

Доказательство. Допустим, что функция f(х) непрерывна в

точке x0. Взяв произвольное e > 0, найдем такое

d > 0, что как только

Курсовая: Интеграл Лебега < d,

так сейчас же

Курсовая: Интеграл Лебега < e.

Иначе говоря, для всех х Î (х0 - d, x0 + d) будет

f(x0) - e < f(x) < f(x0) + e.

Но отсюда следует, что

f(x0) - e £ md(x0) £ Md(x0) £ f(x0) + e,

а стало быть, и тем более

f(x0) - e £ m(x0) £ M(x0) £ f(x0) + e,

откуда, ввиду произвольности e, и вытекает (*). Итак, необходимость

условия (*) доказана.

Пусть теперь, обратно, дано, что (*) выполнено. Тогда, оче­видно,

m(x0) = M(x0) = f(x0)

и общее значение функций Бэра в точке x0 конечно.

Возьмем произвольное e > 0 и найдем столь малое d > 0, что

m(x0) - e < md(x0) £ m(x0), M(x0) £ Md(x0) < M(x0) + e.

Эти неравенства означают, что

f(x0) - e < md(x0), Md(x0) < f(x0) + e.

Если теперь x Î (х0 - d, x0 + d), то f(x) лежит между md(x0) и Md(x0), так что

f(x0) - e < f(x) < f(x0) + e.

Иначе говоря, из того, что Курсовая: Интеграл Лебега < d вытекает, что

Курсовая: Интеграл Лебега < e,

т. е. функция f(x) непрерывна в точке х0.

Основная лемма. Рассмотрим последовательность дроблений сегмента [а, b]

a = Курсовая: Интеграл Лебега < Курсовая: Интеграл Лебега < ¼ < Курсовая: Интеграл Лебега = b

. . . . . . . . . . . . . . . . . . . . . . . .

a = Курсовая: Интеграл Лебега < Курсовая: Интеграл Лебега < ¼ < Курсовая: Интеграл Лебега = b

. . . . . . . . . . . . . . . . . . . . . . . .

причем при i ® ¥

li = max[Курсовая: Интеграл Лебега -Курсовая: Интеграл Лебега ] ® 0.

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

[Курсовая: Интеграл Лебега , Курсовая: Интеграл Лебега ]. Введем функцию ji(x), полагая

ji(x) = Курсовая: Интеграл Лебега при x Î (Курсовая: Интеграл Лебега , Курсовая: Интеграл Лебега )

ji(x) = 0 при x = Курсовая: Интеграл Лебега , Курсовая: Интеграл Лебега , ¼ , Курсовая: Интеграл Лебега .

Если х0 не совпадает ни с одной точкой Курсовая: Интеграл Лебега

(I = 1, 2, 3, ¼ ; k = 0, 1, 2, ¼ , ni), то

Курсовая: Интеграл Лебега ji(x0) = m(x0).

Доказательство. Фиксируем какое-нибудь i и назовем че­рез

[Курсовая: Интеграл Лебега , Курсовая: Интеграл Лебега

] тот из сегментов i-го способа дробления, который содержит точку

х0. Так как х0 не совпадает ни с одной из

точек деления, то

Курсовая: Интеграл Лебега < x0 < Курсовая: Интеграл Лебега

и, следовательно, при достаточно малых d > 0 будет

(х0 - d, x0 + d) Ì [Курсовая: Интеграл Лебега , Курсовая: Интеграл Лебега ],

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

Курсовая: Интеграл Лебега £ md(x0)

или, что то же самое, что

ji(x0) £ md(x0).

Устремив d к нулю и перейдя к пределу, находим, что при лю­бом i

ji(x0) £ m(x0).

Этим самым лемма уже доказана для случая т(х0) = - ¥. Пусть т(х0) > - ¥ и пусть

h < m(x0).

Тогда найдется такое d > 0, что md(x0) > h.

Фиксировав это d, найдем столь большое i0, что при i > i0 будет

[Курсовая: Интеграл Лебега , Курсовая: Интеграл Лебега ] Ì (х0 - d, x0 + d),

где, как и выше, [Курсовая: Интеграл Лебега

, Курсовая: Интеграл Лебега ] есть

сегмент, содержащий точку х0. Существование такого i

0 следует из условия li ® 0.

Для таких i будет

Курсовая: Интеграл Лебега ³ md(x0) > h,

или, что то же самое,

ji(x0) > h.

Итак, для всякого h < m(x0) найдется такое i0, что при i > i0

h < ji(x0) £ m(x0),

а это и значит, что ji(x0) ® m(x0). Лемма доказана.

Следствие 1. Функции Бэра т(х) и М(х) измеримы.

В самом деле, множество точек деления {Курсовая: Интеграл Лебега

} счетно и, стало быть, имеет меру нуль. Поэтому лемма означает, что j

i(x) ® m(x) почти везде.

Но ji(x) измерима, ибо это ступенчатая функция, значит

изме­рима я функция т(x). Для верхней функции Бэра М(х)

рассужде­ние аналогично.

Следствие 2. Если в условиях леммы исходная функция f(x) ограничена, то

(L) Курсовая: Интеграл Лебега ® (L) Курсовая: Интеграл Лебега .

Действительно, еслиКурсовая: Интеграл Лебега £ K, то, очевидно,

Курсовая: Интеграл Лебега £ K, Курсовая: Интеграл Лебега £ K,

откуда прежде всего следует, что эти функции интегрируемы (L), после

чего остается сослаться на теорему Лебега о предельном пе­реходе под знаком

интеграла.

Перефразируем теперь следствие 2. Для этого заметим, что

(L) Курсовая: Интеграл Лебега = Курсовая: Интеграл Лебега = Курсовая: Интеграл Лебега = si,

где si есть нижняя сумма Дарбу, отвечающая i-му

способу дробле­ния. Таким образом, следствие 2 означает, что при i ® ¥

si ® (L) Курсовая: Интеграл Лебега .

Аналогично можно установить, что верхняя сумма Дарбу Si при

возрастании i стремится к интегралу от верхней функции Бэра

Si ® (L) Курсовая: Интеграл Лебега .

Но в таком случае

Si - si ® (L) Курсовая: Интеграл Лебега .

С другой стороны, в курсе Анализа устанавливается, что для того, чтобы

ограниченная функция f(x) была интегрируема (R), необходимо и

достаточно, чтобы было Si – si ® 0.

Сопоставляя это со сказанным выше, мы видим, что для инте­грируемости (R)

функции f(x) необходимо и достаточно, чтобы было

(L) Курсовая: Интеграл Лебега = 0.

(1)

Условие (1) во всяком случае выполнено, если разность М(х) - т(х)

эквивалентна нулю, но так как эта разность неотри­цательна, то и обратно из (1)

следует, что

т(х) ~ М(х).

(2)

Итак, интегрируемость (R) ограниченной функции f(x)

равно­сильна соотношению (2).

Сопоставив этот результат с теоремой 1, получаем следующую теорему.

Теорема 2 (А. Лебег). Для того чтобы ограниченная функ­ция f(x)

была интегрируема (R),необходимо и достаточно, чтобы она была непрерывна почти

везде.

Эта замечательная теорема представляет собой наиболее простой и ясный признак

интегрируемости (R). В частности, она оправды­вает сделанное в пункте 2

замечание, что интегрируемыми (R) могут быть только «не очень

разрывные» функции.

Допустим теперь, что функция f(x) интегрируема (R). Тогда она

необходимо ограничена и почти везде будет

т(х) = М(х).

Но ведь

т(х) £ f(x) £ М(х).

Значит, почти везде

f(x) = m(x),

и f(x), будучи эквивалентна измеримой функции т(х), измерима

сама. Так как всякая ограниченная измеримая функция интегри­руема (L),

то такова же и f(x), т. е. из интегрируемости какой-нибудь функции в

смысле Римана вытекает ее интегрируемость в смысле Лебега.

Наконец, из эквивалентности функций f(x) и т(х) следует, что

(L) Курсовая: Интеграл Лебега = (L) Курсовая: Интеграл Лебега .

Но, как известно из курса Анализа, в условиях основной леммы для интегрируемой

(R) функции f(x) будет

si ® (R)Курсовая: Интеграл Лебега ,

где si есть нижняя сумма Дарбу, отвечающая i-му

способу дробле­ния. Сопоставляя это с тем, что, как показано нами,

si ® (L) Курсовая: Интеграл Лебега ,

мы видим, что

(R)Курсовая: Интеграл Лебега = (L) Курсовая: Интеграл Лебега .

Таким образом, имеет место

Теорема 3. Всякая функция, интегрируемая (R), необходимо

интегрируема и (L), и оба ее интеграла равны между собой.

В заключение отметим, что функция Дирихле y(x) (равная нулю в

иррациональных и единице в рациональных точках) интегри­руема (L) (ибо

она эквивалентна нулю), но, как мы видели в пункте 2, не интегрируема (R),

так что теорема 3 не обратима.

6. Примеры

1) Вычислить интеграл Лебега от функции Курсовая: Интеграл Лебега на интервале (1; 2).

Строим срезку

Курсовая: Интеграл Лебега

N, f(x) ³ N,

fN(x) =

f(x), f(x) < N.

Курсовая: Интеграл Лебега = N,

x = 1 + Курсовая: Интеграл Лебега .

Курсовая: Интеграл Лебега Курсовая: Интеграл Лебега = Курсовая: Интеграл Лебега ,

Курсовая: Интеграл Лебега = Курсовая: Интеграл Лебега + Курсовая: Интеграл Лебега = NxКурсовая: Интеграл Лебега + Курсовая: Интеграл Лебега Курсовая: Интеграл Лебега = NКурсовая: Интеграл Лебега - N + Курсовая: Интеграл Лебега -

- Курсовая: Интеграл Лебега Курсовая: Интеграл Лебега = Курсовая: Интеграл Лебега + Курсовая: Интеграл Лебега - Курсовая: Интеграл Лебега Курсовая: Интеграл Лебега = - Курсовая: Интеграл Лебега Курсовая: Интеграл Лебега + Курсовая: Интеграл Лебега ,

Курсовая: Интеграл Лебега Курсовая: Интеграл Лебега = Курсовая: Интеграл Лебега Курсовая: Интеграл Лебега = Курсовая: Интеграл Лебега ,

(L)Курсовая: Интеграл Лебега = Курсовая: Интеграл Лебега .

2) Суммируемы ли функции Курсовая: Интеграл Лебега и Курсовая: Интеграл Лебега на интервале (0; 1).

f(x) = Курсовая: Интеграл Лебега .

Строим срезку

Курсовая: Интеграл Лебега = N,

x = Курсовая: Интеграл Лебега .

Курсовая: Интеграл Лебега = Курсовая: Интеграл Лебега + Курсовая: Интеграл Лебега = Курсовая: Интеграл Лебега + Курсовая: Интеграл Лебега = 1 - Курсовая: Интеграл Лебега = 1 + Курсовая: Интеграл Лебега ,

Курсовая: Интеграл Лебега = Курсовая: Интеграл Лебега Курсовая: Интеграл Лебега = Курсовая: Интеграл Лебега (1 + Курсовая: Интеграл Лебега ) = +¥,

значит функция f(x) = Курсовая: Интеграл Лебега суммируемой не является.

f(x) = Курсовая: Интеграл Лебега .

Строим срезку

Курсовая: Интеграл Лебега = N,

x = Курсовая: Интеграл Лебега .

Курсовая: Интеграл Лебега = Курсовая: Интеграл Лебега + Курсовая: Интеграл Лебега = Курсовая: Интеграл Лебега - Курсовая: Интеграл Лебега = Курсовая: Интеграл Лебега - (1 - Курсовая: Интеграл Лебега ) = Курсовая: Интеграл Лебега - 1 + Курсовая: Интеграл Лебега =

= 2Курсовая: Интеграл Лебега - 1,

Курсовая: Интеграл Лебега = Курсовая: Интеграл Лебега Курсовая: Интеграл Лебега = Курсовая: Интеграл Лебега (2Курсовая: Интеграл Лебега - 1) = +¥,

значит функция f(x) = Курсовая: Интеграл Лебега суммируемой не является.

3) Суммируема ли функция f(x) = Курсовая: Интеграл Лебега на отрезке [-1; 1], где f(0) = 0.

Курсовая: Интеграл Лебега Курсовая: Интеграл Лебега Курсовая: Интеграл Лебега , x > 0 0 , x ³ 0

Курсовая: Интеграл Лебега = Курсовая: Интеграл Лебега =

0 , x £ 0 Курсовая: Интеграл Лебега , x < 0

Курсовая: Интеграл Лебега = Курсовая: Интеграл Лебега - Курсовая: Интеграл Лебега .

Строим срезку

N = Курсовая: Интеграл Лебега ,

x = Курсовая: Интеграл Лебега .

(L)Курсовая: Интеграл Лебега = Курсовая: Интеграл Лебега Курсовая: Интеграл Лебега = Курсовая: Интеграл Лебега Курсовая: Интеграл Лебега = Курсовая: Интеграл Лебега Курсовая: Интеграл Лебега =

= Курсовая: Интеграл Лебега Курсовая: Интеграл Лебега = Курсовая: Интеграл Лебега Курсовая: Интеграл Лебега = +¥.

Строим срезку

N = Курсовая: Интеграл Лебега ,

x = Курсовая: Интеграл Лебега .

(L)Курсовая: Интеграл Лебега = Курсовая: Интеграл Лебега Курсовая: Интеграл Лебега = Курсовая: Интеграл Лебега Курсовая: Интеграл Лебега = Курсовая: Интеграл Лебега Курсовая: Интеграл Лебега =

= Курсовая: Интеграл Лебега Курсовая: Интеграл Лебега = Курсовая: Интеграл Лебега Курсовая: Интеграл Лебега = +¥,

значит функция f(x) = Курсовая: Интеграл Лебега не является суммируемой на [-1 ;1].

4) Суммируема ли функция f(x) = Курсовая: Интеграл Лебега на [1; 3], где f(2) = 1.

Курсовая: Интеграл Лебега Курсовая: Интеграл Лебега Курсовая: Интеграл Лебега , x > 2 0, x ³ 2

Курсовая: Интеграл Лебега = 0, x < 2 Курсовая: Интеграл Лебега =

1, x = 2 Курсовая: Интеграл Лебега , x < 2

Строим срезку

Курсовая: Интеграл Лебега = N,

x = 2 + Курсовая: Интеграл Лебега .

(L)Курсовая: Интеграл Лебега = Курсовая: Интеграл Лебега Курсовая: Интеграл Лебега = Курсовая: Интеграл Лебега Курсовая: Интеграл Лебега =

= Курсовая: Интеграл Лебега Курсовая: Интеграл Лебега = Курсовая: Интеграл Лебега Курсовая: Интеграл Лебега =

= Курсовая: Интеграл Лебега Курсовая: Интеграл Лебега =Курсовая: Интеграл Лебега Курсовая: Интеграл Лебега = Курсовая: Интеграл Лебега .

Строим срезку

Курсовая: Интеграл Лебега = N,

x = 2 - Курсовая: Интеграл Лебега .

(L)Курсовая: Интеграл Лебега = Курсовая: Интеграл Лебега Курсовая: Интеграл Лебега = Курсовая: Интеграл Лебега Курсовая: Интеграл Лебега = Курсовая: Интеграл Лебега Курсовая: Интеграл Лебега = Курсовая: Интеграл Лебега Курсовая: Интеграл Лебега = Курсовая: Интеграл Лебега

функция f(x) суммируема на [1; 3].

7. Литература

1) Колмогоров, Фомин «Элементы функционального анализа».

2) Натансон И. П. «Теория функций вещественной переменной», С-П, 1999.

3) Очан «Сборник задач по математическому анализу».


© 2010
Частичное или полное использование материалов
запрещено.