Related papers: Stone-Cech extensions of probability measure space…

Working in Zermelo-Fraenkel Set Theory with Atoms over an $\omega$-categorical $\omega$-stable structure, we show how \emph{infinite} constructions over definable sets can be encoded as \emph{finite} constructions over the Stone-\v{C}ech…

The Choquet - Bishop - de Leeuw theorem states that each element of a compact convex subset of a locally convex topological Hausdorff space is a barycenter of a probability measure supported by the set of extreme points of that set. By the…

In this paper we prove that the space of homogeneous probability measures on the maximal Satake compactification of an arithmetic locally symmetric space is compact. As an application, we explain some consequences for the distribution of…

We characterize coset spaces of topological groups which are coset spaces of (separable) metrizable groups and complete metrizable (Polish) groups. Besides, it is shown that for a $G$-space $X$ with a $d$-open action there is a topological…

We define and study a probability monad on the category of complete metric spaces and short maps. It assigns to each space the space of Radon probability measures on it with finite first moment, equipped with the Kantorovich-Wasserstein…

We consider $C$-pseudo-cones, that is, closed convex sets $K \subset{\mathbb R}^n$ with $o\notin K\subset C$, for which $C$ is the recession cone. Here $C$ is a given closed convex cone in ${\mathbb R}^n$, pointed and with nonempty…

Consider a measurable space with a finite vector measure. This measure defines a mapping of the $\sigma$-field into a Euclidean space. According to Lyapunov's convexity theorem, the range of this mapping is compact and, if the measure is…

A well-known result of R. Pol states that a Banach space $X$ has property ($\mathcal{C}$) of Corson if and only if every point in the weak*-closure of any convex set $C \subseteq B_{X^*}$ is actually in the weak*-closure of a countable…

We say that a (countably dimensional) topological vector space $X$ is orbital if there is $T\in L(X)$ and a vector $x\in X$ such that $X$ is the linear span of the orbit ${T^nx:n=0,1,...}$. We say that $X$ is strongly orbital if,…

The paper first covers several properties of the extension of the divisibility relation to a set ${}^*\hspace{-0.5mm}N$ of nonstandard integers. After that, a connection is established with the divisibility in the Stone-\v{C}ech…

For a non-compact metrizable space $X$, let ${\mathcal E}(X)$ be the set of all one-point metrizable extensions of $X$, and when $X$ is locally compact, let ${\mathcal E}_K(X)$ denote the set of all locally compact elements of ${\mathcal…

The paper studies computability-theoretic aspects of topological $T_0$-spaces. We introduce effective versions of the notions of a countable $c$-poset and a (second-countable) topological space with base. Based on this, we prove an…

If $\mu_1,\mu_2,\dots$ are positive measures on a measurable space $(X,\Sigma)$ and $v_1,v_2, \dots$ are elements of a Banach space ${\mathbb E}$ such that $\sum_{n=1}^\infty \|v_n\| \mu_n(X) < \infty$, then $\omega (S)= \sum_{n=1}^\infty…

Let X be a separable Banach space and Y a space which has the Radon-Nikodym property. In this work, we show that L(X, Y) has the Radon-Nikodym property, if L(X, Y) is weakly locally uniformly convex or if L(X, Y) is a weakly compactly gen-…

For a topological space $X$ and an ideal $\mathscr{H}$ of subsets of $X$ we introduce the notion of connectedness modulo $\mathscr{H}$. This notion of connectedness naturally generalizes the notion of connectedness in its usual sense. In…

Several years ago the authors started looking at some problems of convex geometry from a more general point of view, replacing volume by an arbitrary measure. This approach led to new general properties of the Radon transform on convex…

We construct geodesics in the Wasserstein space of probability measure along which all the measures have an upper bound on their density that is determined by the densities of the endpoints of the geodesic. Using these geodesics we show…

For a compact metric space $X$ with a group $G$ acting on it continuously, an invariant random compact is a Borel probability measure on the space of nonempty compact subsets of $X$ that is invariant under the action of $G$. The action is…

Consider a set of points sampled independently near a smooth compact submanifold of Euclidean space. We provide mathematically rigorous bounds on the number of sample points required to estimate both the dimension and the tangent spaces of…

If M is a smooth compact Riemannian manifold, let P(M) denote the Wasserstein space of probability measures on M. If S is an embedded submanifold of M, and $\mu$ is an absolutely continuous measure on S, then we compute the tangent cone of…