Lemma
Tag 01XL, permanent. Cite it as [Bourbaki, Tag 01XL].
Topologie algébrique, chapter III, § 2. Homotopie et chemins
Let X be a topological space connected and locally connected by arcs and let be a point of X. Suppose that the point has a countable fundamental system of neighbourhoods. Then, for every sequence of points of X tending to , there exists a path in X such that and for .
Let be a fundamental system of neighbourhoods of . Put and for every , let be an arc-connected neighbourhood of contained in .
For every integer , denote by the largest integer such that for every . The sequence is increasing by definition; it tends to infinity, because the sequence tends to . For every integer , let be a path with origin and endpoint in . Define a mapping by putting and if . We have for every . The mapping is therefore continuous on every interval of the form with , hence on the interval . If , the point belongs to ; the mapping is therefore continuous at 0.
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.