特殊格

王朝百科·作者佚名  2009-11-17
窄屏简体版  字體: |||超大  

特殊格

*有界格,设(L,£)是格,如果L有最大元素(记作1)和最小元素(记为0),则(L,£)称为有界格,记作(L,£,1,0)或(L,*, °,0,1).

存在最大和最小元素的格,就是有界格.

*有余格,设(L,*,°,0,1)是有界格,如果L中的每一个元素都至少有一个余元素,则(L,*,°,0,1)为有余格(或称为有补格).

有最大和最小元素,且存在余元的格.亦即有余元的有界格就是有余格.

它们的关系:格 有界格 有余格.

*分配格, (L,*,°)是格,如果对"a,b,cÎL,有

a*(boc)=(a*b) ° (a*c) a° (b*c)=(a°b)*(a°c)

则(L,*,°)为分配格.

满足左、右分配律的格就是分配格.

h格的运算性质

(1) (L,£)是一个格,"a, bÎL,有a£bÛa*b=aÛa°b=b

(2) (L,£)是一个格,"a, bÎL,如果b£c,有a*b£a*c, a°b£a°c

(3) (L,£)是一个格,"a,b,cÎL,有分配不等式:

a° (b*c)£(a°b)*(a°c) a*(b°c)³(a*b) ° (a*c)

(4) (L,£)是一个格,"a,b,cÎL,有a£bÛa° (b*c)£b*(a°c)

在格中德×摩根律成立:

 
 
 
免责声明:本文为网络用户发布,其观点仅代表作者个人观点,与本站无关,本站仅提供信息存储服务。文中陈述内容未经本站证实,其真实性、完整性、及时性本站不作任何保证或承诺,请读者仅作参考,并请自行核实相关内容。
 
 
© 2005- 王朝網路 版權所有 導航