Обобщенное функциональное исчисление в векторных решетках Текст научной статьи по специальности «Математика»

Владикавказский математический журнал 2013, Том 15, Выпуск 3, С. 77-88

УДК 517.98

ОБОБЩЕННОЕ ФУНКЦИОНАЛЬНОЕ ИСЧИСЛЕНИЕ В ВЕКТОРНЫХ РЕШЕТКАХ1

Б. Б. Тасоев

В работе построено обобщенное функциональное исчисление. Рассмотрена взаимосвязь с двойственностью Минковского, на основе которой установлены некоторые неравенства выпуклости.

Ключевые слова: векторная решетка, обобщенное функциональное исчисление, двойственность

Минковского, суперлинейные и сублинейные операторы, неравенства выпуклости.

1. Введение

Пусть Е — равномерно полная векторная решетка, XI,... & Е. Изучение непрерывных положительно однородных функций ^ : ^ Ж, для которых естественно можно определить ^(х1,... ) & Е называем функциональным исчислением. В работе [7] было показано, что естественным образом определяется положительно однородная функция от элементов равномерно полной векторной решетки, если эта функция определена на коническом множестве конечномерного пространства и непрерывна на некотором подконусе последнего.

Цель данной работы — показать, что конструктивным образом можно определить положительно однородную функцию от элементов равномерно полной векторной решетки, если эта функция со значениями в произвольной /-подалгебре идеального центра определена на коническом множестве конечномерного пространства и непрерывна на на некотором его подмножестве. Эта конструкция обобщает аналогичные результаты из [4, 6, 7]. Изучение вышеназванных функций будем называть обобщенным функциональным исчислением. Также рассмотрена связь обобщенного функционального исчисления с двойственностью Минковского, на основе которой доказываются некоторые классические неравенства выпуклости.

2. Вспомогательные леммы и определение

В этом параграфе дадим определение обобщенного функционального исчисления. Все рассматриваемые векторные решетки предполагаются архимедовыми.

Всюду далее Е — равномерно полная векторная решетка, Ь — векторная подрешетка в Е и Л — /-подалгебра в идеальном центре ^(Е) с равномерной топологией. Норма

© 2013 Тасоев Б. Б.

1 Исследование выполнено при финансовой поддержке Министерства образования и науки Российской Федерации, соглашение № 8210, и Российского фонда фундаментальных исследований, проект № 12-01-00623-а.

в (Е) задается формулой ||п|| := И {А > 0 : |п| ^ А/} (п £ Л), где / — тождественный оператор на Е. Будем предполагать, что Ь является Л-модулем. Это означает, что пх £ Ь для всех п £ Л и ж £ Ь. Обозначим через Нот(Ь) и Нт(Л), соответственно, множество всех М-значных решеточных гомоморфизмов на Ь и множество всех М-значных мультипликативных решеточных гомоморфизмов на Л.

Следующая лемма играет важную роль при построении обобщенного функционального исчисления.

Лемма 2.1. Для любого и £ Нот(Ь) существует единственный и £ Нт(Л) такой, что ||и|| ^ 1, и(пх) = и(п)и(х) для всех п £ Л и х £ Ь. При этом Аи = и для всех 0 < А £ М и и £ Нот(Ь).

< Если и £ Нот(Ь) равен нулю, то полагая и(п) = 0 для всех п £ Л, получим требуемое. Пусть 0 = и £ Нот(Ь). Билинейное отображение Ь : Л х Ь ^ М, действующее по формуле Ь(п, х) := и(пж) для всех п £ Л и х £ Ь, является решеточным биморфизмом. Согласно [1, теорема 3.2] существуют решеточные гомоморфизмы Б : Л ^ М и Т : Ь ^ М такие, что

и(пх) = Б(п) Т (х) (1)

для всех п £ Л и х £ Ь. Взяв в качестве п тождественный оператор / на Е, получим и(х) = Б(/)Т(х). Отсюда, ввиду 0 = и следует Б(/) > 0 и Т(х) = аи(х), где а = Б(/)-1. Положим по определению и(п) := аБ(п) для всех п £ Л. Тогда из равенства Т(х) = аи(х) и формулы (1) следует и(пх) = Б(п)аи(х) = и(п)и(х) для всех п £ Л и х £ Ь. Покажем мультипликативность гомоморфизма и. Пусть п,р £ Л. Тогда и((пр)х) = и(пр)и(х) для всех х £ Ь. С другой стороны и((пр)х) = и(п(рх)) = и(п)и(рх) = и(п)и(р)и(х) для всех х £ Ь. Поскольку 0 = и, выполняется равенство и(пр) = и(п)и(р). Единственность и также следует из равенства и(пх) = и(п)и(х) для всех п £ Л и х £ Ь.

Покажем, что Аи = и для всех 0 <А £ М и и £ Нот(Ь). Предположим, что решеточный гомоморфизм и £ Нот(Ь) отличен от нуля, так как в противном случае доказывать нечего. Тогда Аи £ Нот(Ь) и в силу определения Аи выполняются равенства Аи(пх) = Аи(п)Аи(х) = Аи(п)и(Ах) для всех п £ Л и х £ Ь. С другой стороны, Аи(пх) = А(и(пх)) = Аи(п)и(х) = и(п)и(Ах) для всех п £ Л и х £ Ь. Из условий и = 0 и А > 0 выводим Аи = и. Соотношение ||и|| ^ 1 следует из того, что и(/) = 1, а единичный шар в Л совпадает с порядковым интервалом [-/,/]. >

Пусть х1,..., хN £ Е не равны нулю одновременно. Символом Л(х1,..., хN) обозначим Л-модульную подрешетку в Е, порожденную набором р := (Ж1,...,ЖN). Положим по определению

