Finite determinacy of non-isolated singularities (Q2833618)

The authors extend the Kuiper, Kuo, Bochnak, Łojasiewicz theorem on sufficiency of jets of isolated singularities to the case of non-isolated singularities. In the main theorem they prove that if \(f,g:(\mathbb{R} ^{n},0)\rightarrow (\mathbb{R}^{m},0),\) \(m\leqslant n,\) are \(C^{k}\) -mappings, \(k>1,\) such that their \(k\)-jets in points of the set \(Z:=\{x\in \mathbb{R}^{n}:\nu (df(x))=0\}\) (\(\nu (df(x))\) is a generalization to mappings of the norm of the gradient of a function -- the \textit{Rabier function}) are the same and NEWLINE\[NEWLINE \nu (df(x))\geq C\text{dist}(x,Z)^{k-1}\text{ as }x\rightarrow 0 NEWLINE\]NEWLINE then \(f\circ \varphi =g\) in a neighbourhood of \(0,\) where \(\varphi :(\mathbb{ R}^{n},0)\rightarrow (\mathbb{R}^{n},0)\) is a homeomorphism.