Bourbaki

Exercise 26, § 4

General Topology, II, p. 41

Bourbaki marks this one as harder than the rest.

a) Let X,YX, Y be two locally compact spaces, ff a continuous mapping from XX into YY; suppose that for a point y∈Yy \in Y, a connected component CC of f−1(y)f^{-1}(y) is compact. Now prove that for every open neighbourhood VV of yy in YY, there exists an open relatively compact neighbourhood V1⊂VV_1 \subset V of yy, and an open relatively compact neighbourhood UU of CC in XX, contained in f−1(V1)f^{-1}(V_1), such that the mapping f1:U→V1f_1 : U \to V_1 which coincides with ff in UU, is proper. (Using the corollary of II, p. 32, now prove that there exists an open relatively compact neighbourhood WW of CC contained in f−1(V)f^{-1}(V) and such that the boundary SS of WW in XX does not meet f−1(y)f^{-1}(y); take for UU (resp. V1V_1) the set of points of WW not belonging to f−1(f(S))f^{-1}(f(S)) (resp. the set of points of VV not belonging to f(S)f(S)).

b) Let X,YX, Y be two locally compact spaces, ff a continuous mapping from XX into YY, such that the connected components of all the sets f−1(y)f^{-1}(y), where yy ranges over YY, are compact. Let RR be the equivalence relation in XX whose equivalence classes are these connected components. Now prove that the canonical mapping X→X/RX \to X/R is proper (use aa), and Proposition 9 of I, p. 78).

Solution

No solution has been written yet.

Machine translation of the English, by gpt-5-mini. Not checked by a person. That model is a cut down version of the one the rest of this language was written by.