Л[р] := Л[х1,... ,х.м] := {(и(х1),... ,и(xN)) : 0 = и £ Нот(Л(х1,... ,х.м))}.

Лемма 2.2. Пусть У := {£ £ Мм : 1 + ... + |tN| = 1}, и := |х11 + ... + |xN|, П := {и £ Нот(Л(х1,..., жN)), и(и) = 1} и П(х1,..., xN) := {(и(х1),..., и(жN)) : и £ П}. Тогда П(х1,..., жN) компактное множество в МN, У П Л[х1,..., жN] = П(х1,..., жN) и Л[х1, ...,ЖN ] = и {АП(хь... ,XN) : 0 < А £ М}.

< В силу того, что для каждого гомоморфизма и £ Нот(Л(х1 ,...,XN)) выполняется равенство |и(х1 )| + ... + |и(жN)| = и(и) следует справедливость формулы У П Л[ж1,...,жN] = П(х1 ,...,xN). Проверим компактность П(х1 ,...,xN) в МN. Обозначим через Ь := Л(ж1,... ,XN) и снабдим П топологией, индуцируемой из М^. Тогда П является компактным множеством в М^. В самом деле, замкнутость П в М^ очевидна.

Так как и сильная порядковая единица в Ь, то для каждого х & Ь найдется такое число

^ 0, что |х| ^ Поэтому ^ С Пжбь[-По теореме Тихонова Пхеь[— является компактным множеством в Ж^. Следовательно, ^ является замкнутым подмножеством компактного множества. Заметим, что П(х1 ... , х^) служит образом ^ при непрерывном отображении ш ^ (ш(х1),..., ш(х^)) из Жь в Жм. Поэтому П(х1,... ) — компактное множество в .

Справедливость формулы Л[х1,... , х^] = и|А^(х1 ..., х^) : 0 < А & Ж} следует из равенства Нош(Л(х1,... ,хм)) \ {0} = и: 0 < А & Ж}. >

Множество С С Жм называется коническим, если АС С С для всех А ^ 0. Функция ^ : С ^ Л, заданная на коническом множестве С, называется положительно однородной, если ^>(А£) = А^>(£) для всех А ^ 0 и £ & С.

Пусть коническое множество С С Жм содержит К. Символом Ж (С, К, Л) будем обозначать векторную решетку, состоящую из всех положительно однородных функций ^ : С ^ Л, непрерывных на К.

Определение 2.1. Пусть Е — равномерно полная векторная решетка, х1;..., х^, у & Е, Л — /-подалгебра в ^ (Е). Предположим, что К содержит Л[х1 ]

и ^ & Ж (С, К, Л). Будем писать у = х1 ), если выполняется равенство

ш(у) = ш(^(ш(х1),..., ш(х^))) для всех ш & Нош(Л(х1,... , у)).

Всюду далее в этом параграфе будем предполагать, что х1,...,хя, у & Е и ^ & Ж (С, К, Л).

Лемма 2.3. Пусть у = х1,..., х^), Ь — некоторая Л-модульная подрешетка в Е, содержащая у,х1;..., х^• Тогда ш(у) = ш(^(ш(х1),... ,ш(х^))) для всех ш & Нот(Ь).

< Пусть ш & Нот(Ь). Обозначим через ш/ сужение ш на Л(х1 , у). Предположим сначала, что ш(х^) = 0 для всех г = 1,..., N. Тогда ^(ш(х1),..., ш(х^)) =0 и справедливы равенства ш(у) = ш'(у) = (х1),...,ш/ (х^))) = о;'(^(ш(х1),..., ш(х^))) = 0 = ш(^(ш(х1),...,ш(х^))). Пусть теперь ш(х^) = 0 для некоторого ] & {1,...,Ж}. Тогда в силу леммы 2.2 выполняются равенства ш(п)ш(х^) = ш(пх^) = ш/(пх^) = о;/(п)ш/(х^) = о;/(п)ш(х^) для всех п & Л, поэтому ш = ш/. Следовательно, ш(у) = ш/(у) = ш;/(^(ш/(х1),... ,ш/(хм))) = ш(^(ш(х1),... ,ш(хм))). >

Лемма 2.4. Существует единственный элемент у & Е такой, что у = х1,..., х^)•

< Предположим, что для некоторых у,у1 & Е выполняются у = х1 ) и у1 = х1;..., х^). Обозначим через Ь := Л(х1, ,у,у1). В силу леммы 2.3 справедливы равенства ш(у) = ш(^(ш(х1),...,ш(х^))) = ш(у1) для всех ш & Нот(Ь). Поскольку в Ь имеется сильная порядковая единица, то по теореме Крейнов — Какутани Ь С Сгде Q — подходящий компакт. Следовательно, Нот(Ь) различает точки из Ь, что влечет справедливость леммы. >

Лемма 2.5. Пусть подмножество О С Нот(Л(х1;..., х^, у)) различает точки из Л(х1;...,х^,у). Если для всех ш & О выполняется равенство ш(у) = ш(^(ш(х1),... ,ш(хм))), то у = ^(-,х1,... )•

< Введем обозначения и := |х1| + ... + |х^ | + |у|, Ь := Л(х1, , у), ^ := {ш & Нот(Ь) : ш(и) = 1} и ^ := П П О. Так как Нот(Ь) \ {0} = и{А^ : 0 < А & Ж}, то в силу леммы 2.1 и положительной однородности ^ достаточно установить ш(у) = ш(^(ш(х1),... ,ш(х^))) для всех ш & По условию леммы различает точки из Ь, и для всех ш & справедливо равенство

ш(у) = ш (^(ш(х1),...,ш(хм))). (2)

