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

matan_bogdanskyj

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

a1 g(x) dx çáiãà¹òüñÿ ) a1 f(x) dx çáiãà¹òüñÿ .

+

 

 

 

 

+

 

 

R

 

Скористу¹мось

R

 

Êîøi i íåðiâíiñòþ:

 

Доведення.

x2

 

 

критерi¹м

 

 

 

 

x2

 

 

 

 

 

 

 

 

 

 

 

 

Z

f(t) dt

6

Z

g(t) dt

 

 

 

x1

x1

(обмiркуйте!):

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Твердження 17 (друга теорема порiвняння). Нехай 0

6 f(x) 6 g(x);

 

 

 

 

 

 

)

,

 

 

 

 

 

 

 

 

 

 

 

 

 

f

x

) =:

O g

 

x

 

x

 

 

(тобто iснують C > 0 i R > a, для яких при

(

 

 

(

 

 

 

 

! +)1. Òîäi

+1

g(x) dx

çáiæíèé

+1

f(x) dx

 

x > R

jf(x)j 6 Cjg(x)j

a

 

)

a

 

çáiæíèé .

 

 

 

 

 

 

 

 

 

R

 

 

 

 

R

 

 

 

 

Доведення.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+1

 

 

 

 

 

 

 

 

+1

 

 

 

 

 

 

 

 

Z

 

g(x) dx çáiæíèé

)

Z

Cg(x) dx çáiæíèé )

 

 

 

 

a

 

 

+1

 

 

 

 

 

 

R

+1

 

 

 

 

 

 

 

)

 

Z

 

f(x) dx çáiæíèé

)

Z

f(x) dx çáiæíèé

:

 

 

 

 

 

R

 

 

 

 

 

 

 

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Вправа 25. Сформулюйте та доведiть аналоги теорем про властивостi

визначеного iнтеграла, зокрема лiнiйнiсть, iнтегрування частинами, замiну

змiнно¨ в невласному iнтегралi.

 

 

 

 

 

 

 

 

 

 

 

 

 

Приклади.

1

 

 

 

+1

 

dx

 

 

 

 

 

 

 

 

 

 

 

I = R0

+ px + x3 треба дослiджувати як суму

 

 

 

1) Iнтеграл

 

 

 

 

 

 

 

 

 

 

 

 

 

 

iнтегралiв I1 = R0

 

dx

 

1

dx

1

 

I 1öå

px + x3 òà I2 =

R1

px + x3 . Çáiæíiñòü

 

 

 

 

 

 

 

 

 

 

 

 

 

 

iнтеграла

 

 

 

.

одночасна збiжнiсть

обох iнтегралiв I1 òà I2. Ïðè x ! 0+0:

p

 

 

 

p

 

x + x3

 

x

 

Тому iнтеграл I1

за другою теоремою порiвняння збiга¹ться одночасно з

51

 

 

 

 

 

 

1

dx

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

iнтегралом R0

p

 

 

. À ïðè x !

+1:+

p

 

 

 

 

 

 

 

 

. Посила¹мось на вже

x3=2

x

x + x3

вiдому ранiше збiжнiсть iнтеграла

 

1 dx

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Вiдповiдь: iнтеграл I çáiæíèéR1(i абсолютно, оскiльки f(x) > 0).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x3=2 та твердження 17.

 

 

 

 

 

 

 

 

 

 

 

 

+1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2) Iнтеграл I =

 

cos x

 

dx дослiдимо на збiжнiсть при довiльних

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

cos x

 

 

 

R1

1 x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

òíî çáiæíèé

ïðè > 1.

Iнтегру¹мо частинами:

 

 

 

 

 

 

 

 

 

 

 

 

 

R. Îñêiëüêè

 

x

 

6 x ; то за твердженням 16 вихiдний iнтеграл абсолю-

 

 

 

 

 

 

 

 

 

 

 

 

A

x

dx =

x

 

1

 

+

A

x +1 dx:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Z

 

 

 

Z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

cos x

 

 

 

 

 

sin x

 

A

 

 

 

 

 

 

 

1

 

sin x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

sin x

A

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

. Iсну¹ границя i другого доданка при

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

A!+1 x

 

 

Ïðè > 0 iñíó¹

lim

 

 

 

 

 

+

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

A

 

 

+

 

збiжнiсть iнтеграла

 

sin x

 

 

 

 

 

. Òîæ ïðè

