Skip to main content
Changed $p$ to $x$ in a few places to avoid using $p$ for two different things
Source Link
Timothy Chow
  • 82.6k
  • 26
  • 363
  • 587

No such space exists. Even better, let's generalize your proof by converting information about path components into homology groups.

For an open inclusion of spaces $X \setminus \{p\} \subset X$$X \setminus \{x\} \subset X$ and a field $k$, we have isomorphisms (the relative Kunneth formula) $$ H_n(X \times X, X \times X \setminus \{(p,p)\}; k) \cong \bigoplus_{p+q=n} H_p(X,X \setminus \{p\};k) \otimes_k H_q(X, X \setminus \{p\};k). $$$$ H_n(X \times X, X \times X \setminus \{(x,x)\}; k) \cong \bigoplus_{p+q=n} H_p(X,X \setminus \{x\};k) \otimes_k H_q(X, X \setminus \{x\};k). $$ If the product is $\mathbb{R}^3$, then the left-hand side is $k$ in degree 3 and zero otherwise, so something on the right-hand side must be nontrivial. However, if $H_p(X, X \setminus \{p\};k)$$H_p(X, X \setminus \{x\};k)$ were nontrivial in degree $n$, then the left-hand side must be nontrivial in degree $2n$.

No such space exists. Even better, let's generalize your proof by converting information about path components into homology groups.

For an open inclusion of spaces $X \setminus \{p\} \subset X$ and a field $k$, we have isomorphisms (the relative Kunneth formula) $$ H_n(X \times X, X \times X \setminus \{(p,p)\}; k) \cong \bigoplus_{p+q=n} H_p(X,X \setminus \{p\};k) \otimes_k H_q(X, X \setminus \{p\};k). $$ If the product is $\mathbb{R}^3$, then the left-hand side is $k$ in degree 3 and zero otherwise, so something on the right-hand side must be nontrivial. However, if $H_p(X, X \setminus \{p\};k)$ were nontrivial in degree $n$, then the left-hand side must be nontrivial in degree $2n$.

No such space exists. Even better, let's generalize your proof by converting information about path components into homology groups.

For an open inclusion of spaces $X \setminus \{x\} \subset X$ and a field $k$, we have isomorphisms (the relative Kunneth formula) $$ H_n(X \times X, X \times X \setminus \{(x,x)\}; k) \cong \bigoplus_{p+q=n} H_p(X,X \setminus \{x\};k) \otimes_k H_q(X, X \setminus \{x\};k). $$ If the product is $\mathbb{R}^3$, then the left-hand side is $k$ in degree 3 and zero otherwise, so something on the right-hand side must be nontrivial. However, if $H_p(X, X \setminus \{x\};k)$ were nontrivial in degree $n$, then the left-hand side must be nontrivial in degree $2n$.

Source Link
Tyler Lawson
  • 52.6k
  • 9
  • 187
  • 251

No such space exists. Even better, let's generalize your proof by converting information about path components into homology groups.

For an open inclusion of spaces $X \setminus \{p\} \subset X$ and a field $k$, we have isomorphisms (the relative Kunneth formula) $$ H_n(X \times X, X \times X \setminus \{(p,p)\}; k) \cong \bigoplus_{p+q=n} H_p(X,X \setminus \{p\};k) \otimes_k H_q(X, X \setminus \{p\};k). $$ If the product is $\mathbb{R}^3$, then the left-hand side is $k$ in degree 3 and zero otherwise, so something on the right-hand side must be nontrivial. However, if $H_p(X, X \setminus \{p\};k)$ were nontrivial in degree $n$, then the left-hand side must be nontrivial in degree $2n$.