Научная статья на тему 'О теоремах представления А. Д. Александрова и А. А. Маркова для мажорируемых операторов'

О теоремах представления А. Д. Александрова и А. А. Маркова для мажорируемых операторов Текст научной статьи по специальности «Математика»

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

Аннотация научной статьи по математике, автор научной работы — Кусраев Анатолий Георгиевич, Малюгин Сергей Артемьевич

Для мажорируемых операторов, действующих из решетки ограниченных непрерывных функций в решеточно нормированное пространство, установлены две теоремы об интегральном представлении, обобщающие результаты А. Д. Александрова и А. А. Маркова. Доказан также вариант теоремы С. Улама о радоновости любой борелевской меры на польском пространстве.

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

Текст научной работы на тему «О теоремах представления А. Д. Александрова и А. А. Маркова для мажорируемых операторов»

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

УДК 517.98

О ТЕОРЕМАХ ПРЕДСТАВЛЕНИЯ А. Д. АЛЕКСАНДРОВА И А. А. МАРКОВА ДЛЯ МАЖОРИРУЕМЫХ ОПЕРАТОРОВ

А. Г. Кусраев, С. А. Малюгин

Для мажорируемых операторов, действующих из решетки ограниченных непрерывных функций в решеточно нормированное пространство, установлены две теоремы об интегральном представлении, обобщающие результаты А. Д. Александрова и А. А. Маркова. Доказан также вариант теоремы С. Улама о радоновости любой борелевской меры на польском пространстве.

