Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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.


share|cite|improve this question
I believe this is what you are looking for:… – Holdsworth88 Nov 25 '12 at 7:43
@Holdsworth88 thank you, it helped a lot! – user42912 Nov 25 '12 at 10:11
up vote 4 down vote accepted

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)$.

share|cite|improve this answer
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. – Marc van Leeuwen Nov 25 '12 at 9:37
@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. – nonpop Nov 25 '12 at 9:45
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 :) – user42912 Nov 25 '12 at 9:51
I added some sketches for a proof. – nonpop Nov 25 '12 at 10:16
Thank you very much! – user42912 Nov 25 '12 at 11:53

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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