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

книги из ГПНТБ / Макаров, В. Л. Математическая теория экономической динамики и равновесия

.pdf
Скачиваний:
13
Добавлен:
22.10.2023
Размер:
11.97 Mб
Скачать

120 М О Д Е Л Ь Н Е Й М А Н А — Г Е Й Л А [ГЛ . I I

(v <.N).

Покажем, что найдется к' такое, что ух = хк 0

 

 

 

 

 

 

IV

 

 

 

 

 

при всех /с>/с'и!Е

U

№. Предполагая противное, мож-

но,

не умаляя общности,

считать,

что

для некоторого

 

 

N

 

 

 

 

 

 

 

 

 

/ЕЕ

 

U

№ при всех к выполняется одно из двух соотпо-

шений:

 

 

 

 

 

 

 

 

 

• а)

у{

>

0,

б)

г/1- =

0,

но

4 >

0.

 

В

первом

случае,

однако,

/ ЕЕ I",

что невозможно,

так. как

№ f] №' = ф

при u. =f=

во втором случае

m i n

(yl/x\)

=

0, что также невозможно, ибо rain (уУ%1) —>

—г- a v .

Таким образом, нужное нам число к' существует. От­ метим еще, что поскольку Zv — выпуклый конус, то, рас­ суждая так же, как при доказательстве предложения 6.4, можно показать, что найдется неймановская последова­

тельность ((xh, yh)), для которой

у\ ^> 0 при всех к и всех

г ЕЕ I".

 

 

 

 

 

 

 

 

 

Из сказанного легко вытекает следующее: по любому

Б ]

> 0

найдется

процесс

(г\,, yv)

ЕЕ Z

такой,

что

s\ =

=

yl

=

0, если

v <

iV, i ЕЕ

U

№;

уI >

0,

если

i ЕЕ №;

m i n (ylfsl)

^> a v

— е, если

a v

<; оо. В

качестве

(^vi Ух)

можно

взять,

например,

достаточно

далекий

член неймановской последовательности к, уК),

рассмот­

ренной выше.

 

 

 

 

 

 

 

 

2)'Будем считать, простоты ради, что v <; N и a v

< оо,

и покажем, что существуют числа

Хи Я,2, . . ., A.v такие,

что

процесс

 

 

 

 

 

 

 

обладает

требуемыми в лемме свойствами (здесь

(%, у^)

(ц. = 1, 2, . . ., v) — процессы,

определенные в

первой

части доказательства). Положим A,v =

1. Заметим теперь,

что найдется такое достаточно большое число X, что для

процесса

(£, у) = X (2"v _x , yv-i)

+

(*v» Uv) выполнено

§ G] Т Е М П Ы РОСТА М О Д Е Л И Н Е Й М А Н А — Г Е Й Л А 121

соотношение

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

m i n

7j >

min (a„_i, av )

2е.

 

 

 

 

(6.21)

 

 

 

 

 

N

u Х

 

 

 

 

 

 

 

 

 

 

 

 

 

 

В

 

самом

деле, если

 

i Е Е 1^ (u. >

v),

то

у{ = £'

=

О,

а потому

г/7ж* =

оо;

если

i Е Е i

v ,

то

=

5v, fi1 =

z/J и,

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

j/VS* > a v

е ;

если же i Е Е Z 7 - 1 , то отио-

шение

у /ж =

 

— может

быть

за

счет

выбора

А

 

 

 

 

 

 

4 -

^

 

 

 

 

 

 

 

 

 

 

 

 

 

 

сделано сколь

угодно

близким

к

отношению

 

 

 

yl-Jsl^.

Используя определение процесса (£v _i,

y w - i ) ,

можно

найти X, при котором выполнено (6.21). Обозначим

найденное

число

X

через Х^Г.

Подобным

же

 

образом

найдем k v _ u , X

V - S

, .

. .,

V

 

 

 

 

 

 

 

 

 

 

 

 

Лемма

доказана.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Через

T v

обозначим

грань

конуса R+, натянутую

на

орты с номерами *)

г Е Е

U

/'. Заметим, что Z v

 

С

Г,

X

 

 

 

 

 

 

 

 

| J . = V

 

 

 

 

 

 

 

 

 

 

 

 

X T v ,

причем

Zv

П r i r

v

4= Ф

(v

=

1, 2, . . .,

N).

 

 

 

Будем говорить, что конус Z v

имеет неймановское со­

