1

Klein Bottle $K$ is homotopy equivalent to

$S^1 \vee S^1 \vee S^2$.

Intuitively then $\pi_1(K) \cong \langle c,d \rangle$. However this is wrong, because

$\pi_1(K) \cong \langle c,d \rangle/cdc^{-1}d$.

Can anybody explain why this intuition fails? Thanks.

I can't understand why homotopy equivalence does not preserve the homotopy group? I would like to see an intuitive explanation, not based on abstract reasoning.

Tyrell
  • 1,685
  • To my mind, intuitive explanations are usually somewhat abstract. Of course, abstract reasonings can be quite unintuitive. – Arthur Jul 26 '17 at 09:37

1 Answers1

3

Read your link again. They're saying that a subspace of $\mathbb{R}^3$ (formed by a non-injective continuous image of $K$) is homotopy equivalent to $S^1 \vee S^1 \vee S^2$, not $K$ itself.

Dan Rust
  • 30,108
  • I see. So homotopy equivalence of an injective image of a space always preserves its homotopy groups? – Tyrell Jul 26 '17 at 09:43
  • Not necessarily. There is an injective map $[0,1) \to S^1$ which is also surjective, hence the image has fundamental group $\mathbb{Z}$. – Dan Rust Jul 26 '17 at 09:45
  • But $[0,1)$ is not a topological space. By a space I meant a topological space, sorry for confusion. – Tyrell Jul 26 '17 at 09:46
  • $[0,1)$ is certainly a topological space, given by the subspace topology inherited from $\mathbb{R}$ (for instance). – Dan Rust Jul 26 '17 at 09:46
  • $[0,1)$ is not homotopy equivalent to $S_1$. $[0,1)$ is contractable to a point, and $S_1$ is not. So I can't understand how this qualifies as an example. – Tyrell Jul 26 '17 at 09:56
  • Sorry I missed the extra condition. Homotopy equivalent spaces have isomorphic fundamental groups as long as the equivalence preserves the path components of the respective base points. – Dan Rust Jul 26 '17 at 09:59
  • This answer was very useful, it clarified a lot of points. Thanks a lot. – Tyrell Jul 26 '17 at 10:01