Related papers: Measure theory via Locales
In this paper we study the dependence of geometric properties of Radon measures, such as Hausdorff dimension and rectifiability of singular sets, on the wavefront set. This is achieved by adapting the method of Brummelhuis to the…
It is well known that axiom of choice implies the existence of non-measurable sets for Lebesgue's measure on R as well as the existence of "paradoxical" decompositions of the unit ball of R^3 (Banach-Tarski). This is generally interpreted…
Given a non-archimedean real closed field with archimedean value group which contains the reals, we establish for the category of semialgebraic sets and functions a full Lebesgue measure and integration theory such that the main results…
For all $1\leq m\leq n-1$, we investigate the interaction of locally finite measures in $\mathbb{R}^n$ with the family of $m$-dimensional Lipschitz graphs. For instance, we characterize Radon measures $\mu$, which are carried by Lipschitz…
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…
We develop a theory of inner balayage of a positive Radon measure $\mu$ of finite energy on a locally compact space $X$ to arbitrary $A\subset X$, generalizing Cartan's theory of Newtonian inner balayage on $\mathbb R^n$, $n\geqslant3$, to…
In this paper we develop a notion of measure theory over boolean toposes which is analogous to noncommutative measure theory, i.e. to the theory of von Neumann algebras. This is part of a larger project to study relations between topos…
We consider the locally measure topology $t(\mathcal{M})$ on the *-algebra $LS(\mathcal{M})$ of all locally measurable operators affiliated with a von Neumann algebra $\mathcal{M}$. We prove that $t(\mathcal{M})$ coincides with the…
The theme here is category-measure duality, in the context of a topological group. One can often handle the (Baire) category case and the (Lebesgue, or Haar) measure cases together, by working bi-topologically: switching between the…
By [arXiv:1604.00528], a list of possible holonomy algebras for pseudo-Riemannian manifolds with an indecomposable torsion free ${\rm G}_{2}^*$-structure is known. Here indecomposability means that the standard representation of the algebra…
This paper shows how the Lebesgue integral can be obtained as a Riemann sum and provides an extension of the Morse Covering Theorem to open sets. Let $X$ be a finite dimensional normed space; let $\mu$ be a Radon measure on $X$ and let…
The paper introduces a general method to construct conformal measures for a local homeomorphism on a locally compact non-compact Hausdorff space, subject to mild irreducibility-like conditions. Among others the method is used to give…
Locality is implemented in an arbitrary category using Grothendieck topologies. We explore how different Grothendieck topologies on one category can be related, and, more general, how functors between categories can preserve them. As…
We employ methods of geometry and generalized convergence to construct a geometric measure that serves as an alternative to the integer-dimension Hausdorff measure. This construction prioritizes integration, yields the Area Formula as a…
For a non-elementary subgroup of the mapping class group of a surface, we study its invariant Radon measures on the space of measured laminations, by classifying them on the recurrent measured laminations. In particular, given a…
The $n$-dimensional affine group over the integers is the group $\mathcal G_n$ of all affinities on $\mathbb R^{n}$ which leave the lattice $ \mathbb Z^{n}$ invariant. $\mathcal G_n$ yields a geometry in the classical sense of the Erlangen…
Calder\'on-Zygmund theory has been traditionally developed on metric measure spaces satisfying additional regularity properties. In the lack of good metrics, we introduce a new approach for general measure spaces which admit a Markov…
Let $\mu$ be a Borel probability measure generated by a hyperbolic recurrent iterated function system defined on a nonempty compact subset of $\mathbb R^k$. We study the Hausdorff and the packing dimensions, and the quantization dimensions…
In this paper, we classify horospherical invariant Radon measures for Anosov subgroups of arbitrary semisimple real algebraic groups. This generalizes the works of Burger and Roblin in rank one to higher ranks. At the same time, this…
We introduce a one-parameter family of Borel regular measures on $\mathbb{R}^n$ that enhances Lebesgue measure by incorporating a scale-invariant penalty for codimension-1 boundary structures. Utilizing Carath\'eodory's outer measure…