Related papers: Representation of maxitive measures: an overview
We review recent results on Radon-Nikod\'ymification of abstract measure spaces, the particular case of integral geometric measure, and applications to the dual of SBV.
In this paper we derive the analogue of Lebesque-Radon Nikody theorem with respect to fermionic p-adic invariant measures on Zp
In this paper, we first introduce $\mathbb{L}$-$\mu$-measurable functions and $\mathbb{L}$-Bochner integrable functions on a finite measure space $(S,\mathcal{F},\mu),$ and give an $\mathbb{L}$-valued analogue of the canonical…
Given a finite Borel measure $\mu$ on R n and basic semi-algebraic sets $\Omega$\_i $\subset$ R n , i = 1,. .. , p, we provide a systematic numerical scheme to approximate as closely as desired $\mu$(\cup\_i $\Omega$\_i), when all moments…
We give a new construction of primitive idempotents of the Hecke algebras associated with the symmetric groups. The idempotents are found as evaluated products of certain rational functions thus providing a new version of the fusion…
Lebesgue integration is a well-known mathematical tool, used for instance in probability theory, real analysis, and numerical mathematics. Thus its formalization in a proof assistant is to be designed to fit different goals and projects.…
We determine when contractive idempotents in the measure algebra of a locally compact group commute. We consider a dynamical version of the same result. We also look at some properties of groups of measures whose identity is a contactive…
In this paper, we use the idempotent decomposition to give an explicit isomorphism from an arbitrary semisimple Artinian ring to an external direct sum of finitely many full matrix rings over division rings.
We prove an intrinsic equivalence between strong hypercontractivity and a strong logarithmic Sobolev inequality for the cone of logarithmically subharmonic functions. We introduce a new large class of measures, Euclidean regular and…
Ergodic properties of rational maps are studied, generalising the work of F.\ Ledrappier. A new construction allows for simpler proofs of stronger results. Very general conformal measures are considered. Equivalent conditions are given for…
We prove that the idempotent Markov operator generated by contractive max plus normalized iterated function system (IFS) is also a contractive map w.r.t. natural metrics on the space of idempotent measures. This gives alternative proofs of…
We continue the study on Kurzweil--Stieltjes integration on compact lines initiated in [doi:10.1007/s11117-025-01161-9]. Given a real valued function $G$ on a compact line, the presented integral is called the Kurzweil--Stieltjes integral…
The notion of max-min measure is a counterpart of the notion of max-plus measure (Maslov measure or idempotent measure). In this paper we consider the spaces of max-min measures on the compact Hausdorff spaces. It is proved that the…
The paper, that continuous some previous work of Sch\"onherr & Schuricht, treats density measures on ${\mathbb R}^n$ that concentrate in any neighborhood of a Lebesgue null set. Such measures are typical for purely finitely additive…
We work with the *-product introduced in [GHK25] and f-generic types to describe the minimal ideals of invariant types and to classify ergodic Keisler measures in amenable NIP theories. Moreover, we analyze the situation around the…
The integral with respect to a multidimensional stochastic measure, for which we assume only $\sigma$-additivity in probability, is studied. The continuity and differentiability of its realizations are established.
This note describes Fatou's lemma and Lebesgue's dominated convergence theorem for a sequence of measures converging weakly to a finite measure and for a sequence of functions whose negative parts are uniformly integrable with respect to…
A classical result of topological algebra states that any compact left topological semigroup has an idempotent. We refine this by showing that any compact left topological left semiring has a common, i.e. additive and multiplicative…
Integration, just as much as differentiation, is a fundamental calculus tool that is widely used in many scientific domains. Formalizing the mathematical concept of integration and the associated results in a formal proof assistant helps in…
We show that a dissipative, ergodic measure preserving transformation of a sigma-finite, non-atomic measure space always has many non-proportional, absolutely continuous, invariant measures and is ergodic with respect to each one of these.