Bourbaki

Exercise 19, § 4

General Topology, IX, p. 105

(a) Let XX be a normal space, RR a closed equivalence relation in XX. Now prove that the quotient space X/RX/R is normal (use prop. 10 of I, p. 35).

(b) Let XX be a locally compact space countable at infinity, RR an equivalence relation in XX whose graph is closed in X×XX \times X. Now prove that X/RX/R is normal (cf. I, p. 113, exerc. 19).

(c) Let XX be the complement, in R\mathbf{R}, of the set of points of the form 1/n1/n, where nn runs through the set of integers different from 0 and from ±1\pm 1. We consider, in the metrizable space XX, the equivalence relation RR for which the equivalence class of every non-integer point x∈Xx \in X is formed by the points xx and 1/x1/x, and the equivalence class of each integer is reduced to that integer. Now prove that RR is open and has a closed graph in X×XX \times X, but that X/RX/R is not regular.

Solution

No solution has been written yet.

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