Separation, factorization and finite sheaves on Nash manifolds
Soit l’algèbre des fonctions sur engendrée par les fonctions polynomiales et les exponentielles de formes linéaires. La partie de appartient à si et seulement s’il existe et dans pour lesquels est l’image par la projection canonique de sur , de l’ensemble des zéros de . Soit le plus petit sous-ensemble de parties de qui contient , l’adhérence de ses éléments et les images par la projection canonique de qui contient , l’adhérence de ses éléments et les images par la...