Описание главных компонент, порожденных операторами, сохраняющими дизъюнктность Текст научной статьи по специальности «Математика»

Владикавказский математический журнал Июль-сентябрь, 2004, Том 6, Выпуск 3

УДК 517.98

ОПИСАНИЕ ГЛАВНЫХ КОМПОНЕНТ, ПОРОЖДЕННЫХ ОПЕРАТОРАМИ, СОХРАНЯЮЩИМИ ДИЗЪЮНКТНОСТЬ

А. Е. Гутман, Д. С. Феофанов

К семидесятипятилетию Юрия Григорьевича Решетняка

В данной работе изучаются главные компоненты в пространствах операторов, действующих в векторных решетках и решеточно нормированных пространствах. При этом внимание сосредоточено на компонентах, порожденных операторами, сохраняющими дизъюнктность. Основными результатами являются критерии принадлежности оператора компоненте, порожденной данным оператором. Каждый из установленных критериев дает аналитическое описание рассматриваемой компоненты.

Одной из важнейших проблем теории положительных и мажорируемых операторов является аналитическое описание операторных компонент. Насколько нам известно, общее решение этой проблемы до сих пор не найдено и исследования ведутся в основном в направлении поиска описаний компонент в различных частных случаях. В данной работе приводятся некоторые новые результаты, касающиеся аналитического описания главных компонент для случая операторов, сохраняющих дизъюнктность.

Понятие компоненты в векторной решетке E вводится следующим образом. Для произвольного множества D С E определяется дизъюнктное дополнение D^ = {e £ E : e ± d для всех d £ D}, где ± — отношение дизъюнктности (e ± d ^ |e| A|d| =0). Компонентой, порожденной D, называется множество (D±)± (более коротко обозначаемое символом D^). Главной компонентой называется компонента, порожденная одноэлементным множеством. Аналогичные понятия и обозначения вводятся для случая решеточно нормированных пространств.

В настоящей статье рассматриваются главные компоненты в пространствах операторов. При этом внимание сосредоточено на компонентах, порожденных операторами, сохраняющими дизъюнктность.

Следующая таблица схематично изображает основные результаты данной работы.

T A |T| e |A}^ Теорема

T : E ^ F A e DPO T = g 0 A 2.1

T : E ^V A e DPO T = g 0 A 2.2

T : U^V A e DPO,A ^ 0 T = g 0 Au 2.3

T : U^V A = W 0 S 0 w T = W 0 Su 0 w 2.4

T : U^V A e DPO T = 0€eH W€ 0(P€S)u£0 w€ 2.5

T : E(X) ^ F(Y) Ae = W ((we) • s) Tu = W ® ((wu) • s) 3.7

T : E(X) ^ F(Y) A e DPO Tu = W ® 0£eH (w€u • s)Q 3.8

© 2004 Гутман А. Е., Феофанов Д. С.

В первой колонке таблицы указаны пространства, в которых действует оператор T (здесь E и F — K-пространства, U и V — пространства Банаха — Канторовича, X и Y — просторные банаховы расслоения), во второй колонке описан вид оператора A (здесь DPO — класс регулярных операторов, сохраняющих дизъюнктность), в третьей колонке приведены представления оператора T, равносильные соотношению |T| £ {A}J—L, а в четвертой колонке перечислены номера соответствующих теорем.

1. Вспомогательные сведения о пространствах Банаха — Канторовича и мажорируемых операторах

Основные определения и факты, касающиеся векторных решеток, решеточно нормированных пространств и мажорируемых операторов, можно найти в [1, 4, 6]. Прекрасным источником сведений в интересующей нас области является монография [5].

На протяжении всего текста мы будем использовать терминологию и обозначения из [2], причем иногда без явных ссылок и указания первоисточников. Соответствующие приоритетные ссылки можно найти в [5].

