MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).

Increasing union of contractible CW complexes

Let X be CW complex. I'm trying to prove (using Zorn's lemma) that there is maximal contractible subcomplex. Problem is that I'm not able to show that increasing union of contractible subcomplexes has to be contractible itself.

-

By various standard lemmas, a CW complex $X$ is contractible if and only if every map $u:S^{n-1}\to X$ (for any $n>0$) can be extended over $B^n$. In this context $u(S^{n-1})$ is compact and therefore (by another standard lemma) contained in some subcomplex with only finitely many cells. If $X$ is the union of some totally ordered family of subcomplexes $X_\alpha$, it follows that $u(S^{n-1})\subseteq X_\alpha$ for some $\alpha$. This is enough to prove what you want.
So for short: $\pi_n$ commutes with increasing unions in consideration and detect contractibility by Whitehead. – Martin Brandenburg Oct 4 2011 at 21:54