Bourbaki

Proposition 4

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

General Topology, chapter I, § 11. Connectedness

Let AA be a connected subset of a topological space XX, and let ff be a continuous mapping of XX into a topological space X′X'. Then f(A)f(A) is connected.

Suppose f(A)f(A) is not connected. Then there exist two sets M′,N′M', N' which are open in f−1(A)f^{-1}(A) and which form a partition of f(A)f(A); hence A∩f−1(M′)A \cap f^{-1}(M') and A∩f−1(N′)A \cap f^{-1}(N') are open in AA and form a partition of AA; this contradicts the hypothesis that AA is connected.

The inverse image of a connected set under a continuous mapping need not be connected; consider for example a mapping of a discrete space into a space consisting of one point.

From Proposition 4 we derive another characterization of non-connected spaces:

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

Cited by

Cites

Nothing.

Transcribed from the printed volume. Not translated.