Пусть E и F — векторные решетки. Линейный оператор T : E ^ F называется положительным, если Te ^ 0 для всех положительных e £ E, и регулярным, если существуют такие положительные операторы Ti, T2 : E ^ F, что T = Ti — T2. Совокупность всех регулярных операторов из E в F обозначается символом M(E, F).

1.1. Теорема Рисса — Канторовича. Если E — векторная решетка и F — K-пространство, то M(E, F) является K-пространством. При этом для любого порядко-во ограниченного подмножества Tc M (E, F) и любого положительного элемента e £ E имеют место следующие соотношения:

(supT)e = sup{Tiei +-----+ T„e„ : Ti £ T, e £ E +, ei +-----+ e„ = e, n £ N},

(inf T)e = inf{Tiei + ■ ■ ■ + T„e„ : Ti £ T, ei £ E+, ei + ■ ■ ■ + e„ = e, n £ N}.

В частности, если F — K-пространство, то M(E, F) является векторной решеткой, что позволяет говорить о компонентах в M(E, F).

Пусть U и V — решеточно нормированные пространства (РНП) над векторными решетками E и F соответственно. Говорят, что положительный оператор S : E ^ F является мажорантой линейного оператора T : U ^ V, если |Tu| ^ S|u| для всех и £ U. Оператор, имеющий мажоранту, называется мажорируемым. Совокупность всех мажорируемых операторов из U в V обозначается символом M(U, V).

Напомним, что пространством Банаха — Канторовича (ПБК) называется d-разло-жимое о-полное РНП над K-пространством.

По умолчанию все РНП в этой работе рассматриваются над K-пространствами и в отсутствие соответствующих явных указаний предполагаются d-разложимыми.

1.2. Теорема [2; 1.6.9], [5; 4.1.2, 4.2.6]. Пусть U — РНП над E, а V — РНП над F.

(1) Каждый мажорируемый оператор T : U ^ V имеет наименьшую мажоранту (относительно порядка в M(E, F)), обозначаемую символом |T|.

(2) Если V — ПБК, то отображение || : T ^ |T| представляет собой разложимую M(E, F)-значную норму на M(U, V), в паре с которой M(U, V) является ПБК.

Последняя теорема дает основание для рассмотрения компонент в M(U, V).

Пусть G — расширенное K-пространство, E и F — фундаменты G, U и V — РНП над E и F соответственно. Линейный оператор T : E ^ F называют нерасширяющим, если для любых e £ E и g £ G из e ± g следует Te ± g. Линейный оператор T : U ^ V

называют нерасширяющим, если для любых u G U и g £ G из |u| ± g следует |Tu| ^ g. Ограниченные нерасширяющие операторы называют ортоморфизмами, а их совокупность обозначают символом Orth(U, V). Вместо Orth(U,U) пишут Orth(U)-

Пусть U и V — РНП- Тенью оператора T : U ^ V называется отображение h : Pr(U) ^ Pr(V), определенное формулой h(n) = supu6u (Tnu). (Здесь и ниже Pr(U) — булева алгебра порядковых проекторов РНП U, а (u) — порядковый проектор на компоненту, порожденную элементом u.)

Пусть U — РНП над E, не обязательно d-разложимое. Под d-разложимой оболочкой U понимают минимальное d-разложимое РНП, содержащее U как подпространство с индуцированной нормой. Для d-разложимой оболочки U принято обозначение dfinU-

Пусть E и F — K-пространства, U — РНП над E, A : E ^ F — решеточный гомоморфизм. Рассмотрим векторное подпространство Uo := {u £ U : A|u| = 0}- Класс эквивалентности из U/Uo, содержащий элемент u GU, обозначается символом Auu. Легко убедится в том, что U/Uo представляет собой (вообще говоря, не d-разложимое) РНП над F относительно нормы |Auu| := AuВ этом случае d-разложимая оболочка РНП U/Uo называется нормативным преобразованием U посредством A и обозначается символом AU. Линейный оператор Au : U ^ AU называется оператором нормативного преобразования U посредством A.

