4

I'm trying to show that $S^2 \times S^3$ is not homotopy equivalent to $S^2 \vee S^3 \vee S^5$. My argument is that removing any point from the first space leaves a space which is connected (since it is a 5-manifold, so locally looks like $\mathbb{R}^5$, and removing a point from $\mathbb{R}^5$ leaves a connected space), while removing the point where the second space is wedged together does not. Does this argument work? Also, could I have appealed to cup product structure?

Joe
  • 1,310
  • 4
    No. $\mathbb{R}^2$ is homotopy equivalent to $\mathbb{R}$, and now you see that your point-method doesn't work. – Chris Gerig Aug 01 '12 at 01:56
  • @ChrisGerig I see we think alike. – Alex Becker Aug 01 '12 at 01:59
  • Yeah, now I see that it was silly. I was recalling the argument to show that $\mathbb{R}$ and $\mathbb{R}^2$ are not homeomorphic. – Joe Aug 01 '12 at 02:02
  • 4
    Yes, you could apply the cup product structure. In the first space, the generators in degrees 2 and 3 multiply to give something in degree 5, while in the second space they multiply to give 0. – Aaron Aug 01 '12 at 02:13
  • 1
    @Matt, I believe the reason the point-method doesn't work (besides providing that obvious example) is that homotopy-equivalence allows a "continuous deletion of points", with points on the space collapsing down to other points; whereas a homeomorphism forbids that by injectivity (it only "squishes" or "spreads" the points). – Chris Gerig Aug 01 '12 at 04:23
  • 1
    There's no well-defined operation of "deleting a point" from a homotopy type -- even a connected one. (Consider the unit interval.) – Aaron Mazel-Gee Aug 02 '12 at 00:41

2 Answers2

7

No, the argument does not work. For example, the real line is homotopy equivalent to the plane, yet the line has a cut-point while the plane does not.

Alex Becker
  • 60,569
5

Just posting my comment as an answer:

Yes, you could apply the cup product structure. In the first space, the generators in degrees 2 and 3 multiply to give something in degree 5, while in the second space they multiply to give 0.

Aaron
  • 24,207