Владикавказский математический журнал 2023, Том 25, Выпуск 3, С. 89-97
УДК 517.98
DOI 10.46698/y2866-6280-5717-i
ТЕОРЕМА КРЕЙНА - МИЛЬМАНА ДЛЯ ОДНОРОДНЫХ ПОЛИНОМОВ*
З. А. Кусраева1
1 Владикавказский научный центр Российской академии наук, Россия, 363110, с. Михайловское, ул. Вильямса, 1 E-mail: zali13@mail.ru
Аннотация. Настоящая заметка посвящена задаче о восстановлении выпуклого множества однородных полиномов по крайним точкам, т. е. обоснованию полиномиального варианта классической теоремы Крейна — Мильмана. В этом направлении мало, что сделано; имеющиеся работы большей частью посвящены описанию крайних точек единичного шара в пространстве однородных полиномов в разных специальных случаях. Даже в случае линейных операторов классическая теорема Крейна — Мильмана не работает, так как замкнутые выпуклые множества операторов лишь в очень частных случаях оказываются компактными в какой-нибудь естественной топологии. В 1980-х годах был предложен новый подход к изучению экстремальной структуры выпуклых множеств линейных операторов на основе теории пространств Канторовича и получена операторная форма теоремы Крейна — Мильмана. Комбинируя упомянутый подход с методом линеаризации однородных полиномов, в настоящей работе получен вариант теоремы Крейна — Мильмана для однородных полиномов. А именно, показано, что слабо порядково ограниченное, операторно выпуклое и поточечно порядково замкнутое множество однородных полиномов, действующих из векторного пространства в пространство Канторовича, является замыканием относительно поточечной порядковой сходимости операторно выпуклой оболочки своих крайних точек. Получено также мильмановское обращение теоремы Крейна — Мильмана для однородных полиномов: крайние точки наименьшего операторно выпуклого поточечно порядково замкнутого множества, содержащего данное множество A однородных полиномов, представляют собой поточечные равномерные пределы подходящих сетей перемешиваний элементов A. Под перемешиванием семейства полиномов со значениями в пространстве Канторовича понимается (бесконечная) сумма этих полиномов, умноженных на попарно дизъюнктные порядковые проекторы в упомянутом пространстве Каторовича, сумма которых равна тождественному оператору.
Ключевые слова: крайние точки, выпуклое множество, однородный полином, векторная решетка, теорема Крейна — Мильмана.
AMS Subject Classification: 46G25, 47A40, 47H60, 47L07.
Образец цитирования: Кусраева З. А. Теорема Крейна — Мильмана для однородных полиномов // Владикавк. мат. журн.—2023.—Т. 25, вып. 3.—С. 89-97. DOI: 10.46698/y2866-6280-5717-i.
1. Введение
Классическая теорема Крейна — Мильмана утверждает, что выпуклое компактное множество в локально выпуклом пространстве совпадает с замыканием выпуклой оболочки своих крайних точек (см. [1, теоремы 3.6.5 и 10.6.5]). Однако, замкнутые выпуклые множества линейных операторов лишь в очень частных случаях оказываются
# Исследование выполнено за счет гранта Российского научного фонда № 22-71-00097, https://rscf.ru/project/22-71-00097/ © 2023 Кусраева З. А.
компактными в какой-нибудь естественной топологии рассматриваемого пространства операторов, и по этой причине редко удается эффективно применить теорему Крейна — Мильмана в задаче восстановления множества операторов по крайним точкам.
В то же время, существуют некомпактные выпуклые множества, которые восстанавливаются по своим крайним точкам. Л. Нахбин обнаружил, что таковыми будут, например, замкнутые выпуклые ограниченные множества в локально выпуклом пространстве, обладающие свойством положительного бинарного пересечения (см. [2]). При этом оказалось, что каждое множество с такими свойствами является единичным шаром подходящей банаховой решетки непрерывных функций С (К) на экстремально несвязном компактном топологическом пространстве К.
Отталкиваясь от этого результата, Д. К. Оутс [3, теорема 2.3] получил вариант теоремы Крейна — Мильмана для множества линейных операторов, действующих из произвольного векторного пространства в векторную решетку С (К) (с экстремально несвязным компактом К) и мажорируемых сублинейным оператором. Аналогичный результат получил А. М. Рубинов [4, теорема 5] в том случае, когда вместо С (К) рассматривается поряково полная векторная решетка с достаточным числом о-непрерывных функционалов. Стоит отметить, что ни один из этих двух результатов не является следствием другого, но в каждом из них ключевую роль играет тот факт, что операторы действуют в пространство Канторовича, т. е. в порядково полную векторную решетку (необходимые сведения из теории векторных решеток см. в [5]).
В работе [6] С. С. Кутателадзе предложил новый подход к изучению экстремальной стурктуры выпуклых множеств операторов на основе теории пространств Канторовича. В частности, теорема Крейна — Мильмана и ее обращение установлены в общем виде, а именно, для опорных множеств сублинейных операторов, действующих из произвольного векторного пространства в пространство Канторовича. Точнее в этой статье доказано, что каждое опорное множество (т. е. множество линейных операторов, мажорируемых сублинейным оператором) восстанавливается не только по множеству своих крайних точек, но и по его (как правило, собственному) подмножеству, состоящему из так называемых о-крайних точек.
Цель настоящей заметки — распространить результаты С. С. Кутателадзе на выпуклые множества однородных полиномов, действующих из векторного пространства в порядково полную векторную решетку. Экстремальное строение однородных полиномов в бесконечномерных пространствах мало изучено. Имеющиеся работы большей частью посвящены описанию крайних точек единичного шара в пространстве однородных полиномов в разных специальных случаях, см., например, [7, 8].
Стоит отметить также, что в [9] получены результаты о внутренней характеризации и факторизации операторных шапок конуса положительных полилинейных операторов.
2. Предварительные сведения
Напомним некоторые обозначения. Всюду ниже X — векторное пространство и У — порядково полная векторная решетка. Л := ОгШ(У) — /-алгебра всех ортоморфизмов в У и В := В(^) — полная булева алгебра порядковых проекторов в У (с нулем 0 и единицей 1), совпадающая с булевой алгеброй всех идемпотентов /-алгебры У. Разбиением единицы в В называют семейство (п^элементов В такое, что п^ Л пч = 0 при £ = п
и Vеез П = 1
Используются обозначения и терминология из книг [10] и [11]. В частности, Р(ПХ, У) обозначает пространство всех п-однородных полиномов из X в У; при этом Р (1Х, У) —
пространство линейных операторов, обозначаемое через L(X, Y). Векторные пространства P(nX, Y) и L(X, Y) становятся модулями над f -алгеброй Л, если умножение на элемент Л € Л определить формулой AP := Л о P. Символами n s X и Sn обозначаются соответственно n-кратное алгебраическое симметричное тензорное произведение векторного пространство X и n-однородный полином x ^ x x из X в ® n s X. Любой n-однородный полином из X в Y представляет собой композицию линейного оператора вз<8>п s X в Y и полинома ¿n. Точнее, имеет место утверждение.
Лемма 1. Отображение T ^ T о 5п служит Л-линейным изоморфизмом из L(0n sX, Y) на P(nX, Y).
< Указанные модули изоморфны как векторные пространства (см. [10, предложение 1.3]). Этот изоморфизм очевидным образом сохраняет умножение на A € Л, так как по определению A(T о Sn) = (AT) о Sn . >
Определение 1. Рассмотрим множество П, содержащееся в P(nX, Y). Говорят, что П слабо (порядково) ограничено, если множество Q(x) := {P(x) : P € П} поряд-ково ограничено в Y для всех x € X; поточечно о-замкнуто, если для любой сети (Pi) в П и любого полинома P € P (nX, Y) из о-сходимости сети (Pix) к Px для всех x € E следует P € П. Если в этом определении о-сходимость заменить на r-сходимость, то говорят о поточечной r-замкнутости. Множество П называют операторно выпуклым (или, точнее, Л-выпуклым), если для любых а, в € Orth(Y)+ таких, что а + в = Iy, выполняется аП + вП С П, где аП := {а о P : P € П}.
Определение 2. Сублинейным оператором называют отображение ф : X ^ Y, если <^(x + y) ^ <^(x) + ф(у) и ^>(Ax) = A^(x) для всех x, y € X и 0 ^ A € R. Совокупность всех линейных операторов из X в Y, мажорируемых оператором ф, принято называть опорным множеством ф (или субдифференциалом в нуле) и обозначать символом дф:
дф := {T € L(X, Y) : (Vx € X) Tx < p(x)}.
Нам потребуются следующие два вспомогательных результата о внутренней характери-зации опорных множеств линейных операторов, полученных в [12].
Определение 3. Возьмем разбиение единицы (ng)ge~ в B и семейство полиномов (Pg)ges из P(nX, Y). Если отображение P : X ^ Y таково, что Px = о- ^geS ngPgx для x € X, то T называют перемешиванием (Pg)ge~ с весами (ng)gg~. Используется также обозначение P := mixngPg := mixgeS ngPg.
Рассмотрим непустое множество П С P(nX, Y). Пусть mix^) (соответственно, mixo^)) обозначает множество перемешиваний любых (соответственно, любых конечных) семейств из П с любыми весами из B. Точнее, P € mix^) (соответственно, P € mixo(^) в том и только в том случае, когда P = mix ngPg для любого (соответственно, любого конечного) семейства (Pg) из П и любого (соответственно, любого конечного) разбиения единицы (ng) в B. Скажем, что множество П mix-замкнуто, если П = mix^) и разложимо, если П = mixo^).
Лемма 2. Слабо порядково ограниченное множество линейных операторов П С L(X, Y) совпадает с опорным множеством дф некоторого сублинейного оператора ф : X ^ Y в том и только в том случае, когда оно операторно выпукло и поточечно о-замкнуто.
Лемма 3. Крайние точки наименьшего операторно выпуклого и поточечно о-зам-кнутого множества, содержащего данное слабо порядково ограниченное множество A, представляют собой поточечные r-пределы подходящих сетей перемешиваний A.
< Эти два результата анонсированы в [13, теоремы 2, 3, 4] и доказаны в [12]; см. также [11, теоремы 2.4.11, 2.4.12 и 2.4.13]. >
3. Вспомогательные факты
Теорема 1. Пусть Е — векторное пространство, ¥ — порядково полная векторная решетка. Множество полиномов О С Р(пЕ, ¥) допускает представление О = (дф) о 0П для некоторого сублинейного оператора ф : ®п 3 Е ^ ¥ в том и только в том случае, когда О слабо порядково ограничено, операторно выпукло и поточечно о-замкнуто.
< В силу леммы 2 и изоморфизма векторных пространств ^п 8 X, У) и Р(пЕ, У) (лемма 1) нужно лишь доказать, что множество полиномов О С Р(пХ, У) операторно выпукло (слабо порядково ограничено, поточечно о-замкнуто) в том и только в том случае, когда таковым является множество линейных операторов
О' := {Т € ^ Х,^ : Т о Ьп € Р (пЕ, ¥)}.
Утверждение об операторной выпуклости следует из того очевидного утверждения, что пространства ^п 8 X, У) и Р(пЕ, ¥) служат Л-модулями, а изморфизм Т ^ Т о 5п — модульным гомоморфизмом.
Возьмем некоторую сеть (Та) в О', линейный оператор Т € ^п 8 X, ¥) и положим Ра о 5п и Р = Т о 5п. Тогда (Ра) — сеть в О, причем произвольную сеть в О можно представить в таком виде (Та) о ¿п. Как видно, сеть (Ра(х)) о-сходится к Р(х) в том и только в том случае, когда (Та(^п(х)) о-сходится к Т(¿п(ж)). Последнее равносильно тому, что для произвольного элемента и € п 8 X вида и = Е$п(хк) сеть (Та(и)),
где Та(и) = Е /с = 1 Та(^п(хк)), о-сходится к Т(и) = Е/г=1 Т(^п(хк)). Таким образом, множества О и О' о-замкнуты или нет одновременно. Аналогично выводится утверждение о слабой порядковой ограниченности, так как семейство (Та(и)) порядково ограничено тогда и только тогда, когда порядково ограничены семейства (Та(5п(хк))) для всех к = 1,..., т. >
Замечание 1. Пусть X1 ® - ■ X,« — алгебраическое тензорное произведение векторных пространств X!,... ® — канонический п-линейный оператор из Xl х ■ ■ ■ х Xn в Xl ® ■ ■ ■ ® Xn, и обозначим символом ^^1,..., Xn; ¥) пространство всех п-линейных операторов из Xl х ■ ■ ■ х Xn в ¥. Теорема 1 остается в силе, если О содержится в ^^^ ..., Xn; ¥), а 8 Е и 9п заменить соответственно на X1 ® ■ ■ ■ ® Xn и ® (ср. [9, теорема 4.4]).
Определение 4. Наименьшее (по включению) операторно выпуклое множество в Р(nX, У), содержащее О, называют операторно выпуклой оболочкой (или Л-выпуклой оболочкой) О и обозначают символом сол(О). Наименьшее опорное множество, содержащее множество и С ^(X, ?У), обозначается сор(и) и называется опорной оболочкой множества и.
Нетрудно убедиться, что сол(О) состоит из всевозможных Л-выпуклых комбинаций, т. е. имеет место представление:
{т к ^
: Р1,...,Рк € О, Аь...,Ак € Л+, = /у, к € N1 .
г=1 г=1 )
Ясно также, что если и — слабо ограниченное множество в ^(X, ), то сор(и) = дф, где сублинейный оператор ф имеет вид ф(ж) := 8ир{Тж : Т € и}. В случае Е = М операторная выпуклость и операторно выпуклая оболочка совпадают с обычными понятиями выпуклости и выпуклой оболочки.
Лемма 4. Любое опорное множество совпадает с опорной оболочкой множества своих крайних точек. Иными словами, для любого сублинейного оператора ф : X ^ У выполняется равенство дф = сор(ех^дф)).
< Это частный случай теоремы Крейна — Мильмана для опорных множеств, установленной С. С. Кутателадзе в [6]. >
Лемма 5. Если и — слабо ограниченное множество в Р("X, У), то множество г-с1(ш1х(со(и))) поточечно о-замкнуто.
< Обозначим О := г- с1(ш1х(со(и))) и возьмем сеть (Ра) из О поточечно о-сходящуюся к Р € Р("X, У). Для любого х € X положим ш(ж) := Бир{|^(ж)| : < € и} + |Р(ж)| и отметим, что Р(ж) и сеть (Ра(ж)) содержатся в порядковом идеале, порожденном элементом ш(ж). Воспользуемся критерием порядковой сходимости из [14, теорема 8.1.8]: для любых т € N и конечного набора {ж1,..., } в X существует разбиение единицы (па) в В такое, что
7Га|Р(жг) - Ра{Ж*)| ^ ^ := 1, - - - , .
Далее, для каждого а подберем разбиение (па£) элемента па и семейство (<а£) в ш1х(со(и)) такие, что выполняются неравенства
\Ра(Хг) ~ ^ !>
Положим <а := ш1х^ па£и заметим, что <3а € ш1х(со(паи)). Из последних двух неравенств следует, что 7га^|Р(Жг) — СЦа£(Хг)\ ^ (т)Сс,(ж1) и суммирование по £ приводит к оценке тта\Р(х¿) — <5а(жг)1 ^ Рассмотрим теперь упорядоченное множество
(Г, где Г:=В х N и В — множество всех конечных подмножеств Е, а ^ — покоординатное упорядочение, т. е. 71 = (01п1) ^ 72 = (02,п2) означает, что 01 С 02 и п1 ^ п2. Доказанное выше теперь можно сформулировать так: для любого 7 = (0, т) € Г существует := т\XaQa такой, что \Р{х) — <37(ж)| ^ {т)ш(х) для всех х е При этом 37 € ш1х(со(паи)) и Г направленно вверх. Это означает, что сеть «)7ег сходится к Р с регулятором, следовательно, Р € О. Таким образом, множество г- с1(ш1х(со(О))) поточечно о-замкнуто. >
Лемма 6. Для слабо ограниченного множества О С Р("X, У) выполняется сор(О) = о- с1(сод(О)) = о- с1(ш1хо(со(О))) = г- с1(ш1х(со(О))).
< Сначала проверим включения справа налево. Поскольку ш1х(и) С о- с1(ш1хо(и)) для любого множества и С Р("X, У), то г- с1(ш1х(со(О)) содержится в о-с1(ш1хо(со(О))). Далее, операторно выпуклое множество, очевидно, выпукло и разложимо, поэтому со(О)) С сол(О)) и ш1х0(сод(О)) С сол(О)), значит, верно также включение ш1х0(со(О)) С сол(О)), следовательно, о-с1(ш1х0(со(О))) С о-с1(сол(О)). Наконец, включение о- с1(сол(О)) С сор(О) следует из леммы 2. Остается заметить, что о-с1(сол(О)) содержится в г-с1(ш1х(со(О))) в силу леммы 5. >
4. Основные результаты
Теперь все готово, чтобы сформулировать основные результаты настоящей заметки. Сначала сформулируем и докажем теорему Крейна — Мильмана для однородных полиномов: слабо порядково ограниченное, операторно выпуклое и поточечно порядково замкнутое множество однородных полиномов, действующих из векторного пространства в пространство Канторовича, является замыканием относительно поточечной порядковой сходимости операторно выпуклой оболочки своих крайних точек.
Теорема 2 (Крейна — Мильмана для однородных полиномов). Пусть X —векторное пространство, ¥ — порядково полная векторная решетка и Л:= ОгШ(¥). Предположим, что множество О С Р (пX, ¥) слабо порядково ограничено, операторно выпукло и поточечно о-замкнуто. Тогда имеет место представление
О = о- с1(сол(ех^О))).
< Если множество О С Р(пX, ¥) удовлетворяет указанным условиям, то по теореме 1 имеем представление О = (дф) о ¿п для некоторого сублинейного оператора ф : п 8 Е ^ ¥ .В ходе доказательства теоремы 1 было установлено, что для произвольного множества и С ^п 8 X, У) выполняется
о- с1(и о ¿п) = о- с1(и) о Ьп.
Изоморфизм из леммы 1 является аффинной биекцией из дф на О, сохраняющие Л-вы-пуклые комбинации, следовательно, верны также равенства
ех1(О) = ех1(дф) о о£п, сол(ех1 О) = (сол(ех1 дф)) о ¿п.
Применив теперь операцию о- с1(-) к последнему равенству, а затем воспользовавшись последовательно формулой о- с1(- о ¿п) = о- с1(-) о ¿п, леммой 6 и леммой 4, выводим
о- с1(сол(ех! О)) = о- с1((сол(ех1 дф)) о ¿п) = сор(ех1 дф)) о ¿п = дф о ¿п = О, что и требовалось. >
Замечание 2. Согласно лемме 6 для слабо ограниченного поточечно о-замкнутого операторно выпуклого множества О верны также представления
О = о- с1(ш1х0(ех1(со(О)))), О = г- с1(ш1х(ех1(со(О)))).
Замечание 3. Обозначим символом ех^(дф) множество о-крайних точек опорного множества дф и пусть ех^(О) — множество элементов О, соответствующее ех^(дф) в силу представления О = (дф)о¿п и изоморфизма из леммы 1. Теорема С. С. Кутателадзе из [6] утверждает, что дф = сор(ех10(дф)) (ср. с леммой 4). Таким образом, теорему 2 можно усилить, если в ней ех^(дф) заменить на ех^(дф). Однако, неясно, как определить элементы ех^(дф)), не прибегая к представлению О = (дф) о ¿п.
Далее сформулируем и докажем мильмановское обращение теоремы Крейна — Мильмана: Крайние точки наименьшего операторно выпуклого поточечно порядково замкнутого множества, содержащего данное множество А однородных полиномов, представляют собой поточечные равномерные пределы подходящей сети перемешиваний элементов А.
Теорема 3 (Теорема Мильмана для однородных полиномов). Пусть A С P(nX, F) — слабо порядково ограниченное множество, а Q — наименьшее операторно выпуклое поточечно o-замкнутое множество, содержащее A. Тогда крайние точки множества Q представляют собой поточечные r-пределы подходящей сети перемешиваний элементов A; символически,
ext(Q) С o-cl(mix(A)) = r-cl(mix(A)).
< Пусть A, Q С P(nX, F) удовлетворяют условиям теоремы. Тогда в соответствие с теоремой 2 имеем Q = (д^о^ для некоторого сублинейного оператора ^ : s E ^ F. Обозначим A' := {T G Ln s E, F) : T о 0n G A} и заметим, что A' — слабо порядково ограниченное множество в Ln s E, F). Отсюда следует, что соотношение
^(u):=sup{Tu : T G A'} (u s e)
корректно определяет сублинейный оператор ф : n s E ^ F, причем A' С дф. Заметим далее, что — наименьшее операторно выпуклое поточечно o-замкнутое множество в L(®n s E, F), содержащее A', ввиду определяющего свойства множества Q. Тем самым
С дф или, равносильно, ^ ^ ф, т. е. <^(u) ^ ф(и) для всех u G ®n s E. В то же время, непосредственно из определений ^ и ф вытекает ф ^ значит, ^ = ф. Как видно, — наименьшее операторно выпуклое и поточечное o-замкнутое множество, содержащее A', следовательно, по теореме 1 будет ext(d^) С o-cl(mix(A)). Так как изоморфизм между пространствами Ln s X, F) и P(nE, F) сохраняет перемешивания и поточечные порядковые пределы, то приходим к требуемому включению ext(Q) С o- cl(mix(A)). >
Замечание 4. В соответствии с замечанием 1, результаты, аналогичные теоремам 2 и 3, имеют место и для выпуклых множеств n-линейных операторов. В то же время, результаты о факторизации операторных шапок конуса положительных n-линейных операторов из [9, § 5] не допускают прямого переноса на конус положительных n-однородных полиномов ввиду существенно разного строения n-кратного фремлиновского тензорного произведения и n-кратного симметричного фремлиновского тензорного произведения векторной решетки. Операторные шапки конуса линейных положительных операторов между векторными решетками ввел и изучил С. С. Кутателадзе [15].
Замечание Б. Стоит отметить, что основное отличие этих результатов от классической теоремы Крейна — Мильмана и ее мильмановского обращения состоит в том, что, во-первых, вместо выпуклой оболочки нужно использовать операторно выпуклую оболочку, и, во-вторых, на роль топологического замыкания нужно брать смешанное порядково-топологическое замыкание.
Автор выражает благодарность рецензенту за полезные замечания, способствовавшие существенному улучшению текста.
Литература
1. Кутателадзе С. С. Основы функционального анализа.— Новосибирск: Наука, 19S3.
2. Nachbin L. Sur l'abondance des points extremaux d'un ensemble convexe borne et ferme jj Anais Acad. Brasileira Cien.—1962.—Vol. 34.—P. 445-44S.
3. Oates D. K. A non-compact Kreïn-Mil'man theorem jj Pacific J. Math.—1971.—Vol. 36, № 3.—P. 7S1-7SS.
4. Рубинов A. M. Сублинейные операторы и операторно-выпуклые множества jj Сиб. матем. журн.— 1976.—Т. 17, № 2.—C. 370-3S0.
5. Aliprantis C. D., Burkinshaw O. Positive Operators.—London etc.: Acad. Press Inc., 19S5.
6. Кутателадзе С. С. Теорема Крейна — Мильмана и ее обращение // Сиб. матем. журн.—1980.—Т. 21, № 1.—С. 130-138.
7. Boyd C., Lassalle S. Extreme and exposed points of spaces of integral polynomials // Proc. Amer. Math. Soc.—2010.—Vol. 138, № 4.—P. 1415-1420. DOI: 10.1090/S0002-9939-09-10158-2.
8. Boyd C., Ryan R. A., Snigireva N. Geometry of spaces of orthogonally additive polynomials on C(K) // J. Geom. Anal.—2020.—Vol. 30, № 4.—P. 4211-4239. D0I:10.1007/s12220-019-00240-0.
9. Кусраев А. Г. Экстремальное строение выпуклых множеств полилинейных операторов // Сиб. матем. журн.—2020.—Т. 61, № 5.—C. 1041-1059. DOI: 10.33048/smzh.2020.61.506.
10. Dineen S. Complex Analysis on Infinite Dimensional Spaces.—Berlin: Springer, 1999.
11. Кусраев А. Г., Кутателадзе С. С. Субдифференциальное исчисление: теория и приложения.—М.: Наука, 2007.
12. Кусраев А. Г., Кутателадзе С. С. Субдифференциалы в булевозначных моделях теории множеств // Сиб. мат. журн.—1983.—Т. 24, № 5.—С. 109-122.
13. Кусраев А. Г., Кутателадзе С. С. Анализ субдифференциалов с помощью булевозначных моделей // Докл. АН СССР.—1982.—Т. 265, № 5.—С. 1061-164.
14. Кусраев А. Г. Мажорируемые операторы.—М.: Наука, 2003.
15. Кутателадзе С. С. Шапки и грани множеств операторов // Докл. АН СССР.—1985.—T. 280, № 2.— C. 285-288.
Статья поступила 28 июля 2023 г. КУСРАЕВА ЗАЛИНА АНАТОЛЬЕВНА
Владикавказский научный центр Российской академии наук, ведущий научный сотрудник
РОССИЯ, 363110, с. Михайловское, ул. Вильямса, 1 E-mail: zali13@mail.ru https://orcid.org/0000-0002-8817-1888
Vladikavkaz Mathematical Journal 2023, Volume 25, Issue 3, P. 89-97
KREiN-MIL'MAN THEOREM FOR HOMOGENEOUS POLYNOMIALS
Kusraeva, Z. A.1
1 Vladikavkaz Scientific Center of the Russian Academy of Sciences, 1 Williams St., Mikhailovskoye village 363110, Russia E-mail: zali13@mail.ru
Abstract. This note is devoted to the problem of recovering a convex set of homogeneous polynomials from the subset of its extreme points, i. e. to the justification of a polynomial version of the classical Krein-Mil'man theorem. Not much was done in this direction. The existing papers are mostly devoted to the description of the extreme points of the unit ball in the space of homogeneous polynomials in various special cases. Even in the case of linear operators, the classical Krein-Mil'man theorem does not work, since closed convex sets of operators turn out to be compact in some natural topology only in very special cases. In the 1980s, a new approach to the study of the extremal structure of convex sets of linear operators was proposed on the basis of the theory of Kantorovich spaces and an operator form of the Krein-Mil'man theorem was obtained. Combining the mentioned approach with the homogeneous polynomials linearization, in this paper we obtain a version of the Krein-Mil'man theorem for homogeneous polynomials. Namely, a weakly order bounded, operator convex and pointwise order closed set of homogeneous polynomials acting from an arbitrary vector space into Kantorovich space is the closure under pointwise order convergence of the operator convex hull of its extreme points. The Mil'man's inverse of the Krein-Mil'man theorem for homogeneous polynomials is also established: The extreme points of the smallest operator convex pointwise order closed set containing a given set A of homogeneous polynomials are pointwise uniform limits of appropriate mixings nets in A. The mixing
of a family of polynomials with values in a Kantorovich space is understood as the (infinite) sum of these polynomials, multiplied by pairwise disjoint band projections with identity sum.
Keywords: extreme points, convex set, homogeneous polynomial, vector lattice, Krein-Mil'man theorem.
AMS Subject Classification: 46G25, 47A40, 47H60, 47L07.
For citation: Kusraeva, Z. A. Krein-Mil'man Theorem for Homogeneous Polynomials, Vladikavkaz Math. J., 2023, vol. 25, no. 3, pp. 89-97 (in Russian). DOI: 10.46698/y2866-6280-5717-i.
References
1. Kutateledze, S. S. Osnovy funkcional'nogo analiza [Fundamentals of Functional Analysis], Novosibirsk, Nauka, 1983 (in Russian).
2. Nachbin, L. Sur L'abondance des Points Extremaux d'un Ensemble Convexe Borne et Ferme, Anais da Academia Brasileira de Ciencias, 1962, vol. 34, pp. 445-448.
3. Oates, D. K. A non-Compact Krein-Mil'man Theorem, Pacific Journal of Mathematics, 1971, vol. 36, no. 3, pp. 781-788.
4. Rubinov, A. M. Sublinear Operators and Operator-Convex Sets, Siberian Mathematical Journal, 1976, vol. 17, no. 2, pp. 289-296. DOI: 10.1007/BF00967575.
5. Aliprantis, C. D. and Burkinshaw, O. Positive Operators, London etc., Academic Press, 1985, 367 p.
6. Kutateladze, S. S. The Krein-Mil'man Theorem and Its Inverse, Siberian Mathematical Journal, 1980, vol. 21, no. 1, pp. 97-103. DOI: 10.1007/BF00970127.
7. Boyd, C. and Lassalle, S. Extreme and Exposed Points of Spaces of Integral Polynomials, Proceedings of the American Mathematical Society, 2010, vol. 138, no. 4, pp. 1415-1420. DOI: 10.1090/S0002-9939-09-10158-2.
8. Boyd, C., Ryan, R. A. and Snigireva, N. Geometry of Spaces of Orthogonally Additive Polynomials on C(K), The Journal of Geometric Analysis, 2020, vol. 30, no. 4, pp. 4211-4239. DOI: 10.1007/s12220-019-00240-0.
9. Kusraev, A. G. The Extremal Structure of Convex Sets of Multilinear Operators, Siberian Mathematical Journal, 2020, vol. 61, no. 5, pp. 830-843. DOI: 10.1134/S0037446620050067.
10. Dineen, S. Complex Analysis on Infinite Dimensional Spaces, Berlin, Springer, 1999.
11. Kusraev, A. G. and Kutateladze, S. S. Subdifferentials: Theory and Applications, Dordrecht, Kluwer Academic Publishers, 1995.
12. Kusraev, A. G. and Kutateladze, S. S. Subdifferentials in Boolean-Valued Models of Set Theory, Siberian Mathematical Journal, 1983, vol. 24, no. 5, pp. 735-746. DOI: 10.1007/BF00969600.
13. Kusraev, A. G. and Kutateladze, S. S. Analysis of Subdifferentials with the Aid of Boolean-Valued Models, Doklady Akademii Nauk SSSR, 1982, vol. 265, no. 5, pp. 1061-1064 (in Russian).
14. Kusraev, A. G. Dominated Operators, Dordrecht, Springer, 2000. DOI: 10.1007/978-94-015-9349-6.
15. Kutateladze, S. S. Caps and Faces of Sets of Operators, Soviet Mathematics. Doklady, 1985, vol. 31, no. 1, pp. 66-68.
Received July 28, 2023 ZALINA A. KuSRAEVA
Vladikavkaz Scientific Center of the Russian Academy of Sciences, 1 Williams St., Mikhailovskoye village 363110, Russia, Leading Researcher E-mail: zali13@mail.ru https://orcid.org/0000-0002-8817-1888