Lemma 1
Tag 01VH, permanent. Cite it as [Bourbaki, Tag 01VH].
Topologie algébrique, chapter III, § 1. Homotopies, homéotopies
Let X and Y be topological spaces and let be a continuous mapping. The following conditions are equivalent:
(i) For every topological space Z and every continuous mapping , there exists a continuous mapping such that ;
(ii) The mapping is injective and possesses a continuous retraction ;
(iii) The mapping defines a homeomorphism of X onto its image , which is a retract of Y.
Suppose that is injective and that X is a continuous retraction of the mapping . For every continuous mapping , the mapping satisfies . This proves that (ii)(i).
Suppose that condition (i) is satisfied. Let be the identity mapping. By hypothesis, there exists a continuous mapping such that . This implies that the mapping is injective and that is a continuous retraction of .
The equivalence of the properties (ii) and (iii) is immediate.
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.