Exercise 26, § 4
General Topology, II, p. 41
Bourbaki marks this one as harder than the rest.
a) Let be two locally compact spaces, a continuous mapping from into ; suppose that for a point , a connected component of is compact. Now prove that for every open neighbourhood of in , there exists an open relatively compact neighbourhood of , and an open relatively compact neighbourhood of in , contained in , such that the mapping which coincides with in , is proper. (Using the corollary of II, p. 32, now prove that there exists an open relatively compact neighbourhood of contained in and such that the boundary of in does not meet ; take for (resp. ) the set of points of not belonging to (resp. the set of points of not belonging to ).
b) Let be two locally compact spaces, a continuous mapping from into , such that the connected components of all the sets , where ranges over , are compact. Let be the equivalence relation in whose equivalence classes are these connected components. Now prove that the canonical mapping is proper (use ), and Proposition 9 of I, p. 78).
Solution
No solution has been written yet.