例1
设是由诱导的代数系统,则其上的二元运算满足(ABCD)
A.
B.
C.
D.
代数系统满足交换律、幂等律、吸收律、结合律
例2
是(ABCD)
A.有界格
有界格:有最大、最小元
B.分配格
分配格:满足分配律
C.对偶格
对偶格:复原律+对偶律
复原律:
对偶律:
D.完全格
完备格:非空子集都有上下确界
不是有补格(有补格:每个元素都有补元)
对任意,假设存在,使得b是a的补元
即有,故b=1,b=0,矛盾,故不存在b是a的补元,故不是有补格
一般,若一个线性序集中的元素多于两个,那它一定不是有补格。
例3
代数系统是优软代数(对)
优软代数:对偶+稠密+完全+无限分配律
证:
已知是对偶格,由实数集的性质它是稠密的完全格,下正无限分配律:
一方面,对任意的,故对任意的,,因此
另一方面:
(1) 若存在,使得, 则 . 此时
(2) 若对任意,,则,且 . 此时
因此,无限分配律第一个表达式成立,同理可得无限分配律第二个表达式,故无限分配律成立,故代数系统是优软代数。
例4
代数系统是优软代数(错)
优软代数:对偶+稠密+完全+无限分配律
不满足稠密性
稠密性:任意两元间仍有一元