Новости    Библиотека    Энциклопедия    Биографии    Карта сайта    Ссылки    О проекте




предыдущая главасодержаниеследующая глава

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

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

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

Пусть пространством X с мерой служит сегмент [а, b] вещественной прямой с μ = m (мера Лебега), а - множество всех подмножеств сегмента X, измеримых по Лебегу. Вместо


для интеграла Лебега функции f по сегменту [а, b] принято употреблять привычное обозначение


Чтобы отличить лебегов интеграл от интеграла Римана, мы будем этот последний обозначать так:


10.33. Теорема. (а) Если f∈ на [а, b], то f∈ на [а, b] и

(87)


(b) Пусть функция f ограничена на [а, b]. Тогда f∈ на [а, b] тогда и только тогда, когда функция f непрерывна почти всюду на [а, b].

Доказательство. Пусть функция f ограничена. Пусть {Pk} - такая последовательность разбиений сегмента [а, b], что Pk+1 - измельчение разбиения Рk и μ(Рk)→0 при k→∞ (в этом доказательстве μ обозначает не меру, а диаметр разбиения). Если Рk - разбиение

а = x0<x1<...<xn = b,

то положим Uk(a) = Lk(a) = f(а) и


(обозначения те же, что и в п. 6.1). Тогда

(88)


Поскольку Pk+1 - измельчение разбиения Pk, то

(89)

U1(x)≥U2(x)≥...≥f(x)≥...≥L2(x)≥L1(x) (a≤x≤b).

Положим

(90)


Теперь допустим, что f∈. Ввиду того что μ(Pk)→0,

(91)


Это последнее соотношение не было явно сформулировано в гл. 6 в виде теоремы, но его, конечно, легко вывести из доказательства теоремы 6.14 [см. формулы (28) и (29)]. Согласно (89) и (90),

(92)


так что из (88), (91) и (92) следует, что

(93)


Поскольку L(x)≤f(x)≤U(x) на [a, b], то первое из равенств (93) показывает, что

(94)


почти всюду на [а, b] (упражнение 1). Поскольку L и U измеримы, то это верно и в отношении f. Значит, f∈, и (87) следует из (93) и (94).

Теперь допустим, что х не принадлежит никакому из разбиений Pk (отметим, что множество всех точек, входящих в состав, какого-нибудь разбиения Pk, счетно и потому имеет меру нуль) Совсем легко показать, что тогда функция f непрерывна в точке х в том и только в том случае, когда U (x) = L(x).

Таким образом, если f∈ на [а, b], то, как показывает (94), функция f непрерывна почти всюду на [а, b]. Обратно, если f непрерывна почти всюду на [а, b], то (94) выполнено. Значит, выполнено первое из равенств (93), и, как показывают (92) и (88), для всякого ε>0 можно найти такое k, что


следовательно, по теореме 6.6, f∈ на [а, b].

Многие соотношения между интегрированием и дифференцированием функций переносятся и в лебеговскую теорию. Если f∈ на [а, b] и

(95)


то F'(х) = f(х) почти всюду на [а, b].

Обратно, если функция F дифференцируема в каждой точке сегмента [а, b] ("почти всюду" здесь недостаточно!) и если F'∈ на [а, b], то


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

предыдущая главасодержаниеследующая глава




ИНТЕРЕСНО:

Многомерный математический мир… в вашей голове

В школах Великобритании введут китайские учебники математики

Найдено самое длинное простое число Мерсенна, состоящее из 22 миллионов цифр

Как математик помог биологам совершить важное открытие

Математические модели помогут хирургам

Почему в математике чаще преуспевают юноши

Физики-практики откровенно не любят математику

В индийской рукописи нашли первое в истории упоминание ноля

Вавилонская глиняная табличка оказалась древнейшей «тригонометрической таблицей» в мире

Ученые рассказали о важной роли игр с пальцами в обучении детей математике
Пользовательского поиска

© Злыгостев Алексей Сергеевич, статьи, подборка материалов, оформление, разработка ПО 2001-2017
При копировании материалов проекта обязательно ставить ссылку на страницу источник:
http://mathemlib.ru/ 'MathemLib.ru: Математическая библиотека'
Рейтинг@Mail.ru