> 0

âèõiäíèé ií-

 

 

 

 

 

 

 

 

 

 

!

1

 

 

 

 

 

+1 dx

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

x

 

 

 

 

 

 

 

 

 

2

x

 

1

 

 

cos 2x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

З iншого боку,R

cos x

 

>

cos

 

=

 

+

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

теграл збiга¹ться.

+

1 cos 2x

 

 

 

 

 

x

 

 

x

 

 

 

 

2x

 

2x . Îñêiëü-

êè ïðè

 

 

 

 

 

 

:

 

 

 

 

 

çáiãà¹òüñÿ

(доведення аналогiчне збiжностi

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

2+1 sin x R1

 

 

 

 

 

dx

 

 

+1 dx

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(0; 1]

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

iнтеграла

 

 

 

 

 

 

 

 

 

dx), а iнтеграл

R1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

cos x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+ R1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

ðîçáiæíèé, òî ðîçáiæíèì ¹ é

 

 

 

 

 

11

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

iнтеграл

 

 

 

dx, тобто при 2 (0; 1] вихiдний iнтеграл I умовно

x

 

çáiæíèé.

R

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Перевiримо, що при 6 0 вихiдний iнтеграл розбiжний.

 

 

 

 

 

Нехай < 0.

 

 

 

+1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

R

cos x dx. Розбiжнiсть перевiрте самостiйно.

 

 

 

Ïðè = 0: I =

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Òîäi

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+2n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

x

 

 

 

 

 

 

 

 

 

2

+ 2 n

 

 

 

 

!1! 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

cos x

dx >

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(перевiрте!):

 

 

 

 

 

2 +2n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

52

Звiдси виходить, що не викону¹ться умова критерiя Кошi збiжностi невласного iнтеграла (обмiркувати!).

Вiдповiдь: Вихiдний iнтеграл I ïðè > 1 абсолютно збiга¹ться; при

2 (0; 1] умовно збiжний; при 6 0 ðîçáiæíèé.

Теорема 23 (iнтегральна ознака збiжностi числового ряду ). Нехай фун-

êöiÿ f(x)

визначена на [1; +1), монотонно не зроста¹ i невiд'¹мна. Не-

õàé f(x)

iнтегровна на кожному вiдрiзку [1; a] [1; +1). Тодi iнтеграл

+1

 

+1

R

 

P

f(x) dx i ðÿä

f(n) збiгаються або розбiгаються одночасно.

1

 

n=1

Доведення. Нехай збiга¹ться iнтеграл. Тодi iсну¹ C, для якого при всiх

x

x: R1

f(t) dt 6 C. Òîäi

k

n

 

 

 

 

n

n

 

 

 

 

Z

f(t) dt = Z

 

 

 

 

k=2 f(k) 6 k=2

f(t) dt 6 C

(обмiркуйте!);

 

X

Xk 1

1

 

 

 

i ряд збiга¹ться за критерi¹м збiжностi ряду з невiд'¹мними членами.

 

 

 

 

 

 

x

 

Зворотне твердження. Оскiльки функцiя F (x) = R1

f(t) dt монотонно не-

спадна, то достатньо довести лише ¨¨ обмеженiсть

òîäi iñíó¹ lim F (x) =

+

1

 

 

 

 

 

x!+1

 

 

 

 

 

 

R

=f(t) dt . Покладемо n = [x]. Òîäi

1

 

 

 

 

 

 

 

 

 

 

 

 

 

n

k+1

n

+1

 

 

 

 

 

 

 

Z

 

 

 

 

F (x) 6 F (n + 1) = k=1

f(t) dt 6 k=1 f(k) 6 k=1 f(k):

 

 

 

 

 

X k

X

X

 

 

 

 

 

+1

1

 

 

 

 

+1 1

 

 

 

 

 

 

 

Приклад. Ðÿä

 

 

 

R1

 

 

dx i çà

 

p збiга¹ться одночасно з iнтегралом

 

p

доведеним ранiше, критерiй збiжностi ряду: p > 1.

 

 

 

 

 

P

 

 

 

 

 

x

 

 

 

n=1 n

 

 

 

 

 

 

Теорема 24 (ознака Абеля-Дiрiхле збiжностi невласного iнтеграла ). Нехай функцi¨ f, g визначенi на [a; +1) та iнтегровнi на будь-якому вiдрiзку

53

+1
R

