拓扑空间偶范畴中的同伦正则态射.docVIP

Pure Mathematics 理论数学, 2013, 3, 14-17 /10.12677/pm.2013.31004 Published Online January 2013 (/journal/pm.html) On Homotopy Regular Morphism in the Category of Topological Pairs* Youhua Qian , Lin Ping, Shengmin Chen # College of Mathematics, Physics and Information Engineering, Zhejiang Normal University, Jinhua # Email: zjjhqyh@ Received: Oct. 19 , 2012; revised: Oct. 29 , 2012; accepted: Nov. 13 , 2012 th th th Abstract: In this paper, the concepts of homotopy monomorphism (epimorphism) and homotopy regular morphism in the category of topological space with base point ?TOP?? are generalized to the category of topological pairs and the relationships between homotopy monomorphism (epimorphism) and homotopy equivalent morphism in TOP ?TOPA? . The paper studies the conditions and properties of homotopy regular morphism A . Keywords: The Category of Topological Pairs; Homotopy Monomorphism (Epimorphism); Homotopy Regular Morphism; Standard Decomposition 拓扑空间偶范畴中的同伦正则态射* # 钱有华 ，平 麟，陈胜敏 浙江师范大学数理与信息工程学院，金华 Email: zjjhqyh@ # 收稿日期：2012年 10月 19日；修回日期：2012年 10月 29日；录用日期：2012年 11月 13日 ? ? ? 摘 要：本文将点标拓扑空间范畴 TOP 中的同伦单、同伦满和同伦正则态射等概念推广到拓扑空间 偶范畴 TOP ?的情形。研究了在TOP ? 中，同伦正则态射存在的条件、性质以及它与同伦单(满)态和 A A 同伦等价之间的关系。 关键词：拓扑空间偶范畴；同伦单(满)态射；同伦正则态射；标准分解 1. 引言 同伦单态[1-4]、同伦满态 和同伦正则态射 是同伦论中的重要概念。拓扑空间偶范畴 TOP A 中的对象是 [5-7] [8-12] ? ? A ? ? ? ? 拓扑空间偶 X , A ，这里 A是拓扑空间 X 的子空间。在范畴 TOP 中，从 X , A 到 Y,B 的态射集，记作 ? ? ? ? ? ? ? ? ? ? Y,B 是指 f : X ?Y 连续且 f A ? ? ? ? B。 Map X , A;Y,B ，从 X , A 到 Y,B 的态射 f : X , A 2. 拓扑空间偶范畴中的同伦单(满)、同伦正则态射 以下总假设 X 是道路连通的 CW复形。 定义 1(TOP 中的同伦单态射) TOP A A ? ? 中的态射 f : X , A? ? ?Y,B 称为同伦单态射，如果左消去律成立，即 * 基金项目：国家自然科学基金资助项目和浙江省自然科学基金资助项目(LY12A02002)。 # 通讯作者。 14 Copyright ? 2013 Hanspub  钱有华等 ?拓扑空间偶范畴