Let $Z\_1 \rightarrow Z\_2 \rightarrow\cdots$ be an arbitrary sequence of CW-complexes and let $\Omega X$ denote the loop space over $X$. In Allen Hatcher's "Algebraic Topology" (<http://pi.math.cornell.edu/~hatcher/AT/AT.pdf>, section 4.F, last lines) it's stated that the natural map $$\underset{\rightarrow}{\lim} \ \Omega Z\_n \rightarrow \Omega \underset{\rightarrow}{\lim} \ Z\_n$$ is a weak homotopy equivalence (the map is given by the universal property of the direct limit); I also recall that the direct limit of a sequence of CW-complexes is the mapping telescope. I'm trying to prove this fact but I don't know how to proceed; in particular, I don't know how to relate the homotopy groups of the mapping telescope to the homotopy groups of the spaces $Z\_n$. There is a relation for the homology groups, namely $$H\_i(\underset{\rightarrow}{\lim}\ Z\_n)\simeq\underset{\rightarrow}{\lim}H\_i(Z\_n)$$ but I don't know how this can help.



Weak homotopy equivalence between $\Omega \underset{\rightarrow}{\lim}Z_n$ and $\underset{\rightarrow}{\lim}\Omega Z_n$
First note that Hatcher's exercise says "where direct limits mean mapping telescopes", so he is defining $\underset{\rightarrow}{\lim}$ to mean the telescope. I disapprove of that quite strongly. The telescope is the same as the homotopy colimit, and the standard notation for that is $\underset{\rightarrow}{\text{holim}}$. Anyway, if we write $T$ for the telescope, then it is the union of closed subspaces $T\_n$ with $T\_n$ homotopy equivalent to $Z\_n$, and $T$ is topologised as the colimit of the subspaces $T\_n$. There is a standard lemma about this situation: if $K$ is a compact subset of $T$ then we can choose a point $x\_n\in K\cap (T\_n\setminus T\_{n-1})$ for each $n$ such that $K\cap (T\_n\setminus T\_{n-1})\neq\emptyset$, and we find that the set of all $x\_n$'s is discrete and compact and therefore finite, so $K$ is contained in $T\_n$ for some $n$. By applying this to the image of an arbitrary based map $S^k\to T$, we see that $\Omega^k T$ is the union of the subspaces $\Omega^k T\_n$. A similar argument with $[0,1]\times S^k$ shows that the homotopies match up, so $\pi\_k(T)$ is the colimit of the groups $\pi\_k(T\_n)\simeq\pi\_k(Z\_n)$. Together with the isomorphism $\pi\_k\Omega = \pi\_{k+1}$, this will give what you need.


