Pseudo-immersions (Q1078858)

Soit M et N des \(C^{\infty}\)-variétés, \(f: M\to N\) une \(C^{\infty}\)-application ayant la propriété suivante: Pour toute \(C^{\infty}\)-variété P et toute application continue \(g: P\to M\), \(f\circ g\in C^{\infty}\) implique \(g\in C^{\infty}\). Alors f est appelée une pseudo-immersion. Exemple d'une pseudo-immersion non- immersive: \({\mathbb{R}}\to {\mathbb{R}}^ 2\), \(t\mapsto (t^ 2,t^ 3)\). Localement on parle de germes pseudo-immersifs \(\phi\) : (\({\mathbb{R}}^ m,0)\to ({\mathbb{R}}^ n,0)\), dont l'ensemble est noté \(\Psi_{n,m}\). \(\Psi_{m,l}\) est caractérisé comme suit: Soit \(\phi\) : (\({\mathbb{R}},0)\to ({\mathbb{R}}^ n,0)\) un germe d'une \(C^{\infty}\)-courbe, \(\phi (t)=(\phi_ 1(t),...,\phi_ n(t))\). On suppose que \(\phi_ 1(t)=t^ r\), avec un r naturel; alors on montre que \(\phi\) est pseudo- immersif si et seulement si la série de Taylor de \(\phi\) ne se trouve dans aucun \({\mathbb{R}}^ n[[ t^ s]]\), \(s\geq 2\). Ensuite on utilise ce résultat pour montrer que \(\Psi_{2,2}=Diff_ 2\).