Spazi con operatori e applicazioni al problema di Knaster
Given a compact manifold , an integer and an exponent , we prove that the class of smooth maps on the cube with values into is dense with respect to the strong topology in the Sobolev space when the homotopy group of order is trivial. We also prove density of maps that are smooth except for a set of dimension , without any restriction on the homotopy group of .
Il est démontré que le groupe des difféomorphismes du tore qui sont isotopes à l’identité est un groupe qui est égal à son groupe des commutateurs. Il résulte de D.A.B. Epstein que c’est un groupe simple. Un lemme fondamental est utilisé ; il donne la structure locale des orbites de certaines translations du tore ; ce lemme est une application du théorème des fonctions implicites de F. Sergeraert.
Soit un morphisme propre relativement algébrique entre espaces semi-analytiques. On montre que si désigne l’anneau des fonctions de classe sur , l’image par de est fermée dans muni de sa topologie naturelle d’espace de Frechet ; ceci généralise un résultat précédent de J.-C. Tougeron (lui-même généralisant un résultat de Glaeser) qui traite du cas semi-algébrique. La méthode est tout à fait analogue et utilise des propriétés algébriques de l’anneau des fonctions Nash-analytiques introduit...