关于同伦正则单态

同伦单态在文献[1]和[2]中被提出以后已成为同伦论的一个经典论题.本文引进同伦正则单态的概念,它严格介于同伦单态与同伦等价之间,并且在某种意义下刻划了同伦等价的一个特征.本文在点标拓扑空间的范畴Top~*中讨论,所有基点与常值映射均用*表示.范畴C的一个射j:E→A称为正则单态,如果存在两个射f,g:A→B(对某个B)使得j是f与g的等化子,即fj=gj,且对满足fh=gh的任意射h:X→A,存在唯一的射k:X→E使得jk=h.在Top~*的同伦范畴HTop~*中也就有了正则单态的概念.我们定义一个稍有差别的同伦正则单态的概念如下:     

可逆空间的连通支不必可逆

Rajagopalan和Wilansky在文献[1]中提出了可逆拓扑空间的概念,此后一些作者也做了一系列的研究。对任意拓扑空间X,令E(X)和H(X)分别表示X到自身的连续双射(即既单又满的连续映射)和自同胚的全体。如果E(X)=H(X),则X称为可逆拓扑空间,否则称X为非可逆的。可逆空间包括了紧致Hausdorff空间以及n维(对一切正整数n)不带边流形等一大类空间。文献[1]定理6指出,若X由有限个连通支组成,则X可逆的充要条件     

关于同伦偶范畴的注记

文献[1]对同伦偶范畴HPM的映照引进了等价分类。本文视此等价为同伦,在良点拓扑空间范畴T_(op)~w中讨论,基点*均为闭子集。令为内射,为投影。HPM与PM的对象均为T_(op)~w映射,称为偶,偶f到g的映照分别是