Топологические пространства и их отображения. Рига. 1985.

I
УДК' 517.98

СУЩЕСТВОВАНИЕ НЕПОДВИЖНЫХ ТОЧЕК ОТОБРАЖЕНИЙ

КАК ПРОБЛЕМА ОПТИМИЗАЦИИ

А.Х.Лиепиньш
ЛГУ им.П.Стучяи

Пусть нашим миром в этой работе будет метрическое про­

странство X с расстоянием «I на нем. Рассмотрим отображе­
ние 11 к - х
Обозначая множество всех вещественных неотрицательных
чисел через А* , определим отображение I » X -» Я*
ДЛЯ ЛЮбОГО огьХ раВвНСТВСМ Ь(л): ш <Ц*, $(*)) .
Положим иг.*ь4{Ш1** X ] (т.е. 4'- <Ч НХ) ).
Будем исследовать проблему минимизации отображения * .
Если проблема решение имеет, т.е. существует такое
х*еХ , что *(*с)« 4 , то в случае, когда &> «о , л.
является неподвижной точкой отображения ^ .
I. Отметим некоторые из ситуаций, в которых 4 - 0
Напомним, что:
1) § называется нерастягивающим, если
<ьа(*), $1%)) * А(х>%) для любых *-** -X ;
2) ^ называется асимптотически регулярным в х еХ , ес­
ли й * Щ"(*)) -о
В случае, когда X - подмножество пространства Банаха
(и Ф<*»%\ • 1*-уИ для любых -а.-.^ е X ) , напомним,
что:
1) X называется звездно выпуклым, если существует та­
кое хеХ , что {** • и-*)% \$*Х * а]о^[] сХ ;
2) X называется линейно ограниченным, если
X п {***3 |л« Д*] ограничено для любых ^ « ^ .
Предложение I (ср. [б] ) . 4 «о , если ^ является
нерастягиваюи(им, а X - ограниченное зами.^/оу звездно вы­
пуклое подмножество пространства Банаха.
Предложение 2 (ср. [4] ). & - О , если ^ является
нерастягивающим, а X - линейно ограниченное замкнутое вы-
 - зт -
пуклов подмножество рефлексивного пространства Банаха,
Предложение 3. &, * о , если существует такое
х е. X » что § асимптотически регулярно в л
2. Согласно теореме Вейерштрасса проблема минимизации
отображения < заведомо имеет решение, если пространство
X. компактно и отображение | непрерывно. Таким образом,
если ^ непрерывно (в частности, является нерастягиващим),
представляют интерес теоремы, существование решения пробле­
мы минимизации в которых утверждается без предположения ком­
пактности пространства X ,
Теорема I (ср. Гз] , [I] , [2] ). Пусть X - выпуклое
слабо компактное подмножество пространства Банаха. Предполо­
жим, что отображение ^ непрерывно.
Пусть для любых л , з « Х существует такое *«•}"• <С ,
что I/(*)-#а>» < **(*> * «-»*')}> .
Тогда проблема минимизации отображения ^ имеет реше­
ние. (При этом, если а**)*Ъ и 1(у>)-Ъ для ло.#»<^ ,
то ЦЫ-5(<г)$ * Ъ , ).
Доказательство. Через <*»-А будрм обозначать выпуклую
оболочку множества Ас X , через * М - его замкнутую
выпуклую оболочку.
Пусть « Р + . Положим А> = { х < Х ) *(*> * *-]
Установим, что С&$А) *• А
Отметим, что 4 замкнуто в силу непрерывности отобра­
жения { (непрерывно по условию отображение / ). Таким
образом, достаточно доказать, что, С*-}{А)СА »
Пусть х б с*- /(А) . Тогда * - $ * ^<'«^ , где
хсе А и * 6 Р* ;( I«/,,,., л, ) , причем X л ~1
Так как /Сл)еХ ( !•-',..., *•" ) и X по условию выпук­
ло, то * * X . Тем самым отображение -Ь определено в * .
Имеем: и*) • Л* -#*Я « 1 1 кЦт) - & *.) |<*)4 « | * | |йк) -$<*>|
Пусть 1*{*4-г>*1 фиксироДно так, что 1$(*$}-§1*Э%*
> то* ^1)^^-|и)й | :•«•...,«.} , Существует такое ле-К^С ,
что 1 ^ ) - ^(з:Л * б Ц ) + р-») *<*) . Следовательно,
Т.е. к А ..
Для каждого *4'Ы положим Л** ' <*"{*•* У- (<^)«4*&Э
По построению А* * 0 и Л« э Л«*< длч любого *-е ^
Следовательно, ^м К ьФ , ибо X по условию сла­
А
бо компактно. Пусть л0 е ^ *- . Согласно доказанное
тогда 1С**.) ^ и - ^ для любого *•<; N . Следова­
тельно, ±(х<) ° 1о .
Теорема 2. Предположим, что пространство X полно и
отображение ~ непрерывно.
Пусть существует такое отображение ?< "' * <?4 -* я* ,

