离散数学结构 第十三章 格与布尔代数
- 格式:doc
- 大小:637.00 KB
- 文档页数:31
格与布尔代数后述,一部分关于格与一部分关于布尔代数。
关于格格是数学中的一种代数结构,它被广泛用于数学、计算机科学和逻辑学等领域。
在数学中,格是一种偏序集合,它具有两个基本运算:上下拟合和交并运算。
其中,上下拟合是指存在最小上估和最大下估,而交并运算则是指对于任意两个元素都可以求出它们的最大公共上界和最小公共下界。
尽管最初格是在点集拓扑学中发现的,但它们的概念在其他领域中也扮演着重要角色,例如,它们在科学中被用来定义空间,它们被用来解决许多计算机科学问题,例如,程序正确性证明,它们与数据结构有关,在逻辑学中,格被用来理解一些推理系统。
关于布尔代数布尔代数是一种代数结构,它被广泛用于逻辑学、电子工程和计算机科学中。
布尔代数是邓纳-Bier恩论文提出的一种基于命题逻辑的代数系统,其中对于两个命题P和Q,存在两个二元运算,即并(∨)和交(∧)。
这种代数系统可以用0和1表示,其中0表示假,1表示真。
布尔代数中的一些重要性质是:交换律、结合律、分配律等。
尽管在布尔代数中并和交这两个朴素的逻辑运算都不是独立产生的概念,但该理论在数学和计算机科学中有着重要应用。
布尔代数不仅用于设计电路和硬件,还用于在计算机程序和算法中描述逻辑条件,可编程逻辑和任意逻辑等方面。
格与布尔代数的关系虽然格和布尔代数看起来似乎是两种完全不同类型的代数结构,但它们之间有着密切的联系。
一些格配合着一些次区域可以构成布尔代数;同样,对于一个布尔代数而言,它也可以被看作是某个格所描述的偏序集合。
在交集上平凡地定义结构子格也叫布尔子格。
一个布尔代数的子集都可以看做是一种决策支持系统(Decision Support System,DSS)或决策信息系统(Decision Information System,DIS)。
由此可见,布尔代数是格论的一种特例,而格论是布尔代数的一种扩展。
总体而言,格与布尔代数的关系很紧密。
事实上,这种关系已经在数学和计算机科学的广泛应用中得到了充分的体现。
离散数学布尔代数与逻辑离散数学是数学的一个分支,研究离散的、离散的结构和离散的现象。
而布尔代数是离散数学的重要组成部分,是代数学中关于二元关系的理论。
同时,与布尔代数密切相关的是逻辑学,研究命题的真值、论证的正确性以及推理的方法。
一、布尔代数基础布尔代数是一种逻辑代数,它使用逻辑运算符号和变量,描述和分析命题逻辑关系。
在布尔代数中,变量只有两个取值,即真(用1表示)和假(用0表示)。
布尔代数的基本运算包括逻辑与、逻辑或和逻辑非。
逻辑与表示当且仅当两个变量都为真时,结果为真;逻辑或表示当至少有一个变量为真时,结果为真;逻辑非表示当某个变量为真时,结果为假,反之亦然。
在布尔代数中,可以使用真值表来描述和分析布尔函数的取值情况。
布尔函数是指由布尔代数运算符组成的表达式,它接受一个或多个输入变量,并产生一个输出变量。
布尔函数在逻辑电路设计、计算机科学、编程等领域中有广泛的应用。
通过真值表分析布尔函数的取值规律,可以优化逻辑电路的设计和布尔函数的运算。
二、逻辑学与命题逻辑逻辑学是研究推理和论证的科学,其中命题逻辑是逻辑学的一个重要分支。
命题逻辑的基本概念是命题,它是陈述句,可以被判断为真或假。
命题逻辑使用逻辑连接词和命题变量来组成复合命题,并通过逻辑运算符来描述复合命题之间的关系。
逻辑连接词包括逻辑与、逻辑或、逻辑非、蕴涵和等价。
逻辑与表示两个命题同时为真时,复合命题为真;逻辑或表示两个命题至少有一个为真时,复合命题为真;逻辑非表示命题的否定,即真变为假,假变为真;蕴涵表示如果第一个命题为真,则第二个命题为真,否则为假;等价表示两个命题具有相同的真值。
逻辑学通过推理规则和推理方法来分析和判断复合命题的真假。
其中包括代入规则、假言推理、拒取否定、双重否定等推理规则。
通过应用这些推理规则,可以推导出逻辑上正确的结论,并解决实际问题中的逻辑推理和决策问题。
三、离散数学中的应用离散数学是计算机科学和信息技术的基础学科,广泛应用于计算机算法、数据结构、数据库、图论等领域。
第十三章格与布尔代数13.1 格的定义与性质一、格作为偏序集的定义1.格的定义定义13.1设<S,>是偏序集,如果x,y S,{x,y}都有最小上界和最大下界,则称S 关于偏序作成一个格。
由于最小上界和最大下界的唯一性,可以把求{x,y}的最小上界和最大下界看成x与y的二元运算∨和∧,即求x∨y和x∧y分别表示x与y的最小上界和最大下界。
这里要说明一点,本章中出现的∨和∧符号只代表格中的运算,而不再有其它的含义。
2.格的实例例13.1设n是正整数,S n是n的正因子的集合。
D为整除关系,则偏序集<S n,D>构成格。
x,y∈S n,x∨y是lcm(x,y),即x与y的最小公倍数。
x∧y是gcd(x,y),即x与y的最大公约数。
图13.1给出了格<S8,D>,<S6,D>和<S30,D>.图13.1例13.2 判断下列偏序集是否构成格,并说明理由。
(1) <P(B),>,其中P(B)是集合B的幂集。
(2) <Z,≤>,其中Z是整数集,≤为小于或等于关系。
(3) 偏序集的哈斯图分别在图13.2中给出。
二.格的性质1.对偶原理定义13.2设f是含有格中元素以及符号=,,,∨和∧的命题。
令f*是将f中的替换成,替换成,∨替换成∧,∧替换成∨所得到的命题。
称f*为f的对偶命题。
例如,在格中令f是(a∨b)∧c c, 则f*是(a∧b)∨c c .格的对偶原理设f是含有格中元素以及符号=,,,∨和∧等的命题。
若f对一切格为真,则f的对偶命题f*也对一切格为真。
例如,对一切格L都有a,b∈L,a∧b a那么对一切格L都有a,b∈L,a∨b a许多格的性质都是互为对偶命题的。
有了格的对偶原理,在证明格的性质时,只须证明其中的一个命题就可以了。
2. 运算性质定理13.1设<L,>是格,则运算∨和∧适合交换律、结合律、幂等律和吸收律,即(1) a,b ∈L 有a∨b=b∨a, a∧b=b∧a(2) a,b,c∈L 有(a∨b)∨c=a∨(b∨c), (a∧b)∧c=a∧(b∧c)(3) a∈L 有a∨a=a, a∧a=a(4) a,b∈L 有a∨(a∧b)=a, a∧(a∨b)=a证(1)a∨b和b∨a分别是{a,b}和{b,a}的最小上界。
由于{a,b}={b,a},所以a∨b=b∨a.由对偶原理,a∧b=b∧a得证。
(2) 由最小上界的定义有(a∨b)∨c a∨b a (13.1)(a∨b)∨c a∨b b (13.2)(a∨b)∨c c (13.3)由式13.2和13.3有(a∨b)∨c b∨c (13.4)再由式13.1和13.4有(a∨b)∨c a∨(b∨c)同理可证(a∨b)∨c a∨(b∨c)根据偏序关系的反对称性有(a∨b)∨c=a∨(b∨c)由对偶原理,(a∧b)∧c=a∧(b∧c)得证。
(3)显然a a∨a,又由a a可得a∨a a。
根据反对称性有a∨a=a,由对偶原理,a∧a=a得证。
(4)显然a∨(a∧b) a (13.5)又由a a,a∧b a可得a∨(a∧b) a (13.6)由式13.5和13.6可得a∨(a∧b)=a,根据对偶原理,a∧(a∨b)=a得证。
3. 关于序的性质定理13.2设L是格,则a,b ∈L有a b a∧b=a a∨b=b证先证a b a∧b=a.由a a和a b可知a是{a,b}的下界,故a a∧b.显然有a∧b a.由反对称性得a∧b=a.再证a∧b=a a∨b=b.根据吸收律有b=b∨(b∧a)由a∧b=a和上面的等式得b=b∨a, 即a∨b=b.最后证a∨b=b a b.由a a∨b得a a∨b=b.定理13.3设L是格,a,b,c,d∈L.若a b且c d,则a∧c b∧d, a∨c b∨d.证a∧c a ba∧c c d因此a∧c b∧d. 同理可证a∨c b∨d.例13.4设L是格,证明a,b,c∈L有a∨(b∧c)(a∨b)∧(a∨c).证由a a, b∧c b 得a∨(b∧c)a∨b由a a, b∧c c 得a∨(b∧c)a∨c从而得到a∨(b∧c)(a∨b)∧(a∨c)例13.4说明在格中分配不等式成立。
一般说来,格中的∨和∧运算并不是满足分配律的。
三.格作为代数系统的定义定理13.4设<S,*,>是具有两个二元运算的代数系统,若对于*和运算适合交换律、结合律、吸收律,则可以适当定义S中的偏序,使得<S,>构成一个格,且a,b∈S 有a∧b=a*b, a∨b=a b.证明省略.根据定理13.4,可以给出格的另一个等价定义。
定义13.3 设<S,*,>是代数系统,*和是二元运算,如果*和满足交换律,结合律和吸收律,则<S,*,>构成一个格。
读者可能会注意到,格中运算满足四条算律,还有一条幂等律(见定理13.1),但幂等律可以由吸收律推出,所以定义13.3中只须满足三条算律即可。
以后我们不再区别是偏序集定义的格,还是代数系统定义的格,而统称为格L.主要内容1. 偏序集构成格的条件:任意二元子集都有最大下界和最小上界。
2. 格的实例:正整数的因子格,幂集格,子群格。
3. 格的性质:对偶原理,格中算律(交换、结合、幂等、吸收),保序性,分配不等式。
4. 格作为代数系统的定义。
学习要求1. 能够判断给定偏序集是否构成格。
2. 能够确定一个命题的对偶命题。
3. 能够证明格中的等式和不等式。
4. 了解格作为代数系统的等价定义。
1. 判断下述偏序集是否构成格?如果不是说明理由。
(1) 可以构成格 不能构成格(2) 可以构成格 不能构成格(3) 可以构成格 不能构成格提示 参看定义13.1和例13.1,13.2。
答案只有第一个图不是格,因为最下面的两个元素没有最大下界。
2.求下述命题的对偶命题。
(1)(a∧b)∨b = b(2)b∨(c∧a)(b∨c)∧a提示参看定义13.2。
答案(1) (a∨b)∧b = b(2) b∧(c∨a) (b∧c)∨a3.证明题(1)证明题2(1)中的命题,即(a∧b)∨b=b(2)证明(a∧b)∨(c∧d)(a∨c)∧(b∨d)提示利用定理13.1,定理13.2,定理13.3。
答案证明:(1)(a∧b)∨b是a∧b与b的最小上界,根据最小上界的定义有(a∧b)∨b b。
又b是a∧b与b的上界,故有(a∧b)∨b b,由于偏序的反对称性,等式得证。
(2)a∧b a a∨c,a∧b b b∨d,所以(a∧b)(a∨c)∧(b∨d),同理(c∧d)(a∨c)∧(b∨d)从而得到(a∧b)∨(c∧d)(a∨c)∧(b∨d)13.2 子格与格同态一、子格定义及其判别方法定义13.4设<L,∧,∨>是格,S是L的非空子集,若S关于L中的运算∧和∨仍构成格,则称S是L的子格。
例13.5设格L如图13.3所示。
令S1={a,e,f,g},S2={a,b,e,g}则S1不是L的子格,S2是L的子格。
因为对于e和f,有e∧f=c,但c S1.图13.3二.格同态的定义及其性质1.格同态的定义定义13.5设L1和L2是格,f: L1→L2,若a,b∈L1有f(a∧b)=f(a)∧f(b), f(a∨b)=f(a)∨f(b)成立,则称f为格L1到L2的同态映射,简称格同态。
例13.6 (1)设L1={2n|n∈Z+},L2={2n+1|n∈Z+}则L1和L2关于通常数的小于或等于关系构成格。
令f: L1→L2,f(x)=x-1不难验证f是L1到L2的同态映射,因为对任意的x,y∈L1有f(x∨y)=f(max(x,y))=max(x,y)-1f(x)∨f(y)=(x-1)∨(y-1)=max(x-1,y-1)=max(x,y)-1f(x∧y)=f(min(x,y))=min(x,y)-1f(x)∧f(y)=(x-1)∧(y-1)=min(x-1,y-1)=min(x,y)-1即f(x∨y)=f(x)∨f(y), f(x∧y)=f(x)∧f(y)成立。
(2) 如图13.4中的格L1,L2和L3,若定义图13.4f1: L1→L2f1(a)=f1(b)=f1(c)=a1,f1(d)=d1f2: L1→L3f2(a)=a2,f2(b)=b2,f2(c)=c2,f2(d)=d2则f1和f2都不是格同态,因为f1(b∨c)=f1(d)=d1f1(b)∨f1(c)=a1∨a1=a1f2(b∨c)=f2(d)=d2f2(b)∨f2(c)=b2∨c2=c2从而f1(b∨c)≠f1(b)∨f1(c)f2(b∨c)≠f2(b)∨f2(c)2. 格同态的性质定理13.5设f是格L1到L2的映射,(1)若f是格同态映射,则f是保序映射,即x,y∈L1,有x y f(x)f(y)(2)若f是双射,则f是格同态映射当且仅当x,y∈L1,有x y f(x)f(y)证(1)任取x,y∈L1,x y 由格的性质知x∨y=y.又由于f是格同态映射,必有f(y)=f(x∨y)=f(x)∨f(y)从而得到f(x)f(y).(2)充分性.只须证明f是L1到L2的同态映射即可。
任取x,y∈L1,令x∨y=z,由x z和y z知f(x)f(z), f(y)f(z)从而有f(x)∨f(y)f(z)=f(x∨y)另一方面,由f(x)∨f(y)∈L2和f的满射性可知,必存在u∈L1使得f(u)=f(x)∨f(y)因此有f(x)f(u), f(y)f(u). 由已知条件可得x u,y u. 从而推出x∨y u.再次使用已知条件得f(x∨y)f(u)=f(x)∨f(y).综合上述有f(x∨y)=f(x)∨f(y). 同理可证f(x∧y)=f(x)∧f(y).必要性.由(1)的结论必有x y f(x)f(y)反之,若f(x)f(y),由于f是同构映射,则f(x∨y)=f(x)∨f(y)=f(y)又由于f 是双射,必有x∨y=y.从而证明了x y.例13.7设L1=<S12,D>, L2=<S12,≤>是格,其中S12是12的所有正因子构成的集合,D 为整除关系,≤为通常数的小于或等于关系.令f:S12→S12,f(x)= x则f是双射,但f不是格L1到L2的同构映射.因为f(2)≤f(3),但2不整除3.根据定理13.5可知f不是同构映射。
三.格的直积类似于半群,群和环,也可以定义格的直积。
定义13.6设L1和L2是格,定义L1×L2上的运算∩,∪:<a1,b1>,<a2,b2>∈L1×L2<a1,b1>∩<a2,b2>=<a1∧a2,b1∧b2><a1,b1>∪<a2,b2>=<a1∨a2,b1∨b2>称<L1×L2,∩,∪>为格L1和L2的直积。