Bourbaki

Exercise 8, § 4

General Topology, I, 127

Let (Gi)i∈I(G_i)_{i \in I} be a family of graphs of equivalence relations (Set Theory, Chapter II, § 6, no. 1) on a topological space XX, and let RiR_i be the relation (x,y)∈Gi(x, y) \in G_i; then

G=⋂i∈IGi G = \bigcap_{i \in I} G_i
is the graph of an equivalence relation RR on XX. Show that there is a canonical continuous injection of the quotient space X/RX/R into the product space ∏i∈I(X/Ri)\prod_{i \in I} (X/R_i).

Solution

No solution has been written yet.

Transcribed from the printed volume. Not translated.