Снабдим П топологией поточечной сходимости, индуцируемой из Тогда П замкнуто в и L является векторной подрешеткой в C(П). Так как u сильная порядковая единица в L, то для каждого x £ L найдется такое число ^ 0, что |x| ^ pxu. Поэтому П С Пx6¿[-По теореме Тихонова Пx6¿[-является компактным множеством в Следовательно, П — компактное множество. По теореме Вейерштрасса L плотна по норме в C(П). Поэтому в силу [5, лемма 1.2] L порядково плотна в C(П). Отсюда вытекает плотность множества П' в П. Действительно, если это не так, то по лемме Урысона существует ненулевая функция x : П — [0,1], обращающаяся в нуль на П'. В силу порядковой плотности L в C(П) подберем xo £ L+ так, чтобы 0 = xo ^ |x|. Тогда w(xo) = 0 для всех и £ П', что противоречит условию П' различает точки из L.

Покажем, что для произвольного и £ П выполняется равенство (2). Возьмем сеть (иа) С П', сходящуюся к и. Тогда ua(nx) — u(nx) для всех п £ Л и x £ L. Полагая в этом соотношении x = u, ввиду леммы 2.1 получим иа(п) — и(п) для всех п £ Л. Полагая п = I, из последнего соотношения вытекает

||Ua - и|| — 0. (3)

Если u(|xi| +... + |xn|) = 0, то ввиду формулы (3), непрерывности p и леммы 2.1 следует справедливость соотношений

|иа(^(иа(xi), . . . ,Ua(xN))) - U(^(u(xi), . . . ,u(xW)))| ^ |Ua(^(ua(xi), . . . ,Ua(xn))) - Ua(^(u(xi), . . . ,u(xn)))1 + |ua(^(u(xi),... ,u(xn))) - u(p(u(xi),... ,u(xn)))1 ^ ||^(ua(xi), . . .,Ua(xN )) - ^(u(xi ), . . . ,u(xn ))| + ||ua - u|| ||^(u(xi),..., u(xN)) || — 0.

Мы получили, что иа(у) — u(p(u(xi),..., u(xn))). С другой стороны, по определению топологии на П верно иа(у) — и(у), поэтому и(у) = u(^(u(xi),... ,u(xN))).

Покажем, что u(|xi| + ... + |xn|) не может равняться нулю. В самом деле, если u(|xi| + ... + |xN|) = 0, то и(|у|) = u(u) = 1. Поэтому для любого 0 < е < 1 найдется индекс a0 такой, что иа(у) > 1 - е для всех a ^ a0. Отсюда, ввиду формулы (2) иа(р(иа(xi),..., иа(xN))) > 1 - е, что влечет ua(|xi| + ... + |xN|) = 0 для всех a ^ a0. Обозначим через x0 := |xi| + ... + |xn|. Тогда в силу положительной однородности p выполняются соотношения

1 - е < Ua(y) = Ua (p(ua(xi), . . . ,Ua(xW)))

, ^ ( /Ua(xi) Ua(xW )\\ (4)

= Ua(Xo)UJa[ip[ -7-Г, • • • >-

V \Ua(x0) Ua(x0 )JJ

для всех a ^ сад. Так как p непрерывная функция и , • • •, ) ^ '■= {t £

: 1111 + ... + |ín| = 1}, то из компактности S и формулы (4) следует существование числа M > 0, удовлетворяющего неравенству

1 - е < Ua(y) ^ M ■ Ua(x0)

для всех a ^ a0. Переход к пределу в последнем неравенстве влечет 1-е ^ Mu(x0) = 0 — противоречие. Следовательно, формула (2) справедлива для всех и £ П. >

Лемма 2.6. Пусть Li — Л-модульная подрешетка в E, xi,..., xn, у £ Li и Hom(Li) различает точки из Li. Если равенство и(у) = U(p(u(xi),..., u(xn))) выполняется для всех и £ Li, то у = p(-, xi,..., xN).

< Пусть Ь := Л(х1;..., х^, у). Обозначим через О := {ш|^ : ш & Нот(Ь1)}. Тогда О разделяет точки из Ь и справедливо равенство ш(у) = ш(^(ш(х1),... ,ш(х^))) для всех ш & О. По лемме 2.5 у = <(■, х1;... ). >

3. Основной результат

Далее мы сформулируем результат, в котором устанавливается Л-модульный гомоморфизм из класса Ж (С, К, Л) в Е. Образ этого гомоморфизма равномерно замкнут и конечно порожден, если /-подалгебра Л замкнута по норме.

Обозначим символом & (■, р) множество всех функций < & Ж (С, К, Л), для которых существует <(■, х!,...,х^) & Е .В силу леммы 2.4 существует отображение $ : < — <(■, х1,..., х^) из & (■, р) в Е .В векторной решетке Ж (С, К, Л) введем структуру модуля над кольцом Л следующим образом:

(п<)(£): = п о <(£), (5)

где п & Л, < & Ж (С, К, Л), £ = (¿ь...,^) & С. Введем функции ^ & Ж (С, К, Л) (1 ^ г ^ N) по формуле = ¿¿I, где £ = (£1 , ) & Жм. Обозначим через

е := +... + | & Ж (С, К, Л). Из положительной однородности следует Ж (С, К, Л) е-равномерно полно и е(£) = ||£||1 для всех £ & Жм.

Определение 3.1. Пусть Е, ^ — векторные решетки, Л, Л/ — /-подалгебры соответственно в ^(Е) и ^(^), I : Л — Л/ — мультипликативный порядковый изоморфизм. Будем говорить, что решеточный гомоморфизм Н : Е — ^ Л-модульный, если выполняется равенство Н(пх) = 1п(Нх) для всех п & Л и х & Е. При отождествлении Л с Л/ будем писать Н(пх) = п(Нх) для всех п & Л и х & Е.

Лемма 3.1. Множество &(■, р) является Л-модульной решеткой и отображение $ : < — <(■,х1,... ) является Л-модульным решеточным гомоморфизмом из &(■,р) в Е таким, что р(^) = х^ для всех г = 1, 2,..., N.

< Возьмем <1,<2 & &(■,р), и пусть у1 = <1(-,х1 ) и у2 = <2(■,х1 ,...,х^). Обозначим через Ь := Л(х1,..., х^, у1, у2). В силу леммы 2.3 для всех ш & Нот(Ь) справедливы равенства ш(у1) = ш(<1 (ш(х1),...,ш(х^))) и ш(у2) = ш(<2(ш(х1),..., ш(х^))). Складывая эти равенства, получим ш(у1 + у2) = ш[(<1 + <2)(ш(х1),... ,ш(х^))] для всех ш & Нот(Ь). Отсюда, в силу леммы 2.6 у1 + у2 = (<1 + <2)(-,х1,... ). Аналогично можно показать V <2) = Vр(<2) и р'(А<1) = А^(<1) (А & Ж). Докажем, что р~ Л-модульный гомоморфизм. Возьмем п & Л, < & &(■,р) и пусть у = р(<). В силу мультипликативности ш имеем ш(пу) = ш(п) ■ ш(у) = ш(п) ■ ш(<(ш(х 1 ),...,ш(х^))) = ш[(п<)(ш(х1),... ,ш(х^))] для всех ш & Нот(Л(х1,..., х^,у)). Следовательно, применив лемму 2.6, получим пу = (п<)(-,х1,..., х^), что означает п(р(<)) = р(п<). >

Лемма 3.2. Л-модульная решетка & (■, р) е-равномерно замкнута в Ж (С, К, Л), где

е = + ... +

< Пусть последовательность (<„)га6м из & (■, р) сходится к < & Ж (С, К, Л) с регулятором е. Тогда уп := р~(<га) (п & Н) будет г-фундаментальной последовательностью в Е с регулятором и := р(е) = |х11 + ... + |х^|. В силу полноты Е существует у & Е такой, что уп — у с регулятором и. Пусть Ь обозначает идеал в Е, порожденный элементом |у| + и. Тогда последовательность (уга)га6м содержится в Ь и Нот(Ь) различает точки из Ь. Для каждого ш & Нот(Ь) выполняется ш(уп) — ш(у). В свою очередь, в силу леммы 2.3 ш(уп) = ш(<п(ш(х1),..., ш(х^))) для всех п & Н, и так как — < в каждой точке

из конического множества С, то и(рп(и(х1),... ,и(жN))) ^ и(р(и(х1),... ,и(жN))). Таким образом, и(у) = и(р(и(х1),...,и(xN))) для всех и £ Нот(Ь). В силу леммы 2.6 у = р(-, хь ... ), т. е. р £ &(■,р). >

Теорема 3.1. Пусть Е — равномерно полная векторная решетка, Л — /-подалгебра в ^(Е), ж1,...,жN £ Е. Предположим, что К С МN содержит Л[х1 ,...,жN]. Тогда отображение $ : р ^ р(',х1 ,...,XN) единственный Л-модульный решеточный гомоморфизм из Ж (С, К, Л) в Е такой, что ) = ж» (1 ^ г ^ N). Более того, р(Ж(С, К, Л)) содержится в и-равномерном замыкании Л-модульной подрешетки, порожденной х\,..., х^, т.е. К, А)) с Л(ж1,..., хн), где замыкание вычисляется в Е равномерно относительно и = \х\| + ... + \xn\- Если А замкнута по норме в то К, А)) = А{хъ...,хм). < Предположим сначала, что К = Л[р] и С = Л[р] и {0}. Пусть является Л-модульной подрешеткой в Ж (С, К, Л), порожденная функциями dtl,...,dtN, т. е.

:= Л(^,..., ^^). Покажем, что гомоморфизм ^ : &(■, р) ^ Е из леммы 3.1 распространяется на Ж (С, К, Л). Для этого в силу леммы 3.2 и соотношения ЕN С & (■, р) достаточно доказать е-равномерную плотность в Ж (С, К, Л), где е = | + ... +1 dt N |.

По лемме 2.2 множество Р := Л[x1,...,xN] П У, где У := ^ £ МN : 1111 = 1}, компактно в МN. Ввиду положительной однородности каждая функция из Ж (С, К, Л) однозначно определяется своими значениями на Р. Поэтому Ж (С, К, Л) отождествляется с С(Р,Л). В силу [5, предложение 2.1] существует компакт Q и решеточный изоморфизм а из Л на плотную по норме векторную подрешетку в Спри котором мультипликативная единица / £ Л переходит в тождественную единицу 1д. Отсюда в силу [3, теорема 2.58] выполняется равенство

а(п1 о п2) = ст(п0 ■ а(п2) (6)

для всех п1,п2 £ Л. Построим отображение V : С(Р, Л) ^ С(Р х Q) по формуле V(р)(р, д) := а(р(р))(д) для всех (р, д) £ Р х Q. Тогда V является инъективным решеточным гомоморфизмом, и ввиду формулы (6) выполняется равенство

V(пр)(р,д) = а(п)(д) ■ V(р)(р,д) (7)

для всех п £ Л, р £ С(Р, Л) и (р, д) £ Р х Q. Так как V(е) есть тождественная единица на Р х Q, то е-равномерная плотность в С(Р, Л) следует из плотности по норме V(Е^) в С(Р х Q). Покажем, что V(Е^) удовлетворяет всем требованиям теоремы Стоуна — Вейерштрасса (см., например, [10, теорема 2.1.1]). Так как е — 11 + ... + |dtN| £ и V(е) = 1Рхд следует V(Е^) содержит константы. Пусть (р, д1), (^д2) £ Р хQ. Если р = ^ то р^ = ^ для некоторого ^ £ {1,... , N}. Тогда ввиду а(/) = 1д выполняются равенства V(^^) = /)(д1) = ^ = р^ = V(^)(р, д2). Если д1 = д2, то ввиду плотности а(Л) в Снайдется элемент п £ Л такой, что а(п)(д1) = а(п)(д2). Тогда в силу (7) будут справедливы соотношения V(пе)(^ д1) = а(п)(д1) ■ 1 = а(п)(д2) = V(пе)(^д2). Мы получили, что V(^) удовлетворяет всем требованиям теоремы Стоуна — Вейерштрасса, поэтому V) плотна по норме в С(Р х Q), что влечет е-равномерную плотность Едт в С(Р,А). Таким образом, = Ж(С, К, Л). Равномерная плотность Едг в С(Р,А)

также влечет К, Л)) с Л(ж1,..., ждг)-

