Related papers: Cone unrectifiable sets and non-differentiability …

Letting A be a Borel subset of n dimensional Euclidean space, and W(x) be an m dimensional affine subspace containing x and varying in a Lipschitz way according to x, we establish that A is Lebesgue null if and only if $A \cap W(x)$ has m…

We consider the direction set determined by various subsets $E$ of Euclidean space and show that there is a trichotomy: Either (i) The subset is the graph of a Lipschitz function and the direction set is not dense in the sphere, (ii) The…

We prove an uniform boundedness principle for the Lipschitz seminorm of continuous, monotone, positively homogeneous and subadditive mappings on suitable cones of functions. The result is applicable to several classes of classically…

We denote the local ``little" Lipschitz constant of a function $f: {{\mathbb R}}\to { {\mathbb R}}$ by $ {\mathrm{lip}}f$. In this paper we settle the following question: For which sets $E {\subset} { {\mathbb R}}$ is it possible to find a…

This article studies typical 1-Lipschitz images of $n$-rectifiable metric spaces $E$ into $\mathbb{R}^m$ for $m\geq n$. For example, if $E\subset \mathbb{R}^k$, we show that the Jacobian of such a typical 1-Lipschitz map equals 1…

This is one of a series of papers examining the interplay between differentiation theory for Lipschitz maps, X-->V, and bi-Lipschitz nonembeddability, where X is a metric measure space and V is a Banach space. Here, we consider the case…

We show the existence of Lipschitz-free spaces verifying the Point of Continuity Property with arbitrarily high weak-fragmentability index. For this purpose, we use a generalized construction of the countably branching diamond graphs. As a…

We study removable sets for Newtonian Sobolev functions in metric measure spaces satisfying the usual (local) assumptions of a doubling measure and a Poincar\'e inequality. In particular, when restricted to Euclidean spaces, a closed set…

In the additive topological group $(\mathbb{R},+)$ of real numbers, we construct families of sets for which elements are not measurable in the Lebesgue sense. The constructed families have algebraic structures of being semigroups (i.e.,…

In this paper, using the tools from the lineability theory, we distinguish certain subsets of $p$-adic differentiable functions. Specifically, we show that the following sets of functions are large enough to contain an infinite dimensional…

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…

In relation to the Erd\H os similarity problem (show that for any infinite set $A$ of real numbers there exists a set of positive Lebesgue measure which contains no affine copy of $A$) we give some new examples of infinite sets which are…

Let $g(z)=\int_0^zp(t)\exp(q(t))\,dt+c$ where $p,q$ are polynomials and $c\in\mathbb{C}$, and let $f$ be the function from Newton's method for $g$. We show that under suitable assumptions the Julia set of $f$ has Lebesgue measure zero.…

Let $M$ be a subset of $\mathbb{R}^n$. If $M$ is not porous, in particular if it has positive $n$-dimensional Lebesgue measure, we prove that the Lipschitz spaces $\mathrm{Lip}_0(M)$ and $\mathrm{Lip}_0(\mathbb{R}^n)$ are linearly…

Let X_1 ,..., X_n be a collection of binary valued random variables and let f : {0,1}^n -> R be a Lipschitz function. Under a negative dependence hypothesis known as the {\em strong Rayleigh} condition, we show that f - E f satisfies a…

We show that for any infinite set $A$ in ${\mathbb R}$, there exists a compact set $E \subseteq \mathbb{R}$ of positive Lebesgue measure that does not contain any non-trivial affine copy of $A$. This proves the Erd\"os similarity…

We generalize a classical theorem of Besicovitch, showing that, for any positive integers $k<n$, if $E\subset \mathbb R^n$ is a Souslin set which is not $\mathcal{H}^k$-$\sigma$-finite, then $E$ contains a purely unrectifiable closed set…

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 show that any Carnot group contains a closed nowhere dense set which has measure zero but is not $\sigma$-porous with respect to the Carnot-Carath\'eodory (CC) distance. In the first Heisenberg group we observe that there exist sets…

We show that every Carnot group G of step 2 admits a Hausdorff dimension one `universal differentiability set' N such that every real-valued Lipschitz map on G is Pansu differentiable at some point of N. This relies on the fact that…