2) с((х. 3) * •{{Щ) .*(р} ДЛЯ ЛЮбЫХ х.% е X

Тогда проблема минимизации отображения Ь имеет реше­
ние. (При этом единственное: если 1(л>) */щ и 4<з>) • ^>
для *о.;/- <-- X , то *. • ^» • ) .
Доказательство. Существует такое отображение
$1 Р,Г*У -* •?* , что:

2) сМх.д) < *И<з>, *(%)) для любых ^ - д е Х

Вследствие первого условия тогда, обозначая
5ир / УГ5.,г.) | 5,,&« <?т * тих I I и-+с! , 1^-Ъ15 4
ТС )
1
через ^ для любого » ? Л , имеем: ^Й»* * ° •
Для каждого * е л< положим /». I » [ * б X | 4(*н *» • -к
Пусть о. € N . П о построению А» * Ф и -4*. => ^д,, .
В силу непрерывности отобракения -Ь (непрерывно по условию
отображение { ) А Л замкнуто. Кроме того:
л о т &, • ь?1&1я.8)1*.зУ^1< «Ц»Л ^^Сх;.^ й ))|^. 3 6 4а 1 ^
^ 4иР [1» &,'*)/*.*, е$\* »»* / />• -М,1Н-М1 *4 5 - & .
Вследствие полноты пространства ХТ заключаем, что
& *-*0
Пусть а* е ^ Ал . Тогда **>*») <."&.,+.•* Для
любого л б'М . Следовательно, * (я*) '-% .
Если, кроме того, Ы%.) - 4 ' для ^ « Х , то
Я° * Он А* « Следовательно, .
С*!^,*-) ? Ц * * е1'а/11.^Л.= 0 ,• Т.е. % - а. .
3. Теоремы о неподвижных точках следуют согласно изло­
женному. Номер теоремы и предложения, обосновывающих теоре­
му о неподвижных точках, указан в скобках после ее формули­
ровки.
• Теорема 3 (ср.'[2] ) . Пусть X - выпуклое слабоком­
пактное подмножество пространства Банаха. Предположим, что
отображение ^ является нераетягизающим,
Пусть для любых х%* \,Х. существует такое 1*7*-*1 ,
что Н(Л-Й1|)1,'5|»-{м|* (•-*)!}(-4<аИ- • .
Тогда $} имеет единственную неподвижную точку (тео­
рема I, предложение I ) .
Замечание, справедливость которого проверяется, ссы­
лаясь на аксиому треугольника,
В рассматриваемое в работе ситуации такое отображение
й'.<?*«**-* •»' , что;

