Skip to main content
2 of 3
added 42 characters in body
Jeremy Brazas
  • 7.2k
  • 1
  • 26
  • 47

When you want to compute the fundamental group of a wild space very often the thing to do is identify it as the subgroup of an inverse limit of simpler fundamental groups (often the first shape group). A result of Fischer and Zastrow says that if $X\subseteq \mathbb{R}^{2}$, then the canonical homomorphism of $\pi_1(X,x)$ into the shape group $\check{\pi}_{1}(X,x)$ is injective for any $x\in X$. Of course, this homomorphism is not always injective (even for 2-dimensional compacta) but for a subset of the plane like you have this approach should work. This is, for instance, how you compute the fundamental group of the Hawaiian earring. I would begin by looking for some simple approximating spaces (probably with free fundamental groups) with projection maps and figuring out which elements of the inverse limit of the fundamental groups of these spaces are represented by loops.

Here is the paper I mentiond:

Fischerm, Zastrow, The fundamental groups of subsets of closed surfaces inject into their first shape groups. Algebraic and Geometric Topology. Volume 5 (2005) 1655–1676.

Jeremy Brazas
  • 7.2k
  • 1
  • 26
  • 47