fundamental group of $S^{1}\cup\left(\mathbb{R}\times0\right)$ (Theta space) I was asked to find the fundamental group of $S^{1}\cup\left(\mathbb{R}\times0\right)$.
I was given three options - $\mathbb{Z}$, the fundamental group of two spheres connected by one point (i.e F2 - Free Group on 2 Generators) or the trivial group.
I know it's enough to calculate the fundamental group for  $S^{1}\cup\left([-1,1]\times0\right)$.
I tried finding some f and g to show a homotopy equivalency to the circle or to the two connected circles, but failed.
after that, I tried to find a space and a cover map to show that the group is abelian (and therefor isomorphic to Z) or non abelian (and therefor isomorphic to F2).
looking for help and some intuition for the topic.
I think it should be isomorphic to F2, but I don't know how to show it.
one example for something I tried (to show homotopy equivalency to S1) is:
$$f:S^{1}\rightarrow S^{1}\cup\left(\left[0,1\right]\times0\right),\quad f\left(\left(x,y\right)\right)=\left(x,y\right) $$
$$g:S^{1}\cup\left(\left[0,1\right]\times0\right)\rightarrow S^{1},\;g\left(\left(x,y\right)\right)=\frac{\left(x,y\right)}{\|\left(x,y\right)\|} $$
than:
$$ g\circ f:S^{1}\rightarrow S^{1},\quad g\circ f\left(\left(x,y\right)\right)=\left(x,y\right) $$
but I have a problem cause I might divide by 0.
EDIT: This space is known as Theta space.

You can contract the line to the interval -diameter of the circle. So you space is homotopic to a circle crossed by an interval. Further contracting the interval to a point. you get two circles connected by a point. So the fundamental group is free of rank 2.
