Т е о р е м а 3. Если функция непрерывна на отрезке, то она интегрируема на этом отрезке.
○ Пусть
функция f непрерывна на отрезке . Тогда по теореме Кантора она равномерно
непрерывна на этом отрезке, т.е.
>0:
<
. (24)
Докажем, что для функции f выполняется условие
T:l(T)<
.
(13)
Пусть T= – произвольное разбиение отрезка
такое, что его мелкость l(T)=max
, где
. По теореме Вейерштрасса существуют
точки
такие, что
, где
,
. Поэтому из условия (24) следует, что
=
,
так как
. отсюда получаем
=
.
Итак,
>0:
–
,
И по теореме 2 функция
f интегрируема на отрезке .●