Exercice 27, § 11
Topologie générale, I
Bourbaki marks this one as harder than the rest.
Étant donnés deux espaces topologiques , on dit qu’une application est un homéomorphisme local si pour tout , il existe un voisinage de tel que soit un voisinage de dans et que l’application coïncidant avec dans soit un homéomorphisme. Tout homéomorphisme local est une application continue ouverte. a) On suppose séparé, localement connexe. Soit un homéomorphisme local pour lequel il existe un entier tel que pour tout ait exactement points. Montrer que pour tout , il existe un voisinage ouvert de tel que ait composantes connexes () et que l’application coïncidant avec dans soit un homéomorphisme; est alors une application propre. b) On suppose séparé, connexe et localement connexe. Soit un homéomorphisme local propre; montrer que vérifie l’hypothèse de a). (Si pour tout entier , est l’ensemble des tels que ait au moins points, montrer que est à la fois ouvert et fermé dans ). c) Donner un exemple d’homéomorphisme local surjectif , où est compact, connexe et localement connexe, localement compact, connexe et localement connexe, a au plus 2 points pour tout , mais n’est pas propre (cf. I, p. 96, exerc. 4).
Solution
Aucune solution n’a encore été écrite.