The Seifert-van Kampen Theorem Example 1

The Seifert-van Kampen Theorem Example 1

On The Seifert-van Kampen Theorem page we stated the very important Seifert-van Kampen theorem. We will now look at some examples of applying the theorem. More examples can be found on the following pages:

  • The Seifert-van Kampen Theorem Example 1
Definition: The Bouquet of $n$ Circles is the topological space obtained by gluing together $n$ circles at a single common shared point.

For example, the bouquet of $2$ circles is depicted below:

Screen%20Shot%202017-03-12%20at%201.29.17%20PM.png

Example 1

Let $X$ be the bouquet of two circles (as depicted above). Use the Seifert-van Kampen theorem to find the fundamental group of $X$.

Let $U_1$ and $U_2$ be the open sets as shown:

Screen%20Shot%202017-03-12%20at%201.35.46%20PM.png

(Where the endpoints of the cut circles are not included in $U_1$ and $U_2$).

Then $U_1 \cap U_2$ is:

Screen%20Shot%202017-03-12%20at%201.39.58%20PM.png

Observe that the circle is a deformation retract of $U_1$, and is also a deformation retract of $U_2$. Also, a single point is a deformation retract of $U_1 \cap U_2$. Therefore we have that:

(1)
\begin{align} \quad \pi_1(U_1, x) &\cong \mathbb{Z} = \langle \alpha : \emptyset \rangle \\ \quad \pi_1(U_2, x) &\cong \mathbb{Z} = \langle \beta : \emptyset \rangle \\ \quad \pi_1(U_1 \cap U_2, x) &\cong \{ 1 \} \end{align}

The generators of $\pi_1(U_1 \cap U_2, x)$ are simple the identity element. Therefore by the Seifert-van Kampen theorem:

(2)
\begin{align} \quad \pi_1(X, x) & \cong \langle \alpha, \beta : \emptyset \cup \{ i_{1*}(h) = i_{2^*}(h) : h \in \pi_1(U_1 \cap U_2, x) \} \rangle \\ & \cong \langle \alpha, \beta : 1 = 1 \rangle \\ & \cong \langle \alpha, \beta : \emptyset \rangle \end{align}
Unless otherwise stated, the content of this page is licensed under Creative Commons Attribution-ShareAlike 3.0 License