离散数学离散数学 (16).pdf

《离散数学离散数学 (16).pdf》由会员分享，可在线阅读，更多相关《离散数学离散数学 (16).pdf（25页珍藏版）》请在得力文库 - 分享文档赚钱的网站上搜索。

1、Computer Science&Technology0Computer Science&Technology1Computer Science&Technology2Computer Science&Technology3Computer Science&Technology4Computer Science&Technology5Computer Science&Technology6关系图关系图Hasse 图图a1a2a4a5a3a1a2a4a5a3a1a2a4a5a3站起来站起来Computer Science&Technology7例如例如:Z+=1,2,3,4关系图关系图关系图（站

2、起来）关系图（站起来）哈斯图哈斯图Computer Science&Technology8aS=aaba,bS=a,ba,b,cacba,ca,bb,cS=a,b,cComputer Science&Technology9解：解：|=R=,.,该关系的关系图十分庞大。关系矩阵该关系的关系图十分庞大。关系矩阵1212*1212的方阵。的方阵。Computer Science&Technology10135153010601242620的“|”关系的Hasse图Computer Science&Technology11a1a2a4a5a31234不是全序关系不是全序关系是是全序关系全序关系Comp

3、uter Science&Technology12Computer Science&Technology13（与所有元素比较）Computer Science&Technology14（与部分元素比较）Computer Science&Technology15Computer Science&Technology16Computer Science&Technology17（与某一子集的元素比较）Computer Science&Technology18Computer Science&Technology19Computer Science&Technology20acdb极小元:a,b极大

4、元:c,d最小元，最大元 不存在Computer Science&Technology21abdghifec子集：d,e,f上界:,上确界:下界:,下确界:子集：a,c下界:,下确界:上界:h,上确界:h子集：b,d下界:b,下确界:b上界:d,g,上确界:dComputer Science&Technology22abdghifecj子集：c,e的上界、下界，上确界、下确界极小，最小元:a上界:e,f,g,h,i,j,上确界:supc,e是e下界:a,c,下确界:infc,e 是 c极大元:i,j,b,d；最大元：无子集：b,i的上界、下界，上确界、下确界上界:,上确界:无下界:a,下确界:infb,i 是aComputer Science&Technology23Computer Science&Technology24