Пусть E и F — K-пространства, E — идеал E, U — ПБК над E, S : E ^ F — решеточный гомоморфизм. Условимся обозначать символом SU нормативное преобразование U посредством S|e, а символом Su — оператор нормативного преобразования U посредством S |e .

1.3. Теорема Кутателадзе [2; 6.2.19], [5; 3.3.4(1)]. Пусть E — векторная решетка и F — K-пространство. Положительный оператор T : E ^ F сохраняет дизъюнктность тогда и только тогда, когда для любого оператора S : E ^ F, удовлетворяющего неравенствам 0 ^ S ^ T, найдется ортоморфизм g £ Orth(F) такой, что 0 ^ g ^ id^ и S = g о T, где id^ : F ^ F — тождественный оператор.

1.4. Теорема [2; 6.1.8], [5; 5.3.8]. Пусть U — РНП над E, V — РНП над F, U0 — аппроксимирующее векторное подпространство U, To : Uo ^ V — линейный оператор, S : E ^ F — o-непрерывный положительный оператор, сохраняющий дизъюнктность. Предположим, что |Touo| ^ S|uo| для всех uo £ Uo. Тогда существует единственное линейное продолжение T : U ^ V оператора To такое, что |Tu| ^ S|u| для всех u G U.

1.5. Предложение [2; 6.2.13], [5; 5.1.9(1)]. Пусть E и F — фундаменты K-пространства G, а U и V — РНП над E и F соответственно, причем РНП U порядково полно. Линейный оператор T : U ^ V является ортоморфизмом тогда и только тогда, когда он мажорируем и его наименьшая мажоранта |T| : E ^ F является ортоморфизмом.

1.6. Предложение [2; 6.2.14], [5; 3.3.2(2)]. Любой ортоморфизм, действующий из ПБК в РНП, o-непрерывен.

1.7. Следствие [2; 6.2.16], [5; 3.3.2 (4)]. Пусть E и F — фундаменты K-пространства G, и V — РНП над F. Если два ортоморфизма S, T G Orth(E, V) совпадают на некотором подмножестве Eo С E, то они совпадают на Eo^.

Говорят, что линейный оператор T : E ^ F является операто- у

ром взвешенного сдвига, если существуют фундаменты E' С mE и E " F

F' С mF, ортоморфизмы w : E ^ E' и W : F' ^ F и оператор сдвига S : E' ^ F' такие, что T = W о S о w. Композиция W о S о w называется WSW-представлением T, а операторы W, S и w называются внеш- ' s ' ним весом, сдвигом и внутренним весом представления W о S о w. "

E

К

E' S . F

w

2. Описание главных компонент в терминах ортоморфизмов

В данном параграфе дается описание главных операторных компонент на «абстрактном» языке — в терминах РНП, операторов сдвига и ортоморфизмов.

2.1. Теорема. Пусть Е и Е — К-пространства, А : Е — Е — регулярный оператор, сохраняющий дизъюнктность, и Т : Е — Е — произвольный регулярный оператор. Включение Т £ {А}^ выполняется тогда и только тогда, когда существует такой элемент д £ ОгШ(Е, тЕ), что Т = д о А.

< Следует из утверждения [5; 3.3.5(4)], основанного на теореме 1.3. >

2.2. Теорема. Пусть Е и Е — К-пространства, V — ПБК над Е, А : Е — Е — оператор, сохраняющий дизъюнктность, Т : Е — V — мажорируемый оператор и |Т| : Е — Е — точная мажоранта Т. Включение |Т| £ {А}^ выполняется тогда и только тогда, когда существует такой ортоморфизм д £ ОгЛ(Е, mV), что Т = д о А.

< В силу теоремы 2.1 существует такой ортоморфизм д £ ОгШ(Е, тЕ), что |Т| = д о А. Сначала определим оператор до на образе А формулой до (Ае) := Те. Покажем корректность этого определения. Действительно, пусть е1 и е2 — такие элементы Е, что Ае1 = Ае2. Покажем, что в этом случае Те1 = Те2. Поскольку А — гомоморфизм, выполняется равенство 0 = А(е1 — е2) = А|е1 — е21. Тогда имеют место соотношения