стояние равновесия,

если

найдутся

процесс (£,

у)

Е Е

Zv

и функционал

р Е Е Г*

(где

Г* — конус,

сопряженный

к Г , в

пространстве ( 1 \ — T v )

*)

такие, что

1) у >

 

a v s ,

2) Р

(у) <

avp

(х)

(х,

у)

Е Е Zv,

 

3) р (у) >

0.

(Если

Zv

-

модель Неймана — Гейла, то это

определение совпадает

с данным

в п.

1.)

 

 

 

 

X

 

 

 

 

 

 

 

 

 

N)

Определим подмножество

множества { 1 , 2, . ..,

следующим

образом: v Е Е £ тогда и только

тогда,

когда

конус

Zv

обладает неймановским

состоянием равновесия

и (если v ^> 1)

при всех ц <

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

неравенство

оси >

 

a v .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Имеет

место

6.2. Для

того чтобы

число а

 

являлось

Т е о р е м а

 

 

темпом роста модели Неймана

— Гейла

Z,

необходимо и

достаточно,

чтобы

нашелся

номер

v Е Е 56

такой,

 

что

а =

a v .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

*) Эта грань уже рассматривалась выше (при определении конусов Z J .

122

М О Д Е Л Ь Н Е Й М А Н А Г Е Й Л А

[гл. it

Прежде чем перейти к доказательству, приведем два

следствия из этой

теоремы.

 

 

 

 

 

 

 

С л е д с т в и е

 

1. Модель Z имеет темпы роста тогда

и только тогда,

когда

X =/= ф.

 

 

 

 

 

С л е д с т в и е

 

2.

Модель

Z может

 

иметь

лишь

конечное число

 

темпов

роста.

 

 

 

 

 

 

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

т е о р е м ы

6.2. 1)

Пока­

жем сначала, что a v

(v Е Е iS) является темпом роста моде­

ли Z. Пусть

( a v , (£,

у), р) — неймановское состояние рав­

новесия конуса Z v

. Напомним, что р задан в пространстве

Tv — r v .

Через pv

обозначим функционал,

заданный на

всем Rn,

совпадающий

с р на T v

— 1 \ и равный нулю на

дизъюнктном *)

к

T v

— T v

 

дополнении.

Очевидно,

Pv (у) ^

avP\ ix)

 

Для

любых

{х,

у) Е Е Z.

Заметим, что

существует

процесс

(s, у) Е Е Z,

проекция

 

которого

на

T v — Гv

совпадает с (2, у). Из определения состояния рав­

новесия легко следуют

соотношения

 

 

 

 

 

 

m i n

11) —

m i n

(i/Vx1) =

av .

 

 

 

 

i s

N

 

I L

 

»S

N

 

a

 

 

 

 

 

 

 

 

 

 

U I

1 1

 

 

 

 

Привлекая

 

лемму

6.1

и

 

учитывая

 

неравенства

°V > a v

О ) , найдем процесс (х, у) Z,

для которого

2/1 = ^ = 0 ( i E U Р ) ;

m i n № * ) > a v .

 

 

Рассмотрим теперь процесс ( x v , ?/v) = (S, у) + X (x,

у),

где множитель

 

X выбран настолько большим, что выпол­

нено соотношение

m i n (yl/xl)

=

ct v . Очевидно, y v > a " v

. r v ;

кроме того, p v (y v ) > 0. Таким образом, ( a v ,

( x v , уч),

p v )

является состоянием равновесия и, стало быть, а„ — темп роста модели Z.

2) Покажем теперь, что каждый темп роста а модели Z

совпадает с одним из чисел a v (VEE,2). Пусть (a, ($, у),

р)—

состояние

равновесия

модели Z.

Положим

 

 

 

£ = { i E E / | y V ^ = о, Р { > 0 } .

 

 

*) Под

дизъюнктным

дополнением

подпространства,

натяну­

того на орты с номерами из некоторого множества /' с

Л

пони­

мается подпространство, натянутое на

орты с номерами из

Г\1'.

§ fi] Т Е М П Ы РОСТА М О Д Е Л И Н Е Й М А Н А — Г Е Й Л А

123

