Related papers: Lebesgue classes and preparation of real construct…

We study the preorder $\le_p$ on the family of subsets of an algebraically closed field of characteristic $0$ defined by letting $A\le_pB $ if there exists a polynomial $P$ such that $A=P^{-1}(B)$.

The Egoroff theorem for measurable $\bold X$-valued functions and operator-valued measures $\bold m: \Sigma \to L(\bold X, \bold Y)$, where $\Sigma$ is a $\sigma$-algebra of subsets of $T \neq \emptyset$ and $\bold X$, $\bold Y$ are both…

We prove $L^p$ quantitative differentiability estimates for functions defined on uniformly rectifiable subsets of the Euclidean space. More precisely, we show that a Dorronsoro-type theorem holds in this context: the $L^p$ norm of the…

We identify simple universal properties that uniquely characterize the Lebesgue $L^p$ spaces. There are two main theorems. The first states that the Banach space $L^p[0, 1]$, equipped with a small amount of extra structure, is initial as…

We say that a function $f:[0,1]\rightarrow \R$ is \emph{nowhere $L^q$} if, for each nonvoid open subset $U$ of $[0,1]$, the restriction $f|_U$ is not in $L^q(U)$. For a fixed $1 \leq p <\infty$, we will show that the set $$ S_p\doteq {f \in…

A classical theorem of Fatou asserts that the Radon-Nikodym derivative of any finite positive Borel measure, $\mu$, with respect to Lebesgue measure on the complex unit circle, is recovered as the non-tangential limits of its Poisson…

We first introduce the arithmetic subderivative of a positive integer with respect to a non-empty set of primes. This notion generalizes the concepts of the arithmetic derivative and arithmetic partial derivative. More generally, we then…

We prove that if $f:\mathbb{R}^n\to\mathbb{R}$ is convex and $A\subset\mathbb{R}^n$ has finite measure, then for any $\varepsilon>0$ there is a convex function $g:\mathbb{R}^n\to\mathbb{R}$ of class $C^{1,1}$ such that $\mathcal{L}^n(\{x\in…

In this note we consider a generalisation to the metric setting of the recent work [Gu-Yung, JFA 281 (2021), 109075]. In particular, we show that under relatively weak conditions on a metric measure space $(X,d,\nu)$, it holds true that \[…

We show that on real algebraic sets algebraically constructible functions coincide with the finite sums of signs of polynomials. Then we give some applications.

We consider the pointwise approximation of a subharmonic function by the logarithm of the modulus of an entire function up to a bounded quantity. In the case of finite order an estimate from below of the planar Lebesgue measure of an…

A basilar property and a useful tool in the theory of Sobolev spaces is the density of smooth compactly supported functions in the space $W^{k,p}(\R^n)$ (i.e. the functions with weak derivatives of orders $0$ to $k$ in $L^p$). On Riemannian…

We show that the class of $\mathcal{L}$-constructible functions is closed under integration for any $P$-minimal expansion of a $p$-adic field $(K,\mathcal{L})$. This generalizes results previously known for semi-algebraic and sub-analytic…

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…

We construct a function on the real line supported on a set of finite measure whose spectrum has density zero.

Given any dimension function $h$, we construct a perfect set $E \subseteq \mathbb{R}$ of zero $h$-Hausdorff measure, that contains any finite polynomial pattern. This is achieved as a special case of a more general construction in which we…

We present an approach to measure theory using the theory of locales. This includes concrete constructions of measure algebras associated to Radon measures, such as the Lebesgue measure on $\mathbb{R}^n$, via Grothendieck topologies…

We introduce a non-linear criterion which allows us to determine when a function can be written as a sum of functions belonging to homogeneous fractional spaces: for $\ell \in \mathbb{N}^*$, $s_i\in (0, 1)$ and $p_i \in [1, +\infty)$, $u :…

In this paper, we study a class of Borel measures on $\mathbb{R}^n$ that arises as the class of representing measures of Herglotz-Nevanlinna functions. In particular, we study product measures within this class where products with the…

We study the structure of the category of graded, connected, countable-dimensional, commutative and cocommutative Hopf algebras over a perfect field $k$ of characteristic $p$. Every $p$-torsion object in this category is uniquely a direct…