Related papers: Spaces of measurable functions

We first show that in the function realizability topos every metric space is separable, and every object with decidable equality is countable. More generally, working with synthetic topology, every $T_0$-space is separable and every…

Let X be a h-homogeneous zero-dimensional compact Hausdorff space, i.e. X is a Stone dual of a homogeneous Boolean algebra. It is shown that the universal minimal space M(G) of the topological group G=Homeo(X), is the space of maximal…

A measurable map between measure spaces is shown to have bounded compression if and only if its image via the measure-algebra functor is Lipschitz-continuous w.r.t. the measure-algebra distances. This provides a natural interpretation of…

We research proximinality of $\mu$-sequentially compact sets and $\mu$-compact sets in measurable function spaces. Next we show a correspondence between the Kadec-Klee property for convergence in measure and $\mu$-compactness of the sets in…

Let $S$ be a surface of finite type which is not a sphere with at most four punctures, a torus with at most two punctures, or a closed surface of genus two. Let $\mathcal{MF}$ be the space of equivalence classes of measured foliations of…

We establish the existence and fundamental properties of the equilibrium measure in uniformly quasiregular dynamics. We show that a uniformly quasiregular endomorphism $f$ of degree at least 2 on a closed Riemannian manifold admits an…

We provide necessary and sufficient conditions for the convergence of Revuz measures of finite energy integrals. More precisely, the Revuz map from the set of all smooth measures of finite energy integrals, equipped with the topology…

Let $(X,\tau)$ be a Hausdorff space, where $X$ is an infinite set. The compact complement topology $\tau^{\star}$ on $X$ is defined by: $\tau^{\star}=\{\emptyset\} \cup \{X\setminus M, \text{where $M$ is compact in $(X,\tau)$}\}$. In this…

For a metric space $X$, let $\mathsf FX$ be the space of all nonempty finite subsets of $X$ endowed with the largest metric $d^1_{\mathsf FX}$ such that for every $n\in\mathbb N$ the map $X^n\to\mathsf FX$, $(x_1,\dots,x_n)\mapsto…

There exists a completely metrizable bounded metrizable space $X$ with compatible metrics $d,d'$ so that the hyperspace $CL(X)$ of nonempty closed subsets of $X$ endowed with the Hausdorff metric $H_d$, $H_{d'}$, resp. is…

We show that the observable category of q-tame multiparameter persistence modules satisfies good metric and algebraic properties: it forms a complete metric space with respect to the interleaving distance, and it is Krull--Schmidt in the…

The main result of this article is: THEOREM. Every homogeneous locally conical connected separable metric space that is not a $1$-manifold is strongly $n$-homogeneous for each $n \geq 2$ and countable dense homogeneous. Furthermore,…

We prove general results about separation and weak$^\#$-convergence of boundedly finite measures on separable metric spaces and Souslin spaces. More precisely, we consider an algebra of bounded real-valued, or more generally a $*$-algebra…

Consider a homeomorphism $f$ defined on a compact metric space $X$ and a continuous map $\phi\colon X \to \mathbb{R}$. We provide an abstract criterion, called \emph{control at any scale with a long sparse tail} for a point $x\in X$ and the…

Let $\mathbb{S} \subset \mathbb{C}$ be the circle in the plane, and let $\Omega: \mathbb{S} \to \mathbb{S}$ be an odd bi-Lipschitz map with constant $1+\delta_\Omega$, where $\delta_\Omega>0$ is small. Assume also that $\Omega$ is twice…

Given a metric measure space $M:=(X,d,\mu)$ the Onsager-Machlup (OM) functional is a real valued function that has been seen as a generalized notion of a probability density function. The effect of reweighting the measure on OM functionals…

For a metrizable space, we consider the space of all metrics generating the same topology of the metrizable space, and this space of metrics is equipped with the supremum metric. In this paper, for every metrizable space, we establish that…

We study a compactification of the space of invariant probability measures for a transitive countable Markov shift. We prove that it is affine homeomorphic to the Poulsen simplex. Furthermore, we establish that, depending on a combinatorial…

It is proved that no region of a homogeneous locally compact, locally connected metric space can be cut by an $F_\sigma$-subset of a "smaller" dimension. The result applies to different finite or infinite topological dimensions of…

We show that for every complete metric space $M$ there exists another complete metric space $N$ of the same density character such that the curve-flat quotient of $N$ is isometric to $M$. Moreover, we show that if $M$ is compact and…