|Те1 — Те2| = |Т(е1 — е2)| < |Т||ех — е2| = дА|е1 — е2| =0.

Таким образом, определение до на ш(А) корректно.

Докажем теперь, что |до(Ае)| ^ д| Ае| для всех е £ Е. Возьмем произвольный элемент е £ Е. Тогда

|до(Ае)| = |Те| < |Т||е| = дА|е| = д|Ае|.

Поскольку д — ортоморфизм, он сохраняет дизъюнктность. Из 1.6 вытекает, что оператор д о-непрерывен, а значит, по теореме 1.4 существует единственное линейное продолжение д оператора до на {т(А)}^ с сохранением неравенства |д(/)| ^ д(|/1) для всех / £ {1ш(А)}х±. По теореме 1.5 оператор д является ортоморфизмом.

Пусть Т = д о А, где д £ ОгШ(Е, mV). Тогда, очевидно, выполняется неравенство |Т| ^ |д| о А. В силу теоремы 2.1 имеет место включение |Т| £ {А}^. >

2.3. Теорема. Пусть Е и Е — К-пространства, и и V — ПБК над Е и Е соответственно, А : Е — Е — решеточный гомоморфизм, Аи — нормативное преобразование и посредством А, Аи — соответствующий оператор нормативного преобразования, Т : и —^ V — мажорируемый оператор, |Т| : Е — Е — его точная мажоранта. Включение |Т| £ {А}х± выполняется тогда и только тогда, когда существует такой элемент д £ ОгШ(Аи, т^), что Т = д о Аи.

< Опираясь на 2.1, мы можем утверждать, что существует оператор д £ ОгЛ(Е, тЕ), для которого |Т| = д о А. Сначала определим оператор до на Аи [и] формулой до(Аии) := Ти. Поясним корректность этого определения. Действительно, пусть «1 и и2 — такие элементы и, что Аи и = Аи и2. Покажем, что в этом случае Ти1 = Ти2. Действительно,

|Т(«1 — «2)1 ^ |Л|и1 — = дА|«1 — = д|Аи(«1 — «2)| = 0.

Таким образом, определение до на 1ш(А) корректно.

Убедимся, что |доАи^ д|Аи. В самом деле,

|доАи= |Т«| < |Т|Н = дАН = д|Аи