[a; b] [a; +1). Для збiжностi невласного iнтеграла

a

f(x)g(x) dx доста-

тньо, щоб виконувалась одна з двох умов:

 

 

 

 

 

 

 

 

 

 

 

 

 

+1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1) iнтеграл

Ra

f(x) dx збiжний i функцiя g монотонна та обмежена

íà [a; +

);

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

x

f(t) dt обмежена на [a; +1) i функцiя g(x) ìîíî-

 

2) функцiя F (x) = a

тонно пряму¹ до нуля

ïðè

x

 

+

.

 

 

 

 

 

 

 

 

 

 

 

 

R

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

! 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Доведення. теореми проведемо лише для випадку неперервно¨ функцi¨

f та неперервно диференцiйовно¨ функцi¨ g.

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

Z

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

f(t)g(t) dt = g(t)F (t)

 

a Z

 

 

F (t)g0(t) dt:

(23)

 

 

 

 

a

 

 

 

 

 

 

 

 

 

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

lim

 

g(t); g0(t) ì๠ñòàëié çíàê.

 

Якщо викону¹ться умова 1), то iсну¹

 

 

 

 

 

 

 

 

. Îñêiëüêè

 

 

t!+1

 

 

 

 

 

 

Òîäi iñíó¹

lim

g(t)F (t)

 

 

 

 

F (x) обмежена, та припускаючи для

 

 

t!+1

 

 

 

 

 

+1

 

 

 

 

 

, що завершу¹ доведення.

визначеностi: g0(x) > 0, матимемо:

F (x)g0

(x)

 

6 Cg0(x), звiдки виходить

абсолютна збiжнiсть iнтеграла

F (t)g0(t) dt

 

 

 

 

 

 

 

 

У випадку умови 2), першийRaдоданок право¨ частини рiвностi (23) пря-

 

 

 

 

 

 

 

 

 

+1

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Ra

 

 

 

 

 

 

 

 

 

 

 

му¹ до 0, а збiжнiсть iнтеграла

F (t)g

(t) dt обгрунтову¹ться аналогiчно.

 

 

 

 

 

+1 cos x

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

Приклад. I =

R1

 

 

dx. Беремо f(x) = cos x; g(x) =

 

. Òîäi ïðè

>

 

x

 

x

 

 

 

 

 

 

 

> 0 викону¹ться друга умова в теоремi 24, що доводить збiжнiсть iнтеграла. Але цим методом дослiдити iнтеграл на абсолютну-умовну збiжнiсть не вда¹ться.

I на кiнець цього параграфа розглянемо корисне для застосувань поняття збiжностi невласного iнтеграла в сенсi головного значення .

Означення 29. 1) Нехай f : R ! R i f iнтегровна на кожному вiдрiзку

+1

R

[a; b] R. Домовимось казати, що iнтеграл f(x) dx збiжний в сенсi голов-

1

54

ного значення, якщо iсну¹ скiнченна границя

 

 

 

 

 

 

 

+1

 

 

 

 

 

R

 

 

 

 

 

 

 

 

 

 

 

V.P. Z

f(x) dx

:= R!+1 Z

f(x) dx:

 

 

 

 

 

 

 

 

 

 

 

 

lim

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

R

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

_

 

 

 

 

 

 

2) Нехай f визначена в проколеному околi Va = (b; c) n fag точки a 2 R

 

 

 

 

 

 

 

 

 

 

 

_

 

 

 

 

 

 

 

 

i iнтегровна на кожному [x; y] Va. Аналогiчно:

 

1

 

 

 

 

V.P. Z

 

 

 

:= "!0+0

0Z

 

+ Z

 

( )

 

 

 

 

 

c

 

 

 

 

 

 

 

a "

 

c

 

 

 

 

 

 

 

 

 

f(x) dx

 

lim

@ b

 

f(x) dx

 

f x dx

A

iнтеграл

 

 

b

 

 

 

 

 

 

 

 

a+"

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(çáiæíèé) в сенсi головного значення:

 

 

 

 

 

 

Приклади.

1) V.P.1

+1

 

 

 

 

R

 

 

 

 

 

 

 

x dx =

lim

x dx = 0;

 

 

 

 

2)

1

x =

 

R1

"

x

R!+1 RR

 

 

 

 

 

 

 

1

"!0+0

 

"

x +

1

 

= 0.

 

 

 

 

 

 

 

 

R

dx

 

lim

 

R