Рассмотрим произвольный компакт С,понимаемый в данной работе как хаус-дорфово компактное топологическое пространство. Пусть С{С}) — пространство всех непрерывных действительных функций, определенных на, С,) и гса— пространство всех ограниченных регулярных счетно аддитивных мер, определенных на борелевской ст-алгебре С,). Напомним, что регулярность меры означает возможность приближения произвольных значений меры ее значениями на замкнутых множествах. Как известно, С((2) — векторная решетка, а гса((2) — порядково полная векторная решетка (относительно поточечного упорядочения). Более того, если снабдить С {С}) эир-нормой, а норму в гса((2) определить формулой ||//|| := |//|(<5), где — вариация (или, что то же, модуль) меры ¡л €Е гса((2), то эти пространства становятся банаховыми решетками, см. [8].

1.1. Теорема Рисса — Маркова — Какутани. Для любого линейного непрерывного функционала / €Е С {О)' существует единственная ограниченная счетно аддитивная регулярная борелевская мера €Е гса(<2) такая, что

Соответствие f /л f служит линейной изометрией и решеточным изоморфизмом банаховых решеток С {О)' и гса(<Э)-

< Доказательство см., например, в книгах Н. Данфорда и Дж. Шварца [7], П. Хал-моша [16], А. Цаанена [52]. >

Считается, что первое корректное доказательство этой теоремы для случая = [О, 1] дал Ф. Рисс в 1909 году, причем он, в отличие от приведенной формулировки, использовал интеграл Римана — Стилтьеса вместо интеграла Лебега. В случае произвольного компакта С} для положительных функционалов утверждение 1.1 содержится

§ 1. Введение

Я

© 2002 Кусраев А. Г., Малюгин С. А.

по существу в работе А. А. Маркова [15] 1938 года, хотя явной формулировки не приводится. Почти в указанном виде теорема 1.1 установлена С. Какутани [26] в 1941 году. Однако следует подчеркнуть, что современная форма теоремы 1.1, а также различные ее варианты, называемые часто теоремами Рисса о представлении, — дело рук гораздо большего числа математиков (Ж. Адамар, А. Д. Александров, С. Банах, И. Радон, С. Сакс, М. Фреше, Э. Хелли, и др.). Раннюю историю теоремы Рисса о представлении см. в статье Дж. Д. Грея [25], а различные аспекты, обобщения и приложения — в обзорах Дж. Батта [18] и Р. Ф. Вилера [45]. Краткий исторический комментарий по этому вопросу имеется и в книгах Н. Динкуляну [22], Дж. Дистеля и Дж. Уля [21], 3. Семадени [44], Р. Эдвардса [17].

Для некомпактного пространства С} вместо С {С}) рассматривают пространство ограниченных непрерывных функций на С,снабженное эир-нормой и обозначаемое символом Съ{(5)- Первое описание элементов пространства Съ{Я)' принадлежит А. А. Маркову [15], который привлек для этой цели конечно аддитивные регулярные меры (внешние плотности), поскольку для некомпактного множества гса((2) оказалось недостаточным для представления линейных ограниченных функционалов на Съ{Я)- Затем А. Д. Александров [1-3] развил теорию конечно аддитивных регулярных мер (зарядов) и, в частности, дал полное описание пространства Съ{Я)'■ Пусть Д(<2) обозначает алгебру множеств, порожденную совокупностью всех открытых множеств в (3, а га(*4((2)) — множество всех ограниченных конечно аддитивных регулярных мер, определенных на алгебре Д(<2).

1.2. Теорема Александрова — Маркова. Пусть С} — нормальное топологическое пространство. Для любого линейного непрерывного функционала / €Е Сь(С?)' существует и притом единственная ограниченная конечно аддитивная регулярная мера ///:=// €Е га(Д((2)) такая, что

Соответствие f /л f служит линейной изометрией и решеточным изоморфизмом банаховых решеток Съ{Я)' и га(Л(<Э))-

< Доказательство для положительных функционалов, принимающих единичное значение на тождественной единице (средних значений на (3), получено А. А. Марковым [15; теорема 22]. Общий случай содержится в результатах А. Д. Александрова [2; теоремы 1 и 2]. >

1.3. Теорема Александрова. Для произвольного топологического пространства <3 имеет место «бэровский» вариант теоремы 1.2, т. е. теорема 1.2 остается в силе, если заменить алгебру *4(£?) на алгебру *4о(С?), порожденную всеми функционально открытыми множествами в (3.

< А. Д. Александров [1-3] использовал пространства, несколько более общие, чем топологические. В частности, в качестве совокупности всех открытых множеств можно рассматривать функционально открытые множества, для которых аксиома нормальности выполняется автоматически. Тем самым, требуемое является частным случаем [2; теоремы 1 и 2]. >

Теорему представления Рисса для положительного оператора со значениями в К-пространстве впервые получил, по-видимому, Р. Р. Кристиан [20], а затем повторил

Я

Е. Берц [19]. Варианты этих результатов получены также в работах 3. Липецкого [33, 36]. Все упомянутые работы содержатся в круге идей А. А. Маркова и А. Д. Александрова и, по существу, адаптируют рассуждения, известные для скалярного случая. Принципиально новые идеи появились в связи с работами М. Райта [46-51]. М. Райт обнаружил, в частности, что задача продолжения меры со значениями в К-пространстве не разрешима методом Каратеодори, в связи с чем он ввел понятие квазирегулярной меры. Другой подход к задаче продолжения меры нашел С. Хурана [27, 28]. Разные аспекты этого же круга проблем изучали А. Г. Кусраев и С. А. Малюгин [10, 11], Т. В. Панчепагесан и Ш. В. Паллед [37, 38], Д. Фремлин [23], Б. Ричан [40, 41] и др.

Цель настоящей работы — доказать теоремы А. Д. Александрова и А. А. Маркова (теоремы 1.2 и 1.3) для операторов, действующих в решеточно нормированные пространства. Будем придерживаться терминологии и обозначений из монографий [5,

Напомним некоторые понятия и факты из теории векторных мер и теории решеточно нормированных пространств. Подробности можно найти в [10] и [31].

2.1. Пусть А — произвольная булева алгебра. Отображение определенное на А и действующее в произвольное векторное пространство Z, называют (конечно аддитивной векторной) мерой, если ц{а,\ V аг) = + ц{а,2) для любой пары дизъюнктных элементов 01,02 €Е А■ Пусть /• — векторная решетка. Меру ц •. А —г Р называют ограниченной, если ц{А) — порядково ограниченное множество в Р. Если же ц{а) 0 для всех а 6 А, то ¡л именуют положительной. Обозначим символом Ьа(*4, .Р) (Ьа_|_(*4, .Р)) пространство всех ограниченных (положительных) векторных мер, определенных на А и действующих в Р. Ясно, что пространство Ьа(*4, Р) с операциями, индуцированными из Р-4, и упорядоченное конусом положительных мер Ьа_|_(*4, Р), будет упорядоченным векторным пространством.

Предположим, что У — решеточно-нормированное пространство над векторной решеткой Р и возьмем векторную меру [х : А ^ У- Если для некоторой положительной меры V : А —У Р выполняется соотношение |/л(а)| и(а) (а 6 Л), то // назовем мажорируемой векторной мерой, а меру и — мажорантой меры ¡л. Обозначим символом с1а(А, У) векторное пространство всех мажорируемых векторных мер, определенных на А и действующих в У. Если существует наименьший элемент в множестве та.](//) всех мажорант меры // (относительно порядка, индуцированного из Ьа(Д, Р)), то его называют точной мажорантой или, реже, точной доминантой меры // и обозначают символом \ц\. Мажорируемую меру принято называть также мерой ограниченной векторной вариации, а точную мажоранту |//| — векторной вариацией меры ¡л.

Пусть с1са(*4, У) — пространство всех счетно аддитивных мер, действующих из А в У. Счетная аддитивность // €Е с1а(Л, У) означает, как обычно, что для последовательности попарно дизъюнктных элементов (ап) С А выполняется

Пусть (У, Р) — решеточно нормированное пространство над К-пространством Р. Каждая мажорируемая векторная мера ц 6 с1а(Д, У) имеет точную мажоранту |//|.

8, 9, 31].

§ 2. Вспомогательные сведения

которую можно вычислить по формуле:

С п п

(а) = эир-ч ^ \ц(ак)\ : аь ... ,ап е А, ак Л щ = 0 (к ф I), ак = а ^=1 к=1 ^

< См. [31; 4.2.9(1)]. >

2.2. Пусть Е и Е — векторные решетки, X и У — решеточно нормированные пространства над Е и Е соответственно. Возьмем линейный оператор Т : X У и положительный оператор Б : ^ Р. Если выполнено соотношение

|Т®| < 5( |®|) (х€Х),

то будем говорить, что Б мажорирует Т или, что Б является мажорантой оператора Т. В этой ситуации оператор Т называют мажорируемым. Пусть та,](Т) обозначает множество всех мажорант оператора Т. Множество всех мажорируемых операторов из X в У обозначается символом М(Х,У), следовательно,

Т е М(Х, У) maj(T) ф 0.

Если в множестве maj(T) имеется наименьший элемент относительно порядка, индуцированного из L~(E,F), то его называют точной мажорантой или наименьшей мажорантой Т и обозначают символом |Т|. Точную мажоранту называют еще мажорантной норм,ой. Если мажорируемый оператор Т : X ^ У имеет точную мажоранту |Т|, то

|ТжК|Т|(|ж|) (х€Х).

(1) Всякий мажорируемый оператор Т е М(Х,У) Ьг-непрерывен, т. е. если последовательность (хп) С X Ьг-сходится к х €Е X, то последовательность (Тхп) Ьг-сходится к Тх в У. Мажорируемый оператор Tq €Е M(Xq,Y), заданный на Ьг-плотном подпространстве Xq С X допускает единственное продолжение до мажорируемого оператора Т0 е M(XQ, У) с сохранением мажоранты.

< См. [31; 4.1.1]. >

(2) Earn решеточно нормированное пространство X разложимо, а векторная решетка F порядково полна, то каждый мажорируемый оператор Т : X ^ У имеет точную мажоранту \Т\. При этом имеют место формулы

п

\T\r sii[) <j : -П......'■„ е -V. \xk\ = е, n е N }> (е £

k=1 k=1

|Т| e = sup{|T| e0 : e0 € E0+, e0 < e} (e € E+), |T| e = |T| e+ — |T| e~ (e € Й).

< Cm. [31; 4.1.2, 4.1.5]. t>

2.3. Пусть С? — расширенное .^-пространство с порядковой единицей 1, а (У, .Р) — секвенциально Ьо-полное решеточно нормированное пространство над ^-пространством Р. Рассмотрим подалгебру А ст-полной булевой алгебры ©(1) единичных элементов пространства О и конечно аддитивную меру /] : Л 7 с точной можорантой \ц\ : А ^ -Р. Обозначим символом векторную подрешетку в О,

состоящую из всех Д-простых (конечнозначных) элементов О, т. е. ж €Е означа-

ет, что имеет место представление ж = а/к,ек-, гДе «ъ ..., скп £ К произвольны, а

в1,..., еп £ А попарно дизъюнктны. Положим

п

1ЛХ)'= / ^Ф-^ад!^) (же5(Д)).

Ясно, что эта формула корректно определяет мажорируемый оператор I^ : У,

причем

хйц ^ J |ж|й|//| (ж £ >?(Л)).

Рассмотрим главный идеал 6(1), порожденный единицей 1, и введем в нем норму ||ж|| := т£{А : |ж| А1}. Тогда 6(1) — АМ-пространство. Пусть С(А) — замыкание Б(А) в АМ-пространстве 1). Оператор I^ допускает единственное мажорируемое продолжение на С(Л), которое обозначим тем же символом. При этом | 1 = 1ц.

Для каждого мажорируемого оператора Т : С (А) ^ У существует единственная мажорируемая мера цт '■ А ^ У такая, что

Тх = J хдц (ж еС(Л)).

Соответствие Т ^т осуществляет линейную изометрию решеточно нормированных пространств М(С(А), У) и с1а(Л, У).

< См. [31; 6.1.1]. >

2.4. Ниже будем рассматривать также тот частный случай ситуации 2.3, когда в качестве расширенного К-пространства О фигурирует векторная решетка Ж^ всех вещественных функций, определенных на непустом множестве С,). Пусть А — алгебра подмножеств множества <3, т. е. А С Т^)- Эту алгебру можно отождествить с изоморфной алгеброй характеристических функций {1.4 := ха А €Е Л}, так что — пространство всех Д-простых функций на (}. Если / = аь,ХАк (-<4.1,..., Ап е Л)

