Научная статья на тему 'Конусы в тензорных произведениях упорядоченных банаховых пространств'

Конусы в тензорных произведениях упорядоченных банаховых пространств Текст научной статьи по специальности «Математика»

CC BY
95
14
i Надоели баннеры? Вы всегда можете отключить рекламу.
Область наук

Аннотация научной статьи по математике, автор научной работы — Худалов Владимир Темирсултанович

В первой части работы изучаются свойства тензорных конусов в тензорных произведениях банаховых пространств с конусами. Во второй части доказано, что тензорное произведение двух линейных операторов является l-оператором (bo-оператором) тогда и только тогда, когда оба сомножителя являются l-операторами (соответственно bo-операторами).

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

Текст научной работы на тему «Конусы в тензорных произведениях упорядоченных банаховых пространств»

Владикавказский математический журнал Январь-март, 1999, Том 1, Выпуск 1

УДК 517.98

КОНУСЫ В ТЕНЗОРНЫХ ПРОИЗВЕДЕНИЯХ УПОРЯДОЧЕННЫХ БАНАХОВЫХ ПРОСТРАНСТВ

В. Т. Худалов

Пусть ЕиР — упорядоченные банаховы пространства (УБП) с замкнутыми конусами Е-1_ и (при изложении вопросов теории конусов в нормированных пространствах мы будем в основном придерживаться терминологии книг Б. 3. Вулиха [1] и [2]).

Конус Ка в алгебраическом тензорном произведении Е®Е называется тензорным конусом [3], если х ® у € Ка для всех х € Е+, у € и х* ® у* € К* для всех х* € Е+, У* € Е*.

Проективный конус Кр определяется следующим образом:

Кр = ®Ук, <Е Е+, у к € к = 1,... ,п; п = 1,2,... | .

Инъектлюным, конусом называется конус

{гага ^

&=1 &=1 )

Ясно, что если Ка — тензорный конус, то Кр С Ка С В дальнейшем будем

предполагать, что I? — УБП с замкнутым, нормальным, воспроизводящим конусом Е+. Нормы пе и кв на Е®Х, где X — произвольное банахово пространство, связанные с порядком в Е, определяются по формулам:

га

для всякого г = V г/, :•; ;г/, (г /'.' :•; .V положим &=1

Г га

I к=1 )

для любого .г (г /'.' :•; .V положим

&=1

: 2 = ^^ о,г®Уг, Щ ^ О, г ^ г ^ т

к=1

Эти нормы были определены в [4] и являются аналогами нормы В. Л. Левина [5], введенной им для случая, когда УБП Е — банахова решетка.

© 1999 Худалов В. Т.

Нормы пе и кв являются кросснормами [6] тогда и только тогда, когда норма на Е регулярна [4], т. е.

1) Ух, у (г /'- пч ±х ^ у следует ||ж|| ^ ||у||;

2) Уж € Е и Уе > 0 Зу ^ 0, такой что ±ж ^ у и ||у|| ^ (1 + е)||ж||. Если Е — УБП с замкнутым конусом и регулярной нормой, то пишем Е € (7?.). Пространство Е ® X, наделенное нормой а, обозначаем ®а X, а его пополнение Е®аХ.

Данная работа состоит из двух частей. В первой части изучаются свойства тензорных конусов в произведении Е®Е, где /',' и /•' — УБП, такие как нормальность, несплющенность, оштукатуриваемость, телесность, правильность, полная правильность. Показано, что всякий тензорный конус в Е 0ПЕ -Р, где Е € (7?.), Е — УБП, является нормальным тогда и только тогда, когда конус в Е нормальный. В то же время всякий тензорный конус в Е ^ является несплющенным тогда и только тогда, когда конус в несплющенный. Таким образом каждая из норм пе и кв отвечает за наличие только одного из таких взаимно противоположных и взаимно дополняющих свойств, как нормальность и несплющенность произвольного тензорного конуса.