dx

R

 

dx

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Вправа 26. Довести, що зi збiжностi невласних iнтегралiв в звичай-

ному сенсi виходить ¨х збiжнiсть в сенсi головного значення i при цьому

 

+1

+1

V.P.

R

R

f(x) dx =

f(x) dx (i аналогiчний факт ма¹ мiсце для невласних

 

1

1

iнтегралiв другого роду).

55

Ðîçäië 2. Кратнi iнтеграли.

1. Iнтеграл на абстрактнiй множинi. Теорема про замiну змiнно¨ .

Нехай (X; A) довiльний вимiрний простiр (A алгебра пiдмножин множини X); : A ! R мiра. Так само, як i в роздiлi 1, запроваджу¹ться поняття просто¨ функцi¨: f проста функцiя, якщо вона прийма¹ лише скiнченну кiлькiсть значень f(1); : : : ; f(m) i кожне з цих значень во- на прийма¹ на вимiрнiй множинi Ak 2 A. При цьому iнтеграл вiд просто¨ функцi¨ f визначено за формулою:

Zm

X

f d = f(k) (Ak):

Xk=1

Âлiнiйному просторi L(X) обмежених функцiй на X запроваджу¹ться

норма за правилом: kfk = sup jf(x)j. Рiвномiрна збiжнiсть послiдовностей

x2X

обмежених функцiй на X спiвпада¹ зi збiжнiстю за нормою в L(X).

Множина D = D(X) функцiй, що можуть бути представленi як гра-

ницi рiвномiрно збiжних послiдовностей простих функцiй, утворю¹ в L(X)

лiнiйний простiр (i, навiть пiдалгебру в алгебрi L(X)). Iнтеграл коретно

визначено на функцiях f 2 D формулою:

f d = nlim

fn d , äå ffng

 

X

!1X

 

f

.

послiдовнiсть простих функцiй, що

ðiâíîìiðíî çáiãà¹òüñÿ äî

R

R

 

 

Вправа 1. Сформулювати i довести аналоги теорем 1, 4-11 та тверджень 3-7 роздiлу 1 для довiльного простору з мiрою (X; A; ).

При цьому аналогом теореми 11 роздiлу 1 ¹ наступна теорема.

 

Теорема 1.

Нехай E A така сiм'я вимiрних множин, що будь-яка

 

 

 

A 2 A може бути розкладена в диз'юнктне об'¹днання множин з E (A =

äëÿ

W

W A

WE задовольняють систему нерiвностей:

= A1

A2

: : :

Am; Ak

2 E). Нехай заряд ! :

A ! R та функцiя f 2 D

кожного

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

A

 

(A)

6

!(A)

6

A

 

(A):

 

 

 

 

 

inf f

 

 

 

sup f

 

56

Тодi для кожного A 2 A ì๠ìiñöå ðiâíiñòü:

!(A) = Z

f d

f =

d!

ùiëüíiñòü ! вiдносно :

d

 

 

 

 

 

A

 

 

 

 

Доведення. Повнiстю аналогiчне доведенню теореми 11 роздiлу 1. В x3 нам знадобиться наступна лема.

Ëåìà 1. Нехай (X; A; ) простiр з мiрою; A0 така сiм'я пiдмножин â A, ùî äëÿ áóäü-ÿêèõ " > 0 òà A 2 A iснують множини B; C 2 A0, äëÿ ÿêèõ B A C òà (C n B) < "; f 2 D(X); f > 0; ! iíøà ìiðà íà A i äëÿ âñiõ A 2 A0 викону¹ться рiвнiсть:

 

 

 

 

 

!(A) = Z

f d :

 

 

 

(1)

 

 

 

 

 

A

 

 

 

 

 

 

 

Тодi рiвнiсть (1) викону¹ться для всiх A 2 A.

 

 

 

 

 

Доведення. Нехай

 

f

sup f(x) = M. Беремо A

 

A, " > 0 òà

 

 

 

k

 

k = X

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

множини B; C 2 A0, äëÿ ÿêèõ (C n B) < "; B A C. Òîäi

 

 

!(A) Z f d 6 !(C) Z f d =

Z

f d 6 M" ;

 

 

 

A

 

 

B

 

CnB

 

 

 

 

 

!(A) Z f d > !(B) Z f d = Z

f d > M":

 

 

A

 

 

C

 

CnB

 

 

 

 

 

 

 

 

 

 

 

 

 

