Posted by haifeng on 2012-07-18 10:41:43 last update 2012-07-18 10:46:46 | Answers (1) | 收藏
设 $M_1$ 和 $M_2$ 是两个流形, 并且同胚. $F:M_1\rightarrow M_2$ 是同胚映射, 且 $F(b_1)=b_2$. 则 $F_*$ 是基本群 $\pi_1(M_1,b_1)$ 与 $\pi_1(M_2,b_2)$ 之间的同构.
这也表明基本群确实是一个拓扑不变量.