Файл: Кушнер, Б. А. Лекции по конструктивному математическому анализу.pdf

КФ С НЕОБЫЧНЫМИ СВОЙСТВАМИ

333

Построим

алгорифм

Е, перерабатывающий всякое п

в дробление

0 Д 1 ,

образованное рациональными чис­

лами

• | Ф ( у ( й - 2 - я - ' ) ) |

?

где 0 ^

k ^

2п+\

0 <

/ < 2".

(Сегмент

О Л 1

разби­

вается

на 2 n

+ I равных

частей,

затем для каждой

точки

k-2~n-1

находится содержащий

ее сегмент

покрытия Ф,

Обозначим для

краткости

Е (П)

=5= tn,

о * . . .

* In, ln

и построим алгорифм

Е1

такой,

что

при

0 ^

i ^

/„

— 1

О, если

сегмент

tn,

i A tnt

i + 1

входит

Е1

{п,

i) =F

в

некоторый

сегмент

0(y(k

• 2 - " - 1

) )

( 0 < * < 2 Л + 1 ) ,

1

в

противном

случае.

Нетрудно

убедиться,

что

(7)

я ( £ ( « ) ) < 2-*;

(8)

если

£'(">

0 ^ = 1 . т

о

сегмент ф(у(*п'1

+

*п''+'))

включен

в

сегмент

! , , | A i „ , i + | .

Действительно,

если El

(п,

i) =

0, то tn>

i A tn,

i +

x

вхо­

дит

в некоторый сегмент

ф{у{]х

• 2~п~1)).

Тогда

,

,

| Ф ( у ( / , - 2 - " - ' ) ) 1

^ п - п

Если же

£'(">

0 = 1 »

то

интервал

/ „ , I V ^

, I

+

I

не со­

держит

ни

одной

точки

вида k

• 2~n~l

{0^.к^2п+).

Следовательно,

опять

tn.

/+i

tn.

i

<

2 .

Свойство (7)

доказано.

КФ С НЕОБЫЧНЫМИ СВОЙСТВАМИ

335

I О*7' («)) -

5

(")) =2 £' (л, 0 • (/ (Рп, д

-

1 = 0

-f(4n.

/))

• (*«. *+. -

*„, i) > 2 " f

e

• (1 -

sn).

Так как sn<~

(^покрытие

Ф-^-ограниченное j,

то

l(W\n))-i{W2{n))^2-k-\

Кроме

того,

ввиду

(7),

n{Wl{n)),

n{W2{n))<2-n.

Лемма

доказана.

Можно

построить

Т е о р е м а

8 ( К у ш

н ер

[9]).

функцию

/6 такую, что

1'.

1)

на

всей оси 0 ^

/в (*) ^

2)

/ 6 эффективно неинтегрируема

по

Риману

на

0А1 .

Д о к а з а т е л ь с т в о .

В

качестве

/б

можно

взять

склейку последовательности Я.

Предоставляем читателю показать, что функция / 6

имеет

первообразную

на

0 Д 1 . На

основе

первообраз­

грала

и

интегрируемости:

1) функция интегрируема

на

0 А 1

тогда

и только

тогда,

когда

она имеет

первооб­

разную

на

0 А 1 ; 2)

КДЧ

z

является интегралом /

на

0 Л 1

тогда

и только тогда, когда существует

первооб­

разная

g

функции

/ такая, что

z — g(l) — g(0)

* ) .

интегрируемости шире, чем интегрируемость по

Риману.

В связи с теоремой 8 и сделанными после нее за­

мечаниями возникает вопрос о возможности

введения

интеграла

(теорема

10;

этот

результат

принадлежит 3 а-

с л а в с к о м у

и Ц е й т и н у

[2]).

О п р е д е л е н и е

6. Пусть

функция

f

полигональна

на

0 А I и

Xq* ...

*хп

(хо =

0, хп

=

1) — ее

z

определяю­

щее дробление. Будем

говорить,

что

КДЧ

является

полигональным

интегралом

f

на

ОД 1,

если

П-1

В § 3 гл. 7 (следствие 4) показано, что всякий по

лигональный

интеграл

/ является

интегралом

Римана

/.

О п р е д е л е н и е

7

( З а с л а в с к и й ,

Ц е й т и н

[2]),

Двухместное

отношение

I

назовем

обобщенным

интегра­

лом

на

ОД 1, если

для

любых

функций

f,

g

и КДЧ

г ь

z2

выполняется

если

f(x)^0

на

0 Д 1

и

I(f,Zi),

1)

(монотонность)

то Z\ ^

0;

2)

(аддитивность)

если

/ ( / , z{)

и

f(g,z2),

то

I({f

— g},

zi

— z2);

если

f

полигональна

на 0 Д 1

и

3)

(перманентность)

Z\ — полигональный

интеграл

\,

то выполняется

/ ( / ,

Z\)*).

Из

результатов

гл.

7

(теоремы

8,

10—11

§

1 и

след­

ствие 4 § 3)

следует,

что

двухместное

отношение

«КДЧ

КФ С НЕОБЫЧНЫМИ

СВОЙСТВАМИ

337

Отметим сразу два простых следствия свойств

1)—3)

обобщенного

интеграла.

I — обобщенный

Т е о р е м а

9.

Пусть

интеграл, f

и

g—

функции,

Z\,

z2—

КДЧ.

Тогда

1)

если

f =

g

на

ОД

1 и

I{f,z{),

I(g,z2),

то г, =

z2;

2)

если

/

( / ,

2 , ) ,

I(g,z2),

то

I({f-{0-g}},

Z

l -

- ( 0 - z 2 ) ) * ) .

Поскольку из

/ =

g

следует,

Д о к а з а т е л ь с т в о .

что

{/ — g} ^

0

и

[g — /} ^

0

на

0 Д 1 , то

согласно

1)—2)

определения

6 получаем

zx — z2 ^

0 и z2

—

z ^ O ,

откуда

Z\ =

z2.

1),

Далее

функция {0} (равная тождественно 0 на ОД

тегралом

и,

следовательно, выполняется /({0 — g},

0 — z2),

откуда

вытекает

I({f-{0-g}},

2, — (0 —

построить

ограниченную

неотрицательную

функ­

цию

/7

так,

что, каков

бы

ни

был

обобщенный

ин­

теграл

1,

невозможно

КДЧ z, при котором вы­

полняется

I(f7,z)

(т. е. f7

Рис. 20.

неинтегрируема

относи­

тельно

/ ) .

Д о к а з а т е л ь с т в о ,

Пусть

у — эффективно

не

сходящаяся

шпекерова

последовательность

рациональ­

ных чисел такая,

что

(12)

0 < Y ( n ) < v H

0 < 1

(см. определение

12 и теорему б §

1).

(рис. 20)

Построим алгорифм F1 так, чтобы

Fl(n,

х) =

2п+3 i \ x - r n

+

2- •п-4 I

—

\Х-

\х

— sn

j +

+

I х

—

sn

—га—4 IN

— 2

Эта

*)

Очевидно,

U — {0 — g}} = {{ +

g},

г, — (0 — г2 ) = г, +

г2 .

громоздкая форма записи

объясняется тем, что в

определении