Посилання на довiльнiсть " > 0 завершу¹ доведення.

Нехай F : X ! Y вза¹мно однозначне вiдображення множини X íà Y .

ßêùî AX алгебра пiдмножин в X, то сiм'я множин AY = fF (A) j A 2 2 AXg ¹ алгеброю в Y (перевiрте!). Тобто (A 2 AX) , (F (A) 2 AY ). ßêùî

: AY

! R

 

 

 

 

(перевiрте властивостi мiри

 

мiра на вимiрному просторi

(Y; AY ), то вона iндуку¹ мiру

F

 

f

(Y; AY ) â

 

 

 

F íà (X; AX) за правилом: F (A) = F (A)

 

äëÿ

). Функцiя ¹ простою на

 

òîìó é òiëüêè â òîìó ðàçi, ÿêùî

складена функцiя f F ¹ простою на (X; AX) (також перевiрте).

57

Теорема 2. Нехай F : X ! Y вза¹мно однозначне вiдображення X íà Y ; алгебри множин AX òà AY пов'язанi спiввiдношенням: (A 2 AX) , , (F (A) 2 AY ). Тодi, для будь-яко¨ функцi¨ f 2 D(Y ) òà A 2 AY , функцiя f F 2 D(X) i при цьому викону¹ться рiвнiсть:

 

Z1

(f F ) d F = Z

f d :

 

 

 

(2)

 

F (A)

 

 

A

 

 

 

 

 

 

 

ßêùî æ # ìiðà íà (X; AX), äëÿ ÿêî¨ iñíó¹ ùiëüíiñòü g =

d F

2 D(X),

 

d#

то для кожного A 2 AY

викону¹ться рiвнiсть:

 

 

 

 

 

 

 

Z

f d =

Z

(f F )

d F

d#:

 

 

(3)

 

 

 

d#

 

 

A

 

 

F 1(A)

 

 

 

 

 

 

 

 

Доведення. Спочатку доводимо рiвнiсть (2). ¨ достатньо довести для

A = Y . Äiéñíî, ÿêùî jA iндикатор множини A

2

AY , òî jF 1(A)

= jA

 

F .

Òîìó

 

 

 

 

 

 

 

 

 

R R

f d = (f jA) d i

AY

 

Z1

(f F ) d F = Z (f jA) F d F :

 

 

 

F (A)

 

X

 

 

 

 

m

 

 

 

 

 

 

Нехай f =

f(k)jAk проста функцiя на Y . Òîäi f F проста на X

i при цьому:

kP

 

 

 

 

 

 

 

=1

 

 

 

 

 

 

 

 

m

 

 

m

Z

 

Z (f F ) d F = k=1 f(k) F

 

F 1(Ak) = k=1 f(k) (Ak) =

f d :

X

 

X

 

X

Y

 

ßêùî f довiльна функцiя з D(Y ) i послiдовнiсть простих функцiй fn

 

 

Y

 

 

 

 

 

 

X

 

 

 

 

 

 

 

 

 

 

 

òàêà ùî, fn f, òî fn

 

F

f

 

 

F (обмiркувати!) i

 

 

Z

Z (

f

 

F

)

d

F = n!1 Z

(

 

n

F

)

d

F

n!1 Z

n

=

 

 

 

 

lim

 

f

 

 

 

 

= lim

f d

 

f d :

X

 

 

 

 

 

 

 

 

X

 

 

 

 

 

 

 

 

Y

 

 

Y

58

A = AX

Рiвнiсть (3) ¹ наслiдком (2) та наступно¨ леми.

Ëåìà 2. Нехай !; # мiри на вимiрному просторi (X; A) i ! ì๠ùiëü-

íiñòü g = d!d# 2 D(X) вiдносно мiри #. Тодi для кожно¨ функцi¨ f 2 D(X) i довiльного A 2 A викону¹ться рiвнiсть:

Z

Z

 

f d! =

(f g) d#:

(4)

AA

Доведення. Так само, як i при доведення теореми 2, рiвнiсть (4) достатньо довести лише для A = X (перевiрте!).

 

 

 

 

 

 

 

m

 

 

 

ßêùî f проста функцiя: f =

f(k)jAk , òî

 

 

 

 

 

 

 

 

 

kP

 

 

 

 

 

 

 

 

 

 

=1

 

 

 

f d! =

m

f(k)!(Ak) =

m

