Научная статья на тему 'Гомологическая тривиальность категории модулей Lp'

Гомологическая тривиальность категории модулей Lp Текст научной статьи по специальности «Математика»

CC BY
80
10
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
ОПЕРАТОР УМНОЖЕНИЯ / L_P-ПРОСТРАНСТВА / ПРОЕКТИВНОСТЬ / ИНЪЕКТИВНОСТЬ / ПЛОСКОСТЬ / MULTIPLICATION OPERATOR / L_P-SPACES / PROJECTIVITY / INJECTIVITY / FLATNESS

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

В статье дано полное описание топологически инъективных, топологически сюръективных, изометрических и коизометрических операторов умножения на функцию, действующих между Lp-пространствами σ-конечных пространств с мерой. Доказано, что все такие операторы обратимы слева или справа. Как следствие доказано, что в категории, состоящей из Lp-пространств для всех p∈[1,+∞], рассмотренных как левые банаховы модули над алгеброй ограниченных измеримых функций, все объекты являются метрически и топологически проективными, инъективными и плоскими модулями.

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

Текст научной работы на тему «Гомологическая тривиальность категории модулей Lp»

Математика

УДК 517.986.225

ГОМОЛОГИЧЕСКАЯ ТРИВИАЛЬНОСТЬ КАТЕГОРИИ МОДУЛЕЙ Lp

И. Т. Немеш1

В статье дано полное описание топологически пнъектпвных, топологически сюръек-тивных, изометрических и коизометрических операторов умножения на функцию, действующих между ¿^-пространствами ст-копечных пространств с мерой. Доказано, что все такие операторы обратимы слева или справа. Как следствие доказано, что в категории, состоящей из Lp-пространств для всех р (Е [1, +оо], рассмотренных как левые банаховы модули над алгеброй ограниченных измеримых функций, все объекты являются метрически и топологически проективными, инъективными и плоскими модулями.

Ключевые слова: оператор умножения, Lp-пространства, проективность, инъектив-ность, плоскость.

The paper presents a complete description of topologically injective, topologically surjective, isometric and coisometric multiplication operators by a function acting between Lp spaces of cr-fmite measure spaces. It is proved that all such operators are invertible from the right and left. As a corollary, it is proved that in the category consisting of Lp-spaces with all p G [1, +00] considered as left Banach modules over the algebra of bounded measurable functions, all objects are metrically and topologically projective, injective, and flat.

Key words: multiplication operator, Lp-spaces, projectivity, injectivity, flatness.

1. Введение. В работе [1] А. Я. Хелемский дал определения метрически и топологически проективных и инъективных банаховых модулей над произвольной банаховой алгеброй. В работах [2, 3] дано прозрачное описание метрически проективных и плоских модулей над алгебрами последовательностей. Очевидно, дальнейшим развитием этой программы было бы решение аналогичных задач для алгебр измеримых функций. Уже в случае модулей, являющихся лебеговскими ¿^-пространствами, мы сталкиваемся с проблемой отсутствия конкретного значения в точке у функции (точнее, у класса эквивалентности). Таким образом, уже класс лебеговских пространств представляет интерес. В данной работе мы покажем, что эти пространства, рассмотренные как банаховы модули над алгеброй ограниченных измеримых функций, гомологически тривиальны по отношению к категории, из этих пространств состоящей.

Пусть (О, Е) — измеримое пространство. Через В(С1) мы обозначаем банахову алгебру ограниченных комплекснозначных измеримых функций на О с эир-нормой. Через М(П) мы обозначаем множество положительных а-аддитивных а-конечных мер на О.. Очевидно, что для каждой меры /л € М(П) и каждого р € [1, +оо] пространство ЬР(П, ¡л) является левым, правым и двусторонним банаховым !3(Г2)-модулем с поточечным внешним умножением. Так как алгебра В(П) коммутативна, то без ограничения общности мы будем рассматривать только левые модули. Через /ЛП)-тог1Ьр мы обозначим категорию левых банаховых !3(Г2)-модулей, состоящую из пространств для

некоторых мер ц € М(0). Морфизмы в /ЛП)-тог1Ьр суть морфизмы банаховых 13(Г])-модулей. Здесь и далее если С — некоторая категория банаховых пространств или банаховых модулей с операторами в роли морфизмов, то С1 — это категория с теми же объектами и лишь сжимающими морфизмами. Ключевым для нас будет следующий результат [4, теорема 4.1].

Теорема 1. Пусть О — локально компактное топологическое пространство, р, д € [1,+оо] и /л, и € М(П). Тогда существуют банахово пространство состоящее из некоторых

борелевских комплекснозначных функций на О, и изометрический изоморфизм

Эта теорема была доказана для локально компактных пространств Q с борелевской <т-алеброй, но сходное доказательство работает и для произвольных измеримых пространств. Итак, морфизмы категории !3(Q)-modLp — это операторы умножения. Поэтому для описания метрически и топологически проективных, инъективных и плоских модулей достаточно знать строение допустимых

1 Немеш Норберт Тиборович — e-mail: nemeshnorbertQyandex.ru.

Т

■ ЬР}Я^и(П) ->■ НотB(n)-modbp(Lp(Çl,iï),Lq(Çl,v)),g ^ (/ н^ g • /).

эпиморфизмов и мономорфизмов в категориях /ЛП)-тог1Ьр| и /ЛП)-тог1Ьр. Другими словами, нам требуется описание топологически сюръективных, топологически инъективных, коизометриче-ских и изометрических операторов умножения между Ьр-пространствами.

Все стандартные факты и определения теории меры мы берем из монографии [5]. В дальнейшем мы будем рассматривать только сг-конечные положительные <т-аддитивные меры. Следовательно, мы можем считать, что все атомы имеют конечную меру и каждое атомическое пространство содержит не более чем счетное число атомов.

