Related papers: Besicovitch-Federer projection theorem for measure…

Minkowski's Theorem asserts that every centered measure on the sphere which is not concentrated on a great subsphere is the surface area measure of some convex body, and, moreover, the surface area measure determines a convex body uniquely.…

Let $A$ be a compact set in ${\mathbb R}^p$ of Hausdorff dimension $d$. For $s\in(0,d)$, the Riesz $s$-equilibrium measure $\mu^s$ is the unique Borel probability measure with support in $A$ that minimizes $$…

A remarkable theorem of Besicovitch is that an integrable function $f$ on $\mathbb{R}^2$ is strongly differentiable if and only if its associated strong maximal function $M_S f$ is finite a.e. We provide an analogue of Besicovitch's result…

This paper is devoted to the study of a newly introduced tool, projectional coderivatives and the corresponding calculus rules in finite dimensions. We show that when the restricted set has some nice properties, more specifically, is a…

We characterize $n$-rectifiable metric measure spaces as those spaces that admit a countable Borel decomposition so that each piece has positive and finite $n$-densities and one of the following: is an $n$-dimensional Lipschitz…

Solomonoff's central result on induction is that the posterior of a universal semimeasure M converges rapidly and with probability 1 to the true sequence generating posterior mu, if the latter is computable. Hence, M is eligible as a…

This paper introduces a new quantity in Finsler geometry, called the generalized Berwald projective Weyl ($GB\widetilde{W}$) metric. The $C$-projective invariance of these metrics is demonstrated, and it is shown that they constitute a…

It is shown that for every measure $m$ on projections in a $W^*$-algebra of type $I_2$, there exists a Hilbert-valued orthogonal vector measure $\mu$ such that $\|\mu(p)\|^2= m(p)$ for every projection $p$. With regard to J. Hamhalter's…

Let $E$ be a set in $\mathbb R^d$ with finite $n$-dimensional Hausdorff measure $H^n$ such that $\liminf_{r\to0}r^{-n} H^n(B(x,r)\cap E)>0$ for $H^n$-a.e. $x\in E$. In this paper it is shown that $E$ is $n$-rectifiable if and only if…

In this paper it is shown that if $\mu$ is an n-dimensional Ahlfors-David regular measure in $R^d$ which satisfies the so-called weak constant density condition, then $\mu$ is uniformly rectifiable. This had already been proved by David and…

The main result of this note, Theorem 2, is the following: a Borel measure on the space of infinite Hermitian matrices, that is invariant under the action of the infinite unitary group and that admits well-defined projections onto the…

We consider the problem of projecting a probability measure $\pi$ on a set $\mathcal{M}\_N$ of Radon measures. The projection is defined as a solution of the following variational problem:\begin{equation*}\inf\_{\mu\in \mathcal{M}\_N}…

Our construction of the Wiener measure on $\mathfrak{C}$ consists in first defining a set function $\varphi$\ on the class of all compact sets based on certain $n$-dimensional normal distributions, $n = 1,\ 2,\ldots$\ using the structural…

The theory of differentiation of measures originates from works of Besicovitch in the 1940's. His pioneering works, as well as subsequent developments of the theory, rely as fundamental tools on suitable covering properties. The first aim…

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 give a criterion for the weak convergence of unit Borel measures on the N-dimensional Berkovich projective space over a complete non-archimedean field. As an application, we give a sufficient condition for equidistribution in terms of a…

We present an alternative approach to some results of Koldobsky on measures of sections of symmetric convex bodies, which allows us to extend them to the not necessarily symmetric setting. We prove that if $K$ is a convex body in ${\mathbb…

For a Borel set E in R^n, the total Menger curvature of E, or c(E), is the integral over E^3 (with respect to 1-dimensional Hausdorff measure in each factor of E) of c(x,y,z)^2, where 1/c(x,y,z) is the radius of the circle passing through…

We prove that for all integers $2\leq m\leq d-1$, there exists doubling measures on $\mathbb{R}^d$ with full support that are $m$-rectifiable and purely $(m-1)$-unrectifiable in the sense of Federer (i.e. without assuming…

Solomonoff's central result on induction is that the posterior of a universal semimeasure M converges rapidly and with probability 1 to the true sequence generating posterior mu, if the latter is computable. Hence, M is eligible as a…