matan_bogdanskyj
.pdfгальнений sup, для послiдовностi вимiрних функцiй в цiй версi¨ supffng iсну¹ на всьому X i формулювання твердження спрощу¹ться: supffng вимiрна функцiя на (X; A) (обмiркуйте!).
Твердження 10. Нехай ffng послiдовнiсть вимiрних функцiй на (X; A);
|
|
|
|
|
|
|
|
|
. Òîäi |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
Y = x |
nlim!1fn(x) 2 R |
|
|
|
|
Y 2 A i функцiя f(x) = nlim!1fn(x) âèìiðíà |
|||||||||||||||||||||||||||
íà |
|
Y; |
|
|
. Аналогiчне твердження для g |
= lim |
f |
. |
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
( |
AY ) |
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
!1 |
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
. ßêùî |
||||
|
Доведення. Скориста¹мось формулою: lim fn(x) = inf sup fm(x) |
|
|
||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n!1 |
|
|
|
|
,n òîm>n |
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
позначити |
h |
(x) = sup f |
|
(x) |
i |
Y |
|
= x |
sup fm(x) |
|
|
|
Y |
|
= Y |
|
äëÿ êî- |
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
n |
|
m>n |
|
m |
|
|
|
n |
|
m>n 1 12 R |
|
|
n |
|
1 |
|
|
|
||||||||||
жного n; hn âèìiðíi íà (Y1; AY1 ) i Y = |
Y1 |
|
|
n=1 m=1 |
x |
|
hm(x) > n |
2 A |
|||||||||||||||||||||||||
(перевiрте!). |
|
|
|
|
|
|
|
|
|
|
T |
S |
T |
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
При цьому, як виходить з твердження 9, f âèìiðíà íà (Y; AY ). Вправа 6. Сформулюйте i доведiть аналог твердження 10 для версi¨
функцiй з X â [ 1; +1].
Твердження 11. Нехай ffng послiдовнiсть вимiрних функцiй на (X; A).
Òîäi Y |
= |
|
9 n!1 |
n( ) 2 R |
2 A |
n!1 |
n( |
x |
) |
âèìiðíà íà |
|
|
x |
|
lim f |
x |
|
i функцiя f(x) = lim f |
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
(Y; AY ).
|
|
n |
n!1 n |
|
2 R |
|
n!1 |
(x) |
|||||
Доведення. Y = x |
|
lim f (x) = |
lim f |
|
= x lim fn(x) 2
n!1
= lim f (x) |
|
!1 |
|
n!1 |
|
|
||||
|
Tn |
|
|
|
|
|
|
|
|
|
2 R |
x |
nlim fn(x) |
lim fn(x) = 0 2 A (обмiркуйте!) i при цьому f = |
|||||||
|
|
|
|
|
Y . Залишилось застосувати твердження 4. |
|||||
n!1 |
|
|
||||||||
|
Означення 8. Функцiя f : X |
! |
R, що визначена на вимiрному просторi |
|||||||
|
|
|
|
|
|
|
|
(X; A), назива¹ться простою, якщо вона прийма¹ лише скiнченну кiлькiсть
значень c1; c2; : : : ; cm, причому кожне з цих значень f прийма¹ на вимiрнiй
m
|
|
|
|
|
kP |
iндикатор множини A). |
|
|
|
2 |
|
множинi, тобто Ak = |
x |
|
f(x) = ck |
A. Iнакше: f = ck jAk (jA |
|
|
|
|
|
|
=1 |
Вправа 7. Перевiрте вимiрнiсть просто¨ функцi¨.
Теорема 4. Нехай f вимiрна обмежена функцiя на вимiрному просторi (X; A). Тодi iсну¹ послiдовнiсть fn простих функцiй, що рiвномiрно на X
151
пряму¹ до f.
Доведення. Нехай c < f(x) 6 d äëÿ âñiõ x 2 X. Для кожного n 2 N òà
k = 1; 2; : : : ; n покладемо: ak;n = |
(n k)c+kd |
, Ak;n = x |
ak |
|
1;n < f(x) 6 ak;n |
|
||||||||||||||||||||||
òà fn = |
n |
|
ak;njAk;n. Òîäi fn простinфункцi¨ i sup fn(x) |
|
f(x) |
|
6 |
d c. |
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x2X |
|
|
|
|
|
n |
|
|||
|
|
|
k=1 |
|
|
|
|
|
Для кожно¨ вимiрно¨ фукцi¨ |
|
|
ïîñëiäîâíiñòü |
простих |
|||||||||||||||
|
Íàñëiäîê. |
f iñíó¹ |
||||||||||||||||||||||||||
|
|
|
P |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
функцiй fn, що поточково пряму¹ до f. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
Для кожного n 2 N покладемо gn = max n; min(f; n) |
. |
|||||||||||||||||
|
Доведення. |
|
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
Функцi¨ |
gn |
|
|
обмеженi, вимiрнi. Нехай |
fn |
проста |
функцiя, для яко¨ |
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
6 |
1 |
|
|
|
|
|
|
|
|
|
|
|||||||
sup g (x) |
|
|
f (x) |
|
|
f |
|
поточково збiга¹ться до |
f |
|||||||||||||||||||
X |
|
n |
|
|
n |
|
n. Òîäi ïîñëiäîâíiñòü |
|
n |
|
|
|
|
|
|
|
|
|
|
|
||||||||
(перевiрте!) |
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
5. Збiжнiсть послiдовностей вимiрних функцiй . |
|
|
|
|
|
|
||||||||||||||
|
Нехай ¹ простiр з мiрою (X; A; ) (нагаду¹мо: тут i надалi A -алгебра |
|||||||||||||||||||||||||||
множин) i f; f1; f2; : : : послiдовнiсть вимiрних функцiй на |
(X; A). Íàñ |
будуть цiкавити три типи збiжностей послiдовностi fn до функцi¨ f i çâ'ÿçêè
мiж цими типами збiжностей. |
|
|
|
|
|
|
|
|
|
|
|||||||
|
Означення 9. |
Послiдовнiсть функцiй fn çáiãà¹òüñÿ äî f майже всюди, |
|||||||||||||||
ÿêùî x |
|
fn(x) 9 f(x) = 0. Позначення: fn |
ì.â. |
f (àáî fn |
|
|
f (mod )). |
|
|||||||||
|
|
|
|
|
|
|
x fn(x) 9 f(x) |
|
|
|
|
|
|
|
|||
|
Вправа 8. Перевiрте, що |
|
¹ вимiрною множиною для |
||||||||||||||
|
|
|
|
|
|
|
! |
|
|
! |
|
|
|
||||
|
|
|
|
|
|
f; f1 |
f ; : : : вимiрних функцiй на |
(X; A) |
|
|
|||||||
будь-яко¨ послiдовностi |
. |
|
|||||||||||||||
|
|
|
|
|
|
; 2 |
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
У подальшому фраза про те, що якась властивiсть викону¹ться майже всюди на X, означа¹, що множина точок, для яких ця властивiсть не викону¹ться, ма¹ нульову мiру.
Означення 10. Послiдовнiсть функцiй
n
викону¹ться умова: 8" > 0: x fn(x) f(x) > " ! 0 ïðè
Позначення: fn ! f.
Означення 11. Послiдовнiсть функцiй fn çáiãà¹òüñÿ äî f майже рiвно-
мiрно, якщо викону¹ться умова: 8 > 0 9A 2 A: (A ) < ; fn f.
XnA
152
Iнакше кажучи, вилученням множини як завгодно мало¨ мiри досяга¹ться рiвномiрна збiжнiсть. Позначення: fn ! f.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
! |
) |
ì.ð. |
|
! |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
(Лебег) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
Теорема 5 |
|
|
. |
fn |
|
|
ì.â. |
f |
|
|
fn |
|
|
|
f . |
|
fn(x) f(x) |
|
> "o |
2 A. |
|||||||||||||||||||||||||||
|
|
Доведення. Фiксу¹мо " > 0 i нехай An(") = nx |
|
||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
An(") ! 0; n ! 1. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
Треба довести: |
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
S |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
Послiдовнiсть множин Bn(") = |
k>n |
Ak(") ¹ монотонно спадною, тому |
|||||||||||||||||||||||||||||||||||||||||||||||||
Bn(") |
! n=1 Bn(") |
|
|
|
|
|
|
|
|
|
|
x 2 n=1 Bn(") ) 8n 9k > |
|||||||||||||||||||||||||||||||||||||||||
|
(вправа 3). Але |
||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
T |
|
> " (перевiрте!). Тому |
|
|
|
|
|
T |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
> n: |
fk(x) f(x) |
|
|
x 2 n=1 Bn(") ) fn(x) 9 |
|||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
i |
|
|
1 |
|
|
|
= 0. Висновок: Bn(") |
T |
0, звiдки й виходить |
||||||||||||||||||||||||||||||||||||||||
|
f(x) |
|
|
|
Bn(") |
||||||||||||||||||||||||||||||||||||||||||||||||
9 |
|
|
|
|
|
|
T |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
An(") Bn(") |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
n=1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
! |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
результат, оскiльки |
|
|
|
|
|
|
|
|
|
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
Зворотне твердження, взагалi кажучи, не викону¹ться. |
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||
|
|
Контрприклад. X = [0; 1]; A борелiвська (або лебегiвска) -алгебра |
|||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||
íà X; класична мiра Лебега ( довжина ). Послiдовнiсть функцiй fn |
|||||||||||||||||||||||||||||||||||||||||||||||||||||
буду¹мо за правилом: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
äëÿ n |
|
|
|
1; 2; : : : ; 10 : f |
n |
(x) = 1, ÿêùî x |
2 |
( |
n 1 |
; |
n |
]; f |
|
(x) = 0, ÿêùî |
|||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
n 1 |
|
|
2 f |
|
|
|
|
|
|
g |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
10 |
|
10 |
|
|
n |
|
|
|
|
|
|
|
|
||||||||||||
x = ( |
; |
n |
]; |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
2 |
10 |
|
|
10 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n 11 |
|
|
n 10 |
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
äëÿ n |
2 f |
11; : : : ; 110 : f |
n |
(x) = 1, ÿêùî x |
|
2 |
( |
; |
]; f |
n |
(x) = 0, ÿêùî |
||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
g |
|
|
|
|
|
|
|
|
|
|
|
|
|
100 |
|
|
|
100 |
|
|
|
|
|
|
|
|
|
|
||||||||||||
x = ( |
n 11 |
; |
n 10 |
|
] i т.д. (побудуйте графiки!). |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
2 |
100 |
|
100 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
! |
0, тому що для будь-якого " |
|
(0; 1) числова послiдовнiсть |
||||||||||||||||||||||||||||||||||||||||||
|
|
Òîäi fn |
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||
An(") |
! 0; n ! 1; |
( An(") = |
1 |
, n = 1; 2; : : : ; 10; An(") |
= |
1 |
|
||||||||||||||||||||||||||||||||||||||||||||||
10 |
100 |
, |
|||||||||||||||||||||||||||||||||||||||||||||||||||
n = 11; 12; : : : ; 100 |
|
|
|
|
|
|
|
|
|
|
|
|
x 2 (0; 1] |
|
|
|
|
|
|
|
fn(x) |
|
|
||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
; i т.д.). Однак для всiх |
|
|
|
|
|
|
|
|
|
|
|
ïîñëiäîâíiñòü |
|
|
|
¹ |
розбiжною (перевiрте!).
Вправа 9. Доведiть, що в позначеннях наведеного контрприкладу послiдовнiсть функцiй f1; f11; f111; : : : збiга¹ться до f 0 майже всюди.
Теорема 6 (Ðiññ). Кожна послiдовнiсть вимiрних функцiй fn, ùî çáiãà¹-
ться за мiрою до вимiрно¨ функцi¨ f, ма¹ пiдпослiдовнiсть fnk , ùî çáiãà¹òüñÿ
153
äî f майже всюди.
Доведення. Нехай fn ! f. Тодi в позначеннях доведення теореми 5,
Доведемо: fn k 2 Nf. |
|
nk 2 N |
|
|
|
|
|
|
Ank k |
|
||||||
k |
|
ì.â. |
|
|
|
|
, що задовольня¹ умову: |
|
|
1 |
|
|||||
для кожного |
|
iñíó¹ |
|
|
|
|
|
|
|
|||||||
|
! |
|
|
|
|
|
|
(Y c) |
= 0. |
. Òîäi |
|
|
|
|||
для кожного x |
Y .9Залишилось довести: |
|
|
fnk (x) ! |
||||||||||||
Нехай Y = |
x |
m 8 k |
> m: |
fnk (x) f(x) |
|
< k1 |
|
|
||||||||
|
|
2 |
|
|
|
1 |
|
c |
|
|
|
1 |
|
|
|
|
|
|
1 |
|
|
|
|
|
1 |
|
|
. |
|
|
|||
Îñêiëüêè Y = m=1 k>m Ank |
k |
, òî Y c = m=1 k>m Ank |
k |
|
|
|||||||||||
|
|
S |
T |
|
|
|
T |
S |
|
|
|
|
< 21k .
f(x)
|
|
> |
1 |
|
|
|
> |
1 |
|
|
|
|
> |
|
|
|
|
|
c |
|
|
|
Ank |
1 |
6 |
|
|
Ank |
1 |
< |
|
|
1 |
= |
1 |
|
|||
|
|
|
|
|
|
k |
m |
1 (див. вправу 3). Мно- |
|||||||||||
æèíè |
|
|
|
|
|
P |
|
|
|
|
|
|
|
|
|
|
(Y ) = |
||
|
BS ( ) = |
A |
|
|
k |
P |
2 |
|
2 |
|
|||||||||
|
k |
m |
|
|
k |
|
k |
m |
|
|
k |
|
m |
|
|
|
|||
|
|
|
|
|
|
S |
|
утворюють спадну послiдовнiсть. Тому |
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
m |
k |
|
k>m |
nk |
k |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
= m!1 |
|
|
1 |
f |
|
|
|
f |
|
|
f |
|
|
|
|
f |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
m k |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
lim B |
|
|
|
|
|
= 0 (див. вправу 3). |
|
|
|
|
|
|
|
|
Ym 2 A |
|
|
|
|
|
|
||||||||||||||||||
Теорема 7. |
|
|
n |
|
|
|
m 2 N |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
! |
|
) |
|
|
! |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
ì.ð. |
|
|
|
|
|
ì.â. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
Доведення. |
Для кожного |
|
|
|
|
|
iсну¹ множина |
|
|
|
, äëÿ ÿêî¨ |
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(Ym) |
< |
1 |
òà fn f. Òîìó â êîæíié òî÷öi x 2 |
mS |
|
Ymc |
¹ çáiæíiñòü |
|||||||||||||||||||||||||||||||||
m |
|
|||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
XnYm |
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
||
для кожного k. Òîìó (Z) = 0. |
|
|
|
|
|
|
|
|
mT |
|
|
|
=1 |
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
Ym. При цьому Z Yk |
||||||||||||||||||||||||||||||||
fn(x) ! f(x). Доповненням цi¹¨ множини ¹ Z = |
||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
=1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
Теорема 8 ( горов). |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
" > 0 |
|
|
|
|
|
|
|||||||||||||||||
|
|
Доведення. |
ßê i â |
! |
|
|
|
|
! |
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
fn |
f |
) |
fn |
f |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ì.â. |
|
|
|
|
|
|
|
|
ì.ð. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
доведеннi теореми 5 буду¹мо для |
|
|
|
множини |
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n( |
) |
! |
||||||||
n 0; n |
|
n(. ) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
, äëÿ ÿêî¨ |
|
||||||||||||||||
A (") òà B |
|
" . За умов теореми 8 (та теореми 5) було доведено: B |
" |
|
|
|
||||||||||||||||||||||||||||||||||
! |
|
|
|
! 1 |
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
ì๠ìàëó ìiðó: |
|
|
|
|
|
k |
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
Фiксу¹мо > 0. Iсну¹ послiдовнiсть множин Bnk |
k |
|
|
|
|
|
|
|
Bnk |
|
|
< |
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
kS |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
< |
2k |
(чому?). Тодi множина Y = |
|
|
Bnk |
|
k |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
=1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
1 |
i < |
(вправа 3): |
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
(Y ) 6 k=1 |
hBnk k |
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
X |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
154
Доведемо: fn f.
|
|
|
Y c |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
1 |
|
|
c |
|
|
1 |
|
|
|
1 |
|
c |
= |
|
|
|
|
|
|
|
|
||||
|
Y c = k=1hBnk |
k i |
|
= k=1 m>nkhAm k i |
|
|
|
|
|
|
|
|
|
|||||||||||||||
\ |
|
|
|
|
|
|
|
|
\ \ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
= k=1nx |
8 m > nk : fm(x) f(x) < ko: |
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
\ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
c |
|
|
|
|
|
|
А це гаранту¹ рiвномiрну збiжнiсть послiдовностi |
fn äî f íà Y . |
|
|
|||||||||||||||||||||||||
Вправа 10. |
1) Нехай fn |
ì.â. |
f; fn |
ì.â. |
g. Доведiть: f = g (mod ). |
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
! |
|
|
! |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2) Нехай fn |
|
f; fn |
|
|
g. Доведiть: f = g (mod ). |
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
! |
|
|
|
|
! |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3) Нехай fn |
ì.â. |
f; gn |
ì.â. |
g. Доведiть: fn + gn |
ì.â. |
f + g; fngn |
ì.â. |
fg. |
|||||||||||||||||||
|
4) Нехай fn |
! |
|
|
|
|
! |
|
|
|
|
|
|
|
|
|
! |
|
|
|
|
|
! |
|
||||
|
|
f; gn |
|
|
g. Доведiть: fn + gn |
|
f + g; fngn |
|
fg. |
|
||||||||||||||||||
|
|
|
! |
|
|
|
|
! |
|
|
|
|
|
|
|
|
|
! |
|
|
! |
|
|
|
|
|
||
|
|
|
|
|
6. Iнтегрування простих функцiй. |
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
m |
|
|
|
|
|
|
|
|
|
|
Нехай (X; A; ) простiр з мiрою, f |
= |
|
|
ckjAk проста функцiя |
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
k=1 |
|
|
|
|
|
|
|
|
|
íà(X; A). Iнтеграл I(f) = |
|
f d = |
|
|
|
|
|
|
визначимо рiвнiстю: |
|
||||||||||||||||||
R |
f(x) (dx)P |
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
R |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
X |
|
|
|
X |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
m |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Xk |
ck (Ak): |
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
I(f) = |
=1 |
|
|
|
|
|
|
|
(6) |
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Вправа 11. Перевiрте коректнiсть означення iнтеграла (незалежнiсть значення лiво¨ частини рiвностi (6) вiд вибору множин Ak).
Äëÿ A 2 A iнтеграл просто¨ функцi¨ f по пiдмножинi A визначимо
формулою:
Z Z m
X
f d = f jA d = ck (Ak \ A):
AX k=1
Твердження 12. На множинi простих функцiй iнтеграл Лебега ма¹ наступнi властивостi:
1) |
f > 0 ) |
X f d > 0 |
(невiд'¹мнiсть iнтеграла); |
|
|
R |
|
155
2) R f d 6 R jfj d 6 sup f(x) (X);
3) |
X |
|
|
X |
|
|
X |
R |
|
|
|
|
|
|
|
|
R |
f d = f d +R |
|
f d |
|
|
|
|
|
|
|
||||
4) |
X ( f + g) d = X f d + X g d ( ; 2 R) (лiнiйнiсть iнтеграла); |
||||||||||||||
|
R |
|
|
R |
|
R |
|
(адитивнiсть iнтеграла). |
|
|
|
||||
|
W |
B |
A |
|
B |
|
|
|
|
|
|
|
|
|
|
|
A |
|
|
|
|
|
|
|
|
|
|
||||
Доведення. |
Проведiть самостiйно. |
|
|
|
R |
R i |
|
|
|||||||
|
|
|
Нехай |
|
|
|
|
|
. |
|
c |
. |
|||
Доведення. |
|
|
|
|
|
|
|||||||||
Наслiдок. Нехай f; g простi; f 6 g м.в. Тодi |
f d 6 |
g d . |
|
|
|||||||||||
|
|
|
|
|
|
|
x f(x) 6 g(x) |
|
|
X |
X |
|
|
||
|
|
|
|
|
A = |
|
Òîäi |
|
|
||||||
|
|
|
|
|
|
|
A 2 A (A ) = 0 |
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Покладемо c = max f(x) + g(x) . Òîäi g f+c jXnA > 0 (на всiй множинi
x2X
X). З твердження 12 виходить: I(g) I(f) + cI(jXnA) > 0. Залишилось зауважити, що, за означенням iнтеграла, I(jXnA) = 0.
Означення 12. Послiдовнiсть простих функцiй fn назива¹ться фунда- ментальною в середньому, якщо для кожного " > 0 iсну¹ такий номер N =
= N("), ùî äëÿ âñiõ i; j > N ì๠ìiñöå íåðiâíiñòü:
Z
jfi fjj d < ":
X
Ëåìà 3. Нехай послiдовнiсть простих функцiй fn фундаментальна в се-
|
множиниn |
o |
|
|
, äëÿ ÿêî¨ |
|
|
редньому. Тодi: 1) числова послiдовнiсть |
fn d |
збiжна; 2) для кожного |
|||||
" > 0 iñíó¹ òàêå > 0, ùî äëÿ áóäü-ÿêî¨ |
|
R |
D |
|
A |
|
(D) < |
|
|
X |
|
2 |
|
|
|
|
|
|
|
|
|
|
i âñiõ n ì๠ìiñöå íåðiâíiñòü:
Z
jfnj d 6 ":
D
Доведення. Твердження 1) ¹ наслiдком фундаментальностi числово¨
послiдовностi R
fn d , що виходить з нерiвностi:
X
Z |
fn d Z |
fm d |
6 Z |
jfn fmj d : |
X |
X |
|
X |
|
|
|
|
|
|
|
|
|
|
|
156
Доводимо друге твердження. Фiксу¹мо " > 0 i нехай N òàêå, ùî ïðè
R
âñiõ i; j > N: jfj fij d < ".
X |
x2X;k6N |
k |
|
|
C |
|
ìà¹ìî: |
|
|||||
Покладемо C = |
max |
|
f (x) |
|
òà = " |
. ßêùî (D) < , òî äëÿ n > N
Z Z Z
jfnj d 6 jfn fN j d + jfN j d 6 " + C 6 2";
D D D
R
à äëÿ n 6 N ìà¹ìî: jfnj d 6 C (D) 6 ".
D
7. Розширення класу iнтегровних функцiй .
Фiксу¹мо простiр з мiрою (X; A; ).
Означення 13. Вимiрну функцiю f : X ! R назива¹мо iнтегровною,
якщо iсну¹ послiдовнiсть простих функцiй fn, яка фундаментальна в сере- дньому i збiга¹ться до f майже всюди. При цьому iнтегралом вiд f за мiрою
назива¹ться число, що визначено рiвнiстю:
ZZ
I(f) = |
f d = lim fn d : |
(7) |
|
n!1 |
|
X |
X |
|
Коректнiсть цього означення поляга¹ в тому, що границя у формулi
(7) iсну¹ (що ¹ наслiдком леми 3) i не залежить вiд вибору послiдовностi простих функцiй зi вказаними в лемi властивостями. Останн¹ твердження виходить з наступно¨ леми.
Ëåìà 4. Нехай fn i gn послiдовностi простих функцiй, що фундаментальнi в середньому i збiгаються майже всюди до однi¹¨ вимiрно¨ функцi¨
f. Òîäi lim I(fn) = lim I(gn).
n!1 n!1
Доведення. Скориста¹мось теоремою 8 та лемою 3. Фiксу¹мо " > 0. За лемою 3 iсну¹ таке > 0, що для будь-яко¨ множини D з (D) < для
157
кожного n ì๠ìiñöå íåðiâíiñòü:
|
|
|
|
ZZ
|
fn d |
+ |
|
gn d |
6 ": |
(8) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
DD
За теоремою горова iсну¹ множина Y , для яко¨ (Y ) < , а послiдовностi fn òà gn рiвномiрно прямують до f íà X nY (обмiркуйте!). Тому iсну¹ такий номер N, що для кожного n > N викону¹ться нерiвнiсть:
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
sup |
|
f |
n |
(x) |
|
g |
n |
(x) |
|
6 |
" |
|
|
(9) |
||
(обмiркуйте!). |
|
x2XnY |
|
|
|
|
|
|
|
|
|
|
|||||||
Тепер з (8) та (9): при кожному n > N ìà¹ìî: |
+ Z |
|
|||||||||||||||||
Z |
fn d Z |
gn d |
6 Z |
fn d |
+ |
Z |
gn d |
jfn gnj d 6 |
|||||||||||
X |
X |
|
Y |
|
|
|
|
|
Y |
|
|
|
|
|
X |
Y |
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
6 " 1 + (X) ;
що й доводить лему (обмiркуйте!).
Множину iнтегровних функцiй будемо позначати через L1 = L1(X; ). Ëåìà 5. Нехай f 2 L1; A 2 A. Òîäi f jA 2 L1.
Доведення. Нехай fn послiдовнiсть простих функцiй, що фундамен-
тальна в середньому та fn ! f. Тодi функцi¨ fn jA ¹ також простими,
ì.â.
збiгаються до f jA майже всюди, а фундаментальнiсть в середньому послiдовностi функцiй fn jA ¹ наслiдком нерiвностi: jfn jA fm jAj 6 jfn fmj.
Остання лема ¹ пiдгрунтям до наступного означення. |
A 2 A |
|||||
назива¹ться число |
|
|
|
f 2 L1 |
|
|
Означення 14. Iнтегралом Лебега функцi¨ |
|
по пiдмножинi |
|
|||
|
R |
R |
|
|
|
|
f d = (f jA) d .
A X
Теорема 9. |
Мають мiсце наступнi властивостi. |
||
1) |
f 2 L1 |
; f > 0 ì.â. ) |
X f d > 0 ; |
|
|
|
R |
158
2) f 2 L1 ) jfj 2 L1; |
|
|
6 R jfj d ; |
R f d |
|
||
|
|
|
|
|
|
|
|
X X
f вимiрна, обмежена |
f |
2 |
L |
1 |
; X |
f d |
|
sup |
f |
j |
(X) |
|
3) |
) |
|
|
6 X j |
|
; |
||||||
|
|
|
|
|
|
R |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
4) f; g 2 L1; ; 2 R ) f + g 2 L1;X ( f |
+ g) d = X f d + |
|||||||||||
+ X g d ; |
|
|
|
|
|
|
R |
|
|
|
|
R |
R |
|
|
|
A B f d = A f d + B f d ; |
||||||||
5) f 2 L1; A; B 2 A; A B = ? ) |
||||||||||||
|
T |
|
|
|
|
R |
|
|
R |
|
|
R |
6) f; g 2 L1; f 6 g |
ì.â. |
|
|
|
|
W |
|
|
|
|
|
|
) |
R f d 6 R g d . |
|
|
|
|
|
||||||
|
|
X |
|
X |
|
|
|
|
|
|
Доведення. Якщо fn послiдовнiсть простих функцiй, яка фунда-
ментальна в середньому i збiга¹ться майже всюди до f, то з нерiвностi
|
fn jfmj |
6 fn fm виходить фундаментальнiсть в середньому послi- |
||||||||||||||||
довностij j |
функцiй |
j |
fn |
, ÿêà, |
крiм того, майже всюди збiга¹ться до функцi¨ |
|||||||||||||
|
|
|
|
|
|
|
j |
|
|
. |
|
|
|
|
|
|
|
|
jfj. Òîæ |
f 2 L1 |
) |
|
jfj 2 L1 |
|
|
|
|
|
|
|
|
||||||
|
Êðiì òîãî, |
ÿêùî |
f > 0 |
ì.â., òî |
|
fn |
ì.â. |
f |
|
= f |
. Звiдси властивiсть |
|||||||
|
|
|
|
|
|
|
j |
j |
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
j ! j |
|
|
|
||
1). Граничним переходом з нерiвностi |
X fn d |
6 X jfnj d одержимо вла- |
||||||||||||||||
ñòèâiñòü 2). |
|
|
|
|
|
|
|
|
|
|
|
R |
|
|
R |
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
З теореми 4 та ¨¨ доведення виходить, що для вимiрно¨ обмежено¨ функцi¨ f iсну¹ послiдовнiсть простих функцiй fn, яка рiвномiрно пряму¹ до f i при цьому sup jfnj 6 sup jfj. Властивiсть 3) тепер виводиться з властивостi
XX
2)твердження 12 граничним переходом.
|
Доведення властивостi 4) стандартне (перевiрте!). |
|
|||||||||
|
Властивiсть 5) ¹ наслiдком 4), оскiльки |
jA WB = jA + jB; властивiсть 6) |
|||||||||
виходить з властивостей 1) та 4). |
|
|
|||||||||
|
Твердження 13 (нерiвнiсть Чебишова). |
|
Нехай f 2 L1 i c > 0. Òîäi |
|
|||||||
|
|
|
|
|
|
|
|
|
Z jfj d : |
|
|
|
|
|
|
x |
|
f(x) |
> c 6 c |
(10) |
|||
|
|
|
n |
|
|
o |
1 |
|
|||
|
|
|
|
|
X |
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
159
Доведення. Покладемо Yc = nx |
|
|
f(x) |
|
> co. Òîäi |
|
|
|
|
|
|
||
|
|
|
|
|
|
|
ZZ
jfj d > jfj d > c (Yc):
X Yc
|
|
|
X jfj d ) f = 0 ì.â. . |
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
Íàñëiäîê. |
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
Доведення. |
R |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
1 |
x f(x) |
|
|
1 |
|
|
|
1 |
x f(x) |
|
1 |
|
6 |
|||||||
x f(x) > 0 = n=1 |
|
> n |
o |
6 n=1 |
|
> n |
|||||||||||||||||||||
n |
|
|
|
o |
[ |
n |
|
|
|
|
|
|
|
|
X |
n |
|
|
|
|
|
|
|
o |
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
6 n=1 n |
Z jfj d = 0: |
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
X |
|
X |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
= |
|
|
|
|
|
|
|
|
|
|
|
Твердження 14. |
|
+ |
= max( |
0) |
|
|
. |
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
f âèìiðíà; g 2 L1 |
; jfj 6 g |
) f 2 L1 |
|
|
|
|
|
|
||||||||||||
|
Доведення. |
Покладемо f |
|
|
|
f; |
|
; f |
|
max( |
f; 0). Òîäi f = |
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
= f+ f ; 0 6 f+ 6 g; 0 6 f 6 g. Тому твердження достатньо довести лише для невiд'¹мних функцiй f.
Тож нехай f âèìiðíà; 0 6 f 6 g; g 2 L1. Покладемо fn = min(f; n). f вимiрна, обмежена. Тому fn 2 L1. При цьому fn % f (монотонно неспадна, поточкова збiжнiсть); I(fn) 6 I(g). Тому (за класичною теоремою Вей¹рштрасса) числова послiдовнiсть I(fn) ¹ фундаментальною.
За теоремою 4 iснують простi функцi¨ gn, äëÿ ÿêèõ gn(x) |
fn(x) 6 n1 |
|||||
(äëÿ âñiõ x |
2 |
X). Òîæ gn |
! |
f м.в., а фундаментальнiсть |
в середньому |
|
|
|
|
|
|
послiдовностi gn виходить з низки нерiвностей, що виконуються при n > m:
Z Z Z Z Z
jgn gmj d 6 jgn fnj d + jgm fmj d + fn d fm d 6
X |
X |
|
X |
X |
X |
|
6 |
n |
+ m (X) + Z |
fn d Z fm d |
|
||
|
1 |
|
1 |
|
|
|
XX
160