и // € с1а(Л, У), то по определению

/п

/ф = ^акц{Ак). к=1

Интеграл I^ можно продолжить на пространство //-суммируемых функций, см. [10, 31].

Зафиксируем следующие обозначения: <3 — топологическое пространство; Т := Тд, Т := и К, := /Сд — соответственно совокупности открытых, замкнутых и компактных подмножеств (3; Съ{0) — пространство всех ограниченных непрерывных функций на (3• Для семейства V подмножеств (3 обозначим символом 2о(£>) (соответственно, Т,(Т>)) наименьшую подалгебру (соответственно, наименьшую с-подалгебру) в Р^), содержащую V. В этом случае будем говорить, как обычно, что порож-

дена (а £(£>) а-порождена) семейством V.

(1) Пусть Се Д. Рассмотрим семейства множеств К-с '■= {К €Е КГ)Л : К С С} и Тс '■= {-О £ Т П Л : -ОС С}, упорядоченные по включению. Меру ¡л : Л —> У называют радоновой (или квазирадоновой), если для любого С € Л (соответственно, для каждого С €Е ТПЛ) выполняется ц(С) = Ьо-\\ш{ц(К) : К €Е /Сс}- Меру ¡л : Л —> У называют регулярной (или квазирегулярной), если для любого СбЛ (соответственно, для каждого С еТП Л) выполняется ¡л(С) = Ьо-Нт {//(!)) : I) €Е ^"с}-

Как видно, в случае компактного С} эти два определения равносильны.

(2) Мера ¡л 6 с1а(Д, У) будет радоновой (регулярной) в том н только в том случае, когда радонова (регулярна) ее векторная вариация |//| е Ьа(Д, Р).

< См. [31; теорема 6.2.2.]. >

Аналогичный результат для свойства квазирадоновости (квазирегулярности) существенно сложнее и имеет место лишь при дополнительных требованиях.

(3) Предположим, что мера ¡л €Е с1а(Л, У) удовлетворяет одному из следующих

условий:

(a) алгебра Л порождается входящими в нее замкнутыми множествами, т. е. Л =

(b) [1. счетно аддитивна и алгебра Л а-порождается входящими в нее замкнутыми множествами, т. е. Л = Т,(Т П А).

Тогда мера ¡л квазирадонова (квазирегулярна) в том и только в том случае, если ее векторная вариация |//| квазирадонова (квазирегулярна).

< См. [10; теорема 2] и [31; теорема 6.2.З.]. >

§ 3. Формулировка основных результатов

Здесь дадим формулировки результатов о представлении мажорируемых операторов. Доказательства приводятся в следующем параграфе.

3.1. Пусть Е — расширенное К-пространство с единицей 1, а Ь — подрешетка Е, содержащая единицу и состоящая только из ограниченных элементов. Через €(1) обозначается полная булева алгебра всех единичных элементов К-пространства Е. В €(1) выделяется подрешетка всех спектральных характеристик Т£ = {е^ : А €Е Ж, ж £ 1} и подрешетка = {1 — ехх : А € Ж, х € Ь}. Символом 71 (соответственно Ть) обозначаем точные верхние (нижние) границы всевозможных подмножеств из Т£ (из Т^) и называем элементы из 7ь открытыми, а из Ть — замкнутыми. Если £ — семейство элементов из €(1), то через £о(£) (^(¿0) обозначается наименьшая алгебра (ст-ал-гебра), порожденная £. В дальнейшем всегда будем считать, что У — это Ьо-полное решеточно нормированное пространство с нормирующим К-пространством Р.

3.2. Векторную подрешетку Ь С Е называют разделяющей, если для любых е\ €Е Ть и 62 удовлетворяющих неравенству е\ <■■>. существует элемент х €Е Ь такой, что е\ ^ х ^ в2- Укажем два примера разделяющих подрешеток.

(1) Пусть С} — нормальное топологическое пространство. Положим Е = Ж^ — пространство всех вещественных функций на С}, а Ь = Съ(Я) — пространство всех ограниченных непрерывных функций на С}. Тогда Ь является разделяющей векторной подрешеткой в Е.

(2) Пусть Ь является порядковым идеалом всех ограниченных элементов в расширенном К-пространстве Е. Тогда 71 = Ть = <£(1) и Ь тривиальным образом является разделяющей решеткой.

Пусть Т С €(1) и Л := Меру ц : А -г У назовем Т-регулярной, если

ц{а) = Ьо-\\ш{ц{а!) : а! 6 Т, а! ^ а}. Следующий результат — вариант теоремы А. Д. Александрова для мажорируемых операторов.

3.3. Теорема. Пусть Т : Ь —> У — мажорируемый оператор, заданный на разделяющей подрешетке Ь К-пространства Е. Тогда существует единственная конечно аддитивная ^¿-регулярная мера ц : А{Ть) У, имеющая ограниченную векторную вариацию, такая, что

Сопоставление Т ц осуществляет линейную изометрию М(Ь,У) и пространства с1аг{А{Ть)-, У) регулярных конечно аддитивных мажорируемых мер.

< Доказательство приводится ниже в 4.1-4.7. >

Пусть обозначает алгебру множеств, порожденную совокупностью откры-

тых множеств топологического пространства С}.

