
255
lim
~+<∆<
Ó
Ït
Ë
lim
~+<∆<
Ó
Ït
∑
Í
>
·∆
>
>I
Ë. (5.32)
Визначення 5.4. Визначеним інтегралом називається
границя до якої прямує -та інтегральна сума (5.32) при
прямуванні до нуля довжини найбільшого часткового інтегралу.
Позначається визначений інтеграл як
b
+
lim
~+<∆<
Ó
Ït,ÏÔ
∑
Í
>
·∆
>
>I
lim
ÏÔ
Ë
Ë.
(5.33)
Тут функція
називається підінтегральною функцію; вираз
- підінтегральним виразом, а і , - границями
інтегрування.
Якщо побудувати графік підінтегральної функції
Õ
, то інтеграл
b
+
буде чисельно дорівнювати
площі Ë криволінійної трапеції, яка обмежена кривою Õ
,
прямими ,, і віссю Ö.
Теорема 5.7 (про існування визначеного інтегралу).
Якщо функція
неперервна на замкненому інтервалі
)
,,
*
,
то іі -та інтегральна сума прямує до границі при прямуванні до
нуля довжини найбільшого часткового інтервалу. Ця границя,
тобто визначний інтеграл
b
+
, не залежить від способу
ділення інтервалу інтегрування на часткові інтервали та від
вибору в них проміжних точок.
Інтегральні суми, які складені при різних діленнях
інтервалу інтегрування та різному виборі проміжних точок Í,
можуть суттєво відрізнятися одна від одної. Але для
неперервних функцій різниця між цими сумами зникає при
прямуванні до нуля найбільшого часткового інтервалу та до
нескінченності кількості точок ділень відрізку інтегрування.