Related papers: The Besicovitch-Federer projection theorem is fals…
We characterise purely $n$-unrectifiable subsets $S$ of a complete metric space $X$ with finite Hausdorff $n$-measure by studying arbitrarily small perturbations of elements of the set of all bounded 1-Lipschitz functions $f\colon X \to…
The classical Besicovitch-Federer projection theorem implies that the d-dimensional Hausdorff measure of a set in Euclidean space with non-negligible d-unrectifiable part will strictly decrease under orthogonal projection onto almost every…
The purpose of this article is to prove a generalisation of the Besicovitch-Federer projection theorem about a characterisation of rectifiable and unrectifiable sets in terms of their projections. For an $m$-unrectifiable set…
In this paper we establish a Besicovitch-Federer type projection theorem for general measures. Specifically, let $\mu$ be a finite Borel measure on $\mathbb{R}^n$ and let $0 < m < n$ be an integer. We show that, under the sole assumption…
The Besicovitch projection theorem states that if a subset $E$ of the plane has finite length in the sense of Hausdorff measure and is purely unrectifiable (so its intersection with any Lipschitz graph has zero length), then almost every…
By using a multiscale analysis, we establish quantitative versions of the Besicovitch projection theorem (almost every projection of a purely unrectifiable set in the plane of finite length has measure zero) and a standard companion result,…
We extend the Besicovitch-Federer projection theorem to transversal families of mappings. As an application we show that on a certain class of Riemann surfaces with constant negative curvature and with boundary, there exist natural…
For an arbitrary infinite-dimensional Banach space $\X$, we construct examples of strongly-measurable $\X$-valued Pettis integrable functions whose indefinite Pettis integrals are nowhere weakly differentiable; thus, for these functions the…
The classical Besicovitch projection theorem states that if a planar set $E$ with finite length is purely unrectifiable, then almost all orthogonal projections of $E$ have zero length. We prove a quantitative version of this result: if…
The following strengthening of the Elton-Odell theorem on the existence of a $(1+\epsilon)-$separated sequences in the unit sphere $S_X$ of an infinite dimensional Banach space $X$ is proved: There exists an infinite subset $S\subseteq S_X$…
We prove for an arbitrary complex $^*$-algebra $A$ that every topologically irreducible $^*$-representation of $A$ on a Hilbert space is finite dimensional precisely when the Lebesgue decomposition of representable positive functionals over…
We prove that a purely unrectifiable self-similar set of finite 1-dimensional Hausdorff measure in the plane, satisfying the Open Set Condition, has radial projection of zero length from every point.
We derive two fixed point theorems for a class of metric spaces that includes all Banach spaces and all complete Busemann spaces. We obtain our results by the use of a 1-Lipschitz barycenter construction and an existence result for…
We consider the space $C_{\lambda}$ of all continuous interval maps preserving the Lebesgue measure $\lambda$. A continuous function $f\colon~[0,1]\to \mathbb R$ is called Besicovitch if it does not have any finite or infinite unilateral…
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 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…
A problem of Banach asks whether every infinite-dimensional Banach space which is isomorphic to all its infinite-dimensional subspaces must be isomorphic to a separable Hilbert space. In this paper we prove a result of a Ramsey-theoretic…
Let $X$ be a Banach space with separable dual. It is proved that for every $\varepsilon\in (0,1)$, $X$ embeds isometrically into a Banach space $W$ with a shrinking basis $(w_n)$ which is $(1+ \varepsilon)$-monotone. Moreover, if $X$ has…
We show that whenever a separable subset $S$ of a complete metric space $X$ admits a $d$-dimensional weak tangent field, the set $S$ is close to being $d$-dimensional in the following sense. Whenever $\mu$ is a Borel finite measure on $X$…
An infinite dimensional notion of asymptotic structure is considered. This notion is developed in terms of trees and branches on Banach spaces. Every countably infinite countably branching tree $\mathcal T$ of a certain type on a space X is…