<<
>>

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

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

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

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

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

Классическое определение интеграла, данное О. Коши и разви­тое Б. Риманом, состоит, как известно, в следующем: рассматри­вается конечная функция f(x), заданная на отрезке [a, b]; этот отрезок разбивается на части точками x0 = a < x1 < x2 < ¼ < xn = b, в каждой части [xk, xk+1] выбирается точка xk и составляется риманова сумма

s = .

Если сумма s при стремлении к нулю числа l = (xk+1 – xk) стремится к конечному пределу I, не зависящему ни от способа дробления [a, b], ни от выбора точек xk, то этот предел I назы­вается интегралом Римана функции f(x) и обозначается символом

.

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

(R).

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

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

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

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

Таким образом, риманово определение интеграла страдает суще­ственными недостатками – даже очень простые функции оказываются неинтегрируемыми. Нетрудно разобраться в причинах этого обстоятельства. Дело заключается в следующем: при составлении сумм Римана s, мы дробим сегмент [a, b] на мелкие части [x0, x1], [x1, 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 = y0 < y1 < ¼ < yn = B

Если составить множества ek так: ek = E(yk £ f < yk+1), то ясно, что различным точкам х Î еk и в самом деле отвечают близкие значения функции, хотя, в отличие от римановского процесса, сами точки x могут быть весьма далеки друг от друга.

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

.

Перейдем теперь к точному изложению вопроса. Пусть на измеримом множестве E задана измеримая ограниченная функция f(x), причем A £ f(x) £ B. Разобьем отрезок [А, В] на части точками yo = A < y1 < y2 < ¼ < yn = B и соотнесем каждому полусегменту [уk , уk+1) множество ek = E(yk £ f < yk+1). Легко проверить четыре свойства множеств ek:

1) Множества ek попарно не пересекаются: ekÇei = ? (k ? i).

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

3) E =

4) m(Е) =

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

s = S =

Если мы положим l = (yk+1 – yk), то будем иметь

0 £ S – s £ lm (E).

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

Лемма 1. Пусть некоторому способу дробления сегмента [А, В] отвечают суммы Лебега s0 и S0. Если ми добавим новую точку дробления и снова найдем суммы Лебега s и S, то окажется s0 £ s, S £ S0.

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

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

yi < < yi+1. (1)

Тогда при k ? i полусегменты [yk, уk+1), а с ними и множества ek, фигурируют и в новом способе дробления. Полусегмент же [yi, yi+1) при переходе к новому способу заменяется двумя полусегментами [yi,), [, yi+1), в связи с чем и множество ei разбивается на два множества = E(yi £ f < ), = E(£ f < yi+1). Очевидно, что ei = + , Ç = ?, так что

m (ei) = m () +m (). (2)

Из сказанного ясно, что сумма s получается из суммы s0 заменой слагаемого yim (ei) двумя слагаемыми yim () + m (), откуда, в связи с (1) и (2), следует, что s ? s0.

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

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

Доказательство. Рассмотрим два каких-нибудь способа дробления I и II, отрезка [А, В]. Пусть этим способам отвечают соответственно нижние суммы s1 и s2 и верхние суммы S1 и S2.

Составим третий способ дробления [А, В] - способ III, в котором точками деления служат точки деления обоих способов I и II. Если способу III отвечают суммы s3 и S3, то, в силу леммы, s1 £ s3, S3 £ S2, откуда, в связи с тем, что s3 £ S3, ясно, что s1 £ S2, а это и тре­бовалось доказать.

Выберем какую-нибудь определенную верхнюю сумму S0. Так как для всякой нижней суммы s будет s £ S0, то множество {s} всех нижних сумм Лебега оказывается ограниченный сверху. Пусть U есть его точная верхняя граница U = sup{s}. Тогда, ясно, что U £ S0.

Ввиду произвольности суммы S0, последнее неравенство доказы­вает, что множество {S} всех верхних сумм Лебега ограничено снизу. Обозначим через V его точную нижнюю границу V = inf{S}.

Очевидно, при любом способе дробления будет s £ U £ V £ S. Но, как мы отмечали, S – s £ lm (E), откуда 0 £ V – U £ lm (E) и, так как l произвольно мало, то U = V.

Определение 1. Чисело U = V называется инте­гралом Лебега функции f(x) по множеству Е и обозначается символом

(L)

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

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

(L)

Из сказанного выше следует, что каждая измеримая ограни­ченная функция интегрируема в смысле Лебега. Уже из этого замечания видно, что процесс интегри­рования (L) приложим к гораздо более широкому классу функций, чем процесс интегрирования (R).

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

Пусть a = и b = два разбиения Е измеримыми множествами: и f(x) – ограниченная измеримая функция на Е. Для каждого разбиения и функции определим нижнюю d(a, f ) и верхнюю D(b, f ) суммы Дарбу:

d(a, f ) = , D(b, f ) = ,

где , . Точные грани существуют в силу ограниченности функции f.

Разбиение w множества Е, полученное в результате пересечения элементов разбиений a и b

w = aÇb = , Ci, j = AiÇBj,

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

Лемма 2. Пусть разбиение w = aÇb является произведением разбиений a и b. Тогда справедливы неравенства

d(a, f ) £ d(w, f ) £ D(w, f ) £ D(b, f ).

Доказательство. Обозначим через ri, j и рi, j – нижнюю и верхнюю грани функции f на множестве Ci, j. Так как ai £ ri, j и pi, j £ bj при всех i и j, то используя аддитивность меры, мы имеем

откуда следует утверждение леммы.

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

.

Так как U = V, то мы получаем еще одно определение интеграла Лебега.

Теорема 1. В приведенных выше условиях справедливы равенства

.

Следствие 1. Для произвольного e > 0 всегда существует разбиение w,для которого D(w, f ) – d(w, f ) < e.

Доказательство. Из теоремы вытекает, что для любого e > 0 существуют разбиения a и b, для которых D(b, f ) – d(a, f ) < e. Если w = aÇb есть произведение этих разбиений, то по лемме 3 получим D(w, f ) – d(w, f ) £ D(b, f ) – d(a, f ) < e.

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

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

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

s £ £ S, S – s £ l? m (E).

<< | >>
Источник: Функциональный анализ. Лекции. 2017

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

  1. 1. Интеграл Лебега для простых и ограниченных функций на пространстве с конечной мерой
  2. 3. Определение интеграла Лебега в произвольном случае
  3. 7. s-аддитивность прямого произведения мер. Теорема Фубини