Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

matan_bogdanskyj

.pdf
Скачиваний:
23
Добавлен:
12.05.2015
Размер:
860.79 Кб
Скачать

гальнений 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

n ! 1.
fn çáiãà¹òüñÿ äî f çà ìiðîþ, ÿêùî
o

пряму¹ до 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

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]