Related papers: The Reverse Mathematics of Analytic Measurability
We give a generalized and effective version of Bekehermes' improvement of Newman's Tauberian theorem. To do so we prove an effective version of the Riemann-Lebesgue Lemma for functions of bounded $p$-variation. We apply our Tauberian…
In reverse mathematics, real numbers are traditionally represented by Cauchy sequences with a given rate of convergence. We work without rates and speak of slow Cauchy sequences. It turns out that almost all one-dimensional real analysis…
We give a simple and short proof of the classical Lebesgue decomposition theorem of measures via the Riesz orthogonal decomposition theorem of Hilbert spaces. The tools we employ are elementary Hilbert space techniques.
We construct and study the one-parameter semigroup of $\sigma$-finite measures ${\cal L}^{\theta}$, $\theta>0$, on the space of Schwartz distributions that have an infinite-dimensional abelian group of linear symmetries; this group is a…
A well-known theorem of J.E. Hutchinson states that if an iterated function system consists of similarity transformations and satisfies the open set condition then its attractor supports a self-similar measure with Hausdorff dimension equal…
A Daniell-Stone type characterization theorem for Aumann integrals of set-valued measurable functions will be proven. It is assumed that the values of these functions are closed convex upper sets, a structure that has been used in some…
An absolutely convergent double series representation for the density of the supremum of $\alpha$-stable Levy process is given in [3, Theorem 2] for almost all irrational $\alpha$. This result cannot be made stronger in the following sense:…
In this paper, we study the limit measures of the empirical measures of Lebesgue almost every point in the basin of a partially hyperbolic attractor. They are strongly related to a notion named Gibbs u-state, which can be defined in a large…
We investigate the Lebesgue measure, Hausdorff dimension, and Fourier dimension of sets of the form $RY + Z, $ where $R \subseteq (0,\infty)$ and $Y, Z \subseteq \mathbb{R}^d$. We prove a theorem on the Lebesgue measure and Hausdorff…
We consider nonlinear, or "event-dependent", sampling, i.e. such that the sampling instances {tk} depend on the function being sampled. The use of such sampling in the construction of Lebesgue's integral sums is noted and discussed as…
We give an example of a measurable set of reals E such that the set E'={(x,y): x+y in E} is not in the sigma-algebra generated by the rectangles with measurable sides. We also prove a stronger result that there exists an analytic set E such…
(This text is a survey written for the Bourbaki seminar on the work of F. Manners.) Gowers uniformity norms are the central objects of higher order Fourier analysis, one of the cornerstones of additive combinatorics, and play an important…
A real number $x$ is normal with respect to an integer base $b \geq 2$ if its digit expansion in this base is ``equitable'', in the sense that for $k \geq 1$, every ordered sequence of $k$ digits from $\{0, 1, \ldots, b-1\}$ occurs in the…
The program Reverse Mathematics in the foundations of mathematics seeks to identify the minimal axioms required to prove theorems of ordinary mathematics. One always assumes the base theory, a logical system embodying computable…
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…
In this paper, we first show that a union of upper-level sets associated to fibrewise Lelong numbers of plurisubharmonic functions is in general a pluripolar subset. Then we obtain analyticity theorems for a union of sub-level sets…
Work in the measure algebra of the Lebesgue measure on the Cantor space: for comeager many $[A]$ the set of points $x$ such that the density of $x $ at $A$ is not defined is $\Sigma^{0}_{3}$-complete; for some compact $K$ the set of points…
This text grew out of notes I have used in teaching a one quarter course on integration at the advanced undergraduate level. My intent is to introduce the Lebesgue integral in a quick, and hopefully painless, way and then go on to…
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…
Let $X$ be a topological space and $\mu$ be a nonatomic finite measure on a $\sigma$-algebra $\Sigma$ containing the Borel $\sigma$-algebra of $X$. We say $\mu$ is weakly outer regular, if for every $A \in \Sigma$ and $\epsilon>0$, there…