Установим равенство {Аи[Ы= АЫ. Из [2; 1.4.6] следует, что любой элемент АЫ = ^пАи[Ы] представляется в виде ^7=1 PiWi, где {р» : г = 1,..., п} — разбиение единицы в Рг(Е), ад» — элементы Аи [и]. Пусть ^7=1 PiWi £ {Аи [иТогда для любого элемента £ Аи [Ы] выполняются равенства

0

Л |адо| = ( ^р»|^^ I Л |адо|

Поскольку рiWi ^ рjWj при г = мы имеем р^ад» ^ адо для любого г £ {1,...,п}. В качестве адо можно взять ад». Из р»ад» ± ад» вытекает р^ад» = 0, а значит, ^7=1 = 0. Таким образом, {Аи [и= АЫ.

По теореме 1.4 существует единственное линейное продолжение д оператора до на {Аи[Ы]}11 с сохранением неравенства |дю\ ^ д|ад|. По предложению 1.5 оператор д является ортоморфизмом. Легко убедится в том, что оператор д : = (Аи[Ы]) о д является искомым ортоморфизмом.

Предположим, что Т = д о Аи, где д £ Ог1;Ь(АЫ, тУ). Тогда имеет место неравенство |Т| ^ |д| о А. Действительно, для любого и £ и

|Ти| = |дАии < ЫА4 = |д1Аи|.

Тогда в силу 2.1 выполняется включение |Т| £ {А}11. >

2.4. Пусть Е — К-пространство. Заметим, что для любого ад £ Ог1;Ь(Е, ) существует единственный элемент £ Ог1Ь(1ш(ад),Е) такой, что w о ^ = (ад).

Теорема. Пусть Е и ¥ — К-пространства, Ы и V — ПБК над Е и ¥ соответственно, А : Е — ¥ — оператор взвешенного сдвига, Ш о 5 о w — его Ш^Ш-представление, где w ^ 0. Положим Ы' = {и £ тЫ : |и| £ Е'}, где Е' = ёош(5). Мажорируемый оператор Т : Ы —^ V удовлетворяет условию |Т| £ {А}11 тогда и только тогда, когда Т = Шо5и' оw для некоторого элемента Ш £ Ог1Ь(5Ы',тУ) такого, что |Ш| £ {Ш

< Согласно теореме [2; 6.1.1] существует элемент / £ ОгШ(¥, ¥) такой, что / о / = |/1 = idF и Ш = / о |Ш|. Без ограничения общности можно считать, что Е' = т^). Определим оператор В : Е' — ¥ следующей формулой: В = / о А о ^. В пространстве М(Е, ¥) имеет место цепочка равенств

А о — о w = Ш о 5 о w о — о w = Ш о 5 о w, w w

которая, в свою очередь, влечет справедливость представления В о w = / о Ш о 5 о w. Следовательно, В = /оШо5 = /о/о|Ш|о5 = |Ш|о5. Заметим, что согласно последнему равенству В является решеточным гомоморфизмом.

Определим оператор Ш : [Ы'] — Ви' [Ы'] формулой Ш'и) = Ви'и. (Корректность этого определения очевидна.)

В силу теоремы 2.1 включение |Т| £ {А}11 = {/оА}11 влечет равенство |Т| = до/оА для подходящего ортоморфизма д £ Ог1Ь(¥, т¥). Для всех и' £ Ы' имеем

Т - и'| < |Т|| - и' I w

"'I = (IТ1о £) |и'1

11

^ является мажорантой для Т о ^

равенство |Т| о ^ = д о / о А о ^, получаем включение |Т о ^ | £ {/ о А о 1 = {B}J

Значит, оператор |Т| о — является мажорантой для Т о —. По теореме 2.1, используя

Ш 1 1гщИ

Из теоремы 2.3 следует, что T о 1 = д о Bw, = д о W о Sw' для подходящего элемента д G Orth(BU', mV). Для всех u' G U' имеем

IgWSu'u'| = |двМ/u'| = Iд о / о W о S||u'| = |д|W|Swu'|sw.

Итак, ортоморфизм |д| о W — мажоранта для д о W. Поскольку Sw [U'] — аппроксимирующее векторное подпространство SU', а |д| о W, будучи ортоморфизмом, является порядково непрерывным оператором, по следствию [2; 6.1.8] оператор д о W можно продолжить до оператора W : SU' ^ mV с сохранением оценки | Wv| ^ |д|W|v\SU/. Заметим, что из последнего неравенства с учетом теоремы 2.1 вытекает включение |W| G {W.

Таким образом, мы пришли к равенству T о — = W о Sw. Для завершения доказательства остается убедиться в справедливости формулы T = T о — о w. Рассмотрим произвольный элемент u G U и положим v : = u — —wu. Тогда

|Tv| < |T||v| = #/A|v| = g/WSw|v| = gWS|wu — w^wu| = 0, и, следовательно, Tu = Tv + T(u — v) = T—wu.

Тогда

=: Пусть W — такой элемент Orth(SU',mV), что \W\ G {W} и T = W о Sw о w. |Tu| = |WSwwu < |W||Sw,wu = |W|S|wu| < |W|Sw|u|

для любого и € и, а значит, |Т| ^

Используя соотношение € по теореме 2.1 мы приходим к неравенству

|Т| ^ д о | о Б о ад, где д — подходящий элемент ОгЛ(Е, т^). С другой стороны, |оБоад = |А| согласно замечанию [2; 6.4.1]. Вновь привлекая теорему 2.1, окончательно получаем |Т| € {А}х±. >

Теорему 2.4 можно проиллюстрировать следующим образом. Если диаграмма

А

E

F с_

mF

E'

S

mF

коммутативна, то существует такой элемент W G Orth(SU',mV), что диаграмма

т

U

с

m

'

SU'

S'

также коммутативна.

Ниже мы установим аналогичный результат для случая произвольного ограниченного оператора, сохраняющего дизъюнктность. Для этого напомним сначала следующую теорему.

2.5. Теорема [2; 6.4.5], [5; 5.3.7]. Пусть А : Е ^ Е — регулярный оператор, сохраняющий дизъюнктность. Тогда существует такое разбиение единицы (р^в алгебре Рг(Е), что для каждого £ € 2 композиция р^ о А является оператором взвешенного сдвига.

Более того, оператор A разлагается в сильно дизъюнктную сумму A = ф£g2 W о р£ Sо w£, где W G Orth(mF, mF), S — сдвиг оператора A, w£ G Orth(E, mE), w£ ^ 0. При этом р£ о A = W о р^S о w£ для всех £ G S.

2.6. Теорема. Пусть E и F — K-пространства, U и V — ПБК над E и F соответственно, A : E ^ F — ограниченный оператор, сохраняющий дизъюнктность, и A = ф£g2 W о р^S о w£ — его представление из теоремы 2.5. Положим U£ = {u G mU : |u| G im(w)£}. Мажорируемый оператор T : U ^ V удовлетворяет условию |T| G {A}^ тогда и только тогда, когда

T = 0 W£ о (р£S)ue о w£, £es

где Ш£ — элементы ОгЛ^(р£5)итакие, что |Ш£| £ {Ш

< Поскольку р£|Т| £ {р£А}^, привлекая теорему 2.4, мы приходим к равенству

р£T = W£ о (р£Sо w£, где W£ — элемент Orthl (р£S)U£, mVl такой, что |W^| G {W}

iH

-4=: Положим

T = © W£ о (р£S)ue о w£, £es

где Ш£ - элементы ОгЛ^(р£,тУ] такие, что |Ш£| £ {ШТогда |Т| ^ ф£б2|Ш£|о

Р£5 о . Для каждого £ £ 2 из соотношения | £ {Ши теоремы 2.1 следует, что IW.fl = $£ о Ш для подходящего ортоморфизма £ Ой;Ь(тЕ) и, следовательно,

|T| ^ g£ о W о р£S о w£ = ^^ g£ о р£ о W о р£S о w£ = g о A, £6Н £6S

где g = ф£g2 g£ о р£. Вновь используя теорему 2.1, получаем |T| G {A}^. >

Теорему 2.6 можно проиллюстрировать следующим образом. Если диаграмма

E

A

F с_

mF

Ei-^ Fi

E^-^2^ F2

£3^ F3

коммутативна, то существует такие элементы W£ G ОйЬ((р£S)U£, mV), что диаграмма

и

т

V с

шХ>

(р^)ш W1

Ых > (Р!<ЗД —- тУ

(Р2^)и2

(рз^)и3

^2

(Р2ЗД -- тУ

^3

(рзЗД -- тУ

также коммутативна.

3. Описание главных компонент в терминах операторных сечений

В данном параграфе дается описание главных операторных компонент на «реализационном» языке — в терминах сечений банаховых расслоений, операторов замены переменных и операторных сечений. Формулируемые здесь теоремы 3.7 и 3.8 легко вывести из результатов параграфа 2 с помощью соответствующих реализационных теорем (см. [2; §§ 3.4, 6.5]). Для удобства некоторые из используемых результатов сформулированы явно в данном параграфе.

Всюду ниже Р и Q — произвольные экстремально несвязные компакты.

3.1. Предложение [2; 6.5.4], [5; 3.3.2(9)]. Пусть Е и Е — фундаменты в Отображение Ш : Е ^ Е является ортоморфизмом тогда и только тогда, когда существует такая функция ш £ что Ше = ше для всех е £ Е. Для любого ортоморфизма Ш такая функция ш единственна.

Соотношение Ше = ше называется реализацией ортоморфизма Ш посредством функции ш.

3.2. Через Со^,Р) обозначим множество всех непрерывных функций в : Qo ^ Р, определенных на открыто-замкнутых подмножествах Qo С Q.

Предложение. Отображение Н : С1ор(Р) ^ С1ор^) является кольцевым гомоморфизмом тогда и только тогда, когда существует такая функция в £ Со^,Р), что Н(и) = в-![и] для всех и £ С1ор(Р). Для любого гомоморфизма Н такая функция в единственна.

Соотношение Н(и) = в-![и] называется реализацией кольцевого гомоморфизма Н посредством функции в.

Для произвольных функций в £ Со^, Р) и е £ Сте(Р) функция е • в : Q ^ Ж определяется следующим образом:

/ ч/ч |е(в(д)), если q £ ёош(в), (е • в)(q) := <

I 0, если q £ Q\ ёош(в).

3.3. Предложение [2; 6.5.7], [5; 5.4.2(2)]. Пусть Е — фундамент в С^(Р) и Е — фундамент в (Q). Отображение Б : Е ^ Е является оператором сдвига тогда и только тогда, когда существует такая функция в £ Со^, Р), что Бе = е • в для всех е £ Е.

3.4. Теорема [2; 6.5.12], [5; 5.4.5]. Пусть E — фундамент C^(P), F — фундамент C<^(Q) и T : E ^ F —регулярный оператор, сохраняющий дизъюнктность. Рассмотрим реализацию h(U) = s-1 [U] тени h оператора T посредством функции s £ Co(Q, P). Тогда существуют семейство (w^)^е= положительных функций из C^(P), удовлетворяющих условию 1/w^ £ E для всех £ £ S, дизъюнктное семейство (Qí)^6= элементов Clop(Q) и функция W £ такие, что supp W = cl(JQí = dom(s) = supp im(T) и

Te = W0(w¿e • s)|q (e £ E).

íes

Последнее соотношение назовем реализацией оператора T посредством s, w^ и W^.

3.5. Если X и Y — просторные непрерывные банаховы расслоения (НБР) над Q, u £ Сж (Q, X) и w £ Сж(Q,B(X, Y)), то сечение ext(w <Х> u) £ C^>(Q, Y) обозначается через w <X> u.

Предложение [2; 6.5.13], [5; 5.4.6]. Пусть X и Y — просторные НБР над Q, E и F — фундаменты в C^(Q). Отображение W : E(X) ^ F(Y) является ортоморфизмом тогда и только тогда, когда существует такое сечение w £ Сж (Q, B(X, Y)), что

Wu = w <Х> u

для всех u £ E(X). Для любого ортоморфизма W такое сечение w единственно. Более того, |W |(e) = |w|e для всех e £ E.

Соотношение Wu = w <X> u называется реализацией ортоморфизма W посредством сечения w.

3.6. Если X — банахово расслоение над P, то для любого отображения s : Q ^ P композиция X о s представляет собой банахово расслоение над Q. Кроме того, если u — сечение расслоения X над D С P, то u о s — сечение Xo s над s-1 [D]. Для произвольного множества U сечений X символом Uos мы обозначаем совокупность сечений {uos : u £ U} расслоения X о s.

Пусть X — банахово расслоение над P и s — функция, определенная на подмножестве Q и действующая в P. Расслоение X о s, дополненное нулевыми слоями в точках Q\ dom(s), мы будем обозначать символом X^s. Точнее говоря, слои банахова расслоения X • s над Q определяются формулой

(X • s)(q) = (X(s(9)), если q £ dom(s),

I {0}, если q £ Q\dom(s).

Если u — сечение расслоения X над D С P, то символом u • s обозначается сечение

(u • s)(q):=(u^s(q)), если q £ s-1[D],

10, если q £ Q\dom(s)

расслоения X • s над s-1[D] U (Q\dom(s)). Для произвольного множества U сечений X символом U • s мы обозначаем совокупность сечений {u • s : u £ U} расслоения X • s.

Расслоение X • s рассматривается как НБР над Q с непрерывной структурой С(P, X) • s. Символом X • s обозначается просторная оболочка расслоения X • s.

Предложение [2; 6.5.17], [5; 5.4.8(3)]. Пусть X и Y — просторные НБР над P и Q, E и F — фундаменты в C^(P) и C^(Q) соответственно. Отображение S : E(X) ^

F (У) является оператором сдвига тогда и только тогда, когда существуют функция s £ Co(Q, P) и изометрическое вложение i расслоения X • s в У такие, что

Su = i <Х> (u • s)

для всех u £ E(X). В этом случае |S|e = e • s для всех e £ E.

Приведенные выше результаты позволяют получить следующие реализационные аналоги теорем 2.5 и 2.6.

3.7. Теорема. Пусть E и F — фундаменты в Cro(P) и Cro(Q), X и У — просторные НБР над P и Q, A : E ^ F — оператор взвешенного сдвига, Ae = W((we) • s) — WSW-представление оператора A, где w £ Cro(P), W £ Cro(Q) и s £ C0(Q,P). Пусть, кроме того, T : E(X) ^ F(У) — мажорируемый оператор и |T| : E ^ F — его точная мажоранта. Оператор T удовлетворяет условию |T| £ {A}^ тогда и только тогда, когда существует такой элемент W £ Q,B(X • s, У)), что supp W С supp W и для всех u £ E(X) выполняется равенство Tu = W <Х> ((vju) • s).

3.8. Теорема. Предположим, что E и F — фундаменты в Crx(P) и C^(Q), X и У — просторные НБР над P и Q, A : E ^ F — ограниченный оператор, сохраняющий дизъюнктность. Пусть

Ae = W0(w¿e • s)|q (e £ E)

íes

— представление оператора A из теоремы 3.4, T : E(X) ^ F(У) — мажорируемый оператор и |T| : E ^ F — его точная мажоранта. Оператор T удовлетворяет условию |T| £ {A}x± тогда и только тогда, когда существует такое сечение W из пространства (Q, B(X • s, У)), что supp W С supp W и для всех u £ E(X) выполняется равенство

Tu = W(wíu • s)|q.

íes

Литература

1. Вулих Б. З. Введение в теорию полуупорядоченных пространств.—М.: Физматгиз, 1961.—407 с.

2. Гутман А. Е. Банаховы расслоения в теории решеточно нормированных пространств // Линейные операторы, согласованные с порядком.—Новосибирск: Изд-во ИМ СО РАН, 1995.—С. 63-211.

3. Канторович Л. В., Вулих Б. З., Пинскер А. Г. Функциональный анализ в полуупорядоченных пространствах.—М.-Л.: Гостехиздат, 1950.—548 с.

4. Кусраев А. Г. Линейные операторы в решеточно нормированных пространствах // Исследования по геометрии «в целом» и математическому анализу.—Новосибирск: Наука, 1987.—С. 84-123.

5. Кусраев А. Г. Мажорируемые операторы.—М.: Наука, 2003.—619 с.

6. Кусраев А. Г., Стрижевский В. З. Решеточно нормированные пространства и мажорируемые операторы // Исследования по геометрии и математическому анализу.—Новосибирск: Наука, 1987.— С. 132-158.

Статья поступила 12 августа 2004 г. Гутман Александр Ефимович, д. ф.-м. н.

г. Новосибирск, Институт математики СО РАН им. С. Л. Соболева E-mail: gutman@math.nsc.ru

Феофанов Дмитрий Сергеевич г. Новосибирск, Новосибирский госуниверситет