基本群性质:同胚不变量,同伦不变量

基 本 群 是 ( 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)σXfσYy0
在这里插入图片描述
f 保 持 同 轮 f保持同轮 f
且 两 个 基 本 群 之 间 有 映 射 记 为 f ∗ , 可 以 证 明 f ∗ 为 群 同 态 ( 需 要 证 明 映 射 保 持 乘 法 ) 且两个基本群之间有映射记为f^*,可以证明f^*为群同态(需要证明映射保持乘法) ff
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^* f1.f:(X,x0)(Y,y0),g:(Y,y0)(Z,z0)(gf)=gf
在这里插入图片描述
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) ()(Xx0)(Y,y0),π1(Xx0)π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(Xx0)(Y,y0) f,g:π1(Xx0)π1(Y,y0)
$$$$

  • 0
    点赞
  • 1
    收藏
    觉得还不错? 一键收藏
  • 1
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论 1
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值