3.4. Теорема. Пусть С} — нормальное топологическое пространство, /•' — некоторое К-пространство, а Т : Съ{0) ^ -Р" — положительный оператор. Тогда существует единственная положительная конечно аддитивная регулярная мера ц : А{0) -Р" такая, что

Соответствие Т цт служит линейным и порядковым изоморфизмом векторных решеток Ь~(СЪ{Я), -Р) и Ьга(Д(<2),

< Согласно 3.2 Ь:= Съ{Я) — разделяющая подрешетка К-пространства Е = М9. Поэтому требуемое следует из теоремы 3.1. О

3.5. Рассмотрим бэровский вариант теоремы 3.2. Для этого нужна соответствующая модификация понятия разделяющей подрешетки. Векторную подрешетку Ь С Е называем о-разделяющеб, если для любых е\ 6 < ■> €Е Т£, удовлетворяющих неравенству е\ <■■>. существует элемент х 6 Ь такой, что е\ ^ х ^ х,2- Примером ст-разделяющей решетки является пространство Съ{Я),, где — произвольное топологическое пространство.

3.6. Теорема. Пусть Г : I. У мажорируемый оператор, заданный на а-разделяющей решетке Ь. Тогда существует единственная конечно аддитивная Т¿-регулярная мера ц : У, имеющая ограниченную вариацию, для которой справедливо интегральное представление из теоремы 3.2.

< Доказательство аналогично 3.2. >

Пусть Ло(О) обозначает алгебру множеств, порожденную совокупностью функционально открытых множеств топологического пространства О.

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

3.7. Теорема. Пусть С} — произвольное топологическое пространство, /•' — некоторое К-пространство, а Т : Съ{0) ^ -Р" — порядково ограниченный оператор. Тогда существует единственная ограниченная конечно аддитивная регулярная мера ц\= цт '• Ао(Я) —> -Р1 такая, что

Тх = J х(д)ёц(д) (х € Сь(Я))

Я

Тх = J х(д)ёц(д) (х е Сь(С])) Я

Соответствие Т ^т служит линейным и порядковым изоморфизмом векторных решеток Ь~(Съ{0), -Р1) и Ьга(Л0(<3),

< Нетрудно видеть, что Ь := Сь(С— ст-разделяющая подрешетка К-прост-ранства Е = М9. Поэтому требуемое следует из теоремы 3.6. >

3.8. Теорему 3.4 для положительного Т установил Р. Кристиан [20], а затем Е. Берц [19]. Некоторое уточнение этой теоремы содержится в работе 3. Липецкого [36]. Теорему 3.7 получил 3. Липецки в [36]. О других разновидностях теоремы представления типа Рисса см. Е. Берц [19], Дж. Дистель и Дж. Уль [21], А. Г. Кусраев и С. А. Малюгин [10], Т. Панчапагесан и Ш. В. Паллед [38], А. Седа [43], Б. Фукс-штейнер и В. Ласки [24], С. Хурана [27, 28].

§ 4. Доказательство основного результата

Ограничимся доказательством теоремы 3.4. Теорема 3.6 устанавливается аналогично, а остальные факты из параграфа 3, как было отмечено в предыдущем параграфе, непосредственно следуют из указанных теорем. Начнем с простого вспомогательного утверждения.

4.1. Для произвольного / 6 Ть рассмотрим множество #(/):= {ж 6 Ь : ж ^ /} с индуцированным из Ь порядком. Как видно, Ф(/) фильтруется по убыванию. Для пары элементов , /2 6 Ть введем множество

Ф(/1,/2):= {(ж,ж!,ж2) €Е Ф(/х V /2) х Ф(Д) х Ф(/2) : ®1 + ж2 < ж}

с покоординатным упорядочением.

Если /1 и /2 дизъюнктны, то множество Ф(/1, /2) фильтруется вниз и коиници-ально в Ф := V /2) х $(/1) х Ф(/г). Последнее означает, что для любого р € Ф существует такой </• (г Ф. что ф ^ (р.

< Нужно лишь убедиться в справедливости последнего утверждения. Возьмем (ж, XI, Х2) £ Ф- Из свойства отделимости решетки Ь следует существование у 6 Ь такого, что /1 ^ у ^ 1 — /г- Положим по определению х[ := х\ А х А у, х' := х и х'2 '■= (х — х[) Лх2- Как видно, тройка (ж^ж'^ж^) входит в Ф(/1,/г) и (ж^ж'^ж^) ^ (ж, ж1,жг), что и требовалось. >

4.2. Пусть в : Ь Р — положительный оператор. Для произвольного / €Е .'/"/. положим

^оШ = ■ / < х, х е Ь).

Тогда отображение щ : Ть Р аддитивно, и при /ь/г €Е Ть, /1 /2 выполняется свойство плотности

"оШ = МЬ) + Мыл ■■ / < /2 - /ъ / е

< Непосредственно из определения г/0 видно, что V /2) ^ ^(Л) + ^(/г)-

Пусть ж' €Е Ь, ж' ^ /1 V /г- Тогда (ж', ж', ж') €Е Ф и в соответствии с 4.1 найдется тройка (ж, ж1,жг) € Ф(/1,/г) такая, что (ж', ж', ж') ^ (ж, Ж1,Ж2). Отсюда выводим Бх' ^ 5ж ^г 5(ж1) + Б(х2) ^(/1) + ^о(/г)- Переход к ипфимуму по всем указанным ж' дает неравенство V /2) ^(/1) + ^о(/г)-

Далее, пусть / е Ть, / ^ /2 — /1 и жг 6 L, /2 ^ жг- Так как решетка L разделяющая, то существует у € L, для которого /i^y^l^/еТь. Для элемента Ж1 = жг Л у будет / ^ жг — Ж1 и

5Ж2 = 5(Ж2 - Ж1) + 5ж1 ^ г/0(/) +

Последнее неравенство выполняется для любого жг 6 L при жг ^ /2, следовательно,

Mf2)>Mh) + Mf) (/</2-/1). (*)

