Как в учебнике
Пусть $f$ непрерывна на конечном отрезке $[a,b]$, где $a<b$. Разбиение задано точками $a=t_0<\cdots<t_n=b$, ширины обозначены $\Delta t_i=t_i-t_{i-1}$, а выбранные точки удовлетворяют условию $\xi_i\in[t_{i-1},t_i]$. Интеграл Римана — предел взвешенных сумм при стремлении наибольшей ширины участка к нулю:
$$\int_a^b f(t)\,dt=\lim_{\max_i\Delta t_i\to0}\sum_{i=1}^{n}f(\xi_i)\Delta t_i.$$
Предел должен быть одинаковым для любых таких разбиений и выбранных точек. Непрерывность гарантирует его существование. Сумма состоит из высот, умноженных на ширины, поэтому интеграл представляет накопленный вклад по непрерывному промежутку.
Если $f(t)=2$ на $[0,3]$, интеграл равен 6. Отрицательные значения дают отрицательный вклад: $\int_{-1}^{1}t\,dt=0$, хотя геометрическая площадь между графиком и осью положительна. Интерпретация площади требует учёта знака.
Символ $dt$ указывает переменную интегрирования. Для интегрируемой вероятностной плотности $p_X$ вероятность интервала равна $\int_a^b p_X(t)\,dt$, а вероятность отдельной точки равна нулю. Бесконечные границы, неограниченные функции и более общие виды интеграла требуют отдельных определений и проверки условий.
Множитель $\Delta t_i$ необходим: простая сумма высот росла бы вместе с числом участков даже для постоянной функции. Уточнение разбиения уменьшает ширины, одновременно увеличивая число слагаемых. Условие на наибольшую ширину не позволяет оставить один крупный участок и измельчать только остальные. Для непрерывной функции на конечном отрезке колебания значений на каждом достаточно коротком участке малы; поэтому разные допустимые выборы высот перестают существенно влиять на сумму.
Определения и обозначения: Basic Analysis I.
Связанные понятия: Предел функции: точное значение «приближается», Конечная сумма: что перебирает большая сигма.
На пальцах
Накопленный объём воды можно приближённо посчитать по коротким промежуткам: скорость потока на каждом умножается на длительность, затем вклады складываются. Литры в минуту после умножения на минуты дают литры; простая сумма показаний расходомера выдаёт ошибку уже единицами измерения. Откачка вносит отрицательный вклад, поэтому интеграл не превращает все списания в доходы ради красивого отчёта. Внутри каждого промежутка меняющийся поток временно заменён постоянным. Интеграл описывает предел таких сумм при выполнении условий, а не точность одного удобного замера.
Пример
В учебном примере $f(t)=t$ на $[0,1]$ выбраны правые концы равных участков. Суммы приближаются к $1/2$.
Интеграл Римана: накопление вкладов со знаком
Один участок
Высота в правом конце равна 1, ширина 1, сумма равна 1.
Шаг 1 из 4: Один участок
Все шаги текстом
Один участок
Высота в правом конце равна 1, ширина 1, сумма равна 1.
- Вклады
- 1текущий
- Сумма
- 1
Два участка
Вклады равны 0.25 и 0.5, сумма 0.75.
- Вклады
- 0.25включён0.5текущий
- Сумма
- 0.75
Четыре участка
Более мелкая нарезка даёт сумму 0.625.
- Вклады
- 0.0625включён0.125включён0.1875включён0.25текущий
- Сумма
- 0.625
Общее выражение
При n равных участках сумма равна (n + 1)/(2n), её предел — 1/2.
- Количество участков
- 410100
- Суммы
- 0.6250.55текущий0.505включён
У возрастающей функции $f(t)=t$ правый конец даёт на каждом участке наибольшую высоту, поэтому показанные суммы превышают интеграл. В формуле последнего шага $(n+1)/(2n)=1/2+1/(2n)$ лишний вклад виден явно и исчезает при росте $n$. Значение 0.625 при четырёх участках — ещё сумма, а не сам интеграл. Ошибка возникнет, если объявить последнюю отображённую сетку окончательным ответом только потому, что мелкие прямоугольники выглядят убедительно.
Пример использует один способ выбора точек. Определение интеграла требует того же предела для всех допустимых способов измельчения.