# Deformation retract on path-connected space

I'm reading Hatcher and on page 12 he writes:

"... It is less trivial to show that there are path-connected spaces that do not deformation retract onto a point...."

The definition of deformation retract is given as: "A deformation retraction of a space $X$ onto a subspace $A$ is a family of maps $f_t :X→X$, $t \in I$, such that $f_0 = 1$ (the identity map), $f_1(X) = A$, and $f_t |A = 1$ $\forall t$. The family $f_t$ should be continuous in the sense that the associated map $X×I→X, (x,t) \rightarrow f_t(x)$ is continuous."

Now my question is: how is it possible for a space $X$ to be path-connected but not retractable to a single point? Can one not just pick $x \in X$ and then retract any $y \in X$ along the path between $x$ and $y$?

-
$S^n$ ($n\geq1$) is path connected but not homotopic to a point. continue reading :) –  yoyo Mar 9 '11 at 16:00

Suppose $X$ is path-connected, then for any $y \in X$, and for any $x$, there is a path $\phi_x : I \to X$ such that $\phi_x(0)=x$ and $\phi_x(1) = y$.

With those maps, you can form a map $\phi : X \times I \to X$, with $\phi(x,t) = \phi_x(t)$. This map has all the properties you would want of a deformatino retract from $X$ onto $y$, except that it has no reason at all to be continuous.

An example of a non retractable path connected space is the circle.

Let's say you pick $y = (1,0)$, and decide to connect any $x$ to $y$ in a clockwise motion, via the top of the circle. Then the map you $\phi$ you will obtain will not be continuous at $(y,t)$ for any $t \in ]0;1[$, since the neighboor points below $y$ will travel all around the circle, while $y$ stays where he is.

And as Hatcher says, it is not trivial to show that the circle is not retractable onto a point.

-

It's probably worth pointing out that you should be careful with the term retraction versus deformation retraction. Every space $X$ retracts onto a point, via the map $r \colon X \rightarrow \ast$ that sends everything to a single point, but as Hatcher says, not every space deformation retracts to a point.

What Hatcher's definition of deformation retract is really saying is that a deformation retract is a retract $r$ along with a homotopy $r \simeq 1$, where $1$ is the identity. So if a space deformation retracts to another space, those two spaces have the same homotopy type, whereas spaces can retract onto spaces that that are not of their homotopy type (as you'll soon see if you keep reading the book).

In particular, if every space deformation retracted to a point, every space would be contractible, and algebraic topology would be very boring indeed!

-
thanks for pointing this out! –  Rudy the Reindeer Mar 10 '11 at 10:49
@Matt: I tripped up a little bit on retract vs. deformation retract when I first read Hatcher, so I thought it was worth warning you as well. :) Actually, what I wrote above isn't strictly true: Hatcher's definition of a deformation retract is a retract that's homotopic to the identity rel $A$ (that is, the homotopy leaves the subspace $A$ fixed). That's sometimes called a strong deformation retract (and indeed, in one of the exercises, Hatcher gives the definition I did above and calls it a weak deformation retract). I wouldn't worry about this distinction too much right now, though. –  Alex Mar 10 '11 at 12:38