百科问答小站 logo
百科问答小站 font logo



任何一个群是否都是某个拓扑空间的基本群? 第1页

  

user avatar   zhang-jun-ming-29-64 网友的相关建议: 
      

回答是肯定的,对任何一个群 ,这就是所谓的Eilenberg-MacLane空间 ,即基本群为 且拥有可缩的泛覆盖空间的拓扑空间,具体构造如下(下图来自于Allen Hatcher的代数拓扑)。

在高维的情况也可以通过这种粘贴胞腔的方法构造类似的结果,由于高阶同伦群都交换,事实上对于任何一个交换群 和正整数 ,都存在拓扑空间 使得其 为 而其他阶同伦群都平凡,构造方法也是通过粘胞腔,这里不赘述了,感兴趣的话可以去看Hatcher的Section 4.2。顺便若给出一串 使得 时 都是交换群,那样就可以有 的第 个同伦群为 。

再说一些额外的,对每个CW复形,我们都可以用上面的手法造出一个和它每阶同伦群都一样的东西,但是有个问题是这二者并不一定真的有相同的伦型,不过我们可以稍作修改,现在每一层直接乘上去都相当于做平凡的fibration,如果将其每一步都"twist"一下后就可以得到所谓的Postnikov Approximation了,感兴趣的话也可以看看。




  

相关话题

  所谓的魔术绳结实际是拓扑结构,可是这种拓扑结构如何证明其可解(就是能不剪断绳子解开)? 
  同调群在拓扑以外有什么应用? 
  为什么现代数学经常会关心整体性质?能不能举例详细说说? 
  可数个序列紧的乘积在乘积拓扑下是序列紧该怎么证明呀? 
  如何确定K3曲面的betti数和hodge数? 
  如何以「我觉得代数拓扑实在是太简单了」开头写一篇故事? 
  如何学习点集拓扑学? 
  拓扑学(点集拓扑和代数拓扑基础)和范畴论有什么双语教材? 
  怎么理解 Mayer-Vietoris 序列? 
  Hatcher的代数拓扑自学有无其他参考? 

前一个讨论
哲学何时才可以与政治分离,在什么样的社会中才不会因为政治因素而损害了哲学上的学术研究?
下一个讨论
如何求解 e^x=x^e 这个方程?





© 2025-03-07 - tinynew.org. All Rights Reserved.
© 2025-03-07 - tinynew.org. 保留所有权利