ЛЕКЦИЯ № 6 ОПРЕДЕЛЕННЫЙ ИНТЕГРАЛ
Вопрос 6.1. Интегральная сумма и определенный интеграл Римана.
Пусть задана на
. Разобьем отрезок
n+1 точкой
на n отрезков
. Будем обозначать это разбиение отрезка
буквой Т. Пусть
‑ произвольная точка из отрезка разбиения
длины
.
Определение 6.1. Число , равное
называется интегральной суммой Римана функции , соответствующей разбиению T отрезка
на части и выбору промежуточных точек
на отрезках разбиения
.
Конец определения.
Определение 6.2. Величина , то есть длина наибольшего из отрезков разбиения, называется диаметром разбиения T.
Конец определения.
Перечислим свойства интегральных сумм:
Свойство 6.1. (Нормировка интегральных сумм). Если на отрезке
, то
.
Доказательство.
.
Конец доказательства.
Свойство 6.2. (Положительная определенность интегральных сумм).
Если на отрезке
, то
.
Доказательство. Так как и
, то
.
Конец доказательства.
Свойство 6.3. (Линейность интегральных сумм). Интегральная сумма от линейной комбинации функций есть линейная комбинация интегральных сумм этих функций.
.
Доказательство. . Раскрывая скобки и группируя слагаемые, получим
Конец доказательства.
Геометрический смысл интегральной суммы: интегральная сумма (см. рис. 1) функции
на отрезке
есть площадь ступенчатой фигуры, составленной из прямоугольников высотой
и шириной
.
Рис. 1. Геометрический смысл интегральной суммы.
Определение предела интегральных сумм функции на отрезке
можно дать, например, на языке
следующим образом.
Определение 6.3. Число I называется пределом интегральных сумм функции
на отрезке
, если для любого сколь угодно малого положительного числа e существует такое положительное число
, может быть зависящее от e, что для любого разбиения Т отрезка
, диаметр которого удовлетворяет неравенству
, независимо от способа разбиения отрезка
на части и от выбора промежуточных точек
выполняется неравенство
.
Конец определения.
Предел интегральных сумм будем в дальнейшем обозначать символом
.
Из определения предела интегральных сумм, подобно пределу последовательности или функции, следует его единственность.
Теорема 6.1. (Единственность предела интегральных сумм). Если существует предел интегральных сумм функции
на отрезке
, то он единственен.
Доказательство. Предположим противное. Пусть для функции на отрезке
существует два различных значения предела интегральных сумм
. Пусть выбрано
. Тогда должно существовать такое число
, что для разбиений с диаметром
выполняются неравенства
и
. Тогда
или
.
Полученное противоречие доказывает теорему 6.1.
Конец доказательства.
Определение 6.4. Определенным интегралом от функции на отрезке
или интегралом Римана называется предел интегральных сумм при стремлении диаметра разбиения к нулю, обозначаемый символом
,
при условии, что величина предела не зависит от способа разбиения отрезка на части и выбора промежуточных точек
. Функции, для которых существует на отрезке
определенный интеграл, называются интегрируемыми (по Риману).
Конец определения.