V- l™|■■■■ О
2023. Т. 44. С. 19—30
Онлайн-доступ к журналу: http://mathizv.isu.ru
Серия «Математика»
Research article УДК 517.9
MSC 28C15, 28A33, 46E27
DOI https://doi.org/10.26516/1997-7670.2023.44.19
On Radon Barycenters of Measures on Spaces of Measures
Vladimir I. Bogachev1'2'3'4^, SvetlanaN. Popova2,5
1 Lomonosov Moscow State University, Moscow, Russian Federation
2 National Research University Higher School of Economics, Moscow, Russian Federation
3 Saint Tikhon's Orthodox University, Moscow, Russian Federation
4 Moscow Center for Fundamental and Applied Mathematics, Moscow, Russian Federation
5 Moscow Institute of Physics and Technology (State University), Dolgoprudny, Russian Federation
И vibogach@mail.ru
Abstract. We study metrizability of compact sets in spaces of Radon measures with the weak topology. It is shown that if all compacta in a given completely regular topological space are metrizable, then every uniformly tight compact set in the space of Radon measures on this space is also metrizable. It is proved that the property that compact sets of measures on a given space are metrizable is preserved for products of this space with spaces that can be embedded into separable metric spaces. In addition, we construct a Radon probability measure on the space of Radon probability measures on a completely regular space such that its barycenter is not a Radon measure.
Keywords: Radon measure, barycenter, metrizable compact set of measures
Acknowledgements: This research is supported by the Saint Tikhon's Orthodox University and the Foundation "Living tradition" (the results in Section 2) and by the Ministry of Education and Science of the Russian Federation as part of the program of the Moscow Center for Fundamental and Applied Mathematics under the agreement No. 075-15-2022-284 (the results in Section 3).
For citation: Bogachev V. I., Popova S.N. On Radon Barycenters of Measures on Spaces of Measures. The Bulletin of Irkutsk State University. Series Mathematics, 2023, vol. 44, pp. 19-30.
https://doi.org/10.26516/1997-7670.2023.44.19
Научная статья
О радоновских барицентрах мер на пространствах мер В. И. Богачев1'2'3'4^,С. Н. Попова2 5
1 Московский государственный университет им. М. В. Ломоносова , Москва, Российская Федерация
2 Национальный исследовательский университет «Высшая школа экономики», Москва, Российская Федерация
3 Православный Свято-Тихоновский гуманитарный университет, Москва, Российская Федерация
4 Московский центр фундаментальной и прикладной математики, Москва, Российская Федерация
5 Московский физико-технический институт (государственный университет), Долгопрудный, Российская Федерация
KI vibogach@mail.ru
Аннотация. Изучается метризуемость компактных множеств в пространствах радоновских мер со слабой топологией. Показано, что если все компакты в данном вполне регулярном топологическом пространстве метризуемы, то всякое равномерно плотное компактное множество в пространстве радоновских мер на этом пространстве также метризуемо. Доказано, что метризуемость компактных множеств мер на данном пространстве сохраняется для произведений этого пространства с пространствами, которые вкладываются в сепарабельные метрические пространства. Кроме того, построен пример радоновской вероятностной меры на пространстве радонов-ских вероятностных на вполне регулярном пространстве, для которой барицентр не является радоновской мерой.
Ключевые слова: радоновская мера, барицентр, метризуемое компактное множество мер
Благодарности: Работа выполнена при поддержке Православного Свято-Тихоновского университета, фонда «Живая традиция» (результаты п. 2) и Минобрнауки России в рамках реализации программы Московского центра фундаментальной и прикладной математики по соглашению 075-15-2022-284 (результаты п. 2)
Ссылка для цитирования: Bogachev V. I., PopovaS.N. On Radon Barycenters of Measures on Spaces of Measures // Известия Иркутского государственного университета. Серия Математика. 2023. Т. 44. C. 19-30. https://doi.org/10.26516/1997-7670.2023.44.19
1. Introduction
The goal of this paper is two-fold: we study metrizability of compact sets of measures on general spaces and the Radon property of barycenters of measures on spaces of measures. These two questions are connected through the property of uniform tightness of measures, which involves naturally Prohorov spaces in our discussion.
The study of barycenters of measures on spaces of measures is of independent interest, but is also motivated by recent investigations of nonlinear Kantorovich problems of optimal transportation of measures, see [1;2;4;5; 10; 11; 13], and also the recent surveys [8] and [9].
Let us introduce some terminology and notation (see [6]). Throughout X is a completely regular topological space (see [6] or [12]) and B(X) is its Borel ^-algebra. The space of bounded continuous functions on X is denoted by Cb(X). A nonnegative Borel measure on X (all measures here are bounded) is called Radon if for every e > 0 there is a compact set K such that ^(X\K) < e. A signed measure ^ = — ^- is called Radon if its total variation = ^+ + ^- is Radon (equivalently, its positive and negative parts ^+ and ^- are Radon). The total variation norm is defined
The space of all Radon measures on X is denoted by Mr (X), the subset of probability measures is denoted by Vr (X). The space of measures is equipped with the weak topology (see [6] or [7]) generated by all seminorms of the form
Throughout compactness is meant in this topology.
A set of measures M c Mr (X) is called uniformly tight if for every e > 0 there is a compact set such that (X\K) < e for all ^ e M.
According to the Prohorov theorem, a bounded uniformly tight set of measures has compact closure in the weak topology (see [6, Theorem 8.6.7]).
A space X is called Prohorov if every weakly compact set of Radon probability measures is uniformly tight. For example, all complete metric spaces and all locally compact spaces are Prohorov. On the other hand, there are very simple Souslin spaces that are not Prohorov, for example, the space Q of rational numbers. The space X is called strongly Prohorov if all compact sets of signed measures are uniformly tight.
The barycenter of a Radon measure ^ on a locally convex space E such that all continuous linear functionals on E are ^-integrable is defined as a vector a e E for which
for every continuous linear functional I (see [6, §7.14(xii)]). We consider a particular case in which E is the space Mr (X) of Radon measures on a completely regular topological space X and P is a Radon probability measure on the subset Vr (X) of probability measures. In this case a broader concept of barycenter is used: the barycenter of P is the Borel measure ftp on X defined by the equality
by IMI = M(X).
1(a) = / l(x) y(dx) Je
Pp(B)= í p(B) P(dp), B e B(X)
Jvr(x)
It is known that the function p ^ p(B) is Borel measurable on Vr (X), so the integral is well-defined and ftp is a Borel measure, moreover, the measure ftp is т-additive (see [6, Proposition 8.9.8 and Corollary 8.9.9]). The measure ftp is Radon if and only if the measure P is concentrated on a countable union of uniformly tight compact sets in Vr (X) (see [9, Proposition 3.1]). Therefore, such a barycenter need not be an element of the space E = Mr (X), but may belong to a larger space of Borel measures. However, on many spaces all Borel measures are automatically Radon, for example, this is true for Souslin spaces, but if X is Souslin, then Mr(X) is also Souslin, hence in this case barycenters are Radon. Another sufficient condition for the existence of a Radon barycenter for all measures in Vr(Vr (X)) is the Prohorov property of the space X. Note that in [1; 4; 5] and some other works the term "intensity" is used for barycenters of measures on spaces of measures.
Our first main result gives an example of a Radon measure on the space of Radon probability measures for which the barycenter is not Radon. This result gives a positive answer to the question posed in [9].
Our second main result describes a broad class of spaces X such that all compacta in Vr (X) are metrizable. In particular, this is true if X is Prohorov and all compacta in X are metrizable. More precisely, we show that if compacta in X are metrizable, then every uniformly tight compact set in Vr (X) is also metrizable. However, we do not know whether the metrizability of compacta in X implies alone the metrizability of compacta in Vr (X). Finally, we show that if compacta in Vr (X) and Vr (Y) are metrizable, then the same is true for Vr(X x Y). A similar result is proved for the whole space of measures Mr (X x Y) if Y has a countable family of continuous functions separating points (i.e., can be embedded into a separable metric space).
Of course, a general necessary and sufficient condition for the metrizabi-lity of a compact space is the existence of a countable family of continuous functions on this space separating its points. But when we are speaking of metrizability of all compacta in a given space, the assumption that such a sequence exists on the whole space is too strong, so we are interested in other conditions.
2. A non-Radon barycenter
The goal of this section is to construct a Radon measure on the space of Radon probability measures such that its barycenter is not Radon.
Let us consider the product regarded as the space of functions
[x: [0,1] ^ R} with the standard Tychonoff product topology (see [12]), i.e., the topology of pointwise convergence of functions.
Theorem 1. There is a Radon probability measure Pon the space Vr(R[0'1]) of Radon probability measures on
RM such that its barycenter ftp is not a
Radon measure.
Proof. Let 5a denote Dirac's measure at a. For every function x: [0,1] — [0,1] we take the measure .x e V(R[0'1]) defined as follows:
.x = vx,t, te[o,i]
where ^ t e (R), vxt = I(1 - x(№ + x(t)^ if x(t) > 0, x' ( h x' \ 5o if dx(i) = 0.
The product-measure .x is first defined on the cylindrical a-algebra of
the space R[0 '1] , but it extends to a Radon probability measure on the Borel
a-algebra #(R[0'1]), because it is tight: the outer measure of the compact
set
k = n [0,g(x(t))],
te[0 ,i]
where g(s) = 1/s if s > 0 and <7(0) = 1, equals 1; see [6, Section 7.3] about such extensions. The mapping J: x — .x is continuous from [0,1][0,1] to Vr(R[0'1]), since the mapping x — vx>t is continuous for each t e [0,1], so the product-measure is also continuous in x (see [6, Theorem 8.4.10]). Let P be the image of the power AM of Lebesgue measure A on [0,1] under the mapping x — .x. Then the measure P belongs to Vr(Pr(R[0'1])) and is concentrated on the compact set {/.ix: x e [0,1][0'1]}, which is the image of the compact set [0,1][0,1] under J.
The barycenter ftp of P is the product-measure P[0'1], where ft is the barycenter of the image of Lebesgue measure A under the mapping
s ——y (1 - s)80 + s51/s, [0,1] —Vr(R).
Thus,
ft = ((1 - s)¿0 + S51/s)ds. 0
We have P({0}) = 1/2 and
1
sds = 1 - -
'1/t
It follows that ft*P(K) = 0 for every compact set K C R[0'1]. Indeed,
P([0,t])= ! (1 - s)ds + [ sds = 1 - yt> 1. J0 J 1/t 2
K C n [-y(t), y(t)]
ie[0,1]
for some function y: [0,1] — R+. There is N such that y(t) < N for infinitely many points t e {tj ,je N}. Then
<x
p* (K ) < ^P ([0,N ]) = 0,
3=1
because ft([0,^]) < 1 for each N. Therefore, is not a Radon measure, moreover, it has no Radon extension from the cylindrical a-algebra. □
Remark 1. It is worth noting that the measure P has the following property: there is no uniformly tight compact set K C Vr(R[0'1]) with P(K.) > 0. Indeed, otherwise
K C eVr(R[0'1]): v(K) > 1/2}
for some compact set K C R[0'1]. We have K C nie[0 1][-y(t),y(t)] for some function y : [0,1] ^ R+. Then
p^/J. eVr(R[0'1]): »(K) > 1/2)
< A[0'1](* G [0,1]M : n [-y(t),y(t)]) > 1/2).
ie[0,1]
There is N such that the set [t G [0,1] : y(t) < N} is infinite. Let y(t) < N for t G [tj,j G N}. Then
œ œ
n [-y(t),y(t)]) < n^([-N,N]) = nh(x(tj)),
ie[0,1] 3=1 3=1
where h(s) = 1 - s if 0 < s < 1/N and h(s) = 1 if x > 1/N. We have
A[0'1] ([x G [0,1][0'1] : x(tj) G [1/(2N), 1/N) for infinitely many = 1,
hence
A[0'1] (x G [0,1][0'1] : h(x(tj)) < 1 - 1/(2N) for infinitely many j) = 1.
Therefore, A[0'1] G [0,1][0'1] : Ar (riie[0)1][-y(t),y(t)]^j = 0) = 1, which is a contradiction.
3. Metrizability of compacta in spaces of measures
If all compacta in the space of probability measures Vr (X) are metrizab-le, then the same is true for the space X itself, because it is homeomorphic to the subset of Dirac measures. Apparently, the converse is not true, so the following partial converse might be of interest.
Theorem 2. Suppose that all compact sets in X are metrizable. Then uniformly tight compact sets in M.r(X) are also metrizable.
Proof. Let S C Mr(X) be a uniformly tight compact set. We can assume that all measures in S have total variation norms at most 1. For each n there is a compact set Kn C X such that \a\(X\Kn) < 2-n for all a e S. These sets can be taken increasing. We show that there is a countable family of continuous functions on S separating the elements of S. For such functions we pick linear functionals on M.r (X) of the form
fn(x) .(dx)
Jx
with suitable bounded continuous functions fn on X. Since the compact sets Kn are metrizable, for each fixed n there are functions gn,i e Cb(X) with supxex 19n,i(x)l = supxe#n |Qn,i(x)| = 1 and the following property:
||z/|| = sup / gn,idv i J Kn
for every Radon measure v on Kn. Next, for every m> n we can find open sets Un,m,j in the metrizable compact space Km such that
Un,m,j+1 C Un,m,j, Kn — P^j Un,m,j.
3 = 1
In the whole space X there are open sets Wn,m,j for which
Un
= Wn ,m,j n Km.
Finally, for fixed n, m,j we take a function <pn,m,,j e Cb(X) such that
0 < fn,m,j < 1, fn,m,j \Kn = 1, fn,m,j \x\W„tmJ = 0.
Such functions exist, since X is completely regular (see, e.g., [6, Lemma 6.1.5]). For the desired functions fn we take the functions (pn,m,j9n,i enumerated by a single index.
Let us show that the integrals of these functions separate measures in S. Suppose that a1,a2 e S are distinct. Then there is n such that the restrictions of these measures to Kn are distinct. Let
S = b^Kn -a2\Kn y > By our construction, there is a function gn,i such that
/ gn,i da1 - gn,i da2 >Kn jk„
> ^
Next, there is m > n such that
M(X\ Km) + \a2\(X\Km) < 1S.
o
Then
'X\K„
fn da\
+
!X\K„
fn d(T2
<-5 Vn e N. 8
(3.1)
Since the sets Un,m, j decrease to Kn, there is j for which
Wl l(Un,m,j\Kn) + W2l(Un,m,j\Kn) < 1S.
8
Therefore,
Un,rri,j \Kn
fn da\
+
Un,m,j\Kn
fn da2
<-5 Vn e N. (3.2) 8
Let us now compare the integrals of the function gn,ilpn,m,j with respect to ci and a2. This function equals gn,i on Kn, so
I 9n,i(fin,m,j d(7i I (Jn,i(fin,m,j d&2 >Kn JKn
Next, we have (3.1) for this function and
/ 9n,i<fn,m,j d(M + |^2|)
'Km\Kn
< 8 -
because gn,i(pn,m,j(x) =0 if x £ Kn\Un,m,j and (3.2) holds. Thus, the
difference of the integrals of gn,i(pn,m,j over the whole space is at least 5/2.
' ' ' □
It is unlikely that the assumption of uniform compactness can be omitted, but we have no confirming examples. Standard examples of non-metrizable spaces with metrizable compacta (say, with countable compacta, see, e.g., [3], [14]) do not work.
We also do not know whether the metrizability of compacta in the space Vr (X) of probability measures is sufficient for the metrizability of compacta in the whole space of measures. If compacta in Mr(X) are uniformly tight (i.e., X is strongly Prohorov), then the answer is obviously positive.
If the space X admits a continuous injection j into a completely regular space Y such that compacta in Mr (X) or Vr (X) are metrizable, then X also has the respective property, because j generates a continuous injection Mr (X) ^ Mr (Y). In particular, compacta in Vr (X) are metrizable if X admits a continuous injection into a metric space Y, since Vr(Y) is metrizable (see [6, Theorem 8.3.2]).
The next result shows that the metrizability of compacta in the space of measures is preserved by taking products with spaces possessing countable families of continuous functions separating points (the latter is equivalent to the existence of a continuous injection into a separable metric space).
For the class of probability measures, it suffices that compacta in spaces of probability measures on both factors be metrizable.
We need the following simple observation: if S is a metrizable compact set in Mr(X), then there is a sequence {fn] of bounded continuous functions on X such that the functionals
fnd.
Jx
separate measures in S. Indeed, the family of all integrals of functions in Cb(X) separate measures on X, hence on every compact set there is a countable subfamily separating the elements of this subset.
Theorem 3. (i) Suppose that all compacta in the space Mr(X) are metri-zable. Then the same is true for Mr (X x Y) provided that the space Y possesses a countable family of continuous functions separating points.
(ii) Suppose that all compacta in the spaces of probability measures Vr (X) and Vr(Y) are metrizable. Then the same is true for Vr(X x Y).
Proof. (i) Let {gn] be a sequence of continuous functions on Y separating points. We can assume that these functions are bounded and that their linear combinations with rational coefficients also belong to this sequence. Then we can add to this countable family all finite products of its elements. It is readily seen that the obtained family (again denoted by {gn}) separates measures on Y (continuous functions on compact sets in Y are uniformly approximated by functions from this family, which follows from the Stone-Weierstrass theorem).
For a bounded continuous function q on X xY and a measure a on X xY we denote by q ■a the measure with the Radon-Nikodym density q with respect to a. Below we use such measures for functions q depending only on one argument.
Let S be a compact set in Mr (X x Y). For every function gn the set of measures gn ■. e S, is also compact. Hence its projection Sn on Mr(X) is compact and then is metrizable by our assumption. As noted above, there is a countable family {fn,k} of bounded continuous functions on X such that the integrals of these functions separate measures in Sn.
Let us show that the integrals of the functions fn,k(x)gn(y) separate measures in S. Suppose that a1,a2 e S assign equal integrals to each function fn,k(x)gn(y). We verify that for every f e Cb(X) and every g e Cb(Y) the integrals of f(x)g(y) with respect to a1 and a2 coincide. This will imply the equality a1 = a2. We observe that for every fixed n the projections of gn ■a1 and gn ^a2 on X assign equal integrals to all functions fn,k, because the integral of fn,k(x) with respect to the projection of gn ■ a% on X is the integral of fn,k(x)gn(y) with respect to a%. Hence these projections coincide
and assign equal integrals to the function f, which means that / f (x)9n(y) oi(dxdy)= f (x)gn(y) a2(dxdy).
JXxY JXxY
We now look at the projections of the measures f ■ ai and f ■ a2 on Y and observe that by the previous identity they assign equal integrals to all functions gn. Due to our choice of {gn} this implies the coincidence of these projections. Hence they assign equal integrals to g, which completes the proof.
(ii) We need the following criterion of compactness due to Tops0e [15] (see also [7, Theorem 4.5.7]): a bounded subset M of the set M+(X) of nonnegative measures has compact closure precisely when for every e > 0 and each collection U of open sets with the property that every compact set in X is contained in a set fromU, there exist sets Ui,.. .,Un £U such that
min{^(X\Ui): 1 < i < n} <e V ^ £ M.
Let S cVr(X x Y) be compact. By the cited result the set S0 of measures of the form f ■ a, where a £ S, f £ Cb(X) and 1 < f < 2, has compact closure. Then the projection of S0 on Y is contained in a compact set M0 of nonnegative measures on Y. Such sets are also metrizable under our assumption that compacta in Vr(Y) are metrizable. Indeed, the image of Mo under the continuous mapping v ^ v/v(Y) is compact in Vr(Y). Let Mi be this image. Then M0 is contained in the image of the metrizable compact set Mi x [1,2] under the continuous mapping (u, t) ^ tu, but this image is also metrizable (see, e.g., [12, Theorem 4.4.15]). Now the same reasoning as in (i) applies once we pick a sequence of functions gn £ Cb(Y) separating measures on M0. The only difference is that now we consider functions f (x)g(y) with 1 < f < 2 and obtain the equality of the integrals of such functions, but this yields the same for any function f £ Cb(X), because it can be written as cifi + c2, where ci, c2 are constants and 1 < fi < 2. □
Remark 2. It is clear from the proof that the assumption about Y can be replaced by the following one: compact sets in Mr (Y) are metrizable and uniformly tight (i.e., Y has the strong Prohorov property). Indeed, under these assumptions the family M of projections on Y of all measures of the form f ■ a, where a £ S and f £ Cb(X), If | < 1, is contained in the family of measures <p ■ v, where v belongs to the projection SY of S on Y and <p is a Borel function with I^I < 1. The projection SY is compact, hence in our situation is uniformly tight, which implies the uniform tightness of M. Thus, M is contained in a compact set M0, which is metrizable by assumption, so the functions gn used above should be picked with the property to separate measures in M0 rather than in the whole space Mr (Y). However, we do not know whether this theorem is true if we only assume that compacta in Mr (Y) are metrizable.
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11
12
13
14
15
1
2
3
References
Acciaio B., Beiglbock M., Pammer G. Weak transport for non-convex costs and model-independence in a fixed-income market. Math. Finance, 2021, vol. 31, no. 4. pp. 1423-1453. https://doi.org/10.1111/mafi.12328
Alibert J.-J., Bouchitte G., Champion T. A new class of costs for optimal transport planning. European J. Appl. Math., 2019, vol. 30, no. 6. pp. 1229-1263. https://doi.org/10.1017/S0956792518000669
Arkhangel'skil A.V., Ponomarev V.I. Fundamentals of General Topology. Problems and Exercises. Translated from the Russian. Reidel, Dordrecht, 1984, 415 p. Backhoff-Veraguas J., Beiglbock M., Pammer G. Existence, duality, and cyclical monotonicity for weak transport costs. Calc. Var. Partial Differ. Equ., 2019, vol. 58, no. 203, pp. 1-28. https://doi.org/10.1007/s00526-019-1624-y
Backhoff-Veraguas J. Pammer G. Stability of martingale optimal transport and weak optimal transport. Ann. Appl. Probab., 2022, vol. 32, no. 1. pp. 721-752. https://doi.org/10.1214/21-AAP1694
Bogachev V.I. Measure Theory. In 2 vols. Berlin, Springer, 2007, vol. 1, 500 p.; vol. 2, 575 p. https://doi.org/10.1007/978-3-540-34514-5
Bogachev V.I. Weak Convergence of Measures. Amer. Math. Soc., Providence, Rhode Island, 2018, 286 p. https://doi.org/10.1090/surv/234
Bogachev V.I. Kantorovich problems with a parameter and density constraints. Siberian Math. J., 2022, vol. 63, no. 1. pp. 34-47. https://doi.org/10.1134/S0037446622010037
Bogachev V.I. The Kantorovich problem of optimal transportation of measures: new directions of research. Uspehi Matem. Nauk (Russian Math. Surveys), 2022, vol. 77, no. 5. pp. 3-52. https://doi.org/10.4213/rm10074 (in Russian) Bogachev V.I., Malofeev I.I. Nonlinear Kantorovich problems depending on a parameter. The Bulletin of Irkutsk State University. Series Mathematics., 2022, vol. 41. pp. 96-106. https://doi.org/10.26516/1997-7670.2022.41.96 Bogachev V.I., Rezbaev A.V. Existence of solutions to the nonlinear Kantorovich problem of optimal transportation. Mathematical Notes, 2022, vol. 112, no. 3. pp. 369-377. https://doi.org/10.1134/S0001434622090048 Engelking P. General Topology. Warszawa, Polish Sci. Publ., 1977, 626 p. Gozlan N., Roberto C., Samson P.-M., Tetali P. Kantorovich duality for general transport costs and applications. J. Funct. Anal., 2017, vol. 273, no. 11. pp. 33273405. https://doi.org/10.1016/j.jfa.2017.08.015
Steen L., Seebach J. Counterexamples in Topology. 2nd ed. New York, Springer, 1978, 244 p.
Tops0e F. Preservation of weak convergence under mappings. Ann. Math. Statist., 1967, vol. 38, no. 6. pp. 1661-1665. https://doi.org/10.1214/aoms/1177698600
Список источников
Acciaio B., Beiglbock M., Pammer G. Weak transport for non-convex costs and model-independence in a fixed-income market // Math. Finance. 2021. Vol. 31, N 4. P. 1423-1453. https://doi.org/10.1111/mafi.12328
Alibert J.-J., Bouchitte G., Champion T. A new class of costs for optimal transport planning // European J. Appl. Math. 2019. Vol. 30, N 6. P. 1229-1263. https://doi.org/10.1017/S0956792518000669
Архангельский А. В., Пономарев В. И. Основы общей топологии в задачах и упражнениях. М. : Наука, 1974. 423 c.
4. Backhoff-Veraguas J., Beiglbock M., Pammer G. Existence, duality, and cyclical monotonicity for weak transport costs // Calc. Var. Partial Differ. Equ. 2019. Vol. 58, N 203. P. 1-28. https://doi.org/10.1007/s00526-019-1624-y
5. Backhoff-Veraguas J. Pammer G. Stability of martingale optimal transport and weak optimal transport // Ann. Appl. Probab. 2022. Vol. 32, N 1. P. 721-752. https://doi.org/10.1214/21-AAP1694
6. Bogachev V. I. Measure Theory. In 2 vols. Berlin : Springer, 2007. Vol. 1. 500 p.; Vol. 2. 575 p. https://doi.org/10.1007/978-3-540-34514-5
7. Bogachev V.I. Weak Convergence of Measures. Amer. Math. Soc., Providence, Rhode Island, 2018. xii+286 pp. https://doi.org/10.1090/surv/234
8. Богачев В.И. Задачи Канторовича с параметрами и ограничениями на плотности // Сибирский математический журнал. 2022. Т. 63, № 1. С. 34-47. https://doi.org/10.1134/S0037446622010037
9. Богачев В.И. Задача Канторовича оптимальной транспортировки мер: новые направления исследований // Успехи математических наук. 2022. Т. 77, № 5. С. 3-52. https://doi.org/10.4213/rm10074
10. Bogachev V. I., Malofeev I. I. Nonlinear Kantorovich problems depending on a parameter // The Bulletin of Irkutsk State University. Series Mathematics. 2022. Vol. 41. P. 96-106. https://doi.org/10.26516/1997-7670.2022.41.96
11. Богачев В. И., Резбаев А. В. Существование решений нелинейной задачи Канторовича оптимальной транспортировки // Математические заметки. 2022. Т. 112, № 3. С. 360-370. https://doi.org/10.1134/S0001434622090048
12. Engelking P. General Topology. Warszawa : Polish Sci. Publ., 1977. 626 p.
13. Gozlan N., Roberto C., Samson P.-M., Tetali P. Kantorovich duality for general transport costs and applications // J. Funct. Anal. 2017. Vol. 273, N 11. P. 33273405. https://doi.org/10.1016/j.jfa.2017.08.015
14. Steen L., Seebach J. Counterexamples in Topology. 2nd ed. New York : Springer, 1978. 244 p.
15. Tops0e F. Preservation of weak convergence under mappings // Ann. Math. Statist. 1967. Vol. 38, N 6. P. 1661-1665. https://doi.org/10.1214/aoms/1177698600
Об авторах
Богачев Владимир Игоревич,
д-р физ.-мат. наук, проф., Московский государственный университет им. М. В. Ломоносова, Москва, 119991, Российская Федерация, vibogach@mail.ru
About the authors Vladimir I. Bogachev, Dr. Sci.
(Phys.-Math.), Prof., Moscow State University, Moscow, 119991, Russian Federation, vibogach@mail.ru
Попова Светлана Николаевна,
канд. физ.-мат. наук, мл. науч. сотрудник, Московский физико-технический институт, Долгопрудный, 141701, Российская Федерация, popovaclaire@mail.ru
popovaclaire@mail.ru
Svetlana N. Popova, Cand. Sci (Phys.Math.), Junior Researcher, Moscow Institute of Physics and Technology, Dolgoprudny, 141701, Russian Federation
Поступила в 'редакцию / Received 08.11.2022 Поступила после рецензирования / Revised 16.01.2023 Принята к публикации / Accepted 23.01.2023