1701044579
例1 圆束的基本群．
1701044580
1701044581
1701044582
1701044583
1701044584
图4-26
1701044585
1701044586
1701044587
1701044588
1701044589
设n＝2，则是X的闭子集，是某个开邻域U的强形变收缩核（图4-26）．用特殊情形（1），得到
1701044590
1701044591
1701044592
1701044593
1701044594
1701044595
记ai是x0处沿走一圈的闭路，则
1701044596
1701044597
1701044598
1701044599
1701044600
1701044601
1701044602
一般地，在中，记ai是在各圆交点x0处沿走一圈的闭路，则
1701044603
1701044604
1701044605
1701044606
1701044607
是秩为n的有限生成自由群．
1701044608
1701044609
例2 计算闭曲面的基本群．
1701044610
1701044611
1701044612
1701044613
1701044614
图4-27
1701044615
1701044616
1701044617
以Klein瓶为例．矩形M按图4-27所示方式粘接两对邻边，得到的商空间X是Klein瓶．设A⊂X是由M的边界粘合成的子集，它是两个圆的圆束，记交点为x1．取XA中的一个圆盘，记作X2．记则对X，X1，X2可用定理的特殊情形（2），得到
1701044618
1701044619
1701044620
1701044621
1701044622
其中x0∈X0＝X1∩X2（是一圆周），d是x0处沿X0走一圈的闭路．A是X1的形变收缩核，从而包含映射i：A→X1导出同构iπ：π1（A，x1）→π1（X1，x1）．利用例1的结果，推出
1701044623
1701044624
π1（X1，x1）＝F（〈a〉，〈b〉），
1701044625
1701044626
〈a〉，〈b〉分别是图4-27中所示闭路a，b在X1中的闭路类．取ω是X1中从x0到x1的道路类，则同构ω＃把〈d〉映为ω-1〈d〉ω＝〈a〉2〈b〉2．于是
1701044627
1701044628
