Bourbaki

Example 1

Tag 0210, permanent. Cite it as [Bourbaki, Tag 0210].

Topologie algébrique, chapter IV, § 2. Groupes de Poincaré des espaces délaçables

Let X be a topological space and let R be an equivalence relation in X. Let Y denote the quotient topological space X/RX/R and f:X→Yf: X\rightarrow Y the canonical mapping. Suppose that the equivalence classes of R are connected. Then, for every open and

connected subset V of Y, the set f−1(V)\overset{-1}{f}(V) is connected (TG, I, p. 23, corollary 1 and p. 82, proposition 7). If the space Y is locally connected, the mapping ff is thus relatively connected.

Bourbaki sets the proof directly after the statement, and the corpus does not separate them, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Nothing.

Machine translation of the English, by gpt-5.4, against glossary version 34. Not checked by a person.