Все линейные пространства в настоящей работе рассматриваются над полем С. Для заданного измеримого пространства (Г2,Е) через Ьо(Г2,Е) мы обозначаем линейное пространство измеримых комплекснозначных функций на ГУ Для р = оо мы по определению полагаем 1/р = 0. Все равенства и неравенства понимаются с точностью до множеств меры 0. Напомним, что каждое пространство с мерой имеет атомическую и неатомическую часть, т.е. существуют атомическая мера 1Л\ : Е —>■ [0, +оо] и неатомическая мера Ц2 '■ Е —> [0, +оо], такие, что /х = /XI + /Х2 и /хх /¿2 (т.е. существуют такие дизъюнктные измеримые множества О,а, &па € Е, что /л\(ГУ£а) = ¿¿2= 0 и Г2 = У

С позиций функционального анализа точки в атоме неотличимы и ограничение любой функции из Ьр на атом есть постоянная функция. Действительно, если ГУ — атом, то для почти всех ш' € ГУ имеем /(и/) = /.¿(ГУ)-1 /п, ¡{ш)й1л{ш). Отсюда мы получаем изометрический изоморфизм ,1Р : Ьр(0,',/л|п/) —> £р({ 1}) : / и (1 и /.¿(ГУ)1/23-1 /п, /(ш)ё/л(ш)). Следовательно, если атомическое пространство представлено в виде дизъюнктного объединения своих атомов {Г2д : Л Л}, то имеет место изометрический изоморфизм 1Р : Ьр(£1,/л) —> £Р(А) :/и(Ан> Л>(/ЬЛ)(1))-

Классификация Ьр-пространств неатомических мер несколько сложнее, но она нам не понадобится. Нам достаточно знать, что меры измеримых подмножеств в неатомических пространствах с мерой в некотором смысле меняются непрерывно, а именно: если Е — измеримое множество положительной меры, не содержащее атомов, то для любого £ € [0, ¡л(Е)] существует измеримое подмножество ? С Е, такое, что ¡л{Е) = Также напомним теорему Лебега о разложении мер: если (Г2, Е, ¡л), (Г2, Е, г/) — два пространства с мерой, то существуют неотрицательная измеримая функция сг-конечная мера и3 : Е —>■ [0, +оо] и множество € Е, такие, что и = р^ • /л + и3 и /л _1_ и3 (т.е. = ^(Г^с'^) = 0 для О,"'** = £1\ П^). Наконец, напомним, что для любой положительной

функции р € ¿о(Г2,Е) на пространстве с мерой (Г2,Е,/х) имеет место изометрический изоморфизм 1Р : Ьр(П, /л) ^ Ьр(П, р ■ /л) : / и> р"1^ • /.

2. Классификация операторов умножения. Пусть (Г2, Е, ¡л) и (Г2, Е, и) — два пространства с мерой и одной и той же сг-алгеброй измеримых множеств. Для заданной функции д € Ьо(П, Е) и чисел р,ц € [1, +оо] мы определяем оператор умножения

Мд :Ьр(П,/л)

Конечно, требуются некоторые ограничения на д, ¡л и г/, чтобы оператор Мд был корректно определен, но мы предполагаем, что это всегда выполнено. Для заданного Е € Е через М® мы обозначаем оператор

М® : ЬР(Е, /л\Е) Ьд(Е, и\Е), / и> д\Е • /•

Он корректно определен, так как равенство /|п\е = 0 влечет Мй(/)|п\е = 0. Как простое следствие данной импликации мы получаем следующие утверждения:

(г) Кет(Мд) = {/ € Ьр(£},[л) : /\ci\z = 0}, т.е. оператор Мд инъективен, если и только если /л(гд) = 0;

(и) 1ш{Мд) С {Л, € Ьд(П,1л) : ¡ъ\гд = 0}, поэтому если оператор Мд сюръективен, то = 0.

Здесь мы использовали обозначение 2д = 5,_1({0}). Мы хотим классифицировать операторы умножения в соответствии со следующим определением.

Определение 1. Если Т : Е —>■ Е — ограниченный линейный оператор между нормированными пространствами Е и Е, то Т называется:

(г) с-топологически иппективпым, если ||ж||е ^ с||Т(ж)||^ для всех х € Е]

(И) строго с-топологически сюръективным, если для любого у € Е существует вектор х € Е, такой, что Т(х) = у и ||ж||е ^

(ш) с-топологически сюръективным, если для любого с' > с и любого у € Е существует вектор х € Е, такой, что Т(х) = у и ||ж||е < с'ЦуЦ^;

(гь) (строго) коизометрическим, если он (строго) 1-топологически сюръективен с нормой не более 1.

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

