Bourbaki

Proposition 3

Tag 01WW, permanent. Cite it as [Bourbaki, Tag 01WW].

Topologie algébrique, chapter III, § 2. Homotopie et chemins

The image by a continuous mapping of an arcwise connected space is arcwise connected.

Let X be a path-connected space, f:X→Yf: X\rightarrow Y a continuous mapping. Let xx and yy be two points of f(X)f(X); let x′x' and y′y' be points of X such that f(x′)=xf(x') =x and f(y′)=yf(y') =y. There exists a path cc in X whose origin is x′x' and whose term is y′y'. Then, f∘cf\circ c is a path in f(X)f(X) with origin xx and term yy.

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-6-mini, gpt-5-mini, gpt-5-6, gpt-5.4, against glossary version 34. Not checked by a person. That model is a cut down version of the one the rest of this language was written by.