1701043830
1701043831
1701043832
1701043833
1701043834
（2）ω＃：π1（X，x0）→π1（X，x1）是同构．
1701043835
1701043836
证明 （1）假设α∈π1（X，x0），
1701043837
1701043838
（ωω′）＃（α）＝（ωω′）-1αωω′＝ω′-1（ω-1αω）ω′
1701043839
1701043840
1701043841
1701043842
1701043843
（1）得到证明．
1701043844
1701043845
（2）任取α，β∈π1（X，x0），则
1701043846
1701043847
ω＃（α）ω＃（β）＝ω-1αωω-1βω
1701043848
1701043849
＝ω-1αβω（用命题4.8）
1701043850
1701043851
＝ω＃（αβ）
1701043852
1701043853
因此ω＃是同态．
1701043854
1701043855
1701043856
1701043857
1701043858
根据（1），显然是恒同同构；同理也是恒同同构．因此ω＃是同构，是它的逆． ▎
1701043859
1701043860
从定义容易看出，当ω∈π1（X，x0），ω＃是π1（X，x0）上的一个内自同构．
1701043861
1701043862
1701043863
至此，我们已证明，当x0与x1属于X的同一道路分支时，并且从x0到x1的每个道路类都决定从π1（X，x0）到π1（X，x1）的一个同构．一般地这个同构与道路类的选择有关．
1701043864
1701043865
如果X是道路连通的，则它的基本群的同构型与基点的选择无关．这个同构型就叫作X的基本群，记作π1（X）．
1701043866
1701043867
定义4.7 道路连通并有平凡基本群的拓扑空间称为单连通空间．
1701043868
1701043869
例如D2，I以及欧氏空间的任何凸集都是单连通的．
1701043870
1701043871
命题4.10 设A是X的一个道路分支，x0∈A，i：A→X是包含映射．则
1701043872
1701043873
iπ：π1（A，x0）→π1（X，x0）
1701043874
1701043875
是同构．
1701043876
1701043877
证明 设a是X上在x0处的闭路．a（I）是道路连通的，并且包含x0，因此a（I）⊂A．这样a也可看作A中的道路，由此得出iπ是满的．
1701043878
1701043879