Далее, для Ж1 е L, Ж1 ^ /1 и числа 0 < е < 1 полагаем /:= (1 — вд1-е1—Л /2. Тогда / ^ /2 — /1 и для любого ж 6 L при ж ^ / верно (1 — е)_1(ж1 + ж) ^ /2. Тем самым i^o(/2) ^ (1 — £)_1(<S^i + 5ж). Последнее неравенство выполняется для каждого ж 6 L при ж ^ /, стало быть,

^о(/2) < (1 - е)"1^! + !/<,(/)) < (1 - е) + \/W/) : / < /2 - /1, / € L}) . Полученное неравенство имеет место для любых Ж2 €Е L при Ж2 ^ /2 и е > 0, поэтому

Mf2) < ^o(/l) + VM/): / < /2 - /ь / е Ы-

Сопоставляя последнее неравенство с (*), получаем свойство требуемое плотности г/0. >

4.3. Функция щ допускает и притом единственное аддитивное J-L-регулярное продолжение v с множества Ть на всю алгебру А{Ть) = А(Ть)-

< Это утверждение выводится из свойства плотности. Для е €Е полагаем по определению

Легко проверяется, что множество

£:= {е €Е Л(^) : (Ve' € i/(e') = v{e' A е) + i/(e' \ е)}

является подалгеброй в А{Ть), содержащей Ть- Значит, £ = А{Ть) и v является аддитивной ^¿-регулярной мерой на А{Ть)- О

4.4. Формула цо(/) := Ьо-Нт{Тж : ж 6 Ф(/)} определяет аддитивное отображение Но : Ть ^ Y, обладающее свойством плотности

Mf2)=^(h)+bo-\\m{Mf): /</2-/1,

< Прежде всего заметим, что для любого / 6 Ть сеть (Тх)хеф^ Ьо-фунда-ментальна, так как при Х\,Х2 €Е Ф(/) справедливы соотношения

|Тж1 — Тжг| ^ 5(|ж1 — жг|) ^ S(x\ — xi А Ж2) + S(Ж2 — Ж1 А Ж2) ^ 0.

В силу Ьо^полноты Y предел Ьо-\\ш{Тх : ж 6 Ф(/)} существует и отображение цо определено корректно. Докажем аддитивность. Для этого возьмем дизъюнктные

/ь/г € TL и покажем, что //0(/i V /2) = ^o(/i) + //о(/г)- Пользуясь утверждением и обозначениями из 4.1, из определения //q выводим:

|M/i V /2) -Vo(h) — /хо(/2>| = o-lim { |т(ж - Ж1 - ж2)| : (ж,ж!,ж2) е #} = o-lim {|Т(ж - xi - х2)\ : (х,хих2) € Ф(/ъ/2)} o-lim {¿»(ж Х\ -х2) : (ж,ж!,ж2) е Ф(/ъ/2)} = o-lim{5(ж — х\ — х2) : (ж, Ж1,я;2)еФ} = K/lV/2) -!/(/!)- ^(/2)= О,

откуда и видна аддитивность //q.

Покажем, что имеет место неравенство

l/iolAO-jM/ONKfe-Zi) (/1J2 е /1 < /2)- (**)

Для этого введем множество Ф' := {(ж1,ж2) е х Ф(/2) : х\ ж2} и заметим,

что оно фильтруется по убыванию и коинициально в Ф(/1) х Ф(/2). Пользуясь этим, напишем

I^o(/2) - M/i)| = o-lim {\Тх2 - TXl| : (хих2) € Ф(Л) х Ф(/2)} = o-lim{\Т(х2 - хг)\ : (жь х2) е Ф'} о-Нт{5(ж2 - Ж1) : (ж!,ж2)еФ'} = o-lim{S(x2 - xi) : (xi,x2) e $(/i) x Ф(/2)} = г/(ж2) - И3^) = v{x2 - хг).

Теперь докажем свойство плотности для функции /х0 • Пусть е 6 Д^ь) и f\, /2 €Е ^l, /1 < е, /2 < е. Тогда из оценки |a*o(/i) — А*о(/з)| < И/i v /2 - /1) + И/i v /2 — /2) видна bo-фундаментальность сети {//о(/) : / £ и поэтому существует

Ьо-lim ()Uo(/) : / ^ Л е}. Используя свойство плотности г/ и аддитивность /х0 можем написать при любых /1, /2 €Е Tli /1 /2 следующую цепочку соотношений:

