Bourbaki

Proposition 6

Tag 0B1G, permanent. Cite it as [Bourbaki, Tag 0B1G].

General Topology, chapter I, § 3. Subspaces, quotient spaces

Let XX be a topological space, RR an equivalence relation on XX, φ\varphi the canonical mapping of XX onto X/RX/R; then a mapping ff of X/RX/R into a topological space YY is continuous if and only if f∘φf \circ \varphi is continuous on XX.

This is a particular case of § 2, no. 4, Proposition 6; it expresses the fact that the quotient topology is the final topology for the mapping φ\varphi.

Proposition 6 shows that there is a one-to-one correspondence between the continuous mappings of X/RX/R into YY and the continuous maps of XX into YY which are constant on each equivalence class mod RR.

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Cites

Transcribed from the printed volume. Not translated.