Related papers: Continuous R-valuations
The Lebesgue property (order-continuity) of a monotone convex function on a solid vector space of measurable functions is characterized in terms of (1) the weak inf-compactness of the conjugate function on the order-continuous dual space,…
Our work is a fundamental study of the notion of approximation in V-categories and in (U,V)-categories, for a quantale V and the ultrafilter monad U. We introduce auxiliary, approximating and Scott-continuous distributors, the way-below…
A generalization of the classical Sard theorem in the plane is the following. Let $f$ be a function defined on a subset $A\subset{\mathbb R}^2$. If $f$ has modulus of continuity $\omega(r)\lesssim r^2$, then $f(A)\subset{\mathbb R}$ has…
Over the past years a theory of conjugate duality for set-valued functions that map into the set of upper closed subsets of a preordered topological vector space was developed. For scalar duality theory, continuity of convex functions plays…
Compared to real-valued signals, complex-valued signals provide a unique and intuitive representation of the phase of real physical systems and processes, which holds fundamental significance and is widely applied across many fields of…
The classical Remez inequality bounds the maximum of the absolute value of a real polynomial $P$ of degree $d$ on $[-1,1]$ through the maximum of its absolute value on any subset $Z\subset [-1,1]$ of positive Lebesgue measure. Extensions to…
This paper investigates the notion of compact R-continuity and its specifications for set-valued mappings between Banach spaces. We reveal several important properties of compact R-continuity in general settings and show that in finite…
We prove an abstract Fubini-type theorem in the context of monoidal and enriched category theory, and as a corollary we establish a Fubini theorem for integrals on arbitrary convergence spaces that generalizes (and entails) the classical…
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…
The recent extensions of domain theory have proved particularly efficient to study lattice-valued maxitive measures, when the target lattice is continuous. Maxitive measures are defined analogously to classical measures with the supremum…
In this paper we give a detailed measure theoretical analysis of what we call sum-level sets for regular continued fraction expansions. The first main result is to settle a recent conjecture of Fiala and Kleban, which asserts that the…
A long-standing open problem in the semantics of programming languages supporting probabilistic choice is to find a commutative monad for probability on the category DCPO. In this paper we present three such monads and a general…
If $R$ is a valuation domain of maximal ideal $P$ with a maximal immediate extension of finite rank it is proven that there exists a finite sequence of prime ideals $P=L_0\supset L_1\supset...\supset L_m\supseteq 0$ such that…
Directed spaces are natural topological extensions of dcpos in domain theory and form a cartesian closed category. In order to model nondeterministic semantics, the power structures over directed spaces were defined through the form of free…
The category of monotone determined spaces is an extended topological framework for dcpos in domain theory. We first show that monotone determined spaces are exactly the spaces generated by one-point convergence spaces, and then naturally…
We describe the set V of all real valued valuations v on the ring C[[x,y]] normalized by min{v(x),v(y)}=1. It has a natural structure of an R-tree, induced by the order relation v is less than v' iff v(f) is less than v'(f) for all f. It…
We introduce a real-valued measure ${m_L}$ on non-Archimedean ordered fields $(\mathbb{F},<)$ that extend the field of real numbers $(\mathbb{R},<)$. The definition of ${m_L}$ is inspired by the Loeb measures of hyperreal fields in the…
In this paper, we endow the space of continuous translation invariant valuation on convex sets generated by mixed volumes coupled with a suitable Radon measure on tuples of convex bodies with two appropriate norms. This enables us to…
We consider positive operator valued measures whose image is the bounded operators acting on an infinite-dimensional Hilbert space, and we relax, when possible, the usual assumption of positivity of the operator valued measure seen in the…
We revisit the $R-$positivity of nearest neighbors matrices on ${\ZZ_+}$ and the Gibbs measures on the set of nearest neighbors trajectories on ${\ZZ_+}$ whose Hamiltonians award either visits to sites a or visits to edges. We give…