4.5 Exercices
En utilisant un voisinage collier du bord, montrer que l'existence d'une rétraction continue impliquerait l'existence d'une rétraction lisse.
On suppose l'existence d'une rétraction lisse . Montrer que la préimage d'une valeur régulière de est une sous-variété de dimension un proprement plongée dans et dont le bord est connexe non vide.
Conclure.
En déduire le théorème de point fixe de Brouwer : toute application continue de la boule dans elle-même admet au moins un point fixe.
Montrer que le champ de vecteurs radial dans poussé par s'étend (de façon unique) en champ de vecteurs lisse sur .
Calculer la caractéristique d'Euler de la sphère .
En déduire le théorème de la boule chevelue de Brouwer : les sphères de dimension paire n'admettent pas de champ de vecteurs continus ne s'annulant pas.
Montrer que s'étend continuement en application de dans .
En utilisant l'invariance du degré par déformation, montrer que est de degré (au sens de la topologie différentielle).
En déduire le théorème de d'Alembert-Gauss : est surjectif (en particulier admet au moins une racine).
Montrer que est invariant par homotopie de (parmi les champs de vecteurs ne s'annulant pas sur .
Montrer que si n'est nulle part tangent à alors son degré vaut 1.
Montrer que si ne s'annule pas dans alors son degré est nul.
En déduire le théorème de d'Alembert-Gauss et le théorème de point fixe de Brouwer (en toute dimension).
Montrer qu'il existe une application transversale sur et dont l'image intersecte en exactement un point.
Montrer que s'étend en application lisse transversale sur .
Montrer que ne saurait être compacte.