(1.5.6)--ch3—第八讲离散数学离散数学.pdfVIP

离散数学

(DiscreteMathematics)

3-12序关系(OrderedRelations)

1偏序关系的定义(PartiallyOrderedRelations)

定义1设A是一个集合,如果A上的一个关系R满足自反性、

反对称性和传递性,则称R为A上的一个偏序关系,记作.

序偶A,称为偏序集.

例实数集R上的“≤”关系是一个偏序关系.

例全集合E的幂集P(E)上的“”关系也是一个偏序关系.

例1.证明实数集上的小于等于关系“”是偏序关系.

证明:(1)对任意的实数aR,有aa,故关系“”是自反的;

(2)对任意的实数a,bR,如果ab,且ba,

则必有a=b,故关系“”是反对称的;

(3)对任意的实数a,b,cR,如果ab,且bc,

则必有:ac,故关系“”是传递的;

由(1),(2),(3)知关系“”是一个偏序关系.

例2.设A={2,3,6,8},令“”={x,y|x整除y},

验证关系“”是偏序关系.

解“”={2,2,2,6,2,8,3,3,3,6,6,6,8,8}

1011

2○○8

M0110,

0010



00013○○6

从关系矩阵和关系图中可看出“”是自反的,反对称的

和可传递的.

定义2设A,为偏序集,对任意a,bA,

如果ab或ba成立,则称a与b是可比的;

如果ab,a≠b且不存在其他元素cA满足ac,cb,

则称元素b盖住元素a.并且记

COVA={a,b|a,b∈A且b盖住a}

例3.集合{1,2,3,4,5}上的整除关系是偏序关系

1与任何数都可比,2与4可比,3与4不可比.

2盖住1,4盖住2,但4不盖住1(124).

COVA={1,2,2,4,1,3,1,5}.

例4.设A是正整数m=12的因子的集合,并设“”为整

除关系,求COVA

解m=12其因子的集合为A={1,2,3,4,6,12},

COVA={1,2,1,3,2,4,2,6,3,6,4,12,6,12}

2.偏序关系的哈斯图

给定一个偏序集合A,≤,它的盖住关系是唯一的,而且

知道一个偏序集合的盖住关系,此偏序集合也是唯一确定的,

所以可用盖住关系的关系图来表示偏序集合(偏序关系),此图

称为一个偏序集合的哈斯图.作图规则如下:

(1)用小圆圈代表元素;

(2)若元素a≠b且ab时,则结点a画在结点b的下方.

(3)若b盖住a,就用一条线段连接a与b.由于所有边的箭头向

上,故省去箭头.

例5画出偏序集{1,2,3,4,5,6,7,8,9},R整除和P{a,b,c},R的哈斯图

例6设A={2,3,6,12,24,36},A上的整除关系是一偏序关系,

画出其哈斯图.

例7.已知偏序集A,的哈斯图(右图),e

求集合A的偏序关系