matan_bogdanskyj
.pdfДоведiть: c ìiðà íà (X; A) ("дельта-мiра"). |
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|||||
|
|
множина |
A 2 A ìîæå áóòè |
представлена (не¹диним чином) у |
||||||||||
2) Кожна m |
|
|
m |
|
|
|
|
|
||||||
виглядi A = |
[ak; bk). Покладемо: (A) = (bk ak). Доведiть: функцiя |
|||||||||||||
|
|
k=1 |
|
|
|
|
|
|
k=1 |
|
|
|
|
|
коректно |
визначена на алгебрi |
A |
(¨¨ значення не залежить вiд розбиття |
|||||||||||
|
W |
|
|
|
|
|
P |
|
|
|
|
|||
|
|
|
|
|
|
m |
|
|
|
|
|
|
|
|
A в диз'юнктне об'¹днання A = |
[ak; bk)) та ¹ мiрою (мiра "довжина"). |
|||||||||||||
|
|
|
|
|
k=1 |
|
|
|
|
|
|
|
|
|
3) Нехай F : X |
! R |
äîâiëüíàWфункцiя. Доведiть, що функцiя на A, âè- |
||||||||||||
|
|
|
m |
|
|
|
|
|
m |
|
|
|
||
значена за формулою: |
A = k=1[ak; bk) |
) #F (A) = k=1 |
F (bk) F (ak) |
|||||||||||
|
|
|
|
|
|
|
ÿêùî |
|
монотонно неспадна фун- |
|||||
коректно визначена та ¹ зарядом (в разi, |
|
|
|
|||||||||||
|
|
|
|
W |
|
|
|
|
F |
P |
|
|
|
|
êöiÿ, #F ¹ ìiðîþ). |
|
|
|
|
|
|
|
|
|
|
n 1 3 öi¹¨ |
|||
4) Сформулюйте та доведiть твердження, що аналогiчнi |
вправи для вимiрного простору з n 4 вправи 1.
Твердження 2. Нехай ! : A ! R заряд на вимiрному просторi (X; A). Тодi виконуються властивостi:
1) !(?) = 0;
m
W W W P
2) ! (A1 A2 : : : Am) = !(Ak);
|
|
|
S |
|
k=1 |
|
|
|
|
|
|
|
|
T |
|
|
|
||
|
3) !(A) + !(B) = !(A B) + !(A B); |
|
|
||||||
|
4) ßêùî ! ìiðà; A B, òî !(A) 6 !(B). |
!(B) = !(A) + !(B n A) |
|||||||
стивiсть доводиться |
|
W |
|
A B |
|
||||
|
Доведення. !(?) = !(? |
|
?) = 2 |
!(?). Òîìó !(?) = 0. Друга вла- |
|||||
|
|
|
iндуктивно. Якщо |
|
|
, òî |
. |
S
Звiдси виходить 4), а також i 3): !(A B) = !(A) + !(B n A) = !(A) +
T
+ !(B) !(A B).
Означення 5. Якщо мiра на (X; A), то трiйку (X; A; ) назива¹мо "простором з мiрою".
2. Iнтегрування простих функцiй.
Означення 6. Нехай (X; A; ) простiр з мiрою. Функцiю f : X ! R
назива¹мо простою(ступiнчастою), якщо f прийма¹ лише скiнченну кiль-
11
вимiрними (Akf |
A; ). |
|
|
|
k |
= |
|
|
2 |
|
j |
( |
|
) = |
f(k) |
|
|
||
кiсть значень |
(1) f(2); : : : ; f(m) i множини A |
|
|
x |
|
X |
|
f |
|
x |
|
|
|
, ¹ |
|||||
2 |
|
|
W |
|
W |
|
|
Wf |
|
). |
|
2 A; íà |
|||||||
кожнiй множинi Ak функцiя f стала (i |
|
|
|
|
|
|
|||||||||||||
Iнакше кажучи, iсну¹ розбиття |
X = A1 |
|
A2 |
: : : |
|
Am; Ak |
|||||||||||||
|
|
|
прийма¹ значення |
|
(k) |
|
|
|
|
|
|
|
|||||||
Якщо через jA позначити функцiю: jA(x) = |
81; x 2 A |
|
( iндикатор |
||||||||||||||||
|
|
|
|
|
|
|
<0; x = A: |
|
|
|
|
|
|
|
|||||
множини A ), òî |
m |
|
|
|
|
: |
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
Xk |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
f = |
f(k)jAk |
: |
|
|
|
|
|
|
|
|
|
|
|
|
|
(1) |
||
|
|
=1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(обмiркуйте!).
Означення 7. Iнтеграл вiд просто¨ функцi¨ f (по мiрi ) визначено за формулою:
I (f) = Z |
fd = Z |
m |
|
f(x) (dx) = k=1 f(k) (Ak): |
(2) |
||
X |
X |
X |
|
Вправа 4. Доведiть, що iнтеграл вiд просто¨ функцi¨ f формулою (2)
визначено коректно (представлення f у виглядi (1) не¹дине, але значення I (f) вiд представлення (1) не залежить).
Надалi за вимiрний простiр (X; A) беремо вiдрiзок X = [a; b] з алгеброю
пiдмножин A, що породжена числовими промiжками (вправа 1, n 4). Â разi, якщо мiра довжина ( (h ; i) = äëÿ âñiõ h ; i [a; b]),
|
|
|
|
|
|
|
|
|
|
b |
|
|
|
|
познача¹мо: |
|
[aR;b] |
fd = [aR;b] |
fdx = [aR;b] |
f(x)dx = Ra |
f(x)dx i назива¹мо "визна- |
||||||||
|
|
|||||||||||||
ченим iнтегралом". |
|
|
|
|
|
|
|
|
|
|||||
|
Вправа 5. Доведiть, що в разi мiри |
c (вправа 3, n 1): äëÿ áóäü-ÿêî¨ |
||||||||||||
|
|
|
|
R |
|
|
|
|
|
|||||
просто¨ функцi¨ ма¹ мiсце рiвнiсть |
|
|
X; A; |
|
||||||||||
|
Твердження 3. Нехай f; g |
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
fd c = f(c). |
|
|
|
||
|
|
|
|
|
|
|
|
X |
|
|
|
|
|
|
|
|
|
|
|
|
|
простi функцi¨ на просторi з мiрою ( |
|
|
); |
||||
|
|
|
|
|
|
|
|
|
R |
|
R |
|
R |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
; 2 R. Òîäi f + g проста функцiя i |
( f + f)d = fd + |
gd . |
||||||||||||
|
|
|
|
|
|
|
|
|
X |
|
X |
|
X |
|
12
Доведення. Нехай f прийма¹ значення f(1); : : : ; f(m) íà âèìiðíèõ ìíî-
жинах A1; : : : ; Am; g прийма¹ значення g(1); : : : ; g(n) на вимiрних множинах B1; : : : ; Bn. Тодi функцiя f + g прийма¹ значення f(k) + g(l) на множи-
T |
|
|
|
|
16Wl6l |
T |
|
|
|
||
íàõ Ak Bl |
вiдповiдно, причому |
(Ak |
Bl). Тому f + g проста |
||||||||
|
|
|
|
|
16k6m |
|
|
|
|
|
|
функцiя i |
|
|
|
|
|
|
|
|
|
|
|
Z ( f + g)d = |
k;l |
( f(k) + g(l)) (Ak |
Bl) = |
|
|
||||||
X |
|
|
X |
|
Bl)! |
|
n |
\ |
m |
|
Bl)!:(3) |
= m |
f(k) |
n |
(Ak |
+ |
g(l) |
(Ak |
|||||
X |
Xl |
|
\ |
|
X |
|
X |
|
\ |
||
k=1 |
=1 |
|
|
|
l=1 |
|
k=1 |
|
|
||
Îñêiëüêè |
l=1 (Ak |
Bl) = l=1(Ak |
Bl) = (Bl) (адитивнiсть мi- |
||||||||
|
n |
m T |
|
n |
|
T |
|
|
|
|
|
|
P |
|
W |
|
|
|
|
|
|||
ри!) i, аналогiчно, |
P (Ak TBl) = (Bl), то права частина (3) дорiвню¹ |
k=1
RR
fd + gd .
XX
Твердження 4. Нехай f проста невiд'¹мна функцiя (f(x) > 0 äëÿ âñiõ
R
x 2 X). Òîäi fd > 0.
X
m
Доведення. R fd = P f(k) (Ak) > 0.
Xk=1
Наслiдок. Нехай f; g простi функцi¨; f > g (f(x) > g(x) äëÿ âñiõ
RR
x 2 X) òî fd > gd .
|
|
|
|
|
|
X |
|
|
|
X |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Доведення. |
X fd X gd = X (f g)d > 0. |
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
Твердження 5. |
|
Нехай |
f |
проста функцiя на |
(X; A; ). Òîäi inf f |
|
|||||||||||||||||
|
|
|
|
|
|
|
|
R |
|
R |
R |
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
X |
|
|
|
|
|
) 6 |
|
|
|
|
|
|
|
|
|
|
f |
|
|
j |
|
2 |
|
g |
|||
|
X |
fd |
|
sup f |
(X) (òóò inf f = inf |
f(x) |
x |
X |
; sup f = |
||||||||||||||||
( |
|
X |
|
|
6 X |
|
|
X |
|
|
|
|
X |
|
|||||||||||
|
|
|
|
|
|
R |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
= supff(x) j x 2 Xg). |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
Доведення. Нехай g(x) = inf f при всiх x 2 X. Тодi g проста фун- |
|||||||||||||||||||||||
|
|
|
|
|
6 |
|
|
|
|
|
|
|
R |
X |
R |
|
|
|
|
|
|
|
|
|
|
êöiÿ; g |
f; inf f |
(X) = |
gd |
fd . Аналогiчно доводиться друга |
|||||||||||||||||||||
|
|
|
|
|
|
X |
|
|
|
|
X |
|
6 X |
|
|
|
|
|
|
|
|
|
|
13
íåðiâíiñòü.
Наслiдок. Нехай f проста функцiя; jf(x)j 6 C ïðè âñiõ x 2 X. Òîäi
R fd 6 C (X). |
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
X |
|
|
|
|
|
|
|
|
|
|
jfj проста |
|
Вправа 6. Нехай |
f простаi |
функцiя на (X; A; ) |
. Довести: |
|||||||
|
|
|
|
|
|
6 jfjd . |
|
||||
функцiя |
|
|
|
|
|
||||||
|
|
|
jfj(x) := jf(x)j |
|
fd |
|
|
||||
|
|
|
|
|
R |
|
|
R |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
X |
|
|
X |
|
|
3. Розширення класу iнтегровних функцiй .
Означення 8. Нехай f функцiя, що визначена i обмежена на X.
Нормою функцi¨ f назвемо число kfk = kfkX = sup jfj = sup jf(x)j.
X x2X
Вправа 7. Нехай f; g обмеженi функцi¨ на X. Тодi виконуються вла-
стивостi: kfk > 0; kfk =; |
0 â òîìó i òiëüêè â òîìó ðàçi, ÿêùî f 0 |
f(x) = 0 äëÿ âñiõ x 2 X |
k fk = j j kfk ( 2 R); kf + gk 6 kfk + kgk; |
kfk kgk 6 kf gk; kf gk 6 kfk kgk (òóò (f g)(x) = f(x) g(x) äëÿ âñiõ x 2 X).
Означення 9. Послiдовнiсть функцiй ffng, визначених на X рiвномiрно íà X çáiãà¹òüñÿ до функцi¨ f (що також визначена на X), якщо для кожного " > 0 iсну¹ натуральне число N = N(") таке, що при всiх n > N та
x 2 X викону¹ться нерiвнiсть: jf(x) fn(x)j 6 ". Позначення: fn f.
X
Зауваження 2. З означення виходить, що, починаючи з деякого N функцi¨ f fn ¹ обмеженими (а тому можна казати при kf fnk) i останн¹ означення може бути переписано iнакше: kf fnk ! 0; n ! 1.
Крiм того, в разi, якщо функцi¨ fn ¹ обмеженими, гранична функцiя f також обмежена.
Теорема 1. Нехай (X; A; ) простiр з мiрою i послiдовнiсть простих функцiй ffng рiвномiрно збiга¹ться до функцi¨ f. Тодi:
а) iсну¹ скiнченна границя lim I (fn);
n!1
á) ÿêùî fgng iнша послiдовнiсть простих функцiй, що рiвномiрно
çáiãà¹òüñÿ äî f, òî lim I (gn) = lim I (fn).
n!1 n!1
14
Доведення. Нехай fn f. Ôiêñó¹ìî " > 0. Нехай N = N(") òàêå, ùî
X
kf fnk 6 " äëÿ âñiõ n > N. Òîäi kfn fmk 6 kf fnk+ kf fmk 6 2" ïðè n; m > N. Òîæ jI fn I fmj = jI (fn fm)j 6 2" (X). Òîìó ïîñëiäîâíiñòü fI fng фундаментальна i, за критерi¹м Кошi, збiга¹ться.
Нехай gn g. Áóäó¹ìî íîâó ïîñëiäîâíiñòü: f1; g1; f2; g2; f3; : : : h2k 1 =
|
|
X. Òîäi |
|
|
|
|
= fk; h2k = gk |
hn f (перевiрте). За доведеним |
ïîñëiäîâíiñòü |
||||
fI hng |
||||||
çáiãà¹òüñÿ, à |
тому ¨¨ пiдпослiдовностi |
fI fng |
òà |
fI gng |
мають однаковi гра- |
|
|
|
|
|
íèöi.
Означення 10. Домовимось називати функцiю на (X; A; ) iнтегровною, якщо iсну¹ послiдовнiсть простих функцiй fn, ùî ðiâíîìiðíî íà X збiга¹ться до функцi¨ f. Множину всiх iнтегровних функцiй на (X; A; ) позна- чимо через D = D(X; ).
Вправа 8. 1) Довести, що функцiя f 2 D може бути визначена властивiстю: f 2 D, якщо для кожного " > 0 iсну¹ проста функкцiя f" òàêà, ùî kf f"k 6 ".
2)Довести, що фукнцiя f 2 D не може мати розривiв другого роду.
3)Навести приклад функцi¨ f 2 D, що ма¹ нескiнченну кiлькiсть роз-
ривiв першого роду.
Доведена теорема дозволя¹ коректно запровадити значення iнтеграла для функцi¨ з класу D.
Означення 11. Нехай f 2 D; ffng послiдовнiсть простих функцiй, що рiвномiрно збiга¹ться до f. Покладемо:
Z |
Z |
fd = lim |
fnd : |
n!1 |
|
X |
X |
Дослiдимо, наскiльки багатим ¹ клас функцiй D.
Ëåìà 1. Нехай f визначена i неперервна на X = [a; b]. Òîäi f 2 D. Доведення. За теоремою Кантора f ¹ рiвномiрно неперервною на [a; b].
Нехай " > 0. Беремо = (") > 0 òàêå, ùî ïðè jx1 x2j < викону¹ться
15
íåðiâíiñòü: jf(x1) f(x2)j < ". Розглянемо скiнченний набiр точок: a = x0 < < x1 < : : : < xp = b, для якого xk+1 xk < ïðè k = 0; 1; : : : ; p 1. Покладемо: f"(x) = f(xk), ÿêùî x 2 [xk; xk+1); k = 0; 1; : : : ; p 1; f"(b) = = f(b). Òîäi f" проста функцiя i kf f"k 6 ". Залишилось звернути увагу на довiльнiсть вибору " > 0.
Означення 12. Функцiя f : [a; b] ! R назива¹ться кусково неперервною , якщо iсну¹ таке розбиття вiдрiзку: a = a0 < a1 < : : : < am = b, ùî f неперервна на кожному iнтервалi (ak 1; ak), k = 1; 2; : : : ; m та iснують скiнченнi
границi lim |
f(x) i lim f(x), k = 1; 2; : : : ; m. |
|||
|
x!ak 1+0 |
x!ak 0 |
||
|
Теорема 2. Нехай f кусково неперервна на X = [a; b]. Òîäi f 2 D. |
|||
|
|
|
|
Нехай a = a0; a1; : : : ; am = b розбиття [a; b], ùî âiäïî- |
|
Доведення. |
|||
|
|
|
|
|
вiда¹ функцi¨ f (див. означення 12). Нехай fk обмеження функцi¨ f на iнтервал (ak 1; ak), довизначене в кiнцях цього iнтервалу так: fk(ak 1) =
= lim |
f(x); f (a |
|
) = |
lim |
f(x). Функцiя f неперервна на [a |
k 1 |
; a |
|
] |
x!ak 1+0 |
k |
k |
|
x!ak 0 |
k |
|
k |
|
i для кожного " > 0 iсну¹ ступiнчаста функцiя gk íà [ak 1; ak], òàêà, ùî äëÿ âñiõ x 2 (ak 1; ak) ìà¹ìî: jf(x) gk(x)j = jfk(x) gk(x)j 6 ". Функцiя g : X ! R, äëÿ ÿêî¨ g(x) = gk(x), x 2 (ak 1; ak) i g(ak) = f(ak) äëÿ
0 6 k 6 m, ¹ ступiнчаста i така, що, kf gk 6 ". Òîæ f 2 D. |
|
||||||||
Теорема 3. |
|
Нехай |
X = [a; b] |
. Òîäi |
f 2 D(X) , f |
не ма¹ розривiв |
|||
|
|
|
|
|
|
|
|
||
другого роду . |
|
|
|
|
|
||||
|
Доведення. |
Нехай f 2 D; x0 2 X; " > 0. Тодi iсну¹ проста функцiя g |
, |
||||||
|
|
|
|
äëÿ ÿêî¨ jf(x) g(x)j 6 " äëÿ âñiõ x 2 X. Iсну¹ правий проколений пiвокiл
(x0; x0 |
+ ) точки x0, в якому g(x) = g(x0 |
+ 0) = lim g(x). Òîìó äëÿ |
|
|
x!x0+0 |
x1; x2 2 (x0; x0 + ) викону¹ться нерiвнiсть: jf(x1) f(x2)j 6 2". Тим самим доведено, що викону¹ться критерiй Кошi iснування скiнченно¨ границi
|
lim f(x). Аналогiчно: |
lim f(x) |
2 R |
. Тож функцiя f не ма¹ розривiв |
||||||||||||||||
x |
! |
x0+0 |
|
|
|
! |
|
0 |
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
9 x x0 |
|
|
|
|
|
|
|
|
|
|
|
|||||
другого роду. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
Зворотн¹ твердження. Нехай f не ма¹ розривiв 2ãî ðîäó. Òîäi â êîæíié |
||||||||||||||||||
òî÷öi x |
0 |
2 |
X iснують |
lim f(x) |
2 |
R |
; |
lim |
0 |
f |
( |
x |
) |
2 R |
. Ôiêñó¹ìî " > |
|||||
|
|
|
|
x x0+0 |
|
|
|
x x0 |
|
|
|
|
||||||||
|
|
|
|
|
|
! |
|
|
|
|
|
! |
|
|
|
|
|
|
|
16
> 0. За критерi¹м Кошi границi функцi¨ в точцi, iсну¹ |
= (x0) > 0 òàêå, |
|||||||||||||||||||||||
ùî: |
|
|
f(x1) f(x2) |
|
< " |
|
|
|
|
|
|
|
òà |
|
|
|
|
|
|
|
||||
+ ) |
|
|
|
|
|
|
j |
|
|
|
|
2 |
|
|
|
|||||||||
|
x1; x2 |
2 |
(x0 |
|
; x0) |
) . jÄëÿ |
|
f(x2) |
|
|
|
|
x1; x2 |
(x0 |
; x0 + |
|||||||||
|
|
|
|
|
f(x1) |
|
|
< " |
|
|
|
|||||||||||||
x |
|
|
|
|
|
|
|
|
|
|
кожно¨ точки |
|
|
|
|
|
|
|
|
|
||||
|
) |
j |
|
|
|
j |
|
|
|
|
|
|
|
|
x |
2 |
X беремо iнтервал |
|||||||
U |
= (x |
|
|
|
|
|
|
|
|
|
|
|
m |
|
|
|
|
|
|
|
|
|
|
|
|
(x); x + (x)). За лемою Гейне-Бореля iсну¹ скiнченний набiр |
|||||||||||||||||||||||
|
|
|
|
|
|
|
x = xk |
|
k = 1; : : : ; S |
|
( ) = ( ) |
|
|
|
= |
k |
||||||||
точок x1; x2; : : : ; xm 2 X, для якого X |
k=1 Uxk . Функцiю |
g визнача¹мо |
||||||||||||||||||||||
наступним чином. Якщо |
|
|
, |
|
|
|
m, òî g x |
|
f x , ÿêùî x |
6 |
x , |
|||||||||||||
|
|
|
|
|
|
|
то iсну¹ найменший номер k, при якому x 2 Uxk i покладемо g(x) = f(xk+0)
за умови x 2 (xk; xk + (xk)) i g(x) = f(xk 0) за умови x 2 (xk (xk); xk). Тодi g проста функцiя i kg fk 6 " (перевiрте!). Тож f 2 D. Теорему доведено.
Наступне твердження доводить, що функцi¨ класу D утворюють функцiональну алгебру.
Твердження 6. Нехай f; g 2 D; ; 2 R. Тодi f + g 2 D; f g 2 D. Доведення. Нехай ffng; fgng послiдовностi простих фукнцiй, такi,
ùî kfn fk ! 0; kgn gk ! 0, n ! 1. Îñêiëüêè k(fn + gn) (f + g)k 6 6 kfn fk + kgn gk, òî é k(fn + gn) (f + g)k ! 0, n ! 1. Аналогiчно
доводиться: fn f. Таким чином, f + g 2 D (обмiркуйте!).
X
Аналогiчно: kfn gn f gk = k(fn f) gn + f (gn g)k 6 kfnfk kgnk+ kfk kgn gk. Послiдовнiсть функцiй gn рiвномiрно обмежена: починаючи з деякого номера N викону¹ться нерiвнiсть kgn gk 6 1, à òîìó kgnk = kg +(gn g)k 6 kgk+kgn gk 6 kgk+1. Тож числова послiдовнiсть
k |
fngn |
|
fg |
k |
нескiнченно мала i |
k |
fngn fg |
k |
. Тим самим доведено, що |
|
|
|
X |
|
|||||
f g 2 D. |
|
|
|
|
|
|
4. Властивостi iнтеграла .
R
Теорема 4 (лiнiйнiсть iнтеграла). Нехай f; g 2 D; ; 2 R. Òîäi ( f +
X
RR
+ g) d = f d + g d .
XX
17
R
Доведення. За твердженням 6: f + g 2 D. Доведемо: (f + g) d =
X
RR
= f d + g d . Нехай ffng; fgng послiдовностi простих функцiй на
X |
X |
|
|
|
R |
X, äëÿ ÿêèõ fn f; gn g. Òîäi, fn + gn |
|
||||
f + g i (f + g) d = |
|||||
|
X |
X |
|
X |
X |
|
|
|
|
|
|
|
|
|
|
|
!1 R |
. |
|
!1 |
= lim |
(fn + gn) d = lim |
|||
n |
X |
|
n |
|
|
|
|
|
R R
= f d + g d
R |
R |
|
!1 R |
|
!1 R |
fn d + |
gn d |
= lim |
fn d + lim gn d = |
||
X |
X |
n |
X |
n |
X |
|
|
X |
X |
|
R |
|
RD; |
|
|
Аналогiчно доводиться рiвнiсть |
Нехай |
. Òîäi |
|
||||
Теорема 5 (невiд'¹мнiсть |
|
|
|||||
> 0. |
|
|
X ( f) d = X f d . |
R |
|||
|
|
iнтеграла). |
|
f 2 f > 0 |
|
f d > |
|
|
|
|
|
|
|
X
Доведення. Для будь-якого натурального числа n iсну¹ проста функцiя
1 1
fn, äëÿ ÿêî¨ kfn fk 6 n. Òîäi fn(x) = fn(x) f(x)+f(x) > n ïðè âñiõ x 2
R |
1 |
|
R |
!1 R |
||
|
|
|
||||
fn d > n |
||||||
X. За твердженням 5: |
(X). Òîìó |
f d = nlim fn d > |
||||
X |
|
|
|
X |
X |
1 |
|
|
> nlim |
|
(X) = 0. |
n |
||
!1 |
|
|
R
Наслiдок (монотоннiсть iнтеграла). Нехай f; g 2 D; f > g. Òîäi f d >
X
R
>g d .
XДоведення. |
R |
|
R |
|
|
R |
|
|
f |
|
D |
|
|||||
Теорема 6 |
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
X f d X g d = X (f g) d > 0. |
|
|
|||||||||
|
|
|
|
|
(оцiнка iнтеграла). Для будь-яко¨ |
|
2 |
|
викону¹тсья нерiв- |
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
X |
|
|
|
|
|
6 |
R |
6 |
X |
|
|
|
|
|
|
|
íiñòü: inf f |
|
(X) |
|
f d |
|
sup f |
|
(X). |
|
|
|
|
X
Доведення. Дослiвне повторення доведення твердження 5.
Наслiдок 1. Для будь-яко¨ функцi¨ f 2 D викону¹ться нерiвнiсть
Z
f d 6 kfk (X) (самостiйно!):
X
18
Наслiдок 2. Нехай f 2 C[a; b] (неперервна на X). Тодi iсну¹ точка x0 2
R
2 X f d = f(x0) (X).
X
Доведення. Неперервна функцiя прийма¹ на [a; b] всi значення мiж min f òà max f. Залишилось зауважити, що за теоремою 6, середн¹ фун-
XX
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Нехай f; g D; g |
|
0. Òîäi |
|||||||
|
|
Теорема 7R(перша теорема про середн¹). |
|
||||||||||||||||||||||||||||||||
êöi¨ f: |
|
|
|
|
|
|
|
f d мiститься мiж min f òà max f. |
|
|
|
|
|
||||||||||||||||||||||
|
|
|
(X) X |
|
|
|
|
|
|
|
|
X |
|
|
|
|
|
X |
|
|
|
|
2 |
|
> |
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
2 |
X |
|
|
|
|
X |
|
|
|
|
X |
|
|
|
|
|
|
|
|
|
X |
|
|
|
|
|
|
|
|
|||
|
неперервна на |
|
òàêå, ùî |
R |
|
|
|
|
òàêå, ùî R |
|
|
|
|
|
|
|
. |
||||||||||||||||||
|
|
, òî iñíó¹ |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
iñíó¹ c |
|
|
|
inf f; sup f |
|
|
|
(f |
|
|
g) d = c |
g d . ßêùî æ, êðiì òîãî, |
|||||||||||||||||||||||
|
|
Доведення. |
|
|
Îñêiëüêè g > 0, òî f |
|
g 6 sup fR |
|
g. Тепер з |
|
R |
||||||||||||||||||||||||
f |
|
|
|
|
|
|
|
|
|
|
|
|
X |
|
x0 2 |
|
X |
|
|
|
|
|
|
X (f |
g) d = f(x0)X g d |
||||||||||
iнтеграла одержимо нерiвнiсть: |
|
|
|
|
|
|
|
|
|
X |
|
|
|
|
|
монотонностi |
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
R |
|
|
|
g |
|
d |
|
sup f |
|
R |
|
|
|
|
|||||||||||
òèì, ùî f |
|
g |
|
|
D). Закiнчити |
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
f |
|
|
g d (скористались |
|||||||||||||||
|
|
|
|
|
|
|
2 |
|
|
|
|
|
X ( |
|
|
|
|
) |
|
|
6 X |
|
|
X |
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
доведення самостiйно. |
|
|
|
|
|||||||||||||||||||||
|
|
Теорема 8 (нерiвнiсть Кошi-Буняковського ). |
Нехай f; g 2 D. Òîäi f2, |
||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
g2, f g 2 D i ма¹ виконуватись нерiвнiсть:
012
Z fg d |
A |
6 Z f2 d Z g2 d : |
|
@X |
X |
X |
Доведення. На лiнiйному просторi D розглянемо функцiю двох змiнних:
R
'(f; g) = f g d . Перевiрте, що ' бiлiнiйний симетричний невiд'¹мний
X
функцiонал i застосуйте до нього класичну нерiвнiсть Кошi-Буняковського:
'(f; g)2 6 '(f; f) '(g; g).
Теорема 9 (про граничний перехiд пiд знаком iнтеграла ). Нехай послi-
довнiсть функцiй fn 2 D рiвномiрно збiга¹ться до функцi¨ |
f. Òîäi f 2 D |
|||
i |
Z |
= n!1 Z |
|
(4) |
|
n |
|||
|
f d |
lim |
f d : |
|
|
X |
X |
|
|
Доведення. Нехай kfkn fk 6 n1 i gn такi простi функцi¨, що kgn
19
|
fkn |
|
1 |
. Òîäi |
|
gn |
|
f |
|
= |
|
|
(gn |
|
|
fkn)+(fkn |
|
f) |
|
2 |
|
. Òîìó gn f; f |
|
D. |
|||||||||||||
|
|
|
k |
|
k |
k |
|
|
k 6 n |
2 |
|||||||||||||||||||||||||||
|
|
k 6 n |
|
|
|
|
|
|
|
|
|
f d |
|
|
|
|
X |
|
|
||||||||||||||||||
Íåðiâíiñòü (4) виходить з оцiнки: |
|
R |
|
fn d |
6 kf fnk (X). |
||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
R |
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
X |
|
X |
|
X f d |
|
|
|
|
|
|
|||||
|
|
Вправа 9. |
Нехай f |
|
2 D. Òîäi jfj 2 D i |
6 |
X jfj d . |
(ïiäêàç: |
|
||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
використайте нерiвностi: |
|||||||||||||||||||||||||||||||||||||
|
|
f |
|
6 |
f |
6 |
f ). |
|
|
R |
|
|
|
|
R |
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
j |
|
|
j |
|
|
j j |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Означення 13. Нехай A вимiрна множина (A 2 A). Визначимо iнтеграл функцi¨ f 2 D по пiдмножинi A за формулою:
ZZ
f d = (f jA) d ;
AX
äå jA iндикатор множини A (див. означення 6). |
|
|
|||||||||
|
Тим самим, для кожно¨ функцi¨ f |
|
2 D (i мiри ) можна побудувати |
||||||||
функцiю ! на алгебрi A за правилом: |
|
|
|
|
|
||||||
|
|
|
|
|
!(A) = !f (A) = Z |
f d : |
|
(5) |
|||
|
|
|
|
|
|
|
|
A |
|
|
|
|
Теорема 10 (адитивнiсть iнтеграла як функцi¨ множини ). Функцiя |
||||||||||
! : A ! R, що визначена за формулою (5), ¹ зарядом. |
f d + f d . |
||||||||||
Òîìó |
f d = |
(f |
|
jA |
B2) d =T f |
|
jA d + fS jB d = |
||||
|
Доведення. Якщо A; B |
A; A B = ?, òî jA |
B = jA +jB (перевiрте!). |
||||||||
|
|
A RB |
R |
|
W |
R |
|
|
R |
R |
R |
|
W |
X |
|
|
X |
|
|
X |
A |
B |
|
|
|
|
|
|
|
|
Для iнтеграла R
f d мають мiсце аналоги розглянутих вище властиво-
A
стей iнтеграла.
Твердження 7. Для будь-яких f 2 D; A 2 A виконуються нерiвностi:
Z
inf f (A) 6 f d 6 sup f (A):
A A A
20