Bourbaki

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.

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.