Відавочна, што пры дастаткова дробным падзеле
адрэзка
“прыступкавая фігура” мала
чым адрозніваецца ад крывалінейнай трапецыі, а таму , калі функцыя
ёсць інтэгравальная на
, то
азначае плошчу крывалінейнай трапецыі:
.
►
Падзелім адрэзак
на n роўных (дзеля зручнасці)
частак. Маем
, а таму
, калі
. Выбіраючы
, возьмем правыя канцы
адрэзкаў
, г.зн.
. Вылічым інтэгральную суму
. Адкуль
. (Ці
з’яўляецца значэнне гэтага ліміта значэннем адпаведнага інтэграла?)◄
□ Паколькі
ёсць
інтэгравальная на
то
існуе лік I , які адпавядае ўмове (1) , г.зн. пры
маем няроўнасць
,
(2)
якая праўдзіцца пры кожным падзеле
і пры кожнай выбарцы
.
Зафіксуем падзел
і
дапусцім процілеглае, што функцыя
неабмежаваная
на
.
Тады функцыя неабмежаваная прынамсі на адным з адрэзкаў
падзелу
. Не парушаючы агульнасці,
будзем лічыць, што
неабмежаваная на
адрэзку
. Зафіксуем пункты
і абазначым
. Тады
і адпаведна няроўнасці (2),
маем няроўнасць
, якая праўдзіцца
.
Паколькі
, то няроўнасць

праўдзівая
. Гэта
значыць, што функцыя
абмежаваная на
адрэзку
, што супярэчыць дапушчэнню
неабмежаванасці
на
. ■
Напрыклад, функцыя Дырыхле

на адрэзку
абмежаваная, але
неінтэгравальная, бо пры
рацыянальных
, а пры
ірацыянальных
.
Няхай
абмежаваная
на
, і
– некаторы падзел адрэзка
. Няхай
.(Ці існуюць?)
Сумы
называюцца адпаведна ніжняй
і верхняй
сумамі Дарбу для дадзенага падзелу
.
Паколькі
,
то
, г.зн.
.

Мае месца
Калі абазначыць
так
званае ваганне функцыі
на адрэзку
, то
розніцу

называюць інтэгральным ваганнем функцыі
на адрэзку
.
Такім чынам, умова крытэра інтэгравальнасці ёсць
.
Функцыя
называецца
раўнамерна непарыўнаю на мностве
,калі
. (1)
Згодна з тэарэмай Кантара, калі функцыя непарыўная на адрэзку, то яна раўнамерна непарыўная на гэтым адрэзку.
□ Няхай функцыя
ёсць
непарыўная на адрэзку
. Паводле тэарэмы
Кантара яна раўнамерна непарыўная на гэтым адрэзку, г.зн. мае месца (1).
Няхай
– такі
падзел адрэзка
, што яго
дробнасць
. Адпаведна другой тэарэме
Ваерштраса
.
Паколькі
, а
, то
,
а таму
. Маем
.
Згодна з крытэрам інтэгравальнасці функцыя
ёсць інтэгравальная на
. ■
Можна даказаць праўдзівасць наступных тэарэм:
1º.
– натуральнае пашырэнне
паняцця інтэграла на адрэзак нулявой даўжыні.
2º.
– тут
.
Уважаемый посетитель!
Чтобы распечатать файл, скачайте его (в формате Word).
Ссылка на скачивание - внизу страницы.