Bourbaki

Exercice 27, § 11

Topologie générale, I

Bourbaki marks this one as harder than the rest.

Étant donnés deux espaces topologiques X,YX, Y, on dit qu’une application f:X→Yf : X \to Y est un homéomorphisme local si pour tout x∈Xx \in X, il existe un voisinage UU de xx tel que f(U)f(U) soit un voisinage de f(x)f(x) dans YY et que l’application U→f(U)U \to f(U) coïncidant avec ff dans UU soit un homéomorphisme. Tout homéomorphisme local est une application continue ouverte. a) On suppose XX séparé, YY localement connexe. Soit f:X→Yf : X \to Y un homéomorphisme local pour lequel il existe un entier n>0n > 0 tel que pour tout y∈Y,f−1(y)y \in Y, f^{-1}(y) ait exactement nn points. Montrer que pour tout y∈Yy \in Y, il existe un voisinage ouvert VV de yy tel que f−1(V)f^{-1}(V) ait nn composantes connexes UiU_i (1≤i≤n1 \leq i \leq n) et que l’application Ui→VU_i \to V coïncidant avec ff dans UiU_i soit un homéomorphisme; ff est alors une application propre. b) On suppose XX séparé, YY connexe et localement connexe. Soit f:X→Yf : X \to Y un homéomorphisme local propre; montrer que ff vérifie l’hypothèse de a). (Si pour tout entier n>0n > 0, YnY_n est l’ensemble des y∈Yy \in Y tels que f(y)f(y) ait au moins nn points, montrer que YnY_n est à la fois ouvert et fermé dans YY). c) Donner un exemple d’homéomorphisme local surjectif f:X→Yf : X \to Y, où YY est compact, connexe et localement connexe, XX localement compact, connexe et localement connexe, f−1(y)f^{-1}(y) a au plus 2 points pour tout y∈Yy \in Y, mais ff n’est pas propre (cf. I, p. 96, exerc. 4).

Solution

Aucune solution n’a encore été écrite.

Transcrit du volume imprimé. Non traduit.