Навигация
Определение интеграла Лебега
29630
знаков
0
таблиц
2
изображения
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], [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 = 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),
то будем иметь
Похожие работы
... 2.6 Приведение интеграла Стилтьеса к интегралу Римана Пусть функция непрерывна в промежутке , а монотонно возрастает в этом промежутке, и притом в строгом смысле. Тогда, как показал Лебег, интеграл Стилтьеса с помощью подстановки непосредственно приводится к интегралу Римана. На рисунке изображен график функции . Для тех значений , при которых функция испытывает скачок (ибо мы вовсе ...
... функции стремятся к нулю при . Если соотношение (7) имеет место для всякой суммируемой на [a, b] функции f (t), то мы будем говорить, что последовательность слабо сходится к нулю. §2. Представление функции сингулярным интегралом в заданной точке Во всем дальнейшем будем считать, что ядро при фиксированных n и x ограничено. Тогда сингулярный интеграл имеет смысл при любой ...
... и в том случае, когда интегральный оператор (3) действует в пространстве C(W) и неразложим в этом пространстве относительно конуса неотрицательных функций пространства C(W). Получению оценок спектрального радиуса положительного оператора по информации о поведении этого оператора на фиксированном ненулевом элементе конуса посвящена достаточно обширная литература [21], [11], [13], [18], [26], ...
... интегралы всех разрывных функций, которые можно было построить известными в то время методами (интеграл Лебега). Триумф идей Лебега привел к тому, что даже один из вождей математиков – классиков Гастон Дарбу изменил свое мнение и, выступая в 1908г. на Математическом конгрессе в Риме, говорил о пламенном и пытливом духе математики ХХ в., о науке, ведущей свои изыскания в абсолютно новой области с ...
0 комментариев