Во второй части изучаются тензорные произведения I- и Ьо-операторов [7]. Оказывается, что при подходящем выборе тензорного конуса в Е ® Е, где Е, € (7?.), тензорное произведение

5 ® Т : Е ®а Р X Г,

а и ¡3 — произвольные кросснормы, двух операторов .V : /',' —» .V и Г : /•' —» является ¿-оператором тогда и только тогда, когда 5* и Т ¿-операторы.

Аналогично, тензорное произведение

и ®У : X ®а¥ ^ Е®рЕ

{а и ¡3 — произвольные кросснормы) двух операторов : X —» /',' и V : ) —» /•' является Ьо-оператором, если и только если II и V — Ьо-операторы. При этом получены двусторонние оценки норм этих операторов.

1°. Пусть Е — УБП с замкнутым, нормальным, воспроизводящим конусом Е+, р — произвольное УБП с замкнутым конусом.

Теорема 1. Следующие утверждения эквивалентны:

1) произвольный тензорный конус Ка нормален в Е ®ПЕ

2) существует тензорный конус Ка такой, что Ка является нормальным в Е®Пе

3) конус нормальный в Р.

Доказательство. Ясно, что из 1) следует 2). Докажем, что 2) влечет 3). Пусть Ка — нормальный тензорный конус в Е ®ПЕ Р, тогда норма пе полумонотонна на конусе Кр [1], так как Кр С Ка. Возьмем е € Е+, ||е|| = 1. Рассмотрим вложение ] : /•' —» /',' :•; /•'. определяемой по формуле:

]{х) = е ® х € Е ® Р, У ж € Р.

Тогда является подпространством в Е ®ПЕ Р с конусом Кр, и порядок в индуцируется из Е ® Р, значит /•'( — нормальный.

3)=^2). Так как — нормальный конус, то клин — несплющенный. Покажем, что конус /\, — нормальный, тогда каждый тензорный конус Ка С /\, также будет

нормальным. Пусть

га гп

^ Г/, :•; ;г/, ел.'!' ^ и - х-, е К,.

к=1 г=1

Для каждого ж* € /•'имеем:

га

а) Е ек{хк./х*) € Е+; к=1

т

б) Е Щ{Уг,х*) € Я+;

г=1

га т

в) Е ек(хк,х*) > Е а-г{Уг,х*).

к=1 г=1

Так как — несплющенный клин, то

пе{%) = ш£ < ||гб|| : и у^ ек(хк,х*), Ух* € ||ж*|| ^ 1 >

I ¿=1 )

= ш£ < ||гб|| : и > ^ ек{хк, х*), ¥;г'" (г /•']'. ||ж*|| ^ 1 > .

I /г=1 ;

С другой стороны, найдется константа С, не зависящая от и такая, что

пв(^г) = Сш£ ||Н| : и > ¥;г'" е /-"¡'. ||ж*|| ^ ^ .

Тогда из в) следует, что пе(г 1) йпв^г), где константа к не зависит от ш откуда следует нормальность конуса К^, а значит, и произвольного тензорного конуса Ка.

Замечание. Если предположить, что /','. /•' (г {'К), то нетрудно видеть, что из ± 7,2 € Ка, где 21, ^2 € -Е ® будет следовать, что пе(;?1) «^(^г)-Приведем пример, показывающий, что из несплющенности конуса в ^ не следует, вообще говоря, несплющенность конуса К^ в Е®Пе (а следовательно, не следует несплющенность произвольного тензорного конуса Ка).

Пример 1. Пусть Е = 12 с конусом

К\ = 1х = {х\,

\

оо

;г»

Можно показать, что I? € (7?.), конус /1] — телесный и оштукатуриваемый и = К. Положим = ¿1 с естественным порядком. Так как — банахова решетка, то конус р+ — несплющенный.

Рассмотрим тензорное произведение Е ®ПЕ Тогда, так как в силу телесности конуса К\ норма пе эквивалентна норме е [4], пространство Е®ПеЕ изоморфно вкладывается в пространство С{Е*,Е) с операторной нормой. Рассмотрим элементы

