Динамические системы, 2015, том 5(33), №1-2, 85-92
УДК 517.98
Аналоги теоремы о неподвижных точках с использованием специальных свойств непрерывности1
Ф. С. Стонякин
Крымский федеральный университет им. В. И. Вернадского, 295007, Симферополь. E-mail: fedyor@mail.ru
Аннотация. В работе получены новые версии теоремы о неподвижной точке для отображений выпуклых ограниченных подмножеств банахова пространства в себя без требования предкомпактности его образа. В банаховых пространствах, имеющих счётное тотальное множество линейных непрерывных функционалов, введены специальные аналоги понятия непрерывности отображений. Для отображений, заданных на выпуклом ограниченном множестве и удовлетворяющих одному из таких условий, доказана возможность единственного продолжения по непрерывности на банахово пространство, порождённое антикомпактом, содержащее исходное пространство. При этом такое продолжение будет иметь неподвижную точку. Рассмотрены примеры, иллюстрирующие разные случаи расположения этой точки по отношению к исходному пространству. Доказаны аналоги некоторых основных результатов в произвольных банаховых пространствах.
Ключевые слова: неподвижная точка, теорема Шаудера, банахово пространство, антикомпакт, равномерная непрерывность.
Введение
Хорошо известна теорема Шаудера, утверждающая существование неподвижной точки всякого отображения f: Б ^ Б, где Б — выпуклый компакт в банаховом пространстве E. Если же выпуклое множество В замкнуто и ограничено в E, то результат остаётся верным в случае предкомпактности f (Б). Эти результаты активно используются в приложениях и ввиду этого разные их модификации исследуются и в наше время. Отметим, в частности, в этой связи недавние работы О. Э. Зубелевича [1] и Е. С. Половинкина [2]. В настоящей работе предлагается подход к теоремам о неподвижных точках для огра-
B
f(B)
Наш подход к рассматриваемой проблеме, в частности, основан на понятии антикомпактного множества или антикомпакта в банаховых пространствах, которое введено и исследовано нами в [3]. Замкнутое выпуклое симметричное подмножество C' банахова
EE но в другое банахово пространство Ec' = (span C', || • \\c' = Pc'(•)) (pc — функционал Минковского множества C). В [4] нами показано, что банахово пространство имеет антикомпакт тогда и только тогда, когда оно имеет счётное тотальное множество линейных непрерывных функционалов. Такой подход даёт возможность рассматривать достаточно широкий класс пространств.
1 Работа выполнена при финансовой поддержке РФФИ в рамках научного проекта № 15-41-01005
© Ф. С. СТОНЯКИН
86
Ф. С. СТОНЯКИН
Работа состоит из введения, трёх основных разделов и заключения. В первых двух разделах мы показываем, как с использованием антикомпактов можно получить аналоги теоремы о неподвижных точках (теоремы 1 и 2), построены примеры отображений, к которым применимы эти результаты (примеры 1 и 2). Мы вводим в этих разделах специальные условия непрерывности отображений, связанные с понятием антикомпакта. При этом, как оказалось, отображение может быть разрывным в обычном смысле (см. пример 3). Последний разделе работы посвящён аналогам некоторых результатов первых двух разделов в произвольных банаховых пространствах (которые не обязательно имеют антикомпакт).
1. Аналог теоремы о неподвижных точках в банаховых пространствах с использованием Ее.'-равномерной непрерывности
В этом разделе мы получим аналог теоремы Шаудера, использующие ранее предложенное понятие антикомпакта в банаховых пространствах, которое предложено нами ранее в [3]. Напомним, что замкнутое выпуклое симметричное множество С' в банаховом пространстве Е называется антикомпактом, если в пространстве Ее' = (вран С', || • ||е') (II • 11е' = Ре'(•) — функционал Минковского; Ее' пополнено относительно || • ||е') содержится и предкомпактно всякое ограниченное множество В С Е. Иными словами, Е инъективно компактно вложено в Ее>■ Под С(Е) мы понимаем набор антикомпактов в [ ] Е
пространстве Е существует счётное тотальное множество линейных непрерывных функционалов {1п}с^=1 С Е*: 1п(х) = 1п(у) Ун € N ^^ х = у (здесь и всюду далее будем полагать, что ||1п||е* < 1 Ун € N. Примером антикомпактов, соответствующих То в Е
C£ = { x € E
8Ир
к
lk (x)
Sk
< 1 > (1-1)
где е = (ек > 0)^=1 — возрастающая последовательность положительных чисел, сходящаяся к [3, 4].
Перейдём к изложению полученных результатов. Условимся всюду далее через Вес, мы будем обозначать замыкание множества В С Е С Ее' в пространстве Ее"- Сначала отметим практически очевидный факт, вытекающий из обычный теоремы Шаудера в в пространстве Ее>■
В
странстве Е, f : В ^ В и существует антикомпакт С € С(Е): Вес, = В и / : В ^ В непрерывно в пространстве Ее- Тогда существует хо € В: /(хо) = хо.
Однако условия Вес, = В и непрерывности / в пространстве Ее' выглядят несколько искусственными и трудно проверяемыми. Введём следующее понятие.
ВСЕ называть отоб-
ражение / : В ^ В Ее>-равномерно непрерывным, если Ух, у € В
УЬ> 0 35 > 0: ||х - уЦе> <6 ^ Ц/(х) - /(у)Це> < Ь.
Теорема 1. Пусть В — выпукло и ограничено в банаховом пространстве Е, С (Е) непусто, : В ^ В Ее' -равномерно непрерывно при некотором С' € С(Е). Тогда, можно единственным образом по непрерывности продолжить на ВеС' С Ее' (продолжение будем обозначать через ) и существует х0 € ВеС' : f (х0) = х0.
Доказательство. Bec, — компакт в Ее' по построению. Если x € Bec,\B, то 3{xn}^=1 С С B : lim \\x — xn||c' = 0 При этом по условию {f(xn)}2=1 С B и поэтому {f(xn
n—^^o
предкомпактна в Ее'- Из Ее'-равномерной непрерывности f и фундаментальности {xn}„=i следует фундаментальность {f (xn)}2=i в Ее', то есть 3fx := lim f (xn), fx € Ее' и сходимость в пространстве Ее' - Также из Ее'-равномерной непрерывности следует, что fx не зависит от выбора xn ^ x. Поэтому f можно единственным образом продолжить на Bec,'. ^x = lim xn в пространстве Ее', xn € B f (x) := lim f(xn) в пространстве
Ее', f (х) € ВеС' ■ Ввиду компактности ВеС' в Ее' можно применить к f : ВеС' ^ ВеС' обычную теорему Шаудера, что завершает доказательство. □
Естественно возникает вопрос конкретных примеров отображений f, к которым применима теорема 1.
Пример 1. Пусть f : В ^ В, В — замкнутый единичный шар с центром в нуле в пространстве Е = с0 Ух = (х1,х2, ■ ■ ■ ,хп, ■ ■ ■) € В (х) := (1,х1,х2, ■ ■ ■ ,хп, ■ ■ ■) € В. Если рассмотреть последовательность е = (ей = к > то множество
Ce = { x £ Cq
xk
sup -
k Sk
< 1
(1.2)
антикомпактно в Cq, поскольку Bec
равномерно ограничено последовательностью компакт в Eq£. Eqs-равномерная непре-
(1,1/2,1/3,..., 1/n,...) £ cQ, то есть BEc£ рывность f вытекает из следующих выкладок Ух = (xk)|=1,V = (Vk)|=1 £ B:
xk — Vk Sk xk — Vk
sup = sup-
k Sk+1 k Sk+1 Sk
<
< sup
k
Xk - Vk
к
= \\x - v\\oe Ух,у £ B.
(1.3)
По теореме 1 3xQ £ Bo£ : f (xq) = xQ. Ясно, что xQ = (1,1,1,..., 1,...) £ lX\cQ, то есть Xq £ B. Это иллюстрирует ситуацию, когда xq £ Bec,\B.
Пример 2. Возможно также, что xq £ B. Чтобы это показать, зададим f : B ^ B в пространстве IB — замкнутый единичный шар в IX с центром в нуле. Будем рассматривать аналогичную (1.2) систему антикомпактов C£. При такой замене оказывает-
льно, если lim
n^-IX
\ = МО) , ''Ii xQ — 1 x1 J •
0= lim \\xn — xQ\\0s = lim sup
ся, что Bos = B. Действительно, если lim \\xn — xQ\\o£ = 0 гДе {xn}1= 1 С B,xQ £ Eos,
xn
(x1n).
(n) Jn)
2
(n)
/y>4 '
. . , xk ,
„(Q)
x(Q) . . , xk ,
Un "" Q \\ О £
n^X n^X k
(n)
x
(Q)
Sk
откуда lim xkn) = xk Ук € N и в сил у Ix^l < 1 Ун ,k € N Ix^l < 1, то ест ь xo € B.
n—<X k k k k
Ее£-непрерывность f вытекает из выкладок (1.3). По предложению 1 3xo € B: f (xo) = xo (в данном случае xo = (1 , 1 , 1 , ■ ■ ■))■
£
2. Аналог теоремы о неподвижных точках в банаховых пространствах с использованием Т0-равномерной непрерывности
Оказывается, при выборе системы антикомпактов (1.1) можно в теореме 1 заменить условие Eqs-равномерной непрерывности f : B ^ B (где B — ограниченное множество в пространстве E) на следующее более строгое условие Т0-равномерной непрерывности в E, связанное с соответствующим (1-1) счётным тотальным в E множеством To С E*.
Определение 2. Пусть B С E ограничено. Будем называть f : B ^ B To-равномерно
непрерывным, если при всякого n € N существует такое mn € N, что
УЬ> 0 > 0: \£mn (x — y)\ <5 ^ \ln(f (x) — f (y))\ < L.
1 T0 f
Теорема 2. Если B выпукло и ограничено в E, f : B ^ B Т0-равномерно непрерывно, mo существует последовательность {xn}c^=\ С B:
(г) lim l(xn) = lim l(f (xn)) W € To;
(ii) для любой возрастающей последовательности е = (е^ > 0), сходящейся к f можно единственным образом по непрерывности продолжить (продолжение мы тоже обозначим f) на BßCs С Eqs, Ce удовлетворяет (1.1). При этом существует x0 € Bec такое, что lim \\xn — x0||c£ = 0 и верно f (x0) = x0.
s n—^^o
T0 f
Ес£-равномерную непрерывность f при выборе Ce из (1.1) для произвольной последовательности е, сходящейся к +то. Пусть x,y € B. Тогдa \\x\\, \\y\\ < K и поэтому
\ln(x)\, \ln(y)\ < KVn € N
больших n Mk > n
lk (x-y) ek
, \ln(x — y)\ < \ln(x) \ + \ln(y)\ < 2K, то есть для достаточно < 5 для всякого фиксированного числа K > 0. Это означает,
что для условия \ \x — y\\o£ < $ достаточно lk(Xk У < $ ПРИ k < n (не уменьшая общности, можно полагать, что mk < k при k < n). Итак, для фиксированного числа C > 0 выбираем $ := min ^J-, J^i..., Тогда при \\x — y\\oE < $ \\f (x) — f (y)\\cs < KL,
где K = sup ^ J-,..., j-—-, ^. Итак, f Ecs-равномерно непрерывно. Доказываемое утверждение вытекает из теоремы 1. □
Сделаем замечание по поводу связи То-равномерной непрерывности (или Ec-равномерной непрерывности, C € C (E)) f : B ^ Be обычной равномерной непре-То f E
Это показывает, что полученные нами аналоги теоремы Шаудера возможно использовать для некоторых разрывных (в сильном и в слабом смысле) отображений.
Пример 3. Пусть E = ¿^ f : B ^ B.
B = |x = (xi,x2,..., xn,...) € xk > 0Ук € N, sup \xk\ < l| .
Определим
f ((xi, x2,...,xn,...)) := (xi,^, tyxi,nxn,...).
Если x(N) = (N, N,■■■, N, ■ ■ 0 € B (здесь N € N), то Jim \\x(N)\\Е = Jim N = 0, но f (x(N)) = (N, ^N, ~WN, ■■■, W, ■ ■ 0 € B- Однако \\f (x(N ))\\e = sup -щ = 1, поскольку lim tyN = 1 при фиксированном N € ^^ак, x(N) ^ 0 но f (x(N)) ^ 0 = f (0) при
k—<x
N ^ <x, то есть f разрывно на B.
Если выбрать To = С Е*: lk((xi,x2, ■ ■ ■ ,xn, ■ ■ ■)) := xk — координат-
ные функционалы, то f To-равномерно непрерывна на B ввиду того, что Ун € N ln((xi,x2, ■ ■ ■ ,xn, ■ ■ ■)) = xn,ln(f (x)) = П%п и равномерной непрерывности числовой функции p(t) = tft, t € [0; 1] при фиксированном н € N.
Обратим внимание на ещё одно обстоятельство: неподвижная точка, существующая на Ее' при некотором C' € C(Е) по теореме 2 может не лежать в B и даже в пространстве Е. Тем не менее, сделаем такие замечания по этому поводу.
1. Если Е рефлексивно и имеет антикомпакт, то всякое замкнутое ограниченное выпуклое множество B С Е слабо секвенциально компактно, то есть из любой последовательности {xn}c^'=i С B можно выбрать слабо сходящуюся подпоследовательность: 3{xnk}fe=i, x € B: lim l(xnk) = l(x) У1 € Е* и, в частности, последнее равенство верно
k—<x
У1 € To, To С Е * — счётное тотальное в Е множеств о. Положим \ \ To\\e* = 1 и рассмотрим введённую выше систему антикомпактов Ce. В таком случае lim \\xn — xoHc^ = 0
n—<Xi
означает, что lim l(xn) = l(xo) У1 € To), {xn}??=i С B. Далее, не уменьшая общности
n—ГХ
рассуждений, можно полагать, что xn ^ x € Е С ЕеЕ, то есть xo = x ввиду инъектив-ности вложения Ев Ее£.
Итак, если Е рефлексивно и имеет антикомпакт, f : B ^ B, B ограничено, замкну -
1
xo € B, что f (xo) = xo, если C = C£ € C(Е).
2. Принадлежность xo = f (xo) € B в случае замкнутого B возможна и в нерефлексивных пространствах. Например, для Е = можно показать в случае ЕеЕ-непрерывности f : B ^ B, что xo € Е ( lim l(xn) ограничено У1 € To ввиду ограни-
n—<Xl
ченностп B), причем \\xo\\ < \\B\\ = sup{\\b\\ \ b € B}. Однако при этом xo не обязательно лежит в B: если B = {x = (xi, x2, ■ ■ ■, xn, ■ ■ ■) \ lim xn = 0} и f ((xi,x2, ■ ■ ■, xn, ■ ■ ■)) =
n—<x
(1,xi,x2, ■ ■ ■, xn), то xo = (1,1,1, ■ ■ ■, 1, ■ ■ ■) € Е, но xo € B.
3. Случай произвольного банахова пространства
В предыдущих разделах мы существенно использовали существование в банаховых пространствах антикомпактов. Оказывается, в части полученных ранее результатов несущественна инъективность вложения Ев Ее' ■ Например, утверждение теоремы 2 (г) можно доказать для любого счетного То С Е*, ||То||* < 1 и, более того, для всякого компакта К С Е*, причем в любом банаховом пространстве Е (не обязательно имеющем антикомпакты). При этом, однако, изменится утверждение теоремы 2 (гг), в котором существенна инъективность вложения Ев Ее '■ Данный пункт работы посвящён обсуждению возможностям получения аналогов результатов предыдущих пунктов на случай произвольного банахова пространства, не обязательно имеющего антикомпакт.
Рассмотрим пару банаховых пространств (Е,Е*) в двойственности
< х,1 >:= 1(х) € Е*, х € Е.
Тогда для любого компакта К С Е* (в топологии, порожденной нормой || • Ц« в сопряжённом пространстве Е*) существует поляра К0 С Е :
K0 = 1xeE
sup \l(x)\ < ll
£&K )
Ясно, что K0 выпукло и симметрично в E. Для всякого выпуклого и симметричного множества C С E можно рассмотреть фактор-пространство Ec = E/ker\\ • ||c = (spanC, \\ ■ \\c) пополненное по \ \ ■ \ \c, где \\ ■ \\c = Pc(■) — функционал Минковского C.
Пусть Ко = coe* (K — K) С E * — толя pa K Тогда можно рассмотреть банахово пространство Ek0 = (spanK°, \\ ■ Нк) с компактным вложением ф : Ek0 ^ E*: ф(1) = I € Ek0 ■ Тогда по теореме Шаудера о компактности сопряженного оператора вложение ф* : E ^ EKо компактно (ф* — сопряжённый оператор к ф). Поэтому для любого ограниченного B С E ф*(B) — предкомпакт в новом банаховом пространстве EKо. При этом заметим, что ф* инъективно тогда и только тогда, когда K° € C(E).
Теперь перейдем к аналогам теоремы Шаудера с использованием компактности вложения ф* : E ^ eko. Пусть B выпукло ограниченно в е, f : B ^ B.
Определение 3. Для всякого компакта K С E* будем называть f K-равномерно непрерывным на В,если
yK> 0 3$> 0: sup \l(x — y)\ <$ ^ sup \£(f (x) — f (y))\ < K. £ек £ек
Легко видеть, что sup \l(x)\ = sup \l(x)\ 4x € E. Аналогично схеме доказательства £ек £ек0
теоремы 1 доказывается существование отображения f : ф*(B) ^ ф*(B) такого, что f^*(x)) = ф*(x) 4x € B. При этом из K-равномерной непрерывности f вытекает непрерывность f(x*), x* € ф*(B) в пространстве Ekо- Из обычной теоремы Шаудера, применённой к f : ф*(B) ^ ф*(B) в пространстве eko, вытекает следующая
K E* B E
отображение f : B ^ B K-равномерно непрерывно. Тогда, для некоторого компактного вложения ф* : E ^ Ek осуществует отображение f : ф*(B) ^ ф*(B): f(^*(x)) = ф*^) yx € B, причем 3x* € ф* (B) : f(x*) = x°.
С точки зрения отображения f : B ^ B в исходном пространстве Е верно
Следствие 1. В условиях предыдущей теоремы существует последовательность {xn}%Li С B-
lim sup \£(xn) — l(f (xn))\ =0.
Рассмотрим случай произвольного счётного набора функционалов Т = {Ik}^Li-Определение 4. Будем
н аз ыв ат ь f Т B
I € Т mx,y € B
yL> 0 3$> 0: \l(x — y)\ <$ ^ \l(f (x) — f (y))\ < L.
T Е*
жительных чисел е = (ek > 0)X=v lim £k = вместо системы T можно рас-
k^+x
смотреть K = С Е*и lim ^^ = 0 то ееть K — компакт в Е*. Если
1 k J k=i k^x k
f : B — B K-равномерно непрерывно, то f Еко-равномерно непрерывно (то есть УЬ > 0 > 0 : \\x — у\\к° <5 ^ \\f(x) — f(v)\\k0 < L). Отметим, что при этом
4 (x)
||ж||^0 = SUp fceN
Sk
(3.1)
Из теоремы 3 вытекает
Следствие 2. Пусть T счётно в Е*, множество B ограничено и выпукло в Е, отображение f : B — B T-равномерно непрерывно. Тогда, для некоторого компактного вложения, ф* : Е — Еко существует отображение f : ф*(В) — ф*(В): f(p*(x)) = ^>*(x) Уx € В, причем 3x** € ф*(В) : f(x**) = xo-
Равенство (3.1) позволяет сформулировать
Следствие 3. В условиях предыдущего следствия существует последовательность {xn}X=i С В:
lim £(xn) = lim £(f (xn)) У1 € T.
nn
Заключение
Настоящая работа — развитие наших предыдущих исследований, связанных с предложенной ранее системой антикомпактных множеств. В классе банаховых пространств, имеющих такие системы (что равносильно наличию счётного тотального множества линейных непрерывных функционалов), в статье получены аналоги теоремы о неподвижных точках. При этом рассматриваются отображения f : B ^ B, где В — выпуклое замкнутое ограниченное множество без требования предкомпактности f (B). Это привело к специальным аналогам понятия непрерывности отображений f : B ^ B. Для отображений, удовлетворяющих одному из таких условий непрерывности, доказана возможность единственного продолжения по непрерывности на специальное пространство, а также наличие неподвижной точки у этого продолжения. Показано, что эта неподвижная точка может как лежать, так и не лежать в исходном пространстве. Приведён пример разрывного в обычном смысле отображения, к которым применимы полученные нами результаты. Доказано, что часть результатов работы может выполняться в произвольных банаховых пространствах (не обязательно имеющих антикомпакты).
Список цитируемых источников
1. О. Э. ЗУБЕЛЕВИЧ. Теорема Шаудера-Тихонова в счётно-нормированном пространстве. // Математические заметки. — Т. 90: 2 (2011) — С. 310-312.
O.E. ZUBELEVICH, Shauder-Tykhonov Theorem in countable-normed space., Math. Notes, 90: 2 (2011), P. 288-290.
2. E. С. ПОЛОВИНКИН. Об одном следствии теоремы Шаудера. // Математические заметки. - 2014. - Т.96: 6. - С. 953-954.
E.S. POLOVINKIN, On a Consequence of the Shauder theorem, Math. Notes, 96: 6 (2014), P. 1020 - 1021.
92
Ф. С. СТОНЯКИН
3. Ф. С. СТОНЯКИН. Аналог теоремы Ула о выпуклости образа векторной меры. // Динамические системы - Т.3(31), № 3-4 (2013), С. 281-288.
F. S. STONYAKIN, Analogue of Uhl Theorem on Convexity of vector measure's range, Dynamical Systems, 3(31): 3-4 (2013), , P. 281 - 288. (in Russian)
4. Ф. С. СТОНЯКИН Секвенциальные аналоги теорем Ляпунова и Крейна-Мильмана в пространствах Фреше. // Современная математика. Фундаментальные направления. — т. 57 (2015). - С. 162 - 183.
Stonyakin F.S. Sequential analogs of Lyapunov and Krein-Milman Theorems in Frechet spaces (in Russian) // Contemporary Math. Fund. Directions. — 2015. 57 (), P. 162-183. ()
Получена 20.06.2015