张素诚
<正> §1. 设 X,Y 为拓扑空间,又设 f:X→Y 为连续映像.J.H.C.Whitehead 证明 X,Y 为 CW 丛而 f 能导出基本群及上同调群间的同模对应时,f 为同伦对等映像.映像 f 是否存在,不仅与 X,Y 的基本群及上同调群的构造有关,而与 X,Y 内在的几何结构有密切的关系.连续照像 f 导出 X,Y 之间上同调群的准同模对应 f,那末 f 能与某些准同模对应相交换,由此 J.H.C.Whitehead 指出正则准同模的观念.由[4]可知正则同模论供应我们许多同伦不变量,它们是直接可以计算的东西,并且对于 X,Y 间连续映像的分类问题,应该有密切的关系.