We prove that the topographic map structure of upper semicontinuous functions, defined in terms of classical connected components of its level sets, and of functions of bounded variation (or a generalization, the WBV functions), defined in terms of M-connected components of its level sets, coincides when the function is a continuous function in WBV. Both function spaces are frequently used as models for images. Thus, if the domain Ω' of the image is Jordan domain, a rectangle, for instance, and...

Let X and Y be two compact spaces endowed with respective measures μ and ν satisfying the condition µ(X) = v(Y). Let c be a continuous function on the product space X x Y. The mass transfer problem consists in determining a measure ξ on X x Y whose marginals coincide with μ and ν, and such that the total cost ∫ ∫ c(x,y)dξ(x,y) be minimized. We first show that if the cost function c is decomposable, i.e., can be represented as the sum of two continuous functions defined on X and Y, respectively,...

Let $(X,d_X)$, $(\Omega ,d_{\Omega })$ be complete separable metric spaces. Denote by (X) the space of probability measures on X, by $W_p$ the p-Wasserstein metric with some p ∈ [1,∞), and by ${}_p\left(X\right)$ the space of probability measures on X with finite Wasserstein distance from any point measure. Let $f:\Omega {\to }_p\left(X\right)$, $\omega \mapsto f_{\omega }$, be a Borel map such that f is a contraction from $(\Omega ,d_{\Omega })$ into ${(}_p\left(X\right),W_p)$. Let ν₁,ν₂ be probability measures on Ω with $W_p(\nu ₁,\nu ₂)$ finite. On X we consider the subordinated measures ${\mu }_i={\int }_{\Omega }{f}_{\omega }d{\nu }_i\left(\omega \right)$. Then $W_p(\mu ₁,\mu ₂)\le W_p(\nu ₁,\nu ₂)$. As an application we show that the solution measures ${\varrho }_{\alpha }\left(t\right)$ to the partial...

I discuss the properties of α-favourable and weakly α-favourable measure spaces, with remarks on their relations with other classes.