(mn)–树的一个充分必要条件.doc

(m,n)–树的一个充分必要条件 邓志云1 柳柏濂2 （1．井冈山师范学院数学系 江西 吉安 343009） （2．华南师范大学数学系 广东 广州 510633） 摘要: 通过引进(m,n)-洞的概念，推广了文献[5]中的主要结论，得到了 (m,n)-树的一个新的充分必要条件。 关键词：(m,n)-树，n维复形，(m,n)-洞，(m,n)-回路 中图分类号：O157 文献标识码：A 1．基本概念 图论中的树的概念由Beineke与Pippert在[1,2]的研究中已推广到高维空间，后来Dewdney在[3]中又进一步把它推广到n维复形上去，得出了(m,n)-树的概念. 设是一个n维单纯复合形(以后简称n维复形，其定义见[3]) ,为复形的由m维单形与n维单形组成的交错序列。而且满足条件：对所有的均有,如果此序列中所有单形互不相同，则称它为一个(m,n)-路序列。如果除了以外，其它单形均互不相同，则称它为一个(m,n)-回路序列。对应地的子复形，其中,而|使得,即的闭包复形，分别称为(m,n)-路或(m,n)-回路。(m,n)-路序列或(m,n)-回路序列的长度为r-1。同时也称其对应的(m,n)-路或(m,n)–回路的长度为r-1。 如果对n维复形中任二个m维单形恒存在一个(m,n)-路序列，使恰分别是其第一个及最后一个元素，则称复形是(m,n)-连通的，如果在n维复形中，每一个(m,n)-路序列,只要存在一个顶点同时属于,其中,则将导致同时在所有n维单形中，则称复形是(m,n)-简单的。如果n维复形的每一个单形均含于的某个n维单形之中，则称为纯n维复形。其它的有关(m,n)-树的概念见文献[3]和[5]。 设是一个纯维复形，是的一个维单形，则称为在中的粘。显然，它是的一个子复形，是中同时属于和其它维单形的所有单形所成之集。设是由复形构成的集合，是某一纯维复形，是的一个维单形的序(ordering)。表示子复形，如果对每一个,总与中的某一元素同构。则称中有一个–序。而一个有–序的纯维复形，称为一个(m,n)-树。 对任一复形，我们用表示中所含有的k维单形的个数。同时引进以下Beineke-Pippert等式组： 作者简介：邓志云（1975-），男，江西吉安，硕士，讲师，研究方向：组合数学 * 国家自然科学基金项目资助。(NO ， （1） 其中可取。同时，很自然地认为，当时，有。 2．基本概念 在图论中我们知道，当一个图满足(i)中无圈；(ii)时，则我们可知是一棵树。那么，在(m,n)-树的性质中，有没有相类似的结论呢？为此Dewdney在[3]中提出了有关(m,n)-树判定条件的以下猜想： 猜想（1）：一个纯维复形是一个(m,n)-树当且仅当它满足以下两个条件： (i) 不含(m,n)-回路； (ii) 对至少的一个 ，有。 然而毛经中教授在[4]，柳柏濂教授在[5]中分别就为非(m,n)-简单和(m,n)-简单两种情形下给出了以上猜想的反例，从而说明猜想(1)是不成立的。然而柳柏濂教授同时在[5]中引入了一个比(m,n)-连通更弱的概念即(m,n)-洞，并且证明了：当，且不含(m,n)-洞的情况下，猜想(1)成立。本文的主要内容是在[5]中此结论基础上的进一步推广。得到了判定(m,n)-树一个新的充分必要条件。 定义1设是纯维复形，为中由顶点与(m,n)-连通片组成的交错序列，且满足条件：若对所有, （为维单形），均有。若除了外，其它顶点及均互不相同，则称它为一个(m,n)-洞。 显然,若非(m,n)-简单的,则必有含有(m,n)-洞. 引理1[3] 一个纯维复形是一个(m,n)-树当且仅当它满足以下两个条件：(i)是(m,n)-连通的； (ii) 对至少的一个，，有成立。 引理2若纯维复形无(m,n)-洞，记=中各顶点的(m,n)-度之和中顶点的个数，为中(m,n)-连通片的个数，则有。 另外，由(m,n)-洞的定义，我们不难得到以下结论： 引理3 若纯维复形不含(m,n)-洞，则中任何两个(m,n)-连通片的顶点集至多公有1个顶点。 证明：设是的两个不同的(m,n)-连通片，分别是它们的顶点集。现假设与的交含有两个或两个以上的顶点，其中是其中的两个，则很明显，便是的一个(m,n)-洞。这与已知条件矛盾，从而结论成立。 证毕。 引理4 若，则以下不等式成立， (2) 证明：由于