Planar bilipschitz extension from separated nets

From MaRDI portal





Let \((X, d_1)\) and \((Y, d_2)\) be metric spaces. A mapping \(f : X \rightarrow Y\) is said to be \(L\)-bilipschitz if for any points \(x, y\in X\) \(\frac{1}{L}\cdot d_1(x, y)\leq d_2(f(x), f(y))\leq L\cdot d_1(x, y)\).\N\NA subset \(A\) of \({\mathbb R}^d\) is a \textit{separated net} in \({\mathbb R}^d\) if there are \(r, R > 0\) such that for every \(x \in {\mathbb R}^d\) there is \(a \in A\) such that \(\|x - a\| \leq R\) and for every \(a, b\in A, a \neq b, \|a - b\|\geq r\).\N\NThe bilipschitz extension problem for a set \(A\subset {\mathbb R}^d\) is the question whether every bilipschitz mapping \(f:A \rightarrow {\mathbb R}^d\) admits a bilipschitz extension \(F:{\mathbb R}^d \rightarrow {\mathbb R}^d\).\N\NThis extension problem is solved in this paper for the case \(A={\mathbb Z}^2\) and then for \(A\) a separated net in \({\mathbb R}^2\). More precisely, in case \(A={\mathbb Z}^2\), the following result holds:\N\NLet \(L\geq 1\) and \(f:{\mathbb Z}^2 \rightarrow {\mathbb R}^2\) be an \(L\)-bilipschitz mapping. Then there is a \(10^{20000} L^{6000}\)-bilipschitz mapping \(F:{\mathbb R}^2 \rightarrow {\mathbb R}^2 \) such that \(F|_{{\mathbb Z}^2} = f\).











This page was built for publication: Planar bilipschitz extension from separated nets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7249428)