Bourbaki

Exercise 19, § 1

Tag 03YX, permanent. Cite it as [Bourbaki, Tag 03YX].

Algebraic Topology, III, p. 326

Let B be a topological space, let u:X→Iu: X\rightarrow \mathbf{I} be a continuous mapping and let A=u−1(0)A =\overset{-1}{u}(0).

a) Exercise prove that the mapping pp of X×IX\times \mathbf{I} into itself given by p(x,t)=(x,tu(x))p(x, t) = (x, tu(x)) is closed.

b) Let Y be a topological space and let σ:X×I→Y\sigma : X\times \mathbf{I}\rightarrow Y be a homotopy fixed on A. Let τ:X×I→Y\tau : X\times \mathbf{I}\rightarrow Y be the map given by τ(x,t)=σ(x\tau (x, t) =\sigma (x, inf(1,t/u(x), t/u(x))) if u(x)>0u(x)>0 and τ(x,t)=σ(x,1)\tau (x, t) =\sigma (x,1) otherwise. Exercise prove that τ\tau is continuous.

c) Let C be a subspace of X; suppose that the pair (X,C)(X,C) enjoys the homotopy extension property. Let f:X→Yf: X\rightarrow Y be a continuous mapping and let σ:C×I→Y\sigma : C\times \mathbf{I}\rightarrow Y be a homotopy of origin f∣Cf|C which is fixed on A∩CA\cap C. Exercise prove that there exists a homotopy τ:X×I→Y\tau : X\times \mathbf{I}\rightarrow Y of origin ff which extends σ\sigma and which is fixed on A.

Solution

No solution has been written yet.

Cited by

Nothing.

Cites

Nothing.

Machine translation of the English, by gpt-5-mini. Not checked by a person. That model is a cut down version of the one the rest of this language was written by.