Related papers: A universal differentiability set in Banach spaces…

We give a short proof that any non-zero Euclidean space has a compact subset of Hausdorff dimension one that contains a differentiability point of every real-valued Lipschitz function defined on the space.

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 show that every finite-dimensional Euclidean space contains compact universal differentiability sets of upper Minkowski dimension one. In other words, there are compact sets $S$ of upper Minkowski dimension one such that every Lipschitz…

We set up a descriptive set-theoretic framework to study Lipschitz-free spaces and use the reduction argument of Bossard to prove several results. We prove two universality results: if a separable Banach space is isomorphically universal…

We prove that for every function $f:X\to Y$, where $X$ is a separable Banach space and $Y$ is a Banach space with RNP, there exists a set $A\in\tilde\mcA$ such that $f$ is Gateaux differentiable at all $x\in S(f)\setminus A$, where $S(f)$…

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 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…

It is known that if a twice differentiable function has a Lipschitz continuous Hessian, then its gradients satisfy a Jensen-type inequality. In particular, this inequality is Hessian-free in the sense that the Hessian does not actually…

We show that no matter what subset of a normed space is given, a typical 1-Lipschitz mapping into a Banach space is non-differentiable at a typical point of the set in a very strong sense: the derivative ratio approximates, on arbitrary…

We give a metric characterisation of when the Lipschitz-free space over a separable ultrametric space is a dual Banach space. In the case where the Lipschitz-free space has a predual, we show that this predual is M-embedded if and only if…

In this paper, we study spaceability of subsets of generalized Orlicz and Lebesgue spaces associated to Banach function space. Also, we give some sufficient conditions for spaceability of subsets of a general Banach space which improves an…

We show that there exists a family of mutually singular doubling measures on Laakso space with respect to which real-valued Lipschitz functions are almost everywhere differentiable. This implies that there exists a measure zero universal…

Recently, in arXiv:2304.07149, a bridge was made between the very active area of spaces of Lipschitz real functions on a metric space and holomorphic functions on an open subset of a Banach space. This was done by introducing and studying…

Let $X_1, \dots, X_n$ be Banach spaces and $f$ a real function on $X=X_1 \times\dots \times X_n$. Let $A_f$ be the set of all points $x \in X$ at which $f$ is partially Fr\' echet differentiable but is not Fr\' echet differentiable. Our…

In this short note, we show that, in any given metric space, every Lipschitz open-map image of every subset of a given metric space whose boundary is Hausdorff-null is Hausdorff-measurable with respect to the same dimension. The main…

We prove that several classical Banach space properties are equivalent to separability for the class of Lipschitz-free spaces, including Corson's property ($\mathcal{C}$), Talponen's Countable Separation Property, or being a G\^ateaux…

We construct a differentiable locally Lipschitz function $f$ in $\mathbb{R}^{N}$ with the property that for every convex body $K\subset \mathbb{R}^N$ there exists $\bar x \in \mathbb{R}^N$ such that $K$ coincides with the set $\partial_L…

We prove that a compact metric space (or more generally an analytic subset of a complete separable metric space) of Hausdorff dimension bigger than $k$ can be always mapped onto a $k$-dimensional cube by a Lipschitz map. We also show that…

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,…

We prove that a typical Lipschitz mapping between any two Banach spaces is non-differentiable at typical points of any given subset of its domain in the most extreme form. This is a new result even for Lipschitz mappings between Euclidean…