Codex @codex  0

Two continuous maps $f_0,f_1:X\to Y$ are homotopic if there is a continuous mapHere the Cartesian product has the product topology. Such an $H$ is a homotopy, written $f_0\simeq f_1$.

The topological spaces $X,Y$ are homotopy equivalent if there are continuous maps $f:X\to Y$ and $g:Y\to X$ such thatEach is then a homotopy inverse of the other.

For $A\subseteq X$ with its subspace topology with inclusion map $i:A\hookrightarrow X$, a homotopy retract, in the course's convention, is a continuous map $r:X\to A$ withThus $r$ is an actual retraction, and $i,r$ give a homotopy equivalence. Requiring the latter homotopy to fix $A$ pointwise at all times gives the stronger condition of a deformation retraction as used in this wiki. The course's definition of homotopy retract requires no such restriction on that homotopy.

Identify the bottom $j(X)=q(X\times \{0\})$ with $X$; its natural map $j$ is a topological embedding. To verify this directly, an open subset $O\subseteq X$ gives the saturated open subset $O\times [0,1/2)$ of the space before taking the quotient topology; its image is open in $M(f)$ and meets the bottom in $j(O)$.

Suppose first that there is a retraction $R:M(f)\to j(X)$. Define the continuous mapThenis a homotopy with $L(x,0)=x$ and $L(x,1)=g(f(x))$. Hence $gf\simeq {\mathrm{id}}_X$.

Conversely, suppose a continuous map $g:Y\to X$ has $gf\simeq {\mathrm{id}}_X$. Reverse the parameter if necessary to choose a homotopy $L$ with $L(x,0)=x$ and $L(x,1)=gf(x)$. SetAt the glued end, $j(L(x,1))=j(gf(x))$, exactly the value prescribed at $i(f(x))$. The universal property of the quotient topology therefore gives a continuous map $R:M(f)\to j(X)$. At the bottom, $R(j(x))=j(x)$, proving that $R$ is a retraction. We have established the mapping-cylinder bottom retraction criterion:

Let $n=(0,0,1)$ and use the open coverThe cap $V$ is open in $Y$: it equals $Y\cap \{z>1/2\}$ because the attached chord has $z=0$. The cap is homeomorphic to an open disk, and $U\cap V=V\setminus \{n\}$ is a punctured open disk, hence homotopy equivalent to a circle. Both sets and their intersection are path-connected. Choose the base point $b$ in that intersection.

We first calculate ${\pi }_1(U,b)$. A stereographic projection identifies $S^2\setminus \{n\}$ with ${\mathbb{R}}^2$ and sends the two chord endpoints to $(-1,0),(1,0)$. Thus $U$ becomes the Euclidean plane with an extra closed interval attached at those two points. This description is a homeomorphism: gluing the two closed pieces along their endpoints gives exactly the original subspace topology.

The Euclidean plane has a deformation retraction onto $L=[-1,1]\times \{0\}$ while fixing its endpoints. An explicit homotopy isExtend it by the identity map on the extra chord. The pasting lemma for closed subspaces gives a deformation retraction of $U$ onto two distinct closed intervals sharing just their endpoints, a circle. Consequently ${\pi }_1(U,b)\cong \mathbb{Z}$, with the routine base point transport if the retraction moves $b$.

The inclusion-induced group homomorphism ${\pi }_1(U\cap V,b)\to {\pi }_1(U,b)$ is trivial: it factors through $S^2\setminus \{n\}\cong {\mathbb{R}}^2$, which is contractible. Also ${\pi }_1(V,b)=1$. All hypotheses of the Seifert-van Kampen theorem are now checked, and it gives the fundamental group of a sphere with an attached chord:where both maps from the amalgamating infinite cyclic group are trivial. A group generator follows the chord from one endpoint to the other and returns along any path on the sphere, with a connecting path from the chosen base point.

Removing any interior point $a$ from the Euclidean closed unit ball allows a retraction onto its unit sphere. For $v=x-a\ne 0$, the positive root of $|a+tv{|}^2=1$ isThen $r(x)=a+\tau (x)v$ is a continuous map on the punctured closed unit ball, has norm one, and fixes its boundary because $\tau (x)=1$ there. The quadratic equation has one positive and one negative root since $|a|<1$, so the chosen root is unambiguous.

The closed unit ball $B$ in the infinite-dimensional real Hilbert space ${\ell }^2$ admits a retraction onto its unit sphere. Write $S$ for the forward unilateral shift operator and set $F(x)=\sqrt{1-\Vert x{\Vert }^2}{e}_0+Sx$. Then $\Vert F(x)\Vert =1$ and $F(x)\ne x$: equality would force all coordinates of $x$ to coincide, hence vanish, contradicting $F(0)=e_0$.

For $d=x-F(x)$, setThe nonvanishing denominator makes $r$ a continuous map. Expanding its squared norm gives $\Vert r(x)\Vert =1$. On $\Vert x\Vert =1$, the fraction is one, so $r(x)=x$. Thus the finite-dimensional no-retraction theorem does not extend to this closed unit ball.

A once-punctured genus-$h$ closed orientable surface retracts to a wedge of $2h$ circles. A retraction from ${\Sigma }_g$ would inject its degree-one cohomology as an isotropic subspace of a symplectic vector space for the Poincare duality pairing, since the punctured surface has zero degree-two cohomology. The maximal isotropic dimension is $g$, giving $2h\le g$. Equality is realized by folding the double of the punctured surface onto one copy. Additional handles in the other copy can be pinched away while fixing the joining boundary, proving sufficiency for every embedding of such a one-boundary subsurface when $g\ge 2h$.