М/2) - M/i) - bo-\\m{Mf) ■ / е ^L, / < /2 - /i}| = o-lim {|л*о(/2) - A»o(/i V /)| : / G / < /2 - /1}

< o-lim {v{f2 - /1 V f2) : / € / < /2 - /1}

= ^(/2) = ИЛ) - \/M/): / G / < /2 - /1} = 0, что и требовалось. >

4.5. Функция /j,q допускает и притом единственное аддитивное J-l-регуляриое продолжение ¡л с множества Ть на всю алгебру А{Ть) = А(Ть)- При этом

¡л{е) = feo-lim{jUo(/) : / б^Ле} (е £

< Этот факт можно проверить непосредственно по той же схеме, что и для функции г/, см., например, [35; теорема 1]. Здесь дадим другое доказательство. Из свойства плотности вытекает, что величина /х(/2) — /-¿(/i) зависит только от элемента е = /2 — /ь Отсюда, в частности, следует модулярное тождество

M/i V /2) + /i0(/i А /2) = /i0(/i) + 1M/2) (/ь /2 €

Существование единственного аддитивного продолжения на порожденную алгебру Д^ь) теперь сразу получается из следующего алгебраического факта 4.6. >

4.6. Теорема. Пусть А — булева алгебра, Ь — подрешетка в А, содержащая 0 и порождающая А, т. е. А = А{Ь). Пусть /¿о : Ь ^ О — отображение из Ь в коммутативную группу О, удовлетворяющее равенству /¿о (0) = О и модулярному тождеству

Ио(а V Ь) + ца{а Л Ь) = Цо(а) + /-¿о(Ь) (а, Ь € Ь).

Тогда существует единственное аддитивное отображение ц : А{Ь) О, продолжающее Цо-

< Этот результат установлен в работе Б. Петтиса [39], затем переоткрыт Й. Ки-шинскпм [30]. Более простое доказательство найдено 3. Липецким в [32]. >

4.7. Остается установить интегральное представление оператора Т.

В предположениях теоремы 3.2 имеет место интегральное представление

Тх = xd.fi (х 6 Ь),

где ц : А{Ть) ^ У — аддитивное Ть-регулярное отображение, определяемое в соответствии с 4.4 и 4.5.

< Пусть х €Е Ь и п €Е N. Так как х ограниченный элемент, то он имеет конечную норму ||ж|| = т£{А 6 Ж+ : |ж| ^ А1}. Положим := Щх\\/п, к = —п,...,п. Из отделимости Ь следует существование ук €Е Ь таких, что

1-ех\к<Ук<е_хх (к = -п+1,...,п).

Рассмотрим элемент

Хп = ~~\ Е Ук ~п1

\к=-п+1

Легко проверяется, что \х — хп\ ^ (||ж||/п)1. Кроме этого справедливы оценки \Тук-»(1-ехХк)\=о-]1т{\Тук-Ту\: у €Е I, 1 - ехХк < у < ук} < о-Нт {3(ук-у): у € Ь, 1 - ехХк < у < ук} = Бук - - е*Хк) < Не1хХк) - - ехХк).

Далее, полагаем

п1

П

п \

Е ^

к=-п+1 /

Вновь выполняется неравенство \х — гп\ ^ (||ж||/п)1. Теперь мы можем написать Тхп I

|ж|| п

=-п+1 4 J

Е и^) ^ ехХк))

к=-п+1 4 J

к=—п+1

П

|Ж||

п

Отсюда выводим

т

\Тх — Тхп\ < 5(1) •

п

11 т II II т II II т 11

^1(1)0^(1)0 = 5(1)0.

п п п

х й ¡л — J гпс1[х

Сопоставляя это с предыдущим неравенством, заключаем

/31Ы1

xd.fi < |Т| (1).

п

Ввиду произвольности п, получаем требуемое интегральное представление. >

§ 5. Представление радоновыми мерами

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

5.1. А. А. Марков [15; теорема 16], а затем А. Д. Александров [2; § 9, теоремы 2 и 5] установили, что в случае компактного топологического пространства вещественная регулярная мера счетно аддитивна на области своего задания. Таким образом, если С,] — компакт, то представляющие меры из теоремы 1.2 счетно аддитивны и регулярны, следовательно, допускают и притом единственное регулярное счетно аддитивное продолжение на борелевскую ст-алгебру. Тем самым, теорема представления Рисса в форме 1.1 вытекает как из результатов А. А. Маркова [15] 1938 года, так и из результатов А. Д. Александрова [2] 1941 года. В то же время, как показал А. Д. Александров [2; § 9, теорема 5], для нормального топологического пространств классы ограниченных счетно аддитивных регулярных мер гса(<2) и ограниченных конечно аддитивных регулярных мер га(<2) совпадают в том и только в том случае, когда С} — компакт. Таким образом, теорема представления Рисса в форме 1.1 имеет место только для компактных пространств С,Счетная аддитивность радоновой меры имеет место и для мер со значениями в решеточно нормированных пространствах. Следующие два утверждения установлены С. А. Малюгиным в [12].

(1) Если мажорируемая ¡л : А ^ У радонова, то она а-аддитивна.

(2) Если мажорируемая мера ¡л : А ^ У квазирадонова, то ограничение ¡л на алгебру П Л) счетно аддитивно.

Другим следствием упомянутых работ А. А. Маркова и А. Д. Александрова является тот факт, что для вещественных мер на компакте свойства радоновости и ква-зирадоновости совпадают. Для мер со значениями в векторной решетке дело обстоит сложнее. Вопрос о том, насколько класс квазирадоновых мер шире класса радоновых мер, принципиально решается в следующем утверждении.

5.2. Теорема. Пусть — вполне регулярное пространство и дана а-алгебра А = П А). Пусть на К-пространстве Е выполняется закон слабой (<т, оо)-дистрибутивности. В этом случае мера [х €Е с1са(*4, У) является радоновой (регулярной) тогда и только тогда, когда она квазирадонова (квазирегулярна).

< Докажем, что при выполнении условий теоремы из квазирадоновости меры ¡л следует ее радоновость. Из теоремы 2.4 (3) следует квазирадоновость векторной вариации и = \ц\. Следовательно, для любого II 6 Тд П А имеем

{и \ К) : К е К-и) = 0.