Покажем единственность гомоморфизма р. Пусть Т : Ж (С, К, Л) ^ Е — Л-модульный решеточный гомоморфизм и Т (^) = ж» для всех г = 1, 2, ...,N. Тогда множество С := {р £ : р(р) = Т(р)} является Л-модульной подрешеткой в , содержащей ^ (1 ^ г ^ N). Следовательно, = С ив силу плотности в Ж (С, К, Л) получим Т = р.

Покажем справедливость равенства f(J4?(C, К, Л)) = A(xi,...,xn) при условии, что Л замкнута по норме в Z(E). Включение С установлена выше. Так как образ f(J4?(C, К, Л)) содержит х\ ..., xn, является модулем над Л и равномерно полон (см. [9, теорема 59.3]), то К, Л)) D A(a?i,... ,xn)- Таким образом, мы доказали теорему

для C = Л[х] U {0}.

Возьмем теперь произвольное коническое множество C С RN, содержащее K. Обозначим через Ci := Л[р]и{0}. Оператор сужения р : ф ^ осуществляет Л-модульный решеточный гомоморфизм из H(C, K, Л) в H(C1, Л[р], Л). Поэтому, jTо р — требуемый Л-модульный гомоморфизм. >

Предложение 3.1. Пусть E, F — равномерно полные векторные решетки, i : Л ^ Л' — изоморфизм f -алгебр Л С Z(E) и Л' С Z(F), h : E ^ F — Л-модульный решеточный гомоморфизм. Предположим, что £ E, Л[ж1,...,ж^] С K и

