CC BY
9
Владикавказский математический журнал 2015, Том 17, Выпуск 3, С. Ж 13
УДК 517.98
НЕЗАМКНУТЫЕ АРХИМЕДОВЫ КОНУСЫ В ЛОКАЛЬНО ВЫПУКЛЫХ ПРОСТРАНСТВАХ
А. Е. Гутман, Э. Ю. Емельянов, А. В. Матюхин
Семёну Самсоновичу Кутателадзе в связи с его 70-летием
Формулируется задача об описании класса локально выпуклых пространств, содержащих незамкнутые архимедовы конусы. Излагаются результаты, полученные на пути к решению этой задачи.
Ключевые слова: архимедово упорядоченное векторное пространство, локально выпуклое пространство, слабая топология, конус, клин.
1. Введение
Подмножество K векторного пространства над R называется клином,, если K = 0, K+K С K и AK С K для всех 0 ^ А € М. Конусом называют клин K, удовлетворяющий условию K П (—K) = {0}. Иными словами, клин — это непустое множество, замкнутое относительно линейных комбинаций Aixi + ■ ■ ■ + Anxn с положительными коэффициентами Ai,..., An, а конус — это клин, который может содержать векторы x и — x лишь в случае x = 0.
Понятие конуса тесно взаимосвязано с понятием упорядоченного векторного пространства — вещественного векторного пространства X, снабженного таким отношением порядка что для любых x, y, z € X ж 0 ^ A € М из x ^ y следует x + z ^ y + z и Ax ^ Ay. А именно, если (X, — упорядоченное векторное пространство, то множество X + := {x € X : x ^ 0} является конусом; и наоборот: если K С X — конус и x ^к У ^ У — x € K (x,y € X), то (X, ) _ упорядоченное векторное пространство и X + = K (см., например, [1, 3.2; 2]).
Упорядоченное векторное пространство (X, называют архимедовым при выполнении следующего условия:
если х,у£Х,у^0их^^у для всех п € N, то х ^ 0.
Это условие обеспечивает допустимость перехода к пределу в линейных неравенствах с фиксированными векторами и переменными коэффициентами (см. [2, 1.11-12]). В частности, если пространство X архимедово, x1,..., xn € X +, Aimxi + ■ ■ ■ + Anmxn ^ 0 для всех m € N и для каждого индекса i € {1,..., n} существует предел Ai = lim Aim € М, то Aixi +----+ Anxn ^ 0.
© 2015 Гутман A. E., Емельянов Э. Ю., Матюхин А. В.
Конус K С X называют архимедовым, если архимедово соответствующее упорядоченное векторное пространство (X, )• Конус заведомо архимедов, если он замкнут в какой-либо векторной топологии. (В этом случае переход к пределу в линейных неравенствах допустим без каких-либо ограничений.) Обратное утверждение, вообще говоря, неверно: архимедов конус в топологическом векторном пространстве не обязан быть замкнутым. Простым примером незамкнутого архимедова конуса служит множество
s+n(N) = {x: N ^ R+ : (3 m € N)(Vn ^ m) x(n) = 0}
в любом из классических банаховых пространств lp(N), 1 ^ p ^ то.
Известно, что в хаусдорфовом топологическом векторном пространстве всякий архимедов конус, имеющий непустую внутренность, замкнут (см. [2, 2.4]). Кроме того, архимедовость конуса и его замкнутость равносильны в конечномерном случае (см. 3.1(f)). До недавнего времени этим наблюдением фактически исчерпывались сведения о классе пространств, в которых существуют незамкнутые архимедовы конусы. На данный момент вопрос об исчерпывающем описании таких пространств по-прежнему открыт. Ниже мы приведем некоторые идеи и результаты, возникшие на пути к решению этой задачи в классе локально выпуклых пространств.
2. Термины и обозначения
Пусть X — вещественное векторное пространство и S С X. Символ ом core S обозначается ядро множества S, а символами lin S, cone S и aff S — соответственно линейная,
S
core S = {x € X : (Vy € X)(3 e> 0) x + [0,ф С S};
lin S = I : n € N, xi,...,xn € S, Ai,..., An € R j U {0};
coneS = j ^ AiXi : n € N, xb... ,xn € S, A1,..., An € R+ j U {0};
{n n Л
J^AiXi : n € N, Xi,... ,Xn € S, Ai,..., An € R, ^Ai = 1 L
i=1 i=1 J
Заметим, что cone S — наименьший по включению клин в X, содержащий S. 2.1. Пусть B — выпуклое подмножество X. Тогда
(1) cone B = {Ax : x € B, A > 0} U {0};
(2) если A — аффинное подпространство X, 0/^B С A, то A П cone B = B; в частности, если 0 / aff B, то aff B П cone B = B;
(3) если 0 / B, то клин cone B является конусом.
Термин «подпространство» по умолчанию означает «векторное подпространство». Прямыми и лунами называются множества вида x + Rpx + R+y, где y = 0.
Для произвольного множества / символом s(/) обозначается векторное пространство всех функций x: / — R, а символ ом Sfin(/) — его векторное подпространство, состоящее из функций x € s(/) с конечным носителем suppx := {i € / : x(i) = 0}. Архимедовы конусы {x € s(/) : (Vi € /) x(i) ^ 0} и s+(/) П Sfin(/) обозначаются соответствующими символами s+(/) и s+n(/). Мы также используем сокращения: S := s(N) и Sfin := Sfin(N).
Символом X # обозначается пространство всех линейных функционалов на векторном пространстве X, а символом X' — пространство всех непрерывных линейных функционалов на топологическом векторном пространстве X.
Всякое конечномерное векторное пространство по умолчанию наделяется стандартной (единственной) хаусдорфовой векторной топологией.
Под локально выпуклым пространством понимается вещественное векторное пространство, снабженное хаусдорфовой локально выпуклой векторной топологией.
Поскольку в рассматриваемом круге вопросов важная роль отводится сильнейшей локально выпуклой топологии, мы напомним несколько ее эквивалентных описаний (см., например, [1, 3]).
2.2. Следующие свойства топологии т на вещественном векторном пространстве X равносильны:
(a) т — сильнейшая локально выпуклая топология на X;
(b) множество U С X является точки x € X тогда и только тогда, когда x € core C С U для некоторого выпуклого множества C ;
т
множества совпадает с его ядром; т
(е) т — такая топология Макки на X, что (X, т)' = X #
3. Архимедовы множества
Из технических соображений удобно обобщить понятие архимедова конуса на случай
C
X
если х,у G X и х + ^у G С для всех n € N, то х € С. C
но приведенному в § 1.
3.1. Следующие свойства выпуклого множества C С X равносильны: C
(b) для любых x, y € X и £ > 0 из x + (0, в] y С C следует x € C;
(c) X \ C = core(X \ C);
CX (е) пересечение C с любым подпространством X размерности ^ 2 замкнуто; CX C X;
CX < Импликации (a)^(b)^(c)^(d)^(e)^(f)^(g)^(h) очевидны.
Чтобы показать (a)^(f), рассмотрим произвольное конечномерное подпространство Xo С X и положим Co := C П Xo. Можно считать, что 0 € Co. Поскольку в подпространстве lin Co С Xo множество Co имеет непустую внутренность, к Co применимы
Co
lin Co X
Покажем, что (f)^(h). Пусть т — сильнейшая локально выпуклая топология на X.
т
следовательности xn — x имеет конечную размерность. В противном случае из (xn)nSN
можно было бы извлечь такую подпоследовательность (уга)пе№ что x / lin{yn : n € N}, и тогда сходимость yn — x в т противоречила бы наличию непрерывного (см. 2.2 (е)) линейного функционала, равного 0 на {yn : n € N} и 1 в точке x. >
Из 3.1 с очевидностью вытекают следующие свойства архимедовых множеств.
3.2. (1) Если C — выпуклое подмножество какого-либо векторного подпространства Xo С X, то архимедовость C в Xo равносильна архимедовости C в X.
(2) Если X и Y — вещественные векторные пространства, T : X — Y — линейная инъекция, y € Y и C — архимедово выпуклое подмножество X, то T (C ) + y является
Y
(3) Всякое аффинное подпространство архимедово.
(4) Пересечение любого семейства архимедовых множеств архимедово.
3.3. Если множество E С X линейно независимо, то cone E — архимедов конус в X.
< Достаточно заметить, что стандартный линейный изоморфизм Sfln(E) о lin E отображает архимедов конус s+n(E) на cone E, и привлечь 3.2 (1 ), (2). >
3.4. Пусть B — выпуклое подмножество X, 0 / aff B. Множество cone B является архимедовым конусом тогда и только тогда, когда B архимедово и не содержит лучей.
< Необходимость. Из архимедовости множеств cone B и aff B (см. 3.2(3)) вытекает
BB луч х + К+у, где уф 0. Тогда ^х + у = ^(ж + пу) € сопеВ для всех n € N, откуда
cone B y cone B y = 0
число А > 0, что Ay € B (см. 2.1 (1)). Таким образом, x,Ay,x + Ay € B, а значит, 0 = x + Ay — (x + Ay) € aff B вопреки условию.
Достаточность. Согласно 2.1 (3) клин K := cone B является конусом. Основываясь
Xo С X
что пересечение Ko := K П Xo замкнуто в Xo. Как легко видеть, Ko = cone Bo, где Bo := B П Xo. Поскольку в конечномерном пространстве Xo выпуклое множество Bo архимедово и не содержит лучей, оно замкнуто и ограничено в Xo. Кроме то го, 0 / Bo. Из f4, II.3.4] следует, что Ko = cone Bo — замкнутый конус в Xo. >
4. Незамкнутые архимедовы конусы
Изложение имеющихся на данный момент сведений о незамкнутых архимедовых конусах мы предварим указанием одного из простых способов их построения.
YX C С Y Y
и z € X \ Y. Тогда cone(C + z) — незамкнутый архимедов конус в X.
< Положим A := Y + z B := C + z. Ясно, что B — архимедово выпуклое множество, не содержащее лучей, причем aff B С A и 0 / A. Следовательно, cone B — архимедов
cone B X
A П cone B = B (см. 2.1 (2)) было бы замкнуто в A, а тогда C было бы замкнуто в Y. >
Итак, для того, чтобы построить незамкнутый архимедов конус, достаточно в каком-либо собственном подпространстве найти незамкнутое архимедово выпуклое множество, не содержащее лучей.
Как известно, сильнейшая векторная топология на пространстве X = fin(I) не является локально выпуклой в случа{ несчетного множества I. Это следует, например, из того факта, что множество V := {ж € X : \/|ж(г)| < 1} не содержит ни одного
выпуклого поглощающего подмножества (см., например, [5, 6.1]). При этом дополнение X \ V «архимедово» (например, в смысле условия 3.1(£)), но не замкнуто ни в одной из локально выпуклых топологий на X. Разумеется, множество X \ V не является выпуклым и содержит лучи, но из него удается «вырезать» фрагмент, обладающий всеми нужными нам свойствами.
4.2. Теорема. В любом локально выпуклом пространстве несчетной размерности существует выпуклое множество, которое не содержит лучей и является архимедовым, но не замкнутым.
< Достаточно фиксировать какое-либо несчетное множество I, рассмотреть пространство X = £ап(/), снабженное произвольной локально выпуклой топологией, и найти в нем такое архимедово выпуклое множество С, не содержащее лучей, что 0 /Си 0 € с1 С. Покажем, что требуемыми свойствами обладает множество
Как легко видеть, 0 / С, множество С выпукло и не содержит лучей, а архимедовость С вытекает из очевидной замкнутости его пересечений с конечномерными подпространствами вида (ж € X : вирр х С 7}, где 7 — конечное подмножество I.
0 с1 С
выпуклую окрестность нуля и С X и покажем, что и П С = 0. Для п € N положим 1П '■= {г € I : € С/}- Поскольку 0 € согеС/, имеет место равенство Цген-^г = I■ Ис-
пользуя несчетность I, фиксируем какое-либо число п € N Для которого множество 1п бесконечно, и выберем произвольные попарно различные ¿1,..., ¿п € 1п. Не посредственная проверка показывает, что выпуклая комбинация + ''' + «^{»п}) элементов ^Х{гк} € и принадлежит как II, так и С. \>
4.3. Следствие. В любом локально выпуклом пространстве несчетной размерности существует незамкнутый архимедов конус.
< Пусть У — какое-либо несчетномерное собственное подпространство в рассматриваемом пространстве X. Согласно 4.2 в У имеется незамкнутое архимедово выпуклое множество С, не содержащее лучей. Выбирая г € X \ У и используя 4.1, заключаем, что cone(C + г) — незамкнутый архимедов конус в X. >
Таким образом, в несчетномерном случае незамкнутые архимедовы конусы существуют даже в сильнейшей локально выпуклой топологии. С другой стороны, в конечномерных пространствах все архимедовы конусы замкнуты. В счетномерном же случае интересующий нас вопрос оказывается наиболее сложным. На данный момент мы не владеем исчерпывающим описанием топологий, допускающих наличие незамкнутых архимедовых конусов в счетномерном пространстве. Оставшаяся часть заметки посвящена изложению некоторых результатов, полученных на пути к решению этой задачи.
Как известно, во всех топологиях, согласованных с данной двойственностью, замкнутые выпуклые множества одни и те же (см., например, [1, 10.4.9; 3, 8-3.6]). Следовательно, изучаемое нами свойство локально выпуклого пространства X полностью определяется его топологически сопряженным пространством Xа точнее, расположением X' в X # При этом можно считать, что пространство X снабжено слабой топологией, согласованной с двойственностью между X и X
Из сказанного выше ясно, что мы не ограничим общность, оерейдя к рассмотрению локально выпуклых пространств вида §ап | У := (§ап,ст(§ап | У)), где §ап := У —
векторное подпространство S := s(N), a a(Sfin | Y) — слабая топология на Sfin, наведенная Y посредством двойственности (x | y) = ngNx(n)y(n).
Поскольку используемое нами понятие локально выпуклого пространства включает требование хаусдорфовости, уместно сразу описать подпространства Y С S, наводящие отделимую топологию ^(Sfln | Y).
4.4. Следующие свойства векторного подпространства Y С S равносильны:
(a) слабая топология a(Sfin | Y) хаусдорфова;
(b) (Vx € Sfln\{0})(3y € Y) (x | y) = 0;
(c) Y плотно в S относительно (тихоновской) топологии поточечной сходимости;
(d) (Vn € N)(Vz € Rn)(3y € Y) y(1) = z(1), ..., y(n) = z(n);
(e) (Vn € N)(3y € Y) y(1) = ••• = y(n - 1) = 0, y(n) = 1.
Y
зывать представительным.
В рамках введенных выше обозначений имеет место равенство (Sfin | Y)' = Y, где
Y := {Y : y € Y} — пространство кет-функционалов Y := (• | y) (см. fl, 10.3, 10.4]). Таким образом, с точностью до изоморфизма z — Y междv S и SJn расположение Y в S повторяет расположение (Sfin | Y)' в S#n, а интересующий нас вопрос приобретает следующую формулировку.
4.5. Задача. Выяснить, для каких представительных векторных подпространств
Y С S в пространстве Sfin | Y существует незамкнутый архимедов конус.
Y
называть тонким,и.
Безусловно, чем меньше пространство Y, тем слабее топология a(Sfln | Y) и тем больше в пространстве Sfin | Y незамкнутых конусов. Следовательно, всякое (представительное) подпространство тонкого пространства также является тонким. В частности, если
S
4.6. Пространство S не является тонким: в Sfin | S все архимедовы выпуклые множества замкнуты.
< Как известно, на Sfin сильнейшая локально выпуклая топология т (Sfin | S) является секвенциальной (см. [3, 12-3.113]). С учетом 3.1 (h) отсюда следует, что все архимедовы выпуклые множества замкнуты в т(Sfin | S), а значит, и в a(Sfln | S). >
S
S
X
X
дов конус.
< Используя сформулированные условия, несложно найти линейно независимое множество E С X и элемент x € X такие, что x € cl E \ lin E. Согласно 3.3 множество cone E является архимедовым конусом. Этот конус не замкнут, поскольку x € cl E \ lin E С cl cone E \ cone E. >
Как легко видеть, условию 4.7 удовлетворяет любое бесконечномерное нормирован-X
служит l^(N) (как и любое его представительное подпространство).
Естественно возникающая гипотеза о том, что в Sfin | Y все линейно независимые
Y=S
классом контрпримеров.
4.8. Теорема. Пусть Л — произвольное неограниченное подмножество R. Тогда в пространстве Sfin | lin Лк все линейно независимые множества замкнуты.
< Достаточно рассмотреть произвольное линейно независимое множество E С Sfln и показать, что 0 / cl E в топологии a(Sfln | 1тЛк). С этой целью мы построим последовательность y € Лк, удовлетворяющую условию |(e | y)| ^ 1 для всех e € E. Искомые числа y(n) € Л определим следующей рекурсией по n € N: если y(1),... , y(n — 1) € Л уже определены, выберем y(n) € Л так, чтобы
1 / П— 1
i=1
для всех е € Еп, где Еп = (е € Е : е(п) = 0, (Vг > п) е(г) = 0}. (Благодаря линейной независимости множество Еп конечно, и поэтому нужное число у(п) существует.) Неравенство |(е|у)| ^ 1 справедливо для всех е € Е, е Еп
(e | y)| =
i=1
^е(г)у(г) ^ |e(n)y(n)|- ^e(i)y(i)
n— 1
^ 1
i=1
и, кроме того, UneN En = E. >
Заметим, что linЛN = S, например, в случае Л С Q. Действительно, R представляет собой бесконечномерное векторное пространство над полем Q, в то время как образ {y(n) : n € N} любой последовательности y € lin QN содержится в подпространстве R, имеющем конечную размерность над Q.
Приведенный пример не снимает вопрос о том, все ли пространства, отличные от S, являются тонкими. Тем не менее имеются определенные аргументы в пользу следующего предположения.
4.9. Гипотеза. Пространство lin QN не является тонким, т. е. все архимедовы конусы в пространстве Sfin замкнуты относительно слабой топологии a(Sfln | lin QN).
Стоит отметить, что задача кардинально упрощается при замене конусов клиньями. Поскольку всякое векторное подпространство является архимедовым клином, описать счетномерные локально выпуклые пространства, содержащие незамкнутый архимедов клин, не составляет труда: это в точности те пространства X, для которых X' = X Аналогичная задача для случая конусов оказывается нетривиальной.
Авторы признательны К. В. Сторожуку за плодотворные обсуждения.
Литература
1. Кутателадзе С. С. Основы функционального анализа.—Новосибирск: Изд-во Ин-та математики, 2006.—xii+354 с.
2. Aliprantis С. D., Tourky R. Cones and Duality.^Providence, R. I.: Amer. Math. Soc., 2007.^296 p.— (Graduate Stud, in Math.; Vol. 84).
3. Wilansky A. Modern Methods in Topological Vector Spaces.^N. Y.: McGraw-Hill, 1978.
4. ВулихВ. 3. Введение в теорию конусов в нормированных пространствах.—Калинин.: Изд-во КГУ, 1977.
5. Kelley J. L., Namioka I. Linear Topological Spaces.^N.Y. etc.: Springer-Verlag, 1963.
Статья поступила 8 сентября 2015 г.
Гутман Александр Ефимович Институт математики им. С. Л. Соболева СО РАН, заведующий лабораторией функционального анализа РОССИЯ, 630090, Новосибирск, пр. Академика Коптюга, 4; Новосибирский государственный университет, профессор кафедры математического анализа РОССИЯ, 630090, Новосибирск, ул. Пирогова, 2 E-mail: gutman@math.nsc . ru
Емельянов Эдуард Юрьевич Middle East Technical University, Department of Mathematics, Professor TIJRKEY, 06800, Ankara, Dumlupinar Bulvari, 1 E-mail: eduard@metu.edu.tr
Институт математики им. С. Л. Соболева СО РАН, в.н.с. лаборатории функционального анализа РОССИЯ, 630090, Новосибирск, пр. Академика Коптюга, 4 E-mail: emelanov@math.nsc . ru
Матюхин Анатолий Вадимович Новосибирский государственный университет, студент кафедры математического анализа РОССИЯ, 630090, Новосибирск, ул. Пирогова, 2 E-mail: anatoly .matyukhin@yandex. ru
NONCLOSED ARCHIMEDEAN CONES IN LOCALLY CONVEX SPACES
Gutman A. E., Emel'vanov E. Yu., and Matvukhin A. V.
The problem is stated of describing the class of locally convex spaces which include nonclosed Archimedean cones. Some results are presented in the course of solving the problem.
Key words: Archimedean ordered vector space, locally convex space, weak topology, cone, wedge.
