Владикавказский математический журнал Октябрь-декабрь, 2005, Том 7, Выпуск 4
УДК 517.98
ПРОЕКЦИЯ ПОЛОЖИТЕЛЬНОГО ОПЕРАТОРА УРЫСОНА
М. А. Плиев
Семену Самсоновичу Кутателадзе в связи с его шестидесятилетием
Для положительного оператора Урысона доказывается критерий латеральной непрерывности. Устанавливаются формулы проектирования положительного оператора Урысона на полосы латерально
непрерывных и а-латерально непрерывных операторов.
В работе [2] введен класс нелинейных ортогонально аддитивных порядково ограниченных операторов, названных абстрактными операторами Урысона. Этот класс при обычном поточечном упорядочении оказывается пространством Канторовича, при условии, что таковым является пространство образов. Частными случаями таких операторов являются нелинейные интегральные операторы типа Урысона и Гаммерштейна. Важную роль в пространствах абстрактных операторов Урысона играют полосы латерально непрерывных и а-латерально непрерывных операторов. Возникает задача: для произвольного положительного оператора Урысона найти формулы проектирования на полосы латерально непрерывных и а-латерально непрерывных операторов. Кроме того, полезно было бы иметь критерий латеральной непрерывности в виде условий, налагаемых на ядро. Решение аналогичных задач для линейных операторов см. в [3]. Настоящая заметка посвящена решению этих вопросов.
Необходимые сведения из теории векторных решеток можно найти в [1, 3]. Напомним некоторые факты об ортогонально аддитивных порядково ограниченных операторах из [2].
Рассмотрим векторную решетку Е и векторное пространство Ш. Говорят, что оператор Т : Е ^ Ш ортогонально аддитивен, если Т(/і + /2) = Т/і + Т/2 для дизъюнктных /і и /2. Ортогонально аддитивный оператор Т называется порядково ограниченным, если он переводит порядково ограниченные множества в порядково ограниченные множества. Оператор Т : Е ^ Е, действующий между векторными решетками Е и Е, называется абстрактным оператором Урысона, если он порядково ограничен и ортогонально аддитивен. Множество всех абстрактных операторов Урысона из Е в Е обозначается символом и (Е, Е). Частичный порядок в векторном пространстве и (Е, Е) вводится с помощью конуса и+(Е, Е), определяемого следующим образом:
Т Є и+(Е, Е) ^ (V Є Е) Те ^ 0.
При этом по определению Б ^ Т означает, что Б — Т Є и+(Е, Е).
© 2005 Плиев М. А.
В случае, когда векторная решетка F порядково полна, для абстрактных операторов Урысона из U(E, F) можно построить порядковое исчисление Рисса — Канторовича, аналогично линейному случаю.
Пусть E и F — векторные решетки, причем F порядково полна. Тогда U(E, F) — порядково полная векторная решетка, и для любых двух операторов T, S Є U(E, F) и f Є E справедливы формулы:
(T V S)(f) := sup{Tg + Sh : g + h = f, g±h};
(T Л S)(f) := inf{Tg + Sh : g + h = f, g±h};
T+(f) := sup{Tg : g < f, (f - g)±g};
T -(f) := - inf {Tg : g < f, (f - g)±g};
|Tf| < |T|(f).
Говорят, что сеть (va)ags С E латерально сходится к элементу v, если v = o-lima va и (va — ve)±v£ для любых а, в Є S, в ^ а. При этом пишут v = 1-lima va. Пусть E — векторная решетка. Ортогонально аддитивный оператор T называется латерально непрерывным (латерально о-непрерывным), если для любой сети (ea) С E из e = 1-lima ea следует o-lima Tea = Te (соответственно, для любой последовательности (en) С E из 1-limnen = e следует o-limnTen = Te). Множество всех латерально непрерывных (латерально о-непрерывных) операторов обозначается через Uc(E, F) (UCTc(E, F)).
Оператор T Є U(E, F) называется вполне аддитивным (о-аддитивным), если T(X]а ua) = X]а Tua для любого семейства (любого счетного семейства) попарно дизъюнктных элементов (ua)(a6A). Множество всех вполне аддитивных (о-аддитивных) операторов, действующих из E в F обозначается Ua(E, F) соответственно UCTa(E, F). Можно показать, что множества Ua(E, F) и UCTa(E, F) являются полосами в U(E, F).
Если T ортогонально аддитивный порядково ограниченный оператор, то следующие условия эквивалентны: І) T есть латерально (о)-непрерывный оператор; 2) T о-адди-тивен. Тем самым, UCTC(E, F) = UCTa(E,F).
Если E и F — векторные решетки, причем решетка F порядково полна, то пространства Uc(E, F) и UCTC(E, F) являются полосами в U(E, F). Для оператора T Є U(E, F) ядром называется множество {e Є E : Te = О}. Множество M С E называется латерально замкнутым (латерально о-замкнутым), если оно содержит пределы всех своих латерально сходящихся сетей (последовательностей).
Сформулируем теперь основные результаты настоящей заметки.
Теорема 1. Пусть T : E ^ F —положительный оператор Урысона, где E —решетка с проекциями на главные полосы, а F — K-пространство. Оператор T латерально непрерывен (латерально о-непрерывен) тогда и только тогда, когда ядро любого оператора S Є U(E, F), 0 ^ S ^ T, латерально замкнуто (латерально о-замкнуто).
Следующая теорема указывает формулу проекции положительного оператора на полосу латерально непрерывных операторов. С каждым положительным оператором T свяжем операторы Tc и T^, определяемые формулами
Tcu = inf {sup Tua : u = l-lim ua}; (1)
аа
TCTcu = inf {sup Tun : u = l-lim un}. (2)
nn
Инфимум в первой формуле берется по всем сетям (ua) латерально сходящимся к u. Аналогично и в отношении последовательностей во второй формуле.
Теорема 2. Пусть T положительный оператор Урысона из решетки с проекциями E в K-пространство F. Тогда Tc (T^) является проекцией на полосу латерально непрерывных (а-латерально непрерывных) операторов.
Теорема 3. Для произвольного положительного оператора T Є U+(E, F) проекция Ta на полосу Ua(E, F) может быть вычислена по формуле:
Tau = inf Tu
где инфимум берется по всем попарно дизъюнктным семействам (ua) таким, что u = J2a ua.
Доказательство сформулированных результатов содержится в леммах 1-5. Всюду ниже T Є U(E, F) — положительный оператор Урысона, где E — решетка с проекциями на главные полосы, а F — это K-пространство.
Лемма 1. Пусть положительный оператор Урысона T латерально непрерывен (латерально а-непрерывен). Тогда для всех операторов Урысона S Є U (E, F), О ^ S ^ T, ядро является латерально замкнутым (латерально а-замкнутым) множеством.
< Рассуждение проведем для сетей. В случае последовательностей используется аналогичная схема. Пусть T латерально непрерывен и S Є U(E, F), О ^ S ^ T. Так как Uc(E,F) — полоса, то S также латерально непрерывный оператор. Пусть M — ядро S. Возьмем сеть (ua) Є M, латерально сходящуюся к нулю. Тогда справедлива формула
Su = o-lim Sua = О ^ u Є M,
a
из которой следует латеральная замкнутость ядра S. >
Следующее предложение заканчивает доказательство теоремы 1.
Лемма 2. Пусть T — положительный оператор Урысона и ядро произвольного оператора Урысона S, О ^ S ^ T, латерально замкнуто (латерально а-замкнуто). Тогда оператор T латерально непрерывен (латерально а -непрерывен).
< Рассуждение, как и в предыдущем случае, проведем для сетей. Пусть T произвольный положительный оператор Урысона такой, что ядро произвольного оператора S Є U(E, F), О ^ S ^ T, латерально замкнуто. Рассмотрим сеть (ua), латерально сходящуюся к u. С каждым элементом ua свяжем na проектор на полосу u;^. Тогда можем написать:
Tu = Tua + T (u — ua), Tu = Tua + Tnau,
Tu ^ sup Tua + Tnau.
a
В последнем неравенстве в правой части перейдем к инфимуму по всем а:
Tu ^ sup Tua + inf Tnau.
a a
Оператор infa Tna обозначим через S. Ясно, что S — положительный оператор Урысона. Так как S ^ T, то по условию ядро S латерально замкнуто. Кроме того, легко видеть, что Su = infa Tnau. Действительно, по определению Su ^ infa Tnau. Докажем обратное неравенство. Заметим, что
Su = inf ^ ^^Tnai u : £ u = u, u*±uj, j = i
где инфимум берется по всем конечным наборам а,..., ап. Так как сеть проекторов па убывает, то для любого конечного набора проекторов па1,..., пап найдется проектор па1 такой, что
Переходя к инфимуму по всем конечным наборам можем написать Su ^ infaTna.
Так как Sua = О для всех а, то Su = О в силу латеральной замкнутости ядра S. > Лемма З. Пусть T — положительный оператор Урысона. Тогда формулы (І) и (2) определяют ортогонально аддитивные порядково ограниченные операторы.
< Проведем рассуждения для сетей, для последовательностей получается аналогично. C оператором T свяжем оператор Tb следующей формулой:
T be := inf {sup Tea : e = l-lim ea }.
aa
Требуется установить, что Tb(e + /) = Tbe + T/, где /±e. Пусть e, / Є E+ и сеть (va)(agA) латерально сходится к / + e. Ясно, что va Є E+ для всех а Є Л. C сетью (va) свяжем две сети (V1,a) и (V2,a), определяемые следующими формулами.
V1,a := Va Л e; V2,a := Va Л /.
Ясно, что / = 1-lima V2,a и e = 1-lima V1,a. Действительно, убедимся в этом для (v2,a). Справедливы следующие формулы.
(V2,a — V2,e) Л V2,e = (Va Л / — V£ Л /) Л (v£ Л /) = [Va Л / + ( — V£) V (—/)] Л V£ Л /
= [(Va Л / — Ve) V (Va Л / — /)] Л Ve Л / ^ (Va — v^) Л v^ = О;
o-lim V2,a = 0-lim(Va Л /) = (o-lim Va) Л / = (/ + e) Л / = /.
a a a
Отсюда следует формула
Tb(e + /) ^ Tbe + T/ (3)
Докажем обратное неравенство. Пусть e = 1-lima6A va и / = 1-lim7gr w7. Произведение Л x Г будет направленным множеством, где порядок вводится следующим образом:
(а, y) ^ (а', y') ^ а ^ а' Л y ^ y'.
Построим сеть ua>7 := va + w7. Покажем, что / + e = 1-lim(a>7) ua>7. Действительно,
(u(a',Y') — u(a,Y)) Л u(a,Y) = (va' + wy' — va — wy) Л (va + wy)
= (va/ — va + wy — wY) Л (va + wY) ^ (va/ — va) Л va + (wy — wY) Л wY = О. Отсюда выводим неравенство
Tb(e + /) ^ Tbe + T/ (4)
Пусть теперь e, / Є (—E+) и e±/. Сеть (va)a6A латерально сходится к / + e. Ясно, что va Є (—E+), а Є Л. Теперь можем написать
V1,a := e V Va; V2,a := / V Va;
(Vl,a — Vl,e) Л Vl,e = |(Va V e — V£ V e) | Л |v£ V e|
= ((—Va) Л (—e) — (—Ve) Л (—e)) Л (—Ve Л (—e)) = О;
o-lim v1 a = o-lim(va V e) = (o-lim va) V e = (/ + e) V e = e.
a a a
Таким образом, доказано неравенство (3). Доказательство неравенства (4) не вызывает затруднений. Пусть теперь e ^ О, а / ^ О и сеть (va) латерально сходится к e + / и /±e. Тогда можем написать
Vl,a := V+ Л e; V2,a =: (—v-) V /.
Рассмотрим общий случай, когда e и / произвольны. Тогда e = e+ + (—e ) и / = / + + (—/-) и доказательство сводится к разобранным выше случаям.
T }(e + /) = T }(e+ + (—e-) + / + + (—/-)) = T }(e) + T/
Таким образом ортогональная аддитивность оператора T} доказана, порядковая ограниченность этого оператора очевидна. >
Следующая лемма завершает доказательство теоремы 2.
Лемма 4. Оператор T} латерально непрерывен (латерально а-непрерывен).
< Докажем формулу для сетей, в случае последовательностей доказательство аналогично. Достаточно доказать, что оператор T}, определенный в лемме 3, латерально непрерывен. Действительно, пусть S — латерально непрерывный оператор, V Є E, V = 1-lima va и S ^ T. Тогда можем написать
Sva ^ Tva, а Є Л; Sv = sup Sva ^ supTva.
aa
Переходя к инфимуму по всем сетям, латерально сходящимся к V, можем написать Sv ^ Tjv. Итак, возьмем произвольный элемент u Є E и сеть ^л^леЛ), латерально сходящуюся к u. Ясно, что h = supл{тbuл} ^ Tju. Требуется установить обратное неравенство T} ^ h. С каждым элементом uл свяжем порядковый проектор пл на полосу {u — ^}^ и ортогонально аддитивный положительный оператор T\ := T-пл. Аналогично определяется и T} Сеть T\ убывает в пространстве U(E, F) и ограничена снизу. Обозначим через S инфимум сети (T\)( лєА). Теперь можем написать:
T }u = TV + T }(u — u^y) = TV + Tju;
T}u — h ^ T}u — TV = T}(u — ^) = Tju;
О ^ (Tj — S}) = (Tx — S)} ^ Tx — S.
Отсюда следует, что сеть Tj, убывая сходится к S}. В частности, T}u = Sju. Во втором неравенстве перейдем к инфимуму по всем А Є Л. Теперь можем написать T}u — h ^ S}u. По определению S^ = О для всех А Є Л. Но тогда и вектор Sju равен нулю, так в качестве сети, латерально сходящейся к u, можно взять сеть (u л)( лєл). 1>
Лемма 5. Оператор Ta вполне аддитивен.
< Аналогично лемме 3 устанавливается ортогональная аддитивность Ta. Возьмем
семейство попарно дизъюнктных элементов (ua)(aeA) и пусть u = a ua. Положим
© = Pfin(A), в Є 0, ye = aee ua, ze = (aee\e) ua и h = supe Ta ye ^ Tau. Установим обратное неравенство. С каждым элементом ye свяжем порядковый проектор ne на
полосу {уе и положительный оператор Те = Тпе. Аналогично определяется и оператор Те,0 = Т0пе. Обозначим инфимум сети Те через Б. Тогда справедливы формулы:
Т0(и) = Т0уе + Та^0 = Т0уе + Т0,а^Є,
Та (и) - Н ^ Та(^е + уе) - Тауе = Ті^е = ТаПеи = Те,ап;
0 < (Те)0 - $,) = (Те - Б) < Те - Б.
Сеть Те,а убывая сходится к Б0. Далее можем написать Т0(и) - Н ^ Б0(и). Но Б0(и) = 0 в силу определения Б0. >
Автору неизвестно, при каких условиях и0(Е, Т) = ис(Е, Т). Так как иетс(Е, Т) = иет0(Е, Т), то для Т^с имеет место формула
{ГО ГО ^
^ Т (ик) ■ ^ ^ ик — и ик^ие (к = ^ ик ^ Е | (и ^ Е)-
к=1 к=1 і
Литература
1. Кусраев А. Г. Мажорируемые операторы.—М.: Наука, 2003.—619 с.
2. Mazon J. M., Segura de Leon S. Order bounded ortogonally additive operators // Rev. Roumane Math. Pures Appl.—1990.—V. 35, № 4.—P. 329-353.
3. Aliprantis S. D., Burkinshaw O. The components of the positive operator // Math. Z.—1983.—Bd. 184, № 2—P. 245-257.
Статья поступила 31 марта 2004 г-
Плиев Марат Амурханович, к. ф.-м. н. г. Владикавказ, Институт прикладной математики и информатики ВНЦ РАН и РСО-А E-mail: plimarat@yandex.ru