À l’aide d’un théorème de division de séries entières convergentes avec estimation des normes sur un système fondamental de polydisques, on démontre un théorème de “passage du formel au convergent”. Ceci nous permet d’étudier les morphismes stables et plats entre germes d’espaces analytiques singuliers.
Nous donnons une preuve géométrique du théorème d’élimination des quantificateurs pour les fonctions logarithmico-exponentielles prouvé initialement par van den Dries, Macintyre et Marker. Notre démonstration n’utilise pas de Théorie des Modèles. Elle repose sur un théorème de préparation pour les fonctions sous-analytiques.
On introduit, dans ce travail, une hypothèse sur le spiralement d’une feuille d’un feuilletage analytique réel de codimension un (hypersurface pfaffienne). On en tire des résultats très généraux de finitude du type de Khovanskii. Des exemples précis montrent la généralité de ces hypersurfaces pfaffiennes. Une description complété des bouts de telles variétés en dimension trois est donnée.
We consider subrings A of the ring of formal power series. They are defined by growth conditions on coefficients such as, for instance, Gevrey conditions. We prove preparation theorems of Malgrange type in these rings. As a consequence we study maps F from to without constant term such that the rank of the Jacobian matrix of F is equal to 1. Let be a formal power series. If F is a holomorphic map, the following result is well known: ∘ F is analytic implies there exists a convergent power series...
Let be a compact semianalytic set and let be a collection of real analytic functions defined in some neighbourhood of . Let be the germ at of the set . Then there exist analytic functions defined in a neighbourhood of such that , for all .