Тем более для любого фиксированного Б € Тд П А получаем

Д{Ы (17 П В \ К П £>) : К е ВД = 0.

Обозначим через £ множество всех Е е А, для которых

/\{\ц\(Е\К) : К еК:Е} = 0. (***)

Мы уже убедились, что А{Т<з П Л) С £. Рассмотрим любую последовательность

оо

(Еп)'^}=1 элементов из £ и докажем, что Е = У Еп е £. Для этого рассмотрим любые

п=1

компактные множества Кп €Е К,еп и положим Нкп = |//| (Еп\Кп). Пусть С„ = Еп\Кп Индукцией по п легко доказываются неравенства

(П ч п

и сЛ < \/2г+1/1^-

¿=1 ' ¿=1

Пусть к = |//| (1?). Для любого п 6 N рассмотрим направленность хкп = (2п+1Ла"п) А/г (Кп е К,еп)- Очевидно, направленность ограничена и убывает к нулю. Из оценки

(ОС \ оо оо

i=l ' i=l i=l и слабой (с, оо)-дистрибутивности пространства ^ следует, что направленность

оо \ / оо \

и^» ((^п)еП^п)

п=1 / \ П=1 /

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

Ы(£0 = \/{Ы(С): СеМЯ)ПД}.

Так как мера \ц\ ст-аддитивна, то из последнего равенства следует равенство (***).

оо

Аналогичным образом доказывается, что р| Еп €Е £. Поэтому из леммы о монотонном

п=1

классе мы получаем равенство £ = П Л)) = А. Теорема доказана. >

Часто возникает необходимость в установлении признаков радоновости и квази-радоновостп данной борелевской меры. Например, справедливо следующее обобщение теоремы С. Улама о том, что любая борелевская мера на польском пространстве ра-донова.

5.3. Теорема. Пусть р) — польское пространство и на Р выполняется закон слабой о-дистрибутивности. Тогда любая борелевская мера ц 6 с1са(Во, У) является радоновой.

< Так как на <2 борелевская ст-алгебра совпадает с бэровской ст-алгеброй, то мера ¡л будет квазирегулярной. Из предыдущей теоремы следует, что мера ¡л регулярна. Для обоснования требуемого теперь достаточно показать, что

Ы№) = \/{Ы(к)--

Пусть (хк)кеп — счетное плотное в (} множество и {Вп{хк))п,к&1 — последовательность замкнутых шаров, где радиус каждого Вп(хк) равен п-1. Для любого п 6 N справедливо равенство <2 = \}{Вп(хк) : к € М}. Для удобства введем обозначение

( х\ У Вп(хк) ] (п,т€М).

^ к=1 '

Для любой функции (р : N —> N полагаем

оо ¥>(«)

Кч> = П и В"(хк)-

п=1 к=1

Множество К^ замкнуто и вполне ограничено, следовательно, компактно. Кроме этого ы {Я \ к„) < у (и А 2пкМп)) = \/ к'пМп),

п п

где положено Н = (<Э), Ь!пт = Ь А 2пНПуГП. Для любого п € N имеем к'п т \ 0 при т ^ оо. Значит,

что и доказывает радоновость меры ¡л. >

5.4. Теория радоновых мер изложена в монографии Л. Шварца [42]. На основе понятия радоновой меры развивается теория интегрирования в трактате Н. Бурба-ки [4]. Квазирегулярные меры ввел М. Райт в [46]. Им же введены квазирадоновы меры в работе [50], где они также названы квазирегулярными. Именно М. Райт обнаружил принципиальное отличие между радоновыми и квазирадоновыми мерами и значение этого отличия для проблемы продолжения мер и операторов со значениями в К-пространстве, см. [46-50]. Квазирадоновы меры со значениями в решеточно нормированных пространствах изучал С. А. Малюгин [12-14].

Литература

1. Александров А. Д. Additive set functions in abstract spaces // Мат. сборник (N.S.)—1940.—Т. 8, вып. 2,—С. 307-348.

2. Александров А. Д. Additive set functions in abstract spaces. II, III // Мат. сборник (N.S.)—1941.— Т. 9, вып. 3.—С. 563-628.

3. Александров А. Д. Additive set functions in abstract spaces. IV // Мат. сборник (N.S.)—1943.— Т. 13, вып. 2-3.—С. 169-243.

4. ВурбакиН. Интегрирование. Меры на локально компактных пространствах, продолжение меры, интегрирование мер, меры на отделимых пространствах.—М.: Наука, 1977.—600 с.

5. Вулих В. 3. Введение в теорию полуупорядоченных пространств.—М.: ГИФМЛ, 1961.—407 с.

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

7. Данфорд Н., Шварц Дж. Линейные операторы. Т. 1: Общая теория.—М.: ИЛ, 1962.—895 с.

8. Канторович Л. В., Акилов Г. П. Функциональный анализ.—М.: Наука, 1984.—752 с.

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

10. Кусраев А. Г., Малюгин С. А. Некоторые вопросы теории векторных мер.—Новосибирск: Изд-во ИМ СО АН СССР, 1988.—190 с.

11. Кусраев А. Г., Малюгин С. А. Произведение и проективный предел векторных мер // В кн: Современные проблемы геометрии и анализа.—Новосибирск: Наука, 1989.—С. 132-152.

12. Малюгин С. А. Квазирадоновы меры // Сиб. мат. журн.—1991.—Т. 32, № 5.—С. 101-111.

13. Малюгин С. А. Проблема моментов в Ko-пространстве // Сиб. мат. журн.—1993.—Т. 34, № 2, 110-120.

14. Малюгин С. А. О лифтинге квазирадоновых мер // Сиб. мат. журн.—2001.—Т. 42, № 2.—С. 407413.