2) ас*.*) ( <е,Ы(х.{ш),с1{2,§(ъд) для любых *.# * х •

существует тогда и только тогда, когда существует такое
отображение КЬ •• »*»е* — • » " , что:

2) еШ<*>.ииЛ * ^гм<*:М^#а>>)-ДЯя любых «'•$*Х .

Теорема 4. Пусть X - ограниченное замкнутое звездно
выпуклое подмножество пространства Банаха. Предположим, что
отображение | является нерастягивающим.
Пусть существует такое отображение ? •• 8* • й* -* Я*
Чти» Д | ;!,,5,)-.(о,е) ,

2) Н<*)-4<а>» * ^»4-{<*я,»а-^а)^ Япя любых ж . ^ с Х •

Тогда"отображение $ имеет единственную неподвижную
точку <те.орема 2, предложение I ) .
Следствие. которое показывает, что теорема 4 обобщает
теорему 3.
Пусть X - ограниченное замкнутое эвездно-выиуклое
подмножество пространства Банаха. Предположим, что отобра­
жение л является нерастягивающим и { }щ - }( а Я *
< «а* { ( а - ^ ( х ) 5 , \$- Ц%11] ДЛЯ Любых, ос.де.Х .
Тогда $ имеет единственную неподвижную точку.
Теорема 5. Пусть X - линейно ограниченное замкнутое
выпуклое подмножество рефлексивного пространства Банаха.
Предположим, что отображение 5 является нерастягивающим.
Пусть существует такое отображение /= 8 % в* -* й*

2} (М<*)Ч<а>« * ОД«-да,|у|<*?П для любых х ^ Х ,

Тогда отображение 1 имеет единственную неподвижную
точку (теорема 2, предложение 2 ) .
 - 50 -
Теорема, из которой, в частности, следует принцип Ба­
наха.
Предположим, что пространство X полно и отображение
) непрерывно.
Пусть существует такое х *'•. X , ято } асимптотичес­
ки регулярно в -г , и такое отображение *"• 1?'"-Я'' -* й* %
что: I) ,,,^„.с;-<г"'^) -о •. . ,
2) а'.\.х). <г;1) 4 {(ли ^ . а ^ Л ' й Д Л к любых х-•% « X
Тогда отображение з имеет единственную неподвижную
точку (теорема 2, предложение 3 ) .
Доказательство, которое, как оказывается, легко проае*ч|
ти непосредственно, не ссьиаясь на теорему 2 и предложение 3,
Ограничимся доказательством существования.
Пусть 4 Л , | асимптотически регулярно в ^ , '1
и отображение у" &* «Й,' —* й/ такое, что:-
1) , & & « *(§Ы 'О ;
2) с^(2<*>.^':^^))ь^^{а!*•1^*Ъ.4<ч^^ъ))) ДЛЯ Любых ^ | ( ^ . 1
Пусть к.'л>Л .Имеем: а#?^г$?^*#^^*-^*

Заключаем, что последовательность('Г^)1, м ф/ндаменталы«Д

и завершаем доказательство ссылкой на полноту пространства
X и непрерывность отображения 1 .

Литература
1. Лиелиньш А.Х. Колыбельная для маленького тигренка о не­
подвижных точках. - В кн.: Топологические пространства и
их отображения. " Рига, 1983, с.61-69.
2. Лиепиньш А.Х. Неподвижные точки отображений в слабоком­
пактном выпуклом множестве в пространстве Банаха. - В к*. :1
Труды'/^ Школы по теории операторов в функциональных
пространствах. ~ Рига, 1983, т . 2 , с.15-16.
3« Каглап.й. Илей роШ* ЗДеох-мш 1а ге*1ех1те ВаадсЬ
зраоез..- Ргос; Агаег. Ма-&. Зоо., 1973* V* 38, Р« ИЪ-Ш'
4* ВвЛдаК 5. ТЪе аЗлов* Пэсей реал* ргорзг-*у Гог пеоехраввЗлГв 1
таррШва..- Ргоо. Дтег. Ма-бд. 5оо., 1963, т.вв, у. 44-4$ |
5. Зааг* С.й. 71хе& роШ* -ЬЬеогеав. Сат'игЛйее, 1974*
Поступила 27 июня 1964 года. •