\({\mathcal G}_{q,k}\)-determinacy of \(C^{\infty}\) map-germs (Q1801757): Difference between revisions

This paper deals with \({\mathcal G}\)-determinacy of germs of \(C^ \infty\) mappings. The author generalizes former results obtained by Cao Yi and Gervais. The theorems contained in this setting are: Theorem 1: Let \(f:(\mathbb{R}^ n,0)\Rightarrow(\mathbb{R}^ p,0)\) be a germ of a \(C^ \infty\) mapping and \(I \subset C_ n\) be an ideal such that \[ I^ r \theta_ f \subset{\mathcal M}_ n^{k+1}J(f)+{\mathcal M}_ n \tau_ q(f) \quad (r \geq 1). \] Then \(f\) is \(I^{r+2}\)-\({\mathcal G}_{q,k}\)- determined. Theorem 2. Let \(0 \leq k \leq r\) and \(r>0\). If \(f:\mathbb{R}^ n\), \(0\Rightarrow \mathbb{R}^ p,0\) be such that \({\mathcal M}^{r+1}_ n \theta \subset{\mathcal M}_ n^{k+1} J(f)+{\mathcal M}_ n \tau_ q(f)+{\mathcal M}_ n^{r+2}\theta_ f\). Then (i) \(f\) is \({\mathcal G}_{q,k}\)-determined when \(k \geq 1\), or (ii) \(f\) is \((r+1)\)-\({\mathcal V}_ q\)-determined when \(k=0\).