Related papers: Lusin-type theorems for Cheeger derivatives on met…

Lusin's Theorem states that, for every Borel-measurable function $\bf{f}$ on $\mathbb R$ and every $\epsilon>0$, there exists a continuous function $\bf{g}$ on $\mathbb R$ which is equal to $\bf{f}$ except on a set of measure $<\epsilon$.…

In this article, we characterize both Lusin's theorem and the existence of Borel representatives via the regularity properties of the measure in general topological measure spaces. As a corollary, we prove that Borel regularity of the…

We demonstrate the necessity of a Poincar\'e type inequality for those metric measure spaces that satisfy Cheeger's generalization of Rademacher's theorem for all Lipschitz functions taking values in a Banach space with the Radon-Nikodym…

Rademacher theorem states that every Lipschitz function on the Euclidean space is differentiable almost everywhere, where "almost everywhere" refers to the Lebesgue measure. In this paper we prove a differentiability result of similar type,…

On metric spaces equipped with doubling measures, we prove that a differentiability theorem holds for Lipschitz functions if and only if the space supports nontrivial (metric) derivations in the sense of Weaver that satisfy an additional…

Following Weaver we study generalized differential operators, called (metric) derivations, and their linear algebraic properties. In particular, for k = 1, 2 we show that measures on k-dimensional Euclidean space that induce rank-k modules…

Let $(X,d,\mu)$ be a complete metric measure space, with $\mu$ a locally doubling measure, that supports a local weak $L^2$-Poincar\'e inequality. By assuming a heat semigroup type curvature condition, we prove that Cheeger-harmonic…

A classical theorem of Menshov states that every measurable function can redefined on a set of arbitrarily small Lebesgue measure, so that the resulting function has uniformly convergent Fourier series. We prove that the same is true if we…

It is proved that any function of a Lusin-type class, the class of $ACG_r$-functions, is differentiable almost everywhere in the sense of a derivative defined in the space~$L^r$, $1\le r<\infty$. This leads to obtaining a full descriptive…

We prove a refined version of the celebrated Lusin type theorem for gradients by Alberti, stating that any Borel vector field $f$ coincides with the gradient of a $C^1$ function $g$, outside a set $E$ of arbitrarily small Lebesgue measure.…

It is shown that the approximating functions used to define the Bochner integral can be formed using geometrically nice sets, such as balls, from a differentiation basis. Moreover, every appropriate sum of this form will be within a…

We prove the equivalence of two seemingly very different ways of generalising Rademacher's theorem to metric measure spaces. One such generalisation is based upon the notion of forming partial derivatives along a very rich structure of…

With a new proof approach we prove in a more general setting the classical convergence theorem that almost everywhere convergence of measurable functions on a finite measure space implies convergence in measure. Specifically, we generalize…

A classical result of Arne Beurling states that the Fourier transform of a nonzero complex Borel measure $\mu$ on the real line cannot vanish on a set of positive Lebesgue measure if $\mu$ has certain decay. We prove a several variable…

We prove a Leibniz rule for BV functions in a complete metric space that is equipped with a doubling measure and supports a Poincar\'e inequality. Unlike in previous versions of the rule, we do not assume the functions to be locally…

We generalize in this short paper the classical Luzin's theorem about existence of integral on the measurable function and its multidimensional analogues on the many popular classes of rearrangement invariant (r.i.) spaces, namely, on the…

We add to the literature the following observation. If $\mu$ is a singular measure on $\mathbb{R}^n$ which assigns measure zero to every porous set and $f:\mathbb{R}^n\rightarrow\mathbb{R}$ is a Lipschitz function which is…

We study the Lusin approximation problem for real-valued measurable functions on Carnot groups. We prove that k-approximate differentiability almost everywhere is equivalent to admitting a Lusin approximation by $C^{k}_{\mathbb{G}}$ maps.…

In this paper we prove that every collection of measurable functions $f_\alpha$, $|\alpha|=m$ coincides a.e. with $m$th order derivatives of a function $g\in C^{m-1}$ whose derivatives of order $m-1$ may have any modulus of continuity…

Suppose that $(X,d,\mu)$ is a metric measure space of finite Hausdorff dimension and that, for every Lipschitz $f \colon X \to \mathbb R$, $\operatorname{Lip}(f,\cdot)$ is dominated by every upper gradient of $f$. We show that $X$ is a…