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