15. Марков A. A. On mean values and exterior densities // Мат. сб. (N.S.)—1938.—Т. 4.—С. 165-191.

16. Халмош П. Теория меры. М.: ИЛ, 1953.—291 с.

17. Эдварде Р. Функциональный анализ. Теория и приложения.—М.: Мир, 1969.—1071 с.

18. Batt J. Die Verallgemeinerungen des Darstellungssatzes von F. Eiesz und ihre Anwendungen // Jahres-ber. Deutsch. Math.-Verein.—1973.—Bd. 74,—S. 147-181.

19. Berz E. Verallgemeineung eines Satzes von F. Eiesz // Manuscripta Math.—1970.—Bd. 2.—S. 285299.

20. Christian R. R. On order-preserving integration // Trans. Amer. Math. Soc.—1967.—V. 86.—P. 463485.

21. DiesteS J., Uhl J. J. Vector measures.—Providence: Amer. Math. Soc.—1977. (Series Math. Surveys, 15.)

22. Dinculeami N. Vector Measures.—Berlin: VEB Deutscher Verlag der Wissenschaften, 1966.—432 p.

23. Fremiin D. H. A direct proof of the Matthes-Wright integral extension theorem // J. London Math. Soc.—1975.—V. 11, No. 3.—P. 276-284.

24. Fuchssteiner В., Lusky W. Convex Cones.—Amsterdam ets.: North-Holland, 1981.

25. Gray J. D. The shaping of the Eiesz representation theorem: A chapter in the history of analysis // Arch. Hist. Exact. Sci.—1984.—"V. 31.—P. 127-187.

26. Kakutani S. Concrete representation of abstract (M)-space // Ann. Math.—1941.—V. 42.—P. 9941024.

27. Khurana S. S. Lattice-valued Borel measures // Eocky Mountain J. Math.—1976.—V. 6, No. 2.— P. 377-382.

28. Khurana S. S. Lattice-valued Borel measures. II // Trans. Amer. Math. Soc.—1978.—V. 235, No. 2.— P. 205-211.

29. Kirk R. В., Crenshaw J. A. A generalized topological measure theory // Trans. Amer. Math. Soc.— 1975.—V. 207.—P. 189-217.

30. Kisynski J. Eemark on strongly additive set functions // Fund. Math.—1969.—V. 63.—P. 327-332.

31. Kusraev A. G. Dominated operators.—Dordrecht a. o.: Kluwer, 2000.—446 p.

32. Lipeeki Z. On strongly additive set functions // Colloq. Math. 1971.—V. 22, № 2,—P. 255-256.

33. Lipeeki Z. Extensions of additive set functions with values in topological group // Bull. Acad. Polon. Sci. Ser. Sci. Math., Astronom., Phys.—1974,—V. 12, No. 1.—P. 19-27.

34. Lipeeki Z., PSaehky D., Thomsen W. Extensions of positive operators and extreme points. I // Colloq. Math.—1979.—V. 42,—P. 279-284.

35. Lipeeki Z. Extention of tight set functions with values in a topological group // Bull. Acad. Polon. Sci.—1974.—"V. 22, No. 2,—P. 105-113.

36. Lipeeki Z. Extension of vector-lattice homomorphisms revisited // Indag. Math. (N.S.)—1985.— V. 47.—P. 229-233.

37. Lipeeki Z. Eiesz type representation theorems for positive operators // Math. Nachr.—1987.— V. 131.—P. 351-356.

38. Panehapagesan Т. V., Palled Sh. V. On vector lattice-valued measures. I // Math. Slovaca.—1983.— V. 33, No. 3.—P. 269-292.

39. Panehapagesan Т. V., Palled Sh. V. On vector lattice-valued measures. II // J. Austral. Math. Soc. (Ser. A)—1986.—V. 40, No. 2,—P. 234-252.

40. Pettis B. J. On the extension of measures // Ann. Math.—1951.—V. 54,—P. 186-197.

41. Rieean B. An extension of the Daniel integration scheme // Mat. С as.—1975.—V. 25, No. 3.—P. 211219.

42. Rieean B. A simplified proof of the Daniel integral extension theorem in ordered spaces // Math. Slovaca.—1982,—V. 32, No. 1.—P. 75-79.

43. Schwartz L. Radon measures on arbitrary topological spaces and cylindrical measures.—London: Oxford Univ. Press, 1983.—393 p.

44. Seda A. K. Integral representation of linear functional on spaces sections // Proc. Amer. Math. Soc.—1984.—"V. 91, No. 4,—P. 549-555.

45. Semadeni Zb. Banach Spaces of Continuous Functions.—Warsaw: Polish Scientific Publishers, 1971.— 584.

46. Wheeler R. F. A survey of Baire measuresand strict topologies // Expositiones Math.—1984.—V. 1.— P. 97-190.

47. Wright J. D. M. Stone algebra valued measures and integrals // Proc. London Math. Soc. Proc.— 1969.—V. 19, No. 3.—P. 107-122.

48. Wright J. D. M. The measure extension problem for vector lattices // Ann. Inst. Fourier (Grenoble).— 1971.—V. 21,—P. 65-68.

49. Wright J. D. M. Vector lattice measure on locally compact spaces // Math. Z.—1971.—V. 120.— P. 193-203.

50. Wright J. D. M. An algebraic characterization of vector lattices with the Borel regularity property // J. London Math. Soc.—1973.—V. 7, No. 2,—P. 277-285.

51. Wright J. D. M. Products of positive vector measures // Quart. J. Math.—1973.—V. 24, No. 94.— P. 189-206.

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

52. Wright J. D. M. Measure with values in partially ordered spaces: regularity and rr-additivity // In: Measure Theory, Oberwolfach, 1975.—Berlin a.o.: Springer, 1976.—P. 267-276. (Lecture Notes in Math, 5.)

53. Zaanen A. C. Measurable functions and integral operators // Nieuw arch. wisk.—1985.—V. 3, No. 2.— P. 167-205.

гг. Владикавказ — Новосибирск Статья поступила 10 сентября 2002г.

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