作业帮离散数学证明题:链为分配格
来源：学生作业帮 编辑：作业帮 分类：数学作业 时间：2024/05/21 09:17:31
离散数学证明题:链为分配格
有高手懂离散的么``帮我做下这个证明题好吗``
谢谢啦``就运用格那部分的知识``拜托了啊```
有会的高手在没````
有高手懂离散的么``帮我做下这个证明题好吗``
谢谢啦``就运用格那部分的知识``拜托了啊```
有会的高手在没````
证明设a,b均是链A的元素,因为链中任意两个元素均可比较,即有a≤b或a≤b,如果a≤b,则a,b的最大下界是a,最小上界是b,如果b≤a,则a,b的最大下界是b,最小上界是a,故链一定是格,下面证明分配律成立即可,对A中任意元素a,b,c分下面两种情况讨论:
⑴b≤a或c≤a
⑵a≤b且a≤c
如果是第⑴种情况,则a∪(b∩c)=a=(a∪b)∩(a∪c)
如果是第⑵种情况,则a∪(b∩c)=b∩c=(a∪b)∩(a∪c)
无论那种情况分配律均成立,故A是分配格.
⑴b≤a或c≤a
⑵a≤b且a≤c
如果是第⑴种情况,则a∪(b∩c)=a=(a∪b)∩(a∪c)
如果是第⑵种情况,则a∪(b∩c)=b∩c=(a∪b)∩(a∪c)
无论那种情况分配律均成立,故A是分配格.