Bi-Lipschitz homeomorphic subanalytic sets have bi-Lipschitz homeomorphic tangent cones (Q268157): Difference between revisions

Let \(A\subseteq \mathbb{R}^n\) be a subanalytic set and \(x_0\in\overline{A}\). A vector \(v\in\mathbb{R}^n\) is called a tangent vector of \(A\) at \(x_0\) if there is a sequence of points \(\{x_i\}\subset A\smallsetminus \{x_0\}\) tending to \(x_0\) and a sequence of positive real numbers \(\{t_i\}\) such that \(\lim_{i\to\infty}\frac{1}{t_i}(x_i-x_0)=v\). Let \(C(A, x_0)\) denote the set of all tangent vectors of \(A\) at \(x_0\), the so-called tangent cone of \(A\) at \(x_0\). It is proved that if two germs \((X, x_0)\) and \((Y, y_0)\) are bi-Lipschitz homeomorphic, then \((C(X, x_0), x_0)\) and \((C(Y, y_0),y_0)\) are also bi-Lipschitz homeomorphic.