Ф £ H(C, K, Л). Тогда Л^Л,^),..., h(xN)] С Л[ж1;..., xN] и справедливо равенство

h(^(-, 1 )) = i о h(x1),..., h(xN)). (8)

< Положим y» := h(x») (i = 1,...,N), u := |x1| + ... + |xN|. Возьмем

0 = u £ Нош(Л/(у1 ,...,yN)). Тогда u := u о h £ Иош(Л(ж1 ,...,xN)) и поэтому Л^Л,^),..., h(xN)] С Л[ж1,..., xN]. Отсюда видно, что i о ф £ H(C, K, Л').

Предположим, что h(u) = 0. Тогда в силу теоремы 3.1 ф(-,ж1,... ) принадлежит главному идеалу Eu в E, порожденному элементом u. Следовательно, h(^>(-, x1 )) = 0. С другой стороны, hx» = 0 для всех i = 1,...,N, поэтому

1 о h(x1),..., h(xN)) = 0.

Пусть h(u) = 0. Из леммы 2.1 известно, что u £ Нт(Л') и u = ио h £ Нт(Л). Покажем, что u(in) = й(п) для всех п £ Л. Действительно, пусть п £ Л. Тогда по лемме 2.1 u(in(hu)) = u(in)u(hu) = u(in)u(u). С другой стороны, в силу Л-модульности h следует u(in(hu)) = u(h(nu)) = u(nu) = u^)u(u). Отсюда, так как u(u) = 0, выводим

u(in) = u(n) (п £ Л). (9)

Положим x := x1,..., xN), y := iоy1,..., yN), и пусть u £ Нош(Л'(у, y1,..., yN)). Тогда u := u о h £ Нош(Л(х,х1 ,...,xn)), и ввиду (9) выполняются равенства u(y) = u(i о ^(u(y1),..., u(yN))) = й(ф(й(х1),..., u(xN))) = u(x) = u(hx). Следовательно, так как Нош(Л'(у, y1,..., yN)) различает точки, y = h(x). >

Замечание 3.1. В условиях предложения 3.1 при отождествлении Л с Л' формула (8) примет вид h(^>(-, x1,..., xN)) = h(x1),..., h(xN)).

4. Метод огибающих

В этом параграфе покажем, что обобщенное функциональное исчисление позволяет перенести двойственность Минковского на Л-модульные решетки.

Пусть E — равномерно полная векторная решетка, x1,..., xn £ E, Л — f-подалгебра в Z(E), K — замкнутый конус в RN, содержащий Л^!,...^^]. Обозначим через Hv(K, Л) (Ha(k, Л)) множество всех сублинейных (суперлинейных) непрерывных операторов из K в Л, l(Rn, Л) — пространство линейных операторов из RN в Л. Пусть (п, ■) обозначает линейный оператор t ^ (п, t) = ^N1 ¿¿п» из RN в Л, где t = (t1,..., tN) £ RN, п = (п1 ..., пn) £ ЛN. Ясно, что отображение п ^ (п, ■) осуществляет решеточный изоморфизм из ЛN на l(Rn,Л).

Для сублинейного оператора р : K — Л U (суперлинейного оператора ф : K

Л U {-то}) положим по определению

