在闭曲面上生成最小度为4的三角剖分图.pdfVIP

56 第 29卷 第 2期 《新疆师范大学学报》(自然科学版) Vo1．29，No．2 2010年 6月 JournalofXinjiangNormalUniversity Jun．2010 (NaturalSciencesEdition) 在闭曲面上生成最小度为 4的三角剖分图 艾山江 ·吾素音， 阿力木江 ·艾则孜 (新疆师范大学 数学科学院，新疆 乌鲁木齐 830054) 摘 要 ：证明在面(除了球面)上的最小度至少为4的任意三角剖分图是对不可约的三角剖分图做两种局部的形变(4一 分割和八面体加法)而得到的，球面上的任意三角剖分图对八面体做上述两种形变得到的。 关键{司：三角剖分图，4--分割序列。八面体加法 中图分类号 ： O157．5 文献标识码： A 文章编号： 1008—9659(2010)02—0056—03 1 有关概念 定义 1 闭曲面上的一个三角剖分是嵌入 曲面的一个简单 图形，即每个面都是三角形且任意两面最多 交于一条边。 定义2 在闭曲面 F2上的两个三角剖分G 和G2，如果有一个同态映射 h：F。一F2使 h(G)一G2，则 称是等价的或同态的。这种同态作用诱导出在它们的面集上一一映射的G 与G 同构 。 定义 3 令 G为闭曲面P 的一个三角剖分，我们把使 G的一条边 e的两个端点重合，然后移去两个对角 面，替换多重边为一条边的操作称为收缩，记作 G／，如图 1。如果通过图G收缩边 e得到的图G／e是 P 上的 三角剖分，那么边eEE(G)称为可缩边 ，因此，当G不与K 同构时，边e是不可缩的当且仅当边e在一个长度为 3的圈上且此圈不与任何与e有关联的面相连，那么称边 e不可缩。我们对不可缩边不进行任何收缩。 一 个三角剖分如果没有可缩边 ，则称为是不可约的。关于闭曲面上不可约三角剖分的研究已有很 多n ]。例如文献i-93中研究球面上唯一的不可约三角剖分图是K4在球面上的嵌入(四面体)；已被证明射 影平面有 2个[1]，环面有 21个[6和克莱茵瓶有 25个不可约三角剖分图[7]。一般来说 ，对于任何闭曲面仅有 有限多个不可约三角剖分图，尤其，除了K 图外任何不可约的三角剖分图的最小度数至少为4。 b Subd￡讲dingVertex ／ l【=c ＼ Co ira．eli．rigEdge 图 1 边收缩(contractingedge)点分割(subdividingvertex) 把边收缩的逆运算称为顶点a—c的分割或点分割。如果点 “：c的分割之后，“和c的度都至少为k， [收稿 日期]20O9一O9—3O [作者简介]艾山江(1956一)，男 (维吾尔族)，新疆伊犁人，副教授 ．主要从事几何图论方面的教学与研究。 第 2期 艾山江 ·吾素音等 在闭曲面上生成最小度为4的三角剖分图 57 那么这样的分割被称为是 k一分割。同样边 被称为是k一可缩的，如果边 e是可缩 的且G／e的最小度至少 为k。通过上述定义 ，闭曲面上的任何三角剖分图可通过对不可约的三角剖分图进行一序列的3一分割得到 的。文章考虑最小度至少为 4的三角剖分图并且讨论它们的生成定理。 为了生成三角剖分图，需要另一个局部变形 ，令 G为闭曲面 F 的一个三角剖分图，naza。为 G的一个 面 ，将一个三角形 放在面 a。n。里 ，添加所有可能的边 n 和n ，其 中(i，J，k)= {1，2，3)，这种变 形称为八面体加法 {n，n。，a，73。，。， )在 G中诱导出与八面体Kz．2Iz同构的子图。 定理 1