Е Е ® Р, гп = ^ е/г ® ж/г, где ^{¿¿й}?^ = ж^; — символ Кронекера. Тогда к=1

элементы ;гга определяют операторы Тп : Е* —> Р, действующие по формуле:

Тга («1,... ,ап, ап+1,...) = ( а.\. —^----, —, 0,... ) .

V 2 п /

Так как операторы Тп сходятся по операторной норме к оператору Т : Е* Р, где Т определяется формулой:

гр, Ч _ / «га Ога+1

1 (,ск1,... , ап, ап+1,...) — I ск1, -—. • • • , , ■ • •

\ 2 п п + 1

то Т можно рассматривать как элемент Е®ПеЕ.

Но оператор Т нельзя представить в виде разности положительных операторов (Е С{Е,Р)) [8], а следовательно, и в виде разности положительных (в смысле конуса К) элементов из Е®ПеЕ. Значит, замыкание К, в пополнении Е®ПеЕ не является воспроизводящим конусом, следовательно, К^ не является несплющенный конусом в Е®Пе Р [1].

Теорема 2. Следующие утверждения эквивалентны:

1) произвольный тензорный конус Ка является несплющенный в Е Р;

2) существует тензорный конус Ка такой, что Ка является несплющенный в Е®кв

Р;

3) конус Р+ несплющен в Р.

Доказательство. Очевидно, что 1)=>-2). Докажем импликацию 2)=>-3). Пусть конус Ка несплющен в Е®^е Р. Тогда инъективный конус К, также будет несплющен в Е • Возьмем элемент е Е Е+, ||е|| = 1 и рассмотрим вложение ] : Р —> Е ® Р,

]{х) = е ® ж для ж Е Р. Пусть / Е Е+ такой, что /(е) = 1. Определим проектор I': /'.' :•; /•' —» ¿(Р) по формуле

(га \ га

ек ® хк ) Кек)хк € ,?'(Р).

к=1 / к=1

Так как этот проектор является положительным, то несплющенность (Е насле-

дуется подпространством ^(Р), значит, конус в Р — несплющенный.

3)=>-1): Покажем, что конус Кр несплющен, отсюда будет следовать несплющен-

га

ность любого тензорного конуса Ка. Пусть г = Е ек ® хк — произвольный элемент

к=1

га

из Е ® Р. Возьмем е > 0. Тогда существует представление 2 = ^ аг® Уг элемента 2

=1

такое, что щ ^ 0 для 1 ^ г ^ т и

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

^ е. Так как Р+ — несплющен-

Е аг\\Уг

г=1

ный конус, то каждый элемент 1 ^ г ^ т, можно представить в виде у^ = у\ — %Д, где у\, %Д Е Р+ и |||| + \\yfW ^ СЦу-гЦ, С — константа несплющенности конуса Р+ [1].

т т т т

I 1 ТЖ \ 1 1-1 . 12 Г Р< 1 I ' ТТ ■ I \ 1 11 . IV I 1 \ 1 11 . IV 12

Рассмотрим элементы ^ а^ ® уг и ^ щ ® у%. Тогда ^ щ ® у}, ^ щ ® Е и

г=1 г=1 г=1 г=1

Я = £>» ® У •

4=1

Е аг

4=1

Имеем:

