Exercise 21, § 4
General Topology, IX
Bourbaki marks this one as harder than the rest.
a) Let be a paracompact space and let be a closed equivalence relation on such that every equivalence class with respect to is compact. Show that is paracompact [use Exercise 15 a), Theorem 3 of no. 3, and Lemma 6 of no. 5; cf. Exercise 15 c)].
b) Let be a Hausdorff space and let be a closed equivalence relation on such that every equivalence class with respect to is compact. Show that if is paracompact, then so is (use the argument of Chapter I, , no. 10, Proposition 17).
c) Let be a locally compact but not paracompact space (cf. Chapter I, , Exercise 12), and let be the one-point compactification of . Let be the topological sum of and , and let be the equivalence relation on which identifies each point of with its canonical image in . The relation is open, every equivalence class mod contains at most two points, and is homeomorphic to , hence is compact.
Solution
No solution has been written yet.