dip := {"7г £ AN : (vr,i) < (p(t) (t G K)},

дф := {it € An : (ir,t) ^ <p(t) (t G K)}.

N , ........(10)

Следующая лемма используется в доказательстве основного результата параграфа. Заметим, что если Q — компакт и Л С ^(С(ф)), то в силу [3, теорема 2.62] Л С С(ф).

Лемма 4.1. Пусть ф — произвольный компакт, Ж1, € С (ф), Л С С (ф),

Л[ж1,...,ж^] С К и р € Ж (С, К, Л). Тогда р(^, ж1 ) € С (ф) и справедливо

равенство ж1,... )(д) = р(ж1 (д),... (д))(д) для всех д €

< Пусть Еи обозначает порядковый идеал в С(ф), порожденный элементом и := |ж11 +... + |ж^|. Тогда Еи равномерно замкнут в С(ф) относительно и иявляется модулем над Л (см. [3, теорема 2.62]). Поэтому из теоремы 3.1 получим ж 1,... ) € Еи.

Всякий элемент д € ф отождествляется с решеточным гомоморфизмом шд € Нот(Еи) по формуле шд(ж) := ж(д) (ж € Еи). Пусть д € ф и и(д) = 0. Тогда из леммы 2.1 выводим п(д)и(д) = шд(пи) = ш^(п)и(д) для всех п € Л. Сократив на и(д), получим п(д) = ш^(п) (п € Л). Отсюда из определения ж1,..., ж^) следует ж1,..., ж^)(д) = ш?(р(-, ж1,... ,жм)) = Шд(р(Шд(ж1),... ,ш?(жм)) = р(ж1 (д),... ,жм(д))(д).

Пусть теперь и(д) = 0. Тогда ж(д) = 0 для всех ж € Еи. В частности, ж1,... , ж^)(д) = 0. С другой стороны, ввиду положительной однородности р следует 0 = р(ж1 (д),... (д))(д). Таким образом, р(-, ж1,... )(д) = р(ж1 (д),... (д))(д) для всех д € ф. >

Теорема 4.1. Пусть Е — равномерно полная векторная решетка, ж1,... , ж^ € Е, р € Жу (К, Л) и ф € НЛ (К, Л). Тогда справедливы равенства

N

р(-, жь ... ,xN) = sup ■ (vri .. .,-kn) G ¿>P

?/>(•, Ж1,... = inf | : (7Г1 .. .,1TN) G <9?/> j.

Более того, xi,...,xn) (Ф0, x1,...,xn)) есть равномерный предел возрастающей (убывающей) сети, каждый член которой есть супремум (инфимум) конечного набора элементов вида J2iLi гДе c^i • • • ^n) £ dp ((vri • • •, ttjv) £ dip).

< Напомним, что оператор dij € L(RN, Л) С H(K, Л) действует по формуле dij(i) := ij/, где i = (i1,..., iN) € RN, I — тождественный оператор на E, i = 1,..., N. Распространим оператор р на все пространство RN, полагая p(i) := для всех

i € Rn \K. Обозначим через y = р(^, x1,..., xN), и пусть v € E такой, что v ^ N=1 для всех (tt\...,ttn) Е dip. По теореме Крейнов — Какутани существует компакт Q и решеточный изоморфизм x — x из главного идеала Eu, порожденного элементом u = |x11 + ... + |xn| + |v|, на C(Q). При этом u переходит в тождественную единицу. Таким образом, можно считать, что Eu = C(Q), Л — f-подалгебра в C(Q) и р : Rn — C(Q) U Ввиду леммы 4.1 для всех q € Q выполняются равенства

N

X(q) = р^^),...^(q))(q), x(q) 7Tj(q)Xj(q). (11)

—>

Так как конус K замнут, то в силу [2, гл. 1, п. 8] справедлива формула

(p(t))(q) =sup {(At)(q) : A £ дф}, (12)

где t £ Rn, q £ Q, дф — множество линейных операторов из RN в C(Q), опорных к оператору ф. Так как всякий линейный оператор A £ дф однозначно определяется набором п1, ...^n £ C (Q) по формуле At = N=1 ¿¿п», где t = (t1. ..,tN) £ Rn, то ввиду формул (11) и (12) для всех q £ Q справедливы соотношения y(q) = ф(жТ(<?),... ,x^(q))(q) = sup {Y,^=iXi(q)Tfi(q) : (714 ..., 7rw) £ дф} ^ £(<?). Таким образом, у ^ v. С другой стороны, так как для каждого набора (тг\,... ,ttn) £ dip выполняются соотношения (^dti) (t) = ¿=1 ¿¿п» ^ ^(t) (t £ K), то в силу теоремы 3.1 ф(-, xi,...,xn) ^ sup { ^¿li 7Г«жг : (^l • • • > ^n) £ д_<р}• Следовательно, ф(-, ЖЬ...,ЖМ) =SUp{ ТГгЖг : € ¿>ф}-

Пусть U := { ^¿ж» : (тп • • • > ^n) £ ¿fy?}- Символом Uv обозначим множество в Е, состоящее из супремумов конечных подмножеств множества U. Тогда Uv С Eu, сеть Uv := {У : v £ Uv} направлена вверх в C(Q) и ее поточечный супремум равен у. По теореме Дини Uv сходится равномерно к у. Следовательно, Uv также сходится равномерно к y в E.

Заметим, что если гр £ J4?a(K,A), то —1р £ Жу(К,А) и dtp = д(—гр). Отсюда вытекает справедливость формулы для >

5. Неравенства выпуклости

Согласно теореме 4.1 непрерывные сублинейные и суперлинейные операторы из К С в Л являются соответственно верхними и нижними огибающими линейных операторов. Мы будем пользоваться этим фактом в доказательстве неравенств типа Йенсена, Гельдера и Минковского в равномерно полных векторных решетках.