(тп \ / т

53 а% ® у\ I + кЕ I аг ® у\

^ 2(7

^ 2СкЕ(г) + 2С ■ е,

то есть Кр — несплющенный конус в Е /•'.

Замечание. Если /','. /•' (г (7\.). то из доказательства теоремы 2 видно, что для каждого .г (г /'.' /-'и любого е > 0 существует элемент € Ка (где Ка — произвольный тензорный конус в Е ® Е) такой, что ± г; € Ка и 1) ^ (1 + е)кЕ{х).

Если конус в нормальный, то отсюда, вообще говоря, не следует нормальность конуса Кр (а значит, и произвольного тензорного конуса Ка) в Е

Пример 2. Пусть Е = 12 с конусом = сц с обычным конусом. Ясно, что

конус в со нормальный, однако Кр не является нормальным в Е так как в

противном случае конус положительных операторов в Сг{Е, [9] был бы несплю-щенным. В нашем случае С[(Е, изоморфно пространству С{12,1\), так как конус К\ в ¿2 оштукатуриваемый [9]. В то же время оператор Т из примера 1 нельзя представить в виде разности положительных операторов.

Выясним, при каких условиях тензорный конус является оштукатуриваемым (телесным) в пространстве Е ®а где а — произвольная кросснорма.

Теорема 3. Для того чтобы конус Кр был оштукатуриваемым в Е ®а необходимо и достаточно, чтобы Е+ и ¡-\ были бы оштукатуриваемыми конусами п /',' н /•' соответственно.

Доказательство. Необходимость. Пусть Кр — оштукатуриваемый конус в

Е ®а Е. Возьмем х\, е ® хп € Кр. Тогда

€ /•') . е € /',' | . ||е|| = 1 и рассмотрим элементы е ® х\,

вир < ^^ а(е ® Хг)

4=1

. Х\,... , хп G

I

г=1

Е

Х4

■Х1.....Х„ (г /•') > < X..

откуда следует, что константы нормальности конуса ограничены в совокупности, следовательно, конус /•'( оштукатуриваемый [2]. Аналогично доказывается оштукату-риваемость конуса Е+.

Достаточность. Пусть / — равномерно положительный функционал на Е, д — равномерно положительный функционал на Тогда / ® д — равномерно положи-

п

тельный функционал на (Е ®а Е,КР). Действительно, пусть 2; = Е ек ® хк € Кр, тогда

к=1

(/® <?)(*) = ¿/Ы^Ы > к^\Ы\ 1Ы1 > кж{х) > ка{х),

к=1

к=1

где к

константа.

Теорема 4. Для того чтобы конус был телесным в Е®а /•'. где а — любая крос-снорма такая, что а ) необходимо и достаточно, чтобы Е+ был телесным конусом в Е и /•'( — телесным конусом в Р.

Доказательство. Необходимость. Покажем, что /-'( — телесный конус.

га

Пусть г = Е ек ® — внутренняя точка конуса К^ в Е ®а Р, то есть В{г,г) С К^, к=1

где В{г,г) — замкнутый шар радиуса г > 0 с центром в точке г в Е ®а Р. Возьмем е € -Е+, ||е|| = 1. Тогда существует функционал Жу € ||жу|| = 1 и (е, Жу) = 1.

га

Покажем, что _В(жу,г) С Р+, где жу € Р, жу = ^ {ек,х'о)хк. Пусть у0 € Р, ||уо ^ г. Положим ;?у = е ® уо- Тогда а(;?о) ^ ||уу|| ^ г, отсюда г; + го € следовательно

га

2_^{ек,х1)хк + (е,жу)уу € Р+, к=1

т, е. жо + уо € Р+, значит, В(хо,г) С Р+.

Аналогично доказывается телесность конуса

Достаточность. Пусть и € /',' ( — внутренняя точка конуса Е+, V € Р+ — внутренняя точка конуса Р+. Тогда го = и® V является внутренней точкой конуса К^. Действительно, пусть шар В{и,р\) С Е+, шар В(у,р2) С Р+. Возьмем произвольный

га

элемент г; = ек®хк ^ такой, что а(г^ го) ^ р\р2■ Для любого / € Е*+ имеем:

к=1

к=1

так как ||/|| ^ 1(и,/} (см. [1, с. 29]). Поэтому

^2(ек,1}хк = (и,/)

к=1

^=1

€ (и,/)В(у,р2) С Р4

а это значит, что г; = ек ® хк £ Теорема доказана.

к=1

Приведем примеры, показывающие, что из того, что конуса Е+ и Р+ являются правильными (вполне правильными), вообще говоря, не следует, что произвольный тензорный конус в Е ®ПЕ Р (Е ®кв Р) является правильным (вполне правильным). Следует подчеркнуть, что в нашем более общем случае, когда Е является произвольным УБП, принадлежащем классу {'К), в отличие от случая, когда Е — банахова решетка, в основном получаются отрицательные результаты, то есть здесь возникает существенно новая ситуация.

Пример 3. Пусть Е = 12 с конусом Е+ = К\, таким же, как в примере 1, Р = 12 с естественным конусом. Конус Е+ является оштукатуриваемым, следовательно, вполне правильным (см. [2, с. 9]). Конус Р+ также вполне правильный, значит, правильный. Покажем, что, тем не менее, конус Кр в Е®кв Р не является правильным, следовательно, Кр не является вполне правильным в Е ®кв Р. Рассмотрим последовательность

элементов гп (г /'- :•; /•'. п 1.2.....определяемую следующим образом:

гп = гп-1 + (¿,0,... ,0,^,0,... ) ® Го,... ,0,^,0,... Ь ..

Ясно, что последовательность гп возрастает. Кроме того, нетрудно видеть, что все гп ограничены элементом (1,0,...) ® ^1, ... , ...^. Однако последовательность хп не является фундаментальной в Е Действительно, рассмотрим разность

32П -Яп = (^,0,... ,^,0,...^ ® ^0,... + ...

га+1 п+1

2 га 2 га

Оценим норму кв{х2п — %п) снизу, воспользовавшись тем, что сопряженное {Е®кв Е)* канонически изометрично С^Е, _Р*). Так как конус в Е оштукатуриваемый, то всякий непрерывный оператор Г : /',' —» /•"" является ¿-оператором. Пусть Г : —» /•_>. I (г £(¿2,^2) — тождественный оператор. Нетрудно видеть, что ||Т||г ^ у/2. Тогда

^ 2га ^

ы*Е I

к=п+1

то есть последовательность гп не фундаментальна; следовательно, Кр не является правильным в Е

Пример 4. Пусть ¿2 упорядочено конусом

Г °° 2 2\

К = = (х\,... ,жга,...) : хп ^ 0, \/п, ^ ^ х2п ^ .

I га=2 ]

Положим = ¿2 с сопряженным конусом /\'1. тогда К* — замкнутый, нормальный, телесный, вполне правильный конус [2].

1) Возьмем Е = 12 с естественным конусом. Покажем, что проективный конус Кр не является вполне правильным в Е ®ПЕ Рассмотрим последовательность хп элементов из Кр:

= (1,0,...)® (1,0,...), гп = гп-1 + (0,... ,0,1,0,...)® (0,0,... ,0,1,0,...).

Ясно, что последовательность хп возрастает. Тем же методом, что и в примере 10 (см. [10, с. 231]) можно показать, что пв{гп) ^ л/2 для п = 1,2,... . Тем не менее, последовательность гп не фундаментальна, так как пе{%п+1 — %п) = 1, то есть Кр не является вполне правильным в Е ®ПЕ Р.

2) Возьмем Р = ¿2 с конусом К*. Так как К* — телесный конус, то по теореме 4 инъективный конус /\, С Е ® Р будет телесным конусом в Е ®ПЕ Р. Покажем, что конус Кг не является правильным в Е ®ПЕ Р. Рассмотрим последовательность гп, определенную в пункте 1 настоящего примера. Тогда гп € /\п = 1,2,..., последовательность хп возрастает в смысле конуса К,. пе^п) ^ л/2 для п = 1,2,... и не является фундаментальной. Следовательно, конус К^ в Е ®ПЕ Р не является вполне правильным. Тогда К^ не является правильным конусом в Е ®ПЕ Р, так как правильность и телесность конуса влекут полную правильность конуса (см. [2, с. 10]).

2°) Пусть Е € (72-), X — произвольное БП. Линейный оператор Т : Е ^ X называется I-оператором, если конечна ¿-норма:

\П =§иР

Е

к=1

ек

^ 1 ,п = 1,2,,

Пространство всех ¿-операторов из Е в X с I-нормой обозначим через С1(Е,Х).

Линейный оператор II : X —> Е называется Ьо- оператором, если он переводит единичный шар пространства X в порядково ограниченное множество в Е. Пространство всех Ьо-операторов из X в Е с Ьо-нормой

||г7||ьо = ш£{||е|| : 11х ^ е, Vх <Е X, ||ж|| ^ 1}

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

обозначим Съо (-Х", Е).

Теорема 5. Пусть /','. /•' (г (Щ, Х,У — произвольные БП, Б € С(Е,Х), Б ф 0, Т € £(Р, У), Т ф 0. Тогда для любых кросснорм а и ¡3 оператор

Б®Т: (Е®а,Кр)

является ¿-оператором тогда и только тогда, когда Б иТ суть ¿-операторы. При этом

Доказательство. Пусть Б : Е ^ X — ¿-оператор. Это эквивалентно существованию функционала е* € Е+, ||е*|| ^ 1 такого, что

||5еК ||5||г(е*,е), Vе (Е Е+;

аналогично, если Г : /•' —» — ¿-оператор, то найдется /* € /•"{'. ||/*|| ^ 1, такой что ||Т/|| ^ ||Т||г(/,/*), V/ € Р+. Тогда е* <В> /* — положительный непрерывный

функционал, е* ® /* € К*. Пусть г = £ ek®fkeKp, тогда

к=1

/3

^ тг ( Ё 5efc ® Tfk

\к=1

fc=i

га

^||Sefc||||T/fc|| = ^||S(efc||T/fc||)||

fc=i fc=i

га га

^ ||S||^(efc,e*)||T/fc|| =

fc=i fc=i га /га

fc=i

U=i

Следовательно, — ¿-оператор и ||5® Т||г ^ ||5||/||Т||/.

Обратно, пусть 5* ® Т : (Е ®а Е,КР) ^ X ^^ У — ¿-оператор. Покажем, что 5* и Т — ¿-операторы. Пусть в1,... ,ега € 1?+. Возьмем / € ф 0. Тогда

ех ® /,... , ега ® / € Кр. Поскольку 5* ® Т — ¿-оператор, то

га га

г/11 е над = Еда ® ® я],

к=1

fc=l

||5®Т||га(ЁеЛ®/) =||5®Т||г

4fc = l

Eefc fc=i

Значит, S — ¿-оператор и ||S||/ ^ \\S ® ^НгН/НС^/Н 1). Отсюда, так как последнее неравенство верно V/ € F+, ||/|| = 1, то ||5||г ^ ||5®Т||г ■ ||Т||-1, откуда ||5®Т||г ^ \\S\\i\\T\\.

Аналогично получаем, что ||Т||/ ^ ||5 ® T\\i ■ ||5|| 1 и ||5 ® T\\i J; ||Т||г||5||. Итак,

Теорема полностью доказана.

Теорема 6. Пусть E,F{1Z), X. У суть произвольные БП, U € С(Х,Е), U ф 0, V € C(Y, F), V ф 0. Тогда для любых кросснорм a ^ е и (5 ^ е оператор

U <8>V : X <8>aY (Е <8>р F, Щ)

является Ьо-операторов тогда и только тогда, когда U nV — Ъо-операторы. При этом

VrilbomiboVCTW<r®^llbo < niboll^llbo.

Доказательство. Пусть U : X ^ Е и V : Y ' F — Ьо-операторы. Тогда найдутся элементы е € Е+ и / € F+ такие, что

±Ux^e, Ух (EX, ||ж|| ^ 1; ||f7||bo = inf{||e||}; ±Vy^f, У у € Y, ||уК1; \\V\\bo = inf{||/||}.

Покажем, что оператор II ®У : X ®а У —> (Е Е,К^) является Ьо-оператором при

га

а = е (а значит, при любом а е). Пусть .г (г .V :•; У. .г ^ хк ® ук и е(г) ^ 1.

к=1

Докажем, что ±[7 ® ^ е ® / в смысле конуса Л',-. т. е.

Уе* € V/* € ^

При этом достаточно считать, что У*/* 0. Имеем:

^{ихк,е*){УУк,П = (и ( ) ,е* \

&=1

^ (е,е*)

^=1

га

к=1

= (е, е*) вир

^¿{хк,х*){Уук,П

к=1

Кроме того,

(УукЛ = (ук,У*П = (ук

■у* у*

рттр

1ЫК1 1ЫК1

Далее получаем:

(е,е*) вир

^¿{хк,х*){Уук,П

к=1

= (е, е*) вир

||ж* 11^1

га

*}{Ук,У*}

к=1

^2{хк,х*)(ук

к=1

|ж*|| < 1,

11^7*1

'*Н 5С 1

11^7*

= ф)<е,011ПГК<е,0</,Л-

Итак, ||17 ® УЦьо ^ т£{||е|| ||/||} ^ ||£/||ь0 ||^||Ьо.

Обратно, пусть и ®У : X ®а У —> — Ьо-оператор. Покажем, что

и : X ^ Е также является Ьо-оператором. Возьмем / € ||/*|| = 1. Пусть ж € X, ||ж|| ^ 1 п у € У такой, что ||у|| = 1 и {Уу,/*) > 0. Тогда найдется элемент 2; € /\,.

га

2; = Е ек <8> /к такой, что Их ® Уу ^ 2: в смысле конуса Щ. Отсюда

к=1

их(Уу,Г) ^ < —1—^ Г).

Тогда

П1ьо ^

1

(Уу,П

11/*11<1

&=1

= ф) ^

Переходя к супремуму по всем у € Y, ||у|| = 1 и всем /* € F+, ||/*|| = 1, получим:

\\У\\\\и\\Ъо ^ \\и®V||bo-

Аналогично доказывается, что ||f7|| ||V||bo ^ \\U ® V||bo? т- е.

\\и ® VWbo > V\\u\U\v\\boVWW\\-

Теорема полностью доказана.

Литература

1. Вулих Б. 3. Введение в теорию конусов в нормированных пространствах.—Калинин: Изд-во КГУ, 1977.

2. Вулих Б. 3. Специальные вопросы геометрии конусов в нормированных пространствах.— Калинин: Изд-во КГУ, 1978.

3. Wittstock G. Ordered normed tensor products. Lecture Note in Phisics.—1974.—V. 29.—P. 67-84.

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

4. Худалов В. Т. О тензорном произведении упорядоченного и произвольного банаховых пространств // Вестник ЛГУ.—1979.—№ 19—С. 114-116.

5. Левин В. Л. Тензорные произведения и функторы в категориях банаховых пространств, определяемые КВ-линеалами. Труды Моск. мат. о-ва.—1969.—Т. 20.—С. 43-82.

6. Schatten R. A theory of cross-spaces.—Princeton, 1950.

7. Schaefer H. H. Banach lattices and positive operators. Springer-Verlag, 1974.

8. Walsh B. Ordered vector sequence spaces and related classes of linear operators. Math. Ann.— 1973.—у. 206, No. 4.—P. 89-138.

9. Худалов В. Т. Кросснормы на тензорном произведении, связанные с порядком. Веб.: Качественные и приближенные методы исследования операторных уравнений.—Ярославль, 1980.—С. 145— 156.

10. Худалов В. Т. Двойственность кросснорм, порождаемых некоторыми классами линейных операторов // Нелокальные краевые задачи для нагруженных уравнений смешанного типа и родственные проблемы непрерывного анализа.—Нальчик, 1982.—С. 225-236.

i Надоели баннеры? Вы всегда можете отключить рекламу.