3

In my lecture we proofed the "easy" seifert van kampen theorem namly:

If $X=U\cup V$ U,V open and U,V,$U\cap V$ path connected. Let $x_0\in U\cap V$ then $\pi_1(X,x_0)\cong\pi_1(U,x_0)*_{\pi_1(U\cap V,x_0)}\pi_1(V,x_0)$. where the amalgamation is induced by the inclusions.

In Hatchers book the theorem is:

If $X=\bigcup_\alpha U_\alpha$ is an open covering such that all $U_\alpha$ , all $U_\alpha \cap U_\beta$ and all $U_\alpha\cap U_\beta \cap U_\gamma$ are path-connected and all intersection contain $x_o$. then $\pi_1(X,x_0)\cong *_\alpha\pi_1(U_\alpha,x_0)/N$ where N is generated by the elements $i_{\alpha\beta}(\omega)i_{\beta\alpha}(\omega)^{-1}$ for $\omega\in\pi_1(A_\alpha\cap A_\beta)$.

My question is can I proof the second statment with the first. I tried to do it inductivly by taking $U_\beta,\bigcup_{\alpha\neq\beta}U_\alpha$ as a covering in the sense of the first statment but then I dont really know how the Amalgamation goes on if I divide $\bigcup_{\alpha\neq\beta}U_\alpha$ again in to two open sets.

  • Why would you assume $\alpha$ only ranges over a finite index? – PVAL-inactive May 10 '17 at 18:17
  • There is a more general theorem referenced at https://math.stackexchange.com/questions/198348/does-mays-version-of-groupoid-seifert-van-kampen-need-path-connectivity-as-a-hy/198464#198464 using the fundamental groupoid on a set of base points, not assuming path connectivity, and proved by verifying the universal property, which makes the general case as easy as the 2-fold covering case. – Ronnie Brown May 11 '17 at 07:02

0 Answers0