I'm trying to find the Fundamental group of the $\mathbb R^3$ without the axis $z$. Intuitively, It's easy to realized that this fundamental group is the same of the circle, i.e., $\mathbb Z$. I don't know yet how to find fundamental groups with coverings and lifts, just with homotopy and Seifert-Van Kampen Theorem. I need help.



You can prove that $$\mathbb R^3\setminus\{(0,0,z)\mid z\in\mathbb R\}\simeq \mathbb R^2\setminus\{(0,0)\}\simeq S^1,$$ where $\simeq$ means the spaces are homotopically equivalent. Since equivalent spaces have isomorphic fundamental groups, you're done.

Addition: Proving $A:=\Bbb R^2\setminus\{(0,0)\}\simeq S^1$: First we can define $i:S^1\to A$ to be just the inclusion map. Then take $r:A\to S^1$ to be $$r(x)=\frac x{|x|}.$$ We want to show that $i\circ r\simeq \operatorname{id}_A$ and $r\circ i\simeq \operatorname{id}_{S^1}$. But $r\circ i$ is actually already equal to the identity function, so only the first one is left.

So, define $H:A\times I\to A$ by $$H(x,t)=(1-t)\frac x{|x|}+tx$$ (for a fixed $x$, this is a straight line between $x/|x|$ and $x$). Note that $H$ is well defined and continuous. It is also easy to see that $H_0=i\circ r$ and $H_1=\operatorname{id}_A$.

Showing that $\Bbb R^3\setminus\{(0,0,z)\mid z\in\Bbb R\}\simeq\Bbb R^2\setminus\{(0,0)\}$ can be done in a similar way. Use the maps $r'(x,y,z)=(x,y)$ and $i'(x,y)=(x,y,0)$.

| cite | improve this answer | |
  • $\begingroup$ I think you mean $\Bbb R^2\times\Bbb R\setminus\{(0,0)\}\times\Bbb R$ or $(\Bbb R^2\setminus\{(0,0)\})\times\Bbb R$ as second expression. $\endgroup$ – Marc van Leeuwen Nov 25 '12 at 9:37
  • 1
    $\begingroup$ @Marc What I mean is the plane without the origin. You could also use $(\mathbb R^2\setminus\{(0,0)\})\times\{0\}$ if you want to operate in $\mathbb R^3$ all the time. Your first space is 4-dimensional, and I'm not sure what you mean with that. The second one seems to be just $\mathbb R^3$ without the $z$-axis. $\endgroup$ – nonpop Nov 25 '12 at 9:45
  • $\begingroup$ how can you prove these spaces are homotopically equivalent? it seems hard to find the maps to get this equivalence. Thank you for your answer :) $\endgroup$ – user42912 Nov 25 '12 at 9:51
  • $\begingroup$ I added some sketches for a proof. $\endgroup$ – nonpop Nov 25 '12 at 10:16

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.