Proposition 11
Tag 01XD, permanent. Cite it as [Bourbaki, Tag 01XD].
Topologie algébrique, chapter III, § 2. Homotopie et chemins
A connected and locally connected topological space, whose topology can be defined by a distance for which it is complete, is connected by arcs.
Let X be a topological space. Call a train in X any nonempty finite sequence of connected open subsets of X such that for . We say that is the length of the train T and that the are its wagons. If X is endowed with a distance compatible with its topology, we call the width of the train T the maximum of the diameters of its wagons. We say that the train joins a point to a point if belongs to the first and to the last wagon. We call a refinement of T any pair formed by a train and a strictly increasing mapping such that and for and .
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.