Skip to main content
1 of 4

Finite approximations to the Kuratowski embedding

Let $(X,d)$ be a compact doubling metric space with doubling constant $C>0$. Let $\{\mathbb{X}_n\}_{n=0}^{\infty}$ be a sequences of finite subsets of $X$ with $$ \left\{B\left(x_k,\frac1{n}\right)\right\}_{k=0}^{\mathbb{X}_n} \mbox{covers } X \mbox{ and } \#\mathbb{X}_n \mbox{is the $\frac1{k}$-covering number of $X$}. $$ Fix some $x^{\star}\in X$ and consider the associated sequences of $1$-Lipschitz maps $$ K_n:\,x\mapsto \left(d(x,x_n)-d(x_n,x^{\star})\right)_{x_n\in \mathbb{X}_n}. $$

In the case where $(X,d)$ is a compact Riemannian manifold, then this paper of Katz and Katz (with un unpublished quantitative version found here) shows that $K_n$ approximate the Kuratowksi embedding $$ K_{\infty}:x\mapsto \left(d(x,\cdot)-d(\cdot,x^{\star})\right) \in C_b(X,d). $$


What I mean is, if $(X,d)$ is compact (and possibly doubling as above) then can we always find sets $\{\mathbb{X}_n\}_{n=0}^{\infty}$ such that $$ \lim\limits_{n \uparrow \infty}\,\max_{x\in X}\,|K_n(x)-K_{\infty}(x)|=0? $$

I'm assuming so, but I really can't see what the obstruction would be/why I can't find this result in the literature...