В этом параграфе Е — равномерно полная векторная решетка, Л — /-подалгебра в идеальном центре ^(Е), С, К — конусы в и К замкнут. Предположим, что упорядочено конусом С, т. е. в ^ £ означает в — £ £ С. Оператор ф : К — Л и называется возрастающим, если из неравенства в ^ £ следует ф(в) ^ ф(£) для всех в,£ £ К. Обозначим через С * множество всех линейных положительных операторов из в Л, т. е. Т £ С*, если Т £ Л) и Т(в) ^ 0 для всех в £ С.

Лемма 5.1. Если сублинейный (суперлинейный) оператор ф : — Л и возрастает, то дф С С* (дф С С*).

<\ Пусть сублинейный оператор ф возрастает, ж £ д_ф и £ £ С. Тогда {ж, —¿) ^ </>(—¿) ^ ф(0) = 0, т. е. п £ С*. Пусть теперь суперлинейный оператор ф : — Л и возрастает, ж £ дф и £ £ С. Тогда ("7Г,£) ^ (/>(/) ^ (/>(0) = 0. Следовательно, ж £ С*. >

Лемма 5.2. Пусть ф £ Ну (К, Л), ^ £ НД(К, Л) и выполнено условие К — С = С — К. Тогда справедливы утверждения:

(1) ф возрастает тогда и только тогда, когда </?(«) = 8ир{(7г, в) : 7Г £ с>фП С*} (в £ К);

(2) ф> возрастает тогда и только тогда, когда ■ф(з) = т£{(7г, в) : ж £ дф> П С*} (в £ К).

< Достаточность в обоих утверждениях очевидна. Покажем необходимость утверждения (1). Пусть I : Л — Л обозначает вложение векторной решетки Л в свое порядковое пополнение Л. Так как Л является мажорирующей порядково плотной под-решеткой в Л, то 1/ — сильная порядковая единица в Л. Поэтому можно считать, что Л = С(ф), где Q — экстремальный компакт. Обозначим через (р := I о ф. Тогда (р —

непрерывный сублинейный возрастающий оператор из К в порядково полную решетку С(ф). Пусть Р обозначает проектор на подпространство К — С. Тогда Р — положительный оператор, так как Р(в) = в для любого в £ С. Положим по определению р * (в) := И {р(£) : £ £ К, £ ^ Р (в)} (в £ ). Тогда р * — сублинейный возрастающий оператор из в С(ф), и выполняются равенства

ф*(s) = p(s) = p(s) (s € K).

(13)

Отсюда, ввиду леммы 5.1 вытекает справедливость соотношения <9р * = д(р П ь(С*), где 1(С*) — множество положительных линейных операторов из в С(ф). Следовательно, в силу [2, гл. 1, п. 8] и формулы (13), получим

ip(s) = sup {<7Г, s) : ж € dip П i(C*)} (s € К),

(14)

где 7Г = (?1,...,7?N), 0 ^ 7T1,...,7TN € C (Q), s = (S1,...,SN), (TT, s) = ill SiTT». Пусть s = (si,..., sn) € к и 7Г € dp п t(C*). Существует сеть (7га) = (7гад,... ,7га>^) из такая, что па | Tt и выполняются соотношения

N

(Tt, s) = У] SiTTi = У2 s» sup na>i = V^ s» lim

a a

i=1 i=1 i=1

N

= lim ^ Si7ra)i ^ sup {("7Г, s) : 7r E dip П C*}.

Отсюда, ввиду формул (13) и (14) следует р(в) ^ 8ир{(7г,в) : 7Г £ с>р П С*}. Противоположное неравенство очевидно. Таким образом, р(в) = 8ир{(7г,в) : 7Г £ с>р П С*}. Утверждение (2) доказывается аналогично. >

Следствие 5.3. Пусть р £ Ну (К, Л) и ф £ НД(К, Л) возрастают, К — С = С — К. Тогда справедливы соотношения

( N 1

р(-, Ж1, . . . , Ждг) = вир < : (7Г1 . . . , £ ^р П С* >,

Г w

?/>(•, Ж1,... ,ждг) = inf < '^^TTiXi : (7Г1 ...,7Гдг) £ dip П С*

< Следует из леммы 5.2 и теоремы 4.1. >

Обозначим через Ну(К, Л) (К, Л)) множество всех непрерывных возрастающих относительно MN сублинейных (суперлинейных) операторов из К в Л, и К — MN =

— К. Как обычно, положительные операторы будем обозначать символом £(МN, Л)+.

Пусть Е, Е — равномерно полные векторные решетки, и ^(Е), ^(Е) — идеальные центры Е и Е соответственно, Л, Л' — изоморфные /-подалгебры в ^(Е) и ^(Е) соответственно. Оператор / : Е ^ Е и называется возрастающим, если /(ж2) ^ /(#1) для всех Ж1, Ж2 £ Е, ж2 ^ Ж1. Скажем, что сублинейный (суперлинейный) оператор / : Е ^ Е и Л-сублинейный (Л-суперлинейный), если /(пж) = п(/ж) для всех 0 ^ п £ Л и ж £ Е.

Теорема 5.4 (Неравенство Йенсена). Пусть Е, Е — равномерно полные векторные решетки, / : Е ^ Е и {+<^} — возрастающий Л-сублинейный оператор,

g : E ^ F U — возрастающий Л-суперлинейный оператор. Предположим,

что ф G HY(K, Л), ф G НЛ(К, Л), Л[Ж1 ] С K, Л[/ (x)...,/ )] С K и

A[g(xi)..., g(xN)] С K. Если ж1;... G dom(/) П dom(g), то x1,..., ) G dom(g), ф(-, Ж1,..., xn) G dom(/) и выполняются неравенства

/)) < /(Xi),...,/(XN)),