множества ЁеХи функции / € Ьо(Е, Е|#) через / мы обозначим продолжение функции /, такое, что /\е = / и /|п\е = 0. Далее, нам пригодится следующее простое равенство:

верное для любого представления О, в виде дизъюнктного объединения измеримых подмножеств {Па : А € Л}. Хотя мы и не нашли нижеследующего результата в литературе, мы не будем его доказывать, так как он является простой проверкой определений.

Предложение 1. Пусть (Г2,Е,/х); (0,1!, и) — два пространства с мерой и р,д € [1,+оо]. Допустлш,, имеется представление О, = УлеЛ в виде конечного дизъюнктного объединения измеримых подмножеств. Тогда

(г) оператор Мд типологически инъективен тогда и только тогда, когда операторы М^х топологически инъективны для всех Л € Л;

(п) оператор Мд типологически сюръективен тогда и только тогда, когда операторы, М^х топологически сюръективны для всех Л € Л;

(иг) если Мд изометричен, то таковы и М^х для всех Л € Л; (т) если Мд коизометричен, то таковы и М^х для всех Л € Л.

Предложение 2. Пусть (Г2,Е,/х); (0,1!, и) — два пространства с мерой, р, д € [1,+оо] и д € Ьо(0,,Т1). Если /л _1_ V, то Мд € В(Ьр(0,, /х), Ьд({}, г/)) есть нулевой оператор.

Доказательство. В силу того, что ¡л _1_ г/, существует множество € Е, такое, что =

г/(Ос'м) = 0, где = П \ Так как = 0, то %п= Хп в ЬР(И, ¡л) и = 0 в Ья(0,, и).

Следовательно, для любого / € Ьр(0,, ¡л) мы имеем Мд(/) = М5(/-%п) = Мд(/-Хп^) = д-/-хп^ = О-Отметим, что равенство Мд = 0 не влечет д = 0.

Напомним следующий простой факт: линейный оператор Мд : Ьр(£},[л) —>■ Ьр(£},[л) ограничен и корректно определен тогда и только тогда, когда д € ¿^(О, ¡л). Как следствие оператор Мд является изоморфизмом тогда и только тогда, когда С ^ \д\ ^ с для некоторых С, с > 0.

Легко проверить, что для атомического пространства с мерой (О, Е, /л) оператор Мд := 1дМд1~1 € В(£Р(А), £д(А)) есть оператор умножения на функцию д : А —> С : Л н> /л({}\)1/д~1/'р~1 /,пд(ш)йц(ш), где {Од : А € Л} есть не более чем счетное семейство непересекающихся атомов в О.. Поскольку 1Р и 1д являются изометрическими изоморфизмами, оператор Мд топологически инъективен тогда и только тогда, когда Мд топологически инъективен.

Предложение 3. Пусть (Г2,Е,/х) — атомическое пространство с мерой, р, д € [1,+оо] и д € £о(Г2,Е). Тогда следующие условия эквивалентны:

(г) Мд € В(ЬР(С1, /л), Ьд(С1, /л)) — топологически инъективный оператор;

(й) \д\ с для некоторого с > 0, при этом если р ф д, то пространство (Г2,Е,/х) имеет конечное число атомов. _

Доказательство, (г) => (гг). Из предположения получаем, что оператор Мд топологически

инъективен, т.е. \\Мд(х)\\£дщ ^ с||ж||^ (л) Для всех х € £Р(А) и некоторого с > 0. Пусть {Од : Л € Л} — не более чем счетное разложение О на непересекающиеся атомы. Мы рассмотрим два случая.

1) Пусть р ф д. Допустим, что множество Л счетно. Если р, д < +оо, то мы приходим к противоречию, так как по теореме Питта [6, следствие 2.1.6] не существует вложения между пространствами £Р(А) и £д(А) для счетного Л и р, д е [1, +оо), р ф д.

Если 1 ^ р < +оо и д = +оо, то рассмотрим произвольное конечное подмножество Е С Л. Тогда мы имеем неравенства

Так как множество Л счетно, то 8ирЛеЛ |д(А)| ^ С8ир^сЛ Сагё(^)1/р = +оо. С другой стороны,

поскольку Мд — ограниченный оператор, мы получаем, что 8ирЛеЛ |д(А)| ^ 8ирЛеЛ ЦМрЦЦедЦ^ (л) =

\\Мд\\ < +оо. Противоречие.

Если 1 ^ д < +оо и р = +оо, то из топологической инъективности Мд следует наличие вложения

несепарабельного пространства 1оо(А) = 1т(Мд) в сепарабельное пространство £д(А). Противоречие. Во всех случаях мы получили противоречие, значит, пространство (Г2,Е,/х) имеет лишь конечное число атомов. Мы знаем, что д однозначно определяется своими значениями к\ € С на атомах.

8пр|£(А)| ^ ||Л%0Гл^ел) II,^Л)

ле^

4>(Л)

с

Для того чтобы оператор Мд был по крайней мере инъективным, все эти значения должны быть ненулевыми. Так как множество Л конечно, то мы получаем, что \д\ ^ с := ттдел \к\\ > 0.

2) Пусть р = q, тогда для всех Л € Л и ш € мы имеем |g(w)| = = \\^g(ex)\\eq(A) ^

c||eA||¿p(A) = с- Поскольку Q = IJasA ^Aj мы получаем \д\ ^ с.

