Определенный интеграл. Свойства, теорема существования.

11.1.2. Определение определённого интеграла. Пусть на отрезке [a,b] задана функция y = f(x). Разобьём отрезок [a,b] произвольным образом на n частей точками [x₀ , x₁], [x₁ , x₂], …, [x_i-1 , x_i], …, [x_n-1 , x_n]; длину i-го отрезка обозначим : ; максимальную из длин отрезков обозначим . На каждом из отрезков [x_i-1 , x_i] выберем произвольную точку и составим сумму .
Сумма 𝜎 называется интегральной суммой. Если существует (конечный) предел последовательности интегральных сумм 𝜎 при , не зависящий ни от способа разбиения отрезка [a,b] на части [x_i-1 , x_i], ни от выбора точек , то функция f(x)называется интегрируемой по отрезку [a,b], а этот предел называется определённым интегралом от функции f(x) по отрезку [a,b] и обозначается .
Функция f(x), как и в случае неопределённого интеграла, называется подынтегральной, числа a и b - соответственно, нижним и верхним пределами интегрирования.
Кратко определение иногда записывают так: .
В этом определении предполагается, что b> a. Для других случаев примем, тоже по определению:
Если b=a, то ; если b<a, то .

Теорема существования определённого интеграла. Если функция f(x) непрерывна на отрезке [a,b], то она интегрируема по этому отрезку.
Примем это утверждение без доказательства, поясним только его смысл. Интегрируемость функции означает существование конечного предела последовательности интегральных сумм, т.е. такого числа , что для любого найдётся такое число , что как только разбиение отрезка удовлетворяет неравенству , то, независимо от выбора точек выполняется неравенство . Требование непрерывности f(x) достаточно для интегрируемости, но не является необходимым. Интегрируемы функции, имеющие конечное или даже счётное число точек разрыва на [a,b] при условии их ограниченности (т.е. все точки разрыва должны быть точками разрыва первого рода). Неограниченная функция не может быть интегрируемой (идея доказательства этого утверждения: если f(x) неограничена на [a,b], то она неограничена на каком-либо [x_i-1 , x_i], т.е. на этом отрезке можно найти такую точку , что слагаемое , а следовательно, и вся интегральная сумма, будет больше любого наперед заданного числа).