Xi )) ^ 5(Ж1),...,g(XN)).

< Возьмем произвольный 7Г £ dip П L(IRW,A)+. Ввиду следствия 5.3 выполняется неравенство ж1;... ,xn) ^ ¿=1 п^. Так как / Л-сублинейный возрастающий оператор, то ж1,... ,xn) G dom(f) и справедливы соотношения

^mii^ifixi) : (vri...,7rw) = ?/>(•, • • •, fM).

=1

Утверждение для оператора д доказывается аналогично. >

Возьмем £ = (¿1 ) £ М+ и конечный набор положительных элементов

П1 ..., £ Л. Отождествим Л с пространством непрерывных функций Сна некотором компакте Q и определим функцию П¿П £ Спо формуле

N \ N

¿п 1 ^ . TT+ni(q)

П*П (?):=П(9 £ Q).

\г=1 / ¿=1

Функцию ^=1 ¿П мы будем отождествлять с соответствующим положительным элементом из Л+. Тогда для каждого фиксированного набора (п1 ...,п^) £ Л^ мы можем определить оператор ф £ Н(М^,Л) по формуле := П^=1 ¿П (£ £ ).

Теорема 5.5 (Неравенство Гёлбдера). Пусть Е, Е — равномерно полные векторные решетки, / : Е ^ Е и — возрастающий Л-сублинейный оператор и ёош(/) = Е+. Тогда для любых ж1,..., ж^ £ Е и 0 ^ п1,..., п^ £ Л, п1 + ... + п^ = I выполняется неравенство

( М / П

V ¿=1 / ¿=1

< Если 0 ^ п1,... £ Л, п1 +... + п^ = I, то := П¿П — непрерывный поло-

жительный суперлинейный оператор из М+ в Л+, следовательно, он возрастает на м+ . Таким образом, ф £ ^^(М^,Л), и остается применить теорему 5.4. >

Возьмем £ = (¿1,..., ) £ М^ и элемент п £ Л. Предположим, что существует такое число 5 > 0, что 5/ ^ п. Отождествим Л с подпространством в Си определим функцию (Х^^Г)1/п £ Спо формуле

( N \ 1/п ( N \

(Е М") (?):=( Е М^) (9 £ Q).

Функцию (Е^^^)1/п мы будем отождествлять с соответствующим положительным элементом из Л+. Тогда мы можем определить оператор ф : — Л+ по формуле ф(£) := )1/п (£ £ ^).

Теорема 5.6 (Неравенство Минковского). Пусть Е, Е — равномерно полные векторные решетки, / : Е — Е и {+<^} — возрастающий Л-сублинейный оператор и ёош(/) = Е+. Предположим, что существуют числа 0 < $ ^ 1 и п £ Л такие, что ¿I ^ п ^ I. Тогда для любых ж1,..., ЖN £ Е выполняется неравенство

// N \ 1/п \ / N \ 1/п

'((¡Н И£}И ■

Обратное неравенство имеет место, если / : Е — Еи{—<^} — Л-суперлинейный оператор, ёош(/) = Е+ и п ^ I.

< Оператор ф(£) := (¿П + ■ ■ ■ + ^)1/п из в Л супералинеен, если ¿I ^ п ^ I, и сублинеен при п ^ I. Таким образом, из теоремы 5.4 следуют требуемые неравенства. >

Литература

1. Кусраев А. Г., Табуев С. Н. О мультипликативном представлении билинейных операторов // Сиб. мат. журн.—2008.—Т. 49, № 2.—С. 357-366.

2. Кутателадзе С. С., Рубинов А. М. Двойственность Минковского и ее приложения.—Новосибирск: Наука, 1976.—250 с.

3. Aliprantis C. D., Burkinshaw O. Positive Operators.—N. Y.: Academic Press, 1985.—xvi+367 p.

4. Buskes G., de Pagter. B., van Rooij. A. Functional calculus on Riesz spaces // Indag. Math. (N. S.).— 1991.—Vol. 4, № 2.—P. 423-436.

5. Fremlin D. H. Tensor products of Archimedean vector lattices // Amer. J. Math.—1972.—Vol. 94.— P. 778-798.

6. Haydon R., Levy M., Raynaud Y. Randomly Normed Spaces.—Paris: Hermann, 1991.—138 p.

7. Kusraev A. G. Homogeneous Functional Calculus on Vector Lattices.—Vladikavkaz, 2008.—34 p.— (Preprint № 1).

8. Lindenstrauss J., TZafriri L. Classical Banach Spaces. Vol. 2. Function Spaces.—Berlin etc.: SpringerVerlag, 1979.—243 p.

9. Luxemburg W. A. J., Zaanen A. C. Riesz Spaces. Vol. 1.—Amsterdam, London: North-Holland, 1971.— 514 p.

10. Meyer-Nieberg P. Banach Lattices.—Berlin etc.: Springer, 1991.—xvi+395 p.

Статья поступила 15 июля 2013 г. ТАСОЕВ БАТРАДЗ БОТАЗОВИЧ

Южный математический институт ВНЦ РАН и РСО-А,

младший научный сотрудник отдела функцион. анализа

РОССИЯ, 362027, Владикавказ, ул. Маркуса, 22;

Северо-Осетинский государственный университет

им. К. Л. Хетагурова,

аспирант математического факультета

РОССИЯ , 362025, Владикавказ, ул. Ватутина, 46

E-mail: [email protected]

GENERALIZED FUNCTIONAL CALCULUS ON VECTOR LATTICES

Tasoev B. B.

Generalized functional calculus on vector lattices is constructed. An interplay between Minkowski duality and generalized functional calculus is investigated and some convexity inequalities are proved.

Key words: vector lattices, generalized functional calculus, Minkowski duality, convexity inequalities.