Related papers: Probability measures and Milyutin maps between met…
This paper is a follow-up to the author's work "Topology of probability measure space, I" devoted to investigation of the functors $\hat P$ and $P_\tau$ of spaces of probability $\tau$-smooth and Radon measures. In this part, we study the…
The set of all idempotent probability measures (Maslov measures) on a compact Hausdorff space endowed with the weak* topology determines is functorial on the category $\comp$ of compact Hausdorff spaces. We prove that the obtained functor…
For a Tychonoff space $X$, the constructions $\hat P(X)$ and $P_\tau(X)$ of the spaces of probability Radon measures and probability $\tau$-smooth measures on $X$ are considered. It is proved that these constructions determine functors in…
We show that every nonempty compact and convex space M of probability Radon measures either contains a measure which has `small' local character in M or else M contains a measure of `large' Maharam type. Such a dichotomy is related to…
The notion of a regular operator with compact supports between function spaces is introduced. On that base we obtain a characterization of absolute extensors for zero-dimensional spaces in terms of regular extension operators having compact…
In this paper we investigate algorithmic randomness on more general spaces than the Cantor space, namely computable metric spaces. To do this, we first develop a unified framework allowing computations with probability measures. We show…
For the functors acting in the category of compact Hausdorff spaces, we introduce the so-called open multi-commutativity property, which generalizes both bicommutativity and openness, and prove that this property is satisfied by the functor…
We generalize the classical Monge-Kantorovich duality--typically established for tight (Radon) probability measures--to separable Baire probability measures, which are strictly more general than tight measures on completely regular…
In the work it is shown that the space of idempotent probability measures with compact supports is kappa-metrizable if the given Tychonoff space is kappa-metrizable. It is constructed a series of max-plus-convex subfunctors of the functor…
We show from a categorical point of view that probability measures on certain measurable or topological spaces arise canonically as the extension of probability distributions on countable sets. We do this by constructing probability monads…
A characterization is presented of barycenters of the Radon probability measures supported on a closed convex subset of a given space. A case of particular interest is studied, where the underlying space is itself the space of finite signed…
Given positive measures $\nu,\mu$ on an arbitrary measurable space $(\Omega, \mathcal F)$, we construct a sequence of finite partitions $(\pi_n)_n$ of $(\Omega, \mathcal F)$ s.t. $$ \sum_{A\in \pi_n: \mu(A)>0} 1_{A} \frac{\nu(A)}{\mu(A)}…
We give a new characterization for mutual absolute continuity of probability measures on a filtered space. For this, we introduce a martingale limit $M$ that measures the similarity between the tails of the probability measures restricted…
Consider in the phase space of classical mechanics a Radon measure that is a probability density carried by the graph of a Lipschitz continuous (or even less regular) vector field. We study the structure of the push-forward of such a…
We prove that if $K$ is a compact space and the space $P(K\times K)$ of regular probability measures on $K\times K$ has countable tightness in its $weak^*$ topology, then $L_1(\mu)$ is separable for every $\mu\in P(K)$. It has been known…
Given a compact space $K$, we denote by $P(K)$ the space of all Radon probability measures on $K$, equipped with the $weak^\ast$ topology inherited from $C(K)^\ast$. For nonmetrizable compacta $K$ even basic properties of $P(K)$ spaces…
We consider the correspondence assigning to every Radon measure on two Tychonoff coordinate spaces the set of probability measures with these marginals. It is proved that this correspondence is continuous.
The famous Prohorov theorem for Radon probability measures is generalized in terms of usco mappings. In the case of completely metrizable spaces this is achieved by applying a classical Michael result on the existence of usco selections for…
For all $1\leq m\leq n-1$, we investigate the interaction of locally finite measures in $\mathbb{R}^n$ with the family of $m$-dimensional Lipschitz graphs. For instance, we characterize Radon measures $\mu$, which are carried by Lipschitz…
We prove pseudocompactness of a Tychonoff space $X$ and the space $\mathcal{P}(X)$ of Radon probability measures on it with the weak topology under the condition that the Stone-\v{C}ech compactification of the space $\mathcal{P}(X)$ is…