组合地图的同构.pdfVIP

第23卷第1期 沈阳师范大学学报(自然科学版) V01．23No．1 2005年1月 Normal Science) Jan．2005 JournalofShenyangUniversity(Natural 文章编号：1008—374X(2005)01—0001—07 组合地图的同构 刘彦佩 (北方交通大学数学所，北京100044) 摘 要：讨论组合地图的同构、识别，以及提供两个判别组合地图同构的有效算法． 关键词：地图；同构；Euler示性数；亏格；迹码 中图分类号：O157．5 文献标识码：A 1 可交换性 从拓扑学的观点，在[1]中所讨论的地图初等等价类，实际上是将地图视为2维流形上的点集的拓 扑等价类．在[2]中所述一个图的不同嵌入，则是指将图视为2维流形上的1维复形的一种拓扑等价类． 若将地图视为图在2维流形上的嵌入，两个非初等等价的地图必是不同的嵌入．但反之未必然．一般地， 从两个嵌入的等价可导出它们作为地图的等价．但反之，则未必然． 间的一个1—1映射(或双射) r：Z。，a(x1)一Z。，p(x2) 使得对于任何X∈Z。，a(X1)，有 (1) 则称r为从M1到M2的一个同构． 引理1 证明 r(ax)=ay，Z-(触)=缈，r(plx)=P2Y． 进而有 这就意味r-1为从M2到M1的一个同构． 基于这个引理，可以称r，或r～，为M2与M1之间的一个同构 收稿日期：2004．03．24 基金项目：国家自然科学基金资助项目． 作者简介：刘彦佩(1939一)，男，北京人，北方交通大学教授，博士研究生导师． ·2· 沈阳师范大学学报(自然科学版) 第23卷 定理1 对于一个双射r：Z。，p(X1)一泓，p(X2)，r是一个同构当且仅当，下面的图式 ，口(X Z。，口(X2) 72： (2) ’71山 V ，口(X X。，卢(X2) 间任何有向路上映射的合成的结果相同． 证明 关系即得对7l=72=卢，以及对71=IDl和72=P2是可交换性． 出(1)式的三个关系。即得充分性． 2 同构定理 容易验证，地图间的同构确定了一类等价关系．这就要研究由它所确定的等价类，自然被称为同构 类．所谓两个地图下同，是指它们在不同的同构类．为了澄清同构类，下能不研究在同一同构类中的地 图，有哪些量是相同的．用这些量判定一些地图的不同构就十分方便了．是否可以用它们中的几个量，就 确定一个等价类呢?如果不能，如何判定或识别两个地图是否同构?这些就是下面要回答的问题． 引理2 如果两个地图Ml和M2是同构的，则Ml是可定向的当且仅当，M2是可定向的． 证明 和rPl=lD2r，即r口r一1=口，啦一1=卢和rPlr一1=lD2． 必要性．由于M1是可定向的，根据定理I，置换群x／rI=哆lPJ，I在Xx上有两个轨道(z1)9。和 (姐1)妒．，z1∈Z1．又由于砸r～=口和啦-1=卢，有 再考虑到rplr一1=lD2即得，对任何妒1∈a／rl，有relr一1=妒2∈a／r2． 充分性．由于r的对称性，即可从必要性导出． 引理3 如果两个地图M1和M2是同构的，则有