Related papers: On master test plans for the space of BV functions
The Giry monad on the category of measurable spaces restricts to the full subcategory of standard Borel spaces, $\mathbf{Std}$, which we show is amenable to analysis. $\mathbf{Std}$ contains the space $\mathbb{R}_{\infty}$ which is the…
As quantum computing continues to emerge, ensuring the quality of quantum programs has become increasingly critical. Quantum program testing has emerged as a prominent research area within the scope of quantum software engineering. While…
We prove that for certain actions of a discrete countable residually finite amenable group acting on a compact metric space with specification property, periodic measures are dense in the set of invariant measures.
The purpose of this paper is devoted to studying representation of measures of non generalized compactness, in particular, measures of noncompactness, of non-weak compactness, and of non-super weak compactness, etc, defined on Banach spaces…
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…
Given a unital algebra $\mathscr A$ of locally Lipschitz functions defined over a metric measure space $({\mathrm X},{\mathsf d},\mathfrak m)$, we study two associated notions of function of bounded variation and their relations: the space…
For continuous maps on a compact manifold M, particularly for those that do not preserve the Lebesgue measure m, we define the observable invariant probability measures as a generalization of the physical measures. We prove that any…
In this paper, we expand upon the theory of the space of functions with nonlocal weighted bounded variation, first introduced by Kindermann et.al. in 2005 and later generalized by Wang et.al. in 2014. We consider nonfractional C^1 weights…
We prove that on an essentially non-branching $\mathrm{MCP}(K,N)$ space, if a geodesic ball has a volume lower bound and satisfies some additional geometric conditions, then in a smaller geodesic ball (in a quantified sense) we have an…
This paper deals with functions that defined in metric spaces and valued in complete paranormed vector spaces or valued in Banach spaces, and obtains some necessary and sufficient conditions for weak convergence of finite measures.
We characterize completely the Gneiting class of space-time covariance functions and give more relaxed conditions on the involved functions. We then show necessary conditions for the construction of compactly supported functions of the…
We study the Banach space $D([0,1]^m)$ of functions of several variables that are (in a certain sense) right-continuous with left limits, and extend several results previously known for the standard case $m=1$. We give, for example, a…
It is obtained necessary and sufficient conditions of dependence on $\aleph$ coordinates for functions of several variables, each of which is a product of metrizable factors. The set of discontinuity points of such functions is…
By seeing whether a Liouville type theorem holds for positive, bounded, and/or finite energy $p$-harmonic and $p$-quasiharmonic functions, we classify proper metric spaces equipped with a locally doubling measure supporting a local…
We provide a general contractibility criterion for subsets of Riemannian metrics on the disc. For instance, this result applies to the space of metrics that have positive Gauss curvature and make the boundary circle convex (or geodesic).…
We study the class of compact spaces that appear as structure spaces of separable Banach lattices. In other words, we analyze what $C(K)$ spaces appear as principal ideals of separable Banach lattices. Among other things, it is shown that…
We develop classical balayage (sweeping) measures and subharmonic functions on the ray system $S$ with a general origin on the complex plane $\mathbb C$. This allows for a subharmonic function $v$ on $\mathbb C$ to construct also a…
We characterize all (signed) measures in $BV_{\frac{n}{n-1}}(\mathbb{R}^n)^*$, where $BV_{\frac{n}{n-1}}(\mathbb{R}^n)$ is defined as the space of all functions $u$ in $L^{\frac{n}{n-1}}(\mathbb{R}^n)$ such that $Du$ is a finite…
Ergodic optimization aims to single out dynamically invariant Borel probability measures which maximize the integral of a given "performance" function. For a continuous self-map of a compact metric space and a dense set of continuous…
This article is a fundamental study in computable analysis. In the framework of Type-2 effectivity, TTE, we investigate computability aspects on finite and infinite products of effective topological spaces. For obtaining uniform results we…