Из определения состояния равновесия и равенства (6.4) вытекает, что I =j= ф; у1/& = m i n (y'/fi), если i ЕЕ / I

р{ О, если i (=£ I.

Обозначим через v первый из номеров и,, обладающих

тем свойством, что I

 

f]I

ф

Ф- Очевидно, / а

[)

№.

Кроме

того,

если

v ^> 1, то,

как

следует

из

сказанного

выше,

рг =

 

v - l

I

Из соотношения

 

 

 

 

 

0 для i ЕЕ U

 

 

 

 

 

 

 

ix=i

 

 

 

 

 

 

 

 

У1

 

 

 

 

 

 

av

 

 

sup

 

 

m m

^

 

 

 

 

 

 

(x,v)ez,

{Х.У)ФО

i s

N

xl

 

 

 

 

 

 

 

 

 

 

 

 

и

ia

 

 

 

 

вытекает неравенство

a v !>

а. Если o v

^> а, то

найдется

процесс (х,

у) ЕЕ Z,

для

которого

у1

аж*

при

всех

N

IX

 

 

 

 

 

 

 

 

 

 

 

р,

 

 

i GE U ^ • Учитывая

свойства

функционала

получим

!x=v

 

 

 

 

 

 

 

 

 

 

 

 

 

 

что невозможно. Таким образом,

a =

a v .

 

 

 

Пусть v ф 1 и ц <

v. Тогда

N

 

Z) /, и потому

U / ш

 

 

 

 

 

 

 

 

 

< U = (X

 

 

 

 

 

 

an =

sup

 

 

m m

J/*

-

m m

у1

= a .

 

 

 

 

>

 

 

 

(ж, y)eZ \

{0)

ie

N

X

1

 

te

N X

1

 

 

 

 

 

 

 

и

i m

 

и

1 ш

 

 

 

 

 

 

 

 

0)=Н'

 

 

 

 

O i = [ X

 

 

 

Предположим, что

 

 

= а. В этом случае проекция (£*, у)

пары (х, у)

на грань Г|х X I V является неймановским про­

цессом (т. е. стационарной неймановской последователь­ ностью) конуса Zy,, Отсюда следует, что / CZ /*\ Так как,

кроме того, / 0

Iv

=f= ф,

то и i > П I"

ф 0 , что невозмож­

но. Из полученного противоречия вытекают

неравенства

^

>

a v

(]х =

1, 2, . . ., v

1).

 

 

 

 

 

Для завершения доказательства осталось проверить, что

конус Z v

обладает

неймановским состоянием равновесия.

Покажем, что это состояние

совпадает с ( a v , (х„ yv),

p v ) ,

где

( x v ,

7/V ) — проекция

процесса

( i , у)

на

грань

T v

 

X T v , p v — сужение

функционала

р

на

грань

Г„ .

В

самом

деле,

 

соотношения

a v x v

< y v

и/>, (yv ) > 0

124

М О Д Е Л Ь Н Е Й М А Н А —

Г Е Й Л А

[ Г Л . II

очевидны. Неравенство же pv

(у)

avpv

(х) справедливо,

 

V—1

 

 

 

поскольку

pi = 0 (i ЕЕ U

№)•

 

 

Теорема

доказана.

 

 

 

З а м е ч а н и е . Предположим, что модель Z, рассматриваемая нами, является моделью Неймана (т. е. Z — многогранный конус). В этом случае каждый конус Z v многогранен (и, в частности, замкнут); таким образом, при каждом v = 1, 2, ...,N выполняется одно из двух: либо Z v является моделью Неймана, либо Z v содержит элемен­ ты вида (0, у), где у ф 0. Напомним теперь, что, согласно теореме 6.1, каждая модель Неймана пмеет неймановское состояние равнове­ сия. Из сказанного следует, что в рассматриваемой ситуации теоре­

ма

6.2 принимает

существенно

более простой вид.

 

 

 

Т е о р е м а

6 . 2' . Пусть Z — модель Неймана. Число а. является

темпом роста этой модели в том и только в том случае,

когда вы­

полняются следующие условия:

 

 

 

 

 

1) существует такое V, что а

совпадает с неймановским темпом

роста

конуса Z v ,

 

 

 

 

 

 

 

2)

при всех ц. < v

выполняется

<xv.

 

 

 

5. Обобщенные

темпы

роста.

Говорят,

что

число

а

^> 0, процесс (г, у) ЕЕ Z и функционал р

ЕЕ (#+)* обра­

зуют обобщенное состояние равновесия:а модели Неймана — Гейла Z, если

as

<

у, р > 0,

р (у) ^ ар

(£)_

для всех (х, у) ЕЕ Z.

(Иными словами, о удовлетворяет всем условиям, опреде­ ляющим состояние равновесия, с той лишь разницей, что неравенство р (у) 0 заменено на неравенство р > 0.)

Число а, фигурирующее в этом определении, называет­ ся обобщенным темпом роста. Предложение 6.3 по суще­ ству показывает, что обобщенное равновесие существует

в произвольной модели. Опишем все

обобщенные темпы

роста

модели Неймана — Гейла Z.

 

 

 

П р е д л о ж е н и е 6.5.

Пусть

а' — m i n a v

(где

 

 

 

v=l

N

 

a v

неймановские темпы моделей Zv,

определенных в п. 4),

а" — неймановский темп роста модели Z. Число

а

явля­

ется обобщенным темпом роста модели Z тогда и только

тогда,

когда a ЕЕ [а', а"].

 

 

 

 

Д о

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

1) Пусть a ЕЕ [о/, а"]. Обо­

значим через (х, у) .неймановский процесс модели

Z и

§ 6]

ТЕМПЫ

РОСТА МОДЕЛИ

НЕЙМАНА — ГЕЙЛА

 

125

через р функционал такой, что

р =j= О, р (у) ^

а'р (х)

((ж, у)

ЕЕ Z)

существовании

этого функционала

легко

убедиться, применив предложение 6.3' к конусу Zv>,

где v'

таково, что сс' = av <).

 

 

 

 

Справедливо

неравенство

 

 

 

 

 

ах

<

у,

р (у) < ар

(ж),

(ж, ?/) ЕЕ 2 ,

 

 

т. е. а — обобщенный темп роста.

 

 

 

2)

Пусть

теперь

а ЕЕ г,

а"].

Тогда если

а

а",

то ни для какой пары (ж, у) ЕЕ Z

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

соотно­

шение у >

ах; если же а < а ' , то, используя лемму 6 . 1,

можно указать такой процесс (жа , г/а) ЕЕ Z, что г/а ^> аха.

Кроме того, для

любого р ^> 0 выполняется неравенство

Р (Уа) > а Р

(ха)-

 

Предложение

доказано.

Вопрос о существовании и числе состояний равновесия можно еще рассматривать со следующей точки зрения. Поскольку любой выпуклый конус Z можно сколь угодно точно «приблизить» многогранным, а для многогранного конуса, с одной стороны, выполнена теорема существова­ ния состояния равновесия, а с другой стороны, проекция на любое подпространство всегда многогранна, то вместо состояний равновесия исходного конуса Z можно рассма­ тривать последовательности состояний равновесия при­ ближающих Z многогранных конусов. Эти последователь­ ности и принимаются, по определению, за состояние рав­ новесия исходной модели. Известное преимущество такой точки зрения состоит в том, что теорема существования и теорема о числе и расположении состояний равновесия имеют место для произвольной модели. Отметим, что такой подход к экстремальным задачам последовательно про­ водится Голынтейном [1] и др., а применительно к модели Z — Мовшовичем [11.

6. Экономический темп роста. Рассмотрим модель Ней­ мана — Гейла Z. Обозначим через а производственное отображение этой модели. Неймановский темп роста а модели Z часто называют технологическим темпом роста

этой модели. Наряду с технологическим рассматривают и

экономический темп роста

|3. По

определению,

р = m i n

max

-p*f\

p>o(x,V)e=z

P(x)

126 М О Д Е Л Ь Н Е Й М А Н А — Г Е Й Л А [ Г Л . II

(как обычно, считаем, что -~Ц- =

оо, если

р (х) = 0). За-

4

'

р(х)

 

 

 

 

метим, что S < + оо. Пусть р ЕЕ Л+, Г > ЧтМ Д л я

в

с е х

 

 

 

 

р \xi

 

 

(х,

у) EEZ. Предположим, что

у <С оо.

Тогда р (у)

^

^ V P (ж) {(х, у) E E Z ) , т. е. р ЕЕуа'

{р) или, что то же самое,

1

 

 

1

 

 

 

—р

ЕЕ а' (р). Если у = оо, то формула — р ЕЕа' (р)

так­

же верна. Из сказанного следует, что

 

 

 

 

р = m i n min \r\-^-p^a'(р)\

 

 

 

Переходя

к обратным величинам, запишем получен­

ную формулу

в виде

 

 

 

 

 

 

•4- = max max {б | бр ЕЕ а' (р)}.

(6.22)

Из (6.22) вытекает, что число 1/В совпадает с нейманов­ ским темпом роста а' отображения а', двойственного к а. Рассуждая так же, как при доказательстве предложения 6 . 1 , нетрудно убедиться в том, что число а является обоб­ щенным темпом роста отображения а тогда и только то­ гда, когда 1/а — обобщенный темп роста отображения а'. Поскольку, кроме того, а ' — наибольший обобщенный темп роста отображения а', то В — наименьший обоб­ щенный темп роста отображения а. Из сказанного сле­ дует, что справедливо

П р е д л о ж е н и е

6.6. Экономический

темп

роста

модели

Неймана

— Гейла

Z

совпадает с

технологическим

темпом

роста

этой модели

в том и только том

случае,

когда Z

имеет

единственный

обобщенный

темп

роста.

Привлекая предложение 6.5, получим, что В =

m i n csv

 

v = l N

(где a v

неймановские темпы роста моделей Zv,

опреде­

ленных

в п. 4).

 

§ 7. С П Е К Т Р А Л Ь Н А Я ТЕОРИЯ С У П Е Р Л И Н Е Й Н Ы Х

ОТОБРАЖЕНИЙ

1. Собственные числа и собственные множества. Из­ вестная теорема Перрона — Фробениуса (см., например, Гантмахер [11) утверждает, в частности, что всякий положительный оператор A: Rn ->- Rn обладает неотри-

С П Е К Т Р А Л Ь Н АЯ ТЕОРИЯ ОТОБРАЖЕНИЙ

127

дательным собственным числом; при этом А

имеет лишь

конечное число неотрицательных

собственных чисел;

если, кроме того, А неразложим,

то у этого

оператора

существует единственное положительное собственное чис­ ло X и отвечающий этому числу собственный вектор является внутренней точкой конуса

Оказывается, что аналоги приведенных выше ут­ верждений имеют место и для нормальных суперлинейных

отображений.

В этом смысле спектральная теория

су­

перлинейных

отображений может рассматриваться

как

обобщение спектральной теории положительных опера­ торов.

Введем некоторые определения и обозначения. Всюду в этом параграфе, простоты ради, будем рассматривать лишь нормальные суперлинейные отображения R+ в П(Л+), хотя многие из приведенных результатов справед­ ливы и в более общей ситуации. Совокупность всех таких отображений обозначим через Ап.

Через Щ (соответственно, Пп ) обозначим совокупность всех нормальных (соответственно, непустых выпуклых) подмножеств конуса R+. Неотрицательное число X назы­ вается собственным числом отображения а Е=Ап на Пп, если найдется выпуклый компакт |, отличный от нуля и такой, что

а (|) = XI

(7.1)

Множество |, удовлетворяющее соотношению (7.1), будем называть собственным компактом отображения а. Из нор­

мальности а вытекает, что I ЕЕ П„.

 

Число X !> О называется собственным числом

отобра­

жения а ЕЕ. А п на П„, если найдется множество

£ ЕЕ Пп,

отличное от грани конуса R+ и такое, что а (|) = Это множество £ будем называть собственным множеством отображения а,

Собственное число отображения а на П„ является соб­ ственным числом этого отображения на Пп. Это позволяет, в частности, называть собственный компакт собственным множеством.

2. Собственные числа отображения а на Щ . Для того, чтобы доказать существование собственного компакта

128

М О Д Е Л Ь

Н Е Й М А Н А — Г Е Й Л А

[ГЛ . I I

у отображения а ЕЕ Ап,

воспользуемся принципом непо­

движной точки Щаудера, который формзмгаруется следую­ щим образом.

П р и н ц и п Ш а у д е р а . Оператор Ъ, определен­ ный на выпуклом компакте Я в нормированном простран'

стве X, отображающий

Я в себя и непрерывный, имеет

неподвижную

точку (т. е. найдется элемент я ЕЕ Я,

для

которогох =

Ъ (х).)

 

 

Доказательство см. Канторович и Акплов [1].

 

Кроме того, нам понадобится

 

П р е д л о ж е н и е

7 . 1 . Отображение а ЕЕ Ап

не­

прерывно.

 

 

 

Д о к а з а т е л ь с т в о . В силу предложения 3.10 достаточно показать, что а полунепрерывно снизу. Пусть

х ЕЕ R+, у ЕЕ а (х). Не умаляя общности, считаем, что х =j=0 (ъ противном случае наше утверждение очевидно).

Возьмем последовательность (xh)

элементов

конуса

R+,

стремящуюся к х, и положим

 

 

 

 

 

 

 

 

4

 

 

 

и* = шах {(х | \лх ^ хк}

= пцп — - .

 

Так как xh

->• х, то jx^- —> 1. Поскольку отображение а нор­

мально, то

оно возрастает, и потому а (\1кх) = и^а (х)

CZ

CZ а (хк). Положим ук =

\.1ку. Из сказанного следует, что

Ук 6ЕЕ а (хк)

и г//с-> у. Тем самым полунепрерывность снизу

отображения а, а с ней и непрерывность доказаны.

 

Т е о р е м а 7.1. Отображение

а ЕЕ Ап

имеет соб­

ственный компакт.

 

 

 

 

 

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

Через

Л£

обозначим

полулинейное

пространство всех монотонных сублинейных функционалов, опре­ деленных на конусе ( Л " ) * . (Иными словами, Р^ = Рт ((Л")*) . )

• В дальнейшем мы отождествляем функционал р £= Р£ с его следом на

множество

= ( Л " ) * f) S*,

где

S * — единичная сфера

про­

странства ( Л п )

*. (По поводу такого отождествления см. стр. 69.)

Полулинейное

пространство

всех следов на iS* функционалов р g=

6= Р^ обозначим тем же символом

что и исходное пространство.

Множество Рсп

можно рассматривать как выпуклый конус в прост­

ранстве С (i1 *)

всех непрерывных

функций, определенных на

5 * .

Нетрудно проверить, что конус Р °

замкнут в С (iS1*). Из теоремы 2.6

С П Е К Т Р А Л Ь Н А Я Т Е О Р И Я

О Т О Б Р А Ж Е Н И Й

129

следует, что отображение %: U —> ри

(где р„ : / —> max

/ (х)) явля-

ется алгебраическим и порядковым изоморфизмом полулинейного пространства П£ и конуса в силу предложения 3.9' отображение % является изометрией. (Мы считаем, что в пространстве ц£ введена

метрика Хаусдорфа.) Отметим еще, что отображение

сопоставля­

ет функционалу р ЕЕ Рп

множество

U*

всех его положительных

опорных.

 

 

 

 

Рассмотрим отображение а, фигурирующее в условии теоремы.

Так как а суперлпнейно

и нормально,

то а (£) ЕЕ П° для любого

компакта £ (и, в частности, для I; Е : П ° ) . Через а обозначим отобра­

жение конуса Р£ в

определенное формулой а. =

Х а Х - 1 - Иными

словами, для p E ? J

 

 

 

 

 

а{р) = р

+

 

Так как % является линейной изометрией, то для доказательства теоремы достаточно проверить, что оператор а имеет неотрицатель­

ное собственное число.

Пусть / ЕЕ •S'+i / ^> 0. Положим

Q={PePn\P (/) = !)•

Множество Q выпукло и замкнуто. Покажем, что это множество

ограничено. Так как / ^> 0, то найдется столь большое положитель­ ное число X, что конусный отрезок <0, Xfy = (Xf — (/?")*) |~] (-Я+)* содержит множество >У*. Для р ЕЕ ® имеем (учитывая, что р — мо­ нотонный функционал)

||/>||=supi>(g)< sup p(g) = р (Xf) — Хр (/) = Я,

откуда и следует ограниченность £2.

Множество х - 1 (&) ограничено в П° ; в силу теоремы Бляшке это

множество компактно. Отсюда следует,

что и множество

Q

=

= Х(Х- 1 W )

компактно.

 

 

 

 

Для р Е= £2 положим

 

 

 

 

 

Ъ (р) =

р + а (р),

ч .

(7.2)

 

W

1 + а ( ? ) ( / )

 

V

;

Так как Ъ (р)

(/) = 1 ЕЕ

то оператор Ь, определенный формулой

(7.2), переводит й в себя. Из предложения 7.1 следует, что оператор а непрерывен, а потому и Ь непрерывен. Применяя принцип непо­ движной точки Шаудера, найдем неподвижную точку оператора Ъ, т. е. элемент р ЕЕ й, для которого Ь (р) = р. Из определения b

5 В. Л . Макаров, А.\М. Рубинов

Соседние файлы в папке книги из ГПНТБ