Topologically Noetherian analytic algebras. Khovanskij's theory (Q1813026)

On étudie certaines algèbres de fonctions analytiques réelles définies sur un ouvert \(\Omega\) de \(\mathbb{R}^ n\). La propriété principale de ces algèbres est que tout semianalytique de \(\Omega\) défini globalement à l'aide d'un nombre fini de fonctions de \({\mathcal O}(\Omega)\), admet un nombre fini de composantes connexes. En reprenant les idées de Khovanskii (lemme de Rolle généralisé), on démontre que ces algèbres restent topologiquement noethériennes quand on leur adjoint les solutions de certaines équations différentielles du ler ordre. Par adjonctions successives, on construit ainsi de nombreux exemples de telles algèbres.