Cebirsel topoloji: Revizyonlar arasındaki fark

'''Teorem :''' (Seifert-Van Kampen) <math>X=U\cup V</math>, <math>x_0\in U\cap V</math> ve <math>U,V</math> kümeleri <math>X</math> içerisinde açık olsunlar. Ayrıca, <math>U,V</math> ve <math>U\cup V</math> kümeleri yol bağlantılı olsunlar. Bu durumda, <math>\pi_1(U,x_0)\star_{\pi_1(U\cap V)} \pi_1(V,x_0)</math> [[ilaveli çarpım]] grubuyla <math>\pi_1(X,x_0)</math> grubu izomorfturlar.

 

 

'''Teorem :''' (Mayer-Vietoris) <math>X</math> uzayı <math>U,V</math> gibi iki altuzayın içlerinin birleşimi olsun. <math>\iota^U\colon U\cap V\rightarrow U</math>, <math>\iota^V\colon U\cap V\rightarrow V</math> ve <math>j^V\rightarrow U\cup V</math> gömmeleri