基
本
群
是
(
X
,
x
0
)
到
π
1
(
X
,
x
0
)
的
映
射
设
拓
扑
空
间
之
间
有
映
射
f
:
(
X
,
x
0
)
→
(
Y
,
y
0
)
设
σ
为
X
中
的
道
路
,
则
f
∗
σ
为
Y
中
的
起
点
终
点
为
y
0
的
闭
路
基本群是(X,x_0)到\pi_1(X,x_0)的映射\\ 设拓扑空间之间有映射f:(X,x_0)\rightarrow (Y,y_0)\\ 设\sigma 为X中的道路,则f*\sigma 为 Y中的起点终点为y_0的闭路
基本群是(X,x0)到π1(X,x0)的映射设拓扑空间之间有映射f:(X,x0)→(Y,y0)设σ为X中的道路,则f∗σ为Y中的起点终点为y0的闭路
f
保
持
同
轮
f保持同轮
f保持同轮
且
两
个
基
本
群
之
间
有
映
射
记
为
f
∗
,
可
以
证
明
f
∗
为
群
同
态
(
需
要
证
明
映
射
保
持
乘
法
)
且两个基本群之间有映射记为f^*,可以证明f^*为群同态(需要证明映射保持乘法)
且两个基本群之间有映射记为f∗,可以证明f∗为群同态(需要证明映射保持乘法)
f
∗
满
足
(
群
映
射
的
同
态
用
∗
号
标
出
)
1.
对
f
:
(
X
,
x
0
)
→
(
Y
,
y
0
)
,
g
:
(
Y
,
y
0
)
→
(
Z
,
z
0
)
有
(
g
∗
f
)
∗
=
g
∗
∗
f
∗
f^*满足(群映射的同态用^*号标出)\\ 1.对f:(X,x_0)\rightarrow (Y,y_0),g:(Y,y_0)\rightarrow (Z,z_0)有(g*f)^*=g^**f^*
f∗满足(群映射的同态用∗号标出)1.对f:(X,x0)→(Y,y0),g:(Y,y0)→(Z,z0)有(g∗f)∗=g∗∗f∗
2.
由
(
X
,
x
0
)
→
(
X
,
x
0
)
拓
扑
空
间
的
恒
等
映
射
导
出
的
,
基
本
群
的
同
态
是
恒
等
映
射
2.由(X,x0)\rightarrow (X,x0)拓扑空间的恒等映射导出的,基本群的同态是恒等映射
2.由(X,x0)→(X,x0)拓扑空间的恒等映射导出的,基本群的同态是恒等映射
基
本
群
是
一
个
拓
扑
不
变
量
(
同
胚
不
变
量
)
即
:
若
有
同
胚
(
X
,
x
0
)
≃
(
Y
,
y
0
)
,
则
有
同
构
π
1
(
X
,
x
0
)
≃
π
1
(
Y
,
y
0
)
基本群是一个拓扑不变量(同胚不变量)即:\\ 若有同胚(X,x_0)\simeq (Y,y_0),则有同构\pi_1(X,x_0)\simeq \pi_1(Y,y_0)
基本群是一个拓扑不变量(同胚不变量)即:若有同胚(X,x0)≃(Y,y0),则有同构π1(X,x0)≃π1(Y,y0)
.— … -…- -… . -. -…- --.- …- -. -…- -… .- -…- …-. … …- . -…- – … -.
同 伦 不 变 量 : 如 果 两 个 拓 扑 空 间 同 伦 等 价 , 则 他 们 的 基 本 群 是 同 构 的 同伦不变量:如果两个拓扑空间同伦等价,则他们的基本群是同构的 同伦不变量:如果两个拓扑空间同伦等价,则他们的基本群是同构的
如
果
两
个
映
射
f
,
g
:
(
X
,
x
0
)
→
(
Y
,
y
0
)
同
伦
等
价
则
群
同
态
f
∗
,
g
∗
:
π
1
(
X
,
x
0
)
→
π
1
(
Y
,
y
0
)
是
相
等
的
如果两个映射f,g:(X,x_0)\rightarrow (Y,y_0) \ 同伦等价\\ 则群同态f^*,g^*: \pi_1(X,x_0)\rightarrow \pi_1(Y,y_0)是相等的
如果两个映射f,g:(X,x0)→(Y,y0) 同伦等价则群同态f∗,g∗:π1(X,x0)→π1(Y,y0)是相等的
$$$$