11
$\begingroup$

I'm reading Hatcher and I'm doing exercise 9 on page 19. Can you tell me if my answer is correct?

Exercise: Show that a retract of a contractible space is contractible.

Proof:

Let $X$ be a contractible space, i.e. $\exists f :X \rightarrow \{ * \}$,$g: { * } \rightarrow X$ continuous such that $fg \cong id_{\{ *\}}$ and $gf \cong id_X$ and let $r:X \rightarrow X$ be a retraction of $X$ i.e. $r$ continuous and $r(X) = A$ and $r\mid_A = id_A$.

(Edited using Anton's answer)

Define $f^\prime := f\mid_A$ and $g^\prime := r \circ g$.

Now we need to show $f^\prime \circ g^\prime \cong id_{ \{ * \} }$ and $g^\prime \circ f^\prime \cong id_A$.

$f^\prime \circ g^\prime \cong id_{ \{ * \} }$ follows from $f^\prime \circ g^\prime = id_{ \{ * \} }$ (because there is only one function ${ * } \rightarrow { * }$).

From $gf \cong id_X$ we have a homotopy $H: I \times X \rightarrow X$ such that $H(0,x) = g \circ f (x)$ and $H(1,x) = id_X$. From this we build a homotopy $H^\prime : I \times A \rightarrow A$ by defining $H^\prime := r \circ H \mid_{I \times A}$. Then $H^\prime (0,x) = g^\prime \circ f\mid_A (x)$ and $H^\prime (1,x) = id_A$.

I'm particularly dissatisfied with the amount of detail in my reasoning but I can't seem to produce what I'm looking for. Many thanks for your help!

2 Answers 2

13

You're glossing over the most important things. You are given the information that $X$ is contractible. This means that there exists a specific homotopy $H:I\times X\to X$ which contracts the identity map. Your goal is to construct a specific homotopy $H':I\times A\to A$ which contracts the identity map. Your proof never explicitly makes use of $H$ and never explicitly (maybe not even implicitly) defines $H'$. This makes it feel like a bunch of symbol-pushing. (This isn't meant to be insulting; I'm just explaining why the proof feels unsatisfying.)

Two preliminary points:

  • $\newcommand{\pt}{{\{\ast\}}}f'=f\circ r$ isn't a map between the right things; it should be a map $A\to\pt$, but it's a map $X\to \pt$. This isn't too important since there's only one map from anything to a point, but the algebraic manipulation will be clearer if you set $f':=f|_A$.

  • You don't need to check $f'\circ g'\cong id_\pt$ since there's only one map $\pt\to\pt$.

So you only need to find a homotopy from $id_A$ to $g'\circ f'$. That is, you need to make a movie (homotopy) which continuously crushes $A$ to a point. But you already have a movie $H:I\times X\to X$ which crushes $X$ to a point (i.e. $H(0,-)=id_X$ and $H(1,-)=g\circ f$), and you have a way to retract anything in $X$ to something in $A$, so you can just retract your movie, setting $H' = r\circ H|_{I\times A}$. Then $H'(0,-) = r\circ H(0,-)|_A = r\circ id_A = id_A$ and $H'(1,-)=r\circ H(1,-)|_A = r\circ (g\circ f)|_A = r\circ g\circ f|_A = g'\circ f'$.

  • 0
    @Anton: in your third sentence when you write "...specific homotopy H...", where does $H$ come from? In Hatcher on p. 3 he defines two spaces to be homotopy equivalent if there exist two functions $f$ and $g$ such that $gf = id$ and $fg = id$. On the next page he defines a space to be contractible if it has the same homotopy type as a point. Many thanks for your help, your answer has already been very helpful to me.2011-03-09
  • 0
    You don't mean $gf = id$. You mean $gf$ homotopic to the identity?2011-03-09
  • 0
    @Sam: Yes, that should say $\cong$, thanks for pointing it out!2011-03-09
  • 1
    @Matt: It comes from the definition of the symbol "$\cong$" (see the top of p. 3). The statement "$id_X\cong g\circ f$" is equivalent to the statement *"There exists a continuous $H:I\times X\to X$ such that $H(0,x)=x$ and $H(1,x)=g(f(x))$ for every $x\in X$."* Since such an $H$ is assumed to exist, you can go ahead and use it.2011-03-09
  • 0
    As an analogy, suppose that I define two functions $f,g:X\to Y$ to be "valtopic" (and denote it $f\sim g$) if there exists a point $x\in X$ such that $f(x)=g(x)$. Now suppose somebody gives you the task, "Prove that if $f\sim g$, then $h\circ f\sim h\circ g$ for any $h$." To do it, you have to find a specific $x$ so that $h(f(x))=h(g(x))$ (that is what $h\circ f\sim h\circ g$ *means*). Where are you going to find such an $x$?2011-03-09
  • 0
    @Anton: Sorry for being a bit slow: (in your answer) when you wrote "a homotopy which *contracts* the identity map" I got confused. Reading your comment now made it all clear. Can you really say "contracts" to mean "is homotopic to"? Anyway, many thanks for your help, I think I understand many things much better now.2011-03-09
  • 0
    @Anton: you choose $x$ with $f(x)=g(x)$ (given), then $h(f(x)) = h(g(x))$2011-03-09
  • 1
    @Matt: Exactly! The statement "$f\sim g$" is where you get the $x$. In the same way, the statement "$g\circ f\cong id_X$" is where you get $H$.2011-03-09
  • 0
    @AntonGeraschenko I am currently working through Hatcher, and am having problems on the same exercise. You say the function $f'$ we are looking for should be from $A\to \{\star \}$. My understanding of Hatcher's definition is this is only a retraction if $\star \in A$. If we can guarantee that any retraction $A$ must contain some point onto which $X$ can be contracted to this is fine, but I do not see why we have this. Many thanks2017-02-07
5

Your real questions have allready been answered. Here I give an alternative proof, demanding some familiarity with categories. It illustrates how convenient 'abstract nonsense' can be. I go out from retraction $r:X\rightarrow A$ and inclusion $i:A\rightarrow X$ with $ri=1$.

The contractible objects in category $\mathbf{Top}$ are exactly the terminal objects in category $\mathbf{hTop}$. If $X$ is a terminal object in $\mathbf{hTop}$, then for every object $Y$ the homset $\mathbf{hTop}\left(Y,X\right)$ contains exactly one arrow. Let us denote this arrow by $\left[c\right]$. Then homset $\mathbf{hTop}\left(Y,A\right)$ contains arrow $\left[r\right]\left[c\right]$. Now let $\left[f\right]\in\mathbf{hTop}\left(Y,A\right)$. Then $\left[i\right]\left[f\right]\in\mathbf{hTop}\left(Y,X\right)$ so $\left[i\right]\left[f\right]=\left[c\right]$. Then we find $\left[f\right]=\left[r\right]\left[i\right]\left[f\right]=\left[r\right]\left[c\right]$ demonstrating that $\left[r\right]\left[c\right]$ is the only element of $\mathbf{hTop}\left(Y,A\right)$. Proved is now that $A$ is terminal in $\mathbf{hTop}$, hence contractible in $\mathbf{Top}$.


It can be done even shorter:

$\left[\right]:\mathbf{Top}\rightarrow\mathbf{hTop}$ is a functor and functors respect retractions (=arrows that have a right-inverse). So if $r:X\rightarrow A$ is a retraction in $\mathbf{Top}$ then $\left[r\right]:X\rightarrow A$ is a retraction in $\mathbf{hTop}$.

If $\left[r\right]:X\rightarrow A$ is a retraction and $X$ is terminal then $\left[r\right]$ is an isomorphism, hence $A$ is terminal. (This is true in every category, but to maintain the line of the proof I keep on using the notation $\left[r\right]$.)

Proof of that: some $\left[s\right]:A\rightarrow X$ exists with $\left[r\right]\left[s\right]=1$; then $\left[s\right]\left[r\right]:X\rightarrow X$ and the identity is the only endomorphism here, so $\left[s\right]\left[r\right]=1$.