1) homotopy algorithm
同伦算法
1.
This paper introduces the homotopy algorithm into back-propagation neural network and indicates that the convergence speed can be improved and the defects of converging to local extremum can be eliminated.
同伦算法是解决非线性优化问题的新理论,将同伦算法引入误差反向传播神经网络,提高了网络的训练速度,消除了常规BP网络算法收敛于局部极值的缺点。
2.
The homotopy algorithm,basing on homotopy mapping,is convergent with wide range.
基于同伦映射的同伦算法 ,具有大范围收敛性。
3.
This paper introduces an optimization method of the selective harmonic elimination(SHE) technology based on the homotopy algorithm applied to neutral-point-clamped(NPC) three-level inverters.
文章以中点钳位型三电平逆变器为模型,在介绍SHE-PWM原理的基础上,采用同伦算法对非线性方程组求解,求取SHE-PWM的开关角度,进行NPC逆变器消谐模型的求解,具有收敛范围宽、收敛速度快等优点;用MatLab/Simulink仿真研究了谐波消除的效果,并用IGBT搭建了三电平逆变器实验电路模型,对SHE-PWM的谐波消除效果进行了验证;实验结果证明了基于同伦模型的NPC三电平逆变器SHE-PWM方法的有效性。
2) homotopy method
同伦算法
1.
The algorithm related to homotopy method provides a systematic approach for deriving optimal solution of relative minimum.
根据同伦算法证明了极大熵函数的最优解序列逼近于非线性lp问题的最优解,并提出了解决计算过程中易于溢出的方法。
2.
A time stepping scheme is used for the transient analysis and a homotopy method is adopted to solve the process.
时域上采用精细算法进行离散,并应用同伦算法进行求解。
3.
A constructive proof of a class of nonconvex Brouwer fixed point problems is pre-sented, and the theoretical base of homotopy method to the problem has been created.
一类非凸Ｂｒｏｕｗｅｒ不动点问题的同伦算法于波，林正华（吉林大学数学研究所，长春１３００２３）关键词不动点定理，构造性证明，同伦算法在７０年代，文［１，２］就提出了求Ｒ￣ｎ中有界闭凸集上连续可微自映射的不动点的同伦算法，这是非线性问题数值解法的突破性。
3) homology continuation algorithm
同伦算法
1.
Study on the new homology continuation algorithm and its application in motor;
新型同伦算法及其在电机中的应用
2.
The homology continuation algorithm has resolved this difficult problem without given initial value and can find all solution,but a special programming is compiled at the same time.
通过构造新型同伦函数并结合Maple高级程序设计语言的通用工具箱,提出了同伦算法的原理与实现方法。
4) homotopy methods
同伦算法
1.
Based on homotopy methods,a robust global convergence method was developed for solving nonlinear inverse problems.
基于同伦算法构造出求解非线性反问题的一种大范围收敛鲁棒算法,为改善求解的稳定性,提出了将同伦参数的选取与计算和观测结果之间的残差联系起来的方法,给出具体算法步骤。
5) homotopy arithmetic
同伦算法
1.
Non-linear coordinate transformation method based on homotopy arithmetic;
基于同伦算法的非线性坐标转换模型研究
6) homotopy new algorithm
同伦新算法
补充资料：同伦论
代数拓扑学的一个主要组成部分。它研究与连续映射的连续形变有关的各种课题。由于许多几何问题可以归结为同伦问题，然后谋求代数拓扑的解决办法，所以同伦论广泛地受到注意。
同伦的概念，直观上不难理解，同伦就是连续形变。以"形变收缩"为例,图中的半球体K的边界包括半球面H与圆盘D。设想 K是由可以伸缩的质料构成，很显然，保持H上每个点不动，沿垂直于D的方向挤压K，最后可以将半球体K压成半球面H。也就是说，H是K的"形变收缩核"。这个形变收缩的过程可以描写得更确切一些。过K的任意点x垂直于圆盘D的直线与半球面H交于点。对于0≤t≤1,令xt表示分线段x为t:1－t之点。不妨认为挤压是从时刻t=0开始，到时刻t=1时完成，而时刻t时点x沿着线段x到达xt的位置。使x对应于xt，定义了半球体K自身的一个连续映射??t:K→K,??t(x)=xt。于是，??0(x)=x0-x。??0为K自身的恒等映射,??1(k)嶅H，并且??t(y)=y。当y∈H，??t就是一个"伦移",使得K自身的恒等映射同伦于一个将K 映入子集H 的映射。
一般,设??,g:x→Y为拓扑空间x到Y的两个连续映射。如果有连续映射H:x×I→x,I=[0,1],使得h(x,0)=??(x)，h(x,1)=g(x),则称??同伦于g,记作??埍g。h是从??到g的一个伦移，令ht(x)=h(x,t),人们也说连续依赖于参数t的一族映射ht:X→Y是从??到g的一个伦移。若伦移ht在x的某个子集A上是静止的，即h(x,t)=h(x,0),0≤t≤1，则说 ??相对于 A同伦于g，记作??埍g(relA)前一段举出的空间 H嶅K是空间K的形变收缩核，意思是指存在伦移h:K×I→K，使得对于x∈K有h(x,0)=x，h(x,1)∈H,而h(y,t)=y当y∈H,0≤t≤1。按照同伦关系埍,从x到Y的连续映射分成了同伦类。同伦类的集合记作[x,Y]。
在同伦论里,空间按同伦型而分类。若存在连续映射??:x→Y,g:Y→x使得g。??埍,??。g埍1Y,则称x与Y具有相同的同伦型,则称??(或g)为同伦等价,这里,1:W→W表示空间W 的恒等自映射。若A为x的形变收缩核,则A与x有相同的同伦型。反之在不太强的限制之下，空间x与Y具有相同同伦型的必要与充分条件是它们可以一同放在一个空间Z里，使得x与Y都是Z的形变收缩核。
同伦论的典型问题大体上有下列几个，以下映射均指连续映射。
同伦问题 对于给定的映射??,g:x→Y，如何判断??与g是否同伦？如果??与常值映射同伦，则称??为零伦的，记作??埍0。如何判断给定映射??是否零伦是这个典型问题的特例。
同调群提供了处理这个问题的工具。对任意整数n≥0，如果??埍g，则。因此，如果对某一n，??≠g，则??与g一定不同伦。
但应注意,即使对所有n，??=g，??与g也未必同伦。H.霍普夫按下述方式作过一个映射??:S3→S2,他把S3看成二维酉空间C2中的单位球面,把S2看成复射影直线,令??是从S3到S2的自然投射，这个??称为霍普夫映射,它不零伦但显然对所有n>0,??=0:Hn(S3)→Hn(S2)。此例说明,要研究映射的同伦,除同调群以外，还需要别的工具。
扩张问题 设A嶅x，给定映射??:A→Y能否扩张为x到Y的映射，即是否存在映射g:X→Y，使得。如果存在这样的映射g，则称g为?? 在x上的扩张，而??为g在A上的限制，记作g│A=??。恒同映射在A上的限制称为A到x的内射。
一般说来，??:A→Y不一定能扩张。例如,对n≥1,恒同映射就不能扩张为Dn到Sn-1的映射g，因为如果这种g存在，则，由此得出
根据一些简单的计算，可以说明因而就不能成立。
很多重要的问题可以转化为映射扩张问题，1912年由L.E.J.布劳威尔首先提出的布劳威尔不动点定理就是典型一例。设 n≥0,??:Dn→Dn是n维单位实心球体的自映射。则Dn中存在一点 x使得??(x)=x。n=0时结论显然成立。设n>0，如果对任意x∈Dn，??(x)≠x，则令g(x)是??(x)到x的有向线段的延长线与Sn-1的交点,即得到映射,使得。根据前面所述,这不可能。因此Dn中至少有一点x使得??(x)=x。
同伦问题实际上是扩张问题的一个特例。设??，g：x→Y是映射，可定义映射G:x×0∪x×1→Y为则??与g是否同伦的问题成为G 能否扩张为映射F:x×I→Y的问题。
一般地称同伦映射所共有的性质为同伦性质，对于很多空间偶(x,A)(例如x是单纯复形，A是子复形)来说，??:A→Y能否扩张成为x到Y的映射也是一个同伦性质。
提升问题 在研究流形上有没有非零向量场时，需要考虑映射的提升问题，它与扩张问题相对偶。提法如下:设p:x→B与??:Y→B是映射,是否存在映射g:Y→x,使得pg=??:Y→B。如果存在这样的映射g，则称g为??关于p的提升。是否存在g的问题就是提升问题。
又设p:x→B,愝:Y→x均为映射，??t:Y→B，0≤t≤1,是伦移，使得p愝=??0。是否存在伦移使得p愝t=??t(0≤t≤1),且愝0=愝。如果存在上述愝t,则称愝t为??t的提升。寻找提升愝t,就是同伦提升问题。如果对任意空间Y及满足p愝=??0的映射愝与同伦??t，总存在上述提升??t,则映射p:X→B称为具有绝对同伦提升性质,或称为纤维化。它是纤维丛映射的推广，任何纤维丛映射都是纤维化。
同伦分类问题 对于给定空间x与Y，如何由x与Y的已知的可计算的不变量去计算从x到Y的映射同伦类集合[x,Y]，这是代数拓扑学中经常碰到的问题,特别是同伦群的计算等。
如果x与Y满足一定的条件,则[x,Y]形成一个群。对n≥1及任意道路连通空间Y,W.赫维茨定义了πn(Y)=[Sn,Y]。可以证明πn(Y)是一个群,而且π1(x)就是庞加莱所定义的基本群。当n≥2,πn(Y)是交换群。从而把πn(Y)称为空间Y的n维同伦群，它也是同伦不变量。
近几十年代数拓扑学的发展表明，同伦群起着十分重要的作用。和同调群不同的是，对一般单纯复形来说，同调群可以计算，但如何计算同伦群却是一个至今远未解决的问题，即使对十分简单的n维球面Sn，当m相当大时，至今仍没有计算群πm(Sn)的办法。因此，同伦群的计算一直是代数拓扑学的重要课题。
如果π1(x)=0，则称空间x是单连通的。一般地，群π1(x)通过交换化所得的交换群恰是H1(x)。此外,赫维茨又研究了高维同伦群与同调群的关系。如果，则πn(x)自然同构于Hn(x)，n≥2。反之，若，则也有同样结果。
关于球面同伦群的研究概况，首先要提出的是H.弗勒登塔尔的结果，他证明了
。这个结果表明,当m小于2n－2时,πm(Sn)的构造仅与m-n有关，这就是球面同伦群的稳定性。
50年代初,J.P.塞尔提出了研究同伦群的新方法,他利用纤维化的谱序列，取得了球面同伦群计算的突破性进展。
关于到Sn的映射α,H.霍普夫引进了一个霍普夫不变量，前面提到的霍普夫映射S3→S2的霍普夫不变量为1。J.F.亚当斯在20世纪 50年代末利用斯廷罗德运算提出了一个新的谱序列(以后称为亚当斯谱序列)，利用这个谱序列，他证明了只有当n=2,4,8时,才存在霍普夫不变量为1的映射。1960年以后,利用亚当斯谱序列，同伦群的研究又取得了重要的进展。不但πm(Sn)的计算有了很大的改进，而且，若干别的重要空间的同伦群计算也取得了不少成果。例如，某些托姆空间的同伦群（如协边群）也可以完全计算出来，这对于研究微分流形的分类具有重要意义。
扩张问题与同伦分类问题之间存在一定关系。这方面，S.艾伦伯格首先定义了阻碍上链与阻碍上同调类的概念。设K是任意单连通的单纯复形,n是正整数,K表示K中所有维数不大于n 的单形组成的子复形（称为K的n维骨架）。设??:K→Y为任给映射,σ为K上任意n+1维单形。则σ的边界 嬠σ可以看成一个n维球面，因此，代表 πn(Y)的一个元素，记作。然后定义上链为,(??),σ>表示上链C(??)在σ上的值。不难证明:①??可扩张为K()到Y的映射匔C(??)=0;②δC(??)=0。因此就称C(??)为??的阻碍上链,而称[C(??)]∈H(K;πn(Y))为??的阻碍上同调类。阻碍类为0，标志着??｜K(n-1)可以扩张到K()上。
若π为群,n为正整数，当n>1时，还假定π为交换群。如果道路连通空间Y满足条件
则Y称为艾伦伯格-麦克莱恩空间，记作K(π,n)。可以证明，对同一个π和同一个n，K(π,n)的伦型在一些不强的限制下是惟一的。利用上述阻碍上同调类可以证明：对任意交换群π及单纯复形。
普通同调群满足七个公理,满足维数公理（m>dim X时，Hm(x)＝0）以外的六个公理的函子称为广义同调论。现在已经出现了许多有意义的广义同调论。例如，对研究向量丛有重要意义的K-同调论K*；对研究微分流形有重要意义的协边同调群MU*；对研究球面同伦群有重要意义的BP同调群BP*。E.布朗在 20世纪60年代初就已经证明，只要广义上同调函子还满足一定的条件，则这个广义上同调群就自然同构于空间到一个固定空间（或空间谱）的所有映射同伦类所成的群。例如K*(x)=[x,BU]，MU(x)=[x,MU],其中BU表示U群的分类空间；MU表示BU 的托姆空间。上面的结果说明同调论的问题又可以转化为同伦论的问题。代数拓扑学的这两个主要分支就统一起来了。
伦型问题 M.M.波斯尼科夫利用阻碍上同调类引进了一组能确定许多空间伦型的同伦不变量。设 x为一个单连通胞腔复形，对任意正整数n;可以作胞腔复形xn与映射??n:x→xn,使得：①,当m≤n。②,事实上,可以取xn为加上一些维数大于等于n+2的胞腔使得所有维数大于等于n+1的同伦群等于零所得的空间。因此，不妨假定，映射的阻碍上同调类称为x的波斯尼科夫不变量。波斯尼科夫证明了:x的所有同伦群与所有波斯特尼科夫不变量能够确定x的伦型。应当指出,波斯尼科夫不变量的计算是以同伦群为基础的更为复杂的问题。
参考书目
廖山涛、刘旺金著：《同伦论基础》，北京大学出版社，北京，1980。
E.H.Spanier, Algebraic Topology, McGraw-Hill,New York, 1966.
R.M.Switzer,Algebraic Topology-Homotopy and Homology, Springer-Verlag, New York, 1975.
G.W.Whitehead,Elements of Homotopy Theory,Graduate Texts in Mathematics, Vol.61,Springer-Verlag,New York, 1978.
同伦的概念，直观上不难理解，同伦就是连续形变。以"形变收缩"为例,图中的半球体K的边界包括半球面H与圆盘D。设想 K是由可以伸缩的质料构成，很显然，保持H上每个点不动，沿垂直于D的方向挤压K，最后可以将半球体K压成半球面H。也就是说，H是K的"形变收缩核"。这个形变收缩的过程可以描写得更确切一些。过K的任意点x垂直于圆盘D的直线与半球面H交于点。对于0≤t≤1,令xt表示分线段x为t:1－t之点。不妨认为挤压是从时刻t=0开始，到时刻t=1时完成，而时刻t时点x沿着线段x到达xt的位置。使x对应于xt，定义了半球体K自身的一个连续映射??t:K→K,??t(x)=xt。于是，??0(x)=x0-x。??0为K自身的恒等映射,??1(k)嶅H，并且??t(y)=y。当y∈H，??t就是一个"伦移",使得K自身的恒等映射同伦于一个将K 映入子集H 的映射。
一般,设??,g:x→Y为拓扑空间x到Y的两个连续映射。如果有连续映射H:x×I→x,I=[0,1],使得h(x,0)=??(x)，h(x,1)=g(x),则称??同伦于g,记作??埍g。h是从??到g的一个伦移，令ht(x)=h(x,t),人们也说连续依赖于参数t的一族映射ht:X→Y是从??到g的一个伦移。若伦移ht在x的某个子集A上是静止的，即h(x,t)=h(x,0),0≤t≤1，则说 ??相对于 A同伦于g，记作??埍g(relA)前一段举出的空间 H嶅K是空间K的形变收缩核，意思是指存在伦移h:K×I→K，使得对于x∈K有h(x,0)=x，h(x,1)∈H,而h(y,t)=y当y∈H,0≤t≤1。按照同伦关系埍,从x到Y的连续映射分成了同伦类。同伦类的集合记作[x,Y]。
在同伦论里,空间按同伦型而分类。若存在连续映射??:x→Y,g:Y→x使得g。??埍,??。g埍1Y,则称x与Y具有相同的同伦型,则称??(或g)为同伦等价,这里,1:W→W表示空间W 的恒等自映射。若A为x的形变收缩核,则A与x有相同的同伦型。反之在不太强的限制之下，空间x与Y具有相同同伦型的必要与充分条件是它们可以一同放在一个空间Z里，使得x与Y都是Z的形变收缩核。
同伦论的典型问题大体上有下列几个，以下映射均指连续映射。
同伦问题 对于给定的映射??,g:x→Y，如何判断??与g是否同伦？如果??与常值映射同伦，则称??为零伦的，记作??埍0。如何判断给定映射??是否零伦是这个典型问题的特例。
同调群提供了处理这个问题的工具。对任意整数n≥0，如果??埍g，则。因此，如果对某一n，??≠g，则??与g一定不同伦。
但应注意,即使对所有n，??=g，??与g也未必同伦。H.霍普夫按下述方式作过一个映射??:S3→S2,他把S3看成二维酉空间C2中的单位球面,把S2看成复射影直线,令??是从S3到S2的自然投射，这个??称为霍普夫映射,它不零伦但显然对所有n>0,??=0:Hn(S3)→Hn(S2)。此例说明,要研究映射的同伦,除同调群以外，还需要别的工具。
扩张问题 设A嶅x，给定映射??:A→Y能否扩张为x到Y的映射，即是否存在映射g:X→Y，使得。如果存在这样的映射g，则称g为?? 在x上的扩张，而??为g在A上的限制，记作g│A=??。恒同映射在A上的限制称为A到x的内射。
一般说来，??:A→Y不一定能扩张。例如,对n≥1,恒同映射就不能扩张为Dn到Sn-1的映射g，因为如果这种g存在，则，由此得出
根据一些简单的计算，可以说明因而就不能成立。
很多重要的问题可以转化为映射扩张问题，1912年由L.E.J.布劳威尔首先提出的布劳威尔不动点定理就是典型一例。设 n≥0,??:Dn→Dn是n维单位实心球体的自映射。则Dn中存在一点 x使得??(x)=x。n=0时结论显然成立。设n>0，如果对任意x∈Dn，??(x)≠x，则令g(x)是??(x)到x的有向线段的延长线与Sn-1的交点,即得到映射,使得。根据前面所述,这不可能。因此Dn中至少有一点x使得??(x)=x。
同伦问题实际上是扩张问题的一个特例。设??，g：x→Y是映射，可定义映射G:x×0∪x×1→Y为则??与g是否同伦的问题成为G 能否扩张为映射F:x×I→Y的问题。
一般地称同伦映射所共有的性质为同伦性质，对于很多空间偶(x,A)(例如x是单纯复形，A是子复形)来说，??:A→Y能否扩张成为x到Y的映射也是一个同伦性质。
提升问题 在研究流形上有没有非零向量场时，需要考虑映射的提升问题，它与扩张问题相对偶。提法如下:设p:x→B与??:Y→B是映射,是否存在映射g:Y→x,使得pg=??:Y→B。如果存在这样的映射g，则称g为??关于p的提升。是否存在g的问题就是提升问题。
又设p:x→B,愝:Y→x均为映射，??t:Y→B，0≤t≤1,是伦移，使得p愝=??0。是否存在伦移使得p愝t=??t(0≤t≤1),且愝0=愝。如果存在上述愝t,则称愝t为??t的提升。寻找提升愝t,就是同伦提升问题。如果对任意空间Y及满足p愝=??0的映射愝与同伦??t，总存在上述提升??t,则映射p:X→B称为具有绝对同伦提升性质,或称为纤维化。它是纤维丛映射的推广，任何纤维丛映射都是纤维化。
同伦分类问题 对于给定空间x与Y，如何由x与Y的已知的可计算的不变量去计算从x到Y的映射同伦类集合[x,Y]，这是代数拓扑学中经常碰到的问题,特别是同伦群的计算等。
如果x与Y满足一定的条件,则[x,Y]形成一个群。对n≥1及任意道路连通空间Y,W.赫维茨定义了πn(Y)=[Sn,Y]。可以证明πn(Y)是一个群,而且π1(x)就是庞加莱所定义的基本群。当n≥2,πn(Y)是交换群。从而把πn(Y)称为空间Y的n维同伦群，它也是同伦不变量。
近几十年代数拓扑学的发展表明，同伦群起着十分重要的作用。和同调群不同的是，对一般单纯复形来说，同调群可以计算，但如何计算同伦群却是一个至今远未解决的问题，即使对十分简单的n维球面Sn，当m相当大时，至今仍没有计算群πm(Sn)的办法。因此，同伦群的计算一直是代数拓扑学的重要课题。
如果π1(x)=0，则称空间x是单连通的。一般地，群π1(x)通过交换化所得的交换群恰是H1(x)。此外,赫维茨又研究了高维同伦群与同调群的关系。如果，则πn(x)自然同构于Hn(x)，n≥2。反之，若，则也有同样结果。
关于球面同伦群的研究概况，首先要提出的是H.弗勒登塔尔的结果，他证明了
。这个结果表明,当m小于2n－2时,πm(Sn)的构造仅与m-n有关，这就是球面同伦群的稳定性。
50年代初,J.P.塞尔提出了研究同伦群的新方法,他利用纤维化的谱序列，取得了球面同伦群计算的突破性进展。
关于到Sn的映射α,H.霍普夫引进了一个霍普夫不变量，前面提到的霍普夫映射S3→S2的霍普夫不变量为1。J.F.亚当斯在20世纪 50年代末利用斯廷罗德运算提出了一个新的谱序列(以后称为亚当斯谱序列)，利用这个谱序列，他证明了只有当n=2,4,8时,才存在霍普夫不变量为1的映射。1960年以后,利用亚当斯谱序列，同伦群的研究又取得了重要的进展。不但πm(Sn)的计算有了很大的改进，而且，若干别的重要空间的同伦群计算也取得了不少成果。例如，某些托姆空间的同伦群（如协边群）也可以完全计算出来，这对于研究微分流形的分类具有重要意义。
扩张问题与同伦分类问题之间存在一定关系。这方面，S.艾伦伯格首先定义了阻碍上链与阻碍上同调类的概念。设K是任意单连通的单纯复形,n是正整数,K表示K中所有维数不大于n 的单形组成的子复形（称为K的n维骨架）。设??:K→Y为任给映射,σ为K上任意n+1维单形。则σ的边界 嬠σ可以看成一个n维球面，因此，代表 πn(Y)的一个元素，记作。然后定义上链为,
若π为群,n为正整数，当n>1时，还假定π为交换群。如果道路连通空间Y满足条件
则Y称为艾伦伯格-麦克莱恩空间，记作K(π,n)。可以证明，对同一个π和同一个n，K(π,n)的伦型在一些不强的限制下是惟一的。利用上述阻碍上同调类可以证明：对任意交换群π及单纯复形。
普通同调群满足七个公理,满足维数公理（m>dim X时，Hm(x)＝0）以外的六个公理的函子称为广义同调论。现在已经出现了许多有意义的广义同调论。例如，对研究向量丛有重要意义的K-同调论K*；对研究微分流形有重要意义的协边同调群MU*；对研究球面同伦群有重要意义的BP同调群BP*。E.布朗在 20世纪60年代初就已经证明，只要广义上同调函子还满足一定的条件，则这个广义上同调群就自然同构于空间到一个固定空间（或空间谱）的所有映射同伦类所成的群。例如K*(x)=[x,BU]，MU(x)=[x,MU],其中BU表示U群的分类空间；MU表示BU 的托姆空间。上面的结果说明同调论的问题又可以转化为同伦论的问题。代数拓扑学的这两个主要分支就统一起来了。
伦型问题 M.M.波斯尼科夫利用阻碍上同调类引进了一组能确定许多空间伦型的同伦不变量。设 x为一个单连通胞腔复形，对任意正整数n;可以作胞腔复形xn与映射??n:x→xn,使得：①,当m≤n。②,事实上,可以取xn为加上一些维数大于等于n+2的胞腔使得所有维数大于等于n+1的同伦群等于零所得的空间。因此，不妨假定，映射的阻碍上同调类称为x的波斯尼科夫不变量。波斯尼科夫证明了:x的所有同伦群与所有波斯特尼科夫不变量能够确定x的伦型。应当指出,波斯尼科夫不变量的计算是以同伦群为基础的更为复杂的问题。
参考书目
廖山涛、刘旺金著：《同伦论基础》，北京大学出版社，北京，1980。
E.H.Spanier, Algebraic Topology, McGraw-Hill,New York, 1966.
R.M.Switzer,Algebraic Topology-Homotopy and Homology, Springer-Verlag, New York, 1975.
G.W.Whitehead,Elements of Homotopy Theory,Graduate Texts in Mathematics, Vol.61,Springer-Verlag,New York, 1978.
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条