A deformation retract that is not a strong deformation retract In Lee's Introduction to Topological Manifolds, problem 7-12 asks to show that $\{(1,0)\}$ is a deformation retract, but not a strong deformation retract of the subspace of the plane
$$ X = \bigcup_{n=0}^\infty L_n$$
where $L_0$ is the line segment connecting $(1,0)$ to the origin and $L_n$ is the line segment connecting the origin to $(1,1/n)$ for $n \geq 1$.  The part I'm struggling with is to show that it is not a strong deformation retract. If it were, then there would be a continuous map $H: X \times [0,1] \rightarrow X$ with
$$H(x,0) = x, \quad \forall x \in X;\\ 
H(x,1) = (1,0), \quad \forall x \in X; \\
H((1,0),t) = (1,0) \quad \forall t \in [0,1]$$
I was hoping a contradiction would pop out somewhere, but no luck. Can someone give a hint or suggest a different approach?
 A: OUTLINE:  Let $H:X\times[0,1]\to X$ with $H|_{X\times\{0\}}=\mathrm{id}_X$ and $H|_{X\times\{1\}}=c_{(1,0)}$ the constant map to $\{(1,0)\}$ be continuous.  Consider the sequence of points $p_n=(1,\frac{1}{n})$.  Now prove (or recall) the following facts:


*

*There is a characterization of continuity from elementary analysis in terms of convergent sequences in the domain (it holds in general for Hausdorff spaces).

*Every bounded infinite sequence of reals has a convergent subsequence.

*The sequence $p_n\to(1,0)$ as $n\to\infty$.

*For all $n\in\mathbb{Z}^+$, every path $\alpha_n$ from $p_n$ to $(1,0)$ in $X$ has a time $t_n\in[0,1]$ such that $\alpha_n(t_n)=(0,0)$.

*The map $H|_{\{p_n\}\times[0,1]}$ determines a path from $p_n$ to $(1,0)$ for all $n\in\mathbb{Z}^+$.
Used together these facts will imply that there is a time $t_0\in[0,1]$ such that $H((1,0),t_0)=(0,0)$; in particular $H$ does not fix $(1,0)$ and is thus not a strong deformation retraction map onto $\{(1,0)\}$.  As $H$ was arbitrary there can be no strong deformation retraction to $\{(1,0)\}$ as desired.
