Понятие определённого интеграла восходит ещё к Архимеду. Мы рассмотрим неформальное введение, где объясним суть проблемы.
Неформальное введение¶
Пусть дана функция , которая непрерывна на отрезке . Будем писать и будем считать, что функция на этом отрезке принимает только положительные значения. Рассмотрим фигуру (см. рис.), ограниченную кривой , двумя ординатами , и отрезком оси Подобные фигуры называются криволинейными трапециями.
Рассмотрим теперь задачу о нахождении площади плоской криволинейной трапеции (см. рис.)
![Площадь фигуры ABCD примерно равна сумме площадей разноцветных прямоугольников, и чем их больше, тем точнее будет ответ.](/artofcalculus/build/int_a_b1-f187b9612d1eb86c9aecc2c3e78a3819.jpg)
Площадь фигуры примерно равна сумме площадей разноцветных прямоугольников, и чем их больше, тем точнее будет ответ.
Разделим основание нашей фигуры произвольным образом на части и проведём ординаты, соответствующие точкам деления; тогда криволинейная трапеция разобьётся на ряд полосок.
Заменим теперь приближённо каждую полоску некоторым прямоугольником, основание которого то же, что и у полоски, а высота совпадает с одной из ординат полоски. Таким образом, криволинейная фигура заменится некоторой ступенчатой фигурой, составленной из отдельных прямоугольников.
Обозначим абсциссы точек деления через
Будем нумеровать прямоугольники числами и пусть — площадь -го прямоугольника. Ясно, что , где
Тогда приближённое значение площади криволинейной трапеции равно
Тогда можно предположить, что при убывании всех к нулю мы будем получать более точное значение, т.е. другими словами мы хотим сказать, что точное значение площади это следующий предел
Для обозначения предела такой суммы вида и был Лейбницем введён символ интеграла, т.е.
Интеграл ступенчатой функции¶
Предыдущее “определение” интеграла имеет очень много недостатков. Например, мы пользовались интуитивным пониманием площади криволинейной трапеции.
Здесь мы дадим строгое определение интеграла.
Разбиение промежутка¶
Напомним, что под промежутком мы понимаем подмножество прямой одного из видов; , , , , при этом мы считаем, что Промежуток мы будем обозначать буквами или , а под длиной промежутка будем понимать выражение, и если один из рассмотренных промежутков, то будем писать
Proof
Доказывать будем по индукции, а именно по мощности разбиения. То есть для всех разбиений, в которых ровно элементов верна формула .
(1) Если то значит, что , так как любое его разбиение не должно иметь непустых элементов, но тогда формула очевидна.
(2) Если , то это значит, что любое его разбиение имеет ровно один непустой элемент, а это значит, что — одноточечное множество, но и в таком случае формула тоже очевидна.
(3) Пусть формула верна для любых разбиений, в которых ровно элементов. И допустим теперь, что у промежутка имеются разбиения, у которых элементов. Именно для таких разбиений мы будем доказывать формулу. Случаи, когда или же когда очень просты для рассмотрения, так как тогда все разбиения либо содержат пустое множество, либо пустое и одноточечное.
Итак, пусть — это одно из четырёх множеств .
Допустим, что тогда — это либо , либо . Рассмотрим произвольное разбиение , в котором ровно элементов, тогда должен найтись ровно один элемент, скажем, , который содержит .
С другой же стороны, , а тогда имеет либо вид , либо или же , где . Для удобства можно считать, что в последнем случае .
Рассмотрим теперь множество , которое имеет вид либо , либо , либо , или , когда , или же — это точка или пустое множество. Другими словами, — это промежуток.
Далее, так как и , то множество является разбиением промежутка .
Таким образом, разбиение содержит уже элементов. Но согласно предположению, для промежутка верна формула
Воспользовавшись теперь равенством,
мы получим
(4) Осталось рассмотреть случай, когда , но тогда это либо либо и существует один из элементов множества который имеет вид либо или же . Это означает, что вид множества может принять одно из четырёх значений , , , когда или же это точка или пустое множество. Остальная часть рассуждения продолжается как выше.
Ступенчатые функции¶
Сейчас мы опишем класс функций, которые ``очень просты’’ для интегрирования\footnote{Отметим, что эти функции также ещё называются кусочно-постоянными, в англоязычной литературе они так и называются, piecewise constant functions.}, а потом с помощью их мы уже определим интеграл в общем виде.
Этот пример показывает, что понятие ступенчатой функции можно определить без привлечения разбиения промежутка.
Proof
Действительно, пусть — произвольный элемент разбиения, тогда найдётся такой , что . Тогда если для всех , то и для всех
Proof
Доказательство сразу вытекает из определения ступенчатой функции и сводится к простой проверке.
Интеграл от ступенчатой функции на промежутке¶
Итак, у нас всё готово, чтобы ввести следующее важное определение.
Итак, мы увидели, что, взяв разбиение тоньше, значение интеграла не изменилось, очевидно, что это верно и в общем случае.
Пусть и пусть
где содержит только , . Из определения Definition 4 тогда следует, что и .
Наконец, используя лемму Lemma 1, получаем, что
Таким образом, имеем
Таким образом, мы можем ввести следующее определение, которое будем использовать в дальнейшем.
Пусть , — разбиения промежутка относительно которых , — ступенчаты, соответственно. Согласно предложению ,
(1) Согласно следствию , , и тогда пользуясь замечанием Remark 1,
(2) Если для всех , то для любых таких, что , имеем . Тогда, согласно замечанию Remark 1,
(3) Если для всех , то , и согласно замечанию Remark 1,
(4) Пусть — разбиение промежутка и , то определим разбиение промежутка следующим образом
положим, что мы получаем, что φ — ступенчата на Мы можем также записать
тогда согласно Замечанию Remark 1,
(5) Пусть , — разбиения промежутков соответственно. Тогда разбиение промежутка
Имеем
тогда согласно замечанию Remark 1,