数理逻辑.ppt

定义10．8．4 对偏序集<A，≤>，如果x，y∈A，x≤y，x≠y，且不存在元素z∈A使得x≤z且z≤y，则称y盖住x．A上的盖住关系covA定义为 covA＝{<x，y>|x∈A^y∈A^y盖住x}． 例4 集合A＝{1，2，3，4，6，12}上的整除关系DA是A上的偏序关系．则A上的盖住关系covA为 covA={<l，2>，<1，3>，<2，4>，<2，6>，<3，6>，<4，12>，<6，12>}． 对偏序集<A，≤>，A上的盖住关系covA是唯一的．可以用盖住关系画偏序集的哈斯图．作图规则为： (1)每个顶点代表A的一个元素， (2)若x≤y且x≠y，则顶点y在顶点x上方， (3)若<x，y>∈covA，则x，y间连无向边， 例5 例4中偏序集的哈斯图如图10.8.1． 例6 对A＝{a，b，c}，<P(A)，?>是偏序集，它的哈斯图如图10．8．2． 10．8．3 上确界和下确界 定义10．8．5 对偏序集<A，≤>，且B ? A，进一步 (1)若(?y)(y∈B^(?x)(x∈B→y≤x))，则称y为B的最小元， (2)若(?y)(y∈B^(?x)(x∈B→x≤y))，则称y为B的最大元， (3)若(?y)(y∈B^(?x)((x∈B^x≤y)→x＝y))，则称y为B的极小元， (4)若(?y)(y∈B^(?x)((x∈B^y≤x)→x＝y))，则称y为B的极大元， 例7 在例4的偏序集<A，DA)的哈斯图中．令B1＝{2，4，6，12}，则B1的最大元和极大元是12，最小元和极小元是2，令B2＝{2，3，4，6}，则B2的极大元是4和6，极小元是2和3，没有最大元和最小元． 注意区别最小元与极小元．B的最小元应小于等于B中其他各元．B的极小元应不大于B中其他各元(它小于等于B中一些元，并与B中另一些元无关系)，最小元(最大元)不一定存在，若存在必唯一．在非空有限集合B中，极小元(极大元)必存在，不一定唯一． 定义10．8．6 对偏序集<A，≤>，且B ? A，进一步 (1)若(?y)(y∈A^(?x)(x∈B→x≤y))，则称y为B的上界， (2)若(?y)(y∈A^(?x)(x∈B→y≤x))，则称y为B的下界， (3)若集合C＝{y|y是B的上界}，则C的最小元称为B的上确界或最小上界， (4)若集合C＝{y|y是B的下界}，则C的最大元称为B的下确界或最大下界， 例8 集合A={2，3，4，6，9，12，18}，A上的整除关系DA是偏序关系．偏序集<A，DA>的哈斯图如图所示． B1＝{2，4}的上界是4和12，上确界是4，下界和下确界是2．B2={4，6，9}没有上下界，没有上下确界．B3={2，3}的上界是6，12，18，上确界是6，没有下界和下确界． B的上下界和上下确界可能在B中，可能不在B中，但一定在A中．上界(下界)不一定存在，不一定唯一．上确界(下确界)不一定存在，若存在必唯一． 10．8．4 全序关系和链 定义10．8．7 对偏序集<A，≤>，对任意的x，y∈A，若有x≤y或y≤x，则称x和y是可比的． 定义10．8．8 对偏序集<A，≤>，如果对任意的x，y∈A，x和y都可比，则称≤为A上的全序关系，或称线序关系，并称<A，≤>为全序集． 例9 N上的小于等于关系是全序关系，所以<N，≤>是全序集．N-{0}上的整除关系不是全序关系，对非空集合A，P(A)上的包含关系不是全序关系． 定义10．8．9 对偏序集<A，≤>，且B?A，进一步 (1)如果对任意的x，y∈B，x和y都是可比的，则称B为A上的链，B中元素个数称为链的长度． (2)如果对任意的x，y∈B，x和y都不是可比的，则称B为A上的反链，B中元素个数称为反链的长度． 例10 对例8中的偏序集．{2，4，12}，{3，6，18}，{3，9}，{18}都是链．{4，6，9}，{12，18}，{4，9}都是反链． 对全序集<A，≤>，显然A是链．A的任何子集都是链． 定理10．8．4 对偏序集<A，≤>，设A中最长链的长度是n，则将A中元素分成不相交的反链，反链个数至少是n． 证明 施归纳于n． 当n=1时，A本身就是一条反链，定理结论成立，(这时≤是恒等关系)假设对于n=k，结论成立．考虑n＝k+1的情况．当A中最长链的长度为k+1时，令M为A中极大元的集合，显然M是一条反链．而且A-M中最长链的长度为k，由归纳假设，可以把A-M分成至少A个不相交的反链，加上反链M，则A可分成至少k十1条反链． 这个定理称为偏序集的分解定理，这是组合学三大存在性定理之—，有广泛的应用． 定理10．8．5 对偏序集