Hurewicz定理是代数拓扑中的一个重要结果,用来联系同伦群(homotopy groups)与同调群(homology groups)。在合适条件下(例如空间足够“连通”),它说明从某个“第一个非平凡”的同伦群到对应维度的同调群的Hurewicz映射会给出同构(或至少是满射/诱导强关系)。该定理常用于把较难计算的同伦信息转化为更易处理的同调信息。(该术语在更一般情形下还有若干推广形式。)
/ hjuːˈrɛvɪtʃ ˈθiːərəm /
In our algebraic topology course, we used the Hurewicz theorem to compute a homology group from homotopy data.
在代数拓扑课上,我们用Hurewicz定理把同伦信息转化为同调群的计算。
For a simply connected CW complex, the Hurewicz theorem helps identify the first nontrivial homotopy group with the corresponding homology group via the Hurewicz map.
对于一个单连通的CW复形,Hurewicz定理常通过Hurewicz映射,把第一个非平凡的同伦群与相应维度的同调群联系起来(在满足条件时甚至同构)。
该术语以波兰数学家 Witold Hurewicz(维托尔德·胡雷维奇)命名;“theorem”意为“定理”。Hurewicz在20世纪上半叶的工作奠定了代数拓扑中同伦与同调之间的经典桥梁,因此这一结果被称为“Hurewicz定理”。