Tangential approximation of analytic sets (Q2181169)

The authors have studied in several papers an equivalence relation for subanalytic subsets of \(\mathbb R^n\). One says that two such subsets \(A\) and \(B\) are \(s\)-equivalent at \(P\in A\cap B\) (where \(s\geq 1\)) if \[ \lim_{r\rightarrow 0}\dfrac{D(A\cap S_r,B\cap S_r)}{r^s}=0 \] where \(D\) denotes the Hausdorff distance, and \(S_r\) the sphere of radius \(r\) centered at \(P\). In several previous papers, the authors investigated the problem, for a given real subanalytic set \(A\), \(P\in A\), and \(s\geq 1\), of the existence of an algebraic set \(B\), \(P\in B\), that is \(s\)-equivalent to \(A\). They show that such a set \(B\) does not exists in general. But such a set \(B\) exists when \(A\) is a closed semianalytic set. In the present paper, the authors strengthen the notion of \(s\)-equivalence. Namely, for two sets \(A\), \(B\) with isolated singularities at \(P\), where \(P\in A\cap B\), we say that \(A\) and \(B\) are \textit{tangencially \(s\)-equivalent} if \(A\) and \(B\) are \(s\)-equivalent and their tangent spaces around \(P\) are close enough in some precise sense. The main result of the paper is the following one: for a given analytic function \(f:\mathbb R^n\longrightarrow \mathbb R^p\), with an isolated singularity at 0, \(V(f)\) is tangencially \(s\)-equivalent to \(V(T^kf)\), for every \(k\geq k_0(s)\) (here \(T_kf\) denote the truncation of \(f\) at order \(k\)).