百科问答小站 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数? 
  如何阅读Hatcher的代数拓扑? 
  任何一个群是否都是某个拓扑空间的基本群? 
  同调群在拓扑以外有什么应用? 
  数学学习或研究中,你见过哪些有意思的反例? 
  Hatcher的代数拓扑自学有无其他参考? 
  可数个序列紧的乘积在乘积拓扑下是序列紧该怎么证明呀? 

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





© 2024-11-21 - tinynew.org. All Rights Reserved.
© 2024-11-21 - tinynew.org. 保留所有权利