f(k)

g d# =

m

f(k)jAk g! d# =

fg d#:

Z

k=1

 

 

 

k=1

Z

Z

k=1

 

Z

X

X

 

2

 

X

Ak

X

X

 

X

 

 

 

 

 

 

 

 

X

 

Äëÿ äîâiëüíî¨ f

 

D(X)

беремо послiдовнiсть простих fn f. Òîäi

fn g f g (перевiрте!) i граничним переходом одержу¹мо:

X

Z

n!1 Z

n

= n!1 Z

f

n

g d# =

Z

 

g d#:

 

f d! = lim

f d!

lim

 

f

 

X

X

 

X

 

 

 

X

 

 

2. Подвiйний iнтеграл. Зведення до повторного iнтеграла .

Нехай X (обмежена) квадровна множина в R2. Через ïî- знача¹мо алгебру квадровних пiдмножин в X. Ця алгебра була побудована в x6 роздiлу 1 (теорема 1.15). За мiру на (X; A) беремо площу (познача¹м

подвiйним iнтегралом i познача¹ться:

Rf(x; y) dx dy.

2 D(X) назива¹ться

¨¨ через s або, iнодi, через ). Iнтеграл

f ds äëÿ f

X

RR

X

59

Теорема 3. Нехай f рiвномiрно неперервна функцiя на X (ÿêùî X

замкнена, то достатньо вимоги неперервностi f). Òîäi f iнтегровна на

 

 

.

(X; A) f 2 D(X)

 

Доведення.

У випадку замкненостi скориста¹мось теоремою Кантора.

Äëÿ " > 0 iñíó¹ òàêå > 0, ùî (k~x ~yk < ) ) (jf(~x) f(~y)j < ").

Прямими, паралельними осям координат розiб'¹мо X на маленькi дiлянки

m

W

(дiаметр кожно¨ < ): X = Ak i â êîæíié äiëÿíöi Ak фiксу¹мо точку

k=1

g

= sup f(~x)

g(~x)

 

" (перевiрте!).

 

m

 

 

P

~xk (k

= 1; : : : ; m). Тодi проста функцiя

g =

f(~xk)jAk òàêà, ùî

k

j

 

j 6

 

 

k=1

 

Посилання на довiльнiсть

kf

" > 0

 

 

 

~x2X

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

завершу¹ доведення (чому?).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Наступний результат доводиться цiлком аналогiчно до твердження 1.11.

 

d( m) =

max diam Xi;m

 

 

~xk;m

 

Xk;m òà

 

 

 

 

W

 

 

W

W

 

 

 

Розглядаються вiдмiченi розбиття m

: X = X1;m X2;m

: : :

Xn(m);m;

 

 

 

 

16i6n(m)f

 

 

 

g

;

 

2

 

 

 

 

вiдповiднi iнтегральнi суми:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n(m)

f

 

 

 

 

 

 

 

 

 

 

 

X

 

 

m

 

 

 

 

 

 

Sm(f) =

P

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f(~xk;m)s(Xk;m).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k=1

 

рiвномiрно неперервна на

 

i

f

 

g

ïîñëiäîâíiñòü

Теорема 4. Нехай

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

RR

 

 

 

 

 

Доведення. проведiть самостiйно!

 

 

 

 

 

 

 

!1

 

 

 

 

 

розбиттiв, для яких d( m)

!

0, m

! 1

. Òîäi Sm(f)

!

 

f(x; y) dx dy.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

m

 

 

X

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

.

Нагада¹мо (x1:6): цим символом познача¹ться будь-яка

 

 

A

 

 

 

 

Прикладом квадровно¨ множини ¹ криволiнiйна трапецiя

T [a; b]; f; g

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

множина

 

, äëÿ

яко¨ викону¹ться спiввiдношення:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

j

a < x < b; g(x) < y < f(x)

 

(x; y) a 6 x 6 b; g(x) 6 y 6 f(x) :

(x; y)

 

 

 

A

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

j

 

 

 

 

 

 

 

 

Òóò f; g 2 C[a; b]; f(x) > g(x) â êîæíié òî÷öi x 2 [a; b].

Якщо множина A R2 розклада¹ться в диз'юнктне об'¹днання скiнченно¨ кiлькостi криволiнiйних трапецiй вказаного вище виду, то така множина теж квадровна. Покладемо далi в цьому параграфi: X ¹ саме такою множи-

60

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