(и) =(г). Из предположения легко получить, что \д\ ^ с. Если р ф q, то мы дополнительно предполагаем, что (Г2,Е,/х) имеет конечное число атомов. Следовательно, пространство Ьр(П,[л) конечномерно и оператор Мд топологически инъективен, так как д не принимает нулевых значений на атомах. Если р = q, то тогда, очевидно, из ограничений на д получаем, что Мд топологически инъективен.

Предложение 4. Пусть (Г2,Е,/х) — пространство с мерой, не содержащее атомов, p,q € [1, +оо] и g € Lo(Q, Е). Тогда следующие условия эквивалентны.

(i) Mg € B(LP(Q,/л), Lg(Q,/л)) — топологически инпективный оператор;

{tí) \д\ с для некоторого с > 0, и р = q.

Доказательство, (г) => (ii). Согласно условию \\Mg(f)\\Lq^t^ ^ c||/||¿p(n;jtt) для всех / € Ьр(П,(л) и некоторого с > 0. Мы рассмотрим три случая.

Пусть р > q, тогда существуют С > 0 и множество Е € Е положительной меры, такие, что \q\e\ "SÍ С, иначе Мд не определен корректно. Возьмем произвольную последовательность {Еп : п € N} С Е подмножеств Е, такую, что ¡л(Еп) = 2~п. Заметим, что

с < \\Мд(хЕп)\\ья(п,р)/\\хеп\\ьр(п,р) < С\\хеп\\ья(п,р)/\\Хеп\\ьр(п,р) < Сn(En)1/q~1/p. Поэтому из неравенства р > q мы получим противоречие, так как

с < inf Cu(En)l/q~l/p = С inf 2"(Vp-i/í) = 0.

rae N ra€N

Теперь пусть р < q, тогда существуют с' > 0 и множество Е € Е положительной меры, такие, что \з\е\ > с') иначе д = 0 и оператор Мд не будет топологически инъективным. Возьмем произвольную последовательность {Еп : п € N} С Е подмножеств Е, такую, что ¡л(Еп) = 2~п. Заметим, что

Н-Ц?Н ^ \\Мд(ХЕп)\\ьч(п,ц)/\\ХЕп\\ьр(п,ц) > ¿\\Хеп\\ь„(п,»)/\\Хеп\\ьр(п,») > с'^{En)l/q~l/p. Поэтому из неравенства р < q мы получим противоречие, так как

\\Мд\\ ^ supe

ra€N ra€N

Наконец, пусть р = q. Фиксируем d < с. Допустим, что найдется множество Е € Е положительной меры, такое, что \д\Е\ < с'. Тогда

\\мд(хе)\\ьр(п,ц) = 119 ■ Хе\\ьр(п,ц) < с'\\хе\\ьр(п,ц) < 4хе\\lp(n,/i)-

Противоречие. Так как с' < с произвольно, то мы заключаем, что \д\Е\ ^ с для любого множества Е € Е положительной меры. Значит, |<?| ^ с.

(и) => (г). Импликация очевидна.

Предложение 5. Пусть (Q,E,/x) — произвольное пространство с мерой, p,q € [1,+оо] м д,р £ Lo(ü,E); причем р — неотрицательная функция. Тогда следующие условия эквивалентны.

(г) Mg € B(LP(Q, /л), Lg(Q, р ■ /л)) — топологически инпективный оператор;

(и) Мд € B(LP(Q,/л), Lq(Q, р ■ /л)) — топологический изоморфизм;

(ш) функция р положительна, \д ■ pl^q\ ^ с для некоторого с > 0, при этом если р ф q, то пространство (Q,E,/x) состоит из конечного числа атомов.

Доказательство, (г) => (ш). Так как Mg(xP-i({о})) = 0 в Lq(ü,p ■ ¡л) и оператор Мд топологически инъективен, то функция р должна быть положительной. Следовательно, корректно определен изометрический изоморфизм Iq : Lq(Q.,p) —> Lq(fl,p ■ /л), / н-> p~x!q ■ /. Тогда оператор Мд i/q = I~lMg € B(LP(Q, /л), Lq(Q, ¡л)) также топологически инъективен. Рассмотрим представление Q = fia U fina пространства Q в виде объединения атомической и неатомической части. По предложению 1 оператор Мд i/q топологически инъективен тогда и только тогда, когда топологи-

qM QM

чески инъективны операторы М a1/q и М nl¡q. Осталось воспользоваться предложениями 3, 4.

(ш) => (г). Используя предложения 3, 4, мы видим, что оператор Mg.pi/q топологически инъ-ективен. Так как функция р положительна, то существует изометрический изоморфизм Iq. Следовательно, оператор Мд = IqMg i/q также топологически инъективен.

(г) => (гг). Как мы показали ранее, оператор Mg.pi/q топологически инъективен и Iq является изометрическим изоморфизмом. Если р = q, то из предыдущих рассуждений следует, что |д ■ p1^q\ ^ с > 0. Также мы имеем неравенство С ^ \д ■ р1^д\ для некоторого С > 0, поскольку Mg.pi/q ограничен. Таким образом, Мд.рi/q является топологическим изоморфизмом. Если р ф q, то по предыдущим рассуждениям пространство (Q, Е, р) состоит из конечного числа атомов и функция д ■ pl/q не принимает нулевых значений ни на одном атоме. Следовательно, М i/q — инъективный оператор между конечномерными пространствами одинаковой размерности Card (Л), поэтому он является изоморфизмом. Значит, Мд = IqMg i/q является топологическим изоморфизмом как композиция топологических изоморфизмов. (гг) => (г). Импликация очевидна.

Теорема 2. Пусть (Q, Е, р), (Q, Е, и) — два пространства с мерой, p,q € [1, +оо] и g € Lo(Q, Е). Тогда следующие условия эквивалентны;.

(г) Mg € B(LP(Q, р), Lq(Q, и)) — топологически инъективный оператор; (гг) — топологически инъективный оператор;

(ггг) функция положительна, \д ■ р1({1 ^ с для некоторого с > 0, если р ф q, то

пространство (Q,E, р) состоит из конечного числа атомов.

Доказательство. По предложению 1 оператор Мд топологически инъективен тогда и только

тогда, когда операторы Mf^ : Ьр(Пс'^,р\п^) • р\п^) и р\п^)

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

Lq(Vtvs'^топологически инъективны. По предложению 2 оператор нулевой. Так как

p(Qs,lx) = 0, то пространство Lp(Qs,lx, lAo,^11) = {0}, поэтому оператор топологически инъек-

тивен. Следовательно, топологическая инъективность Мд эквивалентна топологической инъектив-

д с . Осталось применить предложение 5. Теорема 3. Пусть (Q, Е, р), (Q, Е, и) — два пространства с мерой, p,q € [1, +оо] и g € Lq(Q, Е). Тогда следующие условия эквивалентны:

(г) Mg € B(LP(Q, р), Lq(Q, и)) — топологически инъективный оператор;

(гг) Мх ^jg € B(Lq(Q,u), LP(Q, р)) — топологически сюръективный левый обратный оператор к Мд.

Доказательство, (г) => (и). Из условия следует, что оператор топологически инъекти-

д с обратим и, очевидно, (Мд с ) = М^^ . Оператор Mx^vtljg ограничен, поскольку для любого h € Lq(Q,v) мы имеем

Так как p(Q \ = 0, то Хп^ = Хп в Lp(Q,p), поэтому для всех / € Lp(Q,p) выполнено

Мх р/g(Mg(f)) = / • ХПс,м = / ' Хп = /• Это означает, что Мд имеет левый обратный оператор

умножения. Он топологически сюръективен, так как для любого / € Ьр(П,р) мы можем рассмотреть функцию h = Mg(f) и получить, что Мх /g(h) = / и \\h\\Lq^) ^ \\Мд\\У\\Ьр^у

(гг) =(г). Импликация очевидна.

Предложение 6. Пусть (Q,E, р) — пространство с мерой, p,q € [1,+оо] и д,р € Lo(Q,T,), причем р — неотрицательная функция. Тогда следующие условия эквивалентны: (г) Mg € B(LP(Q, р), Lq(Q, р ■ р)) — изометрический оператор; (гг) Мд — изометрический изоморфизм;

(ггг) функция р положительна, \д ■ pl^q\ = p(Q)l/p~l/q, при этом если р ф q, то пространство (Q,E, р) состоит из одного атома.

Доказательство, (г) => (иг). Согласно условию оператор Мд топологически инъективен. Тогда по теореме 2 функция р положительна, и поэтому имеет место изометрический изоморфизм Iq : Lq(i}, р) —> Lq(i}, р-р), / н> p~l/q-f. Следовательно, оператор М i/q = I~lMg е B(LP(Q., p),Lq(i}, р)) изометричен как композиция изометрий. Введем обозначение д = д-р1!4. Мы рассмотрим два случая.

Пусть р = д. Допустим, существует множество Е € Е положительной меры, такое, что \q\e\ < тогда \\мд(хе)\\ьр(п,ц) = \\д-хе\\ьр(п,^) < \\Хе\\ьр(п,^) = \\щ(Хе)\\ьр(п,^- Противоречие, следовательно, \д\ ^ 1. Аналогично можно показать, что \д\ ^ 1, значит, \д ■ р1^д\ = 1 = 1л(0.)1/р~1/д.

Пусть р ф д. По теореме 2 пространство (Г2,Е,/х) состоит из конечного числа атомов. Предположим, что есть по крайней мере два различных атома Г^ и Рассмотрим функции = ИхплИ^п^ХПл, где Л € {1,2}. Так как = 0, то \\М-д(}ц) + Мд(1г2)\\Ьд{Пу11) = \\fii + к2\\Ьр{п^ =

21/Р> Аналогично \\М-д(к1) + М-д(Ъ,2)\\ьчМ = || (1|М^Л)|1мад : Л € {1, 2}) ||^({1>2}) = 2Уч. Мы

получили противоречие, так как р ф д. Таким образом, пространство (Г2,Е,/х) состоит из одного атома. Через с мы обозначим константное значение функции д, тогда легко проверить, что \\Мди)\\ьчм = КП)1/(1-1/р\с\\\Л\ьр(п^-Следовательно, |5-р1/<г1 = \д\ = цЩУр-Уя. (ш) => (г). Проверяется непосредственно.

(г) => (гг). В силу предположения оператор Мд топологически инъективен, и по предложению 5 он является изоморфизмом, который согласно условию изометричен. (гг) => (г). Импликация очевидна.

Теорема 4. Пусть (О, Е, /л), (О, Е, и) — два пространства с мерой, р, д € [1, +оо] и д € Ьо(С1, Е). Тогда следующие условия эквивалентны;.

(г) Мд € В(ЬР(С1, /л), Ьд(С1, г/)) — изометрический оператор; (гг) — изометрический оператор;

(ггг) функция положительна, \д ■ = 1л(Пс'11)1^р~1^'1, при этом если р ф д, то

пространство (Г2,Е,/х) состоит из одного атома.

Доказательство, (г) => (гг). Следует из предложения 1.

(гг) => (г). Рассмотрим произвольную функцию / € Ьр(£},[л). Так как ¡л(0, \ Пс'^) = 0, то Хп^ = Хп в Ьр(П,/л). Как следствие / = /хп = /%п^ = /Хп^Хп^ и

\\Мд(Л\\ьч(П,и) = 11^й(/ХПс'м)ХПс'м\\ьч(С1,и) = II МдС (/1п^)Н = " ^ )'

Так как ¡л(П \ Пс^) = 0, то ||МЯ(/)||Ь?(П>1/) = ||/1пИ1ы^Лм1п^) = У\\ьР(п,/ф значит, оператор Мд изометричен.

(гг) (Иг). Следует из предложения 6.

Теорема 5. Пусть (О, Е, /л), (О, Е, и) — два пространства с мерой, р, д € [1, +оо] и д € Ьо(С1, Е). Тогда следующие условия эквивалентны:

(г) Мд € В(ЬР(С1, /л), Ьд(С1, г/)) — изометрический оператор;

(гг) Мх /д € В(Ьд({}, и), ЬР(С1, /л)) — строго коизометрический левый обратный оператор к Мд.

Доказательство, (г) => (гг). По предложению 1 оператор изометричен, и тогда по

предложению 6 он обратим, причем, очевидно, что (Мд с ) = М^^ . Так как оператор Мд с изометричен, то таков же и его обратный. Оператор Мх^„ф/д сжимающий, поскольку для всех

к € Ьд(П,и) выполнено \\МХп^/д(1г)\\Ьр{п^ = \\М^^^ = ,и\сгс») ^

||Л,||ьд(п,и)- Так как /л(С1 \ = 0, то Хп^м = Хп в Ьр({},/л), поэтому для любой функции / €

Ьр(0.,р) мы имеем Мх^^/д(Мд(Л) = / • Хп^ = / ' Хп = /• Это значит, что Мд имеет левый

обратный оператор умножения. Рассмотрим произвольную функцию / € Ьр(£},[л), тогда для к = мд(Л выполнено Мх^ф/д(К) = / и

^ II/\\ьр(п,1м)■ Следовательно, оператор ^ строго

1-топологически сюръективный, но он также сжимающий и, значит, строго коизометрический.

(гг) =(г). Для произвольной функции / € Ьр(£},[л) найдется функция к € Ьд(П,и), такая, что /д(К) = / и ||Ъ\\ьд(п,и) ^ II/||ьр(п)(и)• Следовательно, выполнено неравенство

^ \\Щ\ЬЧ{0.,1') ^ II /\\Ьр(0,,ц) ■

С другой стороны, Мх сжимающий оператор и левый обратный к Мд, поэтому ||/||ьр(п„и) = \\Мх^^/д(Мд(Л)\\ьр(п,ц) ^ \\Мд(Л\\ьС[(п,1>)- Так как функция / произвольна, то из обоих неравенств мы заключаем, что оператор Мд изометричен.

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

Предложение 7. Пусть (Г2,Е,г/) — пространство с мерой, р, д € [1,+оо] и д,р € Ьо(С1,Т,), причем р — неотрицательная функция. Тогда следующие условия эквивалентны;. (г) Мд € В(Ьр(С1,р ■ и), Ьд(С1, г/)) — топологически сюръектллвный оператор; (и) Мд — топологический изоморфизм;

(ш) функция р положительна, \д ■ р~1/р | ^ с А/гя некоторого с > 0, при этом если р ф д, то пространство (Г2,Е,/х) состоит из конечного числа атомов.

Доказательство, (г) => (иг). Рассмотрим множество Е = р_1({0}), тогда, очевидно, хе = 0 в Ьд(С1,р ■ р). Теперь для любой функции / € Ьр(С1,р ■ и) имеем м9(/)хе = ■ хе) = 0 в

Ьд(й,и), следовательно, 1т(Мд) С {Л, € Ья(0,,и) : К\е = 0}. Так как оператор Мд сюръективен, то ь*(Е) = 0. Значит, р — положительная функция и корректно определен изометрический изоморфизм 1р : —> Ьр(0., р - и), / > р~1/р ■ /. Поскольку Мд топологически сюръективен, то таков же

и М -1/р = Мд1р € В(ЬР(С1, и), Ьд(С1, г/)). В частности, оператор М _1/р сюръективен и, как было отмечено в начале статьи, инъективен. Таким образом, Мд.р- 1/р биективен, и по теореме Банаха об обратном операторе Мд — изоморфизм. Осталось применить предложение 5.

(иг) => (г). Из предложения 5 следует, что оператор Мд.р-1/р топологически сюръективен и корректно определен изометрический изоморфизм 1р. Таким образом, Мд = Мд -1/р1~1 также топологически сюръективен.

(г) => (и). Как мы показали ранее, оператор Мд.р1/Ч топологически сюръективен и 1д является изометрическим изоморфизмом. По предложению 5 оператор Мд.р1/Ч — топологический изоморфизм. Таким образом, Мд = 1яМд 1/ч тоже является топологическим изоморфизмом как композиция топологических изоморфизмов.

(и) => (г). Импликация очевидна.

Теорема 6. Пусть (О, Е, р), (О, Е, и) — два пространства с мерой, р, д € [1, +оо] и д € Ьо(С1, Е). Тогда следующие условия эквивалентны:

(г) Мд € В(Ьр(0,, р), Ьд(С1, г/)) — топологически сюръектлтный оператор; (и) Мд с — топологический изоморфизм;

(ггг) функция неотрицательна, \д ■ рц1!Р с для некоторого с> 0, при этом если

р ф д, то пространство (Г2,Е, р) состоит из конечного числа атомов.

Доказательство. По предложению 1 оператор Мд топологически сюръективен тогда и только тогда, когда операторы мр'^ : ьр(п^'и, р^ ■ Ип^) и мр'^ :

, Ип^'") топологически сюръективны. По предложению 2 оператор Мнулевой. Так как

= 0, то пространство , = {0}, следовательно, Мр*' топологически сюръекти-

вен. Таким образом, топологическая сюръективность оператора Мд эквивалентна топологической сюръективности Мдс . Теперь остается применить предложение 7.

Теорема 7. Пусть (О, Е, р), (О, Е, и) — два пространства с мерой, р, д € [1, +оо] и д € Ьо(С1, Е). Тогда следующие условия эквивалентны:

(г) Мд € В(Ьр(0,, р), Ьд(С1, г/)) — топологически сюръектлтный оператор;

(и) Мх и/д € В(Ьд(0,, и), ЬР(С1, р)) — топологически инъектлтный правый обратный оператор к Мд.

Доказательство, (г) => (и). Из условия следует, что оператор М^' топологически сюръек-тивен. По предложению 7 оператор Мд с обратим, причем, очевидно, (Мд с ) = М^^ . Оператор ограничен, поскольку для любого Л, € выполнено

\\МХп^/дт\ьр(п,„) = \\Щ/д <

Так как = 0, то Хп= Хп, поэтому Мд(Мх и /д(к)) = Л-'Хп^1' = Л-'Хп = Это означает,

что Мд имеет правый обратный оператор умножения. Он топологически инъективен, поскольку для любой функции Л, € Ьд(П,и) выполнено неравенство

Ьр(П,ц) ^ ЦМдЦЦМд^М^^ /д(11))\\Ь<](П^ ^ \\Мд\\\Щ\Ь^у

(и) (г). Импликация очевидна. 5 ВМУ, математика, механика, №4

Предложение 8. Пусть (Г2,Е,г/) — пространство с мерой, р, д € [1,+оо] и д,р € Ьо(С1,Т,), причем р — неотрицательная функция. Тогда следующие условия эквивалентны: (г) Мд € В(ЬР(С1, р ■ и), Ьд(С1, г/)) — коизометрический оператор; (и) Мд — изометрический изоморфизм;

(Иг) функция р неотрицательна, \д ■ р~1/р \ = р1(0)1/р~1/С}, при этом если р ф д, то пространство (Г2,Е,/х) состоит из одного атома.

Доказательство, (г) => (иг). По условию оператор Мд топологически сюръективеп, и по предложению 7 функция р положительна. Таким образом, имеет место изометрический изоморфизм 1р : Ьр(П,и) —>■ Ьр(П, р - г/), / н->■ р~1^р ■ /. Так как оператор Мд коизометричен, то таков же и оператор М _1/р = Мд1р € В(ЬР(£1, и), Ьд(И, и)). В частности, оператор М _1/р сюръективеп, следовательно, как отмечалось выше, инъективен. Заметим, что инъективные коизометрические операторы изометричны. Осталось применить предложение 6. (иг) => (г). Проверяется непосредственно.

(г) => (и). Ввиду предположения оператор Мд топологически сюръективеп. По предложению 7 он изоморфизм, следовательно, биективен. Осталось напомнить, что всякая биективная коизометрия есть изометрический изоморфизм.

(и) => (г). Импликация очевидна.

Теорема 8. Пусть (О, Е, р), (О., Е, и) — два пространства с мерой, р, д € [1, +оо] и д € Ьо(С1, Е). Тогда следующие условия эквивалентны:

(г) Мд € В(ЬР(С1, р), Ьд(С1, г/)) — коизометрический оператор;

(и) Мд с — изометрический изоморфизм;

(ггг) функция р^Ао!^ положительна, \д ■ = , при этом если р ф д, то

пространство (Г2,Е,/х) состоит из одного атома.

Доказательство, (г) => (гг). Следует из предложений 1 и 8.

(и) => (г). Рассмотрим произвольную функцию к € Ьд(П,и), тогда существует функция / € Ьр(Пс'и, такая, что М^' (/) = . По предложению 2 оператор нулевой, поэтому

мд(7) = мГ(П^) + (/|пг) =

Так как = 0, то Л, = . Таким образом, мы нашли функцию / € Ьр(П,р), такую, что

Мд(/) = к и ||/||мад = Н/Ньр(пГ,м1п^) = ^ \Мьч(п,»)- Поскольку функция

к произвольна, то оператор Мд является 1-топологически сюръективным. Для любой функции / € ЬР(П, р) выполнено

\\Мд(Л\\Ьч{п,„) = "(/|пг) +Мйп^(/|пг)||мп)гу) = =

= IIМд С (Лп^'ОНь^П^.И^) = ^ и\\ьр(П,»)-

Так как / — произвольная функция, то Мд — сжимающий оператор, но он также 1-топологически сюръективеп. Таким образом, Мд коизометричен. (и) (Иг). Следует из предложения 8.

Теорема 9. Пусть (О, Е, р), (О., Е, и) — два пространства с мерой, р, д € [1, +оо] и д € Ьо(С1, Е). Тогда следующие условия эквивалентны:

(г) Мд € В(ЬР(С1, р), Ьд(С1, г/)) — коизометрический оператор;

(и) € В(Ьд(С1, и), ЬР(С1, р)) — изометрический пра,вы,й обратный оператор к Мд.

Доказательство, (г) => (гг). Из предложения 1 следует, что оператор М^' коизометричен.

По

предложению 8 оператор Мд с изометричен, обратим и, очевидно, (Мд с ) — М^^ . Оператор сжимающий, так как для любой функции к € Ьд(П,и) выполнено неравенство

Поскольку г/(0 \ 0,с'и) = 0, то Хп'¿^ = Хп5 поэтому для любой функции к € Ьд(П,и) выполнено Мд(Мх „/д(К)) = к ■ Хо.^ = Ь>' Хп = к. Это означает, что Мд имеет правый обратный оператор

умножения. Рассмотрим произвольную функцию h € Lq(i},v), тогда

\\Mx^v/g(h)\\Lp{n^ > \\Mg\W\Mg(Mx^v/g(h))\\Lq{n^ > \\h\\Lq(ntV).

Так как h — произвольная функция, то оператор Мх v/g является 1-топологически инъективным, но он также сжимающий, следовательно, изометрический.

(гг) => (г). Рассмотрим произвольную функцию h € Lq(Q,v) и функцию / = Мх v/g(h).

Тогда Mg(f) = Мд(Мх v/g(h)) = h и ||/||ьр(п„и) ^ Так как h — произвольная функция,

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

то Мд строго 1-топологически сюръективен. Пусть / € Lp(Q,fx). Ввиду изометричности оператора Мх^,Чя имеем

\\Мд(Л\\ьд{П,и) = = Н/ХП^\\ьр{П,11) ^ У\\ьр(П,1х)-

Раз / — произвольная функция, то Мд — сжимающий оператор, но он также строго 1-топологически сюръективен, следовательно, строго коизометричен.

Из доказательства видно, что каждый коизометрический оператор умножения строго коизометричен.

3. Гомологическая тривиальность категории />Ш)-модулей Ьр. Результаты пп. 1, 2 могут быть сформулированы следующим образом:

г) все строго коизометрические и изометрические морфизмы в _B(Q)-modLp1 суть в точности ретракции и коретракции соответственно;

гг) все топологически сюръективные и топологически инъективные морфизмы в !3(Q)-modLp суть в точности ретракции и коретракции соответственно.

Теперь напомним определения проективности, инъективности и плоскости из работ [1-3]. Через Set мы обозначаем категорию множеств, а через Ban категорию банаховых пространств.

Определение 2. Пусть С — некоторая категория левых Л-модулей над банаховой алгеброй А. Тогда Л-модуль X в С называется

г) метрически (топологически) проективным, если ковариантный функтор

Fp := Homc(X, -) : С ->■ Bani (Fp := Homc(X, -) : С ->■ Ban)

переводит всякий строго коизометрический (топологически сюръективный) морфизм £ в строго коизометрический (топологически сюръективный);

гг) метрически (топологически) инъективным, если контравариантный функтор

Fi := Homc(-, X) : С ->■ Bani (Ft := Homc(-, X) : С ->■ Ban)

переводит всякий изометрический (топологически инъективный) морфизм £ в строго коизометрический (топологически сюръективный);

ггг) метрически (топологически) плоским, если ковариантный функтор

Ff := -®В(П)Х : С -»• Bani (Ff := -®B(n)X : С -»• Ban)

переводит всякий изометрический (топологически инъективный) морфизм £ в изометрию (топологически инъективный оператор).

Теорема 10. Пусть (П,£) — измеримое пространство и ц, € М(0), тогда Lp(Q,/j,) — метрически (топологически) проективный, инъективный и плоский модуль в i?(Q)-modLp1 (B(Q)-modLp).

Доказательство. Мы проведем доказательство лишь для первого случая, поскольку для второго случая доказательства аналогичны. Обозначим X = Lp(i},fx) и С = i?(Q)-modLp1.

Так как любой строго коизометрический морфизм (вС есть ретракция, то морфизм Fp(£) — ретракция в Bani, а значит, строго коизометричен. Поскольку морфизм £ произволен, то модуль X метрически проективен.

Так как любой изометрический морфизм £ в С есть коретракция, то морфизм Fi(£) — ретракция в Bani, а значит, строго коизометричен. Поскольку морфизм £ произволен, то модуль X метрически инъективен.

Так как любой изометрический морфизм £ в С есть коретракция, то морфизм Ff(£) — коретракция в Bani, в частности изометрия. Поскольку морфизм £ произволен, то модуль X метрически плоский.

СПИСОК ЛИТЕРАТУРЫ

1. Хелемский А. Я. Метрическая свобода и проективность для классических и квантовых нормированных модулей // Матем. сб. 2013. 204, № 7. 127-158.

2. Helemskii A. Ya. Extreme version of projectivity for normed modules over sequence algebras // Can. J. Math. 2013. 65. 559-574.

3. Helemskii A. Ya. Metric version of flatness and Hahn-Banach type theorems for normed modules over sequence algebras // Stud. Math. 2011. 206, N 2. 135-160.

4. Хелемский А.Я. Тензорные произведения и мультипликаторы модулей Lp на локально компактных пространствах с мерой // Матем. зам. 2014. 96, № 3. 450-469.

5. Богачев В.И. Основы теории меры. 2-е изд. М.; Ижевск: РХД, 2006.

6. Albiac F., Kalton N.J. Topics in Banach space theory. N.Y.: Springer Inc., 2006.

Поступила в редакцию 13.02.2015

УДК 519.716.32

МАКСИМАЛЬНОЕ ЧИСЛО БУЛЕВЫХ ФУНКЦИЙ, РЕАЛИЗУЕМЫХ ИНИЦИАЛЬНЫМ БУЛЕВЫМ АВТОМАТОМ С ДВУМЯ КОНСТАНТНЫМИ СОСТОЯНИЯМИ

Л. Н. Сысоева 1

Рассматривается задача о реализации булевых функций инициальными булевыми автоматами с двумя константными состояниями и п входами, т.е. автоматами с двумя состояниями, такими, что в любом из состояний функция выхода совпадает с одной из булевых констант 0 или 1, зависящих от п переменных, п ^ 1. Найдена максимальная возможная мощность множества булевых функций, реализуемых булевым автоматом с двумя константными состояниями и п входами, где п > 1.

Ключевые слова: булева функция, инициальный автомат, реализация булевых функций.

The problem of realization of Boolean functions by initial Boolean automata with two constant states and n inputs is considered. Initial Boolean automaton with two constant states and n inputs is an initial automaton with output such that in all states output functions are n-ary constant Boolean functions 0 or 1. The maximum cardinality of set of n-ary Boolean functions where n > 1 realized by an initial Boolean automaton with two constant states and n inputs is obtained.

Key words: Boolean function, initial automaton, realization of Boolean functions.

Введем обозначения: B2 — множество {0,1}; Р2(п) — множество всех булевых функций, зависящих только от переменных х\, х2,..., хп, п ^ 1. Под булевым автоматом будем понимать автомат V = (А, В, Q, F, G) с произвольным числом входов, входным алфавитом А = {0,1}, выходным алфавитом В = {0,1}, алфавитом состояний Q, функцией перехода G и функцией выхода F. Определения автомата и инициального автомата можно найти в [1,2]. Пусть п — число входов автомата V. Без ограничения общности будем полагать, что входы автомата V занумерованы от 1 до п и на г-й вход автомата V подается значение булевой переменной Xi. Тем самым можно считать, что в каждый момент времени на входы автомата V подается некоторый двоичный набор значений переменных х\,х2,... ,хп и для любого состояния q € Q функция выхода F(q, х\,х2,..., хп) является булевой функцией от переменных х\,х2,..., хп. Булев автомат V будем называть булевым автоматом с константными состояниями, если для любого q € Q функция F(q,x\,х2,... ,хп) является константной булевой функцией 0 или 1.

Пусть Vqi = ({0,1}, {0,1}, Q, F, G,q\) — инициальный булев автомат с начальным состоянием q\

и п входами. Пусть С = (/?i, /32,..., /32п) — упорядоченная последовательность всех двоичных наборов длины п, п ^ 1. Будем говорить, что автомат Vqi с последовательностью С реализует булеву

1 Сысоева Любовь Николаевна — асп. каф. дискретной математики мех.-мат. ф-та МГУ, e-mail: s-lubaQmail.ru.

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