3
$\begingroup$

I was thinking about the spaces which are homotopy equivalent to $\mathbb{R}^2$ minus two points and I managed to confuse myself.

I know that this space is a deformation retract of wedge sum of two circles and the fundamental group of this space is the free group on two letters $\mathbb{Z} \ast \mathbb{Z}$. However, if we first remove one point from $\mathbb{R}^2$, we know that it is a deformation retract of a circle $S^1$. Then, we remove the second point from the circle $S^1$, we get a space that is homotopic to an open interval of $\mathbb{R}$. Since the fundamental group is a homotopy invariant, I would expect that these two spaces ($\mathbb{R}^2$ minus two points and an open interval) have the same fundamental group. But I know that they do not.

What am I missing?

  • 2
    It is not true because there are counterexamples! You have just found one.2012-01-24

1 Answers 1

9

It does not work like that! Removing points does not commute with replacing spaces with homotopically equivalent ones (as you have just discovered :) )

A silly example: «being empty» is obviously a property of spaces which is homotopically invariant. Now, if we remove a point from $\mathbb R^2$ the resulting space is not empty; but $\mathbb R^2$ is homotopically equivalent to any one-point space $X=\{\star\}$, yet if we remove a point from $X$ we do get an empty space!

Later. That homotopy equivalence is an equivalence relation is quite irrelevant here, because the issue is not that but how that equivalence relation relates with the operation on removing points.

Another silly example: «Having most significant digit equal to $2$ » is a property of integers, and «being congruent modulo $2$» is an equivalence relation between integers. But $2000$ and $1000$ are equivalent under that relationship yet one of them has most significant digit equal to $2$ while the other does not.

  • 0
    But, isn't homotopy equivalence an equivalence relation? As you said, I've discovered removing two points at the same time and removing one by one are not equal but I still cannot see why this is true.2012-01-24
  • 0
    @Karatug: Because another thing that is not invariant under homotopy is the property of "being different points". The point that is removed may become the same as a point that isn't removed!2012-01-24
  • 0
    OK. How about this one: I want to compute the fundamental group of the sphere $S^2$ minus $6$ points. Now, since $S^2$ minus a point is homotopic to $\mathbb{R}^2$, I would conclude that this space is homotopy equivalent to $\mathbb{R}^2$ minus $5$ points, or in other words, wedge sum of five circles. Is this true?2012-01-24
  • 2
    @Karatug: Being an equivalence relation isn't relevant. For example, here is an equivalence relation on all spaces: any two spaces $X$ and $Y$ are equivalent. This is an equivalence relation on spaces yet a 1-point space is equivalent to a 2-point space.2012-01-24
  • 4
    @Karatug: $S^2$ minus a point is homeomorphic to $\mathbb R^2$, this is a *much* stronger statement than it being homotopy-equivalent to $\mathbb R^2$, in particular homeomorphism respects removal of subspaces.2012-01-24
  • 0
    @RyanBudney So, I need a homeomorphism in order to remove points one by one, right?2012-01-24
  • 1
    Yes, exactly. Equivalence relations can be much weaker than homeomorphisms.2012-01-24