Related papers: Characterising rectifiable metric spaces using tan…

A measure is 1-rectifiable if there is a countable union of finite length curves whose complement has zero measure. We characterize 1-rectifiable Radon measures $\mu$ in $n$-dimensional Euclidean space for all $n\geq 2$ in terms of…

We extend the Theory of Computation on real numbers, continuous real functions, and bounded closed Euclidean subsets, to compact metric spaces $(X,d)$: thereby generically including computational and optimization problems over higher types,…

Let $X_1,\cdots,X_m$ be vector fields satisfying H\"ormander's Lie bracket generating condition on a smooth manifold $M$. We generalise Connes's tangent groupoid, by constructing a completion of the space $M\times M\times…

We give a sharp Hausdorff content estimate for the size of the accessible boundary of any domain in a metric measure space of controlled geometry, i.e., a complete metric space equipped with a doubling measure supporting a $p$-Poincar\'e…

Motivated by Rosenthal's famous $l^1$-dichotomy in Banach spaces, Haydon's theorem, and additionally by recent works on tame dynamical systems, we introduce the class of tame locally convex spaces. This is a natural locally convex analogue…

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 consider Gromov-Hausdorff convergence of state spaces for spectral truncations of a compact metric group $G$. We work in the context of order-unit spaces and consider orthogonal projections $P_\Lambda$ in $L^2(G)$ corresponding to finite…

Given a metric space $X$ and a function $f: X \to \mathbb{R}$, the Reeb construction gives metric a space $X_f$ together with a quotient map $X \to X_f$. Under suitable conditions $X_f$ becomes a metric graph and can therefore be used as a…

We introduce a natural definition of $L^p$-convergence of maps, $p \ge 1$, in the case where the domain is a convergent sequence of measured metric space with respect to the measured Gromov-Hausdorff topology and the target is a…

We study the recovery of geometric structure from data generated by convolving the uniform measure on a smooth compact submanifold $M\subset\mathbb{R}^D$ with ambient Gaussian noise. Our main result is that several fundamental Riemannian…

We show that every complete metric space is homeomorphic to the precise locus of zeros of an entire analytic map from a Hilbert space to a Banach space. As a corollary, every complete separable metric space is homeomorphic to the precise…

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 the definition of angles on a Gromov-Hausdorff limit space of a sequence of complete n-dimensional Riemannian manifolds with a lower Ricci curvature bound. We apply this to prove there is a weakly second order differential structure…

A well known result in the analysis of finite metric spaces due to Gromov says that given any $(X,d_X)$ there exists a \emph{tree metric} $t_X$ on $X$ such that $\|d_X-t_X\|_\infty$ is bounded above by twice $\mathrm{hyp}(X)\cdot…

We present theoretical properties of the space of metric pairs equipped with the Gromov--Hausdorff distance. First, we establish the classical metric separability and the geometric geodesicity of this space. Second, we prove an…

We show that if $x$ is a strongly extreme point of a bounded closed convex subset of a Banach space and the identity has a geometrically and topologically good enough local approximation at $x$, then $x$ is already a denting point. It turns…

In this paper we prove that generic metric spaces are everywhere dense in the proper class of all metric spaces endowed with the Gromov-Hausdorff distance.

We prove a compactness theorem for the dual Gromov-Hausdorff propinquity as a noncommutative analogue of the Gromov compactness theorem for the Gromov-Hausdorff distance. Our theorem is valid for subclasses of quasi-Leibniz compact quantum…

We first prove a version of Tietze-Urysohn's theorem for proper functions taking values in non-negative real numbers defined on $\sigma$-compact locally compact Hausdorff spaces. As its application, we prove an extension theorem of proper…

We show that there exists a natural counterpart of the Gromov-Hausdorff metric in the class of ultrametric spaces. It is proved, in particular, that the space of all ultrametric spaces whose metric take values in a fixed countable set is…