On some ideals of differentiable functions (Q2533692): Difference between revisions

Introduction à la théorie des idéaux fermés de type fini de fonctions \(C^\infty\) (en abrégé IFTF). L'A. rassemble quelques propriétés élémentaires des IFTF concernant les idéaux de Lojasiewicz et les extensions jacobiennes. Il démontre que l'ensemble des zéros d'un IFTF peut être défini par une extension jacobienne et qu'il contient un ensemble partout dense de points réguliers. Remarque du Rapporteur: La théorie des IFTF a été considérablement développée depuis par J. C. Tougeron. Il est dommage que l'A. n'a pas inclus dans son article certains résultats tels que: ``L'ensemble des zéros d'un IFTF n'est pas nécéssairement localement connexe (Tougeron), contrairement à ce qui a lieu pour un ensemble analytique'' -- ``Une condition nécessaire et suffisante pour qu'une fonction satisfasse à l'inégalité de Lojasiewicz est qu'elle divise (dans \(C^\infty\) toute fonction infiniment plate sur l'ensemble de ses zéros'' -- Le lemme 2 de l'A. peut être précisé ainsi: ``Si \(f\) est une fonction satisfaisant à l'inégalité de Lojasiewicz d'exposant \(c\), elle n'est \((c+1)\)-plate en aucun point'' (résultat non trival, non publié, dû à Tougeron et au Rapporteur).