Related papers: On the differentiability of Lipschitz functions wi…

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…

We prove that in a Euclidean space of dimension at least two, there exists a compact set of Lebesgue measure zero such that any real-valued Lipschitz function defined on the space is differentiable at some point in the set. Such a set is…

Rademacher theorem asserts that Lipschitz continuous functions between Euclidean spaces are differentiable almost everywhere. In this work we extend this result to set-valued maps using an adequate notion of set-valued differentiability…

We remark a variant of the existence part of the fundamental theorem of calculus, which, together with the Lebesgue differentiation theorem, constitute a new proof that every Riemann-integrable function on a compact interval having limit…

In this paper we prove generalizations of Lusin-type theorems for gradients due to Giovanni Alberti, where we replace the Lebesgue measure with any Radon measure $\mu$. We apply this to go beyond the known result on the existence of…

We show that if n>1 then there exists a Lebesgue null set in R^n containing a point of differentiability of each Lipschitz function mapping from R^n to R^(n-1); in combination with the work of others, this completes the investigation of…

Let (X, d) be a quasi-convex, complete and separable metric space with reference probability measure m. We prove that the set of of real valued Lipschitz function with non zero point-wise Lipschitz constant m-almost everywhere is residual,…

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…

We consider an $L^2$-Wasserstein type distance $\rho$ on the configuration space $\Gamma_X$ over a Riemannian manifold $X$, and we prove that $\rho$-Lipschitz functions are contained in a Dirichlet space associated with a measure on…

We obtain a criterion for an analytic subset of a Euclidean space to contain points of differentiability of a typical Lipschitz function, namely, that it cannot be covered by countably many sets, each of which is closed and purely…

On complete metric spaces that support doubling measures, we show that the validity of a Rademacher theorem for Lipschitz functions can be characterised by Keith's "Lip-lip" condition. Roughly speaking, this means that at almost every…

A well-known open question is whether every countable collection of Lipschitz functions on a Banach space X with separable dual has a common point of Frechet differentiability. We show that the answer is positive for some…

We obtain an optimal deviation from the mean upper bound \begin{equation} D(x)\=\sup_{f\in \F}\mu\{f-\E_{\mu} f\geq x\},\qquad\ \text{for}\ x\in\R\label{abstr} \end{equation} where $\F$ is the class of the integrable, Lipschitz functions on…

This note details how a recent structure theorem for normal $1$-currents proved by the first and third author allows to prove a conjecture of Cheeger concerning the structure of Lipschitz differentiability spaces. More precisely, we show…

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…

We combine Kirchheim's metric differentials with Cheeger charts in order to establish a non-embeddability principle for any collection $\mathcal C$ of Banach (or metric) spaces: if a metric measure space $X$ bi-Lipschitz embeds in some…

In classical analysis, Lebesgue first proved that $\mathbb{R}$ has the property that each Riemann integrable function from $[a,b]$ into $\mathbb{R}$ is continuous almost everywhere. This property is named as the Lebesgue property. Though…

We conjecture that whenever $M$ is a metric space of density at most continuum, then the space of Lipschitz functions is $w^*$-separable. We prove the conjecture for several classes of metric spaces including all the Banach spaces with a…

We prove that if all shifts of a measure in the Euclidean space are close in a sense to each other, then this measure is close to the Lebesgue one.

We introduce a generalized version of the local Lipschitz number $\textrm{lip}\,u$, and show that it can be used to characterize Sobolev functions $u\in W_{\textrm{loc}}^{1,p}(\mathbb R^n)$, $1\le p\le \infty$, as well as functions of…