Related papers: A compact null set containing a differentiability …

A subset of Euclidean space will be said to be $n$-smooth if it has an $n$-dimensional tangent plane at each of its points. Let ${\frak d}_n$ denote the least number $n$-smooth sets into which $n+1$-dimensional Euclidean space can be…

We characterize $n$-rectifiable metric measure spaces as those spaces that admit a countable Borel decomposition so that each piece has positive and finite $n$-densities and one of the following: is an $n$-dimensional Lipschitz…

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 prove that if two finitely generated groups act on a metrically complete 2-dimensional Euclidean building, then the distance between their fixed-point sets is realised. Our proof uses the geometry of Euclidean buildings, which we view as…

We give a sufficient condition for a projective metric on a subset of a Euclidean space to admit a bi-Lipschitz embedding into Euclidean space of the same dimension.

We provide several characterizations of the Lebesgue property for fuzzy metric spaces. It is known that a fuzzy metric space is Lebesgue if and only if every real-valued continuous function is uniformly continuous. Here we show that it…

In the absence of the axiom of choice, the set-theoretic status of many natural statements about metrizable compact spaces is investigated. Some of the statements are provable in $\mathbf{ZF}$, some are shown to be independent of…

It is shown that a set in product of $n$ metrizable spaces is the discontinuity points set of some separately continuous function if and only if this set can be represented as the union of a sequence of $F_{\sigma}$-sets which are locally…

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…

Compact sets in constructive mathematics capture our intuition of what computable subsets of the plane (or any other complete metric space) ought to be. A good representation of compact sets provides an efficient means of creating and…

We study mappings differentiable almost everywhere, possessing the $N$-Luzin property, the $ N^{\,-1}$-property on the spheres with respect to the $(n-1)$-dimensional Hausdorff measure and such that the image of the set where its Jacobian…

We give sufficient geometric conditions, not involving capacities, for a compact null set to be removable for the Sobolev functions on weighted $\mathbb R^n$, defined as the closure of smooth functions in the weighted Sobolev norm. Our…

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…

For every nonempty compact convex subset $K$ of a normed linear space a (unique) point $c_K \in K$, called the generalized Chebyshev center, is distinguished. It is shown that $c_K$ is a common fixed point for the isometry group of the…

For complete metric spaces $X$ and $Y$, a description of linear biseparating maps between spaces of vector-valued Lipschitz functions defined on $X$ and $Y$ is provided. In particular it is proved that $X$ and $Y$ are bi-Lipschitz…

We prove the following variant of the Falconer conjecture in the plane. If the dimension of a compact planar set is greater than one, then the distance set with respect to almost every ellipse has positive Lebesgue measure.

If $g$ is a map from a space $X$ into $\mathbb R^m$ and $z\not\in g(X)$, let $P_{2,1,m}(g,z)$ be the set of all lines $\Pi^1\subset\mathbb R^m$ containing $z$ such that $|g^{-1}(\Pi^1)|\geq 2$. We prove that for any $n$-dimensional metric…

We prove that, in the space of all probabilistic continuous functions from a probabilistic metric space G to the set $\Delta$ + of all cumulative distribution functions vanishing at 0, the space of all 1-Lipschitz functions is compact if…

We show that on separable Banach spaces admitting a separating polynomial, any uniformly continuous, bounded, real-valued function can be uniformly approximated by Lipschitz, analytic maps on bounded sets.

In this note we find $\lambda>1$ and give an explicit construction of a separable Banach space $X$ such that there is no $\lambda$-Lipschitz retraction from $X$ onto any compact convex subset of $X$ whose closed linear span is $X$. This is…