CC BY
16
Владикавказский математический журнал 2018, Том 20, Выпуск 1, С. 69-85
УДК 517.98
ИНТЕГРИРОВАНИЕ ПО ПОЛОЖИТЕЛЬНОЙ МЕРЕ СО ЗНАЧЕНИЯМИ В КВАЗИБАНАХОВОЙ РЕШЕТКЕ1
А. Г. Кусраев, Б. Б. Тасоев
Светлой памяти Ганиева И. Г.
Цель настоящей статьи — дать обзор некоторых новых идей и недавних результатов в теории интегрирования скалярных функций относительно векторной меры, а также общих теорем о функциональном представлении квазибанаховых решеток. Приводится набросок чисто порядкового интеграла типа Канторовича — Райта скалярных функций относительно векторной меры, заданной на 5-кольце и принимающей значения в порядково ст-полной векторной решетке. Также представлено интегрирование типа Бартла — Данфорда — Шварца по мере, определенной на 5-кольце со значениями в квазибанаховой решетке. В контексте банаховых решеток решающую роль играют пространства интегрируемых и слабо интегрируемых функций относительно векторной меры. При решении задачи о функциональном представлении квазибанаховых решеток, подход, основанный на двойственности, не работает, но существуют два естественных кандидата для пространства слабо интегрируемых функций: максимальное квазибанахово расширение и область определения наименьшего расширения интегрального оператора. Используя эту идею, можно построить новые пространства слабо интегрируемых функций, которые играют существенную роль в задаче о функциональном представлении квазибанаховых решеток. В частности, показано, что при изучении квазибанаховых решеток, когда метод двойственности не применим, интеграл Канторовича — Райта оказывается более гибким инструментом, чем интеграл Бартла — Данфорда — Шварца.
Б01: 10.23671/У]МС. 2018.1.11399.
Ключевые слова: квазибанахова решетка, положительная векторная мера, интеграл Канторовича — Райта, интеграл Бартла — Данфорда — Шварца, оператор интегрирования, пространство интегрируемых функций, пространство слабо интегрируемых функций.
1. Введение
В последние двадцать пять лет интегрирование по мере со значениями в банаховой решетке вызывает возрастающий интерес. Пространства интегрируемых и слабо интегрируемых скалярных функций относительно векторной меры обладают интересными порядковыми и метрическими свойствами и интенсивно изучались многими авторами. Найдены новые приложения в таких важных задачах, как функциональное представление абстрактных банаховых решеток, оптимальная область определения линейного оператора, мажорация и факторизация операторов, спектральное интегрирование и т. п., см. обзорную статью Курберы и Риккера [17], монографию Окады, Риккера и Санчеса
© 2018 Кусраев А. Г., Тасоев Б. Б.
1 Работа первого автора выполнена при финансовой поддержке Российского фонда фундаментальных исследований, проект № 17-51-12064 ННИО_а.
Переса [43], недавние работы Калабуга, Дельгадо, Хуана, Санчеса Переса [12, 20-23, 27], а также указанные в них источники.
Так как многие функциональные пространства являются квазибанаховыми, естественно желание распространить векторное интегрирование на случай меры со значениями в квазибанаховой решетке. Принципиальная трудность состоит в невозможности применить соображения, основанные на двойственности, как это делается в подходах Гельфанда, Петтиса и Льюиса [37, 38]. Санчес Перес и Традасете [45] предложили вариант интеграла типа Бартла — Данфорда — Шварца, не используя двойственный подход. Существенный недостаток этого подхода в том, что в нем отсутствует аналог слабой интегрируемости, он сильно зависит от порядковой непрерывности квазинормы и предполагает, что постоянные функции интегрируемы.
В цикле работ авторов [33-35] намечены три новых подхода: во-первых, развитие «чисто порядкового» интегрирования типа Канторовича — Райта как естественного и полезного двойника «топологического» интегрирования Бартла — Данфорда — Шварца; во-вторых, построение пространства слабо интегрируемых функций с помощью порядковой конструкции, используя, например, область определения наименьшего расширения оператора интегрирования (см. Алипрантис и Бёркиншо [10, теорема 1-30]) или же максимальное квазибанахово расширение (в смысле Абрамовича [1]) пространства интегрируемых функций; в третьих, привлечение к исследованию соответствующих пространств интегрируемых и слабо интегрируемых функций идей и методов теории квазибанаховых пространств (см., Кэлтон [29, 31]).
Цель настоящей статьи — дать краткий обзор упомянутых подходов, а также некоторых недавних результатов об интегрировании по векторной мере и общих теорем о представлении порядково ст-полных векторных решеток и квазибанаховых решеток.1 Статья организована следующим образом. В § 2 приводится необходимый минимум сведений о квазибанаховых решетках. § 3 содержит набросок теории интегрирования Канторовича — Райта скалярных функций относительно положительной меры со значениями в порядково ст-полной векторной решетке, определенной па ¿-кольце множеств. Параллельная теория векторного интегрирования Бартла — Данфорда — Шварца представлена в § 4. В § 5 вводятся слабо интегрируемые функции относительно положительной векторной меры на основе конструкции наименьшего расширения оператора интегрирования. В § 6 приводятся результаты о представлении порядково ст-полных векторных решеток и квазибанаховых решеток в виде векторной решетки классов эквивалентности интегрируемых или слабо интегрируемых функций по векторной мере.
Используются стандартные обозначения и терминология из теории векторных и банаховых решеток, принятые в книгах Алипрантиса и Бёркиншо [10] и Мейе-Ниберга [42]. Все векторные решетки предполагаются действительными. Знак := обозначает «равняется по определению», а N и Ж — множества натуральных и действительных чисел соответственно.
2. Квазибанаховы решетки
В этом параграфе представлены краткие сведения о квазибанаховых решетках, в частности, конструкция максимального квазинормированного расширения.
1 Статья представляет собой развернутое изложение пленарного доклада, сделанного на IV международной конференции «Современные методы и проблемы теории операторов и гармонического анализа и их приложения», посвященной памяти профессора Н. К. Карапетянца (апрель 2017 г., Ростов-на-Дону).
0прЕдЕЛЕНИЕ ^ Квазинормированньш пространством принято называть пару (X, || ■ ||), где X — вещественное или комплексное векторное пространство и || ■ || — квазинорма, т. е. функция из X в Ж, для которой выполняются условия:
(1) ||х|| ^ 0 для всех х £ X и ||х|| = 0 тогда и только тогда, когда х = 0;
(2) ||Ах|| = |А|||х|| для всех х £ X и А £ Ж;
(3) существует 1 ^ С £ Ж такое, что ||х + у|| ^ С(||х|| + ||у||) для всех х, у £ X.
Если, сверх того, для некоторого 0 < р ^ 1 выполняется неравенство
(4) ||х + у||р ^ ||х||р + ||у||р для всех х, у £ X,
то || ■ || называют р-нормой, а (X, || ■ ||) — р-пормироваппым пространством.
Наименьшая константа С в (3) называется квазитреугольной константой, или ква-зитреуголъным множителем, или модулем вогнутости квазинормы.
Определение 2. Говорят, что две квазинормы || ■ ||1 и || ■ 112 эквивалентны, если существует константа А ^ 1 такая, что А-1 ||х| 1 ^ ||х||2 ^ А|х|1 для всех х £ X.
Из фундаментальной теоремы Аоки — Ролевича следует, что всякая квазинорма || ■ || эквивалентна р-норме || ■ || для некоторого 0 < р ^ 1 (см. Малигранда [39, теорема 1.2], Пич [8, 6.2.5]). Квазинорма || ■ || индуцирует метрическую топологию на X; метрику можно определить формулой ^(х, у) = ||х — у||р. Именно эта топология имеется в виду,
когда говорят о метрической сходимости или сходимости по квазинорме.
(р
) (р )
ство.
Основные результаты теории банаховых пространств такие, как теоремы об открытом отображении и замкнутом графике, справедливы в контексте квазибанаховых пространств, см. Кэлтон [31]. Имеется также вариант критерия полноты Рисса — Фишера, см. Малигранда [39, теорема 1.1].
Определение 4. Квазибанахово (квазинормированное, р-банахово) пространство (X, || ■ ||) называется квазибанаховой решеткой (соответственно, квазинормированной решеткой, р-банаховой решеткой), если X одновременно является векторной решеткой и квазинорма монотонна в том смысле, что для любых х, у £ X неравенство |х| ^ |у| влечет ||х|| ^ ||у||.
Предложение 1. В любой квазинормированной решетке решеточные операции непрерывны по квазинорме и конус положительных элементов замкнут. Более того, если возрастающая (убывающая) сеть (ха )аеА сходится по квазинорме к элементу х £ X, то х = йираеА ха (соответственно, х = ш^а ха).
Из предложения 1 следует, что пополнение квазинормированной решетки X является квазибанаховой решеткой, содержащей X в качестве векторной подрешетки. Кроме того, имеет место порядковый аналог критерия полноты Рисса — Фишера.
Теорема 1. Пусть X := (X, || ■ ||) — квазинормировалная решетка, с квазитреугольной константой С ^ 1. Равносильны следующие утверждения:
(1) X — квазибанахова решетка;
(2) для любой последовательности (х&)£=1 в X+ такой, что Ск||х&|| < то, существует хк £ X;
(3) для любой последовательности (хк)^=1 в X+ для которой ^1к=1 СкЦхк|| < то, существует элемент х £ X такой, что х = о- ^^=1 хк := 8иргаеК ^П=1 хк-
Напомним, что последовательность (хга)^=1 в векторной решетке X называют равномерно сходящейся к элементу х £ X, если существ уют 0 < и £ X и последовательность
действительных чисел такие, что ега 4 0 й |хп — х| ^ егап для всех п £ N. Как
и в банаховой решетке (см. [7, теорема УП.2.1]), метрическая сходимость в квазибанаховой решетке полностью определяется порядком.
Теорема 2. Последовательность (ж„)^=1 в квазибанаховой решетке X сходится по квазинорме к элементу х £ X тогда и только тогда,, когда, для всякой её подпоследовательности (хПк )£=1 существует подпоследовательность (хга^ )£=1) сходящаяся равномерно х
Из теоремы 2 следует, что каждый положительный оператор из квазибанаховой решетки в квазинормированную решетку непрерывен, а любые две квазинормы, превращающие векторную решетку в квазибанахову решетку, эквивалентны.
В некоторых вопросах требуется более тесная связь между квазинормой и порядком, чем монотонность, см. ниже определения 5, 6 и 7.
Определение 5. Квазибанахову решетку (X, || ■ ||) (так и квазинорму || ■ ||) называют порядково непрерывной, если соотношение ха 4 0 влечет ||ха || 4 0 для любой сети (ха)аеЛ в X. Если в этом определении сети заменяются последовательностями, то говорят о пост
Теорема 3. Для квазибанаховой решетки X эквивалентны утверждения:
(1) X порядково непрерывна;
(2) каждая возрастающая порядково ограниченная поеледовательность в X+ сходится;
(3) X порядково ст-полна, и порядково ст-непрерывна.
0прЕдЕЛЕНИЕ гОВОрЯТ) чт0 квазибанахова решетка (X, ||-||) обладает, слабым свойством Фату, если существует константа К > 0, называемая слабой константой Фату, такая, что для всякой возрастающей сети (ха), имеющей супремум х £ X, выполняется соотношение ||х|| ^ К 8ира ||ха||. Если в этом определении заменить сети последовательностями, то говорят о слабом ст-свойстве Фату. Если, же К = 1, ТО 11 х 11 — вИРа 11 ха 11 и в этом случае говорят, что X обладает свойством Фату или ст-свойством Фату.
0прЕдЕЛЕНИЕ ^ Квазинормированная решетка (X, || ■ ||) обладает, свойством Леей (ст-свойством Леей), если существует 8ираха (соответственно яир^хп) для каждой возрастающей сети (ха) (соответственно, последовательности (хп)) в X+ при условии, что йира ||ха|| < то (соответственно, яир^ ||хп|| < то).
Каждая квазинормированная решетка со свойством Леви является порядково полной квазибанаховой решеткой со слабым свойством Фату.
В следующем определении порядково полную квазинормированную решетку X отождествляем с порядково плотным идеалом в ее универсальном пополнении Xи.
0прЕдЕЛЕНИЕ максимальным квазинормированным расширением порядково полной квазинормированной решетки (X, || ■ ||) называют пару (Xк, || ■ ||к), где
||х|к:— вир {||х|| : х £ X, 0 ^ х ^ |х|} (х £ Xи);
Xх:— {х £ Xй : ||х||* < то}.
Легко видеть, что || ■ ||к : Xк ^ Ж — квазинорма с той же квазитреугольной константой С, что и у || ■ ||. Более того, || ■ ||к будет ^-нормой, если такова || ■ ||.
Предложение 2. Если X — порядково полная квазинормированная решетка, то имеют место утверждения: (а) Xк обладает свойством Леви в том и только в том случае, когда. X обладает слабым свойством Фату; (б) если X обладает слабым свойством Фату, то Xк обладает свойствами Леви и Фату.
0прЕдЕЛЕНИЕ д Квазинормированную решетку X называют иптервальпо полной, если каждый порядковый интервал в X полон, т. е. каждая порядково ограниченная последовательность Коши в X сходится к элементу X.
Теорема 4. Максимальное квазинормировалное расширение (Xк, || ■ ||к) порядково полной квазинормированной решетки (X, || ■ ||х) со слабым а-свойством Фату есть ква-зибалахова. решетка, тогда и только тогда., когда. X интервально полна..
Замечание 1. Выдающийся вклад в геометрическую теорию квазибанаховых пространств внес Кэлтон, см. обзоры [28, 29, 31]. В частности, систематическое изучение квазибанаховых решеток начинается с работы Кэлтона [29], см. также Куартеро и Триа-на [13], Шульга [51]. Максимальное нормированное расширение нормированной решетки, а также соответствующий вариант теоремы 4 принадлежат Абрамовичу [1, определение на с. 8 и теорема 3]. В этом случае теорема 4 верна без предположения о слабом ст-свойстве Фату. Нам неизвестно можно ли опустить это условие в общем случае. Максимальное квазинормированное расширение Xк можно определить и в той ситуации, когда X не обязательно порядково полна. Полное изложение материала данного параграфа см. в [35].
Интегрирование относительно меры со значениями в векторной решетке имеет свои корни в спектральной теории, в представлении линейных операторов с помощью интеграла по спектральной мере. Теория порядкового интеграла действительных функций относительно счетно аддитивных векторных мер со значениями в порядково полной векторной решетке была развита Канторовичем [3, 4]. Решающий вклад в эту теорию внес Райт [49, 50]. Существующая литература не очень обширна; некоторые аспекты теории отражены в книге [5, гл. 6]. В этом параграфе мы коротко приведем конструкцию и некоторые свойства интеграла Канторовича — Райта для положительных векторных мер. Подробности можно найти в [33].
Пусть X — порядково ст-полная векторная решетка, П — непустое множество и Р (П) — семейство всех подмножеств П. Кольцом (подмножеств П) называется подсемейство М с Р (П) такое, что А \ В £ Ми А и В £ М для всех А, В £ М, а 5-кольцо — это кольцо, замкнутое относительно счетных пересечений. Пусть М1ос обозначает семейство подмножеств А с П такое, что А п В £ М для всех В £ М:
Если М — ¿-кольцо, то семейство М1ос является ст-алгеброй и М с М1ос. Определение 10. Функция ц : М ^ X+ называется мерой, если ^(0) = 0 и для каждой последовательности (Ап)^= попарно непересекающихся множеств Ап £ М такой, что иГ=1 Ап £ М, ряд £^=1 ^(Ага) порядково сходится к элементу ^(и^=1 Ап); символически,
Тройку (П, М, называют пространством с векторной мерой, если П — непустое множество, М — ¿-кольцо подмнож еств Пи ^ : М ^ X+ мера.
Определение 11. Говорят, что множество А £ М1ос пренебрежимо (пли, более точно, ^-пренефеэ/с имо), есл и ^(В п А) = 0 для вс ех В £ М.
3. Интеграл Канторовича — Райта
М1ос := {А £ Р(П) : А п В £ М для всех В £ М}.
(3.1)
Скажем, что свойство Р (■) выполняется для почт и всех ш £ П или почти всюду (коротко ц-п.в.) на П, если множество {ш £ П : Р(ш) не выполняется} ц-пренебрежимо. Мы можем предполагать, не ограничивая общность, что ¿-кольцо Я содержит все пре-пебрежимые множества и ц(А) — 0 для любого пренебрежимого множества А £ Я1ос. Подмножество А с П копренебрежимо, если П \ А пренебрежимо.
Определение 12. Функция / : П ^ Ж называется Я-простой, если она допускает представление / — ^П=1 акХлк, где множества А1,..., Ап £ Я попарно не пересекаются и а1,..., ап £ Ж (ползаем по определению Х0 — 0).
Множество ¿"(Я) всех Я-простых функций является векторной решеткой. Для Я-простой функции / — Хлг=1 акХлк определим интеграл f /^ц по формуле
/п
/¿ц :—^ ак ц(Ак) к=1
Определение 13. Будем говорить, что Я1ос -измеримая действительная функция /, определенная на копренебрежимом подмножестве П, интегрируема, ее ли существует последовательность (/п)£=1 Я-простых функций такая, что 0 ^ /п | / ц-п.в. и / существует в X+. В этом случае положим по определению
/°(/):— /№ :— о-[/ф :— V / /
п=1
Произвольная функция / интегрируема, если таковы / + и /Ин-
теграл функции / определяется формулой /°(/) — /°(/+) — /°(/Легко показать, что интеграл корректно определен, см. [33, лемма 2.10].
Обозначим через (ц) :— £0(П, Я10с, ц) множество всех действительных Я1ос-из-
П
две функции /, д £ £0(ц) эквивалентны и будем писать / ~ д, если /(ш) — д(ш) для ц-почти всех ш £ П. Пусть Ь0(ц):— Ь0(П, Я10с,ц) обозначает множество классов эквивалентности в £ 0(ц) по отношен ию Для функ ции / £ £ 0(ц) символ ом / обозначается соответствующий класс эквивалентности в Ь0(ц). Линейная структура и упорядочение в Ь0(ц) определяются обычным образом, используя поточечные операции и отношение порядка, см. Фремлин [25, §241].
Пусть :— (П, Я10с,ц) — часть (ц), состоящая из ^-интегрируемых функ-
ций. Символом (ц):— Я10с,ц) обозначим множество всех классов эквивалентно-
сти функций из ^Кц)- Определим оператор : ^(ц) ^ X то формуле /°(/):— (/) для всех / £ (ц).
0прЕдЕЛЕНИЕ ^ Говорят, что мера ц : Я ^ X+ локализуема, если для любого семейства А С Я1ос существует В £ Я1ос такой, что А \ В ^-пренебрежимо для всех А £ А и (И) если С £ Я1ос и А \ С ^-пренебрежимо для всех А £ А, то В \ С также ^-пренебрежимо.
Предложение 3. Справедливы следующие утверждения:
(1) Ь0 (ц) порядково ст-полная векторная решетка;
(2) порядково плотный идеал в Ь0(ц);
(3) Ь0(ц) порядково полна тогда, и только тогда., когда мера ц локализуема.
Теоремы о сходимости из теории интеграла Лебега также верны для интеграла Канторовича — Райта. Доказательство следующей теоремы может быть проведено рассуждениями, приведенными в [49, предложение 3.3] и [5, теорма 6.1.4].
Теорема 5. Пусть X ^ порядково о-полная векторная решетка и ц : R ^ X+ — мера. Тогда L^ (ц) порядково о-полная векторная решетка, а строго положительный порядково о-непрерывный линейный оператор из L^^) в X.
Замечание 2. Райт изучал в [49] интегрирование относительно о-аддитивной меры ц со значениями в X U {то}, определенной на о-алгебре. Если положить R := {A G £ : ц(А) G X}, то R будет ¿-кольцом, а ограничение ц на R — мерой в смысле определения 10. Интегрируемая по Райту функция будет интегрируемой в смысле определения 13, но обратное, вообще говоря, неверно.
Замечание 3. Райт в [49, теорема 4.1] установил следующий вариант теоремы Рисса о представлении: для линейного положительного оператора T из пространства, непрерывных функций C(K) на. компакте K в порядково полную векторную решетку X существует единственная порядково ограниченная счетно аддитивная квазирегулярная мера. ц : Bor(K) ^ X+ такая, что T(f) = o-jK fdц для всех f G C(K). Квазирегулярность ц означает, что условие регулярности ) = inf{ц(и) : U открыто, F С U} выполняется лишь для замкнутых F С K.
Замечание 4. Свойства пространства L^^) изучены недостаточно. В [5, теорема 6.1.10] показано, что L^^) будет порядково полной векторной решеткой, а : L1^) ^ X — оператором Магарам, тогда и только тогда, когда мера ц : R ^ X является наполненной (определение см. в [5, 6.1.9] и [50, определение 3.1]). Отсюда следует, что для наполненной меры имеет место теорема Радона — Никодима [5, теорема 6.1.11 (2)], установленная Райтом в [50, теорема 4.1]; в частности, векторная решетка L^^) реше-точно изоморфна полосе ц±±, см. [5, 6.1.11 (3)].
Замечание 5. Еще одно важное приложение обнаружил Хейдон [26, теорема 6Н]:
X
L1 (ц) для наполненной положительной локализуемой меры ц со значениями в порядково полном AM-пространстве с единицей, если определить норму ||f У := ||/о (|f |)||< (f G L1^)). Булевозначный подход см. в [6, теорема 4.4]
4. Интеграл Бартла — Данфорда — Шварца
Бартл, Данфорд и Шварц [11] ввели интегрирование относительно а-аддитивной векторной меры, определенной на а-алгебре множеств со значениями в произвольном банаховом пространстве (см. монографию Данфорда и Шварца [2, гл. IV, § 10]). Позднее, Люис [37] предложил альтернативный подход, основанный на теории двойственности. В работах Люиса [38], Масани и Ниеми [40, 41] теория была распространена на векторные меры, определенные па ¿-кольцах множеств. В книге Клюванека и Ноулза [32] изучалось пространство для меры ^ со значениями в локально выпуклом про-
странстве. Теория интегрирования скалярных измеримых функций относительно меры со значениями в произвольном пространстве была развита в работах Ролевича [44, §111.6], Турпина [47] и [48, гл. 7], Томаса [46].
В этом параграфе рассмотрим интегрирование типа Бартла — Данфорда — Шварца
относительно положительной меры со значениями в квазибанаховой решетке, определен-¿
теорию интегрирования, которую предложили Санчес Перес и Традасете в [45]. Как и в §3, П — непустое множество, М — ¿-кольцо подмножеств П, М1ос — а-алгебра, определенная формулой (3.1), и X := (X, || ■ ||) — квазибанахова решетка.
Определение 15. Отображение ц : Я ^ X+ называется мерой (или т-мерой), если ц(0) — 0 и для любой иоследовательности (Ап)^= попарно непересекающихся множеств Ап £ Я такой, что и«=1 Ап £ Я, ряд Хт=1 ц(Ап) топологически сходится и выполняется
ц( и Ап) — ЕЦ(Ап). (4.1)
п=1 п=1
Будем говорить, что (П, Я, ц) — т-измеримое прост,ранет,во, если П — непустое множество, Я — ¿-кольцо подмножеств П, и ц : Я ^ X+ — т-мера. Будем опускать т, если
( 10)
Замечание 6. Таким образом, если X — порядково ст-полная квазибанахова решетка, то ст-аддитивность меры со значениями в X имеет двоякий смысл: ряд в (4.1) либо порядково сходится в соответствии с определением 10, либо сходится топологически в соответствии с определением 15, причем сходимость безусловная ввиду положи-
ц 1 ст
рядковую ст-аддитивность. Разумеется, если квазинорма в X порядково непрерывна, то
ст
в соответствии с определением 15.
Определение 16. Для данной меры ц : Я ^ X+ ц-иренебрежимые множества, векторная решетка простых функций Б(Я) и интегральный оператор : Б(Я) ^ X
11 12
Определение 17. Скажем, что Я1ос-измеримая действительная функция /, опре-
П
довательность (/п)£=1 Я-простых функций такая, что 0 ^ /п ^ / ц-п.в. и существует Ишп / /п ^ц в (X, У ■ У). В этом случае обозначим
(/):— т-| /ф :—13ш//п
^ц.
Определенная ц-п. в. функция / интегрируема, если таковы / + и /
При этом полагаем по определению /Т(/):— /Т(/+) — /Т(/-).
Можно показать, что /Т (/) корректно определен, т. е. не зависит от выбора возрастающей последовательности простых функций, сходящихся к / ц-п.в.
В контексте определения 17 множество £0(ц), отношение эквивалентности ~ и порядково ст-полная векторная решетка Ь0(ц) имеют тот же смысл, что и в параграфе 3. Пусть £т1(ц) обозначает подмножество £0 (ц), состоящее из топологически интегрируемых функций, а Ь^ (ц) — множество классов эквивалентности функций из £т1(ц). Легко видеть, что оператор топологического интегрирования /Т : / ^ / / ¿ц, действующий из Ь^(ц) в X, линеен и строго положителен. Последнее означает, что оператор /Т положителен и равенство /Т(|/ |) — 0 влечет / — 0 ц-п.в.
Замечание 7. Пусть X — порядково ст-полная квазибанахова решетка. Зафиксируем т-меру ц : Я ^ X+. Если функция / интегрируема в смысле определения 17, то согласно предложению 1 / также интегрируема в смысле определения 13 и /Т (/) — (/). В то же время, для данной функции / £ £т1(ц) ее классы эквивалента ости в ^^(ц) и ^(ц) совпадают. Следовательно, Ь^(ц) можно считать векторной подрешеткой Ь^ц).
(т
тегрируемых) функций называется векторная решетка Ь(ц), наделенная квазинормой
|/1 Ф
(/ £ Ь1 (ц)).
Из линейности и строгой положительности /Т следует, что || ■ ||т есть квазинорма с квазитреугольной константой, не превосходящей такой же константы для || ■ ||.
Теорема 6. Квазинормированное пространство (Ь(у), || ■ ||т) является супер поряд-ково полной порядково непрерывной квазибанаховой решеткой и порядково плотным идеалом в Ь0 (у). Интегральный оператор /Т из Ь (у) в X порядково непрерывен и строго положителен.
Определение 19. Пространством порядково интегрируемых (или, короче, в-инт,ег-рируемых) функций называется векторная решетка Ь^(у) с квазинормой
1/°(и |)||х :=
|/1 Ф
(/ £ Ь,(у)).
X
Из линейности и строгой положительности следует, что || ■ ||0 есть квазинорма с квазитреугольной константой, не превосходящей такой же константы для || ■ ||. В следующей теореме собраны некоторые важные свойства пространств ¿¿(у) и Ь(у).
Теорема 7. Пусть X — порядково а-полная квазибанахова решетка, с квазитреугольной константой С. Тогда справедливы следующие утверждения:
(1) Ь(у) порядково плотный идеал в Ь0(П, М]ос,у);
(2) (Ь(у), || ■ ||0) порядково а-полная квазпбанахова решетка, с квазитреугольной коп-
С
(3) если X р-яормируема. для пекоторого 0 < р ^ 1, то и Ь (у) р-пормируема;
(4) (Ь^(у), || ■ ||т) порядково супер порядково полная непрерывная квазибанахова под-решетка и порядково плотный идеал в (Ь^(у), || ■ ||0);
(5) если X порядково непрерывна, то Ь°(у) = Ь(у) я = /Т.
^оУРУ) II IIо) "о (у) = ЬГ " — -¿г
Замечание 8. Бартл, Данфорд и Шварц [11] установили вариант теоремы Рисса о представлении для линейных ограниченных операторов из С (К) в банахово пространство X: для любого слабо компактного линейного оператор Т : С (К) ^ X существует единственная счетно аддитивная мера, у : Вог(К) ^ X такая, что Т/ = /Т (/) для всех / £ С (К). Более общие результаты получены Томасом и Кэльтоном, см. [30, введение и теорема 4.3].
Замечание 9. Важное и интересное направление приложений векторного интегрирования связано с существованием оптимальной области оператора. Для оператора из некоторого класса, действующего между функциональными пространствами, максимальное пространство (оптимальная область), на которую может быть распространен оператор при сохранении класса и образа, часто представляется в виде Ь 1 (у), где у — векторная мера, связанная с этим оператором, см. Окада, Риккер и Санчес Перес [43]. Здесь наряду с Ь 1 (у) полезно использовать Ь I(у).
о
5. Слабо интегрируемые функции
В контексте банаховых решеток ключевую роль играют пространства Ь 1 (у) и Ь^ (у)
соответственно интегрируемых и слабо интегрируемых функций относительно векторной у
до, Хуан и Санчес Перес [12]. Пространства Ь 1 (у) и Ь^ (у) служат порядково плотными идеалами в Ь0(у); более того, они банаховы, причем Ь 1 (у) — замкнутое подпространство Ь^(у) (см- Масани и Ниеми [41, теоремы 4.5, 4.7, 4.10]).
Работая с векторными решетками или квазибанаховыми решетками, определение LW (у), основанное на двойственности, более не применимо, но естественной кандидатурой на роль пространства слабо интегрируемых функций служит область определения наименьшего расширения оператора интегрирования.
Пусть E F — векторные решетки, F порядково полна и G — порядковый идеал в E. Рассмотрим положительный оператор S : G ^ F и обозначим через G совокупность всех x G E такт, что множество {S(g) : g G G, 0 ^ g ^ |x|} порядково ограничено в F. Тогда G порядково плотный идеал в E и можем положить по определению
Sx := sup {Sg : g G G, 0 ^ g ^ x} := sup {S(g Л x) : g G G} (x G G+).
Оператор S : G + ^ F аддитивный и положительно однородный, следовательно, он может быть продолжен разностями на все G. Полученный оператор, который обозначим снова через S, продолжает S и не превосходит любого другого положительного продолжения S на G.
0прЕдЕЛЕНИЕ Оператор S называется наименьшим расширением2 S относи-E
Введем теперь две новые квазинормированные решетки слабо интегрируемых функций. Для данной векторной меры у : R ^ X+, где X — порядково полная квазибанахова решетка, применим определение 20 для E := L°(у), F := X G := Lj^) и S := 7°. Обозначим теперь := S и L^(у) := L°w(П,Rl0с,у) := G и заметим, что L^^) С L^ (у) С L°(^). Аналогично, обозначим через S наименьшее расширение оператора топологического интегрирования и пусть (у):= (П,<^ос,у) — область определения
0прЕдЕЛЕНИЕ Векторную решетку L^(у) назовем пространством слабо о-интегрируемых функций относительно у. Снабдим L^^) квазинормой
»:= IIS (If I)IIx (/ G LOw Ы) . (5-1)
Определение 22. Пространство слабо т-интегрируемых функций определим как векторную решетку Е^(у), наделенную квазинормой
II/II™ := IIS (If I)Ix (f G L^M) . (5-2)
В следующей теореме приведены некоторые важные свойства L^w (у) и L^^).
Теорема 8. Пусть X := (X, || ■ ||x) — порядково полная квазибанахова решетка, с квазитреугольной константой C. Тогда справедливы следующие утверждения:
(1) L^w(у) я L°w(у) порядково плотные идеалы в L°(^);
(2) L^w (у) и L^^) квазибанаховы решетки с квазитреугольной константой, не пре-
C
(3) если X р-яормируема для некоторого 0 < p ^ 1, то таковы Е^(у) и L,|,w(у);
(4) L^ (у) порядково плотный идеал в L^w (у) я ST ^ SO>
(5) интегральный оператор 7° : L^^) ^ X порядково непрерывен тогда и только тогда, когда L^ (у) = L^ (у) я = ST'
2 Очевидно, S < T для любого положительного продолжения T : (5 ^ F оператора S на все E, см. [10,
с. 27]. В то же время, G наибольший порядковый идеал в E, на который S допускает положительное
продолжение, см. [5, 3.6.1 (4)].
Замечание 10. Другая возможность введения слабо интегрируемых функций связана с понятием максимального квазинормированного расширения. Пусть X — по-рядково полная квазинормпрованная решетка и (П, Я10с,у) — пространство с векторной
мерой у : Я ^ X+, локализуемой в смысле [25]. В зависимости от контекста будем у
Из теоремы 8(1, 4) и предложения 3 (3) следует, что Ь0(у) служит универсальным пополнением каждой из квазибанаховых решеток Ь°(у) и Ь^(у). В соответствии с определением 8 можно построить максимальное квазинормированные расширения (Ь^к(у), || ■ ||ок) и (Ь^к(у), || ■ ||тк) квазинормированных решеток Ь^у) и Ь(у) соответственно. В силу теорем 4 и 6 (у) — квазибанахова решетка, в то время как (у) — квазинормпрованная решетка, которая метрически полна при том дополнительном предположении, что Ь^у) обладает слабым а-свойством Фату. Более того, (у) обладает свойствами Фату и Леви ввиду предложения 2, так как Ь^(у) порядково непрерывна. Некоторые свойства квазинормированных решеток Ь°к(у) и Ьгя(у) рассмотрены в [35]. Детальное исследование этих функциональных решеток представляется весьма перспективным.
6. Представление квазибанаховых решеток
Важно знать при каких условиях произвольная квазибанахова решетка порядково изометрично квазибанаховому функциональному пространству. Различные аспекты данной проблемы изучались многими авторами. Последние достижения связаны с интегрированием по векторной мере.
В этом параграфе покажем, что порядковый интеграл позволяет установить общий результат о представлении произвольных порядково полных квазибанаховых решеток. Ниже X := (X, || ■ ||) — порядково а-полная квазибанахова решетка и (П, Я, у) — пространство с векторной мерой у : Я ^ X+.
Определение 23. Говорят, что дизъюнктное множество Г с X+ полно, если X = Г^. Для данного полного дизъюнктного семейства ненулевых положительных элементов из X, определим Xг по формуле
Xг := |х £ X : (3 V : N ^ Г) |х| = \/ |ж|| ,
где п7 — порядковый проектор в X на полосу X7 := {7
Ясно, что Xг — порядково плотный идеал в X ввиду включения Г с Xг. Сформулируем теперь два результата о представлении.
Теорема 9. Пусть X — порядково а-полная векторная решетка, и Г — полное дизъюнктное подмножество X. Тогда существует пространство с векторной мерой (П, Я, у) такое, что интегральный оператор является решеточным изоморфизмом из Ь^у) на. Xг. Если X порядково полна., то мера, у локализуема, и наименьшее расширение оператора относительно Ь0 (у) есть решеточный изоморфизм из Ь^ (у) яа X.
Теорема 10. Пусть X — порядково полная квазибанахова решетка.. Тогда, существует пространство (П, Я, у) с локализуемой мерой у : Я ^ X+ такое, что наименьшее расширение интегрального оператора устанавливает нзометрпчный решеточный изоморфизм из (П, Я]ос,у) на X. Более того, для каждого полного дизъюнктного множества Г с X+ меру у можно выбрать так, что отображает Ь^П, Я]ос,у) на Xг.
Согласно замечаниям 6 и 7, теории порядкового и топологического интегралов относительно векторной меры совпадают, когда мера принимает свои значения в порядково
непрерывной квазибанаховой решетке. Ниже рассмотрим частный случай меры со значениями в порядково непрерывной части квазибанаховой решетки.
0прЕдЕЛЕНИЕ Порядково непрерывной частью Xan квазибанаховой решетки X называется наибольший порядково непрерывный идеал в X или, более точно, совокупность всех х £ X такт, что для данной сети (ха) в X из соотношения |х| ^ ха 4 0 следует ||хаУ 4 0 Порядково ст-непрерывная часть Xa квазибанаховой решетки X определяется аналогично, как наибольший порядково ст-непрерывный идеал в X, т. е. используя последовательности вместо сетей.
В следующем предложении собраны свойства порядково непрерывной части.
Предложение 4. Для квазибанаховой решетки X верны утверждения:
(1) Xa замкнутая подрешетка. X и, в частности, Xa — квазибанахова решетка;
(2) Xan С Xa, а если X порядково ст-полна, то Xa — Xan;
(3) если X порядково ст-полна, то для т-измеримого пространства. (П, Я,ц) с X+-знaянoй мерой справедливы равенства.
[Ь1(П, ЯЬс,ц)]а — [Ь1(П, ЯЬс,ц)]ап — Ь (П, ЯЬс,ц).
Теорема 11. Пусть X — порядково полная квазибанахова решетка, порядково непрерывная часть которой Xa порядково плотна, в X. Тогда существует т -измеримое пространство (П, Я, ц) с локализуемой мерой ц : Я ^ Xa такое, что интегральный оператор /Т является изометрическим решеточным изоморфизмом из Ь^ (ц) на Xa, а его наименьшее расширение /Т — изометрическим решеточным изоморфизмом из Ь^^ц) на X. Более того, Ь^ (ц) — Ь^(ц) и Ь^ (ц) — Ь^ (ц), а также /Т — и —
Замечание 11. История теоремы 11 начинается с результата, полученного в работе Курбера [15, теорема 8]: всякая порядково непрерывная банахова, решетка, со слабой порядковой единицей изометрично и решеточно изоморфна Ь1 (ц) для некоторой вектор-цст
сформулировал утверждение о том, что упомянутый результат верен и для банаховой решетки без слабой порядковой единицы, но для этого необходимо распространить теорию интегрирования па векторные меры, определенных на ¿-кольцах. В [14] доказательство лишь намечено; детальное обоснование приведено в работе Дельгадо и Хуана [21, теорема 5]. Обобщение в другом направлении получили Курбера и Риккер [16, теорема 2.5]: ст
щей ее порядково ст-непрерывной части, представима в виде банаховой решетки Ь^(ц)
цст
установлено в работе Дельгадо и Хуана [21, теорема 10], этот результат также остается
в силе, если опустить предположение о наличии слабой порядковой единицы, причем
¿
Дельгадо [19] и Калабуг, Дельгадо, Хуан и Санчес Перес [12]. Следующий принципиальных шаг сделали Санечес Перес и Традасете [45, теорема 4.3], распространив результат Курбера [15, теорема 8] на квазибанаховы решетки со слабой порядковой единицей. Теорема 11 завершает эту цепочку обобщений, см. [34, теорема 6.7].
11
вых решеток. Можно показать, что Ь^ (ц) совпадает с пространством Ь1 (ц) всех интегрируемых функций, в то время как Ь^ (ц) содержится в пространстве Ь^ (ц) всех слабо интегрируемых функций. Если банахова решетка обладает свойствами Фату и Леви3,
3 Свойство Фату (ст-свойство Фату) в работах Калабуга, Дельгадо, Хуана, и Санчеса Переса (см. [12]
то = LW (у) и из теоремы 11 получаем результат Калабуга, Дельгадо, Хуан и
Санчеса Переса [12, §6], а также Дельгадо и Хуана [21, теоремы 5 и 9].
Литература
1. Абрамович К). А. О максимальном нормированном расширении полуупорядоченных нормированных пространств // Изв. вузов. Математика.—1970.—Т. 3.—С. 7-17.
2. Данфорд Н., Шварц Дж. Линейные операторы. Общая теория.—М.: Изд-во иностр. лит-ры, 1962.— xiv+858 с.
3. Канторович Л. В. Линейные операторы в полуупорядоченных пространствах // Мат. сб.—1940.— Т. 7, № 49.—С. 209-284.
4. Канторович Л. В., Булях В. 3., Пинскер А. Г. Функциональный анализ в полуупорядоченных пространствах—М.-Л.: Гостехиздат, 1950.
5. Кусраев А. Г. Мажорируемые операторы.—М.: Наука, 2003.—619 с.
6. Кусраев А. Г. Булевозначный принцип переноса для инъективных банаховых решеток // Сиб. мат. журн.—2015.—Т. 56, № 5.-С. 1111-1129. DOI: 10.17377/smsh.2015.56.511.
7. Булях В. 3. Введение в теорию полуупорядоченных пространств.—М.: Физматгиз, 1961.—408 с.
8. Пич А. Операторные идеалы.—М.: Мир, 1982.—536 с.
9. Abramovich Y. A., Aliprantis С. D. Positive operators // Handbook of the Geometry of Banach Spaces.— Amsterdam: Elsevier Sci., 2001 —Vol. l.-P. 85-122.
10. Aliprantis C. D., Burkinshaw O. Positive Operators.—London etc.: Acad. Press Inc., 1985.—xvi+367 p.
11. Bartle R. G., Dunford N., and Schwartz J. Weak compactness and vector measures // Cañad. J. Math.— 1955.—Vol. 7.-P. 289-305.
12. Calabuig J. M., Delgado O., Juan M. A., and Sánchez Pérez E. A. On the Banach lattice structure of LW of a vector measure on a 5-ring // Collect. Math.—2014.—Vol. 65.—P. 67-85.
13. Cuartero В., Triana M. A. (p, q)-Convexity in quasi-Banach lattices and applications // Stud. Math.— 1986.—Vol. 84, № 2.-P. 113-124.
14. Curbera G. P. El espacio de funciones integrables respecto de una medida vectorial: Ph. D. Thesis.— Sevilla: Univ. of Sevilla, 1992.
15. Curbera G. P. Operators into L1 of a vector measure and applications to Banach lattices // Math. Ann.-1992.-Vol. 293.—P. 317-330.
16. Curbera G. P., Ricker W. J. Banach lattices with the Fatou property and optimal domains of kernel operators I I Indag. Math. (N. S.).—2006.—Vol. 17.-P. 187-204.
17. Curbera G. P., Ricker W. J. Vector measures, integration, applications // Positivity (Trends Math.).— Basel: Birkhauser, 2007.-P. 127-160.
18. Curbera G. P., Ricker W. J. The Fatou property in p-convex Banach lattices // J. Math. Anal. Appl.— 2007.—Vol. 328.—P. 287-294. DOI: 10.1016/j.jmaa.2006.04.086.
19. Delgado O. L^spaces of vector measures defined on 5-rings // Arch. Math.—2005.—Vol. 84.—P. 432-443. DOI: 10.1007/s00013-005-1128-l.
20. Delgado О. Optimal extensions for positive order continuous operators on Banach function spaces // Glasgow Math. J.-2014.-Vol. 56.-P. 481-501. DOI: 10.1017/S0017089513000384.
21. Delgado O., Juan M. A. Representation of Banach lattices as L^ spaces of a vector measure defined on a 5-ring // Bull. Belg. Math. Soc.-2012.-Vol. 19, № 2.-P. 239-256.
22. Delgado O., Sánchez Pérez E. A. Strong extensions for q-summing operators acting in p-convex Banach function spaces for 1 < p < q // Positivity.-2016.-Vol. 20.-P. 999-1014. DOI: 10.1007/sllll7-016-0397-1.
23. Delgado O., Sánchez Pérez E. A. Optimal extensions for pth power factorable operators // Mediterranean J. of Math.-2016.-Vol. 13.-P. 4281-4303. DOI: 10.1007/s00009-016-0745-l.
24. Fremlin D. H. Topological Riesz Spaces and Measure Theory.—Cambridge: Cambridge Univ. Press, 1974.—xiv+266 p.
25. Fremlin D. H. Measure Theory. Vol. 2. Broad Foundation.—Cambridge: Cambridge Univ. Press, 2001.— 672 p.
26. Haydon R. Injective Banach lattices I I Math. Z—1974—Vol. 156.-P. 19-47.
27. Juan A. M., Sánchez Pérez E. A. Maurey-Rosenthal domination for abstract Banach lattices // J. Ineq. and Appl.-2013.-Vol. 213, № 213.-P. 1-12.
и др.) понимается как конъюнкция свойств Фату и Леви (ст-свойств Фату и Леви) из определений 6 и 7. Здесь мы следуем Фремлину [24, определения 23A и 231], см. также Абрамович и Алипрантис [9, определение 7].
28. Godefroy G. A glimpse at Nigel Kalton's work // Banach Spaces and their applications in Analysis.— Berlin: W. de Gruyter, 2007.-P. 1-35.
29. Kalton N. J. Convexity conditions for non-locally convex lattices // Glasgow Math. J.—1984.—Vol. 25.— P. 141-152.
30. Kalton N. J. Isomorphisms between spaces of vector-valued continuous functions // Proc. Edinburgh Math. Soc.-1983.-Vol. 26.-P. 29-48.
31. Kalton N. J. Quasi-Banach Spaces / Eds. W. B. Johnson and J. Lindenstrauss.—Amsterdam: Elsevier, 2003.—P. 1099-1130.—(Handbook of the Geometry of Banach Spaces. Vol. 2.).
32. Kluvanek I., Knowles G. Vector Measures and Control Systems.—North-Holland: Amsterdam, 1976.— 191 p.
33. Kusraev A. G., Tasoev В. B. Kantorovich-Wright integration and representation of vector lattices // J. Math. Anal. Appl.-2017.-Vol. 455.-P. 554-568. DOI: 10.1016/j.jmaa.2017.05.059.
34. Kusraev A. G., Tasoev В. B. Kantorovich-Wright integration and representation of quasi-Banach lattices // J. Math. Anal. Appl.-2018.-Vol. 462, № 1—(В печати). DOI: 10.1016/j.jmaa.2018.02.027.
35. Kusraev A. G., Tasoev В. B. Maximal quasi-normed extension of quasi-normed lattices // Владикавк. мат. журн.—2017.—T. 19, № З.-С. 41-50. DOI: 10.23671/VNC.2017.3.7111.
36. Lindenstrauss J., Tzafriri L. Classical Banach Spaces. Vol. 2. Function Spaces.—Berlin etc.: SpringerVerlag, 1979.-243 p.
37. Lewis D. R. Integration with respect to vector measures // Pacific J. Math.—1970.—Vol. 33.—P. 157-165.
38. Lewis D. R. On integration and summability in vector spaces // Illinois J. Math.—1972.—Vol. 16.— P. 294-307.
39. Maligranda L. Type, cotype and convexity properties of quasi-Banach spaces // Proc. of the International Symposium on Banach and Function Spaces (Oct. 2-4, 2003, Kitakyushu-Japan).— Yokohama: Yokohama Publ., 2004.-P. 83-120.
40. Masani P. R., Niemi H. The integration theory of Banach space valued measures and the Tonelli-Fubini theorems. I. Scalar-valued measures on 5-rings // Adv. Math.—1989.—Vol. 73.—P. 204-241.
41. Masani P. R., Niemi H. The integration theory of Banach space valued measures and the Tonelli-Fubini theorems. II. Pettis integration // Adv. Math.-1989.-Vol. 75.-P. 121-167.
42. Meyer-Nieberg P. Banach Lattices.—Berlin etc.: Springer, 1991.—xvi+395 p.
43. Okada S., Ricker W. J., and Sánchez Pérez E. A. Optimal domain and integral extension of operators acting in function spaces (Oper. Theory Adv. Appl.) Vol. 180.—Basel: Birkhâuser, 2008.
44. Rolewicz S. Metric Linear Spaces.—Warszaw: PWN-Polish Sci. Publ., 1972.—287 p.—(Math. Monogr. Vol. 56.).
45. Sánchez Pérez E. A. and Tradacete P. Bartle-Dunford-Schwartz integration for positive vector measures and representation of quasi-Banach lattices // J. Nonlin. and Conv. Anal.—2016.—Vol. 17, № 2.—P. 387402.
46. Thomas E. G. F. Vector Integration // Quast. Math.-2012.-Vol. 35.-P. 391-416. DOI: 10.2989/ 16073606.2012.742230.
47. Turpin Ph. Intégration par rapport à une mesure à valeurs dans un espace vectoriel topologique non supposé localement convexe // Intégration vectorielle et multivoque (Colloq., Univ. Caen, Caen, 1975), Exp. № 8, Dép. Math., U. E. R. Sci.—Caen: Univ. Caen, 1975.
48. Turpin Ph. Convexités dans les Espaces Vectoriels Topologiques Généraux: Diss. Math.—Vol. 131.— 1976.
49. Wright J. D. M. Stone-algebra-valued measures and integrals // Proc. London Math. Soc.—1969.— Vol. 19, № 3.-P. 107-122.
50. Wright J. D. M. A Radon-Nikodym theorem for Stone algebra valued measures // Trans. Amer. Math. Soc.-1969.-Vol. 139.—P. 75-94.
51. Szulga J. (p, r)-convex functions on vector lattices // Proc. Edinburg Math. Soc.—1994.—Vol. 37, № 2.— P. 207-226.
Статья поступила 11 декабря 2017 г.
Кусраев Анатолий Георгиевич Владикавказский научный центр РАН, директор РОССИЯ, 362027, Владикавказ, ул. Маркуса, 22; Северо-Осетинский государственный университет, заведующий кафедрой математического анализа РОССИЯ, 362025, Владикавказ, ул. Ватутина, 44-46 E-mail: [email protected]
Тасоев Батрадз Ботазович
Южный математический институт — филиал ВНЦ РАН, научный сотрудник отдела функционального анализа РОССИЯ, 362027, Владикавказ, ул. Маркуса, 22 E-mail: [email protected]
INTEGRATION FOR POSITIVE MEASURES WITH VALUES IN QUASI-BANACH LATTICES
Kusraev A. G., Tasoev B. B.
The paper aims to overview some new ideas and recent results in the theory of integration of scalar functions with respect to a vector measure, as well as general theorems on the functional representation of quasi-Banach lattices. We outline a purely order-based Kantorovich-Wright type integral of scalar functions with respect to a vector measure defined on a 5-ring and taking values in a Dedekind a-complete vector lattice. The parallel Bartle-Dunford-Schwartz type integration with respect to a measure defined on a 5-ring with values in a quasi-Banach lattice is also presented. In the context of Banach lattices a crucial role is played by the spaces of integrable and weakly integrable functions with respect to a vector measure. Dealing with the functional representation of quasi-Banach lattices a duality based approach does not work but there are two natural candidates for a space of weakly integrable functions: maximal quasi-Banach extension and the domain of the smallest extension of the integration operator. Using this idea, one can construct new spaces of weakly integrable functions that play an essential role in the problem of the functional representation of quasi-Banach lattices. In particular, it is shown that, in studying quasi-Banach lattices, when the duality method is inapplicable, the Kantorovich-Wright integral turns out to be more flexible than t more flexible than the Bartle-Dunford-Schwartz integral.
Key words: quasi-Banach lattice, positive vector measure, Kantorovich-Wright integration, Bartle-Dunford-Schwartz integration, integration operator, space of integrable functions, space of weakly integrable functions.
References
1. Abramovich Ju. A. On maximal quasi-normed extension of partially ordered normed spaces. Vestnik leningradskogo universiteta [Vestnik of Leningrad State University], 1970, no. 1, pp. 7-17 (in Russian).
2. Dunford N., Schwartz J. T. Linear Operators. Part 1. General Theory, New Jersey, John Wiley and Sons Inc., 1988, 858 p.
3. Kantorovich L. V. Linear operators in semi-ordered spaces, Sbomik: Mathematics, 1940, vol. 7, no. 2, pp. 209-284.
4. Kantorovich L. V., Vutikh B. Z., Pinsker A. G. Functional Analysis in Semi-Ordered Spaces, Moskow, Gostehizdat, 1950, 550 p. (in Russian).
5. Kusraev A. G. Dominated Operators. N. Y., Springer-Science+Business Media, 2000, 451 p. DOI: 10.1007/978-94-015-9349-6.
6. Kusraev A. G. The boolean transfer principle for injective Banach lattices, Siberian Mathematical Journal, 2015, vol. 56, no. 5, pp. 888-900. DOI: 10.1134/S0037446615050110.
7. Vulikh B. Z. Introduction to the Theory of Partially Ordered Spaces. Noordhoff, 1967, 388 p.
8. Pietsch A. Operator Ideals, Amsterdam, North-Holland Publ. Comp., 1980, 451 p.
9. Abramovich Y. A., Aliprantis C. D. Positive Operators. Handbook of the Geometry of Banach Spaces. Amsterdam, Elsevier Science, 2001, vol. 1, pp. 85-122.
10. Aliprantis C. D., Burkinshaw O. Positive Operators. London etc., Acad. Press Inc., 1985, xvi+367 p.
11. Bartle R. G., Dunford N., Schwartz J. Weak compactness and vector measures, Ganad. J. Math., 1955, vol. 7, pp. 289-305.
12. Calabuig J. M., Delgado O., Juan M. A., and Sánchez Pérez E. A. On the Banach lattice structure of LW of a vector measure on a 5-ring, Collect. Math., 2014, vol. 65, pp. 67-85. DOI: 10.1007/sl3348-013-0081-8.
(p, q)
vol. 84, по. 2, pp. 113-124. 14. Curbera G. P. El espacio de funciones integrables respecto de una medida vectorial: Ph. D. Thesis, Sevilla, Univ. of Sevilla, 1992.
L1
1992, vol. 293, pp. 317-330.
16. Curbera G. P., Ricker W. J. Banach lattices with the Fatou property and optimal domains of kernel operators, Indag. Math. (N.S.), 2006, vol. 17, pp. 187-204.
17. Curbera G. P., Ricker W. J. Vector measures, integration, applications, Positivity (Trends Math.), Basel, Birkháuser, 2007, pp. 127-160.
p
2007, vol. 328, pp. 287-294. DOI: 10.1016/j.jmaa.2006.04.086
19. Delgado O. L^spaces of vector measures defined on 5-rings, Arch. Math., 2005, vol. 84, pp. 432-443. DOI: 10.1007/s00013-005-1128-l.
20. Delgado О. Optimal extensions for positive order continuous operators on Banach function spaces, Glasgow Math. .J., 2014, vol. 56, pp. 481-501. D01:10.1017/S0017089513000384.
21. Delgado O., Juan M. A. Representation of Banach lattices as LW spaces of a vector measure defined on
a 5-ring, Bull. Belg. Math. Soc., 2012, vol. 19, no. 2, pp. 239-256.
qp
function spaces for 1 < p < q, Positivity, 2016, vol. 20, pp. 999-1014. DOI: 10.1007/sllll7-016-0397-l.
23. Delgado O., Sánchez Pérez E. A. Optimal extensions for pth power factorable operators, Mediterranean J. of Math., 2016, vol. 13, pp. 4281-4303. DOI: 10.1007/s00009-016-0745-l.
24. Fremlin D. H. Topological Riesz Spaces and Measure Theory. Cambridge, Cambridge Univ. Press, 1974, xiv+266 p.
2
672 p.
26. Haydon R. Injective Banach lattices, Math. Z., 1974., vol. 156, pp. 19-47.
27. Juan A. M., Sánchez Pérez E. A. Maurey-Rosenthal domination for abstract Banach lattices, J. Ineq. and Appl, 2013, vol. 213, no. 213, pp. 1-12.
28. Godefroy G. A glimpse at Nigel Kalton's work, Banach Spaces and Their Applications in Analysis, Berlin, W. de Gruyter, 2007, pp. 1-35.
29. Kalton N. J. Convexity conditions for non-locally convex lattices, Glasgow Math. J., 1984, vol. 25, pp. 141-152.
30. Kalton N. J. Isomorphisms between spaces of vector-valued continuous functions, Proc. Edinburgh Math. Soc., 1983, vol. 26, pp. 29-48.
31. Kalton N. J. Quasi-Banach Spaces / Eds. W. B. Johnson and J. Lindenstrauss. Amsterdam, Elsevier, 2003, pp. 1099-1130. (Handbook of the Geometry of Banach Spaces, vol. 2.).
32. Kluvanek I., Knowles G. Vector Measures and Control Systems. North-Holland, Amsterdam, 1976, 191 p.
33. Kusraev A. G., Tasoev В. B. Kantorovich-Wright integration and representation of vector lattices, J. Math. Anal. Appl., 2017, vol. 455, pp. 554-568. DOI: 10.1016/j.jmaa.2017.05.059.
34. Kusraev A. G., Tasoev В. B. Kantorovich-Wright integration and representation of quasi-Banach lattices, J. Math. Anal. Appl, 2018, vol. 462, no. 1 (in print). DOI: 10.1016/j.jmaa.2018.02.027.
35. Kusraev A. G., Tasoev В. В. Maximal quasi-normed extension of quasi-normed lattices, Vladikavkazskii matematicheskii zhurnal [Vladikavkaz Math. J.\, vol. 19, no. 1, pp. 41-50. DOI: 10.23671/VNC.2017.3. 7111.
36. Lindenstrauss J., Tzafriri L. Classical Banach Spaces. Vol. 2. Function Spaces. Berlin etc., SpringerVerlag, 1979, 243 p.
37. Lewis D. R. Integration with respect to vector measures, Pacific J. Math., 1970, vol. 33, pp. 157-165.
38. Lewis D. R. On integration and summability in vector spaces, Illinois J. Math., 1972, vol. 16, pp. 294307.
39. Maligranda L. Type, cotype and convexity properties of quasi-Banach spaces, Proc. of the International Symposium on Banach and Function Spaces (Oct. 2-4, 2003, Kitakyushu-Japan), Yokohama, Yokohama Publ., 2004, pp. 83-120.
40. Masani P. R., Niemi H. The integration theory of Banach space valued measures and the Tonelli-Fubini theorems. I. Scalar-valued measures on 5-rings, Adv. Math., 1989, vol. 73, pp. 204-241.
41. Masani P. R., Niemi H. The integration theory of Banach space valued measures and the Tonelli-Fubini theorems. II. Pettis integration, Adv. Math., 1989, vol. 75, pp. 121-167.
42. Meyer-Nieberg P. Banach Lattices. Berlin etc., Springer, 1991, xvi+395 p.
43. Okada S., Ricker W. J., and Sánchez Pérez E. A. Optimal domain and integral extension of operators acting in function spaces (Oper. Theory Adv. Appl.), vol. 180, Basel: Birkhâuser, 2008.
44. Rolewicz S. Metric Linear Spaces, Warszaw, PWN-Polish Sci. Publ., 1972, 287 p. (Math. Monogr. Vol. 56).
45. Sánchez Pérez E. A. and Tradacete P. Bartle-Dunford-Schwartz integration for positive vector measures and representation of quasi-Banach lattices, J. Nonlin. and Conv. Anal., 2016, vol. 17, no. 2, pp. 387-402.
46. Thomas E. G. F. Vector integration, Quast. Math., 2012, vol. 35, pp. 391-416. DOI: 10.2989/16073606. 2012.742230.
47. Turpin Ph. Intégration par rapport à une mesure à valeurs dans un espace vectoriel topologique non supposé localement convexe, Intégration vectorielle et multivoque (Colloq., Univ. Caen, Caen, 1975), Exp. no. 8, Dép. Math., U.E.R. Sci., Caen, Univ. Caen, 1975.
48. Turpin Ph. Convexités dans les Espaces Vectoriels Topologiques Généraux: Diss. Math., vol. 131, 1976.
49. Wright J. D. M. Stone-algebra-valued measures and integrals, Proc. London Math. Soc., 1969, vol. 19, no. 3, pp. 107-122.
50. Wright J. D. M. A Radon-Nikodym theorem for Stone algebra valued measures, Trans. Amer. Math. Soc., 1969, vol. 139, pp. 75-94.
51. Szulga J. (p,r)-convex functions on vector lattices, Proc. Edinburg Math. Soc., 1994, vol. 37, no. 2, pp. 207-226.
Received 11 December, 2017
Kusraev Anatoly Georgievich Vladikavkaz Science Center of the RAS, Chairman 22 Markus Street, Vladikavkaz, 362027, Russia; North Ossetian State University, Head of the Department of Mathematical Analysis 44-46 Vatutin Street, Vladikavkaz, 362025, Russia E-mail: [email protected] ORCID: 0000-0002-1318-9602
Tasoev Batradz Botazovich Southern Mathematical Institute — the Affiliate of Vladikavkaz Science Center of the RAS, Researcher 22 Markus street, Vladikavkaz, 362027, Russia E-mail: [email protected]
