Bourbaki

Exercise 28, § 5

Tag 041L, permanent. Cite it as [Bourbaki, Tag 041L].

Algebraic Topology, IV, p. 474

Let X be a topological space. One says that a homotopy σ:X×I→X\sigma : X\times \mathbf{I}\rightarrow X is an isotopy if, for every t∈It\in \mathbf{I}, the mapping x↦σ(x,t)x\mapsto \sigma (x, t) deduced from σ\sigma by passing to the subspace is a homeomorphism of X onto itself.

a) Let mm be a natural number and let f:X→Rnf: X\rightarrow \mathbf{R}^n be a continuous mapping. Prove that there exists an isotopy whose origin is the identity mapping of X×RnX\times \mathbf{R}^n and whose term is the mapping of X×RnX\times \mathbf{R}^n into X×RnX\times \mathbf{R}^n given by (x,y)↦(x,y−f(x))(x, y)\mapsto (x, y-f(x)).

b) Let A and B be subspaces of X; one says that A is isotopic to B if there exists an isotopy σ:X×I→X\sigma : X\times \mathbf{I}\rightarrow X whose origin is the identity mapping of X and such that f(A×{1})=Bf(A\times \{1\}) = B.

Prove that the relation “A is isotopic to B” is an equivalence relation in the set of subspaces of X (resp. in the set of closed subspaces of X). c) Let mm and nn be natural numbers, let A be a closed subspace of Rm\mathbf{R}^m and let B be a closed subspace of Rn\mathbf{R}^n. Suppose that A and B are homeomorphic. Prove that the subspaces A×{0}A\times \{0\} and {0}×B\{0\} \times B of Rm+n\mathbf{R}^{m+n} are isotopic.

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.