Труды Карельского научного центра РАН
№6. 2021. С. 20-25 DOI: 10.17076/mat1412
УДК 519.21, 515.12
О МЕТРИЗАЦИИ ФУНКТОРА ИДЕМПОТЕНТНЫХ ВЕРОЯТНОСТНЫХ МЕР
А. В. Иванов
Институт прикладных математических исследований КарНЦ РАН, ФИЦ «Карельский научный центр РАН», Петрозаводск, Россия
В идемпотентной математике аналогом вероятностной меры на компакте X является нормированный функционал / : C(X) ^ R, линейный относительно идемпотентных арифметических операций. Для обычных вероятностных мер давно построена содержательная теория квантования, имеющая широкие приложения (квантованием меры называется ее приближение мерами с конечными носителями). Естественно встает вопрос о построении аналогичной теории для идемпотентных вероятностных мер. Квантование предполагает наличие метрики на пространстве I(X) идемпотентных вероятностных мер, совместимой с топологией и задающей метризацию функтора I идемпотентных мер в смысле В. В. Федорчука. Вариант метрики на пространстве I(X) был определен в совместной работе Л. Базилевич, Д. Реповша и М. Заричного при доказательстве гомеоморфности этого пространства гильбертову кубу для любого бесконечного метрического компакта X. Однако метрика Базилевич и др. имеет слишком сложную структуру, что затрудняет ее использование для оценки приближений. В работе предложен модифицированный вариант метризации функтора I, более удобный для построения теории квантования идемпотентных вероятностных мер.
Ключевые слова: идемпотентная вероятностная мера; квантование мер; метризуемый функтор.
A. V. Ivanov. ON METRIZATION OF THE FUNCTOR OF IDEMPOTENT PROBABILITY MEASURES
In idempotent mathematics, an analogue of a probability measure on a compactum X is a normed functional / : C(X) ^ R, linear with respect to idempotent arithmetic operations. For ordinary probability measures, a meaningful theory of quantization has long been available, which has a wide range of applications (quantization of a measure is called its approximation by measures with finite supports). The question naturally arises of constructing a similar theory for idempotent probability measures. Quantization presupposes the presence of a metric on the space I(X) of idempotent probability measures, compatible with the topology and defining a metrization of the functor I of idempotent measures sensu V. V. Fedorchuk. A version of the metric on the space I(X) was defined in a joint paper by L. Bazilevich, D. Repovs, and M. Zarichnyi when proving that this space is homeomorphic to the Hilbert cube for any infinite metric compactum X. However, the structure of the metric of Bazilevich et al. is too complicated for it to be used for estimating approximations. In this paper, we propose a modified version of the metrization of the functor I, which is more convenient for constructing a theory of quantization of idempotent probability measures.
Keywords: idempotent probability measure; quantization of measures; metrizable functor.
В идемпотентной математике аналогом вероятностной меры на компакте X является нормированный функционал ß : C(X) ^ R, линейный относительно идемпотентных арифметических операций (суммы x ® y = max{x, y} и произведения x 0 y = x + y). Множество таких функционалов I(X), наделенное слабой* топологией, называется пространством идемпотентных вероятностных мер компакта X. Топологические свойства пространства I(X) исследованы в работе М. Зарич-ного [1], где показано, в частности, что I(X) является компактом для любого компакта X. Конструкция I определяет ковариантный функтор в категории компактов и непрерывных отображений Comp, который является нормальным в смысле Е. В. Щепина [5]. Таким образом, свойства функтора I аналогичны свойствам функтора P классических вероятностных мер.
Для обычных вероятностных мер построена содержательная теория квантования, имеющая широкие приложения [8] (квантованием меры называется ее приближение мерами с конечными носителями). Естественно встает вопрос о построении аналогичной теории для идемпотентных вероятностных мер, к которому можно подходить с общих функтори-альных позиций (см. [2]). Для решения задачи квантования необходимо выбрать удобную метрику на I(X), совместимую с топологией и задающую метризацию функтора I в смысле В. В. Федорчука [3]. Например, для функтора экспоненты exp такой метрикой является метрика Хаусдорфа (exp X - пространство непустых замкнутых подмножеств компакта X с топологией Вьеториса), для функтора P -метрика Канторовича-Рубинштейна.
В работе Л. Базилевич с соавт. [7] для каждого метрического компакта (X, р) была определена метрика на I(X), которая фактически задает метризацию функтора I по Федорчуку. Однако квантование идемпотентных вероятностных мер с использованием этой метрики сталкивается с техническими трудностями, которые вызваны сложной структурой ее определения (в первую очередь это касается оценок расстояния сверху).
В настоящей работе предложена модификация метрики, определенной в [7], облегчающая построение теории квантования идем-потентных мер и при этом удовлетворяющая естественные требования, которые можно предъявить к метризации функтора I. В частности, ограничение этой метрики на подпро-
странство exp X С I(X) совпадает с метрикой Хаусдорфа.
Для компактного хаусдорфова пространства (компакта) X через C (X), как обычно, обозначается пространство непрерывных функций на X; cx - постоянная функция на X со значением c € R.
Определение 1. [1] Функционал ß: C(X) ^ R
называется идемпотентной вероятностной мерой, если для любых f,g € C(X) и c € R
1) ß(cx) = c;
2) ß(cx + f) = c + ß(f);
3) ß(max{f,g}) = max{ß(f),ß(g)}.
Множество идемпотентных вероятностных мер обозначается через I(X). Любой функционал ß € I(X) сохраняет порядок. Это означает, что если функции f, g € C(X) связаны поточечным неравенством f (x) ^ g(x) для любого x € X, то ß(f) ^ ß(g). Из указанного свойства следует, что для любой меры ß € I(X) и f € C (X) выполняются неравенства
min f ^ ß(f) ^ max f. (1)
Через Rmax в идемпотентной математике обозначается полупрямая, компактифицированная точкой —те: Rmax = [-те, 0]. Для каждой идемпотентной вероятностной меры ß € I(X) определена ее плотность dß : X ^ Rmax по формуле dM(x) = inf{ß(f) : f € C(X), f ^ 0x, f(x) = 0}. Функция dß удовлетворяет условию max d^ = 0 и полунепрерывна сверху. Последнее означает, что для любой точки ж € X и любого числа r € R такого, что d^(x) < r, существует окрестность U точки ж такая, что dM(x') < r для любого x' € U. При этом функция плотности определяет исходную меру ß:
ß(f) = max{dM(x) + f (x) : x € X}, (2)
где f € C(X). (Формула (2) корректна, поскольку функция dß + f полунепрерывна сверху и, следовательно, sup{dM(x) + f (x) : x € X} достигается в некоторой точке компакта X). И обратно, если взять любую полунепрерывную сверху функцию g : X ^ Rmaxj удовлетворяющую условию maxg = 0, то формула (2) определяет идемпотентную вероятностную меру ßfl:
ßg(f) = max{g(x) + f (x) : x € X},
для которой dßg = g (см. [6]).
Множество I(X) является подмножеством пространства RC(X) с тихоновской топологией.
Тем самым I(X) наделяется слабой* топологией. В [1] показано, что для любого компакта X пространство I(X) является компактом.
Для любого непрерывного отображения компактов Н : X ^ У определено непрерывное отображение I(Н) : I(X) ^ I(У), действующее по формуле: I(Н)(^)(/) = о Н), где / € С (У). Конструкция I определяет ковари-антный функтор в категории Сотр компактов и непрерывных отображений (см. [1]).
Определение 2. [4] Функтор Т в категории Сотр называется полунормальным, если Т:
1) сохраняет точку и пустое множество;
2) сохраняет мономорфизмы;
3) сохраняет пересечения;
4) непрерывен, то есть перестановочен с операцией перехода к пределу обратного спектра.
В дальнейшем через Т обозначается полунормальный функтор, и при этом мы считаем дополнительно, что Т сохраняет вес всякого бесконечного компакта. Если А - замкнутое подмножество компакта X, то в силу условия 2) Т(А) естественно вкладывается в Т(X). Таким образом, можно считать, что Т(А) С Т(X). Для каждой точки £ € Т(X) определен ее носитель вирр(£) как наименьшее замкнутое подмножество А С X, для которого £ € Т(А). Для каждого п € N множество
Тп^) = {£ € Т(X) : |^рр(£)| < п}
является замкнутым подмножеством Т(X). При этом ) естественно гомеоморфно X (каждая точка х € X отождествляется с единственной точкой пространства Т({х})).Таким образом, X = Т1 (X) С Т(X).
В работе [1] доказано, что функтор I идем-потентных вероятностных мер удовлетворяет всем перечисленным выше условиям. Нетрудно показать, что зирр(^) = {х : ^(х) > —те} для любой меры ^ € I(X).
Определение 3. [3] Функтор Т называется метризуемым, если для любого метрического компакта (X, р) может быть указана совместимая с топологией метрика рт на Т(X) так, что выполнены следующие условия:
1) для любого изометрического вложения г : ^^р^ ^ , р2) отображение Т(г) : (Т(XI), (р1)^) ^ (Т^2), (р2)^) также является изометрическим вложением;
2) рт|х = р;
3) ^гат(Т(X)) = ^гат^).
При этом семейство метрик {рт} по определению задает метризацию функтора Т.
В работе [7] для каждого метрического компакта (X, р) определена метрика на пространстве I(X) следующим образом. Для п € N и любых двух мер V € I(X)
рп(^) = Пвир{|^(/) — V(/)| : / € Ьгрп^)},
П (3)
где Lгpn(X) - множество вещественных функций на X, удовлетворяющих условию Липшица с константой п.
Функции рп являются непрерывными псев-дометриками1 (см. [7], теорема 4.1). При этом семейство {рп : п € N разделяет точки I(X), и функция
р1 = ^
п=1
рп(^ ) 2п
является совместимой метрикой на I(X).
Определение 4. Для мер V € I(X) положим
р1 )
= -ф{£ |МП/1(п/" : / € ^(.Т)}.
п=1
п2п
(4)
Заметим, что в силу (1) для функции / € )
Ип/) — V(п/)| ^ тах(п/) — тт(п/)
^ п ■ ^гат^). Следовательно, ряд ^^с=1 ^ сходит-
рIV) ^ ^гат^). (5)
ся и
Пусть (X, р) - метрический компакт, х € X и е > 0. Для открытого (замкнутого) е-шара точки х используются следующие обозначения: 0(х,е, р) = {у : р(х,у) < е} (В(х,е, р) = {у : р(х,у) ^ е}). Если из контекста ясно, о какой метрике идет речь, допускается сокращенная запись: 0(х,е) (В(х,е)). Аналогично обозначаются открытый и замкнутый е-шары подмножества А С X.
Теорема. Для любого метрического компакта (X, р) функция р1 является совместимой с топологией метрикой на I(X), которая задает метризацию функтора I.
хИз условия рп(м, V) = 0 не следует, вообще говоря, равенство ^ = V.
22
Доказательство. Очевидно, что р/ симметрична и р/= 0 для ^ е I(X). Для любого п е N имеет место равенство
п • ¿¿Р1(Х) = (п/ : / е Ьгр1(Х)} = ¿гр„(Х).
Следовательно, согласно формуле (3)
рп(^) = Пвир(|^(п/(п/)| : / е ¿гр1(Х)}.
П (6) Таким образом, для любых V е I(X) и любого п € N
рп(^) < Р/).
(7)
Поскольку семейство (рп : п е N разделяет точки I(X), в силу (7) р/V) > 0 при ^ = V.
Покажем, что для р/ выполняется неравенство треугольника. Пусть V, £ е I(X). Тогда р/
= Мп/)-V(п/)1 : / е ^^)}
п=1
2пп
<
Ип/) - £(п/)1 ^ |£(п/) - V(п/)|
2пп
1+£
2пп
: / е Ьгр^)} < р/(^,£) + р/(^£).
Итак, р/ - метрика на I(X). Проверим совместимость р/ с топологией I(X). Для любых V е I(X) выполняется неравенство
р/V) < р/
(8)
В самом деле,
те
= 8цР(^
п=1
р/
Нп/) - V(п/)|
2пп
<
п=1
Ип/) - V(п/)|
2пп
: / е Ьгр^)}
: / е Ьгр^)}
^ рп(^ v) / , ч
—2п— = р/ ).
п=1
В силу (8) для любого е > 0 и ^ е I(X) имеет место включение е, р/) С е, р/). Метрика р/ совместима с топологией (см. [7]). Следовательно, любая е-окрестность е, р/) содержит некоторую топологическую окрестность точки
Пусть теперь и - топологическая окрестность ^ в I(X). Для каждой точки V е I(X)\и
выберем псевдометрику рп, которая разделяет ^ и V. Пусть
V)
2п
= а„ > 0.
В силу непрерывности рп найдется окрестность ©V меры V такая, что для любого £ е ©V
рп(^,£) > а* 2п > 2 .
И тогда в силу (7)
р/ (м) > у
для любого £ е Ov. Из покрытия {Ov : V е I(X) \ и } множества I(X) \ и выделим конечное подпокрытие (Ovl,..., Ovk}. Пусть
е = ш1п(^ : г = 1,..., к}.
По построению р/(^,£) > е для любой точки £ е I(X) \ и. Следовательно, е, р/) С и, что и требовалось.
Покажем теперь, что метрика р/ задает метризацию функтора I. Для проверки условия 1) определения 3 достаточно убедиться в том, что для любого замкнутого подмножества ^ метрического компакта (X, р) и любых мер V е I(^) С I(X), выполняется равенство
(рЬ )/(^) = р/ ). (9)
Как известно, любая функция / е ) до-
пускает продолжение / е Ьг^^) на метрический компакт X. Продолжение / может быть определено, например, по формуле:
/(ж) = 8цр(/(и) — р(ж, и) : и е ^}.
Из существования / следует равенство (9).
Каноническое вложение X С I(X) определяется отождествлением точек ж е X с мерами Дирака 6Х е I(X). Пусть а, Ь е X. Для любой функции / е Ьгр1 (X)
I/(а) - /(Ь)| < р(а, Ь).
(10)
Следовательно, р/(¿а,^ р(а,Ь). В то же время для функции /(ж) = р(а, ж) е Ьг^^) неравенство (10) превращается в равенство. Таким образом, р/(¿а, ¿ь) = р(а, Ь) - условие 2) определения метризуемого функтора выполнено.
Условие 3) является прямым следствием неравенства (5) и условия 2). □
Как обычно, через ехр X мы будем обозначать пространство непустых замкнутых подмножеств компакта X с топологией Вьетори-са. В [1] показано, что ехр X естественно вкладывается в пространство I(X) (более того, функтор ехр является подфунктором функтора I). При этом вложении замкнутое подмножество ^ € ехр X отождествляется с мерой ^ € I(X), которая определяется по формуле
(/) = тах{/(х) : х € ^},
где / € С(X). Для метрического компакта (X, р) топологию Вьеториса на ехр X порождает классическая метрика Хаусдорфа рн:
рн(Р,С) = тт{е : С С В(Р,е), ^ С В(С,е)},
€ ехр X.
Следующее предложение показывает, что ограничение метрики р1 на ехр X совпадает с метрикой Хаусдорфа.
Предложение. Для любых С € ехр X р1 (№ ,^с) = рн № С).
Доказательство. Пусть С € ехр X. рн С) = а и / € Lгp1(X). Предположим для определенности, что ^^(/) ^ ^с(/) и ^^(/) = /(р), где р € ^. Для точки р найдется точка д € С такая, что р(р, д) ^ а. Тогда /(р) — /(д) ^ а, откуда следует, что (/) — ^с(/) ^ а. Аналогичные выкладки можно провести для функции п/, где п € N и мы получим, что
^(п/) — ^с (п/) ^ па. (11)
Из формулы (11) следует неравенство р1 (№,^с) ^ а.
Поскольку рн С) = а, в одном из множеств (^ или С) существует точка, удаленная от другого множества на расстояние а. Пусть в € С и р(в, ^) = а. Рассмотрим функцию д(х) = р(х,^) € Lгp1(X). Для любого п € N имеем ^с(пд) ^ пд(в) = па и (пд) = 0. Следовательно, (пд) — ^с(пд)! ^ па. Значит, р1 (^,^с) ^ а. □
В силу определения идемпотентных вероятностных мер (свойство 2)) в формулах (4) и (6) можно рассматривать только функции / € Lгpl(X), которые принимают нулевое значение в некоторой фиксированной точке хо € X. Множество таких функций будем обозначать через Lгp1(X, х0).
Пример. Метрика р1 не совпадает с метрикой
р1 .
На множестве X = {а, Ь, с} зададим метрику р следующим образом: р(а, Ь) = 1, р(а, с) = р(Ь, с) = 3. Меры V € I(X) определим с помощью функций плотности: ^(а) = 0, ^(Ь) = —те, ^(с) = —3; (а) = —те, ^(Ь) = 0, ^(с) = —1. Покажем, что р1 V) < р\V).
Пусть / € Lгp1(X, а). Нетрудно показать, что ) = 0 и —1 ^ V(/) ^ 2. Откуда следует, что
р1(^) = вир{|^(/) — V (/)|
: / € ¿гр^а)} = 2, (12)
причем супремум достигается на функции / € Lгp1(X, а), принимающей значение /(с) = 3. При этом
8ир{И/) — V(/)| : / € ¿гр1 (X, а), /(с) <2} = 1.
(13)
Найдем теперь величину
А(п) = 8ир{|^(п/) — v(n/)|
: / € ¿гр^а),/(с) > 2} (14)
при п > 1. Если /(с) > 2, то ) = п/(с) — 3, V(/) = п/(с) — 1 и М/) — V(/)| = 2. Следовательно, А(п) =2.
При этом для функции д € Lгp1(X, а), принимающей значения д(Ь) = д(с) = —1,
Ипд) — V (пд)| = п.
Таким образом, при п > 2
А(п) < 8Ир{|^(п/) — V(n/)|
: / € ¿гр^а),/(с) < 2}. (15) Из формул (12)-(15) следует, что
р1 )
= яф{£ Мп/^)| ; / € ^ ^а»
2п
п=1
< Е-р*!/^ : / € Ш(X, а)}
2п
п=1
= р1 ).
□
ЛИТЕРАТУРА
1. Заричный М. М. Пространства и отображения идемпотентных мер // Известия РАН. Сер. матем. 2010. Т. 74, вып. 3. С. 45-64.
10.4213/1т2785
2. Иванов А. В. О функторе вероятностных мер и размерностях квантования // Вестник ТГУ. Математика и механика. 2020. № 63. С. 15-26. аок 10.17223/19988621/63/2
3. Федорчук В. В. Тройки бесконечных итераций метризуемых функторов // Известия АН СССР. Сер. матем. 1990. Т. 54, вып. 2. С. 396417.
4. Федорчук В. В., Филиппов В. В. Общая топология. Основные конструкции. М.: Изд-во Моск. ун-та, 1988. 252 с.
5. Щепин Е. В. Функторы и несчетные степени компактов // Успехи мат. наук. 1981. № 31. С. 3-62.
6. Akian M. Densities of idempotent measures and large deviations // Trans. Amer. Math. Soc.
1999. Vol. 351, no. 11. P. 4515-4543.
7. Bazylevych L., Repovs D., Zarichnyi M. Spaces of idempotent measures of compact metric spaces // Topology and its Applications. 2010. Vol. 157, iss. 1. P. 136-144. doi: 10.1016/j.topol.2009.04.040
8. Graf S., Luschgy H. Foundations of quantization for probability distributions. Springer-Verlag,
2000. 231 p. doi: 10.1007/BFb0103947
Поступила в редакцию 19.03.2021
References
1. Zarichnyi M. M. Prostranstva i otobrazheniya idempotentnykh mer [Spaces and maps of idem-potent measures]. Izv. RAN. Ser. Mat. [Izvestiya: Mathematics]. 2010. Vol. 74, iss. 3. P. 45-64. doi: 10.1070/IM2010v074n03ABEH002495
2. Ivanov A. V. O funktore veroyatnostnykh mer i razmernostyakh kvantovaniya. Vestnik TGU. Matematika i mekhanika [Tomsk St. Univ. J. Mathematics and Mechanics]. 2020. No. 63. P. 15-26. doi: 10.17223/19988621/63/2
3. Fedorchuk V. V. Triples of infinite iterates of metrizable functors. Proceed. USSR Acad. Sci. Ser. Math. 1991. Vol. 36, no. 2. P. 411-433.
4. Fedorchuk V. V., Filippov V. V. Obshchaya topologiya. Osnovnye konstruktsii [General
Topology. Basic design]. Moscow: Izd-vo Mosk. un-ta, 1988. 252 p.
5. Shchepin E. V. Functors and uncountable powers of compacta. Russ. Math. Surveys. 1981. Vol. 36, no. 3. P. 1-71.
6. Akian M. Densities of idempotent measures and large deviations. Trans. Amer. Math. Soc.
1999. Vol. 351, no. 11. P. 4515-4543.
7. Bazylevych L., Repovs D., Zarichnyi M. Spaces of idempotent measures of compact metric spaces. Topology and its Applications. 2010. Vol. 157, iss. 1. P. 136-144. doi: 10.1016/j.topol.2009.04.040
8. Graf S., Luschgy H. Foundations of quantization for probability distributions. Springer-Verlag,
2000. 231 p. doi: 10.1007/BFb0103947
Received March 19, 2021
СВЕДЕНИЯ ОБ АВТОРЕ:
CONTRIBUTOR:
Иванов Александр Владимирович
ведущий научный сотрудник, д. ф.-м. н., профессор Институт прикладных математических исследований КарНЦ РАН, Федеральный исследовательский центр «Карельский научный центр РАН» ул. Пушкинская, 11, Петрозаводск, Республика Карелия, Россия, 185910 эл. почта: [email protected] тел.: +79217015441
Ivanov, Aleksander
Institute of Applied Mathematical Research, Karelian Research Centre, Russian Academy of Sciences 11 Pushkinskaya St., 185910 Petrozavodsk, Karelia, Russia
e-mail: [email protected] tel.: +79217015441