Related papers: A compact universal differentiability set with Hau…

In this paper we introduce and study a certain intricate Cantor-like set $C$ contained in unit interval. Our main result is to show that the set $C$ itself, as well as the set of dissipative points within $C$, both have Hausdorff dimension…

I prove that the visible parts of a compact set in $\mathbb{R}^{n}$, $n \geq 2$, have Hausdorff dimension at most $n - \tfrac{1}{50n}$ from almost every direction.

The KC property, a separation axiom between weakly Hausdorff and Hausdorff, requires compact subsets to be closed. Various assumptions involving local conditions, dimension, connectivity, and homotopy show certain KC-spaces are in fact…

We give the following characterization of rectifiable metric spaces. A metric space with positive lower Hausdorff density is rectifiable if and only if, for any subset $F$ and $f:F\to Y$, a Lipschitz map into a metric space with positive…

We prove under ZFC that in each extremally disconnected compact space there exists a non-limit point of any countable discrete subset.

The Heisenberg group $\mathbb{H}$ equipped with a sub-Riemannian metric is one of the most well known examples of a doubling metric space which does not admit a bi-Lipschitz embedding into any Euclidean space. In this paper we investigate…

On a complete, connected, locally compact, non-compact geodesic space $(X,d)$, we assign each compact set a distance-like function. With the help of these functions, we obtain a pseudo-metric on the space of (non-empty) compact subsets of…

Sanchez, Viader, Paradis and Carrillo (2016) proved that there exists an increasing continuous singular function $f$ on $[0,1]$ such that the set $A_f$ of points where $f$ has a nonzero finite derivative has Hausdorff dimension 1 in each…

Fix $p>2$. We prove that the Euclidean distortion of every $n$-point subset of $L_p$ is $p^3(\log n)^{\frac12+o(1)}$, thus, in particular, demonstrating that all $n$-point subsets of $L_p$ exhibit an asymptotic improvement over the $O(\log…

Using a modification of a generalized Takagi-van der Waerden function on a metric space we prove that for any closed subset of a metric space without isolated points there exists a continuous function such that its big and local Lipschitz…

Hurewicz' characterized the dimension of separable metrizable spaces by means of finite-to-one maps. We investigate whether this characterization also holds in the class of compact F-spaces of weight c. Our main result is that, assuming the…

Suppose A is an open subset of a Carnot group G, where G has a discrete analogue, and H is another Carnot group. We show that a Lipschitz function from A to H whose image has positive Hausdorff measure in the appropriate dimension is…

We examine properties of equidistant sets determined by nonempty disjoint compact subsets of a compact 2-dimensional Alexandrov space (of curvature bounded below). The work here generalizes many of the known results for equidistant sets…

We review the motivation and fundamental properties of the Hausdorff dimension of metric spaces and illustrate this with a number of examples, some of which are expected and well-known. We also give examples where the Hausdorff dimension…

An important theorem of geometric measure theory (first proved by Besicovitch and Davies for Euclidean space) says that every analytic set of non-zero $s$-dimensional Hausdorff measure $\mathcal H^s$ contains a closed subset of non-zero…

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…

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…

We give a complete proof of the expression of capacities of a measure in terms of its Fourier transform.

A first-order expansion of the $\mathbb{R}$-vector space structure on $\mathbb{R}$ does not define every compact subset of every $\mathbb{R}^n$ if and only if topological and Hausdorff dimension coincide on all closed definable sets.…

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…