Corollary 3
Tag 020Z, permanent. Cite it as [Bourbaki, Tag 020Z].
Topologie algébrique, chapter IV, § 2. Groupes de Poincaré des espaces délaçables
Let X and Y be topological spaces and let be a continuous and relatively connected mapping. Let F be a set and let be a locally constant mapping. There exists a unique locally constant mapping such that .
The restriction of to every connected component of X is constant. By Corollary 1, there exists a mapping , constant on each connected component of Y, such that . The mapping is locally constant, since the connected components of Y are open. The uniqueness of such a mapping follows from the fact that is dense in Y.
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.