格和布尔代数精简.pptVIP

7.2格同态【例题】设集合A={a,b,c},A,≤是一个格，其哈斯图如图(a)所示。集合B=(A),B,也是一个格，其哈斯图如图(b)所示。函数f:A→B,其中f(x)={y|y≤x}。证明:f是从A,≤到B,的格同态。(a)(b)abc{c}{b}**第31页，共69页，星期日，2025年，2月5日7.2格同态证明：A,≤是一个格，设其诱导的代数格为A,∧,∨，任取a,b∈A,因为A,≤是一个链，所以a∧b=min{a,b}a∨b=max{a,b}B,诱导的代数格为B,∩,∪。(i)A中元素在函数f下的象分别为f(a)={a},f(b)={a,b},f(c)={a,b,c}故f是从A到B的单射函数。**第32页，共69页，星期日，2025年，2月5日7.2格同态(ii)f(x1∧x2)=f(min{x1,x2})={y|y≤min{x1,x2}}={y|y≤x1}∩{y|y≤x2}=f(x1)∩f(x2)f(x1∨x2)=f(max{x1,x2})={y|y≤max{x1,x2}}={y|y≤x1}∪{y|y≤x2}=f(x1)∪f(x2)故f是从A,≤到B,的格同态。**第33页，共69页，星期日，2025年，2月5日7.2格同态性质『定理』(格同态的保序性)设f是从格L1,≤到格L2,≤’的格同态，则对任意x,y∈L1,如果x≤y,必有f(x)≤’f(y)。证明：因为x≤y，所以有x∧y=x,又f(x∧y)=f(x)∧’f(y)=f(x)故f(x)≤’f(y)。**第34页，共69页，星期日，2025年，2月5日7.2格同构格同构：设f是从格L1,≤到格L2,≤’的格同态，若f是双射函数，则称f为从L1,≤到L2,≤’的格同构。具有一,二,三个元素的格,分别是一、二,三个元素的链,四个和五个元素对应表中同构格之一，如下表所示：**第35页，共69页，星期日，2025年，2月5日哈斯图1个元素的格2个元素的格3个元素的格4个元素的互不同构的格5个元素的互不同构的格**第36页，共69页，星期日，2025年，2月5日7.3特殊的格：分配格分配格：设L,∧,∨是由格L,≤所诱导的代数系统，如果对任意的a,b,c∈L,满足：a∧(b∨c)=(a∧b)∨(a∧c)保交对保联可分配a∨(b∧c)=(a∨b)∧(a∨c)保联对保交可分配则称L,≤是分配格。**第37页，共69页，星期日，2025年，2月5日7.3分配格【例题】图(a)、(b)所示的格是分配格吗？为什么？分析：均不是分配格。考虑b∧(c∨d)与(b∧c)∨(b∧d)；考虑c∧(b∨d)与(c∧b)∨(c∧d)cabde(a)钻石格abcde(b)五角格**第38页，共69页，星期日，2025年，2月5日7.3分配格『定理』设L,≤是一个格，若∧运算对∨运算可分配，则∨对∧也可分配，反之亦然。证明：设∧运算对∨运算可分配，即任取a,b,c∈L,满足a∧(b∨c)=(a∧b)∨(a∧c)现要证a∨(b∧c)=(a∨b)∧(a∨c)(a∨b)∧(a∨c)=((a∨b)∧a)∨((a∨b)∧c)=a∨((a∨b)∧c)**第39页，共69页，星期日，2025年，2月5日7.3分配格=a∨((a∧c)∨(b∧c))=a∨(a∧c)∨(b∧c)=a∨(b∧c)由此可知，∨运算对∧运算也可分配。同理可证，若∨运算对∧运算可分配，则∧运算对∨运算也可分配。**第40页，共69页，星期日，2025年，2月5日7.3分配格『定理』每个链都是分配格。证明：设L,≤是一个链，则L,≤必是一个格。任取a,b,c∈L,讨论以下两种情况：(i)a≤b或a≤c