有限集的幂集的哈斯图.docVIP

有限集的幂集的Hasse图 盛集明 李学银 （荆楚理工学院 数理学院 湖北荆门 448000） 摘要：n维立方体在并行计算网络中是一个非常重要的网络拓扑结构，它具有正规性、对称性、可靠性、直径短等特点. 设集合A=,我们证明了偏序集的Hasse图就是一个n维立方体，从而建立了偏序集与n维立方体之间的关系． 关键词：N维立方体；有限偏序集；Hasse图 中图分类号：O157．5MR（2000）Abstract: N-dimensional cube is a very important network topology in parallel computing network. It has characteristics of regularity, symmetry, reliability, short diameter, and so on. Let A=,we prove that the Hasse diagram of the poset is a n-dimensional cube, then creat the relationship between the poset and a n-dimensional cube. Key words: N-dimensional cube;finite poset; Hasse diagram. 1 n维立方体 定义1.1[1]: 已知图，若G满足： 并且若，有 （1.1） 则称图G为n维立方体，并记作. 由的定义易知是简单图，而且中元素与分量取值为0或1的n维向量一一对应，而后者恰有个向量，所以.图1所示的图分别是. 显然，由的定义知，在中点与点之间有边相连的充要条件是对任意的，有且仅有一个，使得，其余(n-1)个均相同. 图1 n维立方体（n=1,2,3,4） 2 有限集的幂集的Hasse图 定义2.1[3]: 设R为非空集合A上的二元关系，若R具有自反性、反对称性、传递性，则称R为A的偏序关系，记作．设为偏序关系，如果，则记作，读作x“小于或等于”y ． 注意这里的“小于或等于”不是指数的大小，而是指在偏序关系中的顺序性． 定义2.2[3]: 非空集合A及A上的偏序关系一起称为偏序集，记作A, 已知偏序集A, ，若A的元素个数为有限个，则称A, 为有限偏序集． 若且，记作。若且不存在使，则称y是x的一个覆盖，并记作。 定义2.3[3]：已知有限偏序集A, ，按如下方法构造Hasse图： 用平面上的点表示A中的元素。 若，则将y画在x的上层，并在x、y之间用一条曲线段相连。 若x、y之间没有关系，则把x、y画在同一层上。 已知集合，显然集合A的幂集上的关系满足：自反性、反对称性和传递性，所以是偏序集。下面讨论偏序集中元素的表示方法及Hasse图的特征。 定理2.1: 已知，，定义到的一个函数f如下()： 其中 则是一个双射 证明：由f的定义可知f是到的一个函数 对，令显然有 所以f是满射 （2）且 所以f是单射 由（1）（2）可知f是双射 □ 由于中的元素与中的元素之间一一对应，故可用中的元素来表示中的元素，即 ，其中 定理2.2: 已知集合，，则： （1） （2） 证明：（1） ，而 所以有 （2）由覆盖的定义： 先证充分性：由条件知显然有，所以有；又因为，所以有且S2刚好比S1多一个元素，因此不可能存在S，使得。故有 再证必要性： 下证这样的i只有一个，用反证法。假设至少有两个这样的i，不妨设e有，那显然是，则有： ，则存在，矛盾。 故只有一个i，使得，即 □ 已知集合，记的哈斯图为Hn（如图2：H1，H2，H3）.下面研究Hn的特征： ，由Hasse图的画法可知：S1与S2之间有边的充要条件是，而由定理2.2的（2）知：的充要条件是对任意的，有且仅有一个i，使得，其余(n-1)个i均相同.这与n维立方体的定义完全一致，所以有如下结论： 定理2.3：已知集合，则的哈斯图Hn同构于. 参考文献 [1] 盛集明. N维立方体的性质[J]. 荆楚理工学院学报, 2009, 24(9): 49-51.. [2] 徐俊明. 图论及其应用（第二版）[M]. 合肥: 中国科学技术大学出版社. 2004. [3] 洪帆. 离散数学基础（第二版）[M]. 武汉: 华中科技大学出版社. 1995. [4] Bela Bollobas. Modern Graph Theory[M]. New York: Spring-verlag, Inc, 1998. [5] J. A. Bon