Is there any example of space not having the homotopy type of a CW-complex?

4.9k Views Asked by At

What is an example of space not having the homotopy type of a CW-complex? Is there any general method that can prove that the given space does not have the homotopy type of a CW-complex?

(added) It would be more interesting if one can suggest a connected example.

3

There are 3 best solutions below

2
On

The cantor set is one.

It is s compact space with infinitely many connected components, and compact CW spaces can only have finitely many.

8
On

The Hawaiian earring does not have the homotopy type of a CW-complex. I'm not sure of any completely general method for determining of a space has the homotopy type of a CW-complex.

Edit: The Hawaiian earring not having the homotopy type of a CW-complex comes from it not being locally contractible, which every CW-complex must be. To demonstrate that it isn't locally contractible, consider an open neighbourhood of the origin and observe that any such neighbourhood will contain all but finitely many circles. This is homeomorphic to the entire earring, which is not contractible.

0
On

Since you are now asking for a connected example, here is a justification for Harry's example:

Lemma. The Hawaiian earring $H$ is not homotopy-equivalent to any CW-complex $X$.

Proof. Suppose to the contrary, $f: H\to X$ is a homotopy-equivalence. Since $H$ is compact, so is $f(H)$. Hence, $f(H)$ is contained in a finite subcomplex $Y$ of $X$. In particular, the subgroup $f_*(\pi_1(H))< \pi_1(X)$ is contained in a finitely generated subgroup (the image of $\pi_1(Y)$ under the map $\pi_1(Y)\to \pi_1(X)$) and, hence, is at most countable. However, $\pi_1(H)$ is known to be uncountable, see http://en.wikipedia.org/wiki/Hawaiian_earring. Therefore, $f$ does not induce a monomorphism of fundamental groups and, hence, cannot be a homotopy-equivalence. qed

Example. Local contractibility is not preserved by homotopy equivalence. Consider a compact subset $C$ of $R^2$ which is the union of countably many unit segments $[0z_n], n\in {\mathbb N}$, in the plane, which all have the origin $0\in R^2$ as an endpoint. Then $C$ is not locally contractible at any accumulation point $z\in C$ of the set $Z=\{z_n: n\in {\mathbb N}\}$. On the other hand, the set $C$ is clearly contractible (as any starlike subset of the Euclidean plane). Thus, $C$ is homotopy-equivalent to the point and point is, of course, locally contractible.

In particular, Harry's reasoning is insufficient to prove that $H$ is not homotopy-equivalent to a CW complex.