Corollary 1
Tag 01XF, permanent. Cite it as [Bourbaki, Tag 01XF].
Topologie algébrique, chapter III, § 2. Homotopie et chemins
A locally connected topological space, whose topology can be defined by a distance for which it is complete, is locally arcwise connected.
Let X be such a space and let U be an open and connected subset of X. According to Lemma 2 below, there exists a distance on U compatible with its topology for which U is complete. Since U is locally